[论文解读] On $k$-point configuration sets with nonempty interior

Allan Greenleaf, Alex Iosevich+1 more|arXiv (Cornell University)|May 21, 2020

Mathematical Approximation and Integration参考文献 28被引用 7

一句话总结

本文通过在所有非平凡的 $k$ 个点划分为两个子集的情况下，对广义 Radon 变换进行优化的 $L^2$-Sobolev 估计，建立了欧氏空间中薄集的 $k$-点构型集具有非空内部的充分条件。关键贡献是一个基于此类划分优化的通用维数阈值——该阈值可保证构型集包含一个开区间，适用于多种几何构型，如三角形面积、外接圆半径以及平行六面体的体积。

ABSTRACT

We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.

研究动机与目标

• 将先前关于欧氏空间中具有非空内部的 2-点构型集的结果推广至一般 $k$-点构型（$k \geq 3$）。
• 确定 $k$ 个集合的 Hausdorff 维数之和的通用充分条件，以保证其 $k$-点构型集具有非空内部。
• 应用傅里叶积分算子（FIO）方法，结合对所有非平凡的 $k$ 个点划分为两个子集的 $L^2$-Sobolev 估计进行优化。
• 展示该通用框架在具体几何构型中的适用性，包括三角形面积、外接圆半径以及固定点的平行六面体体积。
• 表明所推导的维数阈值在某些极限下是渐近最优的，表明其作为最优界具有合理性。

提出的方法

• 该方法采用与 $k$-点构型相关的广义 Radon 变换，将其建模为子流形上的振荡积分。
• 利用傅里叶积分算子（FIO）的 $L^2$-Sobolev 估计，控制构型映射下测度拉回的 $L^2$-范数。
• 核心创新在于对所有非平凡的 $k$ 个点划分为两个子集的情况，优化这些 $L^2$-Sobolev 估计，从而得到依赖于最差正则性划分的维数阈值。
• 分析依赖于 FIO 的双纤维化条件和典型关系结构，以验证实现 $L^2$-有界性所必需的非退化性。
• 通过验证构型映射微分的非零性，并确保相关超曲面光滑且与投影方向横截，将该方法应用于具体构型。
• 通过使用具有有限 $s_i$-能量的 Frostman 测度并将其局部化在基点附近，将问题约化为典型图上的局部 $L^2$-估计，从而能够应用 FIO 机制。

实验结果

研究问题

• RQ1 在 $k$ 个集合 $E_1, \dots, E_k$ 的 Hausdorff 维数满足何种条件下，其 $k$-点构型集具有非空内部？
• RQ2 能否通过对所有非平凡的 $k$ 个点划分为两个子集来优化广义 Radon 变换的 $L^2$-Sobolev 估计，从而得到一个精确的维数阈值？
• RQ3 对于 $\mathbb{R}^2$ 中的特定几何构型（如三角形面积或外接圆半径），构型集包含一个开区间的最小 Hausdorff 维数是多少？
• RQ4 该方法如何处理非平移不变的构型（如涉及固定点或二次型的构型）？
• RQ5 所推导的维数阈值是否渐近最优，特别是在高维或高阶构型设置下？

主要发现

• 在 $\mathbb{R}^2$ 中，若 $\dim_{\mathcal{H}}(E) > 5/3$，则 $E$ 中三点确定的面积集合具有非空内部。
• 在 $\mathbb{R}^2$ 中，对于三角形的外接圆半径，相同的维数阈值 $\dim_{\mathcal{H}}(E) > 5/3$ 可保证外接圆半径集合包含一个开区间。
• 在 $\mathbb{R}^d$（$d \geq 3$）中，若 $\dim_{\mathcal{H}}(E) > d - 1 + 1/d$，则以固定点 $x^0$ 为顶点的平行六面体体积集合具有非空内部。
• 对于 $2l$ 个集合 $E_1, \dots, E_{2l}$，其构型映射为 $\Phi = \sum_{j=1}^l Q_j(x^{2j-1}, x^{2j})$，若 $\sum_{i=1}^{2l} \dim_{\mathcal{H}}(E_i) > 1 + \frac{1}{2} \sum_{j=1}^l d_j$，其中 $d_j = \dim(E_{2j-1}) = \dim(E_{2j})$，则构型集具有非空内部。
• 所推导的维数阈值是渐近最优的：例如，在固定体积情形下，由于点位于超平面上时存在几何障碍，边界 $d - 1 + 1/d$ 无法通过超过 $1/d$ 的量得到改进。