[论文解读] Spectral Theory of Substitutions in $\mathbb{Z}^d$

Alan Bartlett|arXiv (Cornell University)|Oct 29, 2014

semigroups and automata theory参考文献 21被引用 6

一句话总结

本文通过基于替换规则的矩阵表示开发了一种新颖算法，对非周期性 $ζ^d$ 替换建立了谱理论，通过互异的纯类型测度刻画了 $L^2$ 上平移算子的最大谱类型。该理论证明了非周期性双射交换 $ζ^d$ 替换的谱为奇异谱，并解决了开放问题：证明了 Queffélec 的非交换双射替换以及 Table 纹理的谱为奇异谱。

ABSTRACT

In this paper, we generalize and develop results of Queffelec allowing us to characterize the spectrum of an aperiodic substitution in $\mathbb{Z}^d$ by describing the Fourier coefficients of mutually singular measures of pure type giving rise to the maximal spectral type of its Koopman representation. We note that this is done without the assumptions of primitivity or trivial height, and provides a simple algorithm for determining singularity to Lebesgue spectrum for such substitutions. This is used to show that the spectrum of any aperiodic bijective and commutative $\mathbb{Z}^d$ substitution on a finite alphabet is purely singular. Additionally, we use the algorithm to show singularity of the spectrum for Queffelec's noncommutative bijective substitution, as well as the Table tiling, answering an open question of Solomyak.

研究动机与目标

• 将 Queffélec 的一维替换谱理论推广至高维 $ζ^d$ 替换。
• 在不假设本原性或高度条件的前提下，刻画 $L^2$ 上平移算子的最大谱类型。
• 为非周期性 ${\mathbf{q}}$-替换开发一种可计算的算法，以确定其谱分量（离散、奇异连续、绝对连续）。
• 解决准晶体模型中谱奇异性的开放问题，包括 Queffélec 的非交换替换和 Table 纹理。
• 建立紧致度量空间上遍历矩阵值测度的对角化结果，作为谱分析的基础工具。

提出的方法

• 通过指令矩阵 ${\mathcal{R}}_{\mathbf{j}}$、替换矩阵 $M_{\mathcal{S}}$ 和通过克罗内克积定义的重合矩阵 $C_{\mathcal{S}}$，利用矩阵代数表示替换。
• 将谱壳 ${\mathcal{K}}({\mathcal{S}})$ 定义为满足归一化和正性约束的 $C_{\mathcal{S}}$ 的强正左 $Q$-特征向量的集合。
• 利用 ${\mathbf{q}}$-进制算术和去替换，将相关测度 $\widehat{\Sigma}({\mathbf{k}})$ 递归地表示为广义指令 ${\mathcal{R}}_{\mathbf{j}}^{(n)}$ 的形式。
• 通过谱壳 ${\mathcal{K}}^*$ 中的向量构造谱测度，作为相关测度 $\sigma_{\alpha\beta}$ 的线性组合，确保各纯类型分量之间的相互奇异。
• 应用遍历矩阵值测度的对角化定理，将最大谱类型分解为纯谱分量。
• 利用可识别性和非周期性，确保谱壳完整捕捉谱分解而不产生冗余。

实验结果

研究问题

• RQ1 在不假设本原性或平凡高度的前提下，能否刻画非周期性 $ζ^d$ 替换的谱类型？
• RQ2 计算 ${\mathbf{q}}$-替换谱的离散、奇异连续和绝对连续分量的算法程序是什么？
• RQ3 Queffélec 的非交换双射 $ζ^d$ 替换的谱是否如猜想所言为纯奇异连续谱？
• RQ4 作为著名的非周期性密铺，Table 纹理是否具有奇异连续谱，这是 Solomyak 提出的一个开放问题。
• RQ5 每个紧致度量空间上的遍历矩阵测度是否都能对角化？这一结果如何辅助谱分析？

主要发现

• 非周期性 ${\mathbf{q}}$-替换的最大谱类型 $\sigma_{\text{max}}$ 被分解为互异的纯类型测度，每一类对应谱壳 ${\mathcal{K}}^*$ 的极值点。
• 谱壳 ${\mathcal{K}}({\mathcal{S}})$ 明确定义为方程 $C_{\mathcal{S}}^t{\mathbf{v}} = Q{\mathbf{v}}$ 的解集，其中 ${\mathbf{v}} \gg 0$ 且迹归一化，确保正性和谱的纯度。
• 每个非周期性双射交换 ${\mathbf{q}}$-替换的谱均为纯奇异连续谱，解决了准晶体谱理论中的关键情形。
• 该算法成功证明了 Queffélec 的非交换双射替换和 Table 纹理的谱为奇异谱，回答了 Solomyak 的一个开放问题。
• 本文确立了每个紧致度量空间上的遍历矩阵测度均可对角化，这是谱分解中使用的基础性结果。
• 谱测度的傅里叶系数可通过递归公式 $\widehat{\Sigma}({\mathbf{k}}) = \frac{1}{Q^n} \sum_{{\mathbf{j}} \in [{\mathbf{0}}, {\mathbf{q}}^n)} {\mathcal{R}}_{\mathbf{j}}^{(n)} \otimes {\mathcal{R}}_{{\mathbf{j}}+{\mathbf{k}}}^{(n)} \widehat{\Sigma}(\lfloor{\mathbf{j}}+{\mathbf{k}}\rfloor_n)$ 计算，从而实现谱的显式计算。