[論文レビュー] On Falconer's distance set problem in the plane

Larry Guth, Alex Iosevich+2 more|arXiv (Cornell University)|Aug 28, 2018

Mathematical Dynamics and Fractals参考文献 22被引用数 19

ひとこと要約

この論文は、$ E \subset \mathbb{R}^2 $ がコンパクトで、ハウスドルフ次元が $ 5/4 $ より大きいならば、ある点 $ x \in E $ が存在して、ピン留め距離集合 $ \Delta_x(E) = \{ |x - y| : y \in E \} $ が正のレベーグ測度を持つことを確立している。証明は調和解析のデコイプリング技法と幾何的測度論を組み合わせており、Wolffの以前の境界 $ 4/3 $ を改善し、平面におけるFalconer距離集合予想を前進させている。

ABSTRACT

If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.

研究の動機と目的

• 平面における Falconer 距離集合予想の閾値を、$ 4/3 $ から $ 5/4 $ に低下させること。
• ハウスドルフ次元 $ \dim_H(E) > 5/4 $ のとき、$ x \in E $ が存在してピン留め距離集合 $ \Delta_x(E) $ が正のレベーグ測度を持つことを確立すること。
• $ C^\infty $ 級で強凸な単位球を持つ一般のノルムへ結果を拡張し、同じ次元閾値のもとでピン留め距離集合が正の測度を持つことを示すこと。
• 次元 $ s > 1 $ の集合に対して、$ \Delta_{x,K}(E) $ の上位ミンコフスキー次元の下界を、距離集合の被覆構造の精密分析を通じて得ること。

提案手法

• Bourgain と Demeter のデコイプリング定理を用いて、距離関数の $ L^2 $-制限推定値を制御する。
• Orponen や Keleti–Shmerkin の手法の変種を適用し、$ E $ に台を持つ測度のエネルギーとその畳み込みに注目する。
• エネルギー積分を「良い」部分と「悪い」部分に分解し、「良い」部分は $ L^2 $-デコイプリングと $ L^1 $-推定値によって制御する。
• 階層的周波数分解と周波数局在化を用いて、距離測度のフーリエ変換を分析し、周波数空間における $ \ell^2 $-デコイプリングを適用する。
• 被覆議論を用いて、距離集合の $ \delta $-近傍のレベーグ測度と、畳み込み測度の $ L^2 $-ノルムを関連付ける。
• 一般のノルムへ適応するため、$ C^\infty $-滑らかで正の曲率を持つノルムを摂動により近似し、同じデコイプリング装置を適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 平面における Falconer 距離集合予想の閾値を $ 4/3 $ から $ 5/4 $ に改善できるか？
• RQ2 ハウスドルフ次元 $ \dim_H(E) > 5/4 $ のとき、ある点 $ x \in E $ が存在してピン留め距離集合 $ \Delta_x(E) $ が正のレベーグ測度を持つだろうか？
• RQ3 結果を $ C^\infty $ 級で強凸な単位球を持つ一般のノルムへ拡張できるか？
• RQ4 次元 $ s > 1 $ の集合に対して、$ \Delta_{x,K}(E) $ の上位ミンコフスキー次元の下界は何か？
• RQ5 上位ミンコフスキー次元の上界を、$ \Delta_{x,K}(E) $ のハウスドルフ次元の下界に改善できるか？

主な発見

• もし $ \dim_H(E) > 5/4 $ ならば、ある $ x \in E $ が存在して $ \mathcal{L}(\Delta_x(E)) > 0 $ であり、Wolff の $ 4/3 $ の閾値を改善している。
• 任意の対称的凸体 $ K \subset \mathbb{R}^2 $ で、$ C^\infty $ 界面かつ正の曲率を持つものに対して、$ \dim_H(E) > 5/4 $ ならば、ある $ x \in E $ に対して $ \mathcal{L}(\Delta_{K,x}(E)) > 0 $ である。
• コンパクト集合 $ E \subset \mathbb{R}^2 $ で $ \dim_H(E) = s > 1 $ であるとき、ある $ x \in E $ に対して $ \Delta_{K,x}(E) $ の上位ミンコフスキー次元は $ \frac{4s}{3} - \frac{2}{3} $ 以上である。
• この手法により、ピン留め集合における $ \delta $-分離距離の数の下界が得られる：$ s $-適応可能な点集合 $ P $ に対して $ |\Delta_{K,x}(P)| \gtrapprox N^{4/5} $。
• 証明は、$ \delta $-近傍 $ \Delta_{x,K}(E) $ のレベーグ測度が $ c \delta^{5/3 - 4\alpha/3 + \epsilon} $ で下から抑えられることを示し、次元の上界が得られる。
• 測度 $ \mu_{1,\text{good}} $ が複素数値であるため、標準的なエネルギー推定が適用できず、$ \Delta_{x,K}(E) $ のハウスドルフ次元に対する直接的な下界は得られない。