[论文解读] Spherical tilings by congruent quadrangles over pseudo-double wheels (III) - the essential uniqueness in case of convex tiles

Yohji Akama, Yudai Sakano|arXiv (Cornell University)|Dec 11, 2013

Quasicrystal Structures and Properties参考文献 9被引用 5

一句话总结

本文证明了所有在伪双轮（双棱柱）上的球面单面四边形密铺，若其镶嵌块为凸四边形，则必为等面密铺，从而解决了格伦鲍姆与希普法德1981年结果的逆问题。通过在角度与边长分配上运用组合与几何匹配论证，作者确立了凸性强制对称性，而非凸镶嵌块则可能破坏等面性——为凸情况提供了完整分类，并推测该结论在一般情况下也成立。

ABSTRACT

In [B.Gruenbaum, G.C. Shephard, Spherical tilings with transitivity properties, in: The geometric vein, Springer, New York, 1981, pp. 65-98], they proved "for every spherical normal tiling by congruent tiles, if it is isohedral, then the graph is a Platonic solid, an Archimedean dual, an n-gonal bipyramid (n>2), or an n-gonal trapezohedron (i.e., the pseudo-double wheel of 2n faces)". In the classification of spherical monohedral tilings, one naturally asks an "inverse problem" of their result: For a spherical monohedral tiling of the above mentioned topologies, when is the tiling isohedral? We prove that for any spherical monohedral quadrangular tiling being topologically a trapezohedron, if the number of faces is 6, or 8, if the tile is a kite, a dart or a rhombi, or if the tile is convex, then the tiling is isohedral.

研究动机与目标

• 解决格伦鲍姆与希普法德1981年分类的逆问题：当给定拓扑（如截棱柱）时，球面单面密铺何时为等面密铺？
• 确定四边形镶嵌块的凸性是否在球面伪双轮单面密铺中强制实现等面性。
• 通过识别等面性的必要与充分条件，对球面单面四边形密铺进行分类，尤其关注凸镶嵌块的情况。
• 提出一种基于禁止子结构与计算过滤的框架，对球面密铺中全等凸四边形进行分类。

提出的方法

• 通过赋予边长与角度的平面图建模球面单面四边形密铺，聚焦于伪双轮（截棱柱）拓扑。
• 应用匹配理论，一致分配各镶嵌块的角度与边长，确保其在球面上的几何可实现性。
• 运用组合论证，在凸性约束下排除非等面配置，尤其针对类型2或4的镶嵌块。
• 利用关于筝形、飞镖形与菱形的已有结果，将等面性结论推广至更广泛的对称四边形类别。
• 通过计算机实验识别并排除含禁止子结构的图，高效过滤潜在密铺候选。
• 采用单变量（如γ）对镶嵌块角度与边长进行三角函数参数化，以验证密铺的几何一致性。

实验结果

研究问题

• RQ1 在何种条件下，伪双轮上的球面单面密铺为等面密铺？
• RQ2 四边形镶嵌块的凸性是否保证球面单面四边形密铺的等面性？
• RQ3 能否通过禁止子结构过滤与几何约束，系统性地对球面单面四边形密铺进行分类？
• RQ4 是否存在非等面的球面单面四边形密铺，其镶嵌块为凸四边形且拓扑为伪双轮？
• RQ5 格伦鲍姆与希普法德结果的逆命题是否对所有球面拓扑（正多面体、阿基米德对偶体、双棱柱、截棱柱）中的凸镶嵌块均成立？

主要发现

• 所有在伪双轮上、面数F = 6或8的球面单面四边形密铺，无论镶嵌块类型如何，均为等面密铺。
• 对于凸镶嵌块，任何在伪双轮上、面数F ≥ 10的球面单面密铺均为等面密铺。
• 若镶嵌块为筝形、飞镖形或菱形，则密铺为等面密铺，此结论此前已有确立。
• 非凸的类型2或类型4四边形可产生非等面密铺，反例显示12个凹四边形可构成非等面密铺。
• 此类非等面密铺的存在证实，凸性是逆命题成立的必要条件。
• 计算机过滤表明，利用小型禁止子结构可排除超过40%的球面四边形图，使其无法成为凸类型2四边形密铺的候选。