[论文解读] Extremal ergodic measures and the finiteness property of matrix semigroups

Xiongping Dai, Yu Huang+1 more|arXiv (Cornell University)|Jul 1, 2011

Mathematical Dynamics and Fractals参考文献 20被引用 3

一句话总结

该论文建立了复矩阵有限集谱有限性性质的充要条件：若且唯若存在一个具有周期性密度点的极值遍历测度，使得联合谱半径等于某个矩阵有限乘积的谱半径。证明利用极值范数和Kingman次可加遍历定理，将遍历理论与有限性性质联系起来，揭示了极值测度中的周期性特征决定了联合谱半径是否由有限乘积实现。

ABSTRACT

Let $\bS=\{S_1,...,S_K\}$ be a finite set of complex $d imes d$ matrices and $\varSigma_{K}^+$ the compact space of all one-sided infinite sequences $i_{\bcdot}\colon\mathbb{N} ightarrow\{1,...,K\}$. An ergodic probability $μ_*$ of the Markov shift $θ\colon\varSigma_{K}^+ ightarrow\varSigma_{K}^+;\ i_{\bcdot}\mapsto i_{\bcdot+1}$, is called "extremal" for $\bS$, if $ρ(\bS)=\lim_{n o\infty}\sqrt[n]{ orm{S_{i_1}...S_{i_n}}}$ holds for $μ_*$-a.e. $i_{\bcdot}\in\varSigma_{K}^+$, where $ρ(\bS)$ denotes the generalized/joint spectral radius of $\bS$. Using extremal norm and Kingman subadditive ergodic theorem, it is shown that $\bS$ has the spectral finiteness property (i.e. $ρ(\bS)=\sqrt[n]{ρ(S_{i_1}...S_{i_n})}$ for some finite-length word $(i_1,...,i_n)$) if and only if for some extremal measure $μ_*$ of $\bS$, it has at least one periodic density point $i_{\bcdot}\in\varSigma_{K}^+$.

研究动机与目标

• 确定有限矩阵族的联合谱半径由有限矩阵乘积实现的精确条件（即有限性性质）。
• 利用符号动力系统上的不变测度结构，通过遍历理论刻画谱有限性性质。
• 阐明极值遍历测度（特别是其周期性密度点）在决定广义谱半径是否可通过有限乘积计算中的作用。
• 为通过识别有限性性质成立条件而计算联合谱半径的算法提供理论基础。

提出的方法

• 将极值遍历测度 μ* 定义为满足联合谱半径 ρ(S) 等于在 μ* 下 ||Si₁⋯Sin|| 几乎必然增长速率的测度。
• 应用Kingman次可加遍历定理，证明对任意有限矩阵族 S，此类极值测度均存在。
• 利用极值范数将谱半径与矩阵乘积的增长联系起来，并分析典型序列上乘积的行为。
• 证明有限性性质成立当且仅当某个极值测度 μ* 的支撑中存在周期点（即存在周期序列 i· 满足 i_{n+π} = i_n 对所有 n 成立）。
• 若不存在此类周期点，则利用Gel’fand公式与柱集的性质导出矛盾，从而证明必要性。
• 将结果应用于典型马尔可夫测度 μ_p,P，基于遍历性与支撑结构推导出有限性性质的充分条件。

实验结果

研究问题

• RQ1 在何种条件下，有限矩阵集的联合谱半径等于该组矩阵中某个有限乘积的谱半径？
• RQ2 极值遍历测度支撑中周期序列的存在性与矩阵半群的有限性性质有何关联？
• RQ3 能否仅通过符号空间 Σ_K^+ 上极值不变测度的拓扑与动力学结构，完全刻画有限性性质？
• RQ4 非可观测、非马尔可夫的极值测度在有限性性质失效中起何种作用？
• RQ5 极值测度中周期性密度点的存在如何影响联合谱半径的稳定性与可计算性？

主要发现

• 当且仅当矩阵族 S 存在一个极值遍历测度 μ*，其支撑中至少包含一个周期性密度点时，谱有限性性质成立。
• 若极值测度 μ* 在周期为 π 的序列 i· 上具有周期性密度点，则联合谱半径满足 ρ(S) = √[π]{ρ(S_{i₁'}⋯S_{i_π'})}，从而证明了有限性性质。
• 此类周期点的存在意味着沿周期序列的矩阵乘积增长速率达到了联合谱半径。
• 对于典型马尔可夫测度 μ_p,P，若该测度为极值测度，则有限性性质成立，从而基于随机动力系统提供了充分条件。
• 有限性性质的失效与所有极值遍历测度中均无周期点有关，意味着在反例中必须考虑非可观测、非周期性的测度。
• 结果表明，极值测度的拓扑结构——特别是其支撑中的周期性——是决定联合谱半径是否可通过有限乘积计算的关键因素。