[论文解读] Combinatorial Space Tiling

Egon Schulte|arXiv (Cornell University)|May 20, 2010

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

一句话总结

本文综述了欧几里得空间与球面空间中的组合空间密铺，重点关注单型密铺（即密铺的瓷砖为组合等价的凸多面体，但未必合同）。文章强调了密铺理论中的开放问题，尤其是关于空间填充体、单型密铺以及带柄流形密铺的问题，并通过三维空间与三维球面的拓扑密铺，提出了抽象多面体建模的新方向。

ABSTRACT

The present article studies combinatorial tilings of Euclidean or spherical spaces by polytopes, serving two main purposes: first, to survey some of the main developments in combinatorial space tiling; and second, to highlight some new and some old open problems in this area.

研究动机与目标

• 综述组合空间密铺领域的主要进展，特别关注由凸多面体构成的单型密铺与面面对接密铺。
• 突出展示在欧几里得空间与球面空间中对空间填充体及组合原型的分类中长期存在的开放问题。
• 探讨高余单纯形亏格的带柄流形作为抽象正多面体的拓扑模型的潜力。
• 研究是否所有普遍的局部环形正4-多面体均可通过环形带柄流形在E³或S³中实现为密铺。
• 考察环境空间的紧致性与拓扑密铺模型中抽象多面体的有限性之间的关系。

提出的方法

• 通过将组合等价性作为等距的松弛条件来定义单型密铺，其中瓷砖不要求合同，但必须与单一原型组合同构。
• 应用面面对接密铺条件以确保拓扑正则性，并避免由拓扑多面体构成的密铺中的病态构型。
• 利用抽象多面体理论与边界复形结构，对具有亏格g ≥ 1的带柄流形在S³与E³中的密铺进行建模。
• 利用E³中正立方体密铺的房间复形，通过对称性与边界分解构造由拓扑多面体构成的单型密铺。
• 依赖于抽象多面体理论中的已知结果（如McMullen与Schulte，Brehm等人）将普遍的局部环形正4-多面体建模为拓扑密铺。
• 通过分析面格结构与组合自同构群（例如S₆ × C₂）来验证抽象多面体作为密铺的可实现性。

实验结果

研究问题

• RQ1 每个类型为{4,4,m}（m ≥ 4）的普遍局部环形正4-多面体是否都能通过环形带柄流形在E³中实现为密铺？
• RQ2 哪些具有球面对顶点图的有限普遍局部环形正4-多面体可被建模为S³中由带柄流形构成的密铺？
• RQ3 所有凸d-多面体是否都能作为E^d中某类单型密铺的组合原型，即使该密铺并非面面对接？
• RQ4 在维度d ≥ 3时，等距空间填充体的分类是否完整，特别是平面中五边形的情况？
• RQ5 类型为{6,3,3}、{6,3,4}与{6,3,5}的抽象正多面体是否能通过E³或S³中六边形面带柄流形的密铺实现？

主要发现

• 每个凸d-多面体都可作为E^d中由拓扑d-多面体构成的单型密铺的组合原型，尽管此类密铺通常并非面面对接。
• 3-球面S³可被20个环形带柄流形面面对接密铺，每个带柄流形具有3×3的正方形边界复形，用于建模普遍的局部环形正4-多面体{ {4,4}_{(3,0)}, {4,3} }。
• 该密铺具有20个面、30个顶点，其组合自同构群同构于S₆ × C₂，证实了其抽象正则性。
• 此类密铺的存在表明，抽象正则4-多面体可通过带柄流形密铺在S³中实现为拓扑模型。
• 本文表明，面面对接条件对避免退化至关重要，因为对于任意凸多面体均可构造非面面对接密铺，但此类密铺无法保持结构完整性。
• 平面中等距空间填充体的分类仍为开放问题，特别是五边形的情况，预计该分类将不完整。