[논문 리뷰] Random products of matrices: a dynamical point of view

Tien‐Cuong Dinh, Lucas Kaufmann외 1명|arXiv (Cornell University)|2019. 05. 21.

Geometry and complex manifolds참고 문헌 9인용 수 4

한 줄 요약

이 논문은 복소수 특수선형군 SL₂(ℂ)에서의 랜덤 행렬 곱을 해석적 동역학을 통해 연구하며, 유한한 첫 번째 모멘트 조건 하에서 전이 연산자가 소볼레프 노름에서 정적 측도로 지수적으로 수렴함을 증명한다. 또한 전방 궤도의 지수적 등분포를 증명하고, 두 번째 모멘트 조건 하에서 노름 코시클에 대한 중심극한정리의 새로운 증명을 제시하며, 정적 측도의 정(regularity)에 응용을 제공한다.

ABSTRACT

We study random products of matrices in SL_2(C) from the point of view of holomorphic dynamics. For non-elementary measures with finite first moment we obtain the exponential convergence towards the stationary measure in Sobolev norm. As a consequence we obtain the exponentially fast equidistribution of forward images of points towards the stationary measure. We also give a new proof of the Central Limit Theorem for the norm cocycle under a second moment condition, originally due to Benoist-Quint, and obtain some general regularity results for stationary measures.

연구 동기 및 목표

• SL₂(ℂ) 행렬의 랜덤 곱을 해석적 동역학 도구를 사용하여 분석하기.
• 유한한 첫 번째 모멘트 조건 하에서 전이 연산자가 소볼레프 노름에서 정적 측도로 지수적으로 수렴함을 증명하기.
• 임의의 점의 전방 이미지가 정적 측도로 지수적으로 등분포함을 증명하기.
• 두 번째 모멘트 조건 하에서 노름 코시클에 대한 중심극한정리의 새로운 증명을 제시하기.
• 모멘트 조건 하에서 정적 측도의 정(regularity) 성질을 확립하기.

제안 방법

• 현재 [Γμ]에 의해 정의된 일반화된 대응 fμ를 ℙ¹ × ℙ¹에서 사용하며, 군 작용에 대해 통합한다.
• fμ*(φ)(x) = ∫G φ(g·x) dμ(g)로 정의되는 전이 연산자 fμ*를 사용하며, 이는 𝒞β 및 소볼레프 공간의 시험 함수에 작용한다.
• 전이 연산자가 정적 측도 ν로 수렴하는 정도를 측정하기 위해 소볼레프 노름 ‖·‖W¹,²을 사용한다.
• 카르탕 분해를 사용하여 분석을 대각 행렬로 줄이며, ‖∂θg‖L² 및 ‖θg‖W¹,²의 명시적 계산을 가능하게 한다.
• 만약 gⁿhⁿ이 무한히 많은 n에 대해 로크시드롬릭이 아니면, g와 h는 고정점을 공유하게 되며, 이는 일반성과 모순됨을 보여주는 보조정리에 의해 지수적 감쇠를 증명한다.
• 보조정리 A.7을 사용하여 θg의 미분의 L²-노름을 유계로 제한함으로써, ‖θg‖W¹,² ≲ 1 + log‖g‖를 도출한다.

실험 결과

연구 질문

• RQ1 전이 연산자가 소볼레프 노름에서 정적 측도로 지수적으로 수렴하기 위한 모멘트 조건은 무엇인가?
• RQ2 비원소적 측도 하에서 임의의 점 a ∈ ℙ¹의 전방 이미지가 정적 측도로 등분포하는 속도는 얼마나 빠른가?
• RQ3 해석적 동역학과 소볼레프 추정을 통해 노름 코시클에 대한 중심극한정리를 재증명할 수 있는가?
• RQ4 유한한 첫 번째 또는 두 번째 모멘트 조건 하에서 정적 측도는 어떤 정(regularity) 성질을 갖는가?
• RQ5 반복된 곱 gₙ⋯g₁이 큰 n에 대해 로크시드롬릭이 되도록 보장하는 조건은 무엇인가, 이를 통해 에르고딕성과 믹싱이 보장되는가?

주요 결과

• 비원소적 μ ∈ PSL₂(ℂ)이 유한한 첫 번째 모멘트 조건을 만족할 경우, 전이 연산자는 W¹,²-노름에서 정적 측도 ν로 지수적으로 수렴한다.
• 모든 점 a ∈ ℙ¹에 대해 전방 이미지가 정적 측도로 지수 속도 γβⁿ으로 등분포하며, 이는 a에 대해 일관되게 성립한다. 조건은 ∫(log‖g‖)¹⁺ε dμ(g) < ∞ 이다.
• 두 번째 모멘트 조건 ∫‖g‖α dμ(g) < ∞ (어떤 α > 0에 대해) 하에서, 노름 코시클에 대한 중심극한정리의 새로운 증명을 확보한다. 원래는 Benoist-Quint에 의해 증명되었다.
• 정적 측도 ν는 모멘트 조건 하에서 정(regular)임을 보이며, ‖θg‖W¹,² ≲ 1 + log‖g‖의 정량적 제어가 가능하다.
• 증명은 만약 gⁿhⁿ이 무한히 많은 n에 대해 로크시드롬릭이 아니면, g와 h는 고정점을 공유해야 하며, 이는 비원소성 조건에 의해 배제됨을 보여준다.
• θg의 미분의 L²-노름은 ≲ (log‖g‖)¹ᐟ²로 유계로 제한되며, 이는 소볼레프 추정 및 이후의 수렴 결과를 가능하게 한다.