[論文レビュー] Falconer distance problem, additive energy and Cartesian products

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|Jun 25, 2015

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

ひとこと要約

この論文は、加法的エネルギーとフーリエ解析を活用することで、$¹\mathbb{R}^2$ やそれ以上の次元におけるデカルト積のファルカナー距離問題の閾値を改善した。$E = A \times B$ で、$\dim_H(A) + \dim_H(B) + \max(\dim_H(A), \dim_H(B)) > 2$ ならば、$\Delta(E)$ は正のLebesgue測度を持つことが示され、2次元では $\frac{4}{3}$ の閾値を改善し、$d$ 次元ではエルドシュの $\frac{d}{2}+\frac{1}{3}$ を $\frac{d^2}{2d-1}$ に低下させた。

ABSTRACT

A celebrated result due to Wolff says if $E$ is a compact subset of ${\Bbb R}^2$, then the Lebesgue measure of the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ is positive if the Hausdorff dimension of $E$ is greater than $\frac{4}{3}$. In this paper we improve the $\frac{4}{3}$ barrier by a small exponent for Cartesian products. In higher dimensions, also in the context of Cartesian products, we reduce Erdogan's $\frac{d}{2}+\frac{1}{3}$ exponent to $\frac{d^2}{2d-1}$. The proof uses a combination of Fourier analysis and additive comibinatorics.

研究の動機と目的

• デカルト積の部分集合である $\mathbb{R}^d$ におけるファルカナー距離問題の既知の閾値を改善すること。
• エルドシュが確立した古典的な $\frac{d}{2}+\frac{1}{3}$ の境界を超えて、距離集合 $\Delta(E)$ の正のLebesgue測度に必要な指数を低減すること。
• 特に加法的エネルギーとフロストマン測度を通じたデカルト積の構造が、マティラ積分における改善された推定値を可能にする仕組みを調査すること。
• ウォルフの $\mathbb{R}^2$ における $\frac{4}{3}$ の結果を、アーフォルス＝デイビッズ正則性と改善された加法的エネルギーの境界を用いて、より広いクラスの積集合へと拡張すること。

提案手法

• マティラ積分を主たる道具として、フロストマン測度のフーリエ変換の減衰と距離集合のLebesgue測度の正の性質との関係を関係づける。
• 固体平均推定（補題2.1）を適用し、測度の成長条件を介して、球面上での$ L^2 $制限を評価する。
• 球面のパrameter化を用いてマティラ積分を角度成分と径方向成分に分解し、特に赤道付近の挙動に注目する。
• ディアトロフとザールのアーフォルス＝デイビッズ正則集合における加法的エネルギーに関する最近の結果を活用し、自明な $t^{-\alpha}$ の境界を超える改善された減衰推定を得る。
• 改善された加法的エネルギーの減衰と固体平均推定を組み合わせることで、積測度のフーリエ変換の $L^2$ 減衰を精緻化する。
• マティラ積分の収束条件 $\int |\hat{\mu}(\xi)|^2 |\xi|^{-\gamma} d\xi < \infty$ を用いて、$d$ 次元における最終的な閾値 $s > \frac{d^2}{2d-1}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元のデカルト積集合において、$\frac{4}{3}$ の境界を超えてファルカナー距離問題の閾値を改善できるか？
• RQ2 デカルト積の因子がアーフォルス＝デイビッズ正則性を満たす場合、関連するフロストマン測度のフーリエ変換における減衰が向上するか？
• RQ3 加法的エネルギーとフーリエ解析的技法を用いて、高次元における $\frac{d}{2}+\frac{1}{3}$ の指数を、積集合に対して低減できるか？
• RQ4 距離集合が正のLebesgue測度を持つために必要な、デカルト積 $A_1 \times \cdots \times A_d$ の最適次元閾値は何か？
• RQ5 因子の次元の不均衡が、マティラ積分におけるフーリエ変換の減衰速度にどのように影響するか？

主な発見

• 2次元の $E = A \times B \subset \mathbb{R}^2$ に対して、$\dim_H(A) + \dim_H(B) + \max(\dim_H(A), \dim_H(B)) > 2$ ならば、$\Delta(E)$ は正のLebesgue測度を持つ。これは $\frac{4}{3}$ の閾値を改善する。
• $\dim_H(A) = \dim_H(B) = \alpha$ で $A$ がアーフォルス＝デイビッズ正則であるとき、ある $\delta = \delta(C_{\nu_A}) > 0$ が存在し、$\alpha > \frac{2}{3} - \delta$ ならば $\Delta(E)$ は正の測度を持つ。
• $\mathbb{R}^d$ において、$E = A_1 \times \cdots \times A_d$ に対して、$\sum_{j=1}^d s_j > \frac{d^2}{2d-1}$ ならば、$\Delta(E)$ は正のLebesgue測度を持つ。これはエルドシュの $\frac{d}{2} + \frac{1}{3}$ の境界を改善する。
• ディアトロフとザールの加法的エネルギー推定から導かれる改善された減衰 $t^{-\alpha - \delta}$ が、アーフォルス＝デイビッズ正則な場合の閾値改善を可能にする。
• マティラ積分の不均衡と積集合の構造を活用することで、指数の定量的改善が達成された。
• マティラ積分の最終的な収束条件は $s > \frac{d^2}{2d-1}$ のとき満たされ、$d \geq 3$ では $\frac{d}{2} + \frac{1}{3}$ よりも厳密に小さい。