[논문 리뷰] Birkhoff sum fluctuations in substitution dynamical systems

Elliot Paquette, Y. G. Son|arXiv (Cornell University)|2015. 05. 06.

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

한 줄 요약

이 논문은 원시적 치환 동역계에서 Birkhoff 합에 대한 중심극한정리를 수립하며, 모듈러스가 1인 고유값을 가지는 치환행렬의 고유함수 중에서 코바운드리가 아닌 것들이 渐近적으로 정규분포를 띠는 것으로 보여준다. 코바운드리가 아닌 모듈러스가 1인 고유값을 가진 고유함수의 경우, 정규화된 Birkhoff 합은 정규분포로 수렴하고, 모듈러스가 1이 아닌 고유값을 가진 고유함수의 경우는 캔터 집합에 지지된 특이분포로 수렴한다.

ABSTRACT

We consider the deviation of Birkhoff sums along fixed orbits of substitution dynamical systems. We show distributional convergence for the Birkhoff sums of eigenfunctions of the substitution matrix. For noncoboundary eigenfunctions with eigenvalue of modulus 1, we obtain a central limit theorem. For other eigenfunctions, we show convergence to distributions supported on Cantor sets. We also give a new criterion for such an eigenfunction to be a coboundary, as well as a new characterization of substitution dynamical systems with bounded discrepancy

연구 동기 및 목표

• 원시적 치환 동역계에서 고정된 궤도를 따라 Birkhoff 합의 분포적 변동성을 분석하는 것.
• 치환행렬의 고유함수들이 코바운드리인지 여부를 특성화하는 것. 이는 Birkhoff 합의 극한분포에 영향을 미친다.
• 모듈러스가 1인 고유값을 가진 코바운드리가 아닌 고유함수에 대해 중심극한정리를 수립하는 것.
• 모듈러스가 1이 아닌 고유값을 가진 고유함수의 극한분포를 규명하여, 캔터 집합에 지지된 특이측도로 수렴함을 보이는 것.
• 스펙트럼 및 재정규화 성질을 이용하여 주어진 고유함수가 코바운드리인지 여부를 판단하는 새로운 기준을 제시하는 것.

제안 방법

• 치환행렬 $ M $의 고유함수 $ f $에 대해, 다양한 척도에서 Birkhoff 합을 연결하는 재정규화 항등식 $ S_f(\theta^k(w)) = \lambda_f^k S_f(w) $ 를 사용한다.
• 정규화된 Birkhoff 합 $ Y_N $ 에 대해 마틴게일 중심극한정리를 적용하며, $ Y_N = Z_N + \lambda h(X_1) - \lambda^{N+1}(Ph)(X_N) $ 로 분해한다. 여기서 $ Z_N $ 은 마틴게일이다.
• 마틴게일 증분의 분산 $ \mathbb{E}|h(X_{i+1}) - (Ph)(X_i)|^2 $ 을 분석하여, 이 값이 0이 되는 것은 $ (I - P^*P)h = 0 $ 인 것과 정확히 동치임을 보이며, 이는 코바운드리의 특성화를 제공한다.
• Neumann 급수 전개를 통해 $ (I - \overline{\lambda}P^*)^{-1} $ 과 $ (I - \lambda P)^{-1} $ 를 이용하여 정규화된 합의 극한 분산을 유도한다.
• 고유값 $ \lambda \notin \mathbb{R} $ 인 경우, 극한분포의 실수부와 허수부는 서로 독립적이고 동일한 분산을 가지며, 이는 원형 대칭성을 의미한다.
• 특히 페론-프로베니우스 고유값 $ \lambda $ 를 포함한 치환행렬 $ M $ 의 스펙트럼 성질을 이용하여 중심극한정리에서 정규화 척도 $ \log_\lambda N $ 를 정의한다.

실험 결과

연구 질문

• RQ1 치환 동역계에서 고유함수의 Birkhoff 합이 언제 渐近적으로 정규분포를 띠는가?
• RQ2 치환행렬의 고유함수가 언제 코바운드리이며, 이는 Birkhoff 합의 극한분포에 어떻게 영향을 미치는가?
• RQ3 모듈러스가 1이 아닌 고유값을 가진 고유함수의 Birkhoff 합의 극한분포는 무엇인가?
• RQ4 치환 시스템의 재정규화 구조는 Birkhoff 합의 자기유사적 변동을 어떻게 이끌어내는가?
• RQ5 스펙트럼 및 마르코프 체인 성질을 이용하여 주어진 고유함수가 코바운드리인지 여부를 판단하는 새로운 기준을 유도할 수 있는가?

주요 결과

• 모듈러스가 1인 고유값 $ \lambda_f = 1 $ 를 가지며 코바운드리가 아닌 고유함수 $ f $ 에 대해, 정규화된 Birkhoff 합 $ \frac{S_f(u_{\leq n}) - c_1 \log_\lambda n}{c_2 \sqrt{\log_\lambda n}} $ 이 표준 정규분포로 수렴함을 보였다.
• 정규화된 Birkhoff 합의 극한분산은 $ \mathbb{E}|Z|^2 = \left( (I - \overline{\lambda}P^* - \lambda P + \lambda \overline{\lambda} P^*P)g, g \right)_\pi $ 로 주어지며, 이는 Neumann 급수 전개를 통해 도출되었다.
• 모듈러스가 1이 아닌 고유값을 가진 고유함수의 경우, Birkhoff 합은 캔터 집합에 지지된 특이측도로 수렴함을 보이며, 이는 비정규분포적 변동임을 시사한다.
• $ \mathbb{E}|h(X_2) - (Ph)(X_1)|^2 = 0 $ 이 성립하는 것은 $ (I - P^*P)h = 0 $ 이 성립하는 것과 정확히 동치이며, 이는 코바운드리에 대한 스펙트럼 기준을 제공한다.
• $ \lambda \notin \mathbb{R} $ 인 경우, 극한분포의 실수부와 허수부는 서로 독립적이고 분산이 동일하므로 원형 대칭성을 가짐을 보였다.
• 이 논문은 비율이 유계인 치환 시스템을 새롭게 특성화한다: 이러한 시스템은 정확히 모든 모듈러스가 1인 고유함수가 코바운드리인 경우에 해당한다.