[论文解读] Rigidity, graphs and Hausdorff dimension

Nikolaos Chatzikonstantinou, Alex Iosevich+2 more|arXiv (Cornell University)|Aug 20, 2017

Computational Geometry and Mesh Generation参考文献 17被引用 6

一句话总结

本文确立了一个非平凡的维数阈值 $ s_k < d $，使得若紧集 $ E \subset \mathbb{R}^d $ 的Hausdorff维数大于 $ s_k $，则由图 $ G $ 上指定距离定义的 $ G $-框架等价类的 $ m $-维Hausdorff测度为正。证明结合了组合图刚性、拓扑结构以及涉及Frostman测度与卷积估计的分析技术。

ABSTRACT

For a compact set $E \subset \mathbb R^d$ and a connected graph $G$ on $k+1$ vertices, we define a $G$-framework to be a collection of $k+1$ points in $E$ such that the distance between a pair of points is specified if the corresponding vertices of $G$ are connected by an edge. We regard two such frameworks as equivalent if the specified distances are the same. We show that in a suitable sense the set of equivalences of such frameworks naturally embeds in ${\mathbb R}^m$ where $m$ is the number of "essential" edges of $G$. We prove that there exists a threshold $s_k

研究动机与目标

• 确定一个精确的阈值 $ s_k < d $，使得 $ E \subset \mathbb{R}^d $ 的Hausdorff维数超过 $ s_k $ 时，$ G $-框架等价类的 $ m $-维Hausdorff测度为正。
• 通过图论编码距离约束，将Falconer距离猜想从2点推广至 $ (k+1) $-点框架。
• 通过将等价类新颖地嵌入 $ \mathbb{R}^m $（其中 $ m $ 为基本边数），建立图刚性、几何测度论与维数阈值之间的联系。
• 证明对于极小无穷小刚性图，距离函数在模等距变换下诱导局部微分同胚，从而实现测度论分析。

提出的方法

• 使用具有 $ m $ 条边的有限图 $ G_{k+1,m} $ 编码 $ (k+1) $-点框架，其中边对应指定的成对距离。
• 将 $ G $-框架定义为 $ \mathbb{R}^d $ 中的 $ (k+1) $-元组，其距离由距离函数 $ f_{G_{k+1,m}}(\bm{x}) = (|x^i - x^j|)_{ij \in E(G)} $ 编码。
• 利用刚性理论，将框架的等价类（模等距变换）嵌入 $ \mathbb{R}^m $，其中 $ m $ 为基本边的数量。
• 在 $ E $ 上使用指数 $ s > \frac{d+1}{2} $ 的Frostman测度，以控制傅里叶变换的衰减，并有界卷积与曲面测度的 $ L^1 $-范数。
• 应用光滑化核技术与弱-*收敛，逼近测度并控制距离集的大小，通过 $ \| \sigma_t^\epsilon * \mu \|_{L^1(\mu)} \leq C_t $。
• 通过覆盖论证建立维数阈值：若 $ s < d - \frac{{d \choose 2}}{k} $，则当 $ q \to \infty $ 时 $ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) \to 0 $，从而推出阈值 $ s_k $。

实验结果

研究问题

• RQ1 最小Hausdorff维数阈值 $ s_k $ 是什么，使得 $ \dim_H(E) > s_k $ 蕴含 $ \mathbb{R}^d $ 中 $ G $-框架等价类的 $ m $-维Hausdorff测度为正？
• RQ2 图刚性（特别是极小无穷小刚性）如何实现将框架等价类嵌入 $ \mathbb{R}^m $，其中 $ m $ 等于基本边的数量？
• RQ3 能否通过组合、拓扑与分析方法的结合，将Falconer距离猜想从2点推广至 $ (k+1) $-点框架？
• RQ4 Frostman条件 $ \mu(B(x,r)) \leq C r^s $ 在控制傅里叶变换衰减及确保卷积范数一致有界方面起什么作用？
• RQ5 在什么条件下，当 $ \dim_H(E) > s_k $ 时，$ G $-框架集合的 $ m $-维Hausdorff上确界保持为正？

主要发现

• 本文确立了一个非平凡的阈值 $ s_k < d $，使得若 $ \dim_H(E) > s_k $，则 $ G $-框架等价类的 $ m $-维Hausdorff测度为正。
• 对于极小无穷小刚性图 $ G_{k+1,m} $，基本边数为 $ m = dk - {d \choose 2} $，且该框架在模等距变换下诱导局部微分同胚。
• 当 $ s < d - \frac{{d \choose 2}}{k} $ 时，$ m $-维Hausdorff上确界 $ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) $ 随 $ q \to \infty $ 趋于零，表明 $ s_k = d - \frac{{d \choose 2}}{k} $ 为临界阈值。
• 证明依赖于 $ E $ 上指数 $ s > \frac{d+1}{2} $ 的Frostman测度 $ \mu $，通过平稳相位估计确保 $ \| \sigma_t^\epsilon * \mu \|_{L^1(\mu)} \leq C_t $ 的一致有界性。
• 使用光滑化核 $ \phi^\epsilon $ 与弱-*收敛，确保逼近测度 $ \nu^\epsilon = \phi^\epsilon * \nu $ 收敛至原测度 $ \nu $，从而实现对测度论极限的控制。
• 关键不等式 $ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) \lesssim q^{-\frac{d}{s}(dk - {d \choose 2})} \cdot q^{dk} \to 0 $ 在 $ s < d - \frac{{d \choose 2}}{k} $ 时成立，从而证明了该阈值。