[論文レビュー] On Veech's proof of Sarnak's theorem on the Möbius flow

El Houcein El Abdalaoui|arXiv (Cornell University)|Nov 15, 2017

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

ひとこと要約

本稿は、モービウス・フラウのSarnakの定理についてのVeechの証明を提示し、モービウス・フラウにおける許容測度の一意性を確立する。Veechの結果とTaoの対数密度定理を組み合わせることで、著者らはSarnakの予想がチョウラ予想と同値であることを示し、モービウス関数が対数密度1の部分列に沿って擬似-genericであることを示している。

ABSTRACT

We present Veech's proof of Sarnak's theorem on the Möbius flow which say that there is a unique admissible measure on the Möbius flow. As a consequence, we obtain that Sarnak's conjecture is equivalent to Chowla conjecture with the help of Tao's logarithmic Theorem which assert that the logarithmic Sarnak conjecture is equivalent to logaritmic Chowla conjecture, furthermore, if the even logarithmic Sarnak's conjecture is true then there is a subsequence with logarithmic density one along which Chowla conjecture holds, that is, the Möbius function is quasi-generic.

研究の動機と目的

• モービウス・フラウに関するSarnakの定理の非公表証明を提示・形式化し、許容測度の一意性を確立する。
• 対数密度および測度論的力学系の観点から、Sarnakの予想とチョウラ予想の同値性を明確にする。
• 特に軌道閉包とgenericityの観点から、シフト写像下でのモービウス関数の力学的性質を調査する。
• 特に巡回構造とBarker系列に関連して、モービウス関数とハダマール行列との関係を検討する。
• 対数チョウラ予想を仮定すると、モービウス関数が対数密度1の部分列に沿って擬似-genericであることを示す。

提案手法

• トポロジカル力学と測度論的性質に依拠して、Veechの議論を用いて、モービウス・フラウにおける許容測度の一意性を証明する。
• Taoの対数密度定理を適用し、対数Sarnak予想が対数チョウラ予想と同値であることを示す。
• Veech写像Φを用いて、モービウス関数μの平方自由部と符号部を関連させ、軌道閉包によるgenericityの分析を可能にする。
• Pinsker代数と条件付き期待値を用いて、不変測度の構造とそれらがモービウス関数とどのように関係するかを分析する。
• Portmanteau定理とParthasarathyの定理を適用して、部分シフト空間におけるモービウス関数のgenericityを確立する。
• 軌道閉包O(μ)がモービウス測度μ_Mの台に等しいことから、±1ブロックが一様分布することを示す。

実験結果

リサーチクエスチョン

• RQ1 Veechの証明により、モービウス・フラウにおける許容測度は一意的か？
• RQ2 対数Sarnak予想は、対数密度1の部分列に沿ってモービウス関数がチョウラ条件を満たすという存在を介して、チョウラ予想を含意するか？
• RQ3 モービウス関数の軌道閉包O(μ)は、全許容部分シフトA₃に等しいか？
• RQ4 モービウス関数のgenericityと巡回ハダマール行列またはBarker系列の存在との関係は何か？
• RQ5 Veechの予想（φ₁のPinsker代数に関する条件付き期待値がη-ほとんど everywhere で0である）は、Sarnakの予想を含意するか？

主な発見

• Veechの証明により、モービウス・フラウにおける許容測度の一意性が確立され、本稿の議論の基盤をなす。
• Veechの一意性結果とTaoの対数密度定理を組み合わせることで、Sarnakの予想とチョウラ予想が同値であることが示された。
• 対数密度1の部分列に沿って、モービウス関数はチョウラ予想を満たし、一様なブロック分布の意味で擬似-genericである。
• シフト写像下でのモービウス関数の軌道閉包O(μ)は、モービウス測度μ_Mの台に等しく、モービウス関数がμ_Mの意味でgenericであることを示唆する。
• μのVeech写像による像の第二成分は正規数であるため、モービウス関数内の±1ブロックが一様に分布していることが確認された。
• 証明は、特にBarker系列の存在と巡回ハダマール行列予想を通じて、モービウス関数とハダマール行列との深い関係を明らかにした。