[论文解读] Matroids of Gain Graphs in Applied Discrete Geometry

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

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

一句话总结

本文通过在收益群 Γ 上使用次模函数推广框架与提升拟阵的秩函数，将收益图的框架与提升拟阵进行推广，并引入一种基于群在 d 维向量空间上作用的新线性表示。关键贡献在于证明这些推广统一并推广了 Dowling 几何结构，并为在点群与晶格对称性下的体-杆与杆-节点框架的对称性强制刚性提供了组合表征。

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 维向量空间上的线性作用，构建这些拟阵的新线性表示。
• 在统一框架下推广框架与提升拟阵。
• 将推广后的拟阵应用于对称框架中的组合刚性问题，特别是体-杆与杆-节点系统。
• 为在点群与晶格对称性下的对称性强制无穷小刚性提供新的组合表征。

提出的方法

• 通过在收益群 Γ 上使用次模函数推广框架与提升拟阵的秩函数，扩展多个拟阵的并集。
• 通过群 Γ 在 d 维空间上的线性表示嵌入，构建推广拟阵的线性表示。
• 定义 d 个框架或提升拟阵并集的典范线性表示，表明其为第一种推广的特例。
• 使用双线性形式与超平面交集来建模对称框架中的无穷小运动，特别是在具有旋转对称性的二维情形。
• 应用定理 3.2 关于一般超平面截面，计算对称刚性约束解空间的维数。
• 通过压缩图与基于轨道的边系统，将对称性强制刚性问题转化为商 Γ-收益图上的计数条件。

实验结果

研究问题

• RQ1 如何将收益图的框架与提升拟阵的秩函数推广至超越多个拟阵并集的范围？
• RQ2 能否基于群在向量空间上的作用构造推广拟阵的线性表示，其与现有构造（如 Dowling 几何）的关系如何？
• RQ3 次模秩推广与框架与提升拟阵的线性表示推广之间存在何种关系？
• RQ4 如何将推广的拟阵框架应用于刻画通用体-杆与杆-节点框架中的对称性强制刚性？
• RQ5 何种组合计数条件可确保在点群与晶格对称性下的对称性强制无穷小刚性？

主要发现

• 推广的秩函数推广了 d 个框架或提升拟阵的并集，为对称刚性提供了统一框架。
• 由群在 d 维空间上的表示所生成的线性拟阵是次模秩推广的特例，推广了 Dowling 几何构造。
• 对于具有点群对称性的二维对称杆-节点框架，对称性强制刚性由涉及顶点数、边轨道数与晶格表示空间维数的计数条件表征。
• 对于具有空间群对称性的二维体-杆框架，刚性条件取决于顶点轨道数、边轨道数与晶格表示空间维数 k，其中 k=4 对应 p1 与 p2，k=2 对应 p3、p4、p6。
• 本文为在点群与晶格对称性下通用框架的对称性强制无穷小刚性提供了完整的组合表征，其在商 Γ-收益图上具有明确的计数条件。
• 对称无穷小运动解空间的维数等于 2|V| + k - dim{R_{e,ψ}'(p) | e ∈ E}，其中 k 为晶格表示空间的维数，该维数通过一般超平面截面计算得出。