[論文レビュー] Generic rigidity of frameworks with orientation-preserving crystallographic symmetry

Justin Malestein, Louis Theran|arXiv (Cornell University)|Aug 11, 2011

Structural Analysis and Optimization参考文献 20被引用数 15

ひとこと要約

本稿は、回転対称性を有する2次元結晶格子フレームワークにおける一般剛性の組合せ的特徴付けを確立し、マクスウェル＝ラーマン定理を有限位数の回転対称性（例：$γ_2$, $γ_4$, $γ_6$）を有するフレームワークへ拡張する。$γ$-カラーラーマングラフを導入し、一般剛性がカラーモデルにおけるスパarsity条件によって決定されることを証明し、マトロイドのランク条件に基づく多項式時間の決定アルゴリズムを提示する。

ABSTRACT

We extend our generic rigidity theory for periodic frameworks in the plane to frameworks with a broader class of crystallographic symmetry. Along the way we introduce a new class of combinatorial matroids and associated linear representation results that may be interesting in their own right. The same techniques immediately yield a Maxwell-Laman-type combinatorial characterization for frameworks embedded in 2-dimensional cones that arise as quotients of the plane by a finite order rotation.

研究の動機と目的

• 方向保存対称性を有する無限周期的フレームワークへの古典的マクスウェル＝ラーマン定理の一般化を図ること。
• 有限位数の回転対称性（例：$γ_2$, $γ_4$, $γ_6$）を有するフレームワークにおける一般剛性の組合せ的・多項式時間判定基準の開発。
• カラーモデルと群作用に関連する新しい組合せ的マトロイドの導入を通じて、無限小剛性をモデル化すること。
• 一般剛性と$γ$-カラーラーマングラフにおけるスパarsity条件との対応関係の確立を図り、アルゴリズム的決定を可能にする。
• 有限回転による平面の商として得られる2次元コーンフレームワークへ理論を拡張し、類似の特徴付けを提示すること。

提案手法

• 結晶格子フレームワークを、結晶格子群$γ_k$（平行移動と位数$k$の回転で生成される）の自由かつ適切に不連続な作用を有する無限グラフとしてモデル化する。
• 辺の色が$γ_k$の群要素に対応するカラーモデル$(G, \bm{\gamma})$を用いて、フレームワークを組合せ的に表現する。
• 表現次元$\operatorname{rep}_{\u03b3_k}(\Lambda(\u03b3_k))$と成分ごとの torsion 項$T(G_i)$を組み込んだ、ラーマン条件を一般化したスパarsity関数$h(G)$を定義する。
• 一般性の仮定に基づく等価性を用い、無限小剛性を一般剛性の代理として用いる。
• 一般性を持つ方向$\mathbf{d}_{ij}$を有する方向ネットワーク$(G, \bm{\gamma}, \mathbf{d})$を構築し、剛性系を実現する。一意かつ忠実な解が得られることを保証する一般性定理を活用する。
• 十分性を示すために、$γ$-カラーラーマングラフが剛性系のランク$h(G)$に達する実現を有することを証明し、一般剛性を示す。

実験結果

リサーチクエスチョン

• RQ1 方向保存対称性を有する2次元結晶格子フレームワークにおける一般剛性を保証するカラーモデルの組合せ的条件は何か？
• RQ2 有限位数の回転対称性を有する無限フレームワークへ、古典的マクスウェル＝ラーマン定理をどのように一般化できるか？
• RQ3 群表現理論は、対称フレームワークにおける自由度を特徴付ける上で果たす役割は何か？
• RQ4 このような対称フレームワークにおける一般剛性を多項式時間で決定できるアルゴリズムは存在するか？
• RQ5 有限回転による平面の商として得られるコーンフレームワーク（コーンフレームワーク）は、一般結晶格子フレームワークモデルとどのように関係するか？

主な発見

• フレームワークが一般剛性であるための必要十分条件は、その対応するカラーモデルが$γ$-カラーラーマングラフであることである。この条件は、スパarsity条件$h(G) = 2n + \operatorname{rep}_{\u03b3_k}(\Lambda(\u03b3_k)) - 1 - \sum T(G_i)$で定義され、$n$は頂点数を表す。
• グラフが$γ$-カラーラーマン条件を満たすときかつそのときに限り、無限小剛性系の一般ランクはちょうど$h(G)$に達する。これにより、タイトな組合せ的特徴付けが確立される。
• $k=2,4,6$の$\u03b3_k$-フレームワークにおいて、表現次元$\operatorname{rep}_{\u03b3_k}(\Lambda(\u03b3_k))$は$k=2$のとき1、$k=4,6$のとき2であり、これらはスパarsity条件に明示的に含まれる。
• 同じ組合せ的フレームワークを用いて、2次元コーンフレームワークへ理論を拡張でき、定理28により類似の特徴付けが与えられる。
• 一般実現において、一般剛性と無限小剛性は一致するため、剛性行列に対する線形代数的手法を適用可能となる。
• 方向$\mathbf{d}$および$\mathbf{d}^\perp$が両方とも一般的であるように方向ネットワークを構築することで、剛性系が最大ランクに達することが保証され、スパarsity条件の十分性が証明される。