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

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

graph theory and CDMA systems被引用 2

一句话总结

本文证明了四元拟阵是关于扭转和环路补全封闭的 vf-安全的 delta-拟阵，表明四元拟阵的自行车空间的拟阵在表示下保持不变，这是由于环路补全的作用。本文将 Penrose 多项式推广至 vf-安全的 delta-拟阵，揭示了与 Tutte 多项式递归结构类似的递归结构。

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.

研究动机与目标

• 识别并表征在扭转和环路补全下封闭的 vf-安全 delta-拟阵子类，重点关注在非平凡自同构下可表示于 GF(4) 的情形。
• 通过环路补全，证明四元拟阵的自行车空间的拟阵与其所选表示无关。
• 将已知的关于自行车维数、三分法和对偶性的结果（例如，二分拟阵和欧拉拟阵）推广至 vf-安全的 delta-拟阵设置。
• 将 Penrose 多项式从二元拟阵扩展至 vf-安全的 delta-拟阵，提供一种类似于 Tutte 多项式递归结构的递归公式。

提出的方法

• 利用 GF(4) 的非平凡自同构，本文识别出在 GF(4) 上可表示且在扭转和环路补全下封闭的 delta-拟阵子类。
• 证明环路补全可将四元拟阵转化为其自行车空间的拟阵，从而确保表示不变性。
• 通过 vf-安全 delta-拟阵的三重极小结构，将二分和欧拉性质等对偶概念从二元拟阵推广至更广范围。
• 引入 vf-安全 delta-拟阵的 Penrose 多项式的递归定义，其结构与 Tutte 多项式的递归结构相仿。
• 通过 vf-安全 delta-拟阵在扭转和环路补全下的封闭性，确保不同表示之间的一致性。
• 通过 delta-拟阵框架中极小元与对偶性的相互作用，实现对 Rosenstiehl 和 Read 的三分法的推广。

实验结果

研究问题

• RQ1 Penrose 多项式如何从二元拟阵推广至更广的 vf-安全 delta-拟阵类？
• RQ2 哪些结构性质确保了四元拟阵的自行车空间的拟阵与其表示无关？
• RQ3 哪些 delta-拟阵子类在扭转和环路补全下封闭，且与 GF(4) 上的可表示性有何关联？
• RQ4 二分和欧拉拟阵的对偶概念如何在 vf-安全 delta-拟阵中扩展？
• RQ5 推广后的 Penrose 多项式在 vf-安全 delta-拟阵中表现出何种递归结构，其与 Tutte 多项式的比较如何？

主要发现

• 四元拟阵是关于扭转和环路补全封闭的 vf-安全 delta-拟阵的子类。
• 四元拟阵的自行车空间的拟阵在表示下保持不变，因为其可通过原始拟阵的环路补全得到。
• vf-安全 delta-拟阵的 Penrose 多项式满足与 Tutte 多项式类似的递归关系。
• 本文通过极小元操作与对偶性，将 Rosenstiehl 和 Read 的三分法推广至 vf-安全 delta-拟阵。
• 通过环路补全与扭转操作的框架，将二分与欧拉拟阵的对偶概念扩展至 vf-安全 delta-拟阵。
• 该结果通过环路补全实现了四元拟阵中自行车维数的表示无关表征。