[論文レビュー] A note on lattice coverings

Fei Xue, Chuanming Zong|arXiv (Cornell University)|Feb 20, 2014

Advanced Topology and Set Theory参考文献 4被引用数 3

ひとこと要約

この論文は、離散幾何学における長年の予想に対する明示的な反例を構成している。$ n \geq 3 $ に対して、中心対称な凸体 $ C $ による $ \mathbb{E}^n $ の格子被覆 $ C + \Lambda $ が、同じ格子 $ \Lambda $ で $ \mathbb{E}^n $ をタイリングする平行多面体 $ P $ を含まないことがある。この構成では、頂点を摂動させた $ \mathbb{E}^3 $ 内の修正された六角柱を用い、適切に選ばれた格子を組み合わせることで、タイリングをなす平行多面体を含まない被覆が存在することを証明している。

ABSTRACT

This note presents an interesting counterexample to a basic covering problem.

研究の動機と目的

• 次元 $ n \geq 3 $ の $ \mathbb{E}^n $ における中心対称な凸体による格子被覆が、同じ格子で $ \mathbb{E}^n $ をタイリングする平行多面体を含むかどうかを調査すること。
• 問題1を解決すること：格子被覆 $ K + \Lambda $ が、$ P + \Lambda $ が $ \mathbb{E}^n $ をタイリングするような平行多面体 $ P $ を含む必要があるかどうか。
• $ \mathbb{E}^3 $ で明示的な反例を構成し、それを高次元に拡張して予想を反証すること。
• 格子被覆が存在するからといって、被覆体の中にタイリングをなす平行多面体が存在するとは限らないことを示すこと。

提案手法

• 高さ $ 2(1 + \gamma) $ の六角柱を変形し、その面から6個の合同な正四面体を切り取ることで、3次元の中心対称な凸多面体 $ C $ を定義する。
• 基底ベクトル $ \mathbf{a}_1 = (1 + \alpha, \beta, 0) $、$ \mathbf{a}_2 = (1 + \alpha, -\beta, 0) $、$ \mathbf{a}_3 = (0, 0, 2) $ を持つ格子 $ \Lambda $ を構成する。ここで $ \alpha = \cos(\pi/3) $、$ \beta = \sin(\pi/3) $ である。
• $ C + \Lambda $ が $ \mathbb{E}^3 $ を格子被覆することを確認する。具体的には、$ \Lambda $ による $ C $ の平行移動が空間を被覆すること、および $ C $ の頂点が $ \mathbf{a}_3 $ を通じて互いに写像されることを検証する。
• $ C $ に $ P + \Lambda $ が $ \mathbb{E}^3 $ をタイリングする平行多面体 $ P $ が含まれるならば、$ P $ は $ C $ の12個の頂点をすべて含む必要があり、結果として $ P = C $ となるが、$ C $ は平行多面体でないことを証明する。
• 低次元の反例 $ K \subset \mathbb{E}^{n-1} $ を用いて、$ K' $ を $ K $ の回転体（円柱）として構成し、$ K' + \Lambda' $ がタイリングをなす平行多面体を含まない格子被覆であることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての次元 $ n \geq 3 $ に対して、$ \mathbb{E}^n $ の格子被覆 $ K + \Lambda $ は、$ P + \Lambda $ が $ \mathbb{E}^n $ をタイリングするような平行多面体 $ P $ を含む必要があるだろうか？
• RQ2 中心対称な凸体 $ C $ が、同じ格子 $ \Lambda $ で $ \mathbb{E}^n $ を被覆するが、$ \mathbb{E}^n $ をタイリングする平行多面体を含まないことは可能だろうか？
• RQ3 $ \mathbb{E}^2 $ におけるすべての格子被覆が、タイリングをなす中心対称な六角形を含むという性質が、$ n \geq 3 $ の $ \mathbb{E}^n $ に拡張可能だろうか？
• RQ4 凸体 $ C $ と格子 $ \Lambda $ にどのような構造的条件が満たされると、$ P + \Lambda $ が $ \mathbb{E}^n $ をタイリングするような $ P \subseteq C $ が存在しなくなるのだろうか？

主な発見

• $ n \geq 3 $ のすべての次元に対して、中心対称な凸体 $ C $ による格子被覆 $ C + \Lambda $ が存在し、$ P + \Lambda $ が $ \mathbb{E}^n $ をタイリングするような平行多面体 $ P $ を含まないことがある。
• $ \mathbb{E}^3 $ における反例は、12個の頂点を持つ修正された六角柱と特定の格子 $ \Lambda $ を用いて構成され、$ C + \Lambda $ は $ \mathbb{E}^3 $ を被覆するが、$ C $ は平行多面体でない。
• $ \mathbb{E}^3 $ の反例は、低次元の反例を回転体（円柱）として構成することで高次元に拡張され、被覆性は保たれるが、タイリングをなす平行多面体は含まない。
• もし $ P \subseteq C $ が存在して $ P + \Lambda $ が $ \mathbb{E}^3 $ をタイリングするならば、$ P $ は $ C $ の12個の頂点をすべて含まなければならないため、$ P = C $ となるが、$ C $ は平行多面体ではない。よって、このような $ P $ は存在しないことが証明された。
• この構成により、格子被覆が存在するからといって、被覆体の中にタイリングをなす平行多面体が存在するとは限らないことが確認された。たとえ被覆体が中心対称であっても同様である。