[论文解读] Lower bounds for symbolic complexity of iceberg dynamical systems

A. A. Prikhod’ko|arXiv (Cornell University)|Jan 27, 2012

semigroups and automata theory参考文献 14被引用 3

一句话总结

该论文为冰山动力系统（一类通过单词的随机循环旋转构造的广义秩一系统）的符号复杂度建立了 $ l^{3-u} $ 阶的下界，表明其复杂度超过经典秩一系统典型的二次复杂度。结果表明，冰山系统构成的类严格大于秩一映射，对零熵动力系统中的谱不变量与同构问题具有重要意义。

ABSTRACT

The symbolic complexity of an infinite word $W$ is the function $p_W(l)$ counting the number of different subwords in $W$ of length $l$. In this paper our main purpose is to study the complexity for a class of topological dynamical systems, called iceberg systems, given by the following symbolic procedure. Starting from a given finite word $w_1$ we construct a sequence of words $w_{n+1} = w_n ρ_{a_n(1)}(w_n)...ρ_{a_n(q_n-1)}(w_n)$, where $ρ_a(u)$ is the cyclic rotations of the word $u$ by $a$ positions, and consider an infinite word $W$ extending each $w_n$ to the right. It is shown that for iceberg systems given by the randomized parameters $a_n(j)$ the complexity function almost surely satisfies the estimate $p_W(l) > l^{3-ε}$ for any $ε> 0$ and $l \ge l_0(ε)$, and at the same time it is observed that this estimate represents up to a small correction the optimal lower bound for the complexity function, namely, $p_{w_{n+1}}(l_n) \le l_n^3$ along the subsequence $l_n = |w_n|+1$.

研究动机与目标

• 研究一类称为冰山系统的广义动力系统类的符号复杂度，扩展经典秩一构造。
• 确定冰山系统是否表现出高于已知具有 $ p(l) \lesssim l^2 $ 复杂度的古典秩一系统的复杂度。
• 探讨符号复杂度作为不变量在区分同构但非同构系统（特别是在零熵动力系统中）中的作用。
• 将冰山系统的复杂度与具有三次复杂度 $ \sim l^3/6 $ 的帕斯卡阿迪克变换进行比较。

提出的方法

• 通过迭代单词扩展构造冰山系统：$ \boldsymbol{w}_{n+1} = \boldsymbol{w}_n \rho_{\alpha_n(1)}(\boldsymbol{w}_n) \cdots \rho_{\alpha_n(q_n-1)}(\boldsymbol{w}_n) $，其中 $ \rho_\alpha $ 表示循环旋转。
• 分析符号复杂度函数 $ p_{\boldsymbol{w}_\infty}(l) $，即在无限极限词 $ \boldsymbol{w}_\infty $ 中长度为 $ l $ 的不同子词的数量。
• 使用随机化的旋转参数 $ \alpha_n(j) $ 来模拟典型行为，并推导出复杂度的概率下界。
• 建立子序列 $ l_n = |\boldsymbol{w}_n| + 1 $，使得 $ p_{\boldsymbol{w}_{n+1}}(l_n) \leq l_n^3 $，表明三次界在小修正范围内是紧的。
• 应用尺度近似理论，证明冰山映射具有尺度秩一，且 $ \boldsymbol{\lambda}(h) = 1/2 $，与秩一映射的 $ \boldsymbol{\lambda}(h) = 1 $ 形成对比。
• 将结果与已知的帕斯卡阿迪克变换的复杂度进行比较，其复杂度达到 $ p(l) \sim l^3/6 $。

实验结果

研究问题

• RQ1 使用随机循环旋转构造的冰山系统的典型符号复杂度是多少？
• RQ2 能否使用符号复杂度作为不变量来区分冰山系统与经典秩一系统？
• RQ3 冰山系统的三次增长速率 $ l^3 $ 是否最优，或可建立更紧的界？
• RQ4 冰山系统的尺度函数 $ \boldsymbol{\lambda}(h) $ 与帕斯卡阿迪克变换相比如何？
• RQ5 帕斯卡阿迪克映射的渐近复杂度 $ \sim l^3/6 $ 是否最优，是否反映了普遍的尺度行为？

主要发现

• 对于采用随机旋转参数的冰山系统，符号复杂度满足 $ p_{\boldsymbol{w}_\infty}(l) \gtrsim l^{3-\varepsilon} $，其中任意 $ \varepsilon > 0 $，表明其接近三次增长。
• 在子序列 $ l_n = |\boldsymbol{w}_n| + 1 $ 上，上界 $ p_{\boldsymbol{w}_{n+1}}(l_n) \leq l_n^3 $ 表明三次界几乎是最优的。
• 冰山系统严格比经典秩一系统更复杂，因为后者满足 $ p(l_n) \lesssim \frac{1}{2} l_n^2 $，与 $ l^{3-\varepsilon} $ 的下界矛盾。
• 冰山映射具有尺度秩一，且 $ \boldsymbol{\lambda}(h) = 1/2 $，反映了其通过两段区间交换（循环旋转）构造的特性。
• 帕斯卡阿迪克变换的符号复杂度恰好为 $ p(l) \sim \frac{1}{6} l^3 $，使其成为比较冰山系统的一个自然基准。
• 结果表明，即使谱性质相似，符号复杂度仍可区分非同构系统，暗示秩并非谱不变量。