[論文レビュー] A General Correspondence between Averages and Integrals

Henry Towsner|ArXiv.org|Apr 17, 2008

Limits and Structures in Graph Theory参考文献 5被引用数 3

ひとこと要約

本稿は、力学系の平均と測度空間上の積分の間の統一的で一般的な対応関係を確立し、Furstenbergの対応原理を関数、グラフ、および$L^∞$-関数にまで拡張する。可換半群作用が集合$S$に作用する場合、Følner列を用いることで、連続関数の$E(gs_i)$上での平均のliminfとlimsupが、対応する関数$\tilde{E}_{s_i}$の力学系上での積分によって有界づけられることを証明しており、エルゴディック理論および加法的組合せ論における既存の結果を一般化する。

ABSTRACT

Recent work has generalized the Furstenberg correspondence between sets of integers and dynamical systems to versions which involve sequences of finite graphs or sequences of $L^\infty$ functions. We give a unified version of the theorem subsuming all these generalizations.

研究の動機と目的

• 集合、関数、グラフに関係するFurstenberg対応原理の分散した一般化を、一つの枠組みに統合すること。
• 共通の測度論的および力学系の枠組みを用いて、$L^\infty$-関数および有限グラフの列への対応の拡張。
• 非可算な可換半群および連続関数に対して、左不変平均と位相的条件を用いて対応を確立すること。
• 古典的および非標準解析の手法を併用して結果を証明し、広範な適用可能性を保証すること。
• 非可算な可換半群および連続関数$E: S \to X$に対して、$S$が局所コンパクトである場合に、対応が成り立つ十分な位相的条件（例えば、偶関数連続性）を同定すること。

提案手法

• 可算集合$S$、$S$に作用する半群$G$、コンパクト空間$X$に対して、Følner列$\{I_n\}$を用いて一般対応定理を定式化する。
• 力学系$(Y,\mathcal{B},\mu,(T_g)_{g\in G})$と可測関数$\tilde{E}_s: Y \to X$を定義し、$\tilde{E}_{gs} = \tilde{E}_s \circ T_g$を満たすようにする。
• 任意の連続関数$u: X^k \to \mathbb{R}$および$s_1,\dots,s_k \in S$に対して、平均$\frac{1}{|I_n|}\sum_{g\in I_n} u(E(gs_1),\dots,E(gs_k))$のliminfとlimsupが、測度$\mu$に関する積分$\int u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})\,d\mu$によって有界づけられることを証明する。
• 2通りの証明を提供する：1つは古典的対角線法とFølner列を用い、もう1つは超有限集合と標準部を用いた非標準解析。
• Følner列の代わりに左不変平均$m$を用いることで、非可算な可換半群への結果の拡張。
• $S$が局所コンパクトで$E$が連続である場合に、関数$\tilde{E}_s$が連続となるための位相的条件（例えば、$\{g \circ E \mid g \in G\}$の偶関数連続性）を確立する。

実験結果

リサーチクエスチョン

• RQ1 Furstenberg対応の既知の一般化（集合、関数、グラフ）が、単一の統一的原理に統合可能か？
• RQ2 測度論的枠組みを一貫して用いて、集合から$L^\infty$-関数およびグラフ列への対応をどのように拡張できるか？
• RQ3 $G$が非可算または$S$が非可算かつ位相的である場合に、対応が成り立つ条件は何か？
• RQ4 $S$および$E$にどのような位相的条件を課すと、関数$\tilde{E}_s$の連続性が保たれるか？
• RQ5 非標準解析を用いて対応を証明可能か？また、古典的アプローチと比べてどう異なるか？

主な発見

• 本稿は、任意の可算な可換半群$G$が集合$S$に作用する場合に、Følner列上の平均と力学系上での積分との間の一般対応関係を確立している。
• 任意の連続関数$u: X^k \to \mathbb{R}$に対して、$I_n$上での$u(E(gs_1),\dots,E(gs_k))$の平均のliminfとlimsupが、不変測度$\mu$に関する$u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})$の積分によって有界づけられる。
• $E: \mathbb{Z} \to \{0,1\}$の場合に、上側Banach密度が正である集合における等差数列の存在に関するFurstenbergの元々の結果が回復される。
• $E: \mathbb{Z} \to [-1,1]$の場合に、有界関数の多重平均に関する結果が回復される。
• 非可算な可換半群に対しては、Følner列の代わりに左不変平均$m$を用い、$m(\{g \mid \phi(g)\})$に置き換えることで対応を一般化する。
• $S$が局所コンパクトで$E$が連続である場合、$\{g \circ E \mid g \in G\}$が偶関数連続であれば、$\tilde{E}_s$が$Y$上で連続となることが保証され、対応が成り立つ。