[논문 리뷰] Multiple recurrence and the structure of probability-preserving systems

Timothy Derek Austin|arXiv (Cornell University)|2010. 06. 02.

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

한 줄 요약

이 논문은 비전통적 에르고딕 평균의 노름 수렴을 확립하고, 측도를 보존하는 가환 변환에 대해 다중 재귀 정리를 증명하며, 확률을 보존하는 시스템에 대한 구조적 프레임워크를 제공한다. 이는 베르게르슨-라이블란 추측에 대한 핵심 케이스를 해결하고, 무한대 하이퍼그래프 제거를 통해 딜리티 헤일즈-지유티 정리를 증명하며, satedness와 조인잉 구조를 통해 에르고딕 시스템의 분류를 발전시킨다.

ABSTRACT

In 1975 Szemerédi proved the long-standing conjecture of Erdős and Turán that any subset of $\bbZ$ having positive upper Banach density contains arbitrarily long arithmetic progressions. Szemerédi's proof was entirely combinatorial, but two years later Furstenberg gave a quite different proof of Szemerédi's Theorem by first showing its equivalence to an ergodic-theoretic assertion of multiple recurrence, and then bringing new machinery in ergodic theory to bear on proving that. His ergodic-theoretic approach subsequently yielded several other results in extremal combinatorics, as well as revealing a range of new phenomena according to which the structures of probability-preserving systems can be described and classified. In this work I survey some recent advances in understanding these ergodic-theoretic structures. It contains proofs of the norm convergence of the `nonconventional' ergodic averages that underly Furstenberg's approach to variants of Szemerédi's Theorem, and of two of the recurrence theorems of Furstenberg and Katznelson: the Multidimensional Multiple Recurrence Theorem, which implies a multidimensional generalization of Szemerédi's Theorem; and a density version of the Hales-Jewett Theorem of Ramsey Theory.

연구 동기 및 목표

• 푸르스텐베르크가 샤메레디 유형 정리에 접근하는 데 사용하는 비전통적 에르고딕 평균의 노름 수렴을 확립하기 위해.
• 다차원 다중 재귀 정리와 그 조합론적 결과를 증명하기 위해, 특히 헤일즈-지유티 정리의 밀도 형태를 포함하여.
• satedness, 아이디포텐트 클래스, 푸르스텐베르크 자기조인잉을 사용하여 확률을 보존하는 시스템에 대한 구조 이론을 개발하기 위해.
• 특히 닐군과 부분적으로 불변인 부분군을 포함하는 고계 시스템에서의 조인잉의 구조에 대한 일반 추측에 대한 증거를 제공하기 위해.
• 구조적 에르고딕 이론을 통해 비전통적 다항 평균에 대한 버게르슨-라이블란 추측을 해결하기 위한 기초를 마련하기 위해.

제안 방법

• L^2에서 비전통적 평균의 수렴을 분석하기 위해 반-더 코르푸 추정과 푸르스텐베르크 자기조인잉 기법을 사용한다.
• 다차원 설정에서의 재귀를 증명하고 조합론적 결과를 도출하기 위해 무한대 하이퍼그래프 제거 보조정리를 적용한다.
• 조인잉 측도의 구조를 제어하고 수렴을 보장하기 위해 sated 시스템과 아이디포텐트 클래스를 활용한다.
• 다중 에르고딕 평균의 극한 행동을 묘사하기 위해 호스트-크라 이론의 특성 인자와 닐군을 이용한다.
• 가환 변환의 조인잉을 분석하기 위해 인자 사상과 최대 닐군에 대한 상대적 독립성을 사용한다.
• 일반적인 위치 조건 하에서 부분적으로 불변인 시스템의 조인잉을 분석하기 위해 [HK05], [Zie07], [CFH]의 방법을 적응한다.

실험 결과

연구 질문

• RQ1 가환 측도를 보존하는 시스템에서 비전통적 에르고딕 평균이 L^2에서 수렴하는 조건은 무엇인가?
• RQ2 다중 가환 변환에 대한 푸르스텐베르크 자기조인잉의 구조는 무엇이며, 특성 인자와의 관계는 어떻게 되는가?
• RQ3 무한대 하이퍼그래프 제거 보조정리는 어떻게 적용되어 헤일즈-지유티와 같은 라모스 이론적 정리의 밀도 형태를 증명할 수 있는가?
• RQ4 satedness는 조인잉의 구조를 제어하고 평균의 수렴을 보장하는 데 어떤 역할을 하는가?
• RQ5 부분적으로 불변인 시스템의 조인잉에 대한 일반 추측은 어느 정도 증명될 수 있으며, 특히 선형 독립인 부분군을 포함하는 경우는 어떻게 되는가?

주요 결과

• 임의의 유한한 수의 가환 측도를 보존하는 변환 집합에 대해 비전통적 평균의 노름 수렴이 확립된다.
• 다차원 다중 재귀 정리가 증명되며, 이는 샤메레디 정리의 다차원 일반화를 함의한다.
• 대응 원리와 무한대 하이퍼그래프 제거를 통해 헤일즈-지유티 정리의 밀도 형태가 도출된다.
• 일반적인 위치에 있는 네 개의 가환 변환에 대한 푸르스텐베르크 자기조인잉이 특정 인자, 즉 닐군과 변환 간의 등가성에 대해 상대적으로 독립임이 입증된다.
• 부분적으로 불변인 시스템의 조인잉에 대한 일반적인 구조적 추측에 대한 증거가 제공되며, sated 확장과 노일레트 군의 구조를 사용하여 특수 케이스가 증명된다.
• 개발된 방법들은 특히 저계수 케이스에서 비전통적 다항 평균에 대한 버게르슨-라이블란 추측의 해결 가능성을 뒷받침한다.