Ehrhart 계수 주기의 자유를 풀다: 유리 다면체의 새로운 구성

초록

저자들은 유리 좌표를 가진 다면체의 Ehrhart quasi‑다항식에서 각 계수 함수의 주기를 자유롭게 지정할 수 있음을 보인다. 기존의 McMullen 경계가 항상 최적은 아니며, (1, p, 1,…,1) 혹은 (1,…,1, p, 1) 형태의 주기열을 갖는 볼록·비볼록 다면체를 각각 차원 n≥2와 3≤n≤11, n=13에서 구성한다.

상세 분석

이 논문은 Ehrhart 이론에서 가장 기본적인 미해결 문제 중 하나인 “어떤 quasi‑다항식이 유리 다면체의 Ehrhart 다항식이 될 수 있는가?”에 부분적인 답을 제시한다. 기존에 McMullen이 제시한 i‑index에 대한 경계 p_i ≤ m_i는 모든 차원에서 성립하지만, 실제로는 이 경계가 크게 느슨할 수 있음을 보여준다. 저자들은 두 종류의 주기열을 목표로 한다. 첫 번째는 (1, p, 1,…,1) 형태로, 여기서 p는 임의의 양의 정수이며, 두 번째는 (1,…,1, p, 1) 형태이다.

첫 번째 결과(Theorem 1.3)는 모든 차원 n≥2에 대해 볼록 유리 다면체 H_n을 구성한다. 핵심 아이디어는 2차원에서 이미 알려진 pentagon P와 선분 ℓ의 Ehrhart 다항식이 서로 보완(equivalence (2))된다는 사실을 이용하고, 이를 i‑fold 피라미드 연산을 통해 고차원으로 끌어올리는 것이다. 피라미드 연산은 Ehrhart series에 (1−t)^{-i}를 곱하는 효과가 있어, 계수 함수의 주기를 그대로 유지하면서 차원을 증가시킨다. 또한, S_n이라는 (n−2)‑fold 피라미드 위에 있는 단순체는 이미 (p, 1,…,1) 주기열을 갖고, 이를 −와 결합해 (1, p, 1,…,1) 형태를 얻는다. 이 과정에서 Lemma 3.2와 Proposition 3.1을 통해 교차 부분이 격자 다면체임을 보이며, Ehrhart 다항식의 등가 관계를 유지한다.

두 번째 결과(Theorem 1.4)는 (1,…,1, p, 1) 형태의 주기열을 구현한다. 여기서는 볼록성을 포기하고, “토폴로지적 볼”이라 정의한 다면체 B_n을 구성한다. 핵심은 Prouhet–Tarry–Escott(PTE) 문제의 해를 이용하는데, 이는 서로 다른 정수 집합 {s_i}와 {t_j}가 동일한 전력합 대칭 함수를 갖도록 하는 Diophantine 시스템이다. n‑1개의 s_i와 n‑2개의 t_j가 존재하면, B_n을