[論文レビュー] Spectral conditions for graph rigidity in the Euclidean plane

Sebastian M. Cioabă, Dewar, Sean+1 more|arXiv (Cornell University)|Jan 20, 2020

Structural Analysis and Optimization参考文献 29被引用数 4

ひとこと要約

本稿は、代数的連結度（ラプラシアン固有値の2番目に小さい値）を用いて、ユークリッド平面上におけるグラフの剛性およびグローバル剛性の改善されたスペクトル的条件を確立する。最小次数 $\delta \geq 6$ かつ代数的連結度が $2 + \frac{1}{\delta-1}$ より大きい場合、グラフは剛性を有する。さらに、代数的連結度が $2 + \frac{2}{\delta-1}$ より大きい場合、グローバル剛性を有する。これらの結果は、次数が8以上の正則ラマヌジャングラフに対しても拡張され、それらはグローバル剛性を有する。

ABSTRACT

Rigidity is the property of a structure that does not flex. It is well studied in discrete geometry and mechanics, and has applications in material science, engineering and biological sciences. A bar-and-joint framework is a pair $(G,p)$ of graph $G$ together with a map $p$ of the vertices of $G$ into the Euclidean plane. We view the edges of $(G, p)$ as bars and the vertices as universal joints. The vertices can move continuously as long as the distances between pairs of adjacent vertices are preserved. The framework is rigid if any such motion preserves the distances between all pairs of vertices. In 1970, Laman obtained a combinatorial characterization of rigid graphs in the Euclidean plane. In 1982, Lovász and Yemini discovered a new characterization and proved that every $6$-connected graph is rigid. Combined with a characterization of global rigidity, their proof actually implies that every 6-connected graph is globally rigid. Consequently, if Fiedler's algebraic connectivity is greater than 5, then $G$ is globally rigid. In this paper, we improve this bound and show that for a graph $G$ with minimum degree $δ\geq 6$, if its algebraic connectivity is greater than $2+\frac{1}{δ-1}$, then $G$ is rigid and if its algebraic connectivity is greater than $2+\frac{2}{δ-1}$, then $G$ is globally rigid. Our results imply that every connected regular Ramanujan graph with degree at least $8$ is globally rigid. We also prove a more general result giving a sufficient spectral condition for the existence of $k$ edge-disjoint spanning rigid subgraphs. The same condition implies that a graph contains $k$ edge-disjoint spanning $2$-connected subgraphs. This result extends previous spectral conditions for packing edge-disjoint spanning trees.

研究の動機と目的

• 2次元のバーベンジフレームワークにおける剛性およびグローバル剛性の既存スペクトル的条件の改善。
• 剛性およびグローバル剛性を保証する代数的連結度のより鋭い境界の確立。
• 辺に素な生成森へのスペクトル的条件の拡張を、辺に素な生成2連結部分グラフおよび剛性部分グラフを含む形に拡張。
• スペクトルグラフ理論を用いて擬似ランダムおよびラマヌジャングラフの剛性を分析。
• グラフパッキングおよび連結性に関する組合せ的結果のスペクトル的類似の提供。

提案手法

• 著者らは、グラフの接続性のスペクトル的尺度として、ラプラシアン行列の2番目に小さい固有値 $\mu_2(G)$ を用いる。
• 剛性およびグローバル剛性を保証するための $\mu_2(G)$ の十分条件を最小次数 $\delta$ の関数として導出する。
• 解析は、ラマンの剛性グラフの組合せ的特徴づけおよびロヴァーシュ–イェミニの6連結グラフがグローバル剛性を有することの結果に基づく。
• コーエン–ワイエル不等式を用いて、$\mu_2$ を隣接行列および符号なしラプラシアン行列の固有値と関連付ける。
• スペクトル閾値を用いて、$k$ 本の辺に素な生成剛性および2連結部分グラフへの一般化を実施。
• フレームワークはラマヌジャングラフに適用され、$d$-正則ラマヌジャングラフで $d \geq 8$ の場合、グローバル剛性を有することが示された。

実験結果

リサーチクエスチョン

• RQ1 代数的連結度にどのようなスペクトル的条件を課すと、グラフがユークリッド平面上で剛性を有するようになるか？
• RQ2 スペクトルグラフ理論を用いて、グローバル剛性の6連結性の境界を改善できるか？
• RQ3 最小次数 $\delta \geq 6$ を満たすグラフに対して、グローバル剛性を保証する最小の代数的連結度の閾値は何か？
• RQ4 スペクトル的条件を、$k$ 本の辺に素な生成剛性または2連結部分グラフを保証する形にどのように拡張できるか？
• RQ5 次数 $d \geq 8$ のラマヌジャングラフは、グローバル剛性のための新しいスペクトル的条件を満たすか？

主な発見

• 最小次数 $\delta \geq 6$ のグラフについて、代数的連結度が $2 + \frac{1}{\delta-1}$ より大きい場合、そのグラフは $\mathbb{R}^2$ で剛性を有する。
• 代数的連結度が $2 + \frac{2}{\delta-1}$ より大きい場合、そのグラフは $\mathbb{R}^2$ でグローバル剛性を有する。
• すべての連結な $d$-正則ラマヌジャングラフで $d \geq 8$ の場合、$\mathbb{R}^2$ でグローバル剛性を有する。
• スペクトル的条件 $\mu_2(G) > 2 + \frac{2k-1}{\delta-1}$ が成り立つと、$k$ 本の辺に素な生成2連結部分グラフが存在することが示される。
• 従来の辺に素な生成森のためのスペクトル的条件は、辺に素な生成2連結部分グラフを含む形に拡張された。
• 同じスペクトル的閾値は、グラフが $k$ 本の辺に素な生成剛性部分グラフを含むことを示唆する。