符号动力学——轨道即符号序列

上级：orbit · 前提：discrete-dynamical-systems

核心操作：不再追踪一个点本身，而是记录它的轨道依次落入哪些（有限个）区域，得到一条"行程"（itinerary）；再把所有行程构成的空间本身当作一个动力系统来研究。

全移位（Full shift）

字母表 $A = \{0, 1, \dots, k-1\}$。满 $k$-移位是 $\Sigma_k = A^{\mathbb{N}}$（所有单向符号序列的集合），配上移位映射 $\sigma(x)_n = x_{n+1}$——去掉第一个符号。度量：$d(x, y) = 2^{-\min\{n \,:\, x_n \neq y_n\}}$；两个序列越接近，说明它们共同的前缀越长。$\Sigma_k$ 是紧致的，$\sigma$ 连续。

有限型子移位（SFT）

固定一个 $k \times k$ 的 0-1 转移矩阵 $M$。SFT $\Sigma_M \subseteq \Sigma_k$ 由所有相邻符号对都被允许的序列组成：$M_{x_n, x_{n+1}} = 1$ 对所有 $n$ 成立。（等价地：禁止有限多个词。）

两个精确的计数事实，使 SFT 成为可计算的对象：

• 词数： 长度为 $n$ 的合法词数是 $\sum_{i,j} (M^{n-1})_{ij}$。
• 周期轨道数： $\#\{x : \sigma^n x = x\} = \operatorname{tr}(M^n)$。

拓扑熵

$h(\sigma) = \lim_{n \to \infty} \tfrac{1}{n} \log \# W_n$，其中 $W_n$ 是长度为 $n$ 的合法词集合。对 SFT 而言，$h = \log \lambda_{\max}(M)$（Perron–Frobenius 特征值）。熵是共轭不变量中衡量轨道多样性的那一个：长度为 $n$、彼此可区分的轨道片段究竟有多少。

一步步数：黄金分割移位

字母表 $\{0,1\}$，禁止词是 $11$（不允许连续两个 1）：$M = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}$。

长度为 $n$ 的词数：$W_1 = \{0, 1\}$，故 $\#W_1 = 2$；$\#W_2 = 3$（$00, 01, 10$）；$\#W_3 = 5$（$000,001,010,100,101$）；$\#W_4 = 8$。这正是斐波那契数列 $F_{n+2}$——而 $M$ 本身就是斐波那契矩阵。于是

即黄金比例的对数。周期点：$\operatorname{tr}(M^2) = 3$，即周期整除 2 的点有 3 个——分别是 $\overline{00}$、$\overline{01}$、$\overline{10}$。✓（$\overline{11}$ 被禁止。）

为什么这是通用的后端

编码就是一个从具体系统到某个移位的共轭（或半共轭）$h \circ f = \sigma \circ h$：

• 倍角映射 $\leftrightarrow$ 满 2-移位，经由二进制展开（ergodic-theory-of-orbits）；
• 带覆盖关系的区间映射 $\to$ SFT 行程——这正是 Sharkovskii / Li–Yorke 定理内部运转的引擎（topological-dynamics）；
• $z^2$ 的 Julia 集上的角度倍增映射（complex-dynamics）；
• $\mathbb{Z}_2$ 上的 Collatz 映射，经由奇偶向量，本质上就是满 2-移位的另一种化身（collatz-orbit-statistics）——这是"动力学本身已被理解，但整数没有"这句话最干净的表述。

一旦完成编码，关于轨道的问题就变成了关于词组合的问题——可数、可验证、往往可判定；损失的恰恰是哪些符号序列对应到你真正关心的那些点，这一层算术信息。