[論文レビュー] Characterizing Generic Global Rigidity

Steven J. Gortler, Alexander Healy+1 more|arXiv (Cornell University)|Oct 4, 2007

Structural Analysis and Optimization参考文献 36被引用数 25

ひとこと要約

この論文は、$\ mathbb{E}^d$ 内の一般枠組みが、スレッド行列の核の次元がちょうど $d+1$ に等しいとき、かつそのときに限り、グローバルに剛性を持つことを証明し、Connellyの予想を確認した。この特徴づけは代数幾何学と微分位相幾何学に依拠しており、長さの二乗写像のランクとガウス写像を用いてグローバル剛性を決定する。検証には効率的な確率的アルゴリズムが用いられ、非一般的グローバル剛性を示すグラフは1つ高い次元で柔軟であることが示されている。

ABSTRACT

A d-dimensional framework is a graph and a map from its vertices to E^d. Such a framework is globally rigid if it is the only framework in E^d with the same graph and edge lengths, up to rigid motions. For which underlying graphs is a generic framework globally rigid? We answer this question by proving a conjecture by Connelly, that his sufficient condition is also necessary: a generic framework is globally rigid if and only if it has a stress matrix with kernel of dimension d+1, the minimum possible. An alternate version of the condition comes from considering the geometry of the length-squared mapping l: the graph is generically locally rigid iff the rank of l is maximal, and it is generically globally rigid iff the rank of the Gauss map on the image of l is maximal. We also show that this condition is efficiently checkable with a randomized algorithm, and prove that if a graph is not generically globally rigid then it is flexible one dimension higher.

研究の動機と目的

• 一般的グローバル剛性の必要十分条件を特定するConnellyの予想を解決すること。
• 一般枠組みに対して、座標の具体的な値とは無関係に、グローバル剛性がグラフ論的性質であることを確立すること。
• 長さの二乗写像のランクとガウス写像を用いた、一般的グローバル剛性の効率的な検証可能な基準を提供すること。
• グラフが一般的グローバル剛性でない場合、$\ mathbb{E}^{d+1}$ で柔軟であることを示すこと。

提案手法

• グローバル剛性が成立するための中心的基準として、スレッド行列とその核の次元を用いる：グローバル剛性が成り立つのは核の次元が $d+1$ に等しいとき、かつそのときに限る。
• 長さの二乗写像 $\ell$ のファイバーを分析するために代数幾何学を適用し、$\ell$ のランクとそのガウス写像のランクを用いて剛性を決定する。
• 微分位相幾何学的手法を用い、枠組みの類から $K(\Omega)$ への写像 $\varphi$ の固有性とmod-two次数を分析することで、固定された辺長を持つ合同類の数を解析する。
• 枠組み空間 $F_0(\rho,\Omega)/\operatorname{Eucl}(d)$ を導入し、その特異点と次元を解析することで、解集合の位相的性質を導出する。
• Asimow-Rothの無限小剛性理論と剛性行列 $d\ell_\rho$ を用い、局所剛性とグローバル剛性の関係を関連付ける。
• 条件をテストするための確率的多項式時間アルゴリズムを開発し、一般枠組みのグローバル剛性を効率的に検証可能にする。

実験結果

リサーチクエスチョン

• RQ1 Connellyの一般的グローバル剛性の十分条件は、必要条件でもあるか？この論文はそれが成り立つことを確認した。
• RQ2 グローバル剛性は、具体的な座標とは無関係に、スレッド行列の核の次元のみに依存して特徴づけられるか？
• RQ3 長さの二乗写像 $\ell$ のランクと一般枠組みのグローバル剛性の関係は何か？
• RQ4 グラフが一般的グローバル剛性でない場合、常に1つ高い次元 $\ mathbb{E}^{d+1}$ で曲げ可能か？この論文はそれが成り立つことを確認した。

主な発見

• 一般枠組みが $\ mathbb{E}^d$ 内に存在するとき、そのスレッド行列の核の次元がちょうど $d+1$ に等しいとき、かつそのときに限り、グローバルに剛性を持つ。
• この条件はグラフと次元 $d$ のみに依存し、具体的な座標とは無関係であるため、一般的グローバル剛性はグラフ論的性質である。
• 長さの二乗写像 $\ell$ のランクが最大であることにより、一般的局所剛性が特徴づけられ、$\ell$ の像上でのガウス写像のランクが最大であることにより、一般的グローバル剛性が特徴づけられる。
• この特徴づけは、確率的アルゴリズムを用いて効率的に検証可能であり、問題が確率的多項式時間に属することを示している。
• グラフが一般的グローバル剛性でない場合、$\ mathbb{E}^{d+1}$ で非自明な曲げが存在するため、1つ高い次元で柔軟である。
• 枠組みの類から $K(\Omega)$ への写像 $\varphi$ のmod-two次数は0であり、固定された辺長を持つ合同類が偶数個存在することを意味し、$\ mathbb{E}^{d+1}$ 内で辺長が一定の連続的なフレームワークの経路が存在することを示している。