[论文解读] Multiple Translative Tilings in Euclidean Spaces

Qi Yang, Chuanming Zong|arXiv (Cornell University)|Nov 4, 2017

graph theory and CDMA systems参考文献 10被引用 7

一句话总结

该论文证明，在欧氏平面上，除了平行四边形和中心对称六边形外，其他任何凸域都无法形成二、三或四重平移密铺。然而，凸八边形和十边形可以实现五重平移密铺，其中中心对称十边形的最小重数恰好为五。

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. This paper proves the following results: Besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form a two-, three- or four-fold translative tiling in the Euclidean plane. However, there are two-dimensional convex domains which is neither a parallelogram nor a centrally symmetric hexagon can form five-fold translative tilings.

研究动机与目标

• 确定欧氏平面上哪些凸域可以形成k重平移密铺（k = 2, 3, 4, 5）。
• 刻画平面中中心对称凸多边形P的最小重数τ(P)。
• 解决关于分类所有可实现多重平移密铺（非格密铺）的凸密铺的开放问题。
• 通过组合与几何论证，将费多罗夫的经典格密铺分类推广至多重平移密铺。

提出的方法

• 通过研究顶点构型与相邻密铺块排列，分析平移密铺的局部结构。
• 利用角度和与凸性推导中心对称多边形的最小重数τ(P)的下界。
• 应用围绕顶点的“轮状”相邻密铺块结构，推导出对密铺块形状与重数的约束。
• 通过边与顶点关联的几何推理，表明某些构型（例如边界上非相邻的邻接顶点）除非多边形具有特定类型，否则会导致矛盾。
• 利用中心对称多面体与平移密铺的已知结果，包括Gravin-Robins-Shiryaev对k重平移密铺的刻画。
• 通过在整数格点上构造特定十边形D₁₀（其顶点坐标为有理数）的显式五重平移密铺，实现五重密铺的构造。

实验结果

研究问题

• RQ1 在欧氏平面上，哪些凸域可以形成k重平移密铺（k = 2, 3, 4）？
• RQ2 凸八边形或十边形能否形成五重平移密铺？此类密铺的最小重数是多少？
• RQ3 平面中中心对称凸多边形P的最小重数τ(P)是多少？它如何随边数变化？
• RQ4 是否存在除平行四边形和中心对称六边形外的凸多边形，可实现多重平移密铺？
• RQ5 k重平移密铺的存在是否对密铺块的对称性与面结构施加结构性约束？

主要发现

• 在欧氏平面上，除平行四边形和中心对称六边形外，其他任何凸域都无法形成二、三或四重平移密铺。
• 存在可形成五重平移密铺的凸八边形和十边形，表明更高重数允许更复杂的密铺块形状。
• 对每个中心对称十边形P₁₀，其最小重数τ(P₁₀)恰好为5，通过在整数格点上构造显式五重平移密铺得以证明。
• 中心对称十二边形P₁₂的最小重数τ(P₁₂)至少为6，四边形P₁₄的最小重数τ(P₁₄)也至少为6。
• τ(P)的下界通过顶点构型与相邻密铺块排列的组合与几何分析推导得出，尤其依赖于角度和与边关联的约束。
• 结果表明，对于边数超过六边形的中心对称多边形，最小重数随边数增加而增加，十边形在五重密铺中达到一个明确的临界阈值。