[论文解读] Berline-Vergne valuation and generalized permutohedra

Federico Castillo, Fu Liu|arXiv (Cornell University)|Sep 25, 2015

Advanced Combinatorial Mathematics参考文献 13被引用 6

一句话总结

本文研究了广义排列多面体上的伯林-伯尔热（BV）取值，证明了在维数不超过6的排列多面体以及余维数至多为3的面中，BV-正性成立。本文建立BV-正性蕴含Ehrhart正性的关系，为所有积分广义排列多面体具有正Ehrhart系数的猜想提供了新方法，通过在排列多面体中对格点计数进行唯一且对称的构造。

ABSTRACT

Generalizing a conjecture by De Loera et al., we conjecture that integral generalized permutohedra all have positive Ehrhart coefficients. Berline and Vergne construct a valuation that assigns values to faces of polytopes, which provides a way to write Ehrhart coefficients of a polytope as positive sums of these values. Based on available results, we pose a stronger conjecture: Berline-Vergne's valuation is always positive on permutohedra, which implies our first conjecture. This article proves that our strong conjecture on Berline-Vergne's valuation is true for dimension up to 6, and is true if we restrict to faces of codimension up to 3. In addition to investigating the positivity conjectures, we study the Berline-Vergne's valuation, and show that it is the unique construction for McMullen's formula used to describe number of lattice points in permutohedra under certain symmetry constraints. We also give an equivalent statement to the strong conjecture in terms of mixed valuations.

研究动机与目标

• 通过将所有积分广义排列多面体的Ehrhart系数为正的猜想归约为正则排列多面体上伯林-伯尔热取值的正性，来证明该猜想。
• 建立在排列多面体的对称性约束下，BV-取值是满足麦克马伦公式（McMullen’s formula）的唯一构造。
• 研究排列多面体面上BV-取值的结构，并将其与混合取值及Ehrhart系数关联。
• 提供计算与理论证据支持BV-正性猜想，包括对维数高达500的高维排列多面体中边的验证。

提出的方法

• 使用伯林-伯尔热构造定义一个取值 α(F,P)，为多面体的面分配数值，从而实现Ehrhart多项式向正项的分解。
• 通过显式计算与对称性约化，证明正则排列多面体在维数至多为6时的BV-正性。
• 将BV-取值应用于余维数至多为3的面，利用递推公式与线性系统验证正性。
• 建立强猜想的等价形式，以混合格点取值表示，将其与混合体积及对称多面体结构关联。
• 使用计算代数求解 Πₙ 中边的 α-值的线性系统，n 最高达500，确认这些情况下的正性。
• 证明在所有满足麦克马伦公式于排列扇形（permutohedral fans）的解中，BV-取值是唯一满足对称性与取值公理的解。

实验结果

研究问题

• RQ1 伯林-伯尔热取值是否在所有正则排列多面体上恒为正，且是否蕴含所有广义排列多面体的Ehrhart正性？
• RQ2 BV-取值是否是麦克马伦公式在坐标置换下不变且满足排列扇形取值公理的唯一解？
• RQ3 BV-取值能否等价地用混合格点取值表示，且该等价性是否支持正性猜想？
• RQ4 广义排列多面体中维数为 n 的边的 α-值是否恒为正，且能否对所有 n 系统性地证明？
• RQ5 外角构造 γ(F,P) 是否满足排列多面体的麦克马伦公式，为何其在变形中失效？

主要发现

• 伯林-伯尔热取值在维数不超过6的所有正则排列多面体的面上被证明为正。
• BV-取值在任意正则排列多面体中余维数至多为3的面上均为正。
• Πₙ 中边的 α-值已计算至 n = 500，所有值均为正，确认了高维排列多面体中边的强猜想。
• BV-取值是满足排列扇形对称性与取值公理下麦克马伦公式的唯一构造。
• 以混合格点取值表示的强猜想等价形式已建立，为证明正性提供了新的代数路径。
• 外角构造 γ(F,P) 仅对柱状体（zonotopes）满足麦克马伦公式，对一般排列多面体不成立，因其值非有理数，且与BV-取值不一致。