[論文レビュー] Pinned distance problem, slicing measures and local smoothing estimates

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|Jun 29, 2017

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

ひとこと要約

この論文は、フーリエ積分作用素（FIO）の局所滑らかさ推定を用いて、$\dd$ におけるピン留め距離集合のサイズの鋭い次元閾値を確立することで、ペレス＝シュラーのピン留め距離問題を改善した。$\dd$ の集合 $E$ と $F$ に対して、$\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d-1+\beta$ が成り立つならば、$\mu_F$-ほとんど everywhere な $y \in F$ に対して $\dim_{\mathcal{H}}(\Delta^y(E)) \geq \beta$ が成り立つ。同様の結果は、正のLebesgue測度および空でない内部を持つ場合にも、フォン＝シュタインおよび映画的曲率条件の下で得られる。

ABSTRACT

We improve the Peres-Schlag result on pinned distances in sets of a given Hausdorff dimension. In particular, for Euclidean distances, with $$Δ^y(E) = \{|x-y|:x\in E\},$$ we prove that for any $E, F\subset{\Bbb R}^d$, there exists a probability measure $μ_F$ on $F$ such that for $μ_F$-a.e. $y\in F$, (1) $\dim_{\mathcal H}(Δ^y(E))\geqβ$ if $\dim_{\mathcal H}(E) + \frac{d-1}{d+1}\dim_{\mathcal H}(F) > d - 1 + β$; (2) $Δ^y(E)$ has positive Lebesgue measure if $\dim_{\mathcal H}(E)+\frac{d-1}{d+1}\dim_{\mathcal H}(F) > d$; (3) $Δ^y(E)$ has non-empty interior if $\dim_{\mathcal H}(E)+\frac{d-1}{d+1}\dim_{\mathcal H}(F) > d+1$. We also show that in the case when $\dim_{\mathcal H}(E)+\frac{d-1}{d+1}\dim_{\mathcal H}(F)>d$, for $μ_F$-a.e. $y\in F$, $$ \left\{t\in{\Bbb R} : \dim_{\mathcal H}(\{x\in E:|x-y|=t\}) \geq \dim_{\mathcal H}(E)+\frac{d+1}{d-1}\dim_{\mathcal H}(F)-d ight\} $$ has positive Lebesgue measure. This describes dimensions of slicing subsets of $E$, sliced by spheres centered at $y$. In our proof, local smoothing estimates of Fourier integral operators (FIO) plays a crucial role. In turn, we obtain results on sharpness of local smoothing estimates by constructing geometric counterexamples.

研究の動機と目的

• 与えられたハウスドルフ次元の集合におけるピン留め距離のペレス＝シュラーの結果を、曲率条件を組み込むことで改善すること。
• ピン留め距離集合 $\Delta^y(E)$ が正のLebesgue測度または空でない内部を持つための次元閾値を確立すること。
• ピン留め距離問題とフーリエ積分作用素（FIO）の局所滑らかさ推定を結びつけること。
• 局所滑らかさ推定の鋭さを検証するための幾何的反例を構成すること。
• ユークリッド距離から、フォン＝シュタインおよび映画的曲率条件を満たす一般関数 $\Phi$ への結果の拡張。

提案手法

• 距離集合のサイズを制御する中心的な解析的道具として、フーリエ積分作用素（FIO）の局所滑らかさ推定を用いる。
• $L^p$-基盤の制限推定とホルダーの不等式を用いて、FIOカーネルの $L^2$-ノルムを評価する。
• 周波数局在を用いて測度 $\mu_E$, $\mu_F$ を二進周波数アニュラスに分解し、減衰と次元を周波数局在を用いて分析する。
• フォン＝シュタインの回転曲率条件とソッゲの映画的曲率条件を用いて、等高面の非退化曲率を保証する。
• 停留化位相と $L^2$-制限理論を用いて振動積分を推定し、次元の境界を導出する。
• 積集合と $\Phi$ の等高面を用いた反例の構成により、導出された次元閾値の鋭さを検証する。

実験結果

リサーチクエスチョン

• RQ1 どのくらいの鋭い閾値が、$\dim_{\mathcal{H}}(E)$ と $\dim_{\mathcal{H}}(F)$ に対して、$\mu_F$-ほとんど everywhere な $y \in F$ に対して $\dim_{\mathcal{H}}(\Delta^y(E)) \geq \beta$ が成り立つように保証するか？
• RQ2 $\Phi$ にどのような曲率条件を課せば、$\mu_F$-ほとんど everywhere な $y \in F$ に対して $|\Delta^y(E)| > 0$ を保証できるか？
• RQ3 $\mu_F$-ほとんど everywhere な $y \in F$ に対して $\Delta^y(E)$ が空でない内部を持つのはどのような場合か？
• RQ4 FIOの局所滑らかさ推定は、$E$ のスライシング測度の次元とどのように関係するか？
• RQ5 導出された次元閾値は鋭いか？幾何的反例はその鋭さを示せるか？

主な発見

• $\mu_F$-ほとんど everywhere な $y \in F$ に対して、$\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d-1 + \beta$ ならば $\dim_{\mathcal{H}}(\Delta^y(E)) \geq \beta$ が成り立つ。
• $\mu_F$-ほとんど everywhere な $y \in F$ に対して、$\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d$ ならば $\Delta^y(E)$ は正のLebesgue測度を持つ。
• $\mu_F$-ほとんど everywhere な $y \in F$ に対して、$\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d+1$ ならば $\Delta^y(E)$ は空でない内部を持つ。
• $\mu_F$-ほとんど everywhere な $y \in F$ に対して、$\{t \in \mathbb{R} : \dim_{\mathcal{H}}(\{x \in E : |x-y| = t\}) \geq \dim_{\mathcal{H}}(E) + \frac{d+1}{d-1}\dim_{\mathcal{H}}(F) - d\}$ は正のLebesgue測度を持つ。
• 幾何的反例により、導出された閾値が鋭いかどうかを示しており、特に $\Phi(x,y) = x \cdot y$ が曲率仮定によって除外される場合に顕著である。