[論文レビュー] An elementary approach to simplexes in thin subsets of Euclidean space

Allan Greenleaf, Alex Iosevich+2 more|arXiv (Cornell University)|Aug 16, 2016

Mathematics and Applications参考文献 10被引用数 6

ひとこと要約

本稿は、$\mathbb{R}^d$ の薄い部分集合における非退化 $k$-次元単体の存在に関する新しい次元閾値を確立する。$E \subset \mathbb{R}^d$ がコンパクトで、そのハウスドルフ次元が $\frac{d+k}{2}$ を超過するならば、$E$ の点を頂点とする $k$-単体の合同類の集合は、$\binom{k+1}{2}$ 次元のリーマン測度に関して正の測度を持つ。著者らは、フロストマン測度、面積測度、複素補間に基づく初等的手法により、これに到達し、以前の閾値 $\frac{d+k+1}{2}$ よりも改善している。

ABSTRACT

We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 3$, is greater than $\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} ight\},$ then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$, the set of congruence classes of $k$-dimensional simplexes with vertices in $E$, is positive. This improves the best bounds previously known, decreasing the $\frac{d+k+1}{2}$ threshold obtained in Erdoğan-Hart-Iosevich (2012) to $\frac{d+k}{2}$ via a different and conceptually simpler method. We also give a simpler proof of the $d-\frac{d-1}{2d}$ threshold for $d$-dimensional simplexes obtained in Greenleaf-Iosevich (2012), Grafakos-Greenleaf-Iosevich-Palsson (2015).

研究の動機と目的

• コンパクト集合 $E \subset \mathbb{R}^d$ における $k$-次元単体の合同類の集合が正の $\binom{k+1}{2}$ 次元リーマン測度を持つことを保証する、鋭いハウスドルフ次元閾値を特定すること。
• 従来の閾値 $\frac{d+k+1}{2}$ を、より単純で初等的な手法により $\frac{d+k}{2}$ に改善すること。
• 既に [10, 9] で確立された $d$-次元単体のための $d - \frac{d-1}{2d}$ 閾値の洗練された証明を提供すること。
• 単体構成と関連する多重線形形式に対する一様な交差境界を確立し、それが合同類の測度の正の性質を示すこと。
• 特にフロストマン測度と面積測度を含む、幾何的測度論の技法を統合・簡略化し、より強力で明確な結果を得ること。

提案手法

• 著者らは、$\dim_{\mathcal{H}}(E) > s$ を満たす $E$ 上に台を持つフロストマン測度 $\mu$ を用い、フーリエ変換の減衰と $L^p$-有界性を制御する。
• 彼らは、$k+1$ 個の点間の距離を表す半径 $t_{ij}$ の球面上の近似面積測度 $\sigma_t^\epsilon$ の畳み込みを含む多重線形形式 $\Lambda^\epsilon_k(\mu)$ を定義する。
• 複素補間に依存する、$|\Lambda^\epsilon_k(\mu)| \lesssim 1$ という主要な推定が、面積測度の畳み込みの $L^1$-ノルムとリーマン・ポテンシャルの一様有界性に依拠して証明される。
• $\dim_{\mathcal{H}}(E) > d - \operatorname{Re}(z)$ の条件下で、リーマン・ポテンシャル型作用素 $\mu_z^\delta(x) = (\mu^\delta * |\cdot|^{-d+z})(x)$ の $L^\infty$-有界性を確立する。
• すべてのペアの距離を除く $d+1$ 個の点の積分を、体積パッキングの議論により評価し、横断性と次元制約のもとで $\lesssim 1$ を得る。
• 最終的な有界性は、距離カーネルの $L^1$-ノルムの推定と、実部の和がゼロとなる複素パrameterに沿った解析的補間を用いたリーマン・ポテンシャルの $L^\infty$-有界性の組み合わせによって得られる。

実験結果

リサーチクエスチョン

• RQ1 どのくらいの最適ハウスドルフ次元閾値 $s_0(k,d)$ が、$\dim_{\mathcal{H}}(E) > s_0$ ならば $\mathcal{L}^{\binom{k+1}{2}}(T_k(E)) > 0$ を保証するか？
• RQ2 $\frac{d+k+1}{2}$ という閾値が [6] で既知であったが、より初等的な手法により $\frac{d+k}{2}$ に改善可能か？
• RQ3 改善された次元閾値 $\frac{d+k}{2}$ の下で、$|\Lambda^\epsilon_k(\mu)| \lesssim 1$ という交差境界が成立するか？
• RQ4 $d$-次元単体のための $d - \frac{d-1}{2d}$ 閾値は、より単純で明確な議論により再証明可能か？
• RQ5 複素補間とリーマン・ポテンシャルは、幾何的測度論における多重線形形式の均一有界性を確立するために果たす役割は何か？

主な発見

• 本稿は、$\dim_{\mathcal{H}}(E) > \frac{d+k}{2}$ ならば、$E$ の点を頂点とする $k$-次元単体の合同類の集合 $T_k(E)$ が正の $\binom{k+1}{2}$ 次元リーマン測度を持つことを確立し、以前の閾値 $\frac{d+k+1}{2}$ よりも改善している。
• 著者らは、フロストマン測度、面積測度の畳み込み、複素補間に基づく初等的手法により、これに到達し、以前の研究で用いられたより技術的な道具を避けており、より洗練された証明を実現している。
• $\dim_{\mathcal{H}}(E) > \frac{d+k}{2}$ の下で、新たな一様交差境界 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$ が証明され、それが合同類の測度の正の性質を示唆している。
• $d$-次元単体のための $d - \frac{d-1}{2d}$ 閾値は、体積パッキングとリーマン・ポテンシャルの $L^\infty$-推定に依拠するより単純な議論により再証明されている。
• $\dim_{\mathcal{H}}(E) > d - \operatorname{Re}(z)$ の下で $|\mu_z^\delta(x)| \leq C$ の証明は、dyadic 分解とフロストマンの補題を用いてなされ、ポテンシャル型作用素の均一制御が保証されている。
• 最終的な結果は、$\operatorname{Re}(\alpha_j) = -\frac{(d-1)^2}{4d} + \frac{\epsilon}{2}$ または $\frac{d-1}{2d} - \frac{\epsilon}{d-1}$ の形の $\binom{d+1}{2}$ 個の関係を含む、実部の和がゼロとなる複素パrameterに沿った解析的補間によって得られ、凸包が $\vec{0}$ を含むことを保証する。