[论文解读] Conjectures for Ehrhart $h^*$-vectors of Hypersimplices and Dilated Simplices

Nick Early|arXiv (Cornell University)|Oct 26, 2017

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

一句话总结

本文提出了通过带装饰的有序集合划分及其绕数统计，对单纯形、稀释单纯形和立方体的通用截面的Ehrhart h*-向量进行组合解释。它推测h*-向量的条目按绕数计数此类划分，从而提供了一个统一的组合框架，与已知的Ehrhart多项式计数和几何体积公式一致。

ABSTRACT

We formulate conjectures giving combinatorial interpretations of the Ehrhart $h^*$-vector, for hypersimplices, for dilated simplices and for generic cross-sections of cubes, in terms of certain decorated ordered set partitions. All were formulated and checked computationally during our graduate study at Penn State.

研究动机与目标

• 为超单纯形、稀释单纯形和立方体的通用超平面截面的Ehrhart h*-向量提供组合解释。
• 建立h*-向量条目与特定绕数的带装饰有序集合划分数量之间的对应关系。
• 通过绕数统计，将几何与代数Ehrhart理论统一于组合结构之中。
• 探索对称群作用是否保持由h*-向量计数的此类组合对象。
• 在毕业研究中通过计算验证猜想，将代数几何与离散组合学联系起来。

提出的方法

• 定义满足与几何对象相关约束的带装饰有序集合划分（例如，装饰和为a时适用于超单纯形）。
• 引入绕数映射：对每个划分，通过累积块位置的模差计算序列 (w₁,…,wₙ)，然后定义绕数 wₚ = (1/a)∑wᵢ。
• 将绕数用作分划统计量，对带装饰划分的集合进行分组。
• 推测给定多面体的h*-向量等于向量 (m₀, m₁, …)，其中 mᵢ 表示绕数 wₚ = i 的划分数量。
• 利用已知的Ehrhart多项式公式和生成函数，通过系数匹配验证猜想的h*-向量。
• 使用计算枚举在低维情形（例如 B₂,₃, ∆₃,₃, [0,2]³）中测试猜想。

实验结果

研究问题

• RQ1 能否将超单纯形 Ba,b 的Ehrhart h*-向量解释为按绕数分类的带装饰有序集合划分的分布？
• RQ2 稀释单纯形 ∆ₙᵣ 的h*-向量是否等于按绕数分类的单纯形带装饰划分的分布？
• RQ3 立方体 [0,r]ⁿ 的通用截面 In,r,s 的h*-向量是否计数装饰和为 s 且具有给定绕数的带装饰划分？
• RQ4 是否存在 Sn-不变的组合对象，与超单纯形和稀释单纯形的h*-向量相对应？
• RQ5 绕数统计能否被推广，从而为这三类多面体提供统一的框架？

主要发现

• 对于超单纯形 B₂,₃，h*-向量 (1,5,5) 与按绕数分类的超单纯形带装饰划分数量一致：1 个绕数 wₚ=0，5 个绕数 wₚ=1，5 个绕数 wₚ=2。
• 对于稀释单纯形 ∆₄,₄，h*-向量 (1,31,31,1) 由生成函数 (1+31x+31x²+x³)/(1−x)⁴ 确认，与每种绕数的单纯形划分数量一致。
• 对于 ∆ₙ,ᵣ 且 1 ∈ L₁ 的单纯形带装饰划分总数为 rⁿ⁻¹，与h*-向量之和 rⁿ⁻¹ 一致。
• 模运算截面 (Z/r)ⁿ —— 定义为 ∑xᵢ ≡ 0 mod r —— 是广义超单纯形的格点，并恰好对应绕数 0 的类。
• 绕数映射是单纯形带装饰划分与 (Z/r)ⁿ 中满足 ∑xᵢ ≡ 0 mod r 的 n 元组之间的双射。
• 对于 3-立方体 [0,2]³，截面 In,2,s 的h*-向量为 (1), (1,3), (1,4,1), (1,3), (1)，与图5中按绕数分类的带装饰划分列计数完全匹配。