[논문 리뷰] On the width of lattice-free simplices

Jean‐Michel Kantor|ArXiv.org|1997. 09. 24.

Graph theory and applications참고 문헌 3인용 수 5

한 줄 요약

이 논문은 높은 차원에서 너비가 차원의 일정 비율에 가까운 격자 없는 단체가 존재함을 입증하며, 이는 이전에 이러한 다면체가 너비 2를 초과할 수 없다는 믿음을 뒤집는다. 디오판틴 근사 기반의 구성적 접근을 통해 캔터는 임의의 α < 1/e와 충분히 큰 d에 대해 너비 > αd인 d차원 격자 없는 단체가 존재함을 증명한다.

ABSTRACT

Among integral polytopes (vertices with integral coordinates), lattice-free polytopes - intersecting the lattice ONLY at their vertices- are of particular interestin combinatorics and geometry of numbers. A natural question is to measure their "width" (with respect to the integral lattice).There were no known examples of lattice-free polytopes with width bigger than 2 .We prove the following Theorem : Given any positive number $α$ strictly inferior to $1/e$, for d large enough there exists a lattice-free simplex of dimension d and width superior to $αd$.

연구 동기 및 목표

• 고차원 공간에서 격자 없는 단체의 최대 가능한 너비를 조사하는 것.
• 격자 없는 다면체가 너비 2를 초과할 수 없다는 오랜 추측을 도전하는 것.
• 정점의 정수성과 내부 격자 점의 부재에 의해 부과되는 기하학적 및 산술적 제약을 탐구하는 것.
• 일부 수론적 조건 하에서 너비가 차원에 따라 선형적으로 증가할 수 있음을 보여주는 것.
• 디오판틴 근사를 이용한 구성적 방법을 통해 이러한 고너비 격자 없는 단체를 생성하는 것.

제안 방법

• 유리수 근사로부터 유도된 정수 점의 매개변수화된 가중치를 이용해 격자 없는 단체를 구성하는 것.
• 정수 격자에 대한 정점 분포를 제어하기 위해 디오판틴 근사 기법을 적용하는 것.
• 단체의 평행한 지지 초평면 간 최소 거리를 기반으로 한 너비 공식을 사용하는 것.
• 정점 행렬의 행렬식을 사용해 부피를 근사하고 격자 없는 성질과 연결하는 것.
• 점점 큰 d에 대해 점근적 추정을 적용하여 너비가 임의의 α < 1/e에 대해 αd를 초과할 수 있음을 보이는 것.
• 단체가 정점 외에 내부 또는 경계에 격자 점을 포함하지 않으면 격자 없는 성질을 갖는다는 사실에 의존하는 것.

실험 결과

연구 질문

• RQ1 고차원에서 격자 없는 단체의 너비가 2보다 크게 일 수 있는가?
• RQ2 차원 d가 증가함에 따라 격자 없는 단체의 점근적 상한은 무엇인가?
• RQ3 차원에 따라 선형적으로 증가하는 너비를 갖는 격자 없는 단체를 구성하는 것이 가능한가?
• RQ4 실수의 디오판틴 근사 성질이 격자 없는 다면체의 기하학에 어떤 영향을 미치는가?
• RQ5 정점의 정수성과 격자 없는 성질이 단체의 너비에 어떤 제약을 가하는가?

주요 결과

• 임의의 α < 1/e와 충분히 큰 차원 d에 대해 너비가 αd를 초과하는 d차원 격자 없는 단체가 존재한다.
• 논문은 너비가 차원에 따라 선형적으로 증가하는 격자 없는 단체의 명시적 가족을 구성한다.
• 이 결과는 이전에 격자 없는 다면체의 너비가 2로 제한된다는 믿음을 뒤집는다.
• 구성은 특정 실수에 대한 양호한 유리수 근사의 존재에 의존하며, 이는 격자 없는 성질을 보장한다.
• 너비가 점근적으로 최적임을 입증하여 더 큰 d의 상수배는 불가능함을 보여준다.
• 이 결과는 고차원에서 격자 없는 단체의 최대 가능한 너비에 대한 날카로운 임계값을 설정한다.