[논문 리뷰] Pointwise multiple averages for systems with two commuting transformations

Sebastián Donoso, Wenbo Sun|arXiv (Cornell University)|2015. 09. 30.

Limits and Structures in Graph Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 두 개의 가환하는 변환이 있는 시스템에 대해 점별 다중 에르고딕 평균 수렴을 입증하며, 위상적 모델과 구조적 분해를 사용한다. 에르고딕 시스템에서 가환하는 변환 S와 T에 대해, 유계 함수에 대해 평균 $\frac{1}{N^3}\sum_{i,j,k=0}^{N-1} f_0(S^jT^k x)f_1(S^{i+j}T^k x)f_2(S^jT^{i+k}x)$ 가 거의 확실히 수렴함을 증명한다. 또한, 비압축적 경우에서는 더 단순한 평균 $\frac{1}{N}\sum_{i=0}^{N-1} f_1(S^i x)f_2(T^i x)$ 도 거의 확실히 수렴한다.

ABSTRACT

We show that if $(X,\mathcal{X},μ,S,T)$ is an ergodic measure preserving system with commuting transformations $S$ and $T$, then the average \[\frac{1}{N^3} \sum_{i,j,k=0}^{N-1} f_0(S^j T^k x) f_1 (S^{i+j} T^k x) f_2 (S^j T^{i+k} x)\] converges for $μ$-a.e. $x\in X$ as $N o \infty$ for $f_0,f_1, f_2\in L^\infty(μ)$. We also show that if $(X,\mathcal{X},μ,S,T)$ is a measurable distal system, the average \[ \frac{1}{N}\sum_{i=0}^{N-1} f_1 (S^i x) f_2 (T^i x) \] converges for $μ$-a.e. $x\in X$ as $N o \infty$ for $f_1,f_2\in L^{\infty}(μ)$.

연구 동기 및 목표

• 두 개의 가환하는 측도를 보존하는 변환을 가진 시스템에서 다중 에르고딕 평균의 점별 수렴을 확립하는 것.
• 이전에 단일 변환 설정에서 사용된 위상적 모델의 응용을 두 개의 가환하는 변환을 가진 시스템으로 확장하는 것.
• 비압축적 경우에서의 수렴 결과를 입증하여 분석을 단순화하는 추가적인 구조적 성질을 활용하는 것.
• 이러한 시스템에 대해 엄격한 에르고딕 모델을 구성할 수 있도록 새로운 위상적 구조 $N_{S,T}(X)$ 를 개발하는 것.
• 황, 샤오, 예 등이 이전에 확립한 점별 수렴 결과를 두 개의 가환하는 변환 설정으로 일반화하는 것.

제안 방법

• 모든 에르고딕 시스템에 대해 두 개의 가환하는 변환 $S$ 와 $T$ 를 가진 위상적 모델 $N_{S,T}(X)$ 를 구성하여 엄격한 에르고딕성을 확보하는 것.
• 엄격한 에르고딕 모델의 존재를 이용해 점별 수렴 문제를 연속 함수가 밀도를 이루는 위상적 설정으로 환원하는 것.
• 관측 가능한 $\sigma$-대수의 구조를 활용하여 중간 요소 $\mathcal{Z}_{S,R}(X)$ 와 $\mathcal{Z}_{T,R}(X)$ 를 통한 인수 분해 기법을 적용하는 것.
• 등급 수열의 순서수 인덱스 $\theta$ 에 대한 귀납법을 사용하여 등급 확장의 등급 수열을 따라 수렴 성질을 기본 사례에서 전파하는 것.
• 공통 요소 $X_R$ (R에 관련된)에서 비르코프 에르고딕 정리를 적용하여 $S$ 와 $T$ 의 결합된 역학을 다루는 것.
• L^1에서의 밀도 추론과 조건부 기대값 추정을 사용하여 근사 오차를 제어하고 거의 확실히 수렴함을 보이는 것.

실험 결과

연구 질문

• RQ1 두 개의 가환하는 변환을 가진 에르고딕 시스템에서, 모든 유계 함수에 대해 삼중 평균 $\frac{1}{N^3}\sum_{i,j,k=0}^{N-1} f_0(S^jT^k x)f_1(S^{i+j}T^k x)f_2(S^jT^{i+k}x)$ 가 거의 확실히 수렴하는가?
• RQ2 비압축적 경우에서 위상적 모델을 사용하여 $\frac{1}{N}\sum_{i=0}^{N-1} f_1(S^i x)f_2(T^i x)$ 의 점별 수렴을 입증할 수 있는가?
• RQ3 위상적 모델은 다수의 가환하는 변환과 그들의 공동 역학을 다룰 수 있도록 어떻게 확장될 수 있는가?
• RQ4 이러한 시스템에서 점별 수렴을 보장하기 위해 필요한 충분한 구조적 성질(예: 등급 확장, 마법의 확장)은 무엇인가?
• RQ5 삼중 평균의 수렴 결과는 인수 분해와 순서수 귀납법을 통해 더 단순한 평균의 수렴으로 유도될 수 있는가?

주요 결과

• 모든 측도를 보존하는 에르고딕 시스템 $(X,\mathcal{X},\mu,S,T)$ 에 대해, 두 개의 가환하는 $S$ 와 $T$ 를 가진 시스템에서, 모든 $f_0,f_1,f_2 \in L^\infty(\mu)$ 에 대해 삼중 평균 $\frac{1}{N^3}\sum_{i,j,k=0}^{N-1} f_0(S^jT^k x)f_1(S^{i+j}T^k x)f_2(S^jT^{i+k}x)$ 는 $\mu$-거의 확실히 $N \to \infty$ 일 때 수렴한다.
• 두 개의 가환하는 변환을 가진 에르고딕 비압축적 시스템의 경우, 더 단순한 평균 $\frac{1}{N}\sum_{i=0}^{N-1} f_1(S^i x)f_2(T^i x)$ 는 모든 $f_1,f_2 \in L^\infty(\mu)$ 에 대해 $\mu$-거의 확실히 $N \to \infty$ 일 때 수렴한다.
• 이러한 모든 시스템는 엄격한 에르고딕성을 가진 위상적 모델 $N_{S,T}(X)$ 를 지닌다. 이는 연속 함수가 밀도를 이루는 대수로 사용될 수 있음을 보장한다.
• 이 증명은 삼중 마법의 확장을 구성하고, 등급 확장의 순서수 수열을 따라 수렴 성질을 전파하는 데 기반한다.
• 비압축적 경우의 수렴은 $S$ 와 $T$ 가 공통 요소에서 동일하게 작용하는 곱 시스템으로 문제를 환원함으로써 입증되며, 이는 비르코프 에르고딕 정리의 적용을 가능하게 한다.
• 핵심적인 기술적 혁신은 두 개의 가환하는 변환의 공동 역학을 다루기 위해 제어 가능한 구조를 가진 위상적 모델을 사용하는 데 있다.