[論文レビュー] The structure of binary matroids with no induced claw or Fano plane restriction

Marthe Bonamy, František Kardoš+3 more|arXiv (Cornell University)|Jun 11, 2018

Advanced Graph Theory Research参考文献 5被引用数 4

ひとこと要約

本稿は、クラウド $I_3$ およびファノ平面 $F_7$ を誘導部分構造として含まない単純な2進マトロイドの完全な構造定理を確立する。このようなマトロイドは、偶数平面マトロイド ($\mathcal{E}_3$) のクラスに属するか、アフィン幾何から二重化操作を経て得られるものであり、臨界数にきびしい上限が得られる。制限を追加しない場合、臨界数は無限大に達するが、$K_5$ も誘導部分構造として除外される場合には、臨界数は最大で2に制限される。

ABSTRACT

An 'induced restriction' of a simple binary matroid $M$ is a restriction $M|F$, where $F$ is a flat of $M$. We consider the class $\mathcal{M}$ of all simple binary matroids $M$ containing neither a free matroid on three elements (which we call a 'claw'), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in $\mathcal{M}$ have unbounded critical number, while the matroids in $\mathcal{M}$ not containing the clique $M(K_5)$ as an induced restriction have critical number at most $2$.

研究の動機と目的

• 誘導部分構造としてのクラウド $I_3$ およびファノ平面 $F_7$ を含まない単純な2進マトロイドのクラスを特徴付けること。
• このようなマトロイドの臨界数の振る舞い、特に誘導部分構造の除外との関係を特定すること。
• 二重化および準二重化操作を用いたこれらのマトロイドの構造的分解を確立すること。
• 追加の誘導部分構造（例：$K_5$）が除外される場合に、臨界数のきびしい上界を証明すること。
• アーベント射影幾何とフラットを用いた形式的枠組みを導入することで、マトロイド理論における誘導部分構造の理論を拡張すること。

提案手法

• マトロイドを、$G$ が2進射影幾何で $E \subseteq G$ であるペア $(E, G)$ として定義し、線形埋め込みを用いて部分構造を定義する。
• 線形単射 $\varphi$ を用いて誘導部分構造の概念を導入し、$\varphi(F) = E \cap \varphi(G')$ を満たすことで、部分構造が「誘導される」ことを保証する。
• 臨界数 $\chi(M)$ を、$G - E$ が次元 $n-k$ の射影幾何を含む最小の $k$ として定義し、彩色数の類似と関連付ける。
• 二重化操作を用いる：$M = (E, G)$ に対して、$M' = (\{0,1\} \times E, \mathbb{F}_2^{n+1} \setminus \{0\})$ を定義し、臨界数および誘導部分構造の性質を保存する。
• ハイパーハイパーパス $H$ の余次元1のフラット $H_0$ を基準に準二重化操作を導入し、$B_i = \{x \in H : |\{x, x+w\} \cap E| = i\}$ を用いて構造を分解する。
• フルランクマトロイドで誘導部分構造として $I_3$ や $F_7$ を含まないものは、必ず $\mathcal{E}_3$（偶数平面マトロイド）に属するか、$\operatorname{AG}^\circ(t-1,2)$ から二重化操作を経て得られる。

実験結果

リサーチクエスチョン

• RQ1 誘導部分構造として $I_3$ や $F_7$ を含まない単純な2進マトロイドの完全な構造的特徴付けは何か？
• RQ2 このクラスにおける臨界数の振る舞いはどのように変化するか？さらに誘導部分構造が追加で除外された場合にどのような上限が得られるか？
• RQ3 誘導部分構造として $I_3$ および $F_7$ を含まないマトロイドのクラスは、二重化および準二重化操作を用いて分解可能か？
• RQ4 このクラスにおいて臨界数は無限大に達するか？その場合、どのような条件下で有界になるか？
• RQ5 $K_5$ が誘導部分構造として果たす役割は、このようなマトロイドの臨界数を制約するためにどのような影響を及えるか？

主な発見

• 誘導部分構造として $I_3$ および $F_7$ を含まない単純な2進マトロイドのクラスは完全に特徴付けられる：フルランクマトロイドがこのような誘導部分構造を含まないための必要十分条件は、$\mathcal{E}_3$ に属するか、$\operatorname{AG}^\circ(t-1,2)$ から一連の二重化操作を経て得られるものであることである。
• 制限を追加しない場合、このクラスに属するマトロイドの臨界数 $\chi(M)$ は無限大に達する。これは定理1.3で示されている。
• $K_5$ も誘導部分構造として除外される場合、臨界数は $\chi(M) \leq 2$ に制限される。これは定理1.1で確立されている。
• 任意の固定された $N \in \mathcal{E}_3$ に対して、$I_3$、$F_7$、$N$ を誘導部分構造として含まないマトロイドの臨界数は $\chi(M) \leq \dim(N) + 4$ に有界である。これは定理1.2による。
• $\operatorname{AG}^\circ(t-1,2)$ の臨界数は2であり、この値は二重化操作によって保存される。これにより、二重化の場合の臨界数の上限が説明される。
• $M \in \mathcal{E}_3$ かつ $\chi(M) \geq 3$ ならば、$M$ は $K_5$ を誘導部分構造として含む。これは補題5.6で示されている。