[论文解读] Combinatorial positivity of translation-invariant valuations

Katharina Jochemko, Raman Sanyal|arXiv (Cornell University)|May 27, 2015

Advanced Combinatorial Mathematics被引用 2

一句话总结

本文引入了凸多面体上平移不变取值函数的组合正性概念，推广了Ehrhart h*-向量的非负性。它通过组合方式完全刻画了普遍的组合正性取值函数，证明了体积是唯一在缩放意义下满足该性质的取值函数，并为格点多面体建立了唯一的组合正性基底的离散Hadwiger定理。

ABSTRACT

We introduce the notion of combinatorial positivity of translation-invariant valuations on convex polytopes that extends the nonnegativity of Ehrhart h*-vectors. We give a surprisingly simple characterization of combinatorially positive valuations that implies Stanley's nonnegativity and monotonicity of h*-vectors and generalizes work of Beck et al. (2010) from solid-angle polynomials to all translation-invariant simple valuations. For general polytopes, this yields a new characterization of the volume as the unique combinatorially positive valuation up to scaling. For lattice polytopes our results extend work of Betke--Kneser (1985) and give a discrete Hadwiger theorem: There is essentially a unique combinatorially-positive basis for the space of lattice-invariant valuations. As byproducts of our investigations, we prove a multivariate Ehrhart-Macdonald reciprocity and we show universality of weight valuations studied in Beck et al. (2010).

研究动机与目标

• 将Ehrhart h*-向量的非负性概念推广至凸多面体上更广泛的平移不变取值函数类。
• 提供组合正性取值函数的统一刻画，推广先前关于体素角多项式与h*-向量单调性的结果。
• 通过识别唯一的组合正性基底，为格点不变取值函数建立类Hadwiger型的离散定理。
• 作为主框架的副产品，证明多变量Ehrhart-Macdonald对偶性及权取值函数的普遍性。

提出的方法

• 引入组合正性概念作为非负h*-向量的推广，通过多面复形上取值的符号条件进行定义。
• 应用对偶性论证与平移不变取值函数的结构理论，通过其在单形多面体上的行为刻画组合正性取值函数。
• 利用Ehrhart多项式及其多变量推广理论，推导出多变量Ehrhart-Macdonald对偶性定律。
• 借助Beck等人（2010）提出的权取值函数的普遍性，证明在组合正性条件下，它们能张成格点不变取值函数的空间。
• 应用Betke–Kneser的格点不变取值函数分解定理，识别在正性条件下的一组典范基底。
• 运用表示论与组合技巧，证明体积是唯一在缩放意义下满足组合正性条件的取值函数。

实验结果

研究问题

• RQ1 哪些条件可刻画平移不变取值函数的组合正性，从而推广h*-向量的非负性？
• RQ2 组合正性概念如何用于对凸多面体上所有此类取值函数进行分类？
• RQ3 体积是否是唯一在缩放意义下满足组合正性条件的平移不变取值函数？
• RQ4 对于格点不变取值函数，是否存在类Hadwiger型的离散定理？若存在，其组合正性基底的结构如何？
• RQ5 能否为一般平移不变取值函数建立多变量Ehrhart-Macdonald对偶性？

主要发现

• 组合正性取值函数完全由其在多面复形上取值的简单符号条件刻画，推广了Stanley的h*-向量非负性结果。
• 体积是唯一在缩放意义下满足组合正性条件的平移不变取值函数，确立了该类取值函数空间中的唯一性结果。
• 对于格点多面体，存在唯一的组合正性基底，用于格点不变取值函数空间，从而导出离散Hadwiger定理。
• 作为副产品，建立了多变量Ehrhart-Macdonald对偶性定律，将经典对偶性推广至多变量情形。
• 此前由Beck等人研究的权取值函数被证明具有普遍性：在组合正性条件下，它们能张成格点不变取值函数的空间。
• 该框架推广并统一了关于体素角多项式与h*-向量单调性的结果，提供了更广泛的代数与组合基础。