[论文解读] One-dimensional Substitution Tilings with an Interval Projection Structure

Edmund Harriss, Jeroen S. W. Lamb|ArXiv.org|Jan 9, 2006

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

一句话总结

本文对具有区间投影结构的一维代换拼图进行了几何表征，表明所有此类拼图均允许存在可数无穷多个非等价的代换规则。文章建立了代换规则与区间交换变换（IETs）的Rauzy-Veech重整化之间的直接联系，展示了如何通过悬垂数据的细化来诱导代换规则，特别是在斐波那契拼图情况下，由于负收缩因子的存在而产生非局部规则。

ABSTRACT

We study nonperiodic tilings of the line obtained by a projection method with an interval projection structure. We obtain a geometric characterisation of all interval projection tilings that admit substitution rules and describe the set of substitution rules for each such a tiling. We show that each substitution tiling admits a countably infinite number of nonequivalent substitution rules. We also provide a complete description of all tilings of the line and half line with an interval projection structure that are fixed by a substitution rule. Finally, we discuss how our results relate to renormalization properties of interval exchange transformations (with two or three intervals).

研究动机与目标

• 表征哪些具有区间投影结构的一维拼图允许代换规则。
• 描述每种此类拼图的完整代换规则集合。
• 确定所有在代换规则下固定的直线和半直线拼图。
• 阐明代换规则与具有两个或三个区间的区间交换变换（IETs）重整化之间的关系。

提出的方法

• 使用几何投影构造：将 ℤ² 中的格点与条带 V + Ω 的交点沿 W 投影到直线 V 上，以形成区间拼图的顶点集。
• 应用分区算法以生成窗框分区和替换规则，从而系统地推导出代换规则。
• 对区间交换变换（IETs）引入细化过程，以确保在子区间上具有唯一的悬垂数据表示，从而实现态射的诱导。
• 依赖于幺模线性变换和态射的几何实现，通过窗框和投影结构来表征代换规则。
• 对IETs应用Rauzy-Veech重整化，特别关注斐波那契情况下的负收缩因子 λ < 0。
• 利用在细化分区上的悬垂数据图，推导出显式的代换规则，如 σ(a₁,a₂,b₁,b₂) = (b₁a₁,a₂b₂,a₂,a₁)。

实验结果

研究问题

• RQ1 哪些具有区间投影结构的一维拼图允许代换规则？
• RQ2 此类拼图的完整代换规则集合是什么，每种拼图存在多少个非等价规则？
• RQ3 哪些直线和半直线拼图在代换规则下是固定的？
• RQ4 IETs的Rauzy-Veech重整化如何与区间投影拼图中代换规则的存在性相关联？
• RQ5 在何种条件下，重整化会诱导悬垂数据上的态射，从而导致非局部代换规则？

主要发现

• 所有区间投影拼图都允许存在可数无穷多个非等价的代换规则。
• 每种拼图的代换规则集合可通过窗框区间上的几何分区算法完全表征。
• 在代换规则下固定的拼图，正是其窗框和投影结构在幺模变换下保持不变的拼图。
• 在斐波那契拼图中，由于Rauzy-Veech重整化中负收缩因子 λ < 0 的存在，导致出现非局部代换规则，这需要对区间进行细化分区。
• Rauzy-Veech重整化过程仅在对区间进行细化以确保每个子区间上具有唯一的悬垂数据表示后，才会在悬垂数据上诱导出态射。
• 在斐波那契IET情况下，细化分区导致代换规则 σ(a₁,a₂,b₁,b₂) = (b₁a₁,a₂b₂,a₂,a₁)，该规则与例2.5中的非局部规则一致。