极值遍历测度与矩阵半群的有限性性质
动力系统
2011-07-04 v1 环与代数
摘要
设 \bS = { S 1 , . . . , S K } \bS=\{S_1,...,S_K\} \bS = { S 1 , ... , S K } 为一有限集,其中元素为 d × d d\times d d × d 复矩阵,并设 Σ K + \varSigma_{K}^+ Σ K + 为所有单边无穷序列 i \bcdot : N → { 1 , . . . , K } i_{\bcdot}\colon\mathbb{N}\rightarrow\{1,...,K\} i \bcdot : N → { 1 , ... , K } 构成的紧空间。对于马尔可夫移位 θ : Σ K + → Σ K + ; i \bcdot ↦ i \bcdot + 1 \theta\colon\varSigma_{K}^+\rightarrow\varSigma_{K}^+;\ i_{\bcdot}\mapsto i_{\bcdot+1} θ : Σ K + → Σ K + ; i \bcdot ↦ i \bcdot + 1 ,若其遍历概率测度 μ ∗ \mu_* μ ∗ 对 μ ∗ \mu_* μ ∗ -几乎处处的 i \bcdot ∈ Σ K + i_{\bcdot}\in\varSigma_{K}^+ i \bcdot ∈ Σ K + 满足 ρ ( \bS ) = lim n → ∞ \norm S i 1 . . . S i n n {\rho}(\bS)=\lim_{n\to\infty}\sqrt[n]{\norm{S_{i_1}...S_{i_n}}} ρ ( \bS ) = lim n → ∞ n \norm S i 1 ... S i n ,则称该测度为 \bS \bS \bS 的“极值”测度,其中 ρ ( \bS ) \rho(\bS) ρ ( \bS ) 表示 \bS \bS \bS 的广义/联合谱半径。利用极值范数与 Kingman 次加性遍历定理,本文证明:\bS \bS \bS 具有谱有限性性质(即对某个有限长词 ( i 1 , . . . , i n ) (i_1,...,i_n) ( i 1 , ... , i n ) 有 ρ ( \bS ) = ρ ( S i 1 . . . S i n ) n \rho(\bS)=\sqrt[n]{\rho(S_{i_1}...S_{i_n})} ρ ( \bS ) = n ρ ( S i 1 ... S i n ) )当且仅当 \bS \bS \bS 的某个极值测度 μ ∗ \mu_* μ ∗ 在 Σ K + \varSigma_{K}^+ Σ K + 中至少有一个周期稠密点 i \bcdot i_{\bcdot} i \bcdot 。
引用
@article{arxiv.1107.0123,
title = {Extremal ergodic measures and the finiteness property of matrix semigroups},
author = {Xiongping Dai and Yu Huang and Mingqing Xiao},
journal= {arXiv preprint arXiv:1107.0123},
year = {2011}
}
备注
9 pages; accepted by Proceedings of the AMS