[論文レビュー] Gram's Law Fails a Positive Proportion of the Time

Timothy S. Trudgian|arXiv (Cornell University)|Nov 6, 2008

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

ひとこと要約

本稿は、リーマン・ゼータ関数のグラムの法則—各グラム区間ごとに1つの非合理零点が存在するとする仮説—が、正の密度を有する区間で成立しないことを示している。また、弱いグラムの法則（各区間で少なくとも1つの零点が存在する）も、同様に正の密度を有する区間で成立することが判明した。引数関数 $ S(t) $、シフトされたモーメント、およびホルダーの不等式を用いて、著者はグラムの法則の失敗が疎らではなく、正の密度で発生することを証明し、臨界帯におけるその失敗の統計的頻度について長年の未解決問題を解決した。

ABSTRACT

This paper extends the work done by Titchmarsh on Gram's Law (an attempt to locate the zeroes of the zeta-function on the critical line). Herewith it is shown that a positive proportion of Gram intervals violate Gram's Law; and also that a weaker notion of Gram's Law is valid over a positive proportion of intervals.

研究の動機と目的

• リーマン・ゼータ関数の臨界帯における、グラムの法則が失敗する区間の自然密度を特定すること。
• 既知の無限の失敗にもかかわらず、弱いグラムの法則が正の密度の区間で成立するかどうかを確立すること。
• 解析的整数論の道具を用いて、複数の零点を含む区間（すなわち $ F_k $ 区間）の頻度を定量化すること。
• グラムの法則が、その既知の無限の失敗にもかかわらず、正の密度で成立するかどうかという未解決の問いを解消すること。

提案手法

• 引数関数 $ S(t) = \pi^{-1} \arg \zeta(1/2 + it) $ を分析し、$ t $ までの零点数を追跡する。この関数は $ S(g_n) = \lambda $ を通じてグラム区間と関連づけられる。
• 藤井のシフトされたモーメントの公式を用いる：$ I(T) = \int_T^{2T} |S(t+h) - S(t)|^2 dt \sim \pi^{-2} T \log(3 + h \log T) $、ここで $ h = C_0 (\log T)^{-1} $ である。
• ホルダーの不等式を適用し、$ F_k $ 区間（グラムの法則が $ k $ 個の零点とともに失敗する区間）がシフトされたモーメント積分に与える寄与を評価する。
• $ N_{F_k}(T) \ll \left( \frac{Am^2}{(k-4)^2} \right)^m H \log T $ を用いて $ F_k $ 区間の数を推定し、$ m $ について最小化することで、$ k $ における指数的減衰を導出する。
• $ N_{F_k}(T)/(H \log T) \ll \exp(-Ak) $ という評価を用いて、多くの零点を含む区間が指数的にまれであることを示す。
• 合計 $ \sum k N_{F_k}(T)/(T \log T) $ の収束性と、全零点数の下界を組み合わせることで、少なくとも1つの零点を含む区間の割合が正であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 グラムの法則が失敗する区間の自然密度は何か？
• RQ2 弱いグラムの法則は正の密度の区間で成立するか？
• RQ3 複数の零点（すなわち $ F_k $ 区間）を含む区間の頻度は、$ k $ の関数としてどの程度か？
• RQ4 引数関数 $ S(t) $ とモーメント法を用いて、グラム区間の失敗頻度を定量化できるか？
• RQ5 無限の失敗にもかかわらず、弱いグラムの法則を満たす区間が正の密度で存在するか？

主な発見

• $ T \to \infty $ のとき、$[T, 2T]$ 内の区間の正の密度でグラムの法則が失敗することを、長年の未解決問題を解決した。
• $ \sum k N_{F_k}(T)/(T \log T) $ の収束性と全零点数の下界を組み合わせることで、弱いグラムの法則が正の密度の区間で成立することが示された。
• $ k $ 個の零点を含む区間（$ F_k $ 区間）は指数的にまれであり、ある正の定数 $ A $ に対して $ N_{F_k}(T)/(H \log T) \ll \exp(-Ak) $ が成り立つ。
• 少なくとも1つの零点を含むグラム区間の数は、ある正の定数 $ A $ に対して $ AT \log T $ 以上である。これは、弱いグラムの法則の成功が正の密度で発生することを証明する。
• グラムの法則の失敗は孤立した現象ではなく、$ S(t) $ のシフトされたモーメントの漸近的挙動によって、正の密度で発生することが確認された。
• 本分析により、$ S(t) $ を用いた手法が、臨界帯における零点分布パターンの統計的頻度を検出可能であることが裏付けられた。