[论文解读] Falconer distance problem, additive energy and Cartesian products

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|Jun 25, 2015

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

一句话总结

该论文通过利用加法能量和傅里叶分析，改进了 $\mathbb{R}^2$ 及更高维度中笛卡尔积的 Falconer 距离问题的阈值。结果表明，若 $E = A \times B$ 且满足 $\dim_H(A) + \dim_H(B) + \max(\dim_H(A), \dim_H(B)) > 2$，则 $\Delta(E)$ 具有正的勒贝格测度，这在二维中优于 $\frac{4}{3}$ 的阈值，并在笛卡尔积结构下将 Erdogan 的 $\frac{d}{2}+\frac{1}{3}$ 降低至 $\frac{d^2}{2d-1}$。

ABSTRACT

A celebrated result due to Wolff says if $E$ is a compact subset of ${\Bbb R}^2$, then the Lebesgue measure of the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ is positive if the Hausdorff dimension of $E$ is greater than $\frac{4}{3}$. In this paper we improve the $\frac{4}{3}$ barrier by a small exponent for Cartesian products. In higher dimensions, also in the context of Cartesian products, we reduce Erdogan's $\frac{d}{2}+\frac{1}{3}$ exponent to $\frac{d^2}{2d-1}$. The proof uses a combination of Fourier analysis and additive comibinatorics.

研究动机与目标

• 改进 $\mathbb{R}^d$ 中笛卡尔积子集的 Falconer 距离问题已知阈值。
• 在经典 Erdogan 建立的 $\frac{d}{2}+\frac{1}{3}$ 边界之外，降低距离集 $\Delta(E)$ 具有正勒贝格测度所需的指数。
• 研究笛卡尔积结构，特别是通过加法能量与 Frostman 测度，如何改进 Mattila 积分中的估计。
• 通过 Ahlfors-David 正则性与改进的加法能量界，将 Wolff 在 $\mathbb{R}^2$ 中的 $\frac{4}{3}$ 结果推广至更广泛的积集类。

提出的方法

• 使用 Mattila 积分作为主要工具，将 Frostman 测度的傅里叶变换衰减速率与距离集勒贝格测度的正性联系起来。
• 应用球面的“实平均估计”（引理 2.1），通过测度增长条件来控制傅里叶变换在球面上的 $L^2$-限制。
• 通过球面的参数化将 Mattila 积分解为角向与径向分量，重点关注赤道附近的性质。
• 利用 Dyatlov 与 Zahl 关于 Ahlfors-David 正则集的加法能量的最新结果，获得超越平凡 $t^{-\alpha}$ 估计的改进衰减速率。
• 将改进的加法能量衰减速率与实平均估计结合，以改进乘积测度的傅里叶变换的 $L^2$-衰减。
• 利用 Mattila 积分的收敛条件 $\int |\hat{\mu}(\xi)|^2 |\xi|^{-\gamma} d\xi < \infty$ 推导出 $d$ 维中最终的阈值 $s > \frac{d^2}{2d-1}$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^2$ 中，笛卡尔积集的 Falconer 距离问题阈值能否在 $\frac{4}{3}$ 之上得到改进？
• RQ2 笛卡尔积中因子的 Ahlfors-David 正则性是否会导致相关 Frostman 测度的傅里叶变换衰减改善？
• RQ3 在高维中，能否通过加法能量与傅里叶分析技术，将积集的 $\frac{d}{2}+\frac{1}{3}$ 指数降低？
• RQ4 笛卡尔积 $A_1 \times \cdots \times A_d$ 的最优维数阈值是多少，以确保距离集具有正勒贝格测度？
• RQ5 因子维数的不平衡如何影响 Mattila 积分中傅里叶变换的衰减速率？

主要发现

• 对于 $E = A \times B \subset \mathbb{R}^2$，若 $\dim_H(A) + \dim_H(B) + \max(\dim_H(A), \dim_H(B)) > 2$，则 $\Delta(E)$ 具有正的勒贝格测度，优于 $\frac{4}{3}$ 的阈值。
• 当 $\dim_H(A) = \dim_H(B) = \alpha$ 且 $A$ 为 Ahlfors-David 正则时，存在 $\delta = \delta(C_{\nu_A}) > 0$，使得 $\alpha > \frac{2}{3} - \delta$ 蕴含 $\Delta(E)$ 具有正测度。
• 在 $\mathbb{R}^d$ 中，对于 $E = A_1 \times \cdots \times A_d$，若 $\sum_{j=1}^d s_j > \frac{d^2}{2d-1}$，则 $\Delta(E)$ 具有正的勒贝格测度，优于 Erdogan 的 $\frac{d}{2} + \frac{1}{3}$ 边界。
• 由 Dyatlov 与 Zahl 的加法能量估计导出的改进衰减速率 $t^{-\alpha - \delta}$，使得在 Ahlfors-David 正则情形下阈值得以提升。
• 通过利用 Mattila 积分中的不平衡性与积集结构，该方法在指数上实现了定量改进。
• 当 $s > \frac{d^2}{2d-1}$ 时，Mattila 积分的最终收敛条件得以满足，且该值在 $d \geq 3$ 时严格小于 $\frac{d}{2} + \frac{1}{3}$。