[論文レビュー] Norm convergence of multiple ergodic averages for commuting transformations

Terence Tao|ArXiv.org|Jul 8, 2007

Limits and Structures in Graph Theory参考文献 18被引用数 21

ひとこと要約

この論文は、確率空間上の可換な測度保存変換に対して、ハイパーグラフ正則性にインspiredされた有限的で組合せ的なアプローチを用いて、複数のエルゴード平均のノルム収束を確立する。主な結果は、すべての $ 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 $ 関数に対しても拡張できること。
• 有限的バージョンの収束結果が、逆フルスタインベルク対応原理を介して無限的エルゴード定理を示すこと。

提案手法

• 一般の測度保存系を、一様測度と標準的シフト $ T_i x = x + e_i $ を持つ有限アーベル群 $ \mathbf{Z}_P^l $ に置き換えることで、有限的アプローチを採用する。
• $ \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^* $ となる $ M $ が存在して、すべての $ M \leq N,N' \leq F(M) $ に対して $ \|A_N - A_{N'}\|_{L^2} \leq \varepsilon $ が成り立つこと。
• 確率測度の族 $ [0,1]^{\mathbf{N}^2} $ 上での弱コンパクト性の議論を用い、メタ安定性の失敗から矛盾を導出する。弱収束性と可算劣加法性に依存する。
• 補助確率空間に依存しないように、ドミネーテッド収束定理の有限的バージョン（定理 A.2）を適用する。
• 距離に基づく安定性結果（定理 A.1）の対偶を用いて、$ 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^* $ は $ \varepsilon $ と $ F $ のみに依存し、$ P $ には依存しないため、すべての有限群 $ \mathbf{Z}_P^l $ にわたる一様なメタ安定性が保証される。
• 証明では、逆対応を用いて、有限的組合せ的命題から無限的エルゴード結果を導出し、特徴的因数の直接的使用を回避する。
• ホルダーの不等式と極限の議論を用いて、条件 $ \frac{1}{p} \geq \sum_{i=1}^l \frac{1}{p_i} $ の下で、$ L^p $ 関数に対しても拡張可能である。
• 収束文の論理的強さは算術的コンprehension公理 $(ACA)$ に関連しており、有効な境界が極めて悪い可能性があることを示唆している。