[论文解读] Arithmetic matroids, Tutte polynomial, and toric arrangements

Michele D’Adderio, Luca Moci|arXiv (Cornell University)|May 16, 2011

Advanced Combinatorial Mathematics参考文献 17被引用 9

一句话总结

本文引入了算术拟阵作为组合结构，统一了有限生成阿贝尔群上的线性代数与算术，将拟阵推广为包含多重性函数的结构。通过广义环形排列，提供了算术图 Tutte 多项式的一个组合解释，推广了 Crapo 公式，并证明了可表示算术拟阵的系数非负性。

ABSTRACT

We introduce the notion of an arithmetic matroid, whose main example is given by a list of elements of a finitely generated abelian group. In particular we study the representability of its dual, providing an extension of the Gale duality to this setting. Guided by the geometry of generalized toric arrangements, we provide a combinatorial interpretation of the associated arithmetic Tutte polynomial, which can be seen as a generalization of Crapo's formula for the classical Tutte polynomial.

研究动机与目标

• 将算术拟阵形式化为拟阵的推广，以编码有限生成阿贝尔群中线性相关性与算术结构。
• 定义并研究算术拟阵的对偶，证明可表示算术拟阵的对偶仍是可表示的，从而推广 Gale 对偶性。
• 为一般算术拟阵提供算术图 Tutte 多项式的组合解释，推广 Crapo 对经典 Tutte 多项式的公式。
• 通过几何与组合构造，建立可表示算术拟阵的算术图 Tutte 多项式系数非负性的证明。
• 探索算术拟阵与广义环形排列之间的联系，利用后者作为组合框架的几何动机。

提出的方法

• 将算术拟阵定义为配备多重性函数 $ m $ 的拟阵，以捕捉有限生成阿贝尔群中元素列表的线性与算术数据。
• 引入可表示性的概念：若算术拟阵可由有限生成阿贝尔群中的一组元素导出，则称其为可表示的。
• 将算术图 Tutte 多项式构造为 $ M(x,y) = \sum_{A \subseteq X} m(A) (x-1)^{\text{rk}(X)-\text{rk}(A)} (y-1)^{|A|-\text{rk}(A)} $，推广经典 Tutte 多项式。
• 通过向量的删除与收缩操作推导算术图 Tutte 多项式的递推关系，表明其满足与组合解释相同的递推关系。
• 在广义环形排列的背景下，利用基与外部活动定义组合模型，从而基于双射给出多项式系数的解释。
• 证明算术图 Tutte 多项式满足与组合模型相同的递推关系，从而通过分子情形的归纳法建立解释，并推广至一般情形。

实验结果

研究问题

• RQ1 如何将经典 Tutte 多项式推广，以纳入有限生成阿贝尔群中元素的多重性与挠结构等算术数据？
• RQ2 在广义环形排列的背景下，算术图 Tutte 多项式系数的组合意义是什么？
• RQ3 可表示算术拟阵的对偶是否仍为可表示的？能否显式构造，从而推广 Gale 对偶性？
• RQ4 可表示算术拟阵的算术图 Tutte 多项式是否恒有非负系数？其组合原因是什么？
• RQ5 算术图 Tutte 多项式的取值是否对数凹或单峰？它们与环形排列的特征多项式有何关联？

主要发现

• 任何算术拟阵的算术图 Tutte 多项式均具有非负系数，该结论由基于基与外部活动的组合解释所确立。
• 该多项式满足删除-收缩递推关系，且该递推与组合模型兼容，通过归纳法证明了主要结果。
• 对于可表示算术拟阵，其算术图 Tutte 多项式与文献 [23] 中定义的多项式一致，后者已知可编码向量划分函数与拟多面体。
• 可表示算术拟阵的对偶是可表示的，且给出了该对偶性的显式构造，推广了 Gale 对偶性。
• 当多重性函数为平凡时，算术图 Tutte 多项式的组合解释推广了 Crapo 对经典 Tutte 多项式的公式。
• 取值 $ M(1-q,0) $ 与 $ M(1+q,1) $ 不一定具有单峰性或对数凹性，反例表明其系数分别为 $ 5-4q+6q^2-4q^3+q^4 $ 与 $ 5+4q+6q^2+4q^3+q^4 $。