[논문 리뷰] Strictly ergodic models and the convergence of non-conventional pointwise ergodic averages

Wen Huang, Song Shao외 1명|arXiv (Cornell University)|2013. 12. 27.

Limits and Structures in Graph Theory참고 문헌 40인용 수 5

한 줄 요약

이 논문은 에르고딕 시스템에 대해 궤도 폐쇄와 평행육면체 군 작용에 대한 주요 역학적 구조를 유지하는 стрictly ergodic 모델의 존재를 확립하며, 비전통적 다중 에르고딕 평균의 점별 수렴에 대한 새로운 증명을 가능하게 한다. 주요 기여는 고차원 구조에서 위상적 최소성과 유일한 에르고딕성 조건을 갖춘 Jewett-Krieger 정리의 강화된 형태이며, 이는 직접적으로 $\frac{1}{N^2}\sum_{n,m\in[0,N-1]}⋯\prod_{i=1}^d f_i(T^{n+(i-1)m}x)$ 형태의 평균의 거의 모든 곳에서 수렴함을 암시한다.

ABSTRACT

The well-known Jewett-Krieger's Theorem states that each ergodic system has a strictly ergodic model. Strengthening the model by requiring that it is strictly ergodic under some group actions, and building the connection of the new model with the convergence of pointwise non-conventional ergodic averages we prove that for an ergodic system $(X,\X,μ, T)$, $d\in\N$, $f_1, \ldots, f_d \in L^{\infty}(μ)$, %and any tempered F{ m $ø$}lner sequence $F_n$ of $\Z^2$, the averages \begin{equation*} \frac{1}{N^2} \sum_{(n,m)\in F_N} f_1(T^nx)f_2(T^{n+m}x)\ldots f_d(T^{n+(d-1)m}x) \end{equation*} converge $μ$ a.e. We remark that the same method can be used to show the pointwise convergence of ergodic averages along cubes which was firstly proved by Assani and then extended to a general case by Chu and Franzikinakis.

연구 동기 및 목표

• 에르고딕 시스템에 대해 면 군 궤도 폐쇄와 평행육면체 집합과 같은 고차원 역학적 구조에서의 유일한 에르고딕성을 유지하는 stricly ergodic 모델을 구성함으로써 Jewett-Krieger 정리를 확장하는 것.
• 강력한 최소성과 유일한 에르고딕성 조건을 갖는 위상 모델과 비전통적 다중 에르고딕 평균의 점별 수렴 간의 연결 고리를 설정하는 것.
• 위상 모델 이론을 활용하여 에르고딕 이론에서 큐브와 선형 패턴을 따라 평균의 거의 모든 곳에서 수렴함을 새롭게 증명하는 것.

제안 방법

• 모든 에르고딕 측도 보존 시스템 $(X, \mathcal{X}, \mu, T)$ 에 대해, 모든 $x \in \hat{X}$ 에 대해 면 군 $\mathcal{F}^{[d]}$ 작용 하에서 궤도 폐쇄 $\overline{\mathcal{F}^{[d]}}(x^{[d]})$ 가 stricly ergodic가 되는 stricly ergodic 위상 모델 $(\hat{X}, T)$ 를 구성한다.
• 모델에서 평행육면체 군 $\mathcal{G}^{[d]}$ 작용 하에서의 역학적 평행육면체 집합 ${\bf Q}^{[d]}(\hat{X})$ 가 모델에서 stricly ergodic임을 증명한다.
• 군 $\langle \tau_d, \sigma_d \rangle$ 작용 하에서의 궤도 폐쇄 $N_d(\hat{X})$ 가 모델에서 stricly ergodic임을 확립한다. 여기서 $\tau_d = T \times \cdots \times T$ 이고 $\sigma_d = T \times \cdots \times T^d$ 이다.
• 이러한 고차원 구조의 유일한 에르고딕성을 활용하여, 측도의 분해와 불변 인패크 맵을 통해 비전통적 평균의 점별 거의 모든 곳에서의 수렴을 유도한다.
• 모델을 적용하여 $N^2$-평균의 경우와 같은 극한 측도에 대한 명시적 공식을 도출한다. 예를 들어 $\lambda_{\tau,\sigma;d}$ 는 이러한 경우의 극한 측도를 나타낸다.
• 역학적 평행육면체와 면 군 작용의 구조를 활용하여, 수렴 문제를 관련 궤도 폐쇄의 유일한 에르고딕성으로 환원한다.

