[論文レビュー] Some open problems on multiple ergodic averages

Nikos Frantzikinakis|arXiv (Cornell University)|Mar 19, 2011

Limits and Structures in Graph Theory参考文献 199被引用数 30

ひとこと要約

この論文は、エルゴディック理論における複数のエルゴディック平均、複数の再帰、および正の上付加密度をもつ集合における算術的パターンに関する最近の進展を調査し、未解決の問題を提示している。組合せ論および数論への応用を含み、特に $\mathbb{Z}^d$-作用、多項式および乗法的系列、複数のエルゴディック平均の収束性および構造に焦点を当て、特性因子、再帰、乗法的系の相関系列に関する未解決の課題を強調している。

ABSTRACT

We survey some recent developments and give a list of open problems regarding multiple recurrence and convergence phenomena of $\mathbb{Z}^d$ actions in ergodic theory and related applications in combinatorics and number theory.

研究の動機と目的

• エルゴディック理論における $\mathbb{Z}^d$-作用に関する複数のエルゴディック平均および複数の再帰の最近の発展を調査すること。
• 多項式、乗法的、または素数関連の系列を用いた複数のエルゴディック平均の極限挙動に関する未解決問題を特定および提示すること。
• エルゴディック理論、組合せ論、数論の間の関係を調査すること。特に、正の上付加密度をもつ集合におけるパターンに関して。
• 特性因子の構造および可換な測度保存変換を含む平均の収束性を調査すること。
• 特に整数における二次的パターンに関して、乗法的構造をもつ系における高次元複数再帰を証明する課題に取り組むこと。

提案手法

• $L^2(\mu)$ や点ごとの収束に関して、$\frac{1}{N}\sum_{n=1}^{N} T_1^{a_1(n)}f_1 \cdots T_\ell^{a_\ell(n)}f_\ell$ の形をした複数のエルゴディック平均の極限挙動を分析すること。
• 一様推定、構造的結果（例：特性因子）、代数的系の解析を用いて収束性および再帰性を研究すること。
• 多項式系列の挙動を理解するために、-nilmanifold 上の等分布および冪零群技法を用いること。
• 完全乗法的関数 $\phi$ で $|\phi(n)|=1$ を満たすものに関する相関系列を調査し、特に $\phi(m(m+n))\overline{\phi}((m+2n)(m+3n))$ のような式を扱うこと。
• エルゴディックラマージー理論および調和解析の道具を用いて、複数再帰確率の下界を導出すること。
• 乗法的構造をもつ系を検討し、特定の構成（例：$T_{m(m+n)}A \cap T_{(m+2n)(m+3n)}A \cap T_{(m+4n)(m+5n)}A$）が正の測度をもつかどうかを調べること。

実験結果

リサーチクエスチョン

• RQ1 可換な測度保存系において、多項式系列を用いた複数のエルゴディック平均は $L^2(\mu)$ で収束するか？
• RQ2 特に高次相関に関して、特性因子を用いて複数のエルゴディック平均の極限挙動を完全に記述できるか？
• RQ3 乗法的構造をもつ系および正の測度をもつ集合 $A$ に対して、$\mu(T_{m(m+n)}A \cap T_{(m+2n)(m+3n)}A \cap T_{(m+4n)(m+5n)}A) > 0$ を満たす $m,n \in \mathbb{N}$ が存在するか？
• RQ4 特に二次的パターンに関して、乗法的構造をもつ系において高次元複数再帰の結果を確立できるか？
• RQ5 二次形式によって関係づけられる $r,s,t$ に対して、相関系列 $\mu(T_r A \cap T_s A \cap T_t A)$ の構造は何か？また、線形の場合とはどのように異なるか？

主な発見

• 冪零群技法および-nilmanifold 上の等分布を用いて、多項式系列を含む複数のエルゴディック平均の収束性は、多くの場合に確立されている。
• 乗法的構造をもつ系では、相関系列 $\mu(T_r A \cap T_s A)$ は完全乗法的関数 $\phi$ に対する $\phi(r)\overline{\phi}(s)$ の積分的組み合わせとして表現可能であるが、三重相関ではこれが成立しない。
• $n=0$ のとき、$\phi(m(m+n))\overline{\phi}((m+2n)(m+3n))$ は実数かつ非負である。これは再帰結果を証明する上で重要な技術的利点である。
• 二次的パターンに関する高次元複数再帰は未解決のままであり、問題35は、$\mu(T_{m(m+n)}A \cap T_{(m+2n)(m+3n)}A \cap T_{(m+4n)(m+5n)}A) > 0$ がいくつかの $m,n$ に対して成り立つかどうかを問うている。
• 三重相関において乗法的構造が欠落しているため、古典的因数分解技法を超える代替的手法が求められる。
• 2011年版に掲載されたいくつかの問題はすでに解決されており、更新版では分野の新規発展および新たな課題が統合されている。