[논문 리뷰] On the diameter of lattice polytopes

Alberto Del Pia, Carla Michini|arXiv (Cornell University)|2015. 12. 24.

Computational Geometry and Mesh Generation참고 문헌 11인용 수 4

한 줄 요약

이 논문은 $[0,k]^d$ 내에 포함된 $d$차원 격자 다면체의 지름에 대한 개선된 상한을 제시하며, 이는 $\left\lfloor\left(k - \frac{1}{2}\right)d\right\rfloor$ 이하임을 보여준다. 증명은 귀납법, 정점 사영, 면의 구조 분석을 사용하며, $k=2$일 때 이 상한은 날카로운 것으로 밝혀지며, 반정수 계수 다면체의 지름은 $\left\lfloor\frac{3}{2}d\right\rfloor$가 된다.

ABSTRACT

In this paper we show that the diameter of a d-dimensional lattice polytope in [0,k]^n is at most (k - 1/2) d. This result implies that the diameter of a d-dimensional half-integral polytope is at most 3/2 d. We also show that for half-integral polytopes the latter bound is tight for any d.

연구 동기 및 목표

• [$[0,k]^d$ 내에 포함된 $d$차원 격자 다면체의 지름에 대한 더 날카로운 상한을 확립하기.
• Kleinschmidt와 Onn가 이전에 구한 $kd$의 상한을 개선하여, 특히 $k \geq 2$인 경우에 대해 더욱 정교하게 다루기.
• 상한 $\left\lfloor\left(k - \frac{1}{2}\right)d\right\rfloor$ 가 $k=2$ 및 모든 $d$에 대해 날카로운지 보여주기.
• 반정수 계수 다면체로의 결과 확장 — 이는 $(0,2)$-다면체와 애매하게 등가임.
• 최대 지름 $\delta_k^d$ 의 渐近적 행동을 조사하고, 알려진 하한과 상한 사이의 격차를 규명하기.

제안 방법

• 차원 $d$ 에 대한 귀납법을 사용하며, 기저 사례로 $d=1$ 및 $d=2$를 다룸.
• 정점 사영을 적용하여 $\mathbb{R}^d$ 내의 전차원 다면체로 $d$차원 다면체를 축소시키며, 1-스켈레톤을 유지함.
• 면 사영과 선형 함수에 대한 최소화를 통해, 하위차원 다면체를 통한 거리의 상한을 구함.
• 경로 길이를 면에서의 $x_i + x_j$ 최소값을 이용해 상한화하기 위해 레마 3을 적용함.
• 레마 4를 사용하여, $\delta_k^{d-2}$ 와 최소 합 $\gamma$ 로 표현된 사영된 면의 지름을 상한화함.
• 변수 치환 $\tilde{x}_i = k - x_i$ 를 통한 대칭성을 활용하여, 초입방체 $[0,k]^d$ 상의 정점 위치에 따른 케이스 분석을 수행함.

실험 결과

연구 질문

• RQ1 차원 $d$ 의 $(0,k)$-다면체의 지름은 $kd$ 보다 더 날카로운 상한으로 유계화될 수 있는가?
• RQ2 상한 $\left\lfloor\left(k - \frac{1}{2}\right)d\right\rfloor$ 는 $k=2$ 에서 날카로운가?
• RQ3 반정수 계수 다면체의 최대 지름은 얼마이며, $(0,2)$-다면체와 어떤 관계가 있는가?
• RQ4 $\delta_k^d$ — $d$차원 $(0,k)$-다면체에 대한 최대 지름 — 의 渐近적 성장률은 무엇인가?
• RQ5 현재의 상한은 $k \geq 3$ 에서도 향상시킬 수 있는가, 아니면 접근법에 본질적인 격차가 존재하는가?

주요 결과

• 모든 $d$차원 $(0,k)$-다면체의 지름은 $\left\lfloor\left(k - \frac{1}{2}\right)d\right\rfloor$ 이하이며, 이는 이전의 상한인 $kd$ 보다 향상된 것이다.
• $k=2$ 일 때, 상한 $\left\lfloor\frac{3}{2}d\right\rfloor$ 는 모든 $d$ 에 대해 날카로운 것으로 밝혀졌으며, 카르테시안 곱을 이용한 명시적 구성에 의해 입증되었다.
• 짝수 $d$ 에 대해 $H_d = (H_2)^{d/2}$, 홀수 $d$ 에 대해 $H_d = H_{d-1} \times H_1$ 이며, 이 다면체는 지름 $\left\lfloor\frac{3}{2}d\right\rfloor$ 를 달성한다.
• 정점이 $\{0, \frac{1}{2}, 1\}^d$ 에만 있는 반정수 계수 다면체는 지름이 $\left\lfloor\frac{3}{2}d\right\rfloor$ 이하이며, 이는 $(0,2)$-다면체의 상한과 일치한다.
• $\delta_k^d$ 의 최고 알려진 하한은 $\Omega(k^{2/3}d)$ 이며, 이는 $\Theta(k^{2/3})$ 개의 정점을 가진 2차원 $(0,k)$-다면체로부터 유도된다.
• 다음으로 남아 있는 渐近적 격차: 최고의 상한은 $k$ 와 $d$ 에 대해 선형이지만, 최고의 알려진 하한은 $k^{2/3}$ 스케일링이므로 향상 여지가 있음.