[논문 리뷰] Ehrhart Quasi-Polynomials of almost integral polytopes

Christopher de Vries|arXiv (Cornell University)|2021. 08. 25.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 2

한 줄 요약

이 논문은 거의 정수 다면체의 기하적 성질—특히 중심 대칭성과 조노토프 구조—와 그들의 에르하르트 준다항식의 대수적 성질인 대칭성과 GCD 성질 사이의 정확한 대응 관계를 확립한다. 다각형이 중심 대칭이면 모든 유리 이동에 대해 에르하르트 준다항식이 대칭이 되고, 조노토프이면 모든 이러한 이동이 GCD 성질을 갖는 준다항식을 유도함으로써, 이러한 다각형들이 그들의 에르하르트 함수를 통해 특성화됨을 보여준다.

ABSTRACT

A lattice polytope translated by a rational vector is called an almost integral polytope. In this paper we investigate Ehrhart quasi-polynomials of almost integral polytopes. We study the relationship between the shape of the polytopes and algebraic properties of the Ehrhart quasi-polynomials. In particular, we prove that lattice zonotopes and centrally symmetric lattice polytopes are characterized by Ehrhart quasi-polynomials of their rational translations.

연구 동기 및 목표

• 거의 정수 다면체의 기하적 특성과 그들의 에르하르트 준다항식의 대수적 성질 사이의 관계를 조사하는 것.
• 유리 이동에 대한 에르하르트 준다항식의 대칭성 또는 GCD 성질이 특정한 다각형 유형을 특성화하는지 결정하는 것.
• 유리 이동 하에서 에르하르트 준다항식의 행동에 기반하여, 정수 다각형이 중심 대칭이거나 조노토프임을 판단하기 위한 필요 및 충분 조건을 설정하는 것.

제안 방법

• 아르디라-베이크-맥휴어터의 거의 정수 조노토프의 에르하르트 준다항식에 대한 공식을 사용하여, 이러한 준다항식이 GCD 성질을 만족함을 증명한다.
• 이동된 격자점 수세기 $ L(P,c)(t) = \#((c + tP) \cap \mathbb{Z}^d) $ 를 도입하여, $ t \in \mathbb{Z}_{>0} $ 에서의 다항식임을 보이고, 이는 에르하르트 준다항식의 구성 요소를 기술하는 데 도움이 된다.
• $ L(P,c)(t) = L(P,-c)(t) $ 가 성립하는 것과 $ P $ 가 중심 대칭임이 동치임을 증명함으로써, 모든 유리 $ c $ 에 대해 $ L_{c+P}(t) $ 가 대칭이 되는 것은 정확히 $ P $ 가 중심 대칭일 때에만 성립함을 확립한다.
• 맥마헨의 면의 중심 대칭성을 통한 조노토프의 특성화를 활용하여, $ P $ 가 조노토프가 아니면 분모가 홀수인 유리수 $ c $ 가 존재하여 $ L(P,c)(t) \neq L(P,2c)(t) $ 가 되며, 이는 GCD 성질을 위반함을 보여준다.
• 민코프스키의 면 법선과 부피에 관한 정리로, $ P $ 가 중심 대칭이 아닐 경우 대칭성을 위반하는 반례를 구성한다.
• 최소 주기의 분석과 스케일링에 대한 불변성 분석을 통해, 일반성을 잃지 않고 최소 주기로 집중하는 것이 타당함을 정당화한다.

실험 결과

연구 질문

• RQ1 모든 유리 벡터 $ c $ 에 대해 $ L_{c+P}(t) $ 가 대칭이면, $ P $ 는 중심 대칭이어야 하는가?
• RQ2 모든 유리 벡터 $ c $ 에 대해 $ L_{c+P}(t) $ 가 GCD 성질을 만족하면, $ P $ 는 조노토프이어야 하는가?
• RQ3 거의 정수 조노토프 이외의 유리 다각형 중에서 에르하르트 준다항식이 GCD 성질을 만족하는 것이 있는가?
• RQ4 거의 정수 조노토프의 에르하르트 준다항식과 초평면 배치의 특성 준다항식 사이의 관계는 무엇인가?

주요 결과

• 정수 다각형 $ P $ 는 모든 유리 벡터 $ c $ 에 대해 에르하르트 준다항식 $ L_{c+P}(t) $ 가 대칭이면 중심 대칭임을 보여주는 정리 4.2에 의해 증명된다.
• 정수 다각형 $ P $ 는 모든 유리 벡터 $ c $ 에 대해 에르하르트 준다항식 $ L_{c+P}(t) $ 가 GCD 성질을 만족하면 조노토프임을 보여주는 정리 5.5에 의해 확인된다.
• 거의 정수 조노토프 $ P_3 = (\frac{1}{9}, \frac{2}{9}, \frac{1}{3})^T + [0,1]^3 $ 에 대해, 에르하르트 준다항식 $ L_{P_3}(t) $ 는 세 개의 서로 다른 구성 요소만을 가지며, $ f_1(t) = f_2(t) = f_4(t) = f_5(t) = f_7(t) = f_8(t) = t^3 $, $ f_3(t) = f_6(t) = t^3 + t^2 $, $ f_9(t) = (t+1)^3 $ 로 주어지며, 주기 $ \rho = 9 $ 를 통해 GCD 성질이 성립함을 보여준다.
• 중심 대칭인 거의 정수 옥타에드론 $ P_2 = (\frac{5}{9}, \frac{5}{9}, \frac{2}{3})^T + \text{Conv}\{\pm e_i\} $ 에 대해, 에르하르트 준다항식 $ L_{P_2}(t) $ 는 $ f_k(t) = f_{9-k}(t) $ 를 만족하여 주기 $ \rho = 9 $ 에서 대칭성이 확인된다.
• 이동된 격자점 수세기 $ L(P,c)(t) $ 는 $ t \in \mathbb{Z}_{>0} $ 에서의 다항식이며, 이는 $ L_{c+P}(t) $ 의 구성 요소를 완전히 기술할 수 있게 한다. 이는 정리 3.4에서 보여진 lin.
• 에르하르트 준다항식의 최소 주기는 스케일링에 대해 불변이다: 만약 준다항식이 최소 주기 $ \rho_0 $ 에 대해 GCD 성질을 만족하면, 임의의 배수 $ k\rho_0 $ 에 대해서도 동일하게 성립함을 보여주는 정리 1.4에 의해 증명된다.