[论文解读] Semimatroids and their Tutte polynomials

Federico Ardila|ArXiv.org|Aug 31, 2004

Advanced Combinatorial Mathematics参考文献 24被引用 20

一句话总结

本文引入了拟拟阵作为拟阵的推广，以捕捉仿射超平面排列的依赖结构。它为拟拟阵定义了Tutte多项式，证明其为通用的Tutte-Grothendieck不变量，并通过与带标记拟阵的双射关系以及单纯复形分解为布尔区间，给出了该多项式非负系数的组合解释。

ABSTRACT

We define and study "semimatroids", a class of objects which abstracts the dependence properties of an affine hyperplane arrangement. We show that geometric semilattices are precisely the posets of flats of semimatroids. We define and investigate the Tutte polynomial of a semimatroid. We prove that it is the universal Tutte-Grothendieck invariant for semimatroids, and we give a combinatorial interpretation for its non-negative coefficients.

研究动机与目标

• 为仿射超平面排列建立拟拟阵的拟阵理论抽象。
• 通过其平面格的偏序集，建立拟拟阵与几何半格之间的对应关系。
• 为拟拟阵定义Tutte多项式，并证明其为通用的Tutte-Grothendieck不变量。
• 给出拟拟阵Tutte多项式非负系数的组合解释。

提出的方法

• 将拟拟阵定义为三元组 $(S, \ncal C, r_{\cal C})$，并给出秩函数与中心集合的公理。
• 证明拟拟阵可通过模理想扩展为拟阵，并可从此类扩展中恢复。
• 利用 $ud$ 和 $du$ 映射，在拟拟阵与带标记拟阵之间建立双射。
• 在拟拟阵上定义删除、收缩与对偶运算，以构建Tutte多项式。
• 利用单纯复形 ${\cal C}$ 分解为区间 $[B-I(B), B\cup E(B)]$，将Tutte多项式计算为 $\sum_{B} q^{i(B)} t^{e(B)}$。
• 利用词典序基序与次模性，证明Tutte多项式系数的非负性及其组合意义。

实验结果

研究问题

• RQ1 如何将拟阵类结构推广，以比标准拟阵更自然地建模仿射超平面排列？
• RQ2 拟拟阵的Tutte多项式正确类比是什么？它是否满足Tutte-Grothendieck不变量的通用性质？
• RQ3 能否以基活动性来给出拟拟阵Tutte多项式系数的组合解释？
• RQ4 是否存在拟拟阵单纯复形的规范分解，以反映其Tutte多项式结构？
• RQ5 在拟拟阵背景下，删除、收缩与对偶运算的行为如何？

主要发现

• 拟拟阵的Tutte多项式是该类拟拟阵的唯一通用Tutte-Grothendieck不变量。
• Tutte多项式表达为 $T(q,t) = \sum_{B \text{ basis}} q^{i(B)} t^{e(B)}$，其中 $i(B)$ 和 $e(B)$ 分别为相对于基 $B$ 的内部活动与外部活动元素的数量。
• Tutte多项式系数的非负性源于单纯复形 ${\cal C}$ 分解为不相交的布尔区间 $[B-I(B), B\cup E(B)]$，每个基 $B$ 对应一个区间。
• 几何半格被表征为拟拟阵的平面格，扩展了经典的拟阵-格对应关系。
• 拟拟阵与带标记拟阵之间存在双射，使得Tutte多项式可表示为基活动性的形式。
• 拟拟阵上的删除、收缩与对偶运算定义良好，并与Tutte多项式构造相容。