[论文解读] 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

一句话总结

本文在一维情况下建立了关于分形集的非线性Roth型定理，表明任何[0,1]的子集，若其Hausdorff维数超过$1 - \epsilon_d$，则包含形如$\{x, x-t, x-P(t)\}$的多项式配置，其中$P$为无常数项的$d$次多项式，且$t \approx_P 1$。该结果用仅基于Hausdorff维数的条件取代了先前对Fourier维数的依赖，通过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型定理的背景下，用仅基于Hausdorff维数的条件取代先前对Fourier维数的依赖。
• 证明对于任意无常数项的$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}$估计低频项，并应用Roth下界$\delta_{\text{Roth}}(\epsilon)$，其中$\epsilon \sim A^{d_E-1}$。
• 通过非平稳相位和平凡的$L^1$界控制误差项，分别得到衰减速率$A^{-C}$和$B^{-\delta_0}$。

实验结果

研究问题

• RQ1 能否在仅基于Hausdorff维数的条件下，而非Fourier维数条件下，建立分形集中多项式配置$\{x, x-t, x-P(t)\}$的存在性？
• RQ2 对于$d$次多项式，此类配置保证存在的最小Hausdorff维数阈值$d_E$是多少？
• RQ3 扭曲卷积的$L^1$-范数的衰减速率如何影响配置积分的下界？
• RQ4 在非线性Roth情形下，先前结果中对Fourier维数的依赖能否被Hausdorff维数条件完全取代？

主要发现

• 对于任意$d \geq 2$，若$A \subset [0,1]$的Hausdorff维数$d_E > 1 - \epsilon_d$，则$A$包含满足$t \approx_P 1$的配置$\{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$的下界被控制在$\delta_{\text{Roth}}(c)$以上，其中$c > 0$且远离零。
• 误差项分别以$B^{-\delta_0}$和$A^{-C}$衰减，通过适当地选择$A$和$B$，可使其小于Roth下界。
• 该结果通过Fourier限制理论、扭曲卷积的$L^1$估计以及Sobolev嵌入论证的结合得以建立。
• 关键创新在于用Hausdorff维数条件取代了Fourier维数假设，表明在一维情形下该现象与Fourier衰减无关。