[论文解读] Additive energy of regular measures in one and higher dimensions, and the fractal uncertainty principle

Laura Cladek, Terence Tao|arXiv (Cornell University)|Dec 4, 2020

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

一句话总结

本文在一维及更高维空间中，通过几何与调和分析技术，建立了Ahlfors–David正则测度的加法能量更优的界，实现了对正则性常数 $ C $ 的多项式依赖，显著优于以往的准多项式界。这些结果在奇数维中实现了分形不确定性原理的新情形，尤其是针对非整数维的情况。

ABSTRACT

We obtain new bounds on the additive energy of (Ahlfors-David type) regular measures in both one and higher dimensions, which implies expansion results for sums and products of the associated regular sets, as well as more general nonlinear functions of these sets. As a corollary of the higher-dimensional results we obtain some new cases of the fractal uncertainty principle in odd dimensions.

研究动机与目标

• 改进一维正则测度加法能量界中的指数，将正则性常数 $ C $ 的准多项式依赖替换为多项式衰减。
• 将这些改进的界推广至高维正则测度，并应用于非线性函数与和积现象。
• 利用改进的加法能量估计，建立奇数维中分形不确定性原理的新情形。
• 证明改进的界源于实直线上的几何结构与 dyadic 分解，利用了有序性与正则性。
• 表明改进的界可导出更强的 $ L^p $-限制估计与分形设定下的更强不确定性原理。

提出的方法

• 使用 dyadic（K-adic）区间分解以利用 $ \mathbb{R} $ 的有序结构，从而在小尺度上对加法能量实现更精细的控制。
• 应用 Gowers–Cauchy–Schwarz 不等式以控制特征函数的 $ U^2 $-范数，通过 $ \|1_A * 1_B\|_{L^2}^2 $-范数将其与加法能量关联。
• 对集合进行缩放以归一化至单位尺度，将问题转化为具有受控 $ C^{O(1)} $-正则性常数的缩放测度的正则性条件。
• 利用 $ \delta $-正则性条件控制尺度 $ r $ 下球的测度，确保 $ \mu(B(x,r)) \sim r^\delta $，并应用体积打包论证。
• 通过对偶性与限制理论应用分形不确定性原理，将 Fourier 变换的 $ L^4 $-界与加法能量通过 $ \|\mu * \nu\|_{U^2} $ 估计联系起来。
• 利用非线性函数 $ F $ 的 $ C^2 $-光滑性，线性化其局部行为，并将问题约化为 $ \mathbb{R}^d $ 中的和集估计。

实验结果

研究问题

• RQ1 在一维中，加法能量界 $ \mathcal{E}(\mu, r) \lesssim r^{\delta + \beta} $ 中的指数 $ \beta $ 能否从正则性常数 $ C $ 的准多项式依赖改进为多项式依赖？
• RQ2 在一维中改进的加法能量界在多大程度上可推广至高维正则测度与非线性函数？
• RQ3 利用改进的加法能量估计，在奇数维中可建立分形不确定性原理的哪些新情形？
• RQ4 实直线的有序结构如何使界强于非整数维下的一般加法组合论？
• RQ5 改进的加法能量界是否可导出更强的分形测度 $ L^p $-限制估计？

主要发现

• 本文实现了加法能量指数的多项式改进，表明存在绝对常数 $ c > 0 $，使得 $ \beta = c \min(\delta, 1 - \delta) C^{-25} $，显著优于 Dyatlov 与 Zahl 所得的准多项式界 $ \beta \sim \delta \exp(-K(1 - \delta)^{-14}(1 + \log^{14} C)) $。
• 改进的界通过基于 dyadic 分解与 $ \mathbb{R} $ 有序结构的初等论证建立，避免了深层的逆定理。
• 加法能量界在高维的推广导出了奇数维中分形不确定性原理的新情形，尤其适用于非整数 $ \delta $。
• 通过 $ \|\mu_Y * \nu_{B(0,2h)}\|_{U^2} \lesssim h^{d/2 - \delta} \mathcal{E}(\mu_Y, h)^{1/4} $ 与 $ \mathcal{E}(\mu_Y, h) \lesssim h^{\delta + \beta} $，建立了界 $ \|\mathcal{F}_h 1_{Y_h}\|_{L^4} \lesssim h^{d/2 - 3\delta/4 + 2\beta} $。
• 结果在缩放下具有鲁棒性，适用于 $ C^2 $-光滑非线性函数 $ F $，关键步骤是将 $ F $ 在某点附近线性化并约化为和集估计。
• 该方法适用于测度满足 $ \gtrsim r^{d - \delta} $ 的集合 $ Y_h $，放宽了对 $ Y $ 的严格正则性假设，且可推广至正则测度之外。