[论文解读] Sparse paving matroids, basis-exchange properties, and cyclic flats

Joseph E. Bonin|arXiv (Cornell University)|Nov 3, 2010

Advanced Graph Theory Research参考文献 23被引用 6

一句话总结

本文通过证明五项长期存在的基交换猜想适用于稀疏铺砌拟阵这一广泛类别，为这些猜想提供了有力证据——稀疏铺砌拟阵是指所有非生成圈均为超平面的拟阵。此外，本文还确立了稀疏铺砌拟阵可实现近乎最优的循环平坦集数量，其构造方法可产生约 $ 2^{n-1}/n^{3/2} $ 个在 $ n $ 个元素上的循环平坦集，接近理论上的上界 $ 2^{n+1}/(n+2) $。

ABSTRACT

We provide evidence for five long-standing, basis-exchange conjectures for matroids by proving them for the enormous class of sparse paving matroids. We also explore the role that these matroids may play in the following problem: as a function of the size of the ground set, what is the greatest number of cyclic flats that a matroid can have?

研究动机与目标

• 通过验证稀疏铺砌拟阵类中的五项主要开放猜想，为拟阵基交换理论中的五个重大猜想提供证据。
• 研究作为基集大小函数的拟阵所能拥有的最大循环平坦集数量。
• 探讨稀疏铺砌拟阵在最大化循环平坦集数量中的结构作用，鉴于其在几何与组合学中的重要意义。
• 通过展示其在循环平坦集计数中的极值性质，进一步支持渐近意义上几乎所有拟阵均为稀疏铺砌拟阵的猜想。
• 通过受格雷厄姆与斯洛恩关于二进制向量工作的构造启发，将循环平坦集计数与编码理论及组合设计联系起来。

提出的方法

• 利用结构分析与对偶性论证，证明稀疏铺砌拟阵的基交换猜想（1.1–1.5）。
• 利用稀疏铺砌拟阵的特征：当且仅当 $ M $ 与 $ M^* $ 均为铺砌拟阵时成立。
• 通过将 $ n $ 元集的 $ r $-子集按其二进制向量中 1 所在位置之和模 $ n $ 划分为 $ n $ 个等价类，构造稀疏铺砌拟阵。
• 利用同一类中向量至少在四个位置上不同的事实，确保存在具有大量圈-超平面的稀疏铺砌拟阵。
• 分析稀疏铺砌拟阵中的循环平坦集：其为 $ \nabla $、$ E(M) $ 以及圈-超平面，由此得出循环平坦集总数为 $ \binom{n}{\rfloor n/2\rfloor}/n + 2 $。
• 通过对 $ F-e $ 与 $ F \cup x $ 的闭包进行双重计数，推导出循环平坦集数量 $ z_n \leq 2^{n+1}/(n+2) $ 的上界。

实验结果

研究问题

• RQ1 能否证明五项基交换猜想——即猜想 1.1 至 1.5——在稀疏铺砌拟阵类中成立？
• RQ2 在 $ n $ 个元素的拟阵中，其最大循环平坦集数量是多少？该数量是否可由稀疏铺砌拟阵实现？
• RQ3 稀疏铺砌拟阵中的循环平坦集数量与理论上的上界 $ 2^{n+1}/(n+2) $ 相差多远？
• RQ4 格雷厄姆与斯洛恩的构造方法是否能产生具有渐近最优循环平坦集数量的稀疏铺砌拟阵？
• RQ5 稀疏铺砌拟阵类是否足以实现循环平坦集计数中的极值行为，从而支持‘几乎所有拟阵在渐近意义上都是稀疏铺砌拟阵’的猜想？

主要发现

• 所有稀疏铺砌拟阵的基对图 $ G(M) $ 均为连通图，从而证实了该类中猜想 1.1 的正确性。
• 所有稀疏铺砌拟阵及所有大小为 $ k \cdot r(M) $ 的多重集 $ S $，其图 $ G_M(S) $ 均为连通图，从而证实了该类中猜想 1.2 的正确性。
• 所有稀疏铺砌拟阵的图 $ G'_M(S) $ 均为连通图，从而证实了该类中猜想 1.3 的正确性，前提是所有余代数的猜想 1.1 与 1.2 均成立。
• 在 $ n $ 个元素的稀疏铺砌拟阵中，其循环平坦集数量至少为 $ \frac{2^{n-1}}{n^{3/2}} + 2 $，该结果源于具有 $ \binom{n}{\lfloor n/2 \rfloor}/n $ 个圈-超平面的构造。
• 循环平坦集数量 $ z_n $ 的上界为 $ \frac{2^{n+1}}{n+2} $，而稀疏铺砌构造所得的下界与该上界渐近接近，当 $ n \to \infty $ 时，上界与构造数量之比趋近于 2。
• 通过将 $ r $-子集按模 $ n $ 的和划分为 $ n $ 个类来构造稀疏铺砌拟阵，可得到一个包含 $ \binom{n}{r}/n $ 个圈-超平面的族，当 $ r = \lfloor n/2 \rfloor $ 时达到最大值，从而证实了其在循环平坦集数量上的近似最优性。