[論文レビュー] 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) 上で表現可能な四元的マトロイドおよびデルタマトロイドが vf-safe であることを確立し、これによりツイストおよびループ補完に関して閉じていることを示している。また、このような四元的マトロイドのバイクリック空間のマトロイドがループ補完によって得られることを証明し、表現に依存しないことを保証しており、ペイノーズ多項式を vf-safe デルタマトロイドへ一般化し、トゥッテ多項式に類似した再帰的構造を持つことを明らかにしている。

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) 上で表現可能な四元的マトロイドが vf-safe であり、ツイストおよびループ補完に関して閉じていることを示すこと。
• 四元的マトロイドのバイクリック空間のマトロイドが表現に依存せず、ループ補完によって得られることを確立すること。
• ローゼンシュタイルとリードの三部分割および双対性概念（双対的／オイラー的）を vf-safe デルタマトロイドへ一般化すること。
• トゥッテ多項式に類似した再帰的関係を持つ一般化されたペイノーズ多項式を vf-safe デルタマトロイドに対して定義し、特徴づけること。

提案手法

• 非自明な自己同型下でのデルタマトロイドの表現を定義するため、GF(4) 上の α-対称行列を導入する（逆行列を含む）。
• この自己同型下で GF(4) 上に表現可能なデルタマトロイドが、ツイストおよびループ補完に関して閉じた vf-safe デルタマトロイドの部分クラスをなすことを証明する。
• ループ補完を主要な操作として用いる：四元的マトロイドに対して完全なループ補完を施すと、元のマトロイドの任意のバイクリック空間のマトロイドが得られることを示す。
• 地面集合の部分集合 Y に関するバイクリック空間の概念を拡張し、それらをループ補完操作と結びつける。
• 相対的バイクリック空間の次元を用いて vf-safe デルタマトロイドに対する一般化されたペイノーズ多項式を定義し、再帰的公式を導出する。
• この枠組みを二元的マトロイドに適用し、再帰的ペイノーズ多項式の定式化が狭義の二元的マトロイドの文脈では成立しないが、より広い vf-safe デルタマトロイドの文脈では成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 ペイノーズ多項式を二元的マトロイドからより広いクラスのデルタマトロイドへ一般化するにはどうすればよいか？
• RQ2 非自明な自己同型に関して GF(4) 上で表現可能な四元的デルタマトロイド（四元的マトロイド）は、特にツイストおよびループ補完に関して閉じているという構造的性質をどのように持つか？
• RQ3 四元的マトロイドのバイクリック空間のマトロイドが表現の選択に依存しないのはなぜか、そしてこれはどのようにループ補完と関連しているのか？
• RQ4 ローゼンシュタイルとリードの三部分割結果は vf-safe デルタマトロイドへ拡張可能か？ そしてこれはこのようなマトロイドの構造にどのような含意を持つのか？
• RQ5 vf-safe デルタマトロイドの文脈において、二部グラフ的およびオイラー的マトロイドの双対概念はどのように一般化されるのか？ また、ループ補完はその過程でどのような役割を果たすのか？

主な発見

• 非自明な自己同型に関して GF(4) 上で表現可能な四元的デルタマトロイドは、ツイストおよびループ補完に関して閉じた vf-safe デルタマトロイドの部分クラスをなす。
• すべての四元的マトロイドは、非自明な自己同型に関して GF(4) 上に表現可能であるため、vf-safe である。
• 四元的マトロイド M の任意のバイクリック空間のマトロイドは、M に対して完全なループ補完を施すことによって得られ、この結果は表現の選択に依存しない。
• vf-safe デルタマトロイドに対する一般化されたペイノーズ多項式は、トゥッテ多項式に類似した再帰的関係を満たし、多項式の特徴づけを提供する。
• ローゼンシュタイルとリードの三部分割は vf-safe デルタマトロイドへ一般化され、三つの部分は特定の部分マトロイドのノルティの比較によって決定される。
• 二部グラフ的およびオイラー的マトロイドの双対性は、ループ補完を介して vf-safe デルタマトロイドへ拡張され、二元的ケースを超える双対性を保つ新しい定義が導入される。