[論文レビュー] Semimatroids and their Tutte polynomials

Federico Ardila|ArXiv.org|Aug 31, 2004

Advanced Combinatorial Mathematics参考文献 24被引用数 20

ひとこと要約

この論文は、アフィン超平面配置の従属構造を捉えるために、マトロイドの一般化としてのセミマトロイドを導入する。セミマトロイドに対してチュート polynomial を定義し、それがユニバーサル Tutte-Grothendieck 不変量であることを証明し、単体的複体をブール区間に分解することで、その非負係数の組合せ的解釈を提示する。

ABSTRACT

We define and study "semimatroids", a class of objects which abstracts the dependence properties of an affine hyperplane arrangement. We show that geometric semilattices are precisely the posets of flats of semimatroids. We define and investigate the Tutte polynomial of a semimatroid. We prove that it is the universal Tutte-Grothendieck invariant for semimatroids, and we give a combinatorial interpretation for its non-negative coefficients.

研究の動機と目的

• アフィン超平面配置のマトロイド的抽象化としてセミマトロイドを定義し、それらを研究すること。
• フラットの順序集合を介してセミマトロイドと幾何的半順序集合の間の対応を確立すること。
• セミマトロイドに対してチュート polynomial を定義し、それがユニバーサル Tutte-Grothendieck 不変量であることを証明すること。
• セミマトロイドのチュート polynomial の非負係数に対して組合せ的解釈を与えること。

提案手法

• ランク関数と中心集合に関する公理を満たす三元組 $(S, \ncal C, r_{\cal C})$ としてセミマトロイドを定義する。
• モジュラーイデアルを介してセミマトロイドがマトロイドに拡張できることを証明し、そのような拡張から元のセミマトロイドを回復できることを示す。
• $ud$ および $du$ 写像を用いてセミマトロイドとポイント付きマトロイドの間の双対写像を確立する。
• セミマトロイドに削除、縮約、双対性の演算を定義し、チュート polynomial を構成する。
• 単体的複体 ${\cal C}$ を区間 $[B-I(B), B\cup E(B)]$ に分解することで、チュート polynomial を $\sum_{B} q^{i(B)} t^{e(B)}$ として計算する。
• 辞書式基底順序と劣微分性を活用し、チュート polynomial の係数が非負であり、組合せ的に意味を持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 マトロイド的構造は、標準的なマトロイドよりも、アフィン超平面配置をより自然にモデル化するようにどのように一般化できるか？
• RQ2 セミマトロイドに対して正しいチュート polynomial の類似物は何か？ そして、それは Tutte-Grothendieck 不変量の普遍性を満たすか？
• RQ3 セミマトロイドのチュート polynomial の係数は、基底の活性度に関して組合せ的に解釈できるか？
• RQ4 セミマトロイドの単体的複体の、そのチュート polynomial の構造を反映する標準的な分解が存在するか？
• RQ5 削除、縮約、双対性の演算は、セミマトロイドの文脈でどのように振る舞うか？

主な発見

• セミマトロイドのチュート polynomial は、セミマトロイドのクラスに対して一意のユニバーサル Tutte-Grothendieck 不変量である。
• チュート polynomial は $T(q,t) = \sum_{B \text{ basis}} q^{i(B)} t^{e(B)}$ で与えられ、ここで $i(B)$ と $e(B)$ はそれぞれ基底 $B$ に関して内部的・外部的活性要素の数を表す。
• チュート polynomial の非負係数は、各基底 $B$ に対応する互いに素なブール区間 $[B-I(B), B\cup E(B)]$ への単体的複体 ${\cal C}$ の分解から生じる。
• 幾何的半順序集合は、セミマトロイドのフラットの順序集合として特徴づけられ、古典的なマトロイド-順序集合対応を拡張する。
• セミマトロイドとポイント付きマトロイドの間には双対写像が存在し、これによりチュート polynomial が基底の活性度の観点から表現できる。
• セミマトロイドにおける削除、縮約、双対性の演算は、適切に定義されており、チュート polynomial の構成と整合性を持つ。