[논문 리뷰] Central Limit Theorems for Non-Invertible Measure Preserving Maps

Michael C. Mackey, Marta Tyran‐Kamińska|ArXiv.org|2006. 08. 25.

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

한 줄 요약

이 논문은 에르고딕성을 요구하지 않고 비가역적 측도보존 사상에 대해 기능적 중심극한정리의 존재를 확립한다. 빈카르프 합의 수렴이 스케일된 브라운 운동으로 수렴함을 분석하기 위해 페르로-프로베니우스 연산자를 사용한다. 주요 기여는 반복된 전이 연산자의 L²-노름 감쇠를 포함하는 새로운 충분조건을 제안한 것으로, 이는 이전 결과를 비에르고딕 설정으로 일반화하고 한계 분산에 대한 급수 전개를 제공한다.

ABSTRACT

We establish a new functional central limit theorem result for non-invertible measure preserving maps that are not necessarily ergodic, using the Perron-Frobenius operator. We apply the result to asymptotically periodic transformations and give an extensive specific example of asymptotically periodic transformations by using the tent map.

연구 동기 및 목표

• 비가역적, 비에르고딕 측도보존 변환으로의 기능적 중심극한정리의 확장을 위해.
• 스코로호드 공간에서 빈카르프 합의 약한 수렴이 스케일된 브라운 운동으로 수렴하기 위한 충분조건을 확립하기 위해.
• 전이 연산자와 불변 시그마-대거 $ \mathcal{I} $ 를 이용한 한계 분산 $ \eta = \mathbb{E}_\nu(\tilde{h}^2 \mid \mathcal{I}) $ 에 대한 급수 전개를 제공하기 위해.
• 응용으로 점점 주기적인 시스템, 특히 텐트 맵을 구체적인 예로 제시하기 위해.

제안 방법

• 분석은 빈카르프 합의 $ L^2 $-노름 감쇠를 연구하기 위해 페르로-프로베니우스 연산자 $ \mathcal{P}_T $ 를 사용한다.
• 새로운 충분조건이 도입된다: $ \sum_{n=1}^\infty n^{-3/2} \left\| \sum_{k=0}^{n-1} \mathcal{P}_T^k h \right\|_2 < \infty $, 이는 약한 수렴이 $ \sqrt{\eta} w $ 로 보장한다.
• 한계 분산 $ \eta $ 는 $ \mathbb{E}_\nu(\tilde{h}^2 \mid \mathcal{I}) $ 로 특징지어지며, 여기서 $ \tilde{h} $ 는 $ \mathcal{P}_T \tilde{h text{를 만족하고, 평균화된 차이 $ \frac{1}{\sqrt{n}} \sum_{j=0}^{n-1} (h - \tilde{h}) \circ T^j $ 가 $ L^2 $-노름에서 0으로 수렴한다.
• 이중 분해를 통한 급수 전개를 통해 $ \eta $ 를 유도한다: $ \eta = \mathbb{E}_\nu(h^2 \mid \mathcal{I}) + \sum_{j=0}^\infty \frac{\mathbb{E}_\nu(S_{2^j} S_{2^j} \circ T^{2^j} \mid \mathcal{I})}{2^j} $.
• 증명은 펠리그라드와 우테브의 영감을 받은 최대부등식과 $ L^2 $-유계성 기법에 기반하며, 조건부 기대와 수축 성질을 사용하여 급수 수렴을 제어한다.

실험 결과

연구 질문

• RQ1 비가역적, 비에르고딕 측도보존 사상에서 함수의 빈카르프 합이 약한 수렴으로 스케일된 브라운 운동으로 수렴하기 위한 조건은 무엇인가?
• RQ2 한계 분산 $ \eta $ 는 전이 연산자와 불변 $ \sigma $-대거 $ \mathcal{I} $ 를 이용해 어떻게 명시적으로 표현할 수 있는가?
• RQ3 기능적 중심극한정리는 에르고딕 케이스를 초월하여 특히 점점 주기적인 시스템으로 확장될 수 있는가?
• RQ4 페르로-프로베니우스 연산자는 비에르고딕 설정에서 수렴 속도와 분산을 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 기능적 중심극한정리는 조건 $ \sum_{n=1}^\infty n^{-3/2} \left\| \sum_{k=0}^{n-1} \mathcal{P}_T^k h \right\|_2 < \infty $ 하에서 성립하며, 이는 이전 결과를 비에르고딕 사상으로 일반화한다.
• 한계 과정은 $ \sqrt{\eta} w $ 로 표현되며, 여기서 $ \eta = \mathbb{E}_\nu(\tilde{h}^2 \mid \mathcal{I}) $ 이고, $ \tilde{h} $ 는 $ \mathcal{P}_T \tilde{h} = 0 $ 를 만족하는 $ L^2 $-함수이며, 평균화된 차이 $ h - \tilde{h} $ 가 $ L^2 $-노름에서 무시 가능해진다.
• 에르고딕 사상의 경우 $ \eta $ 는 상수 $ \|h\|_2^2 $ 로 줄어들며, 고전적 기능적 중심극한정리를 복원한다.
• 한계 분산 $ \eta $ 에 대한 급수 전개가 도출된다: $ \eta = \mathbb{E}_\nu(h^2 \mid \mathcal{I}) + \sum_{j=0}^\infty \frac{\mathbb{E}_\nu(S_{2^j} S_{2^j} \circ T^{2^j} \mid \mathcal{I})}{2^j} $, 조건 $ \sum_{j=0}^\infty 2^{-j/2} \left\| \sum_{k=1}^{2^j} \mathcal{P}_T^k h \right\|_2 < \infty $ 하에서 수렴한다.
• 결과는 점점 주기적인 변환에 적용 가능하며, 조건이 검증된 구체적인 예로 텐트 맵이 사용된다.