[論文レビュー] On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

Alex Iosevich, Mihalis Mourgoglou+1 more|arXiv (Cornell University)|Oct 31, 2011

Digital Image Processing Techniques参考文献 7被引用数 10

ひとこと要約

本稿では、$ℝ^d$ のコンパクト部分集合のハウスドルフ次元が $(d+1)/2$ より大きい場合、その点の三つ組が形成する角度の集合が正のレブーグ測度を持つことを確立している。証明は、双線形作用素に対するソボレフ型評価と一般化されたラドン変換に適用された停留位相法に依拠しており、角度の等分布性と次元閾値の鋭さを示している。

ABSTRACT

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among $N$ points in ${\mathbb R}^d$, $d \ge 4$, motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

研究の動機と目的

• コンパクト部分集合 $E \subset \u211d^d$ における三つ組の点が形成する角度の集合 $\mathcal{A}(E)$ が正のレブーグ測度を持つために必要な最小のハウスドルフ次元閾値を特定すること。
• 角度の集合 $\mathcal{A}(E)$ において、特定の角度が極限で過剰に代表されていないか、つまり角度が均等に分布しているかどうかを調査すること。
• 次元閾値 $(d+1)/2$ が鋭いかどうかを、次元がこの値未満の場合に角度集合の測度が小さくなる例を構成することで確立すること。
• $N$ 個の点が $ℝ^d$（$d \geq 4$）に存在する場合、1つの角度が最大で何回現れるかの新しい上界を導出し、連続的設定における鋭さを示すこと。

提案手法

• 固定された角度を持つベクトルのペアの積分を用いて角度分布をモデル化する、一般化されたラドン変換の双線形アナログの使用。
• 負の順位のソボレフ空間評価、特に $L^2_{-α}$ ノルムの適用により、双線形作用素の $L^1$ ノルムを制御すること。
• 角度分布測度から生じる振動的積分を解析するための停留位相法の適用。
• 表面測度 $\mu_t$ のフーリエ変換の減衰評価を用いて、作用素 $T_{μ_t}$ と $χ_{μ_t}$ の $L^1$-推定を導出すること。
• 集合 $E$ 上に、$\mu(B_\delta) \lesssim \delta^s$（$s = \dim_{\mathcal{H}}(E)$）を満たすフロストマン測度 $\mu$ を構成し、測度がフラクタル次元を反映するようにすること。
• $\u211d^d$ 内の半径 $R$ の球面上の格子点の分布に着目し、特に $\mathbb{Z}^d$ 内で $|k| = R$ を満たす整数点の個数に依存して鋭い例を構成すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクト部分集合 $E \subset \u211d^d$ のハウスドルフ次元の下界はどれほど小さければ、角度集合 $\mathcal{A}(E)$ が正のレブーグ測度を持つのか？
• RQ2 角度集合 $\mathcal{A}(E)$ において、特定の角度が過剰に代表されていない、つまり角度が均等に分布していることを保証できるか？
• RQ3 角度集合 $\mathcal{A}(E)$ が正の測度を持つための閾値 $\frac{d+1}{2}$ は鋭いか。それより低くできるか？
• RQ4 $N$ 個の点が $\u211d^d$（$d \geq 4$）に存在する場合、1つの角度が最大で何回現れるか。これは連続的設定とどのように関係するか？

主な発見

• もし $\dim_{\mathcal{H}}(E) > \frac{d+1}{2}$ ならば、任意の角度 $\alpha \in [0, \pi]$ は $\mathcal{A}(E)$ において均等に代表され、$[\alpha - \epsilon, \alpha + \epsilon]$ 内の角度を形成する三つ組の測度が $O(\epsilon)$ である。
• ハウスドルフ次元 $\dim_{\mathcal{H}}(E) > \frac{d+1}{2}$ ならば、角度集合 $\mathcal{A}(E)$ のレブーグ測度は正であり、これは鋭い閾値である。
• 定理 1.6 の双線形作用素評価により、$\|T_{\mu_t}(f,g)\|_{L^1} \lesssim \|f\|_{L^2_{-\alpha}} \|g\|_{L^2_{-\beta}}$（$\alpha + \beta = d-1$）が得られ、定数は $d$ と $I_s(\mu)$ のみに依存する。
• $N$ 個の点が $\u211d^d$（$d \geq 4$）にあるとき、1つの角度が現れる回数の上界は $O(N^{3 - \frac{1}{s}})$（$s < \frac{d-2}{2}$）であり、これは連続的設定における鋭さ結果と一致する。
• $E_n$ を半径 $R$ の球面上の格子点の $n^{-1/s}$-近傍として構成することで、$|\mathcal{A}(E_n)| \lesssim n^{-1/s} \cdot n^{2/(d-2)}$ が得られ、$s < \frac{d-2}{2}$ のとき $n \to \infty$ で $0$ に近づく。これにより、閾値の鋭さが証明される。
• 鋭さの証明は、$\u211d^d$ 内の大きな球面上の格子点の分布に依拠しており、$d \geq 5$ のとき $\#\{k \in \mathbb{Z}^d : |k| = R\} \approx R^{d-2}$ であり、$d=4$ に対しても弱い条件下で成り立つ。