[论文解读] 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$ 和Fano平面 $F_7$ 作为诱导限制的简单二元拟阵的完整结构定理。证明表明，此类拟阵要么属于偶面拟阵类 ($\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$ 或Fano平面 $F_7$ 作为诱导限制包含在内的简单二元拟阵类。
• 确定此类拟阵的临界数行为，特别是与排除的诱导限制之间的关系。
• 利用加倍与半加倍操作建立这些拟阵的结构分解。
• 在排除额外诱导限制（如 $K_5$）时，证明临界数的紧致上界。
• 通过基于环境射影几何与平面的正式化方法，拓展拟阵理论中诱导限制的理论。

提出的方法

• 将拟阵定义为二元射影几何 $G$ 与子集 $E \subseteq G$ 的配对 $(E, G)$，其中限制通过线性嵌入定义。
• 通过线性单射 $\varphi$ 引入诱导限制的概念，使得 $\varphi(F) = E \cap \varphi(G')$，确保限制为‘诱导’形式。
• 将临界数 $\chi(M)$ 定义为最小的 $k$，使得 $G - E$ 包含维度为 $n-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$ 作为诱导限制包含在内的简单二元拟阵的完整结构特征是什么？
• RQ2 在此类拟阵中，临界数的行为如何？当排除额外诱导限制时，可建立何种界限？
• RQ3 能否通过加倍与半加倍操作对排除 $I_3$ 和 $F_7$ 作为诱导限制的拟阵类进行分解？
• RQ4 该类拟阵的临界数是否无界？若无界，其在何种条件下变为有界？
• RQ5 $K_5$ 作为诱导限制在约束此类拟阵的临界数方面起何作用？

主要发现

• 排除诱导 $I_3$ 与 $F_7$ 限制的简单二元拟阵类被完全刻画：一个满秩拟阵无此类诱导限制，当且仅当其属于 $\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 所示。