[论文解读] Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids

Robert Brijder, Hendrik Jan Hoogeboom|arXiv (Cornell University)|Oct 29, 2012

Advanced Combinatorial Mathematics参考文献 29被引用 6

一句话总结

本文证明了通过非平凡自同构在 GF(4) 上可表示的四元拟阵与 delta-拟阵是 vf-安全的，从而在扭转和环路补全下封闭。它证明了此类四元拟阵的任何环路空间的拟阵均可通过环路补全获得，且与表示无关，同时将 Penrose 多项式推广至具有类似 Tutte 多项式递归结构的 vf-安全 delta-拟阵。

ABSTRACT

In contrast to matroids, vf-safe delta-matroids have three kinds of minors and are closed under the operations of twist and loop complementation. We show that the delta-matroids representable over GF(4) with respect to the nontrivial automorphism of GF(4) form a subclass of the vf-safe delta-matroids closed under twist and loop complementation. In particular, quaternary matroids are vf-safe. Using this result, we show that the matroid of a bicycle space of a quaternary matroid M is obtained from M by using loop complementation. As a consequence, the matroid of a bicycle space of a quaternary matroid M is independent of the chosen representation. This also leads to, e.g., an extension of a known parity-type characterization of the bicycle dimension, a generalization of the tripartition of Rosenstiehl and Read [Ann. Disc. Math. (1978)], and a suitable generalization of the dual notions of bipartite and Eulerian binary matroids to a vf-safe delta-matroids. Finally, we generalize a number of results concerning the Penrose polynomial from binary matroids to vf-safe delta-matroids. In this general setting the Penrose polynomial turns out to have a recursive relation much like the recursive relation of the Tutte polynomial.

研究动机与目标

• 将自行车拟阵理论与 Penrose 多项式从二元拟阵推广至更广泛的 delta-拟阵类。
• 证明在非平凡自同构下，GF(4) 上可表示的四元拟阵是 vf-安全的，且在扭转与环路补全下封闭。
• 建立四元拟阵的自行车空间的拟阵在表示选择下不变，且可通过环路补全获得。
• 将 Rosenstiehl–Read 的三分划与对偶性概念（二分图/欧拉）推广至 vf-安全 delta-拟阵。
• 为 vf-安全 delta-拟阵定义并表征一种广义 Penrose 多项式，其具有类似于 Tutte 多项式的递归关系。

提出的方法

• 引入 GF(4) 上的 α-对称矩阵，以在非平凡自同构下定义 delta-拟阵的可表示性（涉及取逆）。
• 证明在该自同构下 GF(4) 上可表示的 delta-拟阵构成 vf-安全 delta-拟阵的一个子类，且在扭转与环路补全下封闭。
• 将环路补全作为关键操作：证明对四元拟阵施行完全环路补全可得到原拟阵任意自行车空间的拟阵。
• 将相对于基集子集 Y 的自行车空间概念扩展，并将其与环路补全操作联系起来。
• 通过相对自行车空间的维数定义广义 Penrose 多项式，并推导出其递归公式。
• 将该框架应用于二元拟阵，表明在狭义的二元拟阵设定下，递归 Penrose 多项式公式不成立，但在更广泛的 vf-安全 delta-拟阵背景下成立。

实验结果

研究问题

• RQ1 如何将 Penrose 多项式从二元拟阵推广至更广泛的 delta-拟阵类？
• RQ2 四元 delta-拟阵（在非平凡自同构下于 GF(4) 上可表示）具有何种结构性质，特别是其在扭转与环路补全下的封闭性？
• RQ3 为何四元拟阵的自行车空间的拟阵与表示选择无关，其与环路补全有何关联？
• RQ4 Rosenstiehl 与 Read 的三分划结果能否推广至 vf-安全 delta-拟阵？这对其结构意味着什么？
• RQ5 在 vf-安全 delta-拟阵背景下，二分图与欧拉拟阵的对偶性概念如何推广，环路补全在此中起何作用？

主要发现

• 在非平凡自同构下，GF(4) 上可表示的四元 delta-拟阵构成 vf-安全 delta-拟阵的一个子类，且在扭转与环路补全下封闭。
• 每个四元拟阵都是 vf-安全的，因为其在非平凡自同构下于 GF(4) 上可表示。
• 四元拟阵 M 的任意自行车空间的拟阵可通过对 M 施行完全环路补全获得，且该结果与表示选择无关。
• vf-安全 delta-拟阵的广义 Penrose 多项式满足类似于 Tutte 多项式的递归关系，从而为该多项式提供了表征。
• Rosenstiehl 与 Read 的三分划推广至 vf-安全 delta-拟阵，三部分由特定子拟阵的零度比较确定。
• 二分图与欧拉拟阵之间的对偶性通过环路补全推广至 vf-安全 delta-拟阵，新定义在二元情形之外仍保持对偶性。