[論文レビュー] Matroids of Gain Graphs in Applied Discrete Geometry

Shin‐ichi Tanigawa|arXiv (Cornell University)|Jul 16, 2012

Structural Analysis and Optimization参考文献 30被引用数 6

ひとこと要約

本稿は、gain群Γ上の単調関数を用いてフレームおよびリフトマトロイドのランク関数を一般化することで、gainグラフのフレームおよびリフトマトロイドを拡張し、d次元ベクトル空間への群作用に基づく新しい線形表現を導入する。主な貢献は、これらの拡張がドーリング幾何を統一的かつ一般化することを示し、点群および結晶学的対称性下でのボディバーおよびバー・ジョイントフレームワークにおける対称性強制剛性の組合せ的特徴付けを提供することにある。

ABSTRACT

A G-gain graph is a graph whose oriented edges are labeled invertibly from a group G. Zaslavsky proposed two matroids of G-gain graphs, called frame matroids and lift matroids, and investigated linear representations of them. Each matroid has a canonical representation over a field F if G is isomorphic to a subgroup of F^{ imes} in the case of frame matroids or G is isomorphic to an additive subgroup of F in the case of lift matroids. The canonical representation of the frame matroid of a complete graph is also known as a Dowling geometry, as it was first introduced by Dowling for finite groups. In this paper, we extend these matroids in two ways. The first one is extending the rank function of each matroid, based on submodular functions over G. The resulting rank function generalizes that of the union of frame matroids or lift matroids. Another one is extending the canonical linear representation of the union of d copies of a frame matroid or a lift matroid, based on linear representations of G on a d-dimensional vector space. We show that linear matroids of the latter extension are indeed special cases of the first extensions, as in the relation between Dowling geometries and frame matroids. We also discuss an attempt to unify the extension of frame matroids and that of lift matroids. This work is motivated from recent research on the combinatorial rigidity of symmetric graphs. As special cases, we give several new results on this topic, including combinatorial characterizations of the symmetry-forced rigidity of generic body-bar frameworks with point group symmetries or crystallographic symmetries and the symmetric parallel redrawability of generic bar-joint frameworks with point group symmetries or crystallographic symmetries.

研究の動機と目的

• Γ-ゲイングラフのフレームおよびリフトマトロイドを、群Γ上の単調関数を用いて一般化すること。
• d次元ベクトル空間への線形群作用に基づく、これらのマトロイドの新しい線形表現を開発すること。
• フレームおよびリフトマトロイドの拡張を共通の枠組みで統一すること。
• 拡張されたマトロイドを、特にボディバーおよびバー・ジョイント系における対称的フレームワークの組合せ的剛性問題に応用すること。
• 点群および結晶学的対称性下での対称性強制無限小剛性のための新しい組合せ的特徴付けを提供すること。

提案手法

• gain群Γ上の単調関数を用いて、フレームおよびリフトマトロイドのランク関数を一般化し、複数のマトロイドの和を拡張する。
• 線形表現を用いて群Γをd次元ベクトル空間に埋め込むことで、拡張されたマトロイドの線形表現を構築する。
• d個のフレームまたはリフトマトロイドの和の標準線形表現を定義し、これが最初の拡張の特別な場合であることを示す。
• 双線形形式および超平面の交差を用いて、特に回転対称性を有する2次元フレームワークにおける無限小運動をモデル化する。
• 定理3.2（一般の超平面切断）を適用して、対称剛性制約の解空間の次元を計算する。
• 圧縮グラフおよび軌道に基づくエッジ系を用いて、対称性強制剛性問題を商Γ-ゲイングラフ上の条件の数え上げに還元する。

実験結果

リサーチクエスチョン

• RQ1 フレームおよびリフトマトロイドのゲイングラフのランク関数は、複数のマトロイドの和を越えてどのように一般化できるか？
• RQ2 群がベクトル空間に作用する方法を用いて、拡張されたマトロイドの線形表現を構築できるか？ また、ドーリング幾何などの既存の構成とどのように関係するか？
• RQ3 フレームおよびリフトマトロイドの単調ランク拡張と線形表現拡張の間にはどのような関係があるか？
• RQ4 拡張されたマトロイドフレームワークは、一般のボディバーおよびバー・ジョイントフレームワークにおける対称性強制剛性をどのように特徴付けられるか？
• RQ5 点群および結晶学的対称性下での対称性強制無限小剛性を保証する組合せ的数え上げ条件は何か？

主な発見

• 拡張されたランク関数は、フレームまたはリフトマトロイドのd個のコピーの和を一般化し、対称剛性の統一的フレームワークを提供する。
• d次元空間への群表現から生じる線形マトロイドは、単調ランク拡張の特別な場合であり、ドーリング幾何の構成を一般化する。
• 点群対称性を有する2次元対称バー・ジョイントフレームワークでは、対称性強制剛性が頂点数、エッジ軌道数、および格子表現空間の次元を含む数え上げ条件によって特徴付けられる。
• 空間群対称性を有する2次元ボディバーフレームワークでは、剛性条件が頂点軌道数、エッジ軌道数、および格子表現空間の次元kに依存し、p1およびp2ではk=4、p3、p4、p6ではk=2である。
• 本稿は、点群および結晶学的対称性下での一般フレームワークにおける対称性強制無限小剛性を完全に組合せ的特徴付けしており、商Γ-ゲイングラフ上の明示的な数え上げ条件を提供する。
• 対称無限小運動の解空間の次元が、2|V| + k - dim{R_{e,ψ}'(p) | e ∈ E}に等しいことが示され、この次元は一般の超平面切断を用いて計算される。