[論文レビュー] Graph connectivity and universal rigidity of bar frameworks

Abdo Y. Alfakih|arXiv (Cornell University)|Jul 8, 2014

Structural Analysis and Optimization参考文献 8被引用数 4

ひとこと要約

本稿では、n 個のノードを持つ任意の (r+1)-頂点連結グラフ G が、直交表現とガレー行列を用いて構築可能な r 次元空間内に普遍剛性を有するバー枠組みを有することを証明している。主な貢献は、この連結性条件の下で普遍剛性が達成可能であることを構成的証明で示したことであり、普遍剛性の必要十分条件についての疑問を解決している。

ABSTRACT

Let $G$ be a graph on $n$ nodes. In this note, we prove that if $G$ is $(r+1)$-vertex connected, $1 \leq r \leq n-2$, then there exists a configuration $p$ in general position in $R^r$ such that the bar framework $(G,p)$ is universally rigid. The proof is constructive and is based on a theorem by Lovasz et al concerning orthogonal representations and connectivity of graphs [12,13].

研究の動機と目的

• R^r 内に普遍剛性を有するバー枠組みが存在するための (r+1)-頂点連結性が十分条件であるかどうかを特定すること。
• イェ・インユが提起した「すべての普遍剛性を有する2次元枠組みは三角形を含む必要があるのか？」という疑問を解決すること。
• 高連結なグラフから普遍剛性を有する枠組みを生成する構成的メソッドを確立すること。
• 直交表現と応力行列を通じて、グラフの連結性と普遍剛性を結びつけること。

提案手法

• ロヴァーシュらの直交表現に関する定理を用いる：(r+1)-連結なグラフは、ランクが最大の部分集合を有する R^{n−r−1} 内に直交表現を有する。
• ノードを表す直交ベクトルの列をもつ行列 X^T を構築し、非エッジ対して (X^T)_{ij} = 0 とする。
• すべての ξ_i ≠ 0 を満たすベクトル ξ ∈ R^n を定義し、非退化性を保証する。
• Z = Diag(ξ)X を構成し、これが配置 p のガレー行列となるようにする。
• null space of [Z^T; e^T] を用いて配置 p を定義し、p が R^r にあり一般位置にあることを保証する。
• 応力行列 Ω = ZZ^T を構築し、これはランク n−r−1 の半正定値行列であり、非エッジ上で消える。

実験結果

リサーチクエスチョン

• RQ1 (r+1)-頂点連結性は、R^r 内に普遍剛性を有するバー枠組みが存在するための十分条件か？
• RQ2 任意の (r+1)-連結グラフに対して、普遍剛性を有する枠組みを明示的に構成できるか？
• RQ3 2次元枠組みに三角形が存在しない場合、普遍剛性は不可能であるのだろうか？（イェの疑問に照応）
• RQ4 直交表現は、バー枠組みにおける普遍剛性の存在とどのように関係するか？
• RQ5 応力行列とガレー行列を用いて、普遍剛性を構成的に証明できるか？

主な発見

• 任意の n 個のノードを持つ (r+1)-頂点連結グラフ G は、R^r 内に普遍剛性を有するバー枠組みを有する。
• 構成は明示的であり、直交表現と核空間の計算に基づいている。
• 配置 p は R^r 内で一般位置にあり、普遍剛性の必要条件を満たしている。
• 応力行列 Ω = ZZ^T はランク n−r−1 の半正定値行列であり、非エッジ上で消えるため、普遍剛性の十分条件を満たしている。
• 本手法により、イェの疑問に対する否定的解答が得られた：すべての普遍剛性を有する2次元枠組みが三角形を含む必要はない。
• 証明は、直交表現のベクトルの任意の (n−r−1) 部分集合が線形独立であることに依存しており、これにより非退化性が保証されている。