[论文解读] 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

一句话总结

本文全面刻画了欧氏平面上可形成五重平移密铺的所有凸区域，证明其由两类中心对称八边形和一类中心对称十边形构成。通过代数与几何方法，包括晶格结构分析和边中点约束，作者建立了此类密铺的充要条件，完成了对二维空间中除已知平行四边形与六边形晶格密铺外的多重平移密铺的分类。

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。
• 确定是否存在除平行四边形与中心对称六边形之外的凸多边形，能够形成五重平移密铺。
• 刻画此类密铺的几何与代数结构，尤其聚焦于中心对称八边形与十边形。
• 解决离散几何中长期悬而未决的开放问题：二维空间中多重平移密铺的分类。

提出的方法

• 利用欧氏平面上的离散集与晶格理论分析五重平移密铺的结构。
• 应用格罗平等（Gravin）、罗宾斯（Robins）与希里亚耶夫（Shiryaev）已确立的条件：每个平移 k-密铺必须是具有中心对称面的中心对称多面体。
• 利用边中点约束定义候选凸十边形的几何结构，基于宗（Zong）（2009）的已知刻画。
• 从密铺条件导出线性方程组，以确定平移集 Λ 的晶格结构。
• 利用引理 4 验证所推导的晶格与密铺重数及对称性一致，确认半晶格点位于半晶格中。
• 对密铺中顶点与边中点的对称构型进行分类分析，枚举所有可能的密铺类型。

实验结果

研究问题

• RQ1 在欧氏平面上，除已知的平行四边形与中心对称六边形外，哪些凸区域可以形成五重平移密铺？
• RQ2 是否存在可形成五重平移密铺的中心对称八边形与十边形？若存在，其几何约束为何？
• RQ3 此类密铺的完整集合能否通过代数与几何方法刻画？是否存在有限多个组合类型？
• RQ4 晶格结构与边中点对称性在决定五重平移密铺存在性方面起何作用？
• RQ5 五重平移密铺的刻画是否完整？其与多重密铺更广泛问题的关系如何？

主要发现

• 在欧氏平面上形成五重平移密铺的所有凸区域，要么属于两类不同的中心对称八边形，要么属于一类中心对称十边形。
• 这两类八边形由平移向量之间线性关系导出的特定顶点构型与晶格结构所刻画。
• 十边形类由其边中点固定于特定点：(0,2)、(2,2)、(3,1)、(3,0)、(2,-1) 及其相反点的条件完全刻画。
• 对每种密铺类型，其底层平移集构成一个晶格，且半晶格点位于半晶格中，确认了五重覆盖与密铺性质。
• 通过基于密铺对称性与重数条件导出的线性方程组，实现显式构造与验证，证明了此类密铺的存在性。
• 本文完成了对二维空间中 k=5 时的多重平移密铺的分类，表明不存在其他凸多边形可实现此重数。