[論文レビュー] The antichain of excluded minors for the class of gammoids is maximal

Dillon Mayhew|arXiv (Cornell University)|Jan 16, 2016

Advanced Topics in Algebra参考文献 8被引用数 6

ひとこと要約

本稿は、任意のガモイド $N$ に対して、ガモイドのクラスの除外最小因子 $M$ が存在し、$M$ が $N$ をマイナーとして持つことを証明する。証明では、巧みに設計されたガモイドにおけるサイクルハイパープランを緩和することで、このような $M$ を構成し、ガモイドの除外最小因子の集合がマイナー順序における最大反鎖をなしていること、およびそのような除外最小因子が無限に存在することを示している。

ABSTRACT

Every gammoid is a minor of an excluded minor for the class of gammoids.

研究の動機と目的

• ジーリーンの予想、すなわち、すべてのガモイドがガモイドのクラスの除外最小因子のマイナーとして現れるかどうかを解明すること。
• ガモイドの除外最小因子の集合が、マトロイドのマイナー順序において最大反鎖をなすことを確立すること。
• ガモイドのクラスに無限に多くの除外最小因子が存在することを示すこと。これは、先行する可表示性およびマイナー閉包に関する結果を拡張する。

提案手法

• 与えられたガモイド $N$ から、補助的頂点および弧を導入することで、サイクルハイパープラン $C \cup D$ を持つ構造を備えたガモイド $M'$ を構成する。
• $M'$ におけるサイクルハイパープラン $C \cup D$ を緩和し、新たなマトロイド $M$ を得る。この $M$ が任意の体上で非可表示可能であることを、イングルトン不等式の違反によって示す。
• 特定の要素がマイナーにおいて自由に配置可能であるという性質を用いて、$M$ のすべての単一要素削除および縮約がガモイドであることを証明する。
• 有向グラフにおける連結集合の構造を用いて、ガモイド $L(G, S, T)$ を定義し、$M$ のマイナーがガモイド性を保つことを検証する。
• 厳密ガモイドとトランスバーサルマトロイドの双対性を活用し、無限体上での可表示性を保証する。
• 帰納法および構造的分解を用いて、$M$ が $N$ をマイナーとして持つこと、および $M$ のすべての真のマイナーがガモイドであることを検証する。

実験結果

リサーチクエスチョン

• RQ1 任意のガモイド $N$ は、ガモイドのクラスの除外最小因子のマイナーとして現れるか？
• RQ2 ガモイドの除外最小因子の集合は、マイナー順序において最大反鎖か？
• RQ3 すべての単一要素マイナーがガモイドのままとなるような、ガモイドのクラスの除外最小因子を構成可能か？
• RQ4 このような除外最小因子の存在は、ガモイドのクラスに無限に多くの除外最小因子が存在することを示唆するか？
• RQ5 この構成はマイナー閉包性を保ちつつガモイド性を破るよう設計可能か？

主な発見

• ガモイドのクラスの除外最小因子の反鎖は最大である。これは、任意のマトロイドが除外最小因子のマイナーであるか、またはそのマイナーとして含まれることを意味する。
• ガモイドのクラスに無限に多くの除外最小因子が存在する。これは、ある一つの除外最小因子 $M$ がすべてのガモイドをマイナーとして持つことによって確認された。
• 構成されたマトロイド $M$ はイングルトン不等式を違反するため、任意の体上で非可表示可能であり、したがってガモイドではないことが証明される。
• $M$ のすべての単一要素削除および縮約はガモイドであるため、$M$ がガモイドのクラスの除外最小因子であることが確認される。
• この構成は、matroidunion.org のブログに掲載された以前のスケッチにおける誤りを是正し、任意の与えられたガモイド $N$ に対してこのような $M$ の存在を厳密に証明する。
• 証明により、ガモイドのクラスは除外最小因子によって有限に公理化可能でないことが示された。これは、有限体の場合とは対照的である。