[论文解读] Fusion tilings with infinite local complexity

Natalie Priebe Frank, Lorenzo Sadun|arXiv (Cornell University)|Jan 18, 2012

Quasicrystal Structures and PropertiesMaterials Science参考文献 9被引用 17

一句话总结

本文提出了一套针对具有无限局部复杂性（ILC）的融合填充的正式框架，其中瓷砖类型构成一个紧致空间，允许几何与组合意义上的ILC。该研究建立了不变测度的谱理论，通过函数方程识别特征值，并表明尽管转移空间完全不连通，复杂度仍以 $L^2/ heta^2$ 的速率增长，且由于特征值在1处累积，不变测度的收敛并非指数级。

ABSTRACT

We propose a formalism for tilings with infinite local complexity (ILC), and especially fusion tilings with ILC. We allow an infinite variety of tile types but require that the space of possible tile types be compact. Examples include solenoids, pinwheel tilings, tilings with fault lines, and tilings with infinitely many tile sizes, shapes, or labels. Special attention is given to tilings where the infinite local complexity comes purely from geometry (shears) or comes purely from combinatorics (labels). We examine spectral properties of the invariant measures and define a new notion of complexity that applies to ILC tilings.

研究动机与目标

• 将瓷砖系统中具有无限局部复杂性（ILC）的形式化定义，其中瓷砖类型构成一个紧致度量空间。
• 将谱理论扩展至ILC融合填充，特别是分析转移算子的不变测度与特征值。
• 定义一种适用于ILC填充的新复杂度度量，以区分几何与组合来源的复杂度。
• 研究转移空间的结构，并证明尽管存在连续的瓷砖尺寸，其仍为完全不连通。
• 通过函数方程与自相似性，表征转移算子的特征函数与特征值。

提出的方法

• 将瓷砖定义为支持（$\mathbb{R}^d$ 中的紧致集）与紧致度量空间 $\mathcal{L}$ 中标签的配对，并在 Hausdorff 距离与标签距离下定义收敛性。
• 从具有控制点的原型瓷砖构造填充，确保在极限下支持与标签的收敛性。
• 基于在膨胀球体内补丁的一致性定义填充上的度量，从而得到紧致的壳 $\Omega_T$。
• 引入作用于瓷砖长度函数上的转移算子 $\mathcal{T}$，其特征值方程为 $\tilde{f}(2x)/\tilde{f}(x) = \lambda$（$x \in [1,3]$），由此导出函数方程。
• 利用自相似性与缩放关系，通过分段幂律函数推导特征函数，求解复数 $\gamma$ 满足 $3^\gamma = 2^\gamma + 1$。
• 通过在 $\epsilon$ 精度内计数超瓷砖与位置选择数，分析复杂度 $C(\epsilon, L)$ 为 $L^2/\epsilon^2$。

实验结果

研究问题

• RQ1 当瓷砖类型构成紧致空间时，如何正式定义并表征融合填充中的无限局部复杂性？
• RQ2 ILC 融合填充中不变测度的谱性质是什么，特别是转移算子的特征值与特征函数？
• RQ3 在 ILC 填充中，近似补丁的复杂度如何随尺度 $L$ 与误差 $\epsilon$ 增长？
• RQ4 为何此类填充空间的转移空间完全不连通，尽管存在连续的瓷砖尺寸？
• RQ5 无理旋转与缩放动力学在决定特征值谱中起什么作用？

主要发现

• 特征值 $\lambda = 1$ 对应该唯一不变测度，其特征函数 $\tilde{f}(x)$ 满足在 $[1,3/2]$ 上 $\tilde{f}(2x)/\tilde{f}(x) = 3\lambda/4$ 等关系，并通过 $\int_1^3 x\tilde{f}_n(x)dx = 1$ 进行归一化。
• 特征值方程 $\left|\frac{3\lambda}{4}\right|^{\ln(3/2)}\left|\frac{9\lambda}{4}\right|^{\ln(4/3)}\left|\frac{3(3\lambda-2)}{4}\right|^{\ln(3/2)} = 1$ 表明所有特征值位于或位于单位圆内，且仅 $\lambda = 1$ 位于边界上。
• 对于满足 $3^\gamma = 2^\gamma + 1$ 的复数 $\gamma$，函数 $\tilde{f}(x) = x^{-(\gamma+1)}$ 在 $[1,2)$ 上，$3^\gamma x^{-(\gamma+1)}$ 在 $[2,3]$ 上，是对应特征值 $\lambda = (3/2)^{\gamma-1}$ 的特征函数。
• 转移算子的谱在 $\lambda = 1$ 处累积，意味着其收敛至不变测度并非指数级。
• 复杂度 $C(\epsilon, L)$ 按 $L^2/\epsilon^2$ 规律增长，反映了在 $\epsilon$ 精度内超瓷砖与位置选择的数量。
• 尽管存在连续的瓷砖长度，转移空间仍为完全不连通，其通过超瓷砖分解中的组合差异可被闭开集所区分。