[論文レビュー] 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-安全なデルタマトロイドであることを確立し、四元的マトロイドの自転空間のマトロイドが、ループ補完による表現に依存しないことを示している。また、ペイノーズ多項式をvf-安全なデルタマトロイドへ一般化し、トゥッテ多項式の再帰構造に類似した再帰的構造を明らかにした。

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.

研究の動機と目的

• GF(4)上で非自明な自己同型を有する表現に関して、非自明な自己同型を有するGF(4)上で表現可能な、ねじれおよびループ補完に関して閉じたvf-安全なデルタマトロイドの部分クラスを同定・特徴付けること。
• ループ補完を用いて、四元的マトロイドの自転空間のマトロイドが、選ばれた表現に依存しないことを確立すること。
• 既知の自転次元、三部分割、双対性に関する結果（例：二部マトロイドおよびオイラー的マトロイド）を、vf-安全なデルタマトロイドの設定へ一般化すること。
• トゥッテ多項式の再帰構造に類似した再帰的定式化を提供するように、二進マトロイドからのペイノーズ多項式をvf-安全なデルタマトロイドへ拡張すること。

提案手法

• GF(4)の非自明な自己同型を活用し、ねじれおよびループ補完に関して閉じた、GF(4)上で表現可能なデルタマトロイドの部分クラスを同定する。
• ループ補完が四元的マトロイドをその自転空間のマトロイドへ変換することを示し、表現に依存しないことを保証する。
• vf-安全なデルタマトロイドの三つのマイナー構造を用いて、二進マトロイドからの双対性概念（例：二部的およびオイラー的性質）を一般化する。
• トゥッテ多項式の再帰的構造を模倣するように、vf-安全なデルタマトロイドに対するペイノーズ多項式の再帰的定義を導入する。
• ねじれおよびループ補完に関して閉じたvf-安全なデルタマトロイドの閉包性を活用し、表現間で一貫性を保証する。
• マイナー作用と双対性の相互作用を通じて、ローゼンシュタイエルおよびリードの三部分割の一般化をデルタマトロイド枠組みで達成する。

実験結果

リサーチクエスチョン

• RQ1 ペイノーズ多項式を二進マトロイドからより広いvf-安全なデルタマトロイドのクラスへ一般化するにはどうすればよいか？
• RQ2 四元的マトロイドの自転空間のマトロイドが、その表現に依存しないことを保証する構造的性質は何か？
• RQ3 どのデルタマトロイドの部分クラスがねじれおよびループ補完に関して閉じており、GF(4)上での表現可能性とどのように関係するか？
• RQ4 二部マトロイドおよびオイラー的マトロイドの双対的性質は、vf-安全なデルタマトロイドへどのように拡張できるか？
• RQ5 一般化されたペイノーズ多項式はvf-安全なデルタマトロイドにおいてどのような再帰的構造を示し、トゥッテ多項式とどのように比較できるか？

主な発見

• 四元的マトロイドは、ねじれおよびループ補完に関して閉じたvf-安全なデルタマトロイドの部分クラスである。
• 四元的マトロイドの自転空間のマトロイドは、元のマトロイドからのループ補完によって得られるため、表現に依存しない。
• vf-安全なデルタマトロイドに対するペイノーズ多項式は、トゥッテ多項式の再帰関係に類似した再帰的関係を満たす。
• マイナー作用と双対性の相互作用を通じて、ローゼンシュタイエルおよびリードの三部分割がvf-安全なデルタマトロイドへ一般化された。
• ループ補完およびねじれ作用の枠組みを通じて、二部的およびオイラー的マトロイドの双対的性質がvf-安全なデルタマトロイドへ拡張された。
• ループ補完を用いた表現に依存しない自転次元の特徴付けが確立された。