[논문 리뷰] Extremal ergodic measures and the finiteness property of matrix semigroups

Xiongping Dai, Yu Huang외 1명|arXiv (Cornell University)|2011. 07. 01.

Mathematical Dynamics and Fractals참고 문헌 20인용 수 3

한 줄 요약

이 논문은 유한한 복소행렬 집합의 스펙트럼 유한성 성질에 대한 필수적이고 충분한 조건을 확립한다: 연속된 스펙트럼 반경이 어떤 유한한 행렬 곱의 스펙트럼 반경과 같을 때이고, 오직 그때만, 행렬 세미군에 대한 극한의 에르고딕 측도 중 주기적인 조밀도 점을 가지는 것이 존재한다. 증명은 극한 노름과 커닝만의 가역합 에르고딕 정리에 기반하여 에르고딕 이론과 유한성 성질을 연결하며, 극한 측도에서의 주기성이 연속된 스펙트럼 반경이 유한한 곱에 의해 달성되는지 여부를 특징짓는다.

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||의 거의확실한 성장률과 일치하는 측도 μ*를 극한의 에르고딕 측도로 정의한다.
• 모든 유한한 행렬 가족 S에 대해 극한의 에르고딕 측도 존재성을 보장하기 위해 커닝만의 가역합 에르고딕 정리를 적용한다.
• 극한 노름을 사용하여 스펙트럼 반경과 행렬 곱의 성장률을 연결하고, 일반적인 수열을 따라 곱의 행동을 분석한다.
• 유한성 성질이 성립함과 동시에 어떤 극한 측도 μ*가 그 지지에서 주기적인 점(모든 n에 대해 i_{n+π} = i_n인 주기적인 수열 i·)을 가질 때만 성립함을 증명한다.
• 극한 측도가 주기적인 점을 가지지 않는 경우, 게르프란드 공식과 실린더 집합의 성질을 이용해 모순을 도출함으로써 필수성을 증명한다.
• 표준 마코프 측도 μ_p,P에 결과를 적용하여, 에르고딕성과 지지 구조에 기반한 유한성 성질에 대한 충분조건을 도출한다.

실험 결과

연구 질문

• RQ1 유한한 행렬 집합의 연속된 스펙트럼 반경이 그 행렬들의 어떤 유한한 곱의 스펙트럼 반경과 같아지는 조건은 무엇인가?
• RQ2 극한의 에르고딕 측도의 지지에 주기적인 수열이 존재하는 것과 행렬 세미군의 유한성 성질 사이의 관계는 무엇인가?
• RQ3 극한 불변 측도의 위상적 및 동역학적 구조를 기반으로, 기호 공간 Σ_K^+에서의 유한성 성질을 순수하게 특징지울 수 있는가?
• RQ4 관측 불가능하고 마코프가 아닌 극한 측도는 유한성 성질 실패에 어떤 역할을 하는가?
• RQ5 극한 측도에 주기적인 조밀도 점이 존재할 경우, 연속된 스펙트럼 반경의 안정성과 계산 가능성에 어떤 영향을 미치는가?

주요 결과

• 행렬 가족 S에 대해 스펙트럼 유한성 성질이 성립함과 동시에 S에 대한 극한의 에르고딕 측도 μ*가 지지에서 적어도 하나의 주기적인 조밀도 점을 가지는 경우에만 성립한다.
• 극한 측도 μ*가 주기 π를 가지는 주기적인 조밀도 점 i·를 가질 경우, 연속된 스펙트럼 반경은 ρ(S) = √[π]{ρ(S_{i₁'}⋯S_{i_π'})}를 만족함으로써 유한성 성질이 성립함을 증명한다.
• 그러한 주기적 점의 존재는 주기적 수열을 따라 행렬 곱의 성장률이 연속된 스펙트럼 반경에 도달함을 의미한다.
• 표준 마코프 측도 μ_p,P에 대해, 그러한 측도가 극한일 경우, 유한성 성질이 성립함을 보여주며, 이는 확률적 동역학 기반의 충분조건을 제공한다.
• 유한성 성질의 실패는 모든 극한의 에르고딕 측도에서 주기적 점이 존재하지 않을 경우와 연결되며, 이는 반례에서 관측 불가능하고 비주기적인 측도를 고려해야 함을 시사한다.
• 결과적으로, 극한 측도의 위상적 구조—특히 지지에서의 주기성—이 연속된 스펙트럼 반경이 유한한 곱을 통해 계산 가능한지 여부를 결정짓는 결정적 요소임을 보여준다.