[论文解读] Hausdorff dimension of pinned distance sets and the $L^2$-method

Bochen Liu|arXiv (Cornell University)|Oct 18, 2018

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

一句话总结

本文通过结合先进的 $L^2$-方法、频率分解与傅里叶限制估计，建立了平面中固定距离集的豪斯多夫维数的精确下界。证明了对于任意紧致集 $E ⊂ \mathbb{R}^2$ 满足 $\dim_{\mathcal{H}}(E) > 1$，存在 $x \in E$ 使得 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$，解决了 Guth、Iosevich、Ou 和 Wang 提出的问题，并改进了 Keleti 与 Shmerkin 的先前结果。

ABSTRACT

We prove that for any $E\subset{\Bbb R}^2$, $\dim_{\mathcal{H}}(E)>1$, there exists $x\in E$ such that the Hausdorff dimension of the pinned distance set $$Δ_x(E)=\{|x-y|: y \in E\}$$ is no less than $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1 ight\}$. This answers a question recently raised by Guth, Iosevich, Ou and Wang, as well as improves results of Keleti and Shmerkin. (This version is already published on Proceeding AMS so I would like to leave it unchanged. However the statement in the abstract, which is the second part of Theorem 1.1, should be weakened a bit to: for any $ε>0$ there exists $x\in E$ such that the Hausdorff dimension of $Δ_x(E)$ is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}-ε, 1 ight\}$, and it implies the Hausdorff dimension of the distance set, $Δ(E)=\{|x-y|:x,y\in E\}$, is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1 ight\}$. There is no problem in the proof and the first part of Theorem 1.1. I apologize for being sloppy and would like to thank Yumeng Ou for pointing it out.)

研究动机与目标

• 为解决 Guth、Iosevich、Ou 和 Wang 最近提出的关于 $\mathbb{R}^2$ 中固定距离集维数的开放问题。
• 改进此前已知的关于存在点 $x \in E$ 使得 $\dim_{\mathcal{H}}(\Delta_x(E)) > 0$ 的维数阈值。
• 将 $L^2$-方法从距离集问题的测度正性估计推广至维数估计。
• 为 $\dim_{\mathcal{H}}(E) > 1$ 的情形建立 $\dim_{\mathcal{H}}(E)$ 与 $\dim_{\mathcal{H}}(\Delta_x(E))$ 之间精确的定量关系。

提出的方法

• 通过恒等式 $\int_0^\infty |f * \omega_t(x)|^2 t^{d-1} dt = \int_0^\infty |f * \widehat{\omega_r}(x)|^2 r^{d-1} dr$ 应用 $L^2$-方法，将推广测度 $\nu_x = d^x_* (\mu_E)$ 的 $L^2$-范数与傅里叶限制估计联系起来。
• 使用分解 $\mu_E = \mu_{E,\text{good}} + \mu_{E,\text{bad}}$ 来分离能量积分的主要贡献，通过快速衰减估计将 $\mu_{E,\text{bad}}$ 视为可忽略。
• 通过截断函数 $\phi(2^{-k}\xi)$ 进行频率分解与二进制频率局部化，以控制 $\mu_E$ 在尺度 $2^k$ 处的傅里叶变换。
• 应用柯西-施瓦茨不等式与基于 $L^2$ 的能量积分估计，以包含权重 $|\xi|^{-\frac{s_F+1}{3}+O(\delta)}$ 的 $\widehat{\mu_E}$ 的 $L^2$-范数来界定 $\nu_x$ 的 $\tau$-能量。
• 利用贝尔-坎特利引理证明：对于 $\mu_F$-几乎处处的 $x \in F$，$\nu_x$ 的 $\tau$-能量为有限，从而推出 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \tau$。
• 通过优化参数 $\beta, \delta$ 平衡衰减速率，并确保和 $\sum_k \mu_F(F_k)$ 的收敛性，最终得到维数下界。

实验结果

研究问题

• RQ1 对于满足 $\dim_{\mathcal{H}}(E) > 1$ 的紧致集 $E \subset \mathbb{R}^2$，是否存在 $x \in E$ 使得 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}$？
• RQ2 能否将 $L^2$-方法调整以用于固定距离集的维数估计，而不仅限于测度正性的判断？
• RQ3 对于固定距离集的维数，界限 $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$ 是否是精确的？
• RQ4 能否通过精细的频率与测度分解克服仅依赖 $\mu_{E,\text{good}}$ 无法控制能量积分的问题？

主要发现

• 对于任意满足 $\dim_{\mathcal{H}}(E) > 1$ 的紧致集 $E \subset \mathbb{R}^2$，存在 $x \in E$ 使得 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$。
• 该结果证实了 Guth、Iosevich、Ou 和 Wang 提出的猜想，并改进了 Keleti 与 Shmerkin 的先前结果 $\min\left\{\frac{2}{3}\dim_{\mathcal{H}}(E), 1\right\}$。
• 界限 $\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}$ 是精确的，即无法仅通过 $L^2$-方法获得更优的指数，如文献中的例子所示。
• 证明建立了推广测度 $\nu_x$ 的 $L^2$-范数与 $\mu_E$ 的傅里叶限制性质之间的定量联系，方法包括频率局部化与能量积分估计。
• 该方法成功克服了 $\nu_{x,\text{good}}$ 无法在能量积分中控制完整 $\nu_x$ 的问题，通过精细分解与快速衰减估计实现。
• 最终的维数下界通过在集合序列 $F_k$ 上应用贝尔-坎特利论证获得，确保对 $\mu_F$-几乎处处的 $x$，$\nu_x$ 的 $\tau$-能量为有限，从而推出 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \tau$。