[論文レビュー] On the correlation of the Moebius function with random rank-one systems

Jean Bourgain|arXiv (Cornell University)|Dec 5, 2011

Mathematical Dynamics and Fractals参考文献 2被引用数 10

ひとこと要約

本稿は、一般化されたリーマン積と調和解析および指数和の推定を用いて、スペクトル測度を分析することにより、一般化されたシャコーンおよびカトウ系を含む広範なランク1動的系のクラスに対して、モービウス関数の非共役性（Möbius disjointness）を確立する。この研究では、これらの系の軌道に対してモービウス関数が直交することを証明し、構成パラメータにやや弱い条件を課すと、そのような系に対して素数定理が拡張可能であることを示している。

ABSTRACT

We explore the `Moebius disjointness property' in the special context of rank-one transformations and verify this phenomenon for many of the `classical' models

研究の動機と目的

• ランク1動的系、特に混合的でないものも含めた場合のモービウス非共役性を確立すること。
• 既存のMSJ（最小自己結合）結果の範囲を超えて、記号的系の軌道に対するモービウス関数の直交性を拡張すること。
• 特定の構造的条件を満たす系、特に3-区間交換変換を含む系に対して、点ごとの素数定理を証明すること。
• 変換のべきのスペクトル測度と非共役性を分析するため、一般化されたリーマン積に基づく調和解析技術を開発すること。
• スペクトル特異性に基づく場合と指数和推定に基づく場合に分けて、剛性系と弱混合系をそれぞれ処理すること。

提案手法

• 一般化されたリーマン積を用いてランク1系の最大スペクトル型を表現し、変換のべきのスペクトル解析を可能にする。
• 二分法を適用：スポータが一様に分布しない（(0.7)式に反する）場合、系は剛性であり、指数和推定により処理する。そうでない場合、スペクトル測度の減衰により T^p と T^q の非共役性を示す。
• 最小弧と主要弧に分けるハリー＝リトルウッドの円周法を用い、指数和の制限付き L1 ノルムを用いてモービウス関数との相関を評価する。
• 系の言語における語の特性関数に対して、指数和 ∑ µ(n)e(nθ) の L1 ノルムの推定を導出し、O(N(log N)^{-A}) の減衰を得る。
• スポータ列に基づく三角多項式 P_j(θ) を導入し、スペクトル挙動をモデル化し、n → ∞ のとき ∫ |P_j(pθ)P_j(qθ)| dθ → 0 を証明する。
• スペクトル技法と3-区間交換系における帰還語の組合せ的推定を組み合わせ、モービウス直交性の条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 スポータ列 (an,j) とカットパラメータ (wn) がどのような条件下で、ランク1変換の軌道に対してモービウス関数が直交するか？
• RQ2 一般化されたシャコーン写像のような非混合的・剛性ランク1系に対しても、モービウス非共役性を確立できるか？
• RQ3 指数和推定とスペクトル解析は、異なる素数 p, q に対して T^p と T^q の非共役性を示すために、MSJ性質をどの程度代替できるか？
• RQ4 特に3-区間交換変換（3-IETs）に対して、定理2の条件を満たす記号的系に対して、点ごとの素数定理を導出可能か？
• RQ5 有界スポータを持つ系において、モービウス関数との対応する指数和 ∑ f(n)e(nθ) の L1 ノルムの最適減衰率は何か？

主な発見

• wn < C およびすべての n, j に対して an,j < C を満たす任意のランク1系に対して、モービウス関数はその軌道と直交する。
• このような系に対して、モービウス関数との対応する指数和 ∑_{n=1}^N f(n)e(nθ) の L1 ノルムは、任意の A > 0 に対して O(N(log N)^{-A}) の減衰を示す。
• B_{n+1} = B_n^{p_n} 1 B_n^{q_n} で定義される一般化されたシャコーン系は、p_n + q_n → ∞ であればモービウス非共役性を満たす。
• B_{n+1} = B_n^{p_n} (B_n 1)^{p_n} で定義されるカトウの系は、p_n → ∞ が十分速ければモービウス非共役性を満たす。
• キーンの条件を満たし、すべての k に対して min(m_k, n_k) > C_0 である3-区間交換変換系は、モービウス非共役性および点ごとの素数定理の両方を満たす。
• 誤差項における対数因子は、円周法の精密化により除去可能であり、∫ |PW| ≲ (log K)^3 Q^ε K^ε の推定が得られ、標準的なハリー＝リトルウッド解析への適用が可能になる。