[論文レビュー] Notes on Austin's multiple ergodic theorem

Thierry de la Rue|ArXiv.org|Jul 3, 2009

Advanced Topology and Set Theory参考文献 9被引用数 6

ひとこと要約

この論文は、結合（joinings）、拡張（extensions）、因子（factors）の枠組みを用いて、可換な変換に対する多重エルゴード定理のティム・オースティンの証明を詳細に解説している。任意の系に対して、飽和拡張（sated extension）が存在することを確立し、L²における多重エルゴード平均のノルム収束を帰納的証明可能にする。主な貢献は、結合理論を用いた一般化された飽和拡張の構成法である。

ABSTRACT

The purpose of this note is to present my understanding of Tim Austin's proof of the multiple ergodic theorem for commuting transformations, emphasizing on the use of joinings, extensions and factors. The existence of a sated extension, which is a key argument in the proof, is presented in a general context.

研究の動機と目的

• 可換変換に対するティム・オースティンの多重エルゴード定理の証明を、明確かつ理解しやすい形で提示すること。
• 結合と因子の文脈において、飽和拡張の概念を形式化し一般化すること。
• 任意の測度保存系が $\mathcal{C}$-飽和拡張を備えることを確立すること。これは帰納的証明戦略にとって不可欠である。
• すべての系において、$L^2$-ノルム収束が成り立つことを示し、$\mathcal{C}$-飽和系に帰着させること。

提案手法

• 証明は、可換変換の数に関する帰納法に基づく。単一変換に対する古典的フォン・ノイマンのエルゴード定理から出発する。
• 系のクラス $\mathcal{C}$ を定義する。ここで $\sigma$-代数は、等方因子 $\mathcal{I}^{T_1}$ および $\mathcal{I}^{T_2T_1^{-1}}$ によって生成され、単一変換の結果を直接適用可能にする。
• $\mathcal{C}$-飽和系の概念を導入する。これは、すべての $\mathcal{C}$-系との結合が $\mathcal{C}$-因子を基準として相対的に独立であるような系であり、ヴァン・ダール・コプットの補題を用いて収束を保証する。
• 相対的独立性と因子構造に依拠して、一般的な結合に関する結果を用いて、任意の系に対して $\mathcal{C}$-飽和拡張が存在することを証明する。
• ヴァン・ダール・コプットの補題を適用し、シフトされた列の内積を推定することで、エルゴード平均のノルムを制御する。
• $L^2$ での収束が因子への移行において保存されることを活用し、$\mathcal{C}$-飽和系においてのみ収束を示せば十分である。

実験結果

リサーチクエスチョン

• RQ1 結合と因子の道具立てを用いて、可換変換の多重エルゴード定理をどのように証明できるか。
• RQ2 系が $\mathcal{C}$-飽和拡張を備えるための条件は何であり、なぜこれが多重エルゴード平均の収束を保証するのか。
• RQ3 $\mathcal{C}$ のクラスは因子をとる操作で保存されないのはなぜか。これは帰納的戦略にどのように影響を与えるか。
• RQ4 結合が $\mathcal{C}$-因子を基準として相対的に独立であることで、なぜヴァン・ダール・コプットの補題を適用できるのか。
• RQ5 任意の系に対して飽和拡張が存在することを保証する一般的な構造的条件は何か。

主な発見

• 任意の $d \geq 1$ および可換で測度を保存する変換 $T_1, \dots, T_d$ に対して、多重エルゴード平均 $\frac{1}{N}\sum_{n=1}^N f_1 \circ T_1^n \cdots f_d \circ T_d^n$ は $N \to \infty$ のとき $L^2(\mu)$ で収束する。
• 収束は帰納法により示され、問題は $\mathcal{C}$-飽和系に帰着される。$\mathcal{C}$-飽和系は、$\mathcal{C}$-系との結合構造によって特徴づけられる。
• 任意の系は $\mathcal{C}$-飽和拡張を備える。これは一般的な結合に関する結果と相対的独立性に依拠して証明される。
• $\mathcal{C}$-飽和条件により、すべての $\mathcal{C}$-系との結合が $\mathcal{C}$-因子を基準として相対的に独立であることが保証され、ヴァン・ダール・コプットの補題の適用が可能になる。
• 証明により、エルゴード平均の $L^2$-極限が存在し、特に $\mathcal{C}$-因子の構造を介して同定されることが示された。
• $\mathcal{C}$ のクラスは因子をとる操作で閉じていない。トーラス上の回転を用いた反例により、$\mathcal{C}$-系の因子が $\mathcal{C}$-系でないことがあることが示された。