[論文レビュー] On the Brun-Titchmarsh Theorem

James Maynard|arXiv (Cornell University)|Jan 9, 2012

Analytic Number Theory Research参考文献 17被引用数 3

ひとこと要約

この論文は、$ \log x / \log q \geq 8 $ のとき、Dirichlet $ L $-関数の零点密度推定を用いた解析的技法を用いて、Brun-Titchmarsh定理の上界定数をすべての十分に大きな法 $ q $ に対して 2 にまで低下させられることを確立している。同じ条件下で、$ x/(q^{1/2}\phi(q)) $ のほぼ最良の下界が示され、これらはシエルベル零点問題を解決しない限り、本質的に最良のものである。

ABSTRACT

The Brun-Titchmarsh theorem shows that the number of primes $\le x$ which are congruent to $a\pmod{q}$ is $\le (C+o(1))x/(ϕ(q)\log{x})$ for some value $C$ depending on $\log{x}/\log{q}$. Different authors have provided different estimates for $C$ in different ranges for $\log{x}/\log{q}$, all of which give $C>2$. We show that one can take C=2 provided that $\log{x}/\log{q}\ge 8$. Without excluding the possibility of an exceptional Siegel zero, we cannot have $C<2$ and so this result is best-possible in this sense. We obtain this result using analytic methods developed in the study of Linnik's constant. In particular, we obtain explicit bounds on the number of zeroes of Dirichlet $L$-functions with real part close to 1 and imaginary part of size O(1).

研究の動機と目的

• Brun-Titchmarsh 上界定数を $ \theta = \log q / \log x \leq 1/8 $ のとき、$ 2/(1 - \theta) $ から $ C = 2 $ に改善すること。ここで $ \theta \leq 1/8 $ は $ \log x / \log q \geq 8 $ に相当する。
• $ \log x / \log q \geq 8 $ のとき、$ \pi(x; q, a) $ の下界を $ x/(q^{1/2}\phi(q)) $ のオーダーで確立すること。これはシエルベル零点問題を解決しない限り、本質的に最良のものであることを示す。
• 現在の技法の下で、改善された上界および下界が最良であることを示すこと。特に、$ \eta $-シエルベル零点が存在する場合にも有効であることを示す。
• Dirichlet $ L $-関数の零点密度推定を、$ \gamma \ll 1 $ を満たす零点を含むように、より広い範囲に拡張すること。これは改善された境界を得るために不可欠である。

提案手法

• シーブ法ではなく、Dirichlet $ L $-関数の零点に関する重み付き和に注目したリンニクの定理からの解析的技法を用いる。
• ヘイズ・ブラウンの境界を越えて、$ \gamma \ll 1 $ を満たす零点を含むように拡張された零点密度推定を適用する。
• 指数的重みを用いた素数の滑らか化和を用い、関数 $ B_1, C_1, D $ および $ A' $ を用いて零点の寄与を推定する。
• 下界 $ \lambda_1' $ および $ \lambda_2 $ として、シクルーリスおよびヘイズ・ブラウンの結果を用い、$ \lambda_1 $ の dyadic 区間における再帰的バウンディング戦略を実装する。
• 上界式の $ M \geq 7.8 $ に対する明示的数値チェックを実施し、すべての範囲で合計が 0.999 未満であることを確認し、境界が成り立つことを裏付ける。
• $ M = 7.999 $ のとき、零点和推定における主要な減衰因子として関数 $ \exp(-M\lambda_1)/B_1(\lambda_1) $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 Brun-Titchmarsh 定数は $ \log x / \log q \geq 8 $ のとき 2 に低下できるか。もしそうなら、どのような条件下で可能か？
• RQ2 シエルベル零点問題の改善がなければ、$ \log x / \log q \geq 8 $ のとき $ \pi(x; q, a) $ の最良の下界は何か？
• RQ3 $ \gamma \ll 1 $ を満たす $ L $-関数の零点密度推定は、算術級数内の素数の上界および下界にどのように影響するか？
• RQ4 一般化されたリーマン予想を仮定せず、シエルベル零点を除外しない限り、Brun-Titchmarsh 定理における定数 2 を達成可能か？

主な発見

• $ q \geq q_1 $ および $ x \geq q^8 $ のとき、境界 $ \pi(x; q, a) < 2\operatorname{Li}(x)/\phi(q) $ が成り立ち、古典的な Brun-Titchmarsh 定数 $ 2/(1 - \theta) $ から 2 に改善される。
• $ q \geq q_2 $ および $ x \geq q^8 $ のとき、下界 $ \pi(x; q, a) \gg \frac{1}{q^{1/2}} \cdot \frac{x}{\phi(q)\log x} \cdot \log q $ が成り立ち、これはシエルベル零点問題を解決しない限り、本質的に最良のものである。
• 定数 2 を用いた上界は、$ \eta $-シエルベル零点の存在を除外しない限り、さらに改善できないという意味で最良である。
• 証明は、$ \gamma \ll 1 $ を満たす零点を含むように零点密度推定を拡張することに依存しており、数値的検証により $ M \geq 7.8 $ の範囲で境界が成り立つことが確認された。
• 結果は有効的である：定数 $ q_1 $ および $ q_2 $ は有効的に計算可能であり、大きな $ q $ に対して一様な境界が得られる。