[论文解读] Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|Mar 7, 2016

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

一句话总结

本文证明了在 $ℝ^d$（$d \geq 4$）中，若紧致子集的豪斯多夫维数足够大，则其必然包含一个等边三角形的顶点。通过在等边三角形配置上支持的测度上应用傅里叶限制理论与平稳相位分析，作者证明了限制算子的 $L^2$-范数以确保当维数超过 $d - 1/2$ 时存在此类三角形的速率衰减。该结果通过表明在四维及以上维度下无需额外结构假设，填补了该理论中的空白。

ABSTRACT

We prove that subsets of ${\Bbb R}^d$, $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two dimensions (see \cite{CLP14}). We show that no extra conditions are needed in dimensions four and higher. The three dimensional case remains open. Some interesting parallels exist between the triangle problem in Euclidean space and its counter-part in vector spaces over finite fields. We shall outline these similarities in hopes of eventually achieving a comprehensive understanding of this phenomenon in the setting of locally compact abelian groups.

研究动机与目标

• 确定 $ℝ^d$ 中保证紧致集中存在等边三角形配置的豪斯多夫维数最小阈值。
• 解决在 $d \geq 4$ 维下，是否可在不施加额外结构假设的前提下，保证大豪斯多夫维数集合中存在等边三角形的开放问题。
• 将欧几里得空间中等边三角形配置与有限域上向量空间中的对应情形进行类比，尤其关注算术障碍与度量障碍的差异。
• 以维数和相关测度的衰减性质为基准，建立等边三角形存在的精确阈值。
• 通过将几何测度论与调和分析相结合，将平稳相位方法应用于等边三角形配置上的限制估计，实现理论桥梁的构建。

提出的方法

• 构造一个在 $ℝ^d$ 中所有等边三角形集合上支持的曲面测度 $σ$，通过几何变量 $u_1, u', v'$ 参数化。
• 对限制算子的傅里叶变换在该曲面上的 $L^2$-算子范数应用平稳相位法，聚焦于相位函数的临界点。
• 分析相位函数 $σ(ξ, \eta)$ 的黑塞行列式，以 $|ξ + g_{\pi/3}\eta|$ 的形式导出衰减估计，其中 $g_{\pi/3}$ 表示 $\pi/3$ 旋转。
• 利用极坐标与角向积分，控制 $\langle \xi, \eta \rangle$ 较小或 $|\xi + g_{\pi/3}\eta|$ 较小时的贡献。
• 通过平稳相位渐近分析，推导出关键估计 $|\hat{\sigma}(\xi, \eta)| \lesssim |\xi + g_{\pi/3}\eta|^{-1/2} |\xi|^{-(d-2)/2} |\eta|^{-(d-2)/2} |\sin \langle \xi, \eta \rangle|^{-(d-2)/2}$。
• 将限制估计与 $L^2$-分解论证结合，证明若集合的豪斯多夫维数超过 $d - 1/2$，则其必包含一个等边三角形。

实验结果

研究问题

• RQ1 在 $ℝ^d$（$d \geq 4$）中，豪斯多夫维数 $s$ 的最小值是多少，使得每个维数为 $s$ 的紧致集都包含一个等边三角形的顶点？
• RQ2 在 $d \geq 4$ 维下，是否可在不施加额外结构假设的前提下，保证大豪斯多夫维数集合中存在等边三角形？
• RQ3 在 $ℝ^d$ 中，等边三角形配置的傅里叶限制理论与有限域中类似问题相比如何，尤其在算术障碍方面？
• RQ4 在 $ℝ^d$ 中，支持在等边三角形上的曲面测度 $\sigma$ 的傅里叶变换的精确衰减速率是什么？
• RQ5 平稳相位方法是否能为高维中等边三角形配置提供精确的 $L^2$-限制估计？

主要发现

• 对于 $d \geq 4$，任何 $ℝ^d$ 中豪斯多夫维数大于 $d - 1/2$ 的紧致子集都包含一个等边三角形的顶点。
• 通过等边三角形配置相位函数的平稳相位分析，推导出关键估计 $|\hat{\sigma}(\xi, \eta)| \lesssim |\xi + g_{\pi/3}\eta|^{-1/2} |\xi|^{-(d-2)/2} |\eta|^{-(d-2)/2} |\sin \langle \xi, \eta \rangle|^{-(d-2)/2}$。
• 曲面测度 $\sigma$ 的傅里叶变换的衰减受其与临界集（即 $\xi + g_{\pi/3}\eta = 0$）距离的控制，从而导出所需的 $L^2$-限制估计。
• 该 $L^2$-限制估计表明，若集合 $E \subset \u211d^d$ 的豪斯多夫维数大于 $d - 1/2$，则 $E$ 必须包含一个等边三角形，且无需额外结构假设。
• 三维情形仍为开放问题，因该方法在该维数下无法导出非平凡的衰减估计，原因在于黑塞行列式无法以相同方式控制相位。
• 该结果与二维情形形成对比：法尔科纳与马加构造了一个豪斯多夫维数为 2 但不包含任何等边三角形的集合，表明在 $d \geq 4$ 时，维数 $> d - 1/2$ 是精确的。