[論文レビュー] Excluded minors for the class of split matroids

Amanda Cameron, Dillon Mayhew|arXiv (Cornell University)|Jul 7, 2017

Polynomial and algebraic computation参考文献 4被引用数 5

ひとこと要約

この論文は、JoswigとSchröterの予想を確認し、スプリットマトロイドの除外マイナーの完全な特徴付けを提供する。除外マイナーは $S_0$, $S_1$, $S_2$, $S_3$, $S_4$ のみである。著者らは、巡回フラットと双対性に基づく構造的アプローチを用いて、非スプリットで連結なマトロイドは、これらの5つの中のいずれかをマイナーとして含む必要があることを示し、スプリットマトロイドのマイナー閉じたクラスを完全に分類する。

ABSTRACT

Split matroids form a minor-closed class of matroids, and are defined by placing conditions on the system of split hyperplanes in the matroid base polytope. They can equivalently be defined in terms of structural properties involving cyclic flats. We confirm a conjecture of Joswig and Schröter by proving an excluded-minor characterisation of the class of split matroids.

研究の動機と目的

• スプリットマトロイドのクラスに対する除外マイナーに関するJoswigとSchröterの予想を解決すること。
• スプリットマトロイドのマイナー閉じたクラスを特徴付ける完全で最小の除外マイナーのリストを提供すること。
• 巡回フラットと双対性を用いた非スプリットマトロイドの構造的特徴付けを確立し、禁止マイナーの特定を可能にすること。
• すべての非スプリットマトロイドが、5つの特定のマトロイドのいずれかをマイナーとして含むことの証明を行い、クラスを完全に分類すること。

提案手法

• スプリットマトロイドの多面体的定義、すなわち基本ポリトープにおけるスプリット超平面を用い、マトロイド基本ポリトープおよびその面の枠組み内で議論を行う。
• 巡回フラットに基づく等価な構造的特徴付けを用い、非スプリット性は、その制限が連結で非一様であるような適切な巡回フラットによって検出されることを用いる。
• 双対性を用いて分析を連結マトロイドに限定し、マイナー証明条件が双対性のもとで保存されることを保証する。
• 任意のマトロイドが、巡回フラット上での連結で非一様な制限を持つ場合、$M(\mathcal{W}_2)$-マイナーを含むことになり、これが5つの除外マイナーのいずれかに帰着する。
• 除外マイナーの最小性を活用し、除外マイナーが他のものを真に含んではならないことを示し、候補を制限する。
• 5つのマトロイド—$S_0$, $S_1$, $S_2$, $S_3$, $S_4$—が実際に除外マイナーであることを、非スプリット性と最小性の両方を確認することで検証する。

実験結果

リサーチクエスチョン

• RQ1 スプリットマトロイドのマイナー閉じたクラスの完全な除外マイナーのリストは何か？
• RQ2 JoswigとSchröterが特定した5つのマトロイド—$S_0$, $S_1$, $S_2$, $S_3$, $S_4$—は、スプリットマトロイドの唯一の除外マイナーか？
• RQ3 マトロイドの巡回フラットにおける構造的条件によって、非スプリット性を検出可能か？ そして、これは有限な禁止マイナーのリストに導くか？
• RQ4 スプリットマトロイドのクラスは、これらの5つの特定マトロイドのみを除外マイナーとして含むことで完全に特徴付けられるか？
• RQ5 すべての非スプリットマトロイドは、5つのマトロイドのいずれかをマイナーとして含む必要があるか？ そして、双対性と巡回フラット構造を用いてこれを証明できるか？

主な発見

• スプリットマトロイドのクラスの除外マイナーは、ちょうど $S_0$, $S_1$, $S_2$, $S_3$, $S_4$ である。これは、JoswigとSchröterの予想を確認するものである。
• 連結で非スプリットなマトロイドは、すべて、制限 $M|Z$ が連結で非一様となるような適切な巡回フラット $Z$ を含む。これは、$M(\mathcal{W}_2)$-マイナーの存在を示唆する。
• マイナー $S_1$ は $S_2^*$ に同型であり、両者とも自己双対または互いに双対である。この性質により、双対性のもとでの分類が簡略化される。
• $S_0$ は唯一の非連結な除外マイナーであり、$M(\mathcal{W}_2)$ の2つのコピーの直和である。このため、非連結ケースをカバーする。
• 証明により、除外マイナーが他のものを真に含んではならないことが示され、すべての非スプリットマトロイドがこれらの5つの中のいずれかをマイナーとして含むことが保証され、完全性が確立される。
• 巡回フラットと双対性による特徴付けは、スプリットマトロイドの代替的で完全に構造的な基準を提供する：連結マトロイドは、すべての適切な巡回フラット上の連結制限が一様である場合に限りスプリットである。