[論文レビュー] 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 の次元に対しても一貫して適用可能である。
• 一般にグローバルに剛性を示すグラフに対して、無限小剛性と普遍的剛性を示すフレームワークが存在し、強固な幾何的証明を提供する。
• 応力とフレックスバンドルに関する連続性および有理写像の議論により、微小摂動に対しても構成が安定することが示された。