[論文レビュー] Smooth numbers in short intervals

K. Soundararajan|arXiv (Cornell University)|Sep 8, 2010

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

ひとこと要約

リーマン予想を仮定すると、任意の ε > 0 に対して、十分大きな x に対して、短い区間 [x, x + C(ε)√x] に x^ε-スムーズ数が存在することを本論文は証明する。ここで C(ε) は ε に依存する定数である。この結果は、ディリクレ級数およびゼータ関数の零点の複素解析を用いて得られ、除数和の評価および短い区間におけるスムーズ数の分布を活用している。

ABSTRACT

Assuming the Riemann hypothesis we demonstrate the existence of smooth numbers in certain short intervals.

研究の動機と目的

• リーマン予想のもとで、長さ √x の短い区間内に y-スムーズ数が存在することを確立すること。
• ハーマンおよびマトマキの先行研究を改善すること。
• 長さ O(√x) の区間が、任意の ε > 0 に対して x^ε-スムーズ整数を含むかどうかを調査すること。
• 解析的数論的手法を用いて、このような区間内のスムーズ数の数に対する条件付き下界を提供すること。

提案手法

• 証明は、リーマン・ゼータ関数の対数微分と、dyadic 範囲内のスムーズ数を数えるディリクレ多項式 M(s) を含む複素積分表現を用いる。
• 積分路が臨界線にシフトされ、関数等式とスターリングの公式を用いて、ζ(s) の非自明な零点からの寄与が分析される。
• 主項は s = 1 における極に起因するが、誤差項は |ζ′/ζ(s)| の推定と核 (e^{δs}−1)^2/s^2 の減衰性を用いて有効に評価される。
• 重要なステップとして、Re(s) = −1/2 における積分の評価が、関数等式とディリクレ多項式の平均値推定を用いてなされる。
• この手法は、非自明な零点の位置を制御し、臨界帯におけるゼータ関数の有効な評価を得るためにリーマン予想に依存している。
• 最終的な評価は、主項と誤差項を比較することで得られ、区間内のスムーズ数の数が、期待される密度の x^{-ε} 倍以上であることが示される。

実験結果

リサーチクエスチョン

• RQ1 リーマン予想を仮定すると、任意の ε > 0 に対して、[x, x + C(ε)√x] が x^ε-スムーズ数を含むかどうか？
• RQ2 リーマン予想の下で、長さを O(√x) に短縮してもスムーズ数の存在が保証されるかどうか、既存の知見を上回るか？
• RQ3 リーマン予想のもとで、y = x^{1/u} のとき、y-スムーズ数を含む最小の短い区間の長さは何か？
• RQ4 短い区間におけるスムーズ数の分布は、素数の分布とどのように比較できるか。Cramér 型の予想は、スムーズ数に対しても同様に拡張可能か？
• RQ5 ゼータ関数の手法を超えた代替的手法が、非常に短い区間におけるスムーズ数に対してより強い結果をもたらすことができるか？

主な発見

• 任意の ε > 0 に対して、定数 C(ε) が存在し、リーマン予想のもとで区間 [x, x + C(ε)√x] に少なくとも1つの x^ε-スムーズ数が存在する。
• 区間 [x, x + z] 内の x^ε-スムーズ数の数は、z = B u √x / ρ(u/2) に対して z x^{-ε} で下から抑えられる。ここで u = log x / log y であり、ρ はディクマント関数である。
• この手法により、短い区間内のスムーズ数の数に対する非自明な下界が確立されるが、正の割合までは得られない。
• y < exp(√(log x log log x)) の場合、評価は無効となるため、極めてスムーズな数に対しては現在の手法の限界が示される。
• この結果はリーマン予想に依存しており、長さ O(log x) の区間が常に x^ε-スムーズ数を含むという予想をまだ解消していない。
• 証明技法は、積分路の変形と短い区間における除数和の推定に依存しており、主な寄与は s = 1 における極と ζ(s) の零点に起因する。