[论文解读] An elementary approach to simplexes in thin subsets of Euclidean space

Allan Greenleaf, Alex Iosevich+2 more|arXiv (Cornell University)|Aug 16, 2016

Mathematics and Applications参考文献 10被引用 6

一句话总结

本文建立了薄子集中非退化 $k$-维单纯形存在的新维数阈值，表明若紧致集 $E \subset \mathbb{R}^d$ 的 Hausdorff 维数超过 $\frac{d+k}{2}$，则其顶点构成的 $k$-单纯形的同构类集合具有正的 $\binom{k+1}{2}$-维 Lebesgue 测度。作者通过基于 Frostman 测度、表面测度和复插值的初等方法实现此结果，优于先前的阈值 $\frac{d+k+1}{2}$。

ABSTRACT

We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 3$, is greater than $\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} ight\},$ then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$, the set of congruence classes of $k$-dimensional simplexes with vertices in $E$, is positive. This improves the best bounds previously known, decreasing the $\frac{d+k+1}{2}$ threshold obtained in Erdoğan-Hart-Iosevich (2012) to $\frac{d+k}{2}$ via a different and conceptually simpler method. We also give a simpler proof of the $d-\frac{d-1}{2d}$ threshold for $d$-dimensional simplexes obtained in Greenleaf-Iosevich (2012), Grafakos-Greenleaf-Iosevich-Palsson (2015).

研究动机与目标

• 确定确保 $E \subset \mathbb{R}^d$ 中 $k$-维单纯形同构类集合具有正 Lebesgue 测度的最优 Hausdorff 维数阈值。
• 通过更简单、更初等的方法，将先前已知的阈值 $\frac{d+k+1}{2}$ 提高到 $\frac{d+k}{2}$。
• 对文献 [10, 9] 中已建立的 $d$-维单纯形的 $d - \frac{d-1}{2d}$ 阈值提供一种简化且更清晰的证明。
• 建立与单纯形构型相关的多重线性形式的统一估计，该估计蕴含同构类测度的正性。
• 统一并简化几何测度论中的技术，特别是涉及 Frostman 测度和表面测度的方法，以获得更强且更清晰的结果。

提出的方法

• 作者使用在 $E$ 上支撑的 Frostman 测度 $\mu$，满足 $\dim_{\mathcal{H}}(E) > s$，以控制傅里叶变换的衰减和 $L^p$-范数。
• 他们定义了一个涉及球面上近似表面测度 $\sigma_t^\epsilon$ 卷积的多重线性形式 $\Lambda^\epsilon_k(\mu)$，表示 $k+1$ 个点之间距离的 $t_{ij}$。
• 通过复插值证明关键估计 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$，依赖于表面测度卷积的 $L^1$-范数和 Riesz 电势的统一有界性。
• 在 $\dim_{\mathcal{H}}(E) > d - \operatorname{Re}(z)$ 条件下，建立 Riesz 电势型算子 $\mu_z^\delta(x) = (\mu^\delta * |\cdot|^{-d+z})(x)$ 的 $L^\infty$ 估计。
• 使用体积打包论证，对除一对外的所有距离的 $d+1$ 个点的积分进行有界，该有界性在横截性和维数约束下成立。
• 最终估计通过结合距离核的 $L^1$-范数估计与 Riesz 电势的 $L^\infty$ 估计获得，利用复参数上的解析插值，其实部之和为零。

实验结果

研究问题

• RQ1 最优 Hausdorff 维数阈值 $s_0(k,d)$ 是什么，使得 $\dim_{\mathcal{H}}(E) > s_0$ 蕴含 $\mathcal{L}^{\binom{k+1}{2}}(T_k(E)) > 0$？
• RQ2 能否通过更初等的方法，将先前由 [6] 确定的阈值 $\frac{d+k+1}{2}$ 改进为 $\frac{d+k}{2}$？
• RQ3 在改进后的维数阈值 $\frac{d+k}{2}$ 下，估计 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$ 是否仍然成立？
• RQ4 能否以更简单、更清晰的论证方式重证 $d$-维单纯形的 $d - \frac{d-1}{2d}$ 阈值？
• RQ5 复插值和 Riesz 电势在几何测度论中建立多重线性形式统一有界性方面起什么作用？

主要发现

• 本文证明：若 $\dim_{\mathcal{H}}(E) > \frac{d+k}{2}$，则 $k$-维单纯形同构类集合 $T_k(E)$ 具有正的 $\binom{k+1}{2}$-维 Lebesgue 测度，优于先前的阈值 $\frac{d+k+1}{2}$。
• 作者通过基于 Frostman 测度、表面测度卷积和复插值的初等方法实现该结果，避免了早期工作中更复杂的工具。
• 在 $\dim_{\mathcal{H}}(E) > \frac{d+k}{2}$ 的阈值下，证明了新的统一估计 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$，该估计蕴含同构类测度的正性。
• $d$-维单纯形的 $d - \frac{d-1}{2d}$ 阈值通过更简单的论证重证，其依赖于体积打包和 Riesz 电势的 $L^\infty$ 估计。
• 在 $\dim_{\mathcal{H}}(E) > d - \operatorname{Re}(z)$ 条件下，证明了 $|\mu_z^\delta(x)| \leq C$，其方法为 dyadic 分解与 Frostman 引理，确保对电势型算子的统一控制。
• 最终结果由 $\binom{d+1}{2}$ 个形如 $\operatorname{Re}(\alpha_j) = -\frac{(d-1)^2}{4d} + \frac{\epsilon}{2}$ 或 $\frac{d-1}{2d} - \frac{\epsilon}{d-1}$ 的关系通过解析插值得到，其实部之和为零，确保凸包包含 $\vec{0}$。