[論文レビュー] Henneberg constructions and covers of cone-Laman graphs

Louis Theran|arXiv (Cornell University)|Apr 2, 2012

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

ひとこと要約

本稿では、周期的および対称フレームワークの剛性理論に現れる3つのスパースな色付きグラフ族—Ross、コーン-Laman、シリンダー-Lamanグラフ—に対するヘンベルク型の帰納的構成を提供する。著者らは、ラマングラフに類似した有限被覆と部分グラフのρランクを活用し、(H1c)、(H1c′)、(H2c)の移動を用いた帰納的特徴付けを確立した。これは、アーベル群色を用いたマトロイド的スパースな色付き族へ、古典的なヘンベルク構成を拡張するものである。

ABSTRACT

We give Henneberg-type constructions for three families of sparse colored graphs arising in the rigidity theory of periodic and other forced symmetric frameworks. The proof method, which works with Laman-sparse finite covers of colored graphs highlights the connection between these sparse colored families and the well-studied matroidal (k, l)-sparse families.

研究の動機と目的

• 周期的および対称フレームワークの剛性に関連する3つのスパースな色付きグラフ族に対する帰納的でヘンベルク型の構成を提供すること。
• 有限被覆を通じて、これらの色付きスパース族とよく知られた$(k,\ell)$-スパースなマトロイド的族との関係を確立すること。
• アーベル群色（$\mathbb{Z}^{2}$、$\mathbb{Z}/p\mathbb{Z}$、$\mathbb{Z}$）を用いた色付きグラフに対して、ρランク不変量を用いて古典的なヘンベルク構成を一般化すること。
• 素数順の巡回群を超える、コーン-Lamanグラフの帰納的特徴付けに関する未解決問題を解消すること。
• 色付きグラフマトロイドの組合せ的構造を探索し、マトロイドのリフトを用いた一般化の可能性を検討すること。

提案手法

• アーベル群$\Gamma \in \{\mathbb{Z}/p\mathbb{Z}, \mathbb{Z}, \mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/q\mathbb{Z}, \mathbb{Z}^2\}$からの色を用いたエッジラベル付きグラフとして色付きグラフを定義し、サイクル空間の準同型写像の像のランクとして部分グラフのρランクを導入する。
• 3つのスパarsity条件を導入する：Ross-スパース（$m' \leq 2n' - 3c'_0 - 2(c'_1 + c'_2)$）、コーン-Laman-スパース（$m' \leq 2n' - 3c'_0 - c'_1 - c'_2$）、シリンダー-Laman-スパース（$m' \leq 2n' + r - 3c'_0 - 2(c'_1 + c'_2)$）、ここで$r$は部分グラフのρランクである。
• エッジ二重化のテクニックと単調関数理論を用いて、色付きグラフの有限被覆へのリフトを分析し、それらをラマングラフに類似したグラフに関連付ける。
• 十分に大きな$p$に対して、$ \mathbb{Z}/p\mathbb{Z}$-色付きコーン-Lamanグラフが、$p$が素数のときラマングラフに類似したリフトと同値であることを証明し、帰納的構成を可能にする。
• Tutte-Nash-Williamsの定理を応用して、(H2c)移動が、シリンダー-Lamanグラフにとって重要な$(2,2)$-スパンニング性を保つことを示す。
• コーン-Lマンの証明技法をRossグラフに適応するため、$\mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/q\mathbb{Z}$-色付きグラフを用い、補題2.2を精緻化して、リフトの連結性とρ像の指数との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意の$k \geq 2$に対して、$\mathbb{Z}/k\mathbb{Z}$に色が付いたコーン-Lamanグラフに対してヘンベルク構成を与えることは可能か？（素数$p$に限らない。）
• RQ2 固定格子周期的フレームワークにおけるRoss-サイクルの帰納的特徴付けは何か？また、(H2c)および2-和操作で十分か？
• RQ3 明示的なエッジ色付けから離れて、一般のマトロイドリフト構成によって色付きグラフ上のスパarsityマトロイドを特徴付けることは可能か？

主な発見

• $\mathbb{Z}^2$-色付きグラフがRossグラフであるための必要十分条件は、(H1c)および(H2c)の移動を用いて基本グラフから構成可能であること。
• 奇素数$p$に対して、$\mathbb{Z}/p\mathbb{Z}$-色付きグラフがコーン-Lamanグラフであるための必要十分条件は、(H1c)、(H1c′)、(H2c)の移動を用いて基本グラフから構成可能であること。
• $\mathbb{Z}$-色付きグラフがシリンダー-Lamanグラフであるための必要十分条件は、(H1c)および(H2c)の移動を用いて基本グラフから構成可能であることであり、このようなグラフはちょうど$(2,2)$-スパンニングな基本グラフをもつコーン-Lamanグラフに一致する。
• 十分に大きな素数$p$に対して、$\mathbb{Z}$-色付きコーン-Lamanグラフは、$\mathbb{Z}/p\mathbb{Z}$-色付きコーン-Lamanグラフと同値である。これは逆移動における色の大きさが有界であるためである。
• (H2c)移動は、前向きおよび逆向きの両方向で$(2,2)$-スパンニング性を保つ。Tutte-Nash-Williamsの定理により示された。
• $\mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/q\mathbb{Z}$-色付きグラフが$2n-1$本の辺を持つとき、そのグラフがコーン-Lamanであるための必要十分条件は、そのリフトがラマングラフに類似したスパース性を満たすことである。これは、色付きと無色付きスパース性の関係を精緻化する。