[논문 리뷰] Ehrhart polynomials with negative coefficients

Takayuki Hibi, Akihiro Higashitani외 2명|arXiv (Cornell University)|2015. 06. 01.

Advanced Combinatorial Mathematics인용 수 4

한 줄 요약

이 논문은 차원 $ d \geq 4 $ 에서의 정수 볼록 다면체가 $ n $ 에서 $ n^{d-2} $ 까지의 모든 항에 대해 음수 계수를 갖는 Ehrhart 다항식을 가질 수 있음을 증명하며, 또한 정확히 하나의 계수만 음수이고 나머지는 모두 양수인 다면체를 구성한다. 이러한 결과는 알려진 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 $ 에 대해 각각 $ d $ 차원의 정수 볼록 다면체를 구성하여, 오직 $ n^k $-계수만 음수이고 나머지는 모두 양수임을 보여주는 것.
• 저차원 정수 볼록 다면체의 Ehrhart 다항식 계수에 대한 가능한 모든 부호 패턴을 분류하는 것.

제안 방법

• 정수 볼록 다면체의 직접 곱 구조를 사용하여 Ehrhart 다항식을 곱하고, 정수성과 계수 제어를 유지하는 것.
• 계수의 부호를 제어할 수 있는 알려진 1차원 간격 $ \ell_m $ 과 특정 3차원 테트라헤드론 $ \mathcal{Q}_m^{(3)} $ 의 Ehrhart 다항식을 활용하는 것.
• 이차항 함수 $ g(d,j) $ 의 양수성을 보이기 위해 이항계수를 포함하는 조합 항등식을 적용하는 것으로, 고차원에서 음수 계수를 확보하는 데 필수적인 요소로 활용하는 것.
• 차원 $ d \geq 7 $ 에 대해 귀납법을 적용하고, $ d=5,6 $ 에서의 기본 사례를 검증하여 곱 다항식의 계수 부호 행동을 확립하는 것.
• 직접 곱과 $ \ell_m $, $ \mathcal{Q}_m^{(3)} $ 의 조합을 통해 차원 5와 6에서 명시적인 예를 구성하고, Ehrhart 다항식과 계수의 부호를 검증하는 것.
• 저차원에서 다양한 구성된 다면체의 Ehrhart 다항식을 명시적으로 계산하여 계수의 부호 패턴을 분석하는 것.

실험 결과

연구 질문

• RQ1 차원 $ d \geq 4 $ 에서의 정수 볼록 다면체의 Ehrhart 다항식이 $ n $ 에서 $ n^{d-2} $ 까지의 모든 계수를 음수로 가질 수 있는가?
• RQ2 임의의 주어진 $ d \geq 3 $ 와 $ 1 \leq k \leq d-2 $ 에 대해, $ d $ 차원의 정수 볼록 다면체 중에서 오직 $ n^k $-계수만 음수이고 나머지는 모두 양수인 것이 존재하는가?
• RQ3 저차원에서의 정수 볼록 다면체의 Ehrhart 다항식 계수에 대한 가능한 모든 부호 패턴의 완전한 집합은 무엇인가?
• RQ4 기존에 알려진 최고차항과 두 번째로 높은 차수 항의 양수성 외에도, 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 $ 범위에서 실현 가능함을 보여준다.