[论文解读] A quasisymmetric function for matroids

Louis J. Billera, Ning Jia+1 more|arXiv (Cornell University)|Jun 26, 2006

Advanced Combinatorial Mathematics参考文献 19被引用 5

一句话总结

本文引入了一种新的拟对称函数不变量，用于拟阵，该不变量编码了在唯一基上最小化总权重的权重向量的分布。本文建立了从拟阵霍普夫代数到拟对称函数的霍普夫代数同态，并在有理系数下证明了满射性，同时展示了该不变量在对偶性和多面体分解下的简洁行为，从而提供了一种检测拟阵基多面体是否具有非平凡分解的判别准则。

ABSTRACT

A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.

研究动机与目标

• 使用拟对称函数定义拟阵的新同构不变量。
• 建立该不变量是从拟阵霍普夫代数到拟对称函数霍普夫代数的霍普夫代数同态。
• 证明该不变量是拟阵基多面体分解上的取值函数，从而实现对不可约多面体的检测。
• 将该不变量与 $P$-划分计数器联系起来，并为拟对称函数代数提供新的整数基。
• 通过拉福尔格关于有限实现的研究，展示该不变量在研究拟阵实现中的实用性。

提出的方法

• 将拟对称函数 $F(M,\mathbf{x})$ 定义为在 $M$-通用权重函数 $f:E\to\mathbb{P}$ 上的生成函数，其中 $f$ 为元素分配不同权重，使得最小总权重由唯一基实现。
• 通过证明任意单项式 $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$（满足 $i_1 < \cdots < i_k$）的系数仅依赖于组合 $\alpha$ 而不依赖于指标，从而证明 $F(M,\mathbf{x})$ 的拟对称性，这是由于贪心算法仅依赖于相对权重。
• 通过证明其与拟阵直和及对偶的相容性，建立 $F(M,\mathbf{x})$ 为霍普夫代数同态，并通过为 $\mathcal{QS}ym$ 构造新基，证明其在 $\mathbb{Q}$ 上的满射性。
• 通过偏序集 $Q_\sigma$ 证明 $F(M,\mathbf{x})$ 可展开为 $P$-划分计数器的和，并证明 $F(M,\mathbf{x})$ 的反元素（antipode）计数了最小化总权重的基的重数。
• 证明 $F(M,\mathbf{x})$ 是拟阵基多面体上的取值函数，即其在分解下满足可加性；并利用此性质证明：若 $F(M,\mathbf{x})$ 不可约，则其基多面体不存在非平凡分解。
• 通过拟阵结构构造 $\mathcal{QS}ym$ 的两个新 $\mathbb{Z}$-基：$F(R_\sigma,\mathbf{x})$ 和 $F(Q_\sigma,\mathbf{x})$，并利用 $LU$-分解证明其单模关系。

实验结果

研究问题

• RQ1 能否构造一个拟对称函数作为拟阵的不变量，以捕捉在唯一基上最小化总权重的权重向量的分布？
• RQ2 该拟对称函数是否是从拟阵霍普夫代数到拟对称函数霍普夫代数的霍普夫代数同态，且在 $\mathbb{Q}$ 上是否满射？
• RQ3 该不变量在拟阵对偶性和霍普夫反元素作用下如何表现？
• RQ4 该不变量能否表示为 $P$-划分计数器的和？其与 $\mathcal{QS}ym$ 的已知基有何关联？
• RQ5 该不变量的取值性质是否可用于检测拟阵基多面体是否可分解为更小的拟阵基多面体的非平凡分解？

主要发现

• 拟对称函数 $F(M,\mathbf{x})$ 是拟阵的一个良好定义的同构不变量，作为在 $M$-通用权重函数上生成函数构造，其中最小总权重由唯一基实现。
• 该函数是拟对称的，因为其任意单项式 $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$（满足 $i_1 < \cdots < i_k$）的系数仅依赖于组合 $\alpha$ 而不依赖于指标，这是由于贪心算法仅依赖于相对权重。
• 映射 $M \mapsto F(M,\mathbf{x})$ 是从拟阵霍普夫代数到 $\mathcal{QS}ym$ 的霍普夫代数同态，且在使用有理系数时是满射的。
• 在拟阵对偶下，$F(M^*,\mathbf{x})$ 由 $F(M,\mathbf{x})$ 经霍普夫反元素作用得到，且反元素生成函数计数了最小化总权重的基的数量。
• 函数 $F(M,\mathbf{x})$ 是拟阵基多面体上的取值函数，即若一个基多面体可分解为更小的拟阵基多面体，则 $F(M,\mathbf{x})$ 在该分解下满足可加性；因此，若 $F(M,\mathbf{x})$ 不可约，则该多面体不存在此类分解。
• 本文构造了 $\mathcal{QS}ym$ 的两个新 $\mathbb{Z}$-基：$F(R_\sigma,\mathbf{x})$ 和 $F(Q_\sigma,\mathbf{x})$，并利用 $LU$-分解证明其单模关系，其中矩阵 $A_n$ 可分解为 $L_nU_n$。