[論文レビュー] Möbius disjointness for topological models of ergodic systems with discrete spectrum

Wen Huang, Zhiren Wang+1 more|arXiv (Cornell University)|Aug 30, 2016

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

ひとこと要約

この論文は、トーラス回転による近似と短い軌道セグメント分解を用いてモビウス非共鳴性の基準を確立することで、離散スペクトルをもつエルゴード的系のすべての位相的モデルに対してサルナックのモビウス非共鳴性予想を証明する。主な結果は、この予想が、コンパクトなアーベル群上の最小回転や有限周期系を含む、このようなすべての系に対して成立することを確認する。

ABSTRACT

We provide a criterion for a point satisfying the required disjointness condition in Sarnak's Möbius Disjointness Conjecture. As a direct application, we have that the conjecture holds for any topological model of an ergodic system with discrete spectrum.

研究の動機と目的

• 離散スペクトルをもつ位相的力学系に対して、モビウス非共鳴性の一般基準を確立すること。
• 離散スペクトルをもつエルゴード的系のすべての位相的モデルに対して、サルナックのモビウス非共鳴性予想が成り立つかどうかという未解決問題を解消すること。
• ニル数列や回転に関する先行結果を、非最小かつ非同型な拡張を含む一般の位相的モデルへと拡張すること。
• 可算個のエルゴード的不変測度をもつ系に適用可能な統一的な証明枠組みを提供すること、各測度は離散スペクトルをもつ。
• ダウナロヴィチとフラスナーが提起した、有理的離散スペクトル系の位相的モデルに関する問いに肯定的に答えること。

提案手法

• 単位分割を用いて、系上の連続的観測量を、有限個のトーラス回転に台を持つ関数で近似する。
• 軌道セグメントを、力学系がトーラス上の回転としてモデル化できる短い区間に分解する。
• 離散スペクトルの構造を用いて、各トーラス成分上で観測量を有限の三角多項式として表現する。
• モビウス関数を用いた指数和のキャンセル推定と素数定理を適用し、短い平均を抑え込む。
• 近似誤差、軌道分解誤差、およびモビウス和のキャンセルを組み合わせて、全体の平均を制御する。
• モビウス関数が無理数周波数の指数系列に対してキャンセルを示すという事実を活用し、μの「擬似的でない」性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 離散スペクトルをもつエルゴード的系のすべての位相的モデルに対して、サルナックのモビウス非共鳴性予想は成り立つか？
• RQ2 可算個のエルゴード的不変測度をもち、それぞれが離散スペクトルをもつ系に対して、モビウス非共鳴性の一般基準を確立できるか？
• RQ3 最小でないか、一意的測度でない（例：有限周期系の拡張）ような位相的モデルに対しても、予想は成立するか？
• RQ4 有理的離散スペクトルをもつ系、例えば2点周期系に対しても、モビウス非共鳴性は証明可能か？
• RQ5 離散スペクトルをもつ位相的モデルの文脈で、モビウス関数のキャンセル性をどのように活用できるか？

主な発見

• すべての離散スペクトルをもつエルゴード的系の位相的モデルに対して、モビウス非共鳴性予想が成立し、長年の未解決問題が解決された。
• 離散スペクトルをもつ各エルゴード的不変測度をもつ任意のTDSに対して、予想が検証された。
• f(T^n x)μ(n) の平均に対する定量的評価を確立し、適切なパrameterのもとで、O((log N)^{-κ₀} + (log log L)/(log L)) のオーダーで減少することを示した。
• ニル数列や回転に関する先行研究（ダベンポートの定理、算術級数における素数定理を含む）を一般化した。
• 2点周期系およびその位相的拡張に対しても、モビウス非共鳴性が証明され、ダウナロヴィチとフラスナーが提起した問いに肯定的に答えられた。
• 証明手法は非最小系や標準モデルの非同型拡張にも適用可能であり、モビウス非共鳴性の性質が強いロバストネスを示している。