[論文レビュー] A Note on Space Tiling Zonotopes

Frank Vallentin|ArXiv.org|Feb 4, 2004

Quasicrystal Structures and Properties参考文献 8被引用数 5

ひとこと要約

この論文は、有向マトロイド理論を活用して、ゾノトープにおけるボロノイの予想の新しい証明を提供している。空間を充填するゾノトープは、すべてアフィン同型なラティスのディリクレ=ボロノイ多面体に同型であることを確立している。この手法は、正則マトロイドの一意実現性を用いて、組合せ的性質と計量的性質を分離し、ブライアウスキーとルーカスの定理を実数の場合に幾何学的に証明する。

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.

研究の動機と目的

• 有向マトロイド理論を用いて、ゾノトープにおけるボロノイの予想の新しい証明を提供すること。
• 空間を充填するゾノトープの組合せ的性質と計量的性質を区別すること。
• ブライアウスキーとルーカスの定理に基づき、実数体上での正則マトロイドの一意実現性の幾何的証明を提供すること。
• エルダールの手法で用いられる双対充填やラティスの分割に依存しないこと。
• マクマレンのゾノトープ充填の条件を、ゾノトープラティスと行列に基づく構成を導入することで拡張すること。

提案手法

• 論文は、特に関連する有向マトロイド M(X) のコベクトルとコサイクルに注目して、ゾノトープを有向マトロイド用語で分析する。
• 有向マトロイド M(L) が正則であるゾノトープラティス (L, (·,·)) を導入し、ディリクレ=ボロノイ多面体へのリンクを可能にする。
• 射影と基底変換行列を含む行列変換を用いて、与えられたゾノトープ Z(X) とディリクレ=ボロノイ多面体とのアフィン同型を構成する。
• ベクトル配置 X ∈ ℝ^{d×n} を直交補空間を用いて正方行列に拡張することで、標準的な行列表現を完成させる。
• 主要な構成は、カスタム内積下での標準基底の射影がゾノトープの生成子と一致するような行列 B を定義することである。
• 有向マトロイドの双対性と、正則マトロイドが射影同値を除いて一意に実現可能であるという事実を用いて、結果を確立する。

実験結果

リサーチクエスチョン

• RQ1 メトリクスやラティス分割の手法ではなく、有向マトロイド理論を用いてゾノトープにおけるボロノイの予想を証明できるか？
• RQ2 ゾノトープ充填の組合せ的性質と計量的性質の区別を、どのように形式的に確立できるか？
• RQ3 ブライアウスキーとルーカスの主張に従い、実数体上での正則マトロイドの一意実現性の幾何的証明は可能か？
• RQ4 双対充填やラティス分割を用いずに、ゾノトープとディリクレ=ボロノイ多面体の同型性を示せるか？
• RQ5 正則マトロイドの一意実現性が、空間を充填するゾノトープがディリクレ=ボロノイ多面体とアフィン同型であることを証明する際に果たす役割は何か？

主な発見

• すべての空間を充填するゾノトープは、ラティスのディリクレ=ボロノイ多面体とアフィン同型であり、ゾノトープにおけるボロノイの予想が確認された。
• ゾノトープラティスの有向マトロイドは正則マトロイドであり、このようなマトロイドは射影同値を除いて一意に実現可能である。
• 証明は、ブライアウスキー=ルーカスの定理を実数体上での実現に幾何学的に解釈し、射影と基底変換変換を用いて行う。
• 双対充填やラティス分割を回避することで、エルダールの手法と比較してより直接的かつ組合せ的に明確な証明を提供する。
• ゾノトープ充填とディリクレ=ボロノイ多面体の同型性は、ゾノトープの生成子がカスタム内積下での標準基底の射影と一致するような行列変換によって確立される。
• 論文は、ゾノトープの面ラティスが関連する有向マトロイドのコベクトル集合と順序反転同型であることを確立し、充填性質の組合せ的特徴付けを可能にする。