[論文レビュー] Characterization of the Two-Dimensional Five-Fold Translative Tiles

Qi Yang, Chuanming Zong|arXiv (Cornell University)|Dec 26, 2017

graph theory and CDMA systems参考文献 13被引用数 3

ひとこと要約

本稿では、ユークリッド平面上における五重並進タイル張りを形成できるすべての凸領域を完全に特徴づけ、それらが2つの中心対称八角形のクラスと1つの中心対称十角形のクラスからなることを証明している。代数的および幾何的技法、特に格子構造解析と辺の中点制約を用いて、このようなタイル張りの必要十分条件を確立し、平行四辺形と六角形の既知の格子タイリング例を越えて、2次元における複数並進タイリングの分類を完了した。

ABSTRACT

In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form two-, three- or four-fold translative tiling in the Euclidean plane, but there are centrally symmetric convex octagons and decagons which can form five-fold translative tilings. This paper characterizes all the convex domains which can form five-fold translative tilings of the Euclidean plane.

研究の動機と目的

• k=5の場合におけるユークリッド平面上のk重並進タイリングを形成する凸領域の分類を完了すること。
• 平行四辺形と中心対称六角形以外の凸多角形が、五重並進タイリングを形成できるかどうかを特定すること。
• 特に中心対称八角形と十角形に注目して、このようなタイリングの幾何的および代数的構造を特徴づけること。
• 2次元における複数並進タイリングに関する長年の未解決問題を解決すること。

提案手法

• ユークリッド平面上の離散集合と格子論を用いて、五重並進タイリングの構造を分析すること。
• Gravin, Robins, および Shiryaev が確立した条件を適用し、すべての並進kタイルは中心対称多面体であり、その facet も中心対称でなければならないこと。
• Zong (2009) で知られている特徴づけに基づき、候補となる凸十角形の幾何的性質を辺の中点制約によって定義すること。
• タイリング条件から得られる一次方程式系を導出し、並進集合 Λ の格子構造を特定すること。
• Lemma 4 を用いて、半格子点が半格子上にあることを確認することで、導出された格子がタイリングの重複度および対称性と整合していることを検証すること。
• タイル頂点および辺の中点の対称的配置に関するケース解析を実施し、すべての可能なタイリング型を列挙すること。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド平面上のどの凸領域が、既知の平行四辺形と中心対称六角形の例を除いて、五重並進タイリングを形成できるか？
• RQ2 中心対称八角形および十角形が五重並進タイリングを形成できるか、そのようなものが存在する場合、それらの幾何的制約は何か？
• RQ3 このようなタイリングの集合を代数的および幾何的に完全に特徴づけられるか、またそれらの組合せ的型は有限個か？
• RQ4 格子構造および辺の中点対称性が、五重並進タイリングの存在を決定づける役割を果たすか？
• RQ5 五重並進タイリングの特徴づけは完全か、そしてそれはより広範な複数タイリング問題とどのように関係するか？

主な発見

• ユークリッド平面上で五重並進タイリングを形成するすべての凸領域は、2つの異なるクラスに属する中心対称八角形、または1つのクラスに属する中心対称十角形に限られる。
• 2つの八角形クラスは、並進ベクトル間の線形関係から導かれる特定の頂点配置および格子構造によって特徴づけられる。
• 十角形クラスは、その辺の中点が特定の点：(0,2), (2,2), (3,1), (3,0), (2,-1) およびそれらの負の点に固定されることを要件として完全に特徴づけられる。
• 各タイリング型において、対応する並進集合は格子をなし、半格子点が半格子上にあることが確認され、五重被覆および被覆性質が裏付けられる。
• タイリングの存在は、タイリングの対称性および重複度条件から導かれる一次方程式系を用いた明示的構成と検証により証明されている。
• 本稿では、k=5 の2次元におけるk重並進タイリングの分類を完了し、それ以上の凸多角形がこの重複度を達成できないことを示している。