[论文解读] Infinite families of monohedral disk tilings

Joel Haddley, Stephen Worsley|arXiv (Cornell University)|Dec 7, 2015

Quasicrystal Structures and Properties参考文献 4被引用 3

一句话总结

本文提出了无限组单扇形圆盘密铺，其中全等的瓦片并非全部与中心相交，从而解决了长期存在的比萨切片谜题。通过从两个顶点径向生成瓦片并分类对称扇形的子密铺，作者提出了新颖的瓦片族（Ctₙ,ₖ、eCt*ₙ,ₖ、Dtₙ），使得瓦片可避开中心，同时给出了瓦片数量的显式公式及与项链数相关的组合性质。

ABSTRACT

This paper gives new solutions to the problem: 'Can we construct monohedral tilings of the disk such that a neighbourhood of the origin has trivial intersection with at least one tile?'

研究动机与目标

• 为解决一个开放性问题：是否存在一种单扇形圆盘密铺，使得至少一个瓦片不与中心相交。
• 通过引入从多个顶点径向生成的瓦片，对单扇形圆盘密铺进行分类，扩展至对称径向生成密铺之外的范围。
• 提供一个全面的框架，用于生成具有显式组合与几何结构的此类密铺的无限族。
• 研究特定对称性、奇数个瓦片或边界/中心相交性质的单扇形密铺的存在性。
• 基于径向生成与扇形单元密铺的子密铺，提出所有单扇形圆盘密铺的完整分类猜想。

提出的方法

• 通过拓扑与几何约束定义单扇形密铺：瓦片为闭合、有界、单连通区域，且具有非平凡的边界交集。
• 引入一类从两个顶点径向生成的新瓦片类型，证明此类瓦片可通过角度与径向参数构造并分类。
• 建立密铺族的记号体系：Ctₙ,ₖ（对称扇形单元的子密铺）、eCt*ₙ,ₖ（基于连续路径的变体）、Dtₙ（基于扇形的密铺，参数 t ∈ [0,1)）。
• 利用生成函数与项链数论计算不同密铺数 |Ctₙ,ₖ|，给出涉及欧拉函数与二项式系数的显式公式。
• 应用组合技术在对称性约束下计数有效构型，包括瓦片数量的准周期多项式表达式。
• 基于径向生成扇形的子密铺建立分类框架，其中 D₁³ 为例外情况，不源于标准扇形单元分割。

实验结果

研究问题

• RQ1 是否存在一种单扇形圆盘密铺，使得至少一个瓦片不与中心相交？
• RQ2 是否存在单扇形圆盘密铺，其瓦片数量为奇数，或具有对称轴，但并非对称径向生成？
• RQ3 能否构造一种单扇形密铺，使得至少一个瓦片不与边界圆相交？
• RQ4 是否存在基于径向生成与子密铺构造的单扇形圆盘密铺的完整分类？
• RQ5 此类密铺的组合结构是什么？它们与项链数及对称构型有何关联？

主要发现

• 是的，存在单扇形圆盘密铺，使得至少一个瓦片不与中心相交；该结论由族 Dtₙ 与 Ctₙ,ₖ 予以证明。
• 族 Dtₙ 包含 4n 个瓦片，其中恰好 2n 个与中心相交，2n 个不相交，对任意 n ≥ 3 与 t ∈ [0,1) 成立。
• 对于 Ctₙ,ₖ，与中心相交的瓦片数量为 2nk − u(k−1)，其中 u 为翻转的 k 元组数量，表明中心相交情况可变。
• 不同密铺数 |Ctₙ,ₖ| 的公式复杂，涉及欧拉函数与二项式系数，对 n = 3,5,7,9,11 与 k = 1 至 5 已计算出显式数值。
• 密铺 D₁³ 为例外情况，不源于标准扇形单元子密铺，因其两个瓦片的并集构成一个对称扇形，此性质为其他所有密铺所不具备。
• 作者猜想所有单扇形圆盘密铺均为径向生成密铺的子密铺，且本文通过 Ctₙ,ₖ、eCt*ₙ,ₖ、Dtₙ 与 D₁³ 实现了该分类的完整构建。