[论文解读] 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$。作者基於循環平坦集與對偶性的結構方法，證明任何非分裂的連通擬陣必包含這五種之一作為子式，從而完全分類了分裂擬陣的子式封閉類別。

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關於分裂擬陣類別之排除-極小子式的猜想。
• 提供一個完整且最小的排除-極小子式清單，以特徵化分裂擬陣的子式封閉類別。
• 利用循環平坦集與對偶性，建立非分裂擬陣的結構特徵，進而識別出禁止子式。
• 證明任何非分裂擬陣必包含五種特定擬陣之一作為子式，從而完全分類該類別。

提出的方法

• 基於基多面體中分裂超平面的多面體定義，作者在擬陣基多面體及其面的框架下進行研究。
• 採用基於循環平坦集的等價結構特徵，並利用「非分裂性」可由某個真循環平坦集的限制為連通且非均勻所偵測的事實。
• 應用對偶性，將分析簡化至連通擬陣，並確保子式-證據條件在對偶下保持不變。
• 利用任何在循環平坦集上具有連通非均勻限制的擬陣必包含$M(\mathcal{W}_2)$-子式的事實，進而導出五種排除-極小子式之一。
• 利用排除-極小子式的最小性，證明任一排除-極小子式不能真包含另一個，從而限制可能候選的範圍。
• 透過檢查其非分裂性與最小性，驗證所列五種擬陣——$S_0$、$S_1$、$S_2$、$S_3$、$S_4$——確實為排除-極小子式。

实验结果

研究问题

• RQ1 分裂擬陣的子式封閉類別的完整排除-極小子式清單為何？
• RQ2 Joswig與Schröter所識別的五種擬陣——$S_0$、$S_1$、$S_2$、$S_3$、$S_4$——是否為分裂擬陣的唯一排除-極小子式？
• RQ3 能否透過擬陣循環平坦集上的結構條件偵測其非分裂性？此條件是否導出有限的禁止子式清單？
• RQ4 分裂擬陣的類別是否僅透過排除這五種特定擬陣作為子式而完全特徵化？
• RQ5 每一個非分裂擬陣是否必然包含這五種之一作為子式？此結論能否透過對偶性與循環平坦集結構證明？

主要发现

• 分裂擬陣類別的排除-極小子式恰好為$S_0$、$S_1$、$S_2$、$S_3$與$S_4$，證實了Joswig與Schröter的猜想。
• 任何連通的非分裂擬陣必包含一個真循環平坦集$Z$，使得限制$M|Z$為連通且非均勻，此條件暗示存在$M(\mathcal{W}_2)$-子式。
• 子式$S_1$同構於$S_2^*$，且二者互為對偶或自對偶，此性質簡化了在對偶下的分類。
• 擬陣$S_0$是唯一不連通的排除-極小子式，為兩個$M(\mathcal{W}_2)$的直和，因而涵蓋了不連通的情形。
• 證明顯示任一排除-極小子式不能真包含另一個，且所有非分裂擬陣必包含這五種之一作為子式，從而確立了完整性。
• 透過循環平坦集與對偶性的特徵化，提供了一種純粹結構化的分裂擬陣判別準則：一個連通擬陣為分裂當且僅當其在任一真循環平坦集上的連通限制均為均勻。