[論文レビュー] Combinatorial positivity of translation-invariant valuations

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

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

この論文は、凸多面体上の平行移動不変な値関数に対する組合せ的正性の概念を導入し、Ehrhart h*-多項式の非負性を一般化する。組合せ的正性を満たす値関数を普遍的に特徴づけ、スケーリングを除き体積が唯一のそれであることを証明し、格子多面体に対して一意の組合せ的正性基底を持つ離散ハドウィガー定理を確立する。

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*-多項式の単調性に関する先行研究を一般化する、組合せ的正性値関数の統一的特徴づけを提供すること。
• 組合せ的正性条件の下で、格子不変値関数の空間に一意の組合せ的正性基底を特定することにより、格子不変値関数に対する離散ハドウィガー型定理を確立すること。
• 主フレームワークの副産物として、多変数 Ehrhart-Macdonald 対蹠性と重み値関数の普遍性を証明すること。

提案手法

• 多面体複体上の値関数の符号条件に基づく、非負 h*-多項式の一般化としての組合せ的正性の概念を導入する。
• 平行移動不変値関数の構造理論と双対性の議論を用い、単純多面体上での挙動を通じて、組合せ的正性値関数を特徴づける。
• Ehrhart多項式およびその多変数拡張の理論を用いて、多変数 Ehrhart-Macdonald 対蹠性法則を導出する。
• Beck ら（2010）による重み値関数の普遍性を活用し、組合せ的正性条件下でそれらが格子不変値関数の空間を張ることを示す。
• 格子不変値関数の Betke–Kneser 分解定理を応用し、正性条件の下で標準基底を特定する。
• 表現論的および組合せ的技法を用いて、スケーリングを除き体積が唯一の組合せ的正性値関数であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Ehrhart h*-多項式の非負性を一般化する、平行移動不変値関数の組合せ的正性を特徴づける条件は何か？
• RQ2 組合せ的正性の概念を用いて、凸多面体上でのすべてのこのような値関数を分類することは可能か？
• RQ3 スケーリングを除き、体積は唯一の平行移動不変な組合せ的正性値関数であるか？
• RQ4 格子不変値関数に対して離散ハドウィガー定理が成り立つか？もし成り立つならば、組合せ的正性基底の構造は何か？
• RQ5 一般の平行移動不変値関数に対し、多変数 Ehrhart-Macdonald 対蹠性を確立できるか？

主な発見

• 組合せ的正性値関数は、多面体複体上での値の符号条件によって完全に特徴づけられ、Stanley の h*-多項式非負性を一般化する。
• スケーリングを除き、体積は唯一の組合せ的正性値関数であることが示され、このような値関数の空間における一意性が確立される。
• 格子多面体に対して、格子不変値関数の空間に一意の組合せ的正性基底が存在し、これにより離散ハドウィガー定理が得られる。
• 副産物として、古典的対蹠性を多変数設定に拡張した多変数 Ehrhart-Macdonald 対蹠性法則が確立される。
• Beck らが以前に研究した重み値関数は、組合せ的正性条件下で、格子不変値関数の空間を張るという意味で普遍的であることが示された。
• 本フレームワークは、固体角多項式や h*-多項式の単調性に関する先行結果を一般化・統一し、より広範な代数的・組合せ的基盤を提供する。