[논문 리뷰] Decay of correlation for expanding toral endomorphisms

Ai Hua Fan|arXiv (Cornell University)|2015. 11. 21.

Mathematical Dynamics and Fractals참고 문헌 5인용 수 4

한 줄 요약

이 논문은 확장되는 토럴 엔도모르피즘의 상관관계 감쇠에 대한 최적의 경계를 L² 연속성의 모듈러스를 사용하여 설정한다. 상관관계 감쇠는 Ωf,2(λ⁻ⁿ)에 의해 제어되며, 허더 함수의 경우 지수 감쇠를 보이고, L²-모듈러스 연속성의 합성 조건이 성립할 경우 중심극한정리가 성립한다. 이 결과는 공액성을 통해 욤-폰 뉴만 지도로 확장된다.

ABSTRACT

Let $A$ be an expanding endomorphism on the torus ${\Bbb T}^d = {\Bbb R}^d /{\Bbb Z}^d$ with its smallest eigenvalue $λ>1$. Consider the ergodic system $({\Bbb T}^d, A, μ)$ where $μ$ is Haar measure. We prove that the correlation $ρ_{f, g}(n)$ of a pair of functions $f, g \in L^2(μ)$ is controlled by the modulus of $L^2$-continuity $Ω_{f, 2}(λ^{-n})$ and that the estimate is to some extent optimal. We also prove the central limit theorem for the stationary process $f(A^n x)$ defined by a function $f$ satisfying $Σ_n Ω_{f,2}(λ^{-n})

연구 동기 및 목표

• 확장 토럴 엔도모르피즘에서 상관관계 감쇠 속도에 대한 날카롭고 최적의 추정을 수립하는 것.
• 허더 유형의 정규성으로 일반화하는 L²-모듈러스 연속성 Ωf,2(δ)를 통해 감쇠 속도를 특성화하는 것.
• Ωf,2(δ)/δ에 대한 합성 조건을 도입하여 허더 또는 Bounded Variation보다 덜 규칙적인 관측량으로 중심극한정리를 확장하는 것.
• 공액성을 통해 토럴 엔도모르피즘의 결과를 구간 지도로 전달하여 욤-폰 뉴만 지도에 적용함으로써, 로그 관측량에 대한 감쇠 속도를 도출하는 것.

제안 방법

• 확장 엔도모르피즘 A의 역분지에 대해 자릿수 집합 D로 정의된 전이 연산자 L의 사용.
• 핵심 추정: f ∈ Lr(μ), r ∈ [1, ∞]에 대해 ||Ln f||r ≤ C Ωf,r(λ⁻ⁿ)를 증명하며, λ > 1은 A의 최소 고유값이다.
• 전이 연산자 추정을 적용하여 상관관계 ρf,g(n) = ∫f·g∘An dμ − ∫fdμ∫gdμ를 C‖g‖₂ Ωf,2(λ⁻ⁿ)로 유계화한다.
• 토럴 엔도모르피즘과 구간 지도 사이의 공액성을 사용하여 결과를 토럴 엔도모르피즘에서 구간 지도로 전달한다.
• 파르세발 항등식과 푸리에 급수를 적용하여 g(y) = log|y|에 대해 Ωg∘h,2(δ)를 추정하며, √δ 유형의 감쇠를 도출한다.
• 조건 ∫₀¹ Ωf,2(t)/t dt < ∞를 확인함으로써 중심극한정리를 증명하고, 정규화된 비르호프 합의 가우시안 수렴을 이끌어낸다.

실험 결과

연구 질문

• RQ1 L² 관측량에 대해 확장 토럴 엔도모르피즘 하에서 상관관계 감쇠의 최적 속도는 무엇인가?
• RQ2 L²-모듈러스 연속성 Ωf,2(δ)는 이 설정에서 상관관계 감쇠를 어떻게 제어하는가?
• RQ3 허더나 유계변동보다 덜 규칙적인 관측량으로 중심극한정리를 확장할 수 있는가?
• RQ4 비미분 가능 관측량인 log|y|는 욤-폰 뉴만 체계에서 어떤 감쇠 속도를 보이는가?
• RQ5 전이 연산자 방법은 공액성을 통해 비균일하게 확장되는 시스템으로 어떻게 일반화될 수 있는가?

주요 결과

• 상관관계 감쇠 속도는 C‖g‖₂ Ωf,2(λ⁻ⁿ)로 유계지며, 일반적인 L² 함수에 대해 이 유계는 향상될 수 없다.
• 허더 연속 함수의 경우 감쇠는 지수적이다: α ∈ (0,1)에 대해 O(λ⁻αn)로 표현되며, 기존 결과와 일치한다.
• f ∈ L² 이고 ∫₀¹ Ωf,2(t)/t dt < ∞를 만족할 경우 중심극한정리가 성립하며, 한계 분산은 σ² = −∫f² dμ + 2∑ₙ≥₀ ∫f(x)f(Aⁿx) dμ로 주어진다.
• 용-폰 뉴만 지도에서 전이 연산자 노름은 f ∈ Lipα에 대해 ||LUⁿ f||₂ ≤ C·2⁻αⁿ를 만족하고, g(y) = log|y|에 대해 ||LUⁿ g||₂ ≈ 2⁻ⁿ이다.
• log|h(x)| = log|sin(πx/2)|의 L²-모듈러스 연속성은 C√δ로 유계지며, 이는 전이 연산자 노름에서 √δ 감쇠를 이끈다.
• log|(Un)′(y)|의 정규화된 비르호프 합은 중심화된 가우시안 분포로 수렴하며, 분산은 리아푸노프 지수 log 2와 관련이 있다.