[論文レビュー] Connecting Global and Universal Rigidity

Matthew Jacobs|arXiv (Cornell University)|Nov 18, 2010

Structural Analysis and Optimization参考文献 16被引用数 3

ひとこと要約

本稿は、すべての1次元および2次元の一般にグローバルに剛性のあるグラフ（1-GGRおよび2-GGR）に加え、高次元のd-GGRグラフの無限族が、それぞれの次元において普遍的に剛性を持つ一般的フレームワークを有することを示すことで、グローバル剛性と普遍的剛性の強い関係を確立した。主な手法は、完全グラフ $K_{d+2}$ にヘンナーバー操作を適用することであり、適切な条件下で普遍的剛性が保たれるため、広範なd-GGRグラフの普遍的剛性フレームワークを構築できる。

ABSTRACT

A d-dimensional framework is an embedding of the vertices and edges of a graph in Euclidean space. A d-dimensional framework is globally rigid if every other d-dimensional framework with the same edge lengths has the same pairwise distances between the vertices. A graph is generically globally rigid in dimension d (d-GGR) if every generic framework is globally rigid. The d-dimensional framework of a d-GGR graph is universally rigid if for d' greater than or equal to d every d'-dimensional framework with the same edge lengths has the same pairwise distances between the vertices. We establish a strong connection between global and universal rigidity by showing that all 1 and 2-GGR graphs and an infinite number of higher dimensional d-GGR graphs have a generic universally rigid framework.

研究の動機と目的

• GortlerとThurstonが提起した、任意のd-GGRグラフが一般にd次元の普遍的剛性フレームワークを有するかという問題を解決すること。
• グラフフレームワークにおけるグローバル剛性と普遍的剛性の間の構造的関係を確立すること。
• 既知の1次元および2次元のケースを超えて、普遍的剛性フレームワークを有するグラフのクラスを拡張すること。
• $K_{d+2}$ から出発して、Hennenberg操作を用いた構成的技法を提供すること。

提案手法

• 本稿は、剛性特性を保つ特定の頂点および辺の追加操作（Hennenberg操作）をコアな構成ツールとして用いる。
• Hennenberg操作が適切なフレームワークにおいて普遍的剛性を保つことを証明し、Connellyの先行研究（グローバル剛性の保存）を拡張する。
• 解析は応力行列とその定性（正定値性）に依存しており、フレームワークが普遍的剛性であるための必要十分条件は、スケーリングを除いて一意な応力行列が正半定値かつ階数が $d+1$ の核をもつことである。
• Hennenberg操作の逐次的適用に基づく帰納法を用い、各段階での応力行列のランクと定性を追跡する。
• 普遍的剛性が成立しない場合、応力行列の不定性が小さな座標の摂動によっても保たれることを示すための摂動論的議論を適用する。
• また、$K_{d+2}$ がd-GGRであり、一般にd次元の普遍的剛性フレームワークを有することを活用している。

実験結果

リサーチクエスチョン

• RQ1 任意のd-GGRグラフは、一般にd次元のフレームワークが普遍的剛性を有するか？
• RQ2 Hennenberg操作は高次元においても普遍的剛性を保つことができるか？
• RQ3 d-GGRグラフの一般的フレームワークが普遍的剛性を有するための構造的条件は何か？
• RQ4 d次元フレームワークにおける応力行列とその定性は、普遍的剛性とどのように関係するか？
• RQ5 既知のd-GURベースグラフから出発して、普遍的剛性フレームワークを構成的に生成する方法はあるか？

主な発見

• すべての1次元および2次元の一般にグローバルに剛性のあるグラフ（1-GGRおよび2-GGR）は、一般にd次元の普遍的剛性フレームワーク（d-GUR）を有する。
• 高次元d > 2のd-GGRグラフの無限族は、$K_{d+2}$ からHennenberg操作を用いて構成可能であり、d-GURフレームワークを有することが示された。
• 一般にd-GURフレームワークの応力行列は、正半定値かつ核の次元が正確に $d+1$ でなければならない。この条件は、適切に構築されたフレームワークにおいてHennenberg操作によっても保存される。
• 4個以上の頂点を有する2-GGRグラフで、応力空間の次元が1である場合、そのグラフは2次元で普遍的剛性（2-SUR）を有することが、応力行列解析により示された。
• 本稿は、応力行列が不定値である場合、フレームワークは普遍的剛性を有しないことを証明し、この性質は小さな摂動に対しても保存されることを示した。
• 構成法により、得られるフレームワークが一般に普遍的剛性を保ち続けることが保証され、Hennenberg操作の全過程において応力行列が正半定値かつ正しい核次元を保つ。