[论文解读] 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

一句话总结

本文呈現了Veech對Sarnak關於Möbius流定理的證明，確立了Möbius流上可容許測度的唯一性。透過將Veech的結果與Tao的對數密度定理結合，作者證明Sarnak猜想等價於Chowla猜想，且Möbius函數在對數密度為一的子序列上具有擬遍歷性。

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.

研究动机与目标

• 呈現並形式化Veech未發表的Sarnak定理在Möbius流上的證明，確立可容許測度的唯一性。
• 透過對數密度與測度論動力系統的觀點，釐清Sarnak猜想與Chowla猜想之間的等價性。
• 研究Möbius函數在移位映射下的動力性質，特別是其軌道閉包與遍歷性。
• 探討Möbius函數與Hadamard矩陣的關聯，特別是與Barker序列及循環結構的關係。
• 在對數Chowla猜想的假設下，證明Möbius函數在對數密度為一的子序列上具有擬遍歷性。

提出的方法

• 利用Veech的論證證明Möbius流上可容許測度的唯一性，依賴拓撲動力系統與測度論性質。
• 應用Tao的對數密度定理，該定理斷言對數Sarnak猜想等價於對數Chowla猜想。
• 使用Veech映射Φ將Möbius函數μ與其平方自由與符號分量關聯，進而透過軌道閉包分析遍歷性。
• 運用Pinsker代數與條件期望分析不變測度的結構及其與Möbius函數的關係。
• 應用Portmanteau定理與Parthasarathy定理，確立Möbius函數在子移位空間中的遍歷性。
• 利用軌道閉包O(μ)等於Möbius測度μ_M支集的事實，暗示±1區塊的均勻分佈。

实验结果

研究问题

• RQ1 Veech的證明是否確立了Möbius流上可容許測度的唯一性？
• RQ2 對數Sarnak猜想是否透過存在對數密度為一的子序列，使Möbius函數滿足Chowla條件，而推出Chowla猜想？
• RQ3 Möbius函數的軌道閉包O(μ)是否等於整個可容許子移位A₃？
• RQ4 Möbius函數的遍歷性與Hadamard矩陣的存在性或Barker序列之間有何關係？
• RQ5 Veech對條件期望φ₁給定Pinsker代數為零η-幾乎必然的猜想，是否能推出Sarnak猜想？

主要发现

• Veech證明了Möbius流上可容許測度的唯一性，這是本文論證的基石。
• 透過結合Veech的唯一性結果與Tao的對數密度定理，Sarnak猜想等價於Chowla猜想。
• 在對數密度為一的子序列上，Möbius函數滿足Chowla猜想，表示其在均勻區塊分佈意義下具有擬遍歷性。
• Möbius函數在移位映射下的軌道閉包O(μ)等於Möbius測度μ_M的支集，暗示Möbius函數對μ_M是遍歷的。
• μ在Veech映射下像的第二個分量是正常數，確認Möbius函數中±1區塊的均勻分佈。
• 證明揭示了Möbius函數與Hadamard矩陣之間的深刻關聯，特別是透過Barker序列的存在與循環Hadamard矩陣猜想。