[論文レビュー] Berline-Vergne valuation and generalized permutohedra

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

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

ひとこと要約

この論文は、一般化 permutohedra における Berline-Vergne (BV) 価値の性質を調査し、次元 6 までの permutohedra および余次元 3 以下の面に対してその正値性を証明する。BV-正値性が Ehrhart 正値性を示唆することを示し、permutohedra 内の格子点数え上げの唯一で対称的な構成を用いて、すべての整数係数一般化 permutohedra が正の 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.

研究の動機と目的

• すべての整数係数一般化 permutohedra が正の Ehrhart 係数を持つという予想を、正則 permutohedra 上での Berline-Vergne 価値の正値性に還元することで証明すること。
• 対称性制約のもとで McMullen の公式を満たす α(F,P) の構成として、BV 価値が permutohedra に対して一意であることを確立すること。
• permutohedra の面における BV 価値の構造を調査し、混合価値と Ehrhart 係数に関連付けること。
• BV-正値性予想に対する計算的および理論的証拠を提供し、次元 500 までの高次元 permutohedra の辺についての検証を含めること。

提案手法

• 多面体の面に値を割り当てるバリエーション α(F,P) を Berline-Vergne の構成によって定義し、Ehrhart 多項式の正の項への分解を可能にする。
• 明示的計算と対称性の削減を用いて、次元 6 までの正則 permutohedra における BV-正値性の証明。
• 余次元 3 以下の面への BV 価値の適用。再帰的公式と線形系を活用し、正値性の検証を行う。
• 強い予想の同値な定式化を混合格子点価値の観点から確立し、混合体積および対称的多面体的構造と関連付ける。
• 計算代数を用いて、n ≤ 500 の Πₙ の辺における α-値の線形系を解き、それらの正値性を確認する。
• permutohedral ファンに対して、対称性とバリエーション公理を満たすすべての McMullen の公式の解の中で、BV 価値が α(F,P) を一意に決定することの証明。

実験結果

リサーチクエスチョン

• RQ1 Berline-Vergne 価値は常に正則 permutohedra で正値であり、これはすべての一般化 permutohedra における Ehrhart 正値性を示唆するか？
• RQ2 BV 価値は、座標の置換に関して不変であり、permutohedral ファンのバリエーション公理を満たす McMullen の公式の解として一意的か？
• RQ3 BV 価値は混合格子点価値の観点から同値に表現可能であり、この同値性は正値性予想を支持するか？
• RQ4 一般化 permutohedra の辺における α-値は、次元 n に対して常に正値であり、すべての n に対して体系的に証明可能か？
• RQ5 外部角構成 γ(F,P) は正則 permutohedra に対して McMullen の公式を満たすか？そして変形に対してはなぜ失敗するのか？

主な発見

• 正則 permutohedra の次元 6 までのすべての面に対して、Berline-Vergne 価値が正値であることが証明された。
• 任意の正則 permutohedra において、余次元 3 以下のすべての面に対して BV 価値が正値である。
• n ≤ 500 の Πₙ の辺における α-値が計算され、すべて正値であった。これは高次元 permutohedra の辺における強い予想の確認である。
• BV 価値は、permutohedral ファンに対して対称性とバリエーション公理を満たすすべての解の中で、α(F,P) を一意に決定する。
• 混合格子点価値の観点から強い予想の同値な定式化が確立され、正値性を示す新しい代数的道筋が得られた。
• 外部角構成 γ(F,P) は zonotope の場合にのみ McMullen の公式を満たし、一般の permutohedra では失敗する。その理由は、値が有理数ではなく、BV 価値と一致しないからである。