[論文レビュー] Matroids, Delta-matroids and Embedded Graphs

Carolyn Chun, Iain Moffatt+2 more|arXiv (Cornell University)|Mar 4, 2014

Advanced Combinatorial Mathematics参考文献 65被引用数 28

ひとこと要約

この論文は、リボングラフとして表現される埋め込みグラフとデルタマトロイドの間の基礎的対応関係を確立し、デルタマトロイドがグラフマトロイドを位相的設定に一般化することを示している。ボロバース＝リオーダン、クリュシュカル、ラス・ベルニャスの多項式といった重要な不変量がすべてデルタマトロイド的であることを示し、これらの多項式の双対性対称性がデルタマトロイドのレベルでも成り立つことを証明しており、グラフマトロイドの双対性を埋め込みグラフへと拡張している。

ABSTRACT

Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illustrate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that The Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the literature, including the Las Vergnas, Bollabas-Riordan and Krushkal polynomials, are in fact delta-matroidal.

研究の動機と目的

• グラフとマトロイドの間のよく知られた対応関係に類似した、埋め込みグラフとデルタマトロイドの間の対応関係を確立すること。
• デルタマトロイドが、サイクルマトロイドをリボングラフへと拡張する形で自然に生じることを示し、グラフ構造と埋め込み構造の両方を捉えること。
• ボロバース＝リオーダン、クリュシュカル、ラス・ベルニャス、トゥーティの多項式を含む、基本的な位相的グラフ多項式がすべてデルタマトロイド的不変量であることを示すこと。
• これらの多項式の双対性対称性が、デルタマトロイドのレベルでも成り立つことを証明し、グラフマトロイドの双対性を模倣すること。
• このフレームワークを knot theory に応用し、非分裂リンク図形のデルタマトロイドから Kauffman bracket とジョーンズ多項式が決定されることを示すこと。

提案手法

• 埋め込みグラフを、曲面への埋め込みの組み合わせ的モデルであるリボングラフとして表現する。
• リボングラフのデルタマトロイドを、擬似木（ genus が 0 で境界が 1 つの成分）を形成する辺集合の集合として定義し、グラフにおける生成木の一般化とする。
• デルタマトロイドにおける可能集合の対称的交換公理を用いて、表面位相から生じる構造を形式化する。
• トップロジカルグラフ多項式（例：ボロバース＝リオーダン、クリュシュカル）をデルタマトロイドのランク関数とヌルティ関数の形で表現し、それがデルタマトロイド不変量であることを示す。
• デルタマトロイドにおけるねじり操作が、リボングラフの部分双対に正確に対応することを証明し、重要な構造的関係を確立する。
• デルタマトロイドにおける双対性関係を用いて、グラフ多項式の双対性恒等式を導出し、証明する。特に $ K(D;x,y-1,a,b) = K(D^*;y,x-1,b,a) $ を含む。

実験結果

リサーチクエスチョン

• RQ1 デルタマトロイドは、埋め込みグラフの文脈において、どのようにマトロイド理論を一般化できるか？
• RQ2 リボングラフとデルタマトロイドの間の正確な対応関係は何か？ そして、これはサイクルマトロイド構成をどのように拡張するか？
• RQ3 ボロバース＝リオーダン多項式やクリュシュカル多項式といったよく知られた位相的グラフ多項式は、リボングラフのデルタマトロイドによって決定されるか？
• RQ4 これらの多項式の双対性対称性は、デルタマトロイドのレベルでも成り立つか？ もしそうなら、代数的にどのように表現されるか？
• RQ5 Kauffman bracket などの knot theory の不変量は、リンク図形のデルタマトロイドから回復可能か？

主な発見

• リボングラフにおける擬似木の辺集合は、デルタマトロイドをなす。これは、グラフマトロイドの基底構造を埋め込みグラフへと一般化する。
• リボングラフのデルタマトロイドは、ランク関数とヌルティ関数を通じて、連結性や辺構造といった、本質的な位相的・組合せ的データを符号化している。
• デルタマトロイドにおけるねじり操作は、リボングラフの部分双対に正確に対応しており、深いカテゴリカル同値性を確立している。
• ボロバース＝リオーダン、クリュシュカル、ラス・ベルニャスの多項式はすべてデルタマトロイド的であり、リボングラフのデルタマトロイドにのみ依存する。
• これらの多項式の双対性恒等式（例：$ L(D;x,y,z) = z^{w(D)}L(D^*;y,x,z^{-1}) $）は、デルタマトロイドのレベルでも成り立ち、グラフマトロイドの双対性を一般化している。
• リンクの Kauffman bracket はデルタマトロイド的である。非分裂リンク図形に関連するリボングラフのデルタマトロイドから回復可能である。