[論文レビュー] Convergence of multiple ergodic averages

Bernard Host|ArXiv.org|Jun 15, 2006

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 エルゴード理論におけるべき零群因子と、加法的数論で用いられる組合せ的構成との間に、より深い構造的関係があるか？

主な発見

• 任意の $ k \geq 1 $ に対して、測度保持変換 $ T $ に対して、複数のエルゴード平均 $ \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 $ は、複数の平均を一様にバインドするための重要な道具である。