[論文レビュー] Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|Mar 7, 2016

Mathematical Dynamics and Fractals参考文献 5被引用数 4

ひとこと要約

本稿では、$d \geq 4$ における $ℝ^d$ のコンパクト集合で、ヒルベルト次元が十分に大きいものについて、正三角形の頂点を必ず含むことを確立している。フーリエ制限理論と、正三角形構成要素に一様に分布する測度上の停留化法解析を用いて、制限作用素の $L^2$ ノルムが、次元が $d - 1/2$ を超えると、その衰減速度が保証され、その結果としてこのような正三角形が存在することを示した。この結果により、次元 4 以上では、追加の構造的仮定は不要であることが示され、理論におけるギャップが埋められた。

ABSTRACT

We prove that subsets of ${\Bbb R}^d$, $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two dimensions (see \cite{CLP14}). We show that no extra conditions are needed in dimensions four and higher. The three dimensional case remains open. Some interesting parallels exist between the triangle problem in Euclidean space and its counter-part in vector spaces over finite fields. We shall outline these similarities in hopes of eventually achieving a comprehensive understanding of this phenomenon in the setting of locally compact abelian groups.

研究の動機と目的

• コンパクト集合において正三角形構成要素が存在することを保証するための、$ℝ^d$ における最小ヒルベルト次元閾値を特定すること。
• 次元 $d \geq 4$ において、追加の構造的仮定を必要とせずに、大規模ヒルベルト次元集合に正三角形が存在するかどうかという未解決問題を解明すること。
• ユークリッド空間における正三角形構成要素と、有限体上のベクトル空間におけるそれらの類似性を、算術的障害と幾何的障害の観点から拡張すること。
• 関連する測度の衰減性質と次元を用いて、正三角形の存在に関する鋭い閾値を確立すること。
• 停留化法を用いた制限推定に、幾何的測度論と調和解析を接続すること。

提案手法

• すべての正三角形を含む集合に一様に分布する表面測度 $σ$ を、幾何的変数 $u_1, u', v'$ を用いてパラメトリック化する。
• 位相関数の臨界点に注目し、制限作用素の $L^2$-ノルムの推定に停留化法を適用する。
• 位相関数 $σ(ξ, \eta)$ のヘッセ行列式を解析し、$|ξ + g_{\pi/3}\eta|$ に依存する衰減推定を導出する。ここで $g_{\pi/3}$ は $\pi/3$ 回転を表す。
• 極座標と角度積分を用いて、$\langle \xi, \eta \rangle$ が小さい領域、または $|\xi + g_{\pi/3}\eta|$ が小さい領域からの寄与を評価する。
• 停留化法の漸近的解析を用いて、$|\hat{\sigma}(\xi, \eta)| \lesssim |\xi + g_{\pi/3}\eta|^{-1/2} |\xi|^{-(d-2)/2} |\eta|^{-(d-2)/2} |\sin \langle \xi, \eta \rangle|^{-(d-2)/2}$ という主要な推定を得る。
• 制限推定と $L^2$-分解法を組み合わせることで、ヒルベルト次元が $d - 1/2$ を超えるならば、集合 $E \subset \u211d^d$ は正三角形を含まなければならないことを示した。

実験結果

リサーチクエスチョン

• RQ1 次元 $d \geq 4$ における $ℝ^d$ で、任意のコンパクト集合が正三角形の頂点を含むための最小ヒルベルト次元 $s$ は何か？
• RQ2 次元 $d \geq 4$ において、追加の構造的仮定なしに、大規模ヒルベルト次元集合に正三角形が存在することが保証できるか？
• RQ3 有限体における類似問題と比較して、$ℝ^d$ における正三角形構成要素のフーリエ制限理論は、算術的障害に関してどのように異なるか？
• RQ4 表面測度 $\sigma$ のフーリエ変換の正確な衰減率は何か？
• RQ5 停留化法は、高次元における正三角形構成要素の $L^2$-制限推定に対して鋭い結果をもたらすか？

主な発見

• 次元 $d \geq 4$ において、ヒルベルト次元が $d - 1/2$ を超える任意の $ℝ^d$ のコンパクト部分集合は、正三角形の頂点を含む。
• 正三角形構成要素の位相関数における停留化法解析により、主要な推定 $|\hat{\sigma}(\xi, \eta)| \lesssim |\xi + g_{\pi/3}\eta|^{-1/2} |\xi|^{-(d-2)/2} |\eta|^{-(d-2)/2} |\sin \langle \xi, \eta \rangle|^{-(d-2)/2}$ が得られた。
• 表面測度 $\sigma$ のフーリエ変換の衰減は、$\xi + g_{\pi/3}\eta = 0$ となる臨界集合からの距離に支配され、これが必要な $L^2$-制限推定に繋がる。
• $L^2$-制限推定は、集合 $E \subset \u211d^d$ のヒルベルト次元が $d - 1/2$ を超えるならば、$E$ は正三角形を含まなければならないことを示唆する。追加の構造的仮定は不要である。
• 三次元の場合には未解決のままであり、ヘッセ行列式が位相関数を同じように制御できないため、この方法では非自明な衰減推定が得られない。
• この結果は、二次元の場合とは対照的であり、Falconer や Maga はヒルベルト次元 2 の集合であっても正三角形を含まない例を構成しており、次元 $> d - 1/2$ が $d \geq 4$ で鋭い閾値であることを示している。