[论文解读] 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 $ 的Hausdorff维数大于 $ 5/4 $，则存在一点 $ x \in E $，使得其钉住距离集 $ \Delta_x(E) = \{ |x - y| : y \in E \} $ 具有正的Lebesgue测度。证明结合了调和分析中的解耦技术与几何测度论，将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) $ 具有正Lebesgue测度。
• 将结果推广至具有 $ C^\infty $ 光滑严格凸单位球的一般范数，证明在相同维数阈值下，钉住距离集具有正测度。
• 通过精细分析距离集的覆盖结构，为维数 $ s > 1 $ 的集合提供 $ \Delta_{x,K}(E) $ 的上Minkowski维数的下界。

提出的方法

• 利用Bourgain与Demeter的解耦定理，控制距离函数的 $ L^2 $-限制估计。
• 应用Orponen与Keleti–Shmerkin方法的变体，聚焦于支撑在 $ E $ 上的测度及其卷积的能量。
• 将能量积分分解为‘好’与‘坏’两部分，其中‘好’部分通过 $ L^2 $-解耦与 $ L^1 $-估计进行控制。
• 采用 dyadic 频率分解与频率局部化，分析距离测度的傅里叶变换，应用频率空间中的 $ \ell^2 $-解耦。
• 使用覆盖论证，将距离集的 $ \delta $-邻域的Lebesgue测度与卷积测度的 $ L^2 $-范数联系起来。
• 通过近似具有 $ C^\infty $ 光滑性与正曲率的范数，将论证推广至一般范数，保持曲率性质并允许应用相同的解耦工具。

实验结果

研究问题

• RQ1 能否将平面中Falconer距离集猜想的阈值从 $ 4/3 $ 提高至 $ 5/4 $？
• RQ2 当 $ \dim_H(E) > 5/4 $ 时，是否存在一点 $ x \in E $，使得钉住距离集 $ \Delta_x(E) $ 具有正Lebesgue测度？
• RQ3 该结果能否推广至具有 $ C^\infty $ 光滑严格凸单位球的一般范数？
• RQ4 对于维数 $ s > 1 $ 的集合，$ \Delta_{x,K}(E) $ 的上Minkowski维数的下界是什么？
• RQ5 能否将上Minkowski维数的上界改进为 $ \Delta_{x,K}(E) $ 的Hausdorff维数的下界？

主要发现

• 若 $ \dim_H(E) > 5/4 $，则存在 $ x \in E $，使得 $ \mathcal{L}(\Delta_x(E)) > 0 $，优于Wolff的 $ 4/3 $ 临界值。
• 对于任意具有 $ C^\infty $ 边界与正曲率的对称凸体 $ K \subset \mathbb{R}^2 $，若 $ \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) $ 的上Minkowski维数至少为 $ \frac{4s}{3} - \frac{2}{3} $。
• 该方法给出了钉住距离集中 $ \delta $-分离距离数的下界：对于尺寸为 $ N $ 的 $ s $-可适点集 $ P $，有 $ |\Delta_{K,x}(P)| \gtrapprox N^{4/5} $。
• 证明表明，$ \Delta_{x,K}(E) $ 的 $ \delta $-邻域的Lebesgue测度下界为 $ c \delta^{5/3 - 4\alpha/3 + \epsilon} $，从而导出维数下界。
• 由于测度 $ \mu_{1,\text{good}} $ 为复值，标准能量估计无法直接应用，导致该方法无法直接给出 $ \Delta_{x,K}(E) $ 的Hausdorff维数下界。