[論文レビュー] Interlace Polynomials for Delta-Matroids

Robert Brijder, Hendrik Jan Hoogeboom|arXiv (Cornell University)|Oct 22, 2010

Advanced Combinatorial Mathematics参考文献 10被引用数 6

ひとこと要約

この論文は、インタラース多項式および関連するグラフ多項式を、集合系およびデルタマトロイドへ一般化し、それらの再帰的性質を組合せ論的でグラフ論的でない方法で導出可能にする。マトロイドの Tutte 多項式の対角線に制限したものは、デルタマトロイドの一般化されたインタラース多項式の特別な場合であることが示され、Las Vergnas の予想を証明するとともに、新たな評価値と相互関係を明らかにする。

ABSTRACT

We show that the (single variable) interlace polynomial and several related graph polynomials may be defined for set systems (or more specifically, delta-matroids) in general. In this way, and using combinatorial properties of set systems and delta-matroids rather than graph theoretical arguments, we find that various known results about these polynomials, including their recursive relations, are both more efficiently and more generally obtained. In addition, we obtain several interrelationships and results for polynomials on set systems (and delta-matroids) that correspond to new interrelationships and results for the corresponding polynomials on graphs. Finally, we show that the Tutte polynomial for matroids on the diagonal is a special case of the generalized interlace polynomial for delta-matroids, and we obtain in this way novel evaluations of the Tutte polynomial. In particular we prove a conjecture by Las Vergnas.

研究の動機と目的

• インタラース多項式および関連するグラフ多項式を、集合系およびデルタマトロイドのより広範な枠組みへ拡張すること。
• グラフ論的メソッドではなく、集合系の組合せ論的性質を用いて、これらの多項式の再帰的関係および構造的性質を導出すること。
• 集合系上の多項式の間の新たな相互関係を明らかにし、それらがグラフ多項式において新たな結果をもたらす仕組みを解明すること。
• マトロイドの Tutte 多項式の対角線制限が、デルタマトロイドの一般化されたインタラース多項式の特別な場合として生じることを示すこと。
• Las Vergnas が提起した、マトロイド上の Tutte 多項式の評価に関する予想を証明すること。

提案手法

• 対称差演算および局所補完の類似操作を用いて、デルタマトロイドにおけるインタラース多項式を形式化すること。
• デルタマトロイドの実現可能集合に対する再帰的削除・縮約に類似した操作を用いて、一般化された多項式を定義すること。
• Tutte 多項式が対角線に制限された場合、一般化されたインタラース多項式の特定の評価値に対応することを確立すること。
• 対称差および実現可能集合の閉包といった、デルタマトロイドの構造的性質を用いて、多項式の恒等式を導出すること。
• グラフに基づく多項式の恒等式を集合系の言語に翻訳することで、より深い組合せ論的関係を明らかにすること。
• 一般化された枠組みを応用して、既知のインタラース多項式およびその評価に関する結果を回復・拡張すること。

実験結果

リサーチクエスチョン

• RQ1 インタラース多項式および関連するグラフ多項式は、自然にデルタマトロイドおよび集合系へ拡張可能か？
• RQ2 これらの一般化された多項式の再帰的構造を規定する、デルタマトロイドの組合せ論的性質は何か？
• RQ3 集合系上の多項式の相互関係は、グラフ設定において新たな関係をどのように反映するか？
• RQ4 マトロイドの Tutte 多項式の対角線制限は、デルタマトロイドの一般化されたインタラース多項式の特別な場合か？
• RQ5 Las Vergnas が提起した Tutte 多項式の評価に関する予想は、この一般化された枠組みを用いて証明可能か？

主な発見

• インタラース多項式および関連するグラフ多項式は、グラフ構造に依存しない、集合系の組合せ論的性質を用いてデルタマトロイドへ一般化可能である。
• これらの多項式の再帰的関係は、グラフ論的議論よりも、デルタマトロイドの操作を用いることでより効率的かつ包括的に導出可能である。
• 集合系上の多項式の間の新たな相互関係は、それに対応するグラフ多項式において新たな結果をもたらす。
• マトロイドの Tutte 多項式の対角線制限が、デルタマトロイドの一般化されたインタラース多項式の特別な場合であることが示された。
• この枠組みにより、マトロイド上の Tutte 多項式の評価に関する Las Vergnas の予想が証明された。