[논문 리뷰] Convergence of multiple ergodic averages

Bernard Host|ArXiv.org|2006. 06. 15.

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

한 줄 요약

이 논문은 산술 등차수열 $ n, 2n, \dots, kn $ 에서 평가된 함수의 곱으로 이루어진 다중 에르고딕 평균의 평균 수렴을 조사하며, 에르고딕 이론과 고우어스 균일성 반노름을 이용하여 $ L^2 $-노름에서의 수렴을 확립한다. 주요 기여는 대응 원리와 고우어스 노름 추정을 통해 이러한 수렴 결과를 셰메레디의 정리와 그린-타오 정리와 연결하는 것이다.

ABSTRACT

These notes are based on a course for a general audience given at the Centro de Modeliamento Matemático of the University of Chile, in December 2004. We study the mean convergence of multiple ergodic averages, that is, averages of a product of functions taken at different times. We also describe the relations between this area of ergodic theory and some classical and some recent results in additive number theory.

연구 동기 및 목표

• 측도가 보존되는 변환 $ T $ 에 대해 $ \mathbb{E}_{n} f_1(T^n x) f_2(T^{2n} x) \cdots f_k(T^{kn} x) $ 의 형태를 가진 다중 에르고딕 평균이 $ L^2 $-노름에서 수렴함을 확립하는 것.
• 다중 에르고딕 평균과 조합론적 수론, 특히 산술 등차수열에 관한 셰메레디의 정리 사이의 관계를 명확히 하는 것.
• 고우어스 균일성 반노름이 다중 평균의 크기를 제어함으로써 수렴 증명과 양의 밀도를 가진 집합에의 응용을 가능하게 하는 방식을 보여주는 것.
• 고우어스 노름이 큰 함수의 구조가 다중 평균에서 비퇴화된 기여를 한다는 점을 보여줌으로써 에르고딕 이론과 덧셈 조합론을 연결하는 것.
• 노름과 분해를 이용한 개념적 프레임워크를 제공하여, 에르고딕 이론에서의 노름군 구조와 덧셈 수론에서의 조합적 구성 간의 숨겨진 연결 고리를 이해하는 데 기여하는 것.

제안 방법

• 양의 상부 밀도를 가진 집합에서의 조합론 문제를 측도 보존 시스템에서의 재귀 문제로 변환하기 위해 대응 원리를 사용한다.
• 특히 $ \mathbb{Z}/N\mathbb{Z} $ 상의 함수들에서 다중 에르고딕 평균의 크기를 제어하기 위해 고우어스 균일성 반노름 $ \lvert\!|f|\!|\rvert_k $ 을 적용한다.
• 함수의 분해 $ f = \mathbb{E}(f \mid \mathcal{Z}_{k-1}) + (f - \mathbb{E}(f \mid \mathcal{Z}_{k-1})) $ 를 통해 구조적 성분과 준무작위 성분을 분리한다.
• 다중 평균을 유계화하기 위해 부등식 $ \left| \int \prod_{\varepsilon \in \{0,1\}^k} f_\varepsilon(x + \varepsilon \cdot \mathbf{t}) \, dm(x) \, dm(\mathbf{t}) \right| \leq \prod_{\varepsilon} \lvert\!|f_\varepsilon|\!|\rvert_k $ 를 활용한다.
• 고우어스의 방법을 응용: 변동성 $ g = f - m(A) $ 의 고우어스 노름이 작으면 평균은 기대값에 가까워지고, 크면 함수는 산술적 구조를 지니며, 이는 큰 기여를 보장한다.
• 그린-타오 전략과 에르고딕 분해 사이의 유사성을 제시하며, 둘 다 준무작위성과 구조적 성분을 사용하여 (1.1)의 적분을 유계화한다는 점을 보여준다.

실험 결과

연구 질문

• RQ1 측도 보존 변환 $ T $ 에 대해 $ \mathbb{E}_n f_1(T^{n}x) f_2(T^{2n}x) \cdots f_k(T^{kn}x) $ 의 형태를 가진 다중 에르고딕 평균이 $ L^2 $-노름에서 수렴하는 조건은 무엇인가?
• RQ2 고우어스 균일성 반노름은 다중 에르고딕 평균의 수렴성과 크기와 어떻게 관련이 있는가?
• RQ3 에르고딕 이론에서의 다중 평균 수렴과 산술 등차수열에 관한 셰메레디의 정리 사이의 정확한 연결 고리는 무엇인가?
• RQ4 그린-타오의 증명에서 사용된 구조적 성분과 준무작위 성분으로의 함수 분해가 에르고딕 이론 프레임워크에서 형식화될 수 있는가?
• RQ5 에르고딕 이론에서의 노름군 요소와 덧셈 수론에서의 조합적 구성 간에 더 깊은 구조적 연결 고리가 존재하는가?

주요 결과

• 측도 보존 변환 $ T $ 에 대해 모든 $ k \geq 1 $ 에 대해 다중 에르고딕 평균 $ \mathbb{E}_n f_1(T^{n}x) f_2(T^{2n}x) \cdots f_k(T^{kn}x) $ 는 $ L^2 $-노름에서 수렴한다.
• 고우어스 균일성 반노름 $ \lvert\!|f|\!|\rvert_k $ 는 다중 평균의 크기를 제어한다: 만약 $ \lvert\!|f_i|\!|\rvert_{\ell-1} $ 이 작다면 평균은 기대값의 곱에 가까워진다.
• $ \mathbb{Z}/N\mathbb{Z} $ 상의 함수 $ f $ 에 대해 $ \int f \geq \delta $ 이면, 적분 $ \iint f(x)f(x+y)\cdots f(x+(k-1)y) \, dm(x) \, dm(y) \geq c(k,\delta) > 0 $ 이며, $ c(k,\delta) $ 는 $ N $ 에 영향을 받지 않는다.
• 분해 $ f = \mathbb{E}(f \mid \mathcal{Z}_{k-1}) + (f - \mathbb{E}(f \mid \mathcal{Z}_{k-1})) $ 는 구조적 성분이 유의미한 기여를 하고 변동성 성분이 무시할 수 있을 정도로 작아지게 하여 수렴을 보장한다.
• 그린과 타오의 소수에서의 산술 등차수열 증명에서 사용된 방법은 에르고딕 분해와 유사하다: 둘 다 고우어스 노름이 큰 구조적 성분과 기여가 작은 준무작위 성분을 사용한다.
• 고우어스 노름 부등식 $ \left| \int \prod_{\varepsilon} f_\varepsilon(x + \varepsilon \cdot \mathbf{t}) \, dm \right| \leq \prod \lvert\!|f_\varepsilon|\!|\rvert_k $ 는 다중 평균을 균일하게 유계화하는 데 핵심적인 도구를 제공한다.