[論文レビュー] Automorphisms with quasi-discrete spectrum, multiplicative functions and average orthogonality along short intervals

El Houcein El Abdalaoui, Mariusz Lemańczyk+1 more|arXiv (Cornell University)|Jul 15, 2015

Analytic Number Theory Research参考文献 13被引用数 13

ひとこと要約

本稿は、準離散スペクトルを持つ自己同型の唯一的エルゴードモデルに対して、Sarnakの Möbius 無相性予想を、漸近的直交性パワー（AOP）性質を導入することで確立する。この性質により、短区間における乗法的関数の平均直交性が示され、直交性に基づく手法を超えて、区間長および成長に関する特定の漸近的条件の下で、多項式列および有界乗法的関数について予想が確認される。

ABSTRACT

We show that Sarnak's conjecture on Möbius disjointness holds in every uniquely ergodic modelof a quasi-discrete spectrum automorphism. A consequence of this result is that, for each non constant polynomial $P\in\R[x]$ with irrational leading coefficient and for each multiplicative function $\bnu:\N o\C$, $|\bnu|\leq1$, we have\[ \frac{1}{M} \sum\_{M\le m extless{}2M} \frac{1}{H} \left| \sum\_{m\le n extless{} m+H} e^{2πiP(n)}\bnu(n) ight|\longrightarrow 0 \] as $M o\infty$, $H o\infty$, $H/M o 0$.

研究の動機と目的

• 自己同型の準離散スペクトルを持つ唯一的エルゴードモデルにおける Sarnak の Möbius 無相性予想を確立すること。
• 一般的基準としての漸近的直交性パワー（AOP）性質を導入・分析し、唯一的エルゴードモデルにおける Sarnak の予想の検証に用いること。
• 切り替え軌道を伴う系および短区間平均への平均直交性結果の有効性を拡張すること。
• 準離散スペクトル自己同型が AOP 性質を満たすことを示し、これにより唯一的エルゴードモデルにおける Sarnak の予想が成立することを示すこと。

提案手法

• AOP 性質を導入：相異なる素数のべき r, s に対して、T^r と T^s のエルゴード結合におけるゼロ平均の L² 関数間の相関の上界が、r, s → ∞ のとき 0 に収束すること。
• AOP 性質を、系がそのべきから強く無相性でない場合でも、Sarnak の予想を証明する十分条件として用いる。
• 連続的唯一的エルゴード拡張によるリフト基準を適用し、測度論的モデルから位相的モデルへの予想の転送を行う。
• 固有関数と群構造の分析、特にコンパクトアーベル群上での (A−I)^m の作用を通じて、準離散スペクトル自己同型が AOP 性質を満たすことを証明する。
• 区間 b_k での軌道切り替えを許容する Sarnak の予想のより強い形を確立し、b_k ≤ n < b_{k+1} のブロックにおける平均が、Möbius 関数または乗法的関数の重みのもとで消えることを示す。
• 代数的モデル（例：コンパクトアーベル群上の T(x) = Ax + b）における固有関数が連続的かつ特定のスペクトル条件を満たすことに着目し、特徴和と一様分布を用いて AOP を検証する。

実験結果

リサーチクエスチョン

• RQ1 自己同型の準離散スペクトルを持つ唯一的エルゴードモデルにおいて、Sarnak の Möbius 無相性予想は常に成立するか？
• RQ2 AOP 性質は、系がそのべきから強く無相性を示さない場合でも、唯一的エルゴードモデルにおける Sarnak の予想の検証に一般的基準として機能できるか？
• RQ3 AOP 性質と力学系における位相的・測度論的エントロピーの関係は何か？
• RQ4 準離散スペクトル系における多項式位相に対して、乗法的関数の短区間平均直交性は確立可能か？
• RQ5 ゼロエントロピー系のうち、AOP 性質を満たさないものはあるか？もしあるならば、何がその性質の成立を妨げる構造的特徴か？

主な発見

• すべての準離散スペクトル自己同型が AOP 性質を満たす。これは、Sarnak の予想がそのような系のすべての唯一的エルゴードモデルで成立することを示唆する。
• 非定数の実係数多項式 P（無理数係数をもつ）および有界乗法的関数 ν に対して、|(1/H)∑_{m≤n<m+H} e^{2πiP(n)}ν(n)| は、M→∞、H→∞、H/M→0 のとき 0 に収束する。
• 本稿は、乗法的関数 ν の平均が非ゼロであっても、系の不変関数平均がゼロである限り、準離散スペクトル系の唯一的エルゴードモデルにおける Sarnak の予想が成立することを証明する。
• AOP 性質は因子および逆極限に関して安定であり、測度論的エントロピーがゼロを示すが、それはゼロエントロピーよりも厳密に強い性質である。例としてホロサイクルフローが反例として提示される。
• 本稿ではゼロエントロピー系における AOP の反例を構成する。ホロサイクルフローは、コンパクトなグラフ結合族 (Δ_{g_u}) が積測度から一様に離れているため、AOP 条件を満たさない。
• 結果は軌道切り替えを伴う系へも拡張可能である。任意の増加列 b_k で b_{k+1}−b_k→∞ を満たし、系内の点 x_k を任意に選ぶとき、ブロック b_k ≤ n < b_{k+1} における重み付き平均 ∑_{b_k≤n<b_{k+1}} f(T^n x_k)ν(n) は、f がゼロ平均をもつ限り、密度において 0 に収束する。