[論文レビュー] Ehrhart polynomials with negative coefficients

Takayuki Hibi, Akihiro Higashitani+2 more|arXiv (Cornell University)|Jun 1, 2015

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿では、次元 $ d \geq 4 $ の整数凸多面体が、$ n $ から $ n^{d-2 $ のすべての項に対して負の係数を有するEhrhart多項式をもつことの存在を確立し、さらに、ちょうど1つの係数が負で他はすべて正であるような多面体の構成も行っている。これらの結果は、既知の1次元および3次元多面体を用いた直接積構成により得られ、組合せ的恒等式と帰納法を用いて、必要な係数の符号を保証している。

ABSTRACT

It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the coefficient of $n^k$ of the Ehrhart polynomial $i(\mathcal{P},n)$ of $\mathcal{P}$ is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes.

研究の動機と目的

• 次元 $ d \geq 4 $ の整数凸多面体が、$ n, n^2, \ldots, n^{d-2} $ のすべての項に対して負の係数を有するEhrhart多項式をもつことの存在を示すこと。
• $ d \geq 3 $ および $ 1 \leq k \leq d-2 $ に対して、$ n^k $-係数のみが負で他はすべて正であるような $ d $ 次元の整数凸多面体を構成すること。
• 低次元の整数凸多面体のEhrhart多項式係数のすべての可能な符号パターンを分類すること。

提案手法

• 整数凸多面体の直接積構成を用いて、Ehrhart多項式を乗算し、整数性を保ちつつ係数の制御を可能にする。
• 係数の符号を制御可能な既知の1次元区間 $ \ell_m $ および特定の3次元単体 $ \mathcal{Q}_m^{(3)} $ のEhrhart多項式を活用する。
• 二項係数を含む組合せ的恒等式を用いて、補助関数 $ g(d,j) $ の正値性を証明し、高次元における負の係数を保証する上で不可欠な役割を果たす。
• 次元 $ d \geq 7 $ に対して帰納法を用い、$ d=5,6 $ の基本ケースを検証することで、積多項式における係数の符号挙動を確立する。
• 5次元および6次元における明示的例を、$ \ell_m $、$ \mathcal{Q}_m^{(3)} $、および直接積を組み合わせることで構成し、Ehrhart多項式および係数の符号を検証する。
• 低次元におけるさまざまな構成多面体のEhrhart多項式を明示的に計算することで、係数の符号パターンを分析する。

実験結果

リサーチクエスチョン

• RQ1 次元 $ d \geq 4 $ の整数凸多面体のEhrhart多項式が、$ n $ から $ n^{d-2} $ までのすべての係数を負に持つことは可能か？
• RQ2 任意の $ d \geq 3 $ および $ 1 \leq k \leq d-2 $ に対して、$ n^k $-係数のみが負で他はすべて正であるような $ d $ 次元の整数凸多面体が存在するか？
• RQ3 低次元における整数凸多面体のEhrhart多項式の係数の完全な符号パターンの集合は何か？
• RQ4 既知の最高次および2番目に高い次数の項の正値性を超えて、Ehrhart多項式の係数符号を独立に制御することは可能か？

主な発見

• すべての $ d \geq 4 $ に対して、$ n, n^2, \ldots, n^{d-2} $ のすべての項に対して負の係数を有する $ d $ 次元の整数凸多面体が存在する。
• すべての $ d \geq 3 $ および $ 1 \leq k \leq d-2 $ に対して、$ n^k $-係数のみが負で他はすべて正であるような $ d $ 次元の整数凸多面体が存在する。
• 5次元および6次元におけるこのような多面体の明示的構成が提供されており、特に $ \mathcal{P}_{1,2}^{(5)} $ はEhrhart多項式 $ \frac{5}{6}n^5 + \frac{17}{4}n^4 + \frac{29}{6}n^3 - \frac{9}{4}n^2 - \frac{8}{3}n + 1 $ をもち、$ n^2 $ および $ n $ の係数が負であることを示している。
• 6次元において、多面体 $ \mathcal{P}_{1,4}^{(6)} $ はEhrhart多項式 $ \frac{16}{3}n^6 + \frac{14}{3}n^5 - \frac{1}{3}n^4 + 4n^3 + 2n^2 - \frac{2}{3}n + 1 $ をもち、$ n^4 $-係数が負で他はすべて正であることを確認している。
• 多面体 $ \mathcal{P}_{2,4}^{(6)} $ はEhrhart多項式 $ \frac{371}{3}n^6 + \frac{971}{120}n^5 - \frac{37}{24}n^4 + \frac{1799}{24}n^3 - \frac{1}{8}n^2 + \frac{799}{20}n + 1 $ をもち、$ n^4 $-係数が負で他はすべて正であることを示している。
• 本稿では、低次元においてすべての符号パターンが実現可能であることを確認しており、$ n^k $（$ 1 \leq k \leq d-2 $）の係数について、正負のすべての組み合わせを示す明示的例が提示されている。