[논문 리뷰] Norm convergence of multiple ergodic averages for commuting transformations

Terence Tao|ArXiv.org|2007. 07. 08.

Limits and Structures in Graph Theory참고 문헌 18인용 수 21

한 줄 요약

이 논문은 확률 공간에서 가환 측도를 보존하는 변환에 대해 다중 에르고딕 평균의 노름 수렴을, 초그래프 정규화에 영감을 받은 유한성 및 조합론적 접근을 사용하여 증명한다. 주요 결과는 모든 $f_i \in L^\infty$에 대해 평균 $\frac{1}{N}\sum_{n=0}^{N-1} f_1(T_1^n x)\cdots f_l(T_l^n x)$ 가 $L^2$에서 수렴한다는 것이다. 이는 이전 결과들보다 추가적인 에르고딕성 가정을 필요로 하지 않는다.

ABSTRACT

Let $T_1, ..., T_l: X o X$ be commuting measure-preserving transformations on a probability space $(X, \X, μ)$. We show that the multiple ergodic averages $\frac{1}{N} \sum_{n=0}^{N-1} f_1(T_1^n x) ... f_l(T_l^n x)$ are convergent in $L^2(X,\X,μ)$ as $N o \infty$ for all $f_1,...,f_l \in L^\infty(X,\X,μ)$; this was previously established for $l=2$ by Conze and Lesigne and for general $l$ assuming some additional ergodicity hypotheses on the maps $T_i$ and $T_i T_j^{-1}$ by Frantzikinakis and Kra (with the $l=3$ case of this result established earlier by Zhang). Our approach is combinatorial and finitary in nature, inspired by recent developments regarding the hypergraph regularity and removal lemmas, although we will not need the full strength of those lemmas. In particular, the $l=2$ case of our arguments are a finitary analogue of those of Conze and Lesigne.

연구 동기 및 목표

• 추가적인 에르고딕성 가정 없이, 가환 측도를 보존하는 변환에 대한 다중 에르고딕 평균의 노름 수렴을 확립하는 것.
• 전통적인 에르고딕 이론적 인자 구성 방식을 피하는, 유한성 및 조합론적 증명을 제공하는 것.
• 수렴이 $L^2$ 메타안정성 의미에서 안정적이며, 기저 공간 크기와 무관한 상한을 가짐을 보이는 것.
• 결과의 적용 범위를 일반적인 $L^\infty$ 함수로 확장하고, 적절한 적분 조건 하에 쌍대성에 의해 $L^p$ 함수로까지 확장하는 것.
• 유한성 수렴 결과가 역 푸르스테인베르크 대응 원리에 의해 무한성 에르고딕 정리로 이끌어진다는 것을 보여주는 것.

제안 방법

• 일반적인 측도를 보존하는 시스템을 유한 아벨 군 $\mathbf{Z}_P^l$로 대체하여 유한성 접근을 채택한다. 이 군에는 균일 측도와 표준 이동 $T_i x = x + e_i$가 부여된다.
• $\mathbf{Z}_P^l$ 상에서 유한성 다중 평균 $A_N(f_1,\ldots,f_l)(a) = \mathbf{E}_{n \in [N]} \prod_{i=1}^l f_i(a + n e_i)$ 를 정의한다.
• 메타안정성 결과를 증명한다: 모든 $\varepsilon > 0$ 및 함수 $F: \mathbf{N} \to \mathbf{N}$에 대해, $M^* < \infty$ 가 존재하여 모든 $P$에 대해 $M \leq M^*$ 이며 $\|A_N - A_{N'}\|_{L^2} \leq \varepsilon$ 를 만족하는 $M$ 이 존재한다. 이때 $N,N' \in [M, F(M)]$ 이다.
• 확률 측도가 $[0,1]^{\mathbf{N}^2}$ 상에 정의된 경우, 약수렴과 가산 가법성을 이용하여 메타안정성 실패로부터 모순을 이끌어내는 약한 컴팩턴스 추론을 사용한다.
• 보조 확률 공간에 대한 의존성을 제거하기 위해, 유한성 도입된 도미네이팅 수렴 정리(정리 A.2)를 적용한다.
• 거리 기반 안정성 결과의 대우를 사용하여, $P$에 관계없이 독립적인 균일한 메타안정성 임계값 $M^*$ 가 존재함을 도출한다.

실험 결과

연구 질문

• RQ1 각 $T_i$ 또는 $T_i T_j^{-1}$ 의 개별 에르고딕성 가정 없이도, 가환 변환에 대한 다중 에르고딕 평균의 노름 수렴을 확립할 수 있는가?
• RQ2 특성 인자 구성 방식을 피하는, 유한성 및 조합론적 증명이 가능한가?
• RQ3 기저 공간 크기와 무관한 상한을 가진 $L^2$ 메타안정성 추정치로 수렴을 정량화할 수 있는가?
• RQ4 유한성 수렴 결과가 어떻게 무한성 에르고딕 정리로 이어지는가?
• RQ5 역 수학 및 증명 이론적 유한화 관점에서, 수렴 진술의 논리적 강도는 어떠한가?

주요 결과

• 모든 $f_1,\ldots,f_l \in L^\infty(X,\mathcal{X},\mu)$ 에 대해 다중 에르고딕 평균 $\frac{1}{N}\sum_{n=0}^{N-1} f_1(T_1^n x)\cdots f_l(T_l^n x)$ 는 추가적인 에르고딕성 가정 없이도 $L^2(X,\mathcal{X},\mu)$ 에서 수렴한다.
• 유한성 결과는 $L^2$ 메타안정성을 보장한다: 모든 $\varepsilon > 0$ 및 함수 $F$ 에 대해, $M^*$ 가 존재하여 모든 $P$ 에 대해 어떤 $M \leq M^*$ 가 존재하여 $N,N' \in [M, F(M)]$ 에 대해 $\|A_N - A_{N'}\|_{L^2} \leq \varepsilon$ 를 만족한다.
• $M^*$ 는 $P$ 와 무관하게 $\varepsilon$ 와 $F$ 에만 의존하므로, 모든 유한군 $\mathbf{Z}_P^l$ 에서 균일한 메타안정성이 보장된다.
• 증명은 특성 인자를 직접 사용하지 않고, 역 대응을 통해 유한성 조합 명제로부터 무한성 에르고딕 결과를 이끌어낸다.
• 홀더 부등식과 극한 추론을 통해 조건 $\frac{1}{p} \geq \sum_{i=1}^l \frac{1}{p_i}$ 하에서 결과가 $L^p$ 함수로까지 확장된다.
• 수렴 진술의 논리적 강도는 산술 체계의 이해력 공리 $(ACA)$ 와 관련되어 있으며, 이는 효과적인 상한이 매우 열악할 것임을 시사한다.