中文

极值遍历测度与矩阵半群的有限性性质

动力系统 2011-07-04 v1 环与代数

摘要

\bS={S1,...,SK}\bS=\{S_1,...,S_K\} 为一有限集,其中元素为 d×dd\times d 复矩阵,并设 ΣK+\varSigma_{K}^+ 为所有单边无穷序列 i\bcdot ⁣:N{1,...,K}i_{\bcdot}\colon\mathbb{N}\rightarrow\{1,...,K\} 构成的紧空间。对于马尔可夫移位 θ ⁣:ΣK+ΣK+; i\bcdoti\bcdot+1\theta\colon\varSigma_{K}^+\rightarrow\varSigma_{K}^+;\ i_{\bcdot}\mapsto i_{\bcdot+1},若其遍历概率测度 μ\mu_*μ\mu_*-几乎处处的 i\bcdotΣK+i_{\bcdot}\in\varSigma_{K}^+ 满足 ρ(\bS)=limn\normSi1...Sinn{\rho}(\bS)=\lim_{n\to\infty}\sqrt[n]{\norm{S_{i_1}...S_{i_n}}},则称该测度为 \bS\bS 的“极值”测度,其中 ρ(\bS)\rho(\bS) 表示 \bS\bS 的广义/联合谱半径。利用极值范数与 Kingman 次加性遍历定理,本文证明:\bS\bS 具有谱有限性性质(即对某个有限长词 (i1,...,in)(i_1,...,i_n)ρ(\bS)=ρ(Si1...Sin)n\rho(\bS)=\sqrt[n]{\rho(S_{i_1}...S_{i_n})})当且仅当 \bS\bS 的某个极值测度 μ\mu_*ΣK+\varSigma_{K}^+ 中至少有一个周期稠密点 i\bcdoti_{\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