[论文解读] Valuative invariants for large classes of matroids

Luis Ferroni, Benjamin Schröter|arXiv (Cornell University)|Aug 9, 2022

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文提出了一种基于松弛受压子集的新框架，系统研究了在大类拟阵（特别是分裂拟阵）中各类赋值不变量的行为。研究证明，关键不变量（如Tutte多项式、Ehrhart多项式、Kazhdan–Lusztig多项式以及Chow环）在分裂拟阵上的取值，完全由其在一类易于处理的子类——尖点拟阵上的行为决定，这一关系通过统一的单纯形超胞细分实现。

ABSTRACT

We study an operation in matroid theory that allows one to transition a given matroid into another with more bases via relaxing a \emph{stressed subset}. This framework provides a new combinatorial characterization of the class of split matroids. Moreover, it permits to describe an explicit matroid subdivision of a hypersimplex, which in turn can be used to write down concrete formulas for the evaluations of any valuative invariant on these matroids. This shows that evaluations on split matroids depend solely on the behavior of the invariant on tractable subclass of Schubert matroids. We address systematically the consequences of our approach for several invariants. They include the volume and Ehrhart polynomial of base polytopes, the Tutte polynomial, Kazhdan--Lusztig polynomials, the Whitney numbers of the first and second kind, spectrum polynomials and a generalization of these by Denham, chain polynomials and Speyer's $g$-polynomials, as well as Chow rings of matroids and their Hilbert--Poincaré series. The flexibility of this setting allows us to give a unified explanation for several recent results regarding the listed invariants; furthermore, we emphasize it as a powerful computational tool to produce explicit data and concrete examples.

研究动机与目标

• 为在大类拟阵（特别是分裂拟阵）上计算赋值不变量提供一种通用方法。
• 通过松弛受压子集的操作，对分裂拟阵提供组合特征刻画。
• 通过将各类不变量（如Ehrhart多项式、Tutte多项式、Kazhdan–Lusztig多项式）的计算归约为对一类易于处理的子类——尖点拟阵的取值，实现计算的统一。
• 证明单纯形超胞细分的结构编码了赋值不变量在拟阵多面体上的行为。
• 提供一种计算工具，用于生成各类拟阵中不变量的显式数据与具体实例。

提出的方法

• 引入松弛受压子集的操作，将一个拟阵转化为具有更多基的另一拟阵，从而实现可控的拟阵细分。
• 构建单纯形超胞的一个拟阵细分，其中每个胞腔对应一个拟阵，且分裂拟阵的基多面体作为胞腔出现。
• 利用不变量的赋值性质，将分裂拟阵上的取值归约为对一类称为尖点拟阵的Schubert拟阵子类的取值。
• 通过从拟阵多面体群到通用拟阵 $\mathsf{U}_{n,n}$ 的典范映射 $\Theta$，将 $\mathsf{U}_{n,n}$ 的Chow环用作赋值不变量的通用目标。
• 应用 $\mathcal{G}$-不变量及其通过Chow环的分解，从旗结构与链状数据重构不变量。
• 利用任一在含环拟阵上消失的赋值不变量均通过Chow环映射 $\Theta$ 因子分解的性质，实现不变量的统一描述。

实验结果

研究问题

• RQ1 如何以统一且系统的方式计算分裂拟阵上的赋值不变量？
• RQ2 受压子集及其松弛操作在构建单纯形超胞的拟阵细分中起什么作用？
• RQ3 Tutte多项式或Ehrhart多项式等不变量在分裂拟阵上的取值，在多大程度上仅依赖于一个更小、更易处理的拟阵子类？
• RQ4 $\mathsf{U}_{n,n}$ 的Chow环能否作为所有赋值不变量的通用容器？
• RQ5 单纯形超胞细分的结构在多大程度上反映了Kazhdan–Lusztig多项式与 $g$-多项式等不变量的行为？

主要发现

• 任何赋值不变量在分裂拟阵上的取值，完全由其在尖点拟阵子类上的取值决定。
• 单纯形超胞 admits 一个拟阵细分，其中任意分裂拟阵的基多面体均作为胞腔出现，从而实现不变量的显式计算。
• 映射 $\Theta: \mathfrak{M}_E \to \underline{\mathrm{CH}}(\mathsf{U}_{n,n})$ 为所有在含环拟阵上消失的赋值不变量提供了通用因子分解。
• $\mathsf{U}_{n,n}$ 的Chow环中，无环拟阵的 $\mathcal{G}$-不变量可因子分解，从而可从旗数据与链状向量重构不变量。
• 该框架统一并解释了近期关于Ehrhart多项式、Tutte多项式与Kazhdan–Lusztig多项式等不变量在拟阵类中结果。
• 该方法为生成分裂拟阵与尖点拟阵中不变量的显式数据与具体实例提供了强大计算工具。