[论文解读] An Algebraic Invariant for Substitution Tiling Systems

Charles Radin, Lorenzo Sadun|arXiv (Cornell University)|Dec 24, 1997

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

一句话总结

本文提出了一种基于替换镶嵌系统旋转子群的代数不变量，为分类彭罗斯镶嵌等镶嵌提供了拓扑与代数工具。通过分析旋转在镶嵌空间上的作用，作者计算了多种替换系统中的该不变量，证明其在区分非同构镶嵌方面的有效性，并可推广至更广泛的动力系统。

ABSTRACT

We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and compute it for various examples. We also extend our analysis to more general dynamical systems.

研究动机与目标

• 开发一种稳健的代数不变量，用于在同构意义下区分替换镶嵌系统。
• 分析旋转对称性在镶嵌空间中的作用，特别是非周期镶嵌中的作用。
• 将该不变量推广至几何镶嵌之外的一般动力系统。
• 为具体实例（包括彭罗斯镶嵌和其他替换系统）计算该不变量。
• 提供一种系统化方法，利用代数拓扑与群作用比较镶嵌系统。

提出的方法

• 将镶嵌空间定义为替换镶嵌在平移作用下的轨道的闭包。
• 识别保持镶嵌空间不变的旋转群，其为正交群的子群。
• 通过同态映射到离散阿贝尔群，构造代数不变量。
• 利用旋转群的结构及其在镶嵌上的作用，通过群上同调或同态分析计算不变量。
• 将该不变量应用于特定替换规则，如生成彭罗斯与其它非周期镶嵌的规则。
• 将构造推广至具有类似对称性质的一般动力系统，使用拓扑与代数工具。

实验结果

研究问题

• RQ1 如何通过代数方式捕捉替换镶嵌系统中的旋转对称性，以形成同构不变量？
• RQ2 给定替换镶嵌的旋转子群结构为何？其与镶嵌同构的关系如何？
• RQ3 该不变量能否区分非同构的替换镶嵌系统，如不同形式的彭罗斯类镶嵌？
• RQ4 该不变量在镶嵌空间的拓扑与动力等价下表现如何？
• RQ5 该不变量在多大程度上可推广至具有对称性的更广泛动力系统类别？

主要发现

• 该代数不变量成功区分了非同构的替换镶嵌系统，包括非周期镶嵌的不同实现。
• 对于彭罗斯镶嵌，该不变量检测到十重旋转对称性，并确认其在旋转群作用下的非平凡结构。
• 已为多个著名替换系统显式计算出该不变量，揭示了非同构镶嵌对应的不同代数不变量。
• 该方法自然推广至具有离散对称群的一般动力系统，为分类提供新工具。
• 该不变量在拓扑共轭下具有鲁棒性，其分类精细度优于拓扑熵等标准不变量。
• 该构造表明，旋转子群在不变量群中的像编码了镶嵌系统的本质几何与组合信息。