[论文解读] 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

一句话总结

本文利用代数连通性（拉普拉斯矩阵的第二小特征值）建立了欧几里得平面上图刚性与全局刚性的改进谱条件。证明了若图的最小度 $\delta \geq 6$ 且代数连通性大于 $2 + \frac{1}{\delta-1}$，则其为刚性；若大于 $2 + \frac{2}{\delta-1}$，则其为全局刚性。这些结果可推广至最小度至少为 8 的正则 Ramanujan 图，其为全局刚性。

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-连通子图与刚性子图。
• 利用谱图论分析伪随机图与 Ramanujan 图的刚性。
• 为图打包与连通性的组合结果提供谱类比。

提出的方法

• 作者使用拉普拉斯矩阵的第二小特征值 $\mu_2(G)$ 作为连通性的谱度量。
• 基于最小度 $\delta$ 推导 $\mu_2(G)$ 的充分条件，以确保刚性与全局刚性。
• 分析基于 Laman 对刚性图的组合刻画以及 Lovász–Yemini 关于 6-连通图为全局刚性的结果。
• 应用 Courant–Weyl 不等式，将 $\mu_2$ 与邻接矩阵及无符号拉普拉斯矩阵的特征值关联。
• 通过谱阈值将结果推广至 $k$ 个边不相交的生成刚性与 2-连通子图。
• 将该框架应用于 Ramanujan 图，证明当 $d \geq 8$ 时，$d$-正则 Ramanujan 图为全局刚性。

实验结果

研究问题

• RQ1 何种代数连通性的谱条件可确保图在欧几里得平面上为刚性？
• RQ2 能否利用谱图论改进全局刚性所需的 6-连通性界？
• RQ3 对于最小度 $\delta \geq 6$ 的图，保证全局刚性的最小代数连通性阈值是多少？
• RQ4 如何将谱条件扩展以保证存在 $k$ 个边不相交的生成刚性或 2-连通子图？
• RQ5 度数 $d \geq 8$ 的 Ramanujan 图是否满足新的全局刚性谱条件？

主要发现

• 对于最小度 $\delta \geq 6$ 的图，若其代数连通性超过 $2 + \frac{1}{\delta-1}$，则其在 $\mathbb{R}^2$ 中为刚性。
• 若代数连通性超过 $2 + \frac{2}{\delta-1}$，则其在 $\mathbb{R}^2$ 中为全局刚性。
• 每个连通的 $d$-正则 Ramanujan 图，当 $d \geq 8$ 时，在 $\mathbb{R}^2$ 中为全局刚性。
• 谱条件 $\mu_2(G) > 2 + \frac{2k-1}{\delta-1}$ 暗示存在 $k$ 个边不相交的生成 2-连通子图。
• 结果将先前关于边不相交生成树的谱条件推广至包含边不相交的生成 2-连通子图。
• 相同的谱阈值也意味着图包含 $k$ 个边不相交的生成刚性子图。