[論文レビュー] A remark on Sarnak's conjecture

Régis de la Bretèche, Gérald Tenenbaum|arXiv (Cornell University)|Sep 4, 2017

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

ひとこと要約

本稿では、実加法的関数が固定値をとる整数の集合の特性関数とのモービウス関数の相関を分析することにより、サルナック予想を検討する。乗法的関数論の技術と効果的な平均値推定法を用いて、このような整数上の μ(n) の和に対して指数的減衰の上限を得る。特に、加法的関数が f(p)=1 を満たす素数を避ける場合、ハラーシュの定理による自明な上限よりも著しく小さいことが示される。

ABSTRACT

We investigate Sarnak's conjecture on the M\"obius function in the special case when the test function is the indicator of the set of integers for which a real additive function assumes a given value.

研究の動機と目的

• テスト関数が実加法的関数の固定値をとる整数の特性関数である特別な場合におけるサルナック予想の検討。
• ハラーシュの古典的上限を改善するため、モービウス関数のキャンセレーションを組み込むことによる、与えられた加法的関数値を持つ整数の数に対する上限の改善。
• 特に f(p) ∈ {0,1} の場合に、加法的関数の等高線集合上でのモービウス関数の和に対する定量的推定を確立すること。
• 加法的関数が疎である（つまり、正の割合の素数で f(p)=0）場合、モービウスキャンセレーションが一般のハラーシュの上限よりも強いことを示すこと。

提案手法

• フーリエ積分法を用いて、和 ∑_{f(n)=m} μ(n) を指数和 M(x; #) = ∑_{n≤x} μ(n)e^{2πi#f(n)} の積分として表現する。
• 文献[10]の定理1.3に従い、乗法的関数に対する効果的な平均値推定法（定理1.3）を適用し、g(n) = μ(n)z^{f(n)} とおいた指数和 M(x; g) を制御する。
• 修正された誤差項を含むハラーシュ型平均値推定法を用いて、指数和の実部および虚部に対する点ごとの上限を確立する。
• コーシーの積分公式を用いて、m 階の等高線集合に対応するフーリエ係数を抽出し、加法的関数の母関数と関連付ける。
• 部分和法およびオイラー積の対数微分に関する推定を用いて、主要項および誤差項を制御する。
• N_m(x; f) との比較を通じて、和 ∑_{f(n)=m} μ(n) の明確な漸近公式を導出し、e^{-2F(x)} に比例するキャンセレーションが生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 ハラーシュの定理が示唆する以上の非自明なキャンセレーションが、加法的関数の等高線集合上でのモービウス関数に現れる可能性はあるか？
• RQ2 f(p)=1 を満たす素数の集合の疎らかさに応じて、モービウスキャンセレーションの強さはどのように変化するか？
• RQ3 加法的関数 f にどのような条件下で、∑_{f(n)=m} μ(n) の漸近公式を、期待されるキャンセレーションを反映させた形で得られるか？
• RQ4 f(p) ∈ {0,1} の場合、レベル集合上でのモービウス和の減衰率は、自明な上限 O(x / √(1+E(x))) より速いか？
• RQ5 乗法的関数に対する効果的な平均値定理を、サルナック予想の文脈で個々のフーリエ係数を検出できるように適合可能か？

主な発見

• f(p) ∈ {0,1} である加法的関数 f に対して、Q(x; f, μ) := sup_m |∑_{f(n)=m} μ(n)| は、O( x(1+F(x))e^{-cF(x)} / √(1+E(x)) ) で有界であり、c ≈ 0.30751 である。
• F(x) = ∑_{p≤x, f(p)=0} 1/p がゆっくりと増加する場合（例えば F(x) ≲ log₃x）、レベル集合上でのモービウス和は e^{-2F(x)} 倍の主要項として指数的に減衰する。
• 条件 (1·6) および (1·7) の下で、和 ∑_{f(n)=m} μ(n) は漸近公式 (−1)^m N_m(x; f) [λ_f e^{-2F(x)} + O(1/(log₂x)^b) ] を満たす。ただし b > 0 である。
• 定数 λ_f = ∏_{f(p)=0} (1−1/p)/(1+1/p e^{2/p}) は、f(p)=0 を満たす素数の算術的構造を捉えている。
• 漸近公式の誤差項は、f(p)=0 を満たす素数の集合の対数的サイズに依存し、log₂x の多項式的減衰を示す。
• 結果として、モービウス和がレベル集合上で e^{-2F(x)} の因子により自明な上限より著しく速く減衰することを確認し、サルナック予想の枠組みにおける強いキャンセレーションが裏付けられる。