실험 결과

연구 질문

• RQ1 모든 에르고딕 시스템에 대해, 면 군 $\mathcal{F}^{[d]}$ 작용 하에서 $x^{[d]}$ 의 궤도 폐쇄 $\overline{\mathcal{F}^{[d]}}(x^{[d]})$ 가 모든 $x$ 에 대해 stricly ergodic가 되는 stricly ergodic 위상 모델을 구성할 수 있는가?
• RQ2 모든 에르고딕 시스템에 대해, 군 $\mathcal{G}^{[d]}$ 작용 하에서의 역학적 평행육면체 집합 ${\bf Q}^{[d]}(\hat{X})$ 가 stricly ergodic가 되는 stricly ergodic 모델이 존재하는가?
• RQ3 에르고딕 시스템의 위상 모델에서 군 $\langle \tau_d, \sigma_d \rangle$ 작용 하에서의 궤도 폐쇄 $N_d(\hat{X})$ 가 stricly ergodic가 될 수 있는가?
• RQ4 이러한 고차원 구조의 유일한 에르고딕성이 비전통적 다중 에르고딕 평균의 점별 거의 모든 곳에서의 수렴을 어떻게 암시하는가?
• RQ5 평균 $\frac{1}{N^2}\sum_{n,m\in[0,N-1]}\prod_{i=1}^d f_i(T^{n+(i-1)m}x)$ 의 극한 측도의 명시적 형태는 모델에 대해 어떻게 기술되는가?

주요 결과

• 논문은 모든 에르고딕 시스템이 면 군 작용 하에서 궤도 폐쇄 $\overline{\mathcal{F}^{[d]}}(x^{[d]})$ 가 모든 $x \in \hat{X}$ 에 대해 stricly ergodic가 되는 stricly ergodic 위상 모델을 갖는다고 증명하며, Jewett-Krieger 정리를 확장한다.
• 모든 에르고딕 시스템이 군 $\mathcal{G}^{[d]}$ 작용 하에서의 역학적 평행육면체 집합 ${\bf Q}^{[d]}(\hat{X})$ 가 stricly ergodic가 되는 stricly ergodic 모델을 갖는다고 확립한다.
• 군 $\langle \tau_d, \sigma_d \rangle$ 작용 하에서 궤도 폐쇄 $N_d(\hat{X})$ 가 stricly ergodic가 되는 stricly ergodic 모델의 존재를 보여주며, 이 경우 극한 측도는 $\lambda_{\tau,\sigma;d}$ 로 주어진다.
• 평균 $\frac{1}{N^2}\sum_{n,m\in[0,N-1]}\prod_{i=1}^d f_i(T^{n+(i-1)m}x)$ 의 점별 거의 모든 곳에서의 수렴이, $N_d(\hat{X})$ 에서의 유일한 에르고딕성 조건을 갖는 stricly ergodic 모델의 결과로 확립되며, 극한은 $\int_{N_d(\hat{X})} \bigotimes f_i \, d\lambda_{\tau,\sigma;d}$ 로 주어진다.
• 약한 혼합 시스템의 경우, 역학적 평행육면체 위의 유일한 측도는 곱 측도이며, 이는 극한 표현을 단순화시킨다.
• 논문은 위상 모델의 구조와 크로네커 인패크 위에서의 측도 분해를 활용하여 비전통적 평균의 극한 측도를 계산하는 일반적인 방법을 제공한다.