[论文解读] Generically globally rigid graphs have generic universally rigid frameworks

Robert Connelly, Steven J. Gortler+1 more|arXiv (Cornell University)|Apr 25, 2016

Structural Analysis and Optimization参考文献 44被引用 11

一句话总结

本文证明了在 ℝᵈ 中通用全局刚性的任意图均存在一个通用刚性框架，从而解决了刚性理论中的一个关键问题。通过利用 Lovász-Saks-Schrijver 的正交表示方法以及 Alfakih 的应力矩阵构造，作者表明通用全局刚性蕴含存在一个通用刚性框架，为所有 d ≥ 3 维度下的全局刚性提供了证书。

ABSTRACT

We show that any graph that is generically globally rigid in $\\mathbb{R}^d$ has a realization in $\\mathbb{R}^d$ that is both generic and universally rigid. This also implies that the graph also must have a realization in $\\mathbb{R}^d$ that is both infinitesimally rigid and universally rigid; such a realization serves as a certificate of generic global rigidity. Our approach involves an algorithm by Lov\\'asz, Saks and Schrijver that, for a sufficiently connected graph, constructs a general position orthogonal representation of the vertices, and a result of Alfakih that shows how this representation leads to a stress matrix and a universally rigid framework of the graph.

研究动机与目标

• 解决在 ℝᵈ 中通用全局刚性的图是否均存在通用刚性框架的问题。
• 通过通用刚性建立通用全局刚性的构造性证书。
• 将已知结果从 d=1,2 推广至更高维度（d ≥ 3），其中组合分类尚不可行。
• 证明当对通用全局刚性图应用 Alfakih 应力矩阵构造时，可得到通用刚性框架。

提出的方法

• 利用 Lovász-Saks-Schrijver 算法，为 (d+1)-连通图构造一般位置的正交表示。
• 应用 Alfakih 方法，将正交表示转化为秩为 n−d−1 的半正定应力矩阵。
• 利用核条件与仿射包络约束，从应力矩阵构造通用刚性框架。
• 采用有理映射与连续性论证，确保在通用构型的开邻域中存在通用刚性框架。
• 利用无穷小刚性与平衡应力束分析，验证刚性在扰动下的非平凡性与持久性。
• 借助代数几何中的不可约性与维数计数，确认存在一个全维开集的通用刚性框架。

实验结果

研究问题

• RQ1 每个在 ℝᵈ 中通用全局刚性的图是否都存在一个通用构型，使其为通用刚性？
• RQ2 Alfakih 应力矩阵构造是否可为通用全局刚性图生成通用刚性框架？
• RQ3 是否存在一个基于通用刚性的通用证书，用于 d ≥ 3 维度下的通用全局刚性？
• RQ4 通用刚性框架的存在性与图上构型的通用行为之间有何关系？
• RQ5 能否保证通用全局刚性图的通用刚性框架构造位于欧氏开集中？

主要发现

• 对于所有 d ≥ 1，任何在 ℝᵈ 中通用全局刚性的图均存在一个通用构型，使其为通用刚性。
• 通用刚性框架的存在性可作为通用全局刚性的证书。
• 通过正交表示与应力矩阵的构造，确保了通用刚性框架为通用构型，并位于构型的全维开集中。
• 该方法在所有维度上统一适用，包括 d ≥ 3，而此前的组合分类无法推广至此。
• 对于通用全局刚性图，存在无穷小刚性与通用刚性框架，提供了稳健的几何证书。
• 框架构造在小扰动下保持稳定，由应力与柔度束上的连续性与有理映射论证所证实。