[论文解读] Computation of Topological Entropy via $ϕ$-expansion, an Inverse Problem for the Dynamical Systems $βx+α\mod 1$

Bastien Faller, Pfister, Charles-Edouard|Jun 5, 2008

Hermeneutics and Narrative Identity参考文献 11被引用 3

一句话总结

本文提出一种基于Parry的φ-展开的算法，用于计算由动力系统βx + α mod 1生成的移位空间的拓扑熵，解决了从符号序列u̱和v̱反推α和β的逆问题。主要贡献在于通过跟随集图构造了一种确定熵的方法，并提出了对参数对(α, β)的新表征，可重现给定的符号动力学。

ABSTRACT

We give an algorithm, based on the $ϕ$-expansion of Parry, in order to compute the topological entropy of a class of shift spaces. The idea is the solve an inverse problem for the dynamical systems $βx+α\mod1$.The first part is an exposition of the $ϕ$-expansion applied to piecewise monotone dynamical systems. We formulate for the validity of the $ϕ$-expansion, necessary and sufficient conditions, which are different from those in Parry's paper.

研究动机与目标

• 开发一种算法，用于计算由符号约束u̱ ≤ σⁿx ≤ v̱对所有n ≥ 0定义的移位空间的拓扑熵。
• 解决逆问题：给定符号序列u̱和v̱，确定参数α和β，使得u̱ = u̱^{α,β}且v̱ = v̱^{α,β}。
• 扩展φ-展开理论，适用于分段单调动力系统，并提出与Parry原始结果不同的必要与充分条件。
• 表征βx + α mod 1映射相关的移位空间结构，超越经典β-移位情形（α = 0）。

提出的方法

• 利用Parry的φ-展开，将实数表示为源自映射T(x) = βx + α mod 1的符号序列。
• 为移位空间Σ(u̱, v̱)构建跟随集图，以分析其组合结构并计算熵。
• 应用算法（命题3.2）计算实参数β̄和ᾱ，使得Σ(u̱, v̱)的熵等于由β̄x + ᾱ mod 1生成的移位空间的熵。
• 利用词典序和无限φ-级数φ∞^{α,β}(w̱)表征边界序列u̱^{α,β}和v̱^{α,β}。
• 利用条件φ∞^{α,β}(w̱) = 1识别定义移位空间边界的极值序列。
• 运用符号动力学和Baire范畴理论，确保集合X\S在T下稠密且不变。

实验结果

研究问题

• RQ1 如何计算在词典序下由两个符号序列u̱和v̱定义的移位空间的拓扑熵？
• RQ2 在分段单调动力系统中，φ-展开有效的必要与充分条件是什么？这些条件与Parry原始表述有何不同？
• RQ3 对于βx + α mod 1系统，是否可以算法化地解决逆问题——即从符号序列u̱和v̱反推α和β？
• RQ4 在何种条件下，移位空间Σ(u̱, v̱)对应于参数为α和β的βx + α mod 1系统？
• RQ5 边界序列u̱^{α,β}和v̱^{α,β}的周期性如何影响逆问题的可解性？

主要发现

• 移位空间Σ(u̱, v̱)的拓扑熵为log₂β̄，其中β̄由命题3.2中的算法计算得出。
• 移位空间Σ(u̱, v̱)的拓扑熵与由映射β̄x + ᾱ mod 1生成的移位空间相同，其中参数ᾱ和β̄由u̱和v̱推导得出。
• 当k = 2时，需满足条件σu̱ ≤ σv̱，以确保存在ᾱ和β̄，使得u̱ = u̱^{ᾱ,β̄}且v̱ = v̱^{ᾱ,β̄}。
• 若h(Σ(u̱, ŵ)) > 1，则存在序列u̱* ≺ v̱，当且仅当β̄ > β̃时，有u̱ = u̱^{ᾱ,β̄}且v̱ = v̱^{ᾱ,β̄}，其中β̃由ŵ的φ-展开导出。
• 当u̱^{ᾱ,β̄}和v̱^{ᾱ,β̄}均为周期序列时，除非满足额外的词典序约束，否则逆问题可能无解。
• 该算法能正确识别ᾱ和β̄，使得序列ŵ = σu̱满足φ∞^{ᾱ,β̄}(ŵ) = 1，从而与边界条件保持一致。