[論文レビュー] Rigidity, graphs and Hausdorff dimension

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

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

ひとこと要約

本稿は、コンpact集合 $ E \subset \mathbb{R}^d $ がハウスドルフ次元 $ s_k < d $ より大きい場合、指定された距離をもつグラフ $ G $ による $ G $-フレームワークの同値類の集合の $ m $-次元ハウスドルフ測度が正であるような非自明な次元閾値 $ s_k < d $ を確立する。証明は、組合せ的グラフ剛性、位相的構造、およびフロストマン測度と畳み込み推定を含む解析的技法を統合する。

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

研究の動機と目的

• コンパクト集合 $ E \subset \mathbb{R}^d $ のハウスドルフ次元が $ s_k < d $ を超えると、$ G $-フレームワークの同値類の $ m $-次元ハウスドルフ測度が正であるような鋭い閾値 $ s_k < d $ を特定すること。
• 2点からの距離の予想から $ (k+1) $-点フレームワークへの一般化を、距離制約のグラフ的符号化を用いて行うこと。
• 同値類を $ \mathbb{R}^m $ に埋め込む新しい埋め込みを介して、グラフ剛性、幾何的測度論、次元閾値の間の関係を確立すること。
• 最小的無限小剛性グラフに対して、距離関数が等長変換を除いて局所微分同相写像を誘導することを証明し、測度論的解析を可能にする。

提案手法

• 指定された対比較距離に対応する $ m $ 棄てんをもつ有限グラフ $ G_{k+1,m} $ を用いて $ (k+1) $-点フレームワークを符号化する。
• $ G $-フレームワークを、距離関数 $ f_{G_{k+1,m}}(\bm{x}) = (|x^i - x^j|)_{ij \in E(G)} $ を通じて $ \mathbb{R}^d $ 内の $ (k+1) $-組として定義する。
• 剛性理論を用いて、等長変換を除くフレームワークの同値類を、本質的辺の数 $ m $ に等しい次元の $ \mathbb{R}^m $ に埋め込む。
• 指数 $ s > \frac{d+1}{2} $ をもつフロストマン測度 $ \mu $ を $ E $ 上に用い、フーリエ変換の減衰と、表面測度との畳み込みの $ L^1 $-ノルムの上限を制御する。
• 滑らか化子技術と弱-*収束を用いて測度を近似し、$ \| \sigma_t^\epsilon * \mu \|_{L^1(\mu)} \leq C_t $ を通じて距離集合のサイズを制御する。
• 被覆議論を用いて次元閾値を確立する：$ s < d - \frac{{d \choose 2}}{k} $ ならば、$ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) \to 0 $ が $ q \to \infty $ のとき成り立ち、これにより閾値 $ s_k $ が得られる。

実験結果

リサーチクエスチョン

• RQ1 ハウスドルフ次元が $ s_k $ より大きい場合、$ \mathbb{R}^d $ 内の $ E $ の $ m $-次元ハウスドルフ測度が正であるような、最小のハウスドルフ次元閾値 $ s_k $ は何か？
• RQ2 特に最小的無限小剛性を有するグラフが、本質的辺の数に等しい次元 $ m $ の $ \mathbb{R}^m $ にフレームワークの同値類を埋め込むのをどのように可能にするか？
• RQ3 2点から $ (k+1) $-点フレームワークへのフェルマーサンクトの予想を、組合せ的、位相的、解析的技法のハイブリッドを用いて一般化可能か？
• RQ4 フロストマン条件 $ \mu(B(x,r)) \leq C r^s $ は、フーリエ変換の減衰を制御し、畳み込みノルムの一様有界性を保証するために果たす役割は何か？
• RQ5 ハウスドルフ次元が $ s_k $ を超えるとき、$ G $-フレームワークの $ m $-次元ハウスドルフ内容が正のままである条件は何か？

主な発見

• 本稿は、$ \dim_H(E) > s_k $ ならば $ G $-フレームワーク同値類の $ m $-次元ハウスドルフ測度が正であるような非自明な閾値 $ s_k < d $ を確立する。
• 最小的無限小剛性グラフ $ G_{k+1,m} $ に対して、本質的辺の数は $ m = dk - {d \choose 2} $ であり、フレームワークは等長変換を除いて局所微分同相写像を誘導する。
• $ s < d - \frac{{d \choose 2}}{k} $ ならば、$ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) \to 0 $ が $ q \to \infty $ のとき成り立ち、これにより $ s_k = d - \frac{{d \choose 2}}{k} $ が臨界閾値であることが示される。
• 証明は、指数 $ s > \frac{d+1}{2} $ をもつフロストマン測度 $ \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} $ のとき成り立ち、これにより閾値が証明される。