[论文解读] The number of matroids on a finite set

Mark Dukes|ArXiv.org|Nov 24, 2004

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

一句话总结

本文提供了有限集上拟阵的新计数结果，重点关注秩-2及低秩拟阵，并建立了拟阵计数序列尾部的对数凸性。研究引入了当 $n = 2^m - 1$ 时秩-$r$ 拟阵的递归下界，通过一类特殊拟阵表征了点-线-面猜想，并呈现了至八元素的拟 paving 拟阵计数的两张新表格。

ABSTRACT

In this paper we highlight some enumerative results concerning matroids of low rank and prove the tail-ends of various sequences involving the number of matroids on a finite set to be log-convex. We give a recursion for a new, slightly improved, lower bound on the number of rank-$r$ matroids on $n$ elements when $n=2^m-1$. We also prove an adjacent result showing the point-lines-planes conjecture to be true if and only if it is true for a special subcollection of matroids. Two new tables are also presented, giving the number of paving matroids on at most eight elements.

研究动机与目标

• 通过区分同构类与非同构拟阵，解决文献中关于“拟阵数量”一词的歧义。
• 通过递归构造，改进 $n = 2^m - 1$ 时秩-$r$ 拟阵数量的下界估计。
• 通过证明点-线-面猜想成立当且仅当其对某一类特定拟阵成立，来研究该猜想。
• 计算并呈现至八元素的拟 paving 拟阵及非同构拟 paving 拟阵的计数表格。
• 建立拟阵计数序列尾部的对数凸性，分析其增长特性。

提出的方法

• 利用基交换公理和拟阵对偶性来定义和分类拟阵，重点分析秩、平面（flat）及独立性。
• 引入自由竖立（free erection）与上截断（upper truncation）的概念，以关联不同秩的拟阵，并构建递归下界。
• 应用 $d$-划分与平面结构的概念，分析拟阵几何性质，并推导计数约束。
• 通过基于 C 语言的程序进行计算枚举，生成至八元素的拟 paving 拟阵的确切计数。
• 利用第二类斯特林数与贝尔数的组合界，估算拟阵计数的增长趋势。
• 应用第二类威特尼数理论，分析平面结构及其在拟阵计数中的作用。

实验结果

研究问题

• RQ1 对于 $n = 2^m - 1$ 的情形，秩-$r$ 拟阵数量的精确渐近行为是什么？
• RQ2 如何利用递归竖立与自由竖立技术，构建更紧致的秩-$r$ 拟阵数量下界？
• RQ3 点-线-面猜想在何种条件下成立？能否将其简化为拟阵的一个子类问题？
• RQ4 至八元素的拟 paving 拟阵与非同构拟 paving 拟阵的确切数量是多少？
• RQ5 拟阵计数序列的尾部是否具有对数凸性？这对其增长特性有何含义？

主要发现

• 本文证明了计数拟阵的序列尾部具有对数凸性，支持了拟阵数量呈超指数增长的猜想。
• 当 $n = 2^m - 1$ 时，推导出秩-$r$ 拟阵数量的新递归下界，优于先前估计。
• 点-线-面猜想成立当且仅当其对不含环且所有 2-元组均独立的拟阵子类成立。
• 本文呈现两张新表格：一张为拟 paving 拟阵数量 $|\mathbb{M}_{r}^{r-1}(S_n)|$，另一张为非同构拟 paving 拟阵数量 $|\mathcal{M}_{r}^{r-1}(S_n)|$，均至 $n=8$。
• 在 $n=8$ 个元素时，非同构简单拟阵的总数为 950，非同构拟阵的总数为 1,724。
• 在 $n=8$ 个元素时，非同构拟 paving 拟阵的数量为 439，拟 paving 拟阵的总数为 5,137,322。