[論文レビュー] Hausdorff dimension of pinned distance sets and the $L^2$-method

Bochen Liu|arXiv (Cornell University)|Oct 18, 2018

Limits and Structures in Graph Theory参考文献 10被引用数 4

ひとこと要約

本稿は、$L^2$-法に高度な周波数分解とフーリエ制限推定を組み合わせることで、平面におけるピン留め距離集合のハウスドルフ次元に対する鋭い下界を確立する。任意のコンパクト集合 $E \subset \mathbb{R}^2$ に対して $ \dim_{\mathcal{H}}(E) > 1$ ならば、ある $x \in E$ が存在して $ \dim_{\mathcal{H}}(\Delta_x(E)) \geq \min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$ が成り立つことを証明し、Guth, Iosevich, Ou, Wang が提起した問題を解決し、Keleti と Shmerkin の先行結果を改善する。

ABSTRACT

We prove that for any $E\subset{\Bbb R}^2$, $\dim_{\mathcal{H}}(E)>1$, there exists $x\in E$ such that the Hausdorff dimension of the pinned distance set $$Δ_x(E)=\{|x-y|: y \in E\}$$ is no less than $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1 ight\}$. This answers a question recently raised by Guth, Iosevich, Ou and Wang, as well as improves results of Keleti and Shmerkin. (This version is already published on Proceeding AMS so I would like to leave it unchanged. However the statement in the abstract, which is the second part of Theorem 1.1, should be weakened a bit to: for any $ε>0$ there exists $x\in E$ such that the Hausdorff dimension of $Δ_x(E)$ is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}-ε, 1 ight\}$, and it implies the Hausdorff dimension of the distance set, $Δ(E)=\{|x-y|:x,y\in E\}$, is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1 ight\}$. There is no problem in the proof and the first part of Theorem 1.1. I apologize for being sloppy and would like to thank Yumeng Ou for pointing it out.)

研究の動機と目的

• 平面におけるピン留め距離集合の次元に関する、Guth, Iosevich, Ou, Wang が提起した最近の未解決問題を解決すること。
• 距離集合の次元が正であるような点 $x \in E$ の存在に関する、既知の次元閾値を改善すること。
• $L^2$-法を、Lebesgue 測度の正の性質の証明にとどまらず、次元推定へと拡張すること。
• $\dim_{\mathcal{H}}(E) > 1$ の場合に、$\dim_{\mathcal{H}}(E)$ と $\dim_{\mathcal{H}}(\Delta_x(E))$ の間の鋭い定量的関係を確立すること。

提案手法

• 恒等式 $\int_0^\infty |f * \omega_t(x)|^2 t^{d-1} dt = \int_0^\infty |f * \widehat{\omega_r}(x)|^2 r^{d-1} dr$ を用いて、$L^2$-ノルムとフーリエ制限推定を関連づけ、$\nu_x = d^x_* (\mu_E)$ の押し出し測度のエネルギー積分への寄与を評価する。
• $\mu_E = \mu_{E,\text{good}} + \mu_{E,\text{bad}}$ の分解を用いてエネルギー積分への主な寄与を特定し、$\mu_{E,\text{bad}}$ を急速な減衰推定により無視可能とみなす。
• 周波数分解と切り捨て関数 $\phi(2^{-k}\xi)$ を用いた dyadic 周波数局在化により、$\mu_E$ のフーリエ変換をスケール $2^k$ で制御する。
• コーシー・シュワルツと $L^2$-ベースのエネルギー積分推定を用いて、$\nu_x$ の $\tau$-エネルギーを評価し、$\widehat{\mu_E}$ の $L^2$-ノルムに重み $|\xi|^{-\frac{s_F+1}{3}+O(\delta)}$ を乗じたものと結びつける。
• ボレル＝カンテーリーの補題を用いて、$\mu_F$-ほとんど everywhere の $x \in F$ に対して $\nu_x$ の $\tau$-エネルギーが有限であることを示し、$\dim_{\mathcal{H}}(\Delta_x(E)) \geq \tau$ を得る。
• パラメータ $\beta, \delta$ を最適化して、減衰率のバランスを保ち、和 $\sum_k \mu_F(F_k)$ の収束を保証し、最終的な次元の下界を得る。

実験結果

リサーチクエスチョン

• RQ1 コンパクト集合 $E \subset \mathbb{R}^2$ に対して $\dim_{\mathcal{H}}(E) > 1$ ならば、$\dim_{\mathcal{H}}(\Delta_x(E)) \geq \frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}$ を満たす $x \in E$ が存在するか？
• RQ2 $L^2$-法をピン留め距離集合の次元推定に適応することは可能か？（測度の正の性質の証明にとどまらず。）
• RQ3 次元の下界 $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$ は、ピン留め距離集合の次元に対して鋭いか？
• RQ4 周波数と測度の分解を精緻化することで、$\mu_{E,\text{good}}$ のみではエネルギー積分を制御できないという $L^2$-法の限界を乗り越えることができるか？

主な発見

• 任意のコンパクト集合 $E \subset \mathbb{R}^2$ に対して $\dim_{\mathcal{H}}(E) > 1$ ならば、ある $x \in E$ が存在して $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$ が成り立つ。
• この結果は、Guth, Iosevich, Ou, Wang が提起した予想を裏付けるものであり、Keleti と Shmerkin が得た以前の下界 $\min\left\{\frac{2}{3}\dim_{\mathcal{H}}(E), 1\right\}$ よりも改善している。
• $\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}$ の下界は、$L^2$-法を単独で用いる限り、より良い指数を得ることはできないという意味で鋭い。文献に示される例によってこれが裏付けられている。
• 証明は、$\nu_x$ の $L^2$-ノルムと $\mu_E$ のフーリエ制限性質との間の定量的関係を、周波数局在化とエネルギー積分推定を用いて確立している。
• $\nu_{x,\text{good}}$ だけではエネルギー積分を完全に制御できないという問題を、精緻な分解と急速な減衰推定を用いることで克服した。
• 最終的な次元下界は、集合列 $F_k$ に対するボレル＝カンテーリーの議論により得られ、$\mu_F$-ほとんど everywhere の $x$ に対して $\nu_x$ の $\tau$-エネルギーが有限であることを保証し、$\dim_{\mathcal{H}}(\Delta_x(E)) \geq \tau$ を示す。