[論文レビュー] Entiers friables dans des progressions arithm\'etiques de grand module

Régis de la Bretèche, Daniel Fiorilli|arXiv (Cornell University)|Jun 10, 2015

Analytic Number Theory Research参考文献 7被引用数 1

ひとこと要約

本稿では、x/M まで変動する法 q に対して、y-滑らか数（smooth numbers）の算術級数における平均誤差項の漸近公式を確立する。M → ∞ のとき、q は x/M まで変動する。スペクトル法とリーマンゼータ関数およびディクマン関数の明示的評価を用いて、算術級数における滑らか数の分布のバイアスを補正し、平均誤差が漸近的に −|a|Ψ(x/|a|, y)/(2x) に収束することを示している。

ABSTRACT

29 pages, in French

研究の動機と目的

• 算術級数 modulo q における y-滑らか数の分布における平均誤差を分析すること、特に x に比べて q が大きい場合に注目する。
• 密度の薄い数列である y-滑らか数に対する、素数分布における誤差バイアスの既存結果を拡張すること。
• (a, q) = 1 を満たす法 q ≤ x/M における平均誤差項 σ(x, y, M; a) の明示的漸近公式を導出すること。
• 誤差バイアスが a の算術的性質にどのように依存するかを特定すること、特に関数 ρ(u_a) と除数関数 τ₃(a) を通じて。

提案手法

• Perronの公式と線分積分を用いて、σ(x, y, M; a) をゼータ関数および y-滑らか数の特徴関数のディリクレ級数を含む複素積分として表現する。
• 切り捨てられたPerronの公式と ζ(s₁, y)/ζ(s₁)(s₁ − 1) の近似関数方程式を用いて主項を推定する。
• b̺(s)e^{us}ds の線分積分として定義される関数 I(x, y; M) を用いて、大きな素因数を持つ整数におけるモービウス型関数の和を近似する。
• Hildebrand および Drappeau の滑らか数の分布に関する結果に依拠し、領域 (Hε) におけるゼータ関数およびディクマン関数 ρ(u) の明示的評価を用いる。
• ζ(s) の非零領域および零点の自由領域を応用し、線分シフトにおける誤差項を制御する。特に σ₁ = α₀ = 1 − ξ(u)/log y の場合を考慮する。
• |ζ(s₁)| および指数和の評価を用いて、線分の垂直および水平部分における誤差寄与を推定し、H(u)^{-δ} および Lε(M)^{-1} を含む誤差項を得る。

実験結果

リサーチクエスチョン

• RQ1 (a, q) = 1 のもとで、q ≤ x/M における y-滑らか数 ≡ a mod q の個数の平均誤差は何か？
• RQ2 算術級数における y-滑らか数の分布のバイアスは、a の算術的構造にどのように依存するか？
• RQ3 スペクトル法およびゼータ関数の推定を用いて、y-滑らか数のような薄い数列の誤差バイアスを定量的に評価できるか？
• RQ4 ディクマン関数 ρ(u) 及びそのシフト ρ(u_a) は、平均誤差の主項を決定する上で果たす役割は何か？
• RQ5 誤差項は M（法の範囲）、および除数関数 τ₃(a) にどのように依存するか？

主な発見

• 平均誤差項 σ(x, y, M; a) は漸近的に −ϕ(|a|)x/(2M|a|) ⋅ ρ(u_a) に収束する。ここで u_a = u − (log|a|)/log y かつ u = log x / log y である。
• 誤差項は O_ε,A(τ₃(a)² Ψ(x, y)/(M Lε(M))) のオーダーであり、Lε(M) = exp{(log M)^{3/5−ε}} である。
• 主項は、Fiorilli が素数分布で観察したバイアスに類似した、y-滑らか数の分布におけるバイアスを反映している。
• この結果は領域 (Hε): exp{(log log x)^{5/3+ε}} ≤ y ≤ x において一様に成り立ち、M ≤ min{H(u)^δ (log x)^A, y^δ} の制約のもとで成り立つ。
• Φ_μ(x, y) の和に対する近似 I(x, y; M) は、I(x, y; M) = ρ(u) {1 + O(1/(H(u)^δ Lε/2(M)) + 1/Lε/2(y))} を満たすことが示され、以前の推定を精緻化している。
• (a, q) = 1 の条件なしの状況にもこの結果を拡張でき、∑_{q ≤ x/M} E*(x, y; a, q) = −x/2M ⋅ ρ(u_a) + O_ε(τ₄(a)τ₃(a)Ψ(x, y)/(M Lε(M))) が成り立つ。