[論文レビュー] A Non-Linear Roth Theorem for Fractals of Sufficiently Large Dimension

Ben Krause|arXiv (Cornell University)|Apr 23, 2019

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

ひとこと要約

本稿は、1次元におけるフラクタル集合に対して非線形Roth型定理を確立し、Hausdorff次元が $1 - \epsilon_d$ を超える任意の $[0,1]$ の部分集合が、定数項のない $d$ 次多項式 $P$ と $t \approx_P 1$ に対して $\{x, x-t, x-P(t)\}$ の形の多項式的配置を含むことを示している。この結果は、従来のFourier次元に依存する仮定を、Hausdorff次元にのみ依存する条件に置き換えており、配置数え上げ積分を制御するため、Fourier制限理論とSobolev推定を用いている。

ABSTRACT

Suppose that $d \geq 2$, and that $A \subset [0,1]$ has sufficiently large dimension, $1 - ε_d < \dim_H(A) < 1$. Then for any polynomial $P$ of degree $d$ with no constant term, there exists a point configuration $\{ x, x-t,x-P(t) \} \subset A$ with $t \approx_P 1$.

研究の動機と目的

• Hausdorff次元が十分に大きいフラクタル集合に、多項式的配置 $\{x, x-t, x-P(t)\}$ が存在することを確立すること。
• 非線形Roth型定理の文脈において、従来のFourier次元に依存する仮定を、Hausdorff次元にのみ依存する条件に置き換えること。
• 任意の定数項のない $d$ 次多項式 $P$ に対して、集合の次元が $> 1 - \epsilon_d$ であれば、そのような配置が存在することを示すこと。
• 配置の数え上げ積分を制御するため、制限理論と $L^1$ 推定を用いたFourier解析的枠組みを構築すること。

提案手法

• フラクタル集合 $A$ に台を持つ確率測度 $\mu$ に対して、滑らかなFourier制限作用素 $f_J = \mu * \phi_J$ を用いる。
• 補題2.1を適用して、Roth型密度推定を用いて三重積分 $\int\!\int f(x)f(x-t)f(x-P(t))\rho(t)\,dt\,dx$ の下界を得る。
• 補題2.2を用いて、ねじれた畳み込みの $L^1$ ノルムを評価し、周波数局在関数に対して $N^{-\delta_0}$ の減衰を得る。
• 主積分を低周波数部と高周波数部に分解し、$B$ を閾値として寄与を分離する。
• 低周波数項は $\|f_{\lesssim A}\|_\infty \lesssim A^{1-d_E}$ を用いて評価し、$\epsilon \sim A^{d_E-1}$ としてRothの下界 $\delta_{\text{Roth}}(\epsilon)$ を適用する。
• 非定常位相と自明な $L^1$ 界を用いて誤差項を制御し、それぞれ $A^{-C}$ および $B^{-\delta_0}$ の減衰を示す。

実験結果

リサーチクエスチョン

• RQ1 フラクタル集合における多項式的配置 $\{x, x-t, x-P(t)\}$ の存在は、Fourier次元の仮定に代えてHausdorff次元の条件のもとで確立可能か？
• RQ2 定数項のない $d$ 次多項式に対して、このような配置が保証される最小のHausdorff次元閾値 $d_E$ は何か？
• RQ3 ねじれた畳み込みの $L^1$ ノルムの減衰率は、配置積分の下界にどのように影響するか？
• RQ4 従来の結果におけるFourier次元への依存は、非線形Roth設定において完全にHausdorff次元の条件に置き換え可能か？

主な発見

• 任意の $d \geq 2$ に対して、$A \subset [0,1]$ がHausdorff次元 $d_E > 1 - \epsilon_d$ を満たすならば、$t \approx_P 1$ に対して $A$ は配置 $\{x, x-t, x-P(t)\}$ を含む。
• 閾値 $\epsilon_d$ は $d$ のみに依存し、定数項のないすべての $d$ 次多項式 $P$ に対して一様に成り立つ。
• 積分 $\int\!\int f(x)f(x-t)f(x-P(t))\rho(t)\,dt\,dx$ の下界は、ある $c > 0$ が $0$ から離れている場合に $\delta_{\text{Roth}}(c)$ で下から抑えられる。
• 誤差項は $B^{-\delta_0}$ および $A^{-C}$ で減衰し、$A$ と $B$ を十分に大きくすることで、Rothの下界よりも小さくできる。
• この結果は、Fourier制限理論、ねじれた畳み込みの $L^1$ 推定、Sobolev埋め込みの議論を組み合わせて得られている。
• 主な革新点は、Fourier次元の仮定をHausdorff次元条件に置き換えたことであり、1次元設定においてこの現象がFourier減衰とは独立に成立することを示している。