[论文解读] Strong Splitter Theorem

S. R. Kingan, Manoel Lemos|Jan 21, 2012

graph theory and CDMA systems参考文献 4被引用 4

一句话总结

本文提出了强拆分定理（Strong Splitter Theorem），这是在拟阵理论中经典拆分定理的改进，该定理保证了从一个子式 $N$ 到一个 3-连通拟阵 $M$ 的过程中，通过一系列 3-连通的单元素扩张或余扩张实现，且在每次余扩张前最多仅有两个连续的扩张。其关键贡献在于结构约束：若两个扩张后紧随一个余扩张，则这三个元素在结果拟阵中构成一个三元组（triad）。该结果使得对具有 $E_5$-子式但无 $E_4$-子式的二元几乎正则拟阵实现完全分类，表明它们同构于 $E_5$、$B$、$B^*$、$X_{12}$，或 $S_{3n+1}$、$\mathcal{F}_1$、或 $\mathcal{F}_2$ 的限制。该定理加强了对拟阵子式与正则性性质的分析。

ABSTRACT

The Splitter Theorem states that, if $N$ is a 3-connected proper minor of a 3-connected matroid $M$ such that, if $N$ is a wheel or whirl then $M$ has no larger wheel or whirl, respectively, then there is a sequence $M_0,..., M_n$ of 3-connected matroids with $M_0\cong N$, $M_n=M$ and for $i\in \{1,..., n\}$, $M_i$ is a single-element extension or coextension of $M_{i-1}$. Observe that there is no condition on how many extensions may occur before a coextension must occur. In this paper, we give a strengthening of the Splitter Theorem, as a result of which we can obtain, up to isomorphism, $M$ starting with $N$ and at each step doing a 3-connected single-element extension or coextension, such that at most two consecutive single-element extensions occur in the sequence (unless the rank of the matroids involved are $r(M)$). Moreover, if two consecutive single-element extensions by elements $\{e, f\}$ are followed by a coextension by element $g$, then $\{e, f, g\}$ form a triad in the resulting matroid. Using the Strong Splitter Theorem, we make progress toward the problem of determining the almost-regular matroids [6, 15.9.8]. {\it Find all 3-connected non-regular matroids such that, for all $e$, either $M\backslash e$ or $M/e$ is regular.} In [4] we determined the binary almost-regular matroids with at least one regular element (an element such that both $M\backslash e$ and $M/e$ is regular) by characterizing the class of binary almost-regular matroids with no minor isomorphic to one particular matroid that we called $E_5$. As a consequence of the Strong Splitter Theorem we can determine the class of binary matroids with an $E_5$-minor, but no $E_4$-minor.

研究动机与目标

• 通过在构建 3-连通拟阵时对扩张与余扩张序列施加结构约束，强化经典拆分定理。
• 对具有 $E_5$-子式但无 $E_4$-子式的二元几乎正则拟阵进行分类，解决拟阵正则性理论中的一个问题。
• 确定此类拟阵的完整集合，表明其仅限于特定已知类或小的例外情况。
• 证明 $M_{12}$ 是具有 $E_5$-子式但无 $E_4$-子式的二元拟阵类的拆分者（splitter），并利用新结构约束完成证明。

提出的方法

• 开发拆分定理的改进版本，将单元素扩张序列限制为在余扩张前最多连续两个扩张。
• 引入三元组条件：若两个扩张后紧随一个余扩张，则涉及的三个元素在结果拟阵中构成一个三元组。
• 利用强拆分定理分析 $E_5$ 的单元素扩张与余扩张，限制于无 $E_4$-子式的拟阵。
• 通过分析 $E_5$ 的矩阵表示中列的添加，并使用行与列运算，构建并分类所有此类扩张与余扩张。
• 证明：具有 $E_5$-子式但无 $E_4$-子式的唯一 3-连通二元拟阵为 $E_5$、$B$、$B^*$、$X_{12}$，或 $S_{3n+1}$、$\mathcal{F}_1$、或 $\mathcal{F}_2$ 的限制。
• 验证：在 $M_{12}$ 之外不存在进一步的余扩张而不引入 $E_4$-子式，从而确认 $M_{12}$ 为拆分者。

实验结果

研究问题

• RQ1 经典拆分定理能否被强化，以控制扩张与余扩张序列中连续扩张的数量？
• RQ2 具有 $E_5$-子式但无 $E_4$-子式的 3-连通二元几乎正则拟阵的完整集合是什么？
• RQ3 $M_{12}$ 是否为具有 $E_5$-子式但无 $E_4$-子式的二元拟阵类的拆分者？
• RQ4 在 3-连通拟阵序列中，若两个连续扩张后紧随一个余扩张，会引出何种结构约束？
• RQ5 在几乎正则性与子式回避的背景下，$S_{3n+1}$、$\mathcal{F}_1$ 或 $\mathcal{F}_2$ 的 3-连通限制中会生成哪些拟阵？

主要发现

• 强拆分定理确保：任意 3-连通拟阵 $M$ 均可从一个子式 $N$ 出发，通过一系列 3-连通的单元素扩张或余扩张构建，且在每次余扩张前最多仅有两个连续扩张。
• 若两个连续扩张后紧随一个余扩张，则涉及的三个元素在结果拟阵中构成一个三元组。
• 具有 $E_5$-子式但无 $E_4$-子式的唯一 3-连通二元拟阵为 $E_5$、$B$、$B^*$、$X_{12}$，或 $S_{3n+1}$、$\mathcal{F}_1$、或 $\mathcal{F}_2$（$n \geq 3$，$m,n,r \geq 1$）的限制。
• $M_{12}$ 是具有 $E_5$-子式但无 $E_4$-子式的二元拟阵类的拆分者，因为不存在不引入 $E_4$-子式的进一步余扩张。
• 在 $E_5$、$B$、$B^*$、$X_{12}$ 或指定族之外，不存在其他具有 $E_5$-子式但无 $E_4$-子式的 3-连通二元几乎正则拟阵，从而确认了分类的完备性。
• 拟阵 $H$（具有 $E_4$-子式）是任何超出例外情况的具有 $E_5$-子式的几乎正则拟阵的必要子式，意味着此类扩展中 $H$-子式的存在不可避免。