[논문 리뷰] A Note on Space Tiling Zonotopes

Frank Vallentin|ArXiv.org|2004. 02. 04.

Quasicrystal Structures and Properties참고 문헌 8인용 수 5

한 줄 요약

이 논문은 방향성 있는 매트로이드 이론을 활용하여, 모든 공간 테일링 zonotope가 격자에 대한 Dirichlet-Voronoi 다면체와 애니지어 동치임을 보여주는 Voronoi의 추측에 대한 새로운 증명을 제시한다. 접근 방식은 정규 매트로이드의 유일한 실현 가능성에 기반하여 조합적 성질과 메트릭 성질을 분리함으로써, Brylawski와 Lucas의 정리에 대한 기하적 증명을 실수 범위에서 제공한다.

ABSTRACT

In 1908 Voronoi conjectured that every convex polytope which tiles space face-to-face by translations is affinely equivalent to the Dirichlet-Voronoi polytope of some lattice. In 1999 Erdahl proved this conjecture for the special case of zonotopes. A zonotope is a projection of a regular cube under some affine transformation. In 1975 McMullen showed several equivalent conditions for a zonotope to be a space tiling zonotope, i.e. a zonotope which admits a face-to-face tiling of space by translations. Implicitly, he related space tiling zonotopes to a special class of oriented matroids (regular matroids). We will extend his result to give a new proof of Voronoi's conjecture for zonotopes using oriented matroids. This enables us to distinguish between combinatorial and metrical properties and to apply the fact that oriented matroids considered here have an essentially unique realization. Originally, this is a theorem due to Brylawski and Lucas. By using oriented matroid duality we interpret a part of McMullen's arguments as an elegant geometric proof of this theorem in the special case of real numbers.

연구 동기 및 목표

• 방향성 있는 매트로이드 이론을 사용하여 zonotope에 대한 Voronoi의 추측에 대한 새로운 증명을 제공한다.
• 공간 테일링 zonotope의 조합적 성질과 메트릭 성질을 분리한다.
• Brylawski와 Lucas의 정리에 기반하여 실수 범위에서 정규 매트로이드의 유일한 실현 가능성에 대한 기하적 증명을 제공한다.
• Erdahl의 접근 방식에서 사용된 쌍대 테일링이나 격자 분할에 의존하지 않는다.
• McMullen의 zonotopal 테일링 조건을 확장하기 위해 zonotopal 라티스와 행렬 기반 구성법을 도입한다.

제안 방법

• 논문은 zonotope를 분석하기 위해 방향성 있는 매트로이드 용어를 사용하며, 특히 관련된 방향성 있는 매트로이드 M(X)의 코벡터와 코순환을 중심으로 다룬다.
• 정규 매트로이드 M(L)를 가지는 zonotopal 라티스 (L, (·,·))를 도입함으로써 Dirichlet-Voronoi 다면체와의 연결을 가능하게 한다.
• 표준 기저의 투영과 기저 변경 행렬을 포함하는 행렬 변환을 통해 주어진 zonotope Z(X)와 Dirichlet-Voronoi 다면체 사이의 애니지어 동치를 구성한다.
• 벡터 구성 X ∈ ℝ^{d×n}을 수직 컴플리먼트를 사용하여 정사각형 행렬로 완성함으로써 표준 행렬 표현을 도입한다.
• 핵심 구성은 zonotope의 생성자와 일치하는 표준 기저의 투영을 정의하는 행렬 B를 정의하는 것이다.
• 증명은 방향성 있는 매트로이드의 이중성과 정규 매트로이드가 사영 동치를 제외하고 유일한 실현을 가진다는 사실을 활용하여 결과를 확립한다.

실험 결과

연구 질문

• RQ1 Voronoi의 추측에 대해, 메트릭이나 격자 분할 방법 대신 방향성 있는 매트로이드 이론을 사용하여 zonotope에 대해 증명할 수 있는가?
• RQ2 zonotopal 테일링의 조합적 성질과 메트릭 성질의 구분을 어떻게 공식적으로 설정할 수 있는가?
• RQ3 Brylawski와 Lucas가 주장한 바와 같이, 실수 범위에서 정규 매트로이드의 유일한 실현 가능성에 대한 기하적 증명이 존재하는가?
• RQ4 쌍대 테일링이나 격자 분할을 도입하지 않고, zonotope와 Dirichlet-Voronoi 다면체 사이의 동치성을 보일 수 있는가?
• RQ5 정규 매트로이드의 유일한 실현 가능성은 공간 테일링 zonotope가 Dirichlet-Voronoi 다면체와 애니지어 동치임을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 모든 공간 테일링 zonotope는 격자의 Dirichlet-Voronoi 다면체와 애니지어 동치이며, 이는 zonotope에 대한 Voronoi의 추측을 확인한다.
• zonotopal 라티스의 방향성 있는 매트로이드는 정규 매트로이드이며, 이러한 매트로이드는 사영 동치를 제외하고 유일한 실현을 가진다.
• 증명은 Brylawski-Lucas 정리의 실수 범위에서의 기하적 해석을 제공하며, 행렬 투영과 기저 변경 변환을 활용한다.
• 증명은 쌍대 테일링과 격자 분할을 피함으로써 Erdahl의 접근 방식보다 더 직접적이고 조합적으로 투명한 증명을 제공한다.
• zonotopal 테일링과 Dirichlet-Voronoi 다면체 사이의 동치성은 zonotope의 생성자와 특정 내적에 대한 표준 기저의 투영을 일치시키는 행렬 변환을 통해 확립된다.
• 논문은 zonotope의 면 라티스가 관련된 방향성 있는 매트로이드의 코벡터 집합과 순서 반전 동형임을 확립하여, 테일링 성질의 조합적 특성화를 가능하게 한다.