[论文解读] Kinser inequalities and related matroids

Amanda Cameron|arXiv (Cornell University)|Jan 2, 2014

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

一句话总结

本文通过分析满足每一不等式的拟阵类，研究了Kinser不等式——拟阵的秩不等式层级——。研究证明这些类构成一个严格的无限层级，证明第五个Kinser类在对偶下不封闭，并为更高层级的非封闭性提供了证据，同时推测Dowling拟阵和$π$-可表示拟阵满足所有Kinser不等式。

ABSTRACT

Kinser developed a hierarchy of inequalities dealing with the dimensions of certain spaces constructed from a given quantity of subspaces. These inequalities can be applied to the rank function of a matroid, a geometric object concerned with dependencies of subsets of a ground set. A matroid which is representable by a matrix with entries from some finite field must satisfy each of the Kinser inequalities. We provide results on the matroids which satisfy each inequality and the structure of the hierarchy of such matroids.

研究动机与目标

• 表征满足每一Kinser不等式的拟阵类并理解其结构性质。
• 研究这些类的层级结构，确定其是否在对偶和子式等基本拟阵运算下封闭。
• 检验验证Kinser不等式的计算复杂性，并评估可表示拟阵的有限公理化是否可行。
• 研究排除极小子式在Kinser层级中的作用，并强化关于可表示性无限排除极小子式的现有结果。
• 推测某些拟阵类——特别是Dowling几何和$π$-可表示拟阵——满足所有Kinser不等式。

提出的方法

• 利用拟阵的秩函数，将第$n$个Kinser不等式表示为涉及基集子集并集的一组秩不等式。
• 将Kinser类$\mathcal{K}_n$定义为满足第$n$个Kinser不等式的拟阵集合，将$\mathcal{K}_n^*$定义为对偶类。
• 应用子式封闭性和直和封闭性，分析Kinser类的结构不变量。
• 采用计算与结构论证，证明$\mathcal{K}_5 \neq \mathcal{K}_5^*$，从而证明第五个Kinser类在对偶下不封闭。
• 利用斜部分域与链群理论定义$\mathbb{P}$-可表示拟阵，并将其与Kinser不等式关联。
• 借助已知的排除极小子式结果（如Mayhew–Newman–Whittle）证明，Kinser层级的每一层均包含无穷多个排除极小子式。

实验结果

研究问题

• RQ1 满足第$n$个Kinser不等式的拟阵类是否在对偶下封闭？
• RQ2 Kinser类的层级是否构成严格包含链，即$\mathcal{K}_{n+1} \subset \mathcal{K}_n$？
• RQ3 能否利用Kinser不等式的无限层级来刻画可表示拟阵，还是有限公理化不可能实现？
• RQ4 在非循环群上的Dowling几何是否满足所有Kinser不等式？
• RQ5 所有$\mathbb{P}$-可表示拟阵（对于斜部分域$\mathbb{P}$）是否必然属于所有$n$的$\mathcal{K}_n$？

主要发现

• 第五个Kinser类$\mathcal{K}_5$在对偶下不封闭，这是通过存在一个属于$\mathcal{K}_5$但其对偶不属于$\mathcal{K}_5$的拟阵所证明。
• 本文证明了$\mathcal{K}_5 \neq \mathcal{K}_5^*$，为Kinser层级的严格性及对偶下的非对称性提供了有力证据。
• 证明了对于任意无限域$\mathbb{K}$及任意$\mathbb{K}$-可表示拟阵$N$，在Kinser层级的每一层中均存在无穷多个$\mathbb{K}$-可表示性的排除极小子式。
• 在有限交换群上的Dowling几何若群同构于域乘法群的子群，则满足所有Kinser不等式。
• 本文提供了证据表明$\mathbb{P}$-可表示拟阵类满足所有Kinser不等式，支持了其普遍有效性的更广泛猜想。
• 提出了两个猜想：$\mathcal{K}_{n+1}^* \subseteq \mathcal{K}_n$ 和 $\mathcal{K}_\infty^* = \mathcal{K}_\infty$，暗示无限层级中存在更深层的对偶结构。