[論文レビュー] Shifted bilinear sums of Salié sums and the distribution of modular square roots of shifted primes

Igor E. Shparlinski, Yixiu Xiao|arXiv (Cornell University)|Jan 15, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

論文は大きな素数模数の移動付き Salié 和を含むシフト bilinear 合和に対して非平凡な上界を導出し、それを用いて移動素数の模数平方根の分布を研究し、P までの素数の漸近公式と不整分散境界を得る。

ABSTRACT

We establish various upper bounds on Type-I and Type-II shifted bilinear sums with Salié sums modulo a large prime $q$. We use these bounds to study, for fixed integers $a,b ot \equiv 0 \bmod q$, the distribution ofsolutions to the congruence $x^2 \equiv ap+b \bmod q$, over primes $p\le P$. This is similar to the recently studied case of $b = 0$, however the case $b ot \equiv 0 \bmod q$ exhibits some new difficulties.

研究の動機と目的

• Type-I および Type-II のシフトされた bilinear 和を Salié 和と共に大素数 q に対して上界を得ることを動機づけ、研究する。
• 素数 p ≤ P に対する x^2 ≡ a p + b (mod q) の解の分布を解析するための上界を整備する。
• bilinear 和の境界を移項平方根の分布に結びつける。
• 整数と素数の両方の和、平滑化/加重変種および双曲領域制限を含む。

提案手法

• Salié 和 S(t; q) を定義し、S(t;q) = ε_q q^{1/2} sum_{x^2 ≡ t (mod q)} e_q(2x) によって二次合同式と関連づける。
• Type-I および Type-II のシフト付き bilinear 和 W_{a,b,λ} および V_{a,b,λ} を、指数和技法、ポアソン和、Weil界を用いて境界づける。
• Vaughan の恒等式を素数の和に適用し、P の二進的レンジ全体で S_{a,b,λ}(P) の界を導く。
• 増幅、フーリエ/ポアソン解析、指数和界を利用して bilinear 形式と平滑化変種（V, U, T 和）を制御する。
• Erdős–Turán 型不等式を通じて分布の不整さを N_{a,b}(H,P) の系として導く。
• 平滑/加重和および双曲領域に対する特化した界を得て、移動素数平方根の取り扱いに対応する。

実験結果

リサーチクエスチョン

• RQ1 大素数 q に対する移動された Salié 和の bilinear 和の非平凡な上界は何か？
• RQ2 これらの界が、x^2 ≡ a p + b (mod q) で素数 p を考えるとき、移動素数の模数平方根の分布へどう結びつくか（p は素数）？
• RQ3 bilinear 境界が非平凡であり続ける最適な M, N, P および関連パラメータの範囲はどこか？
• RQ4 平滑化、双曲領域制限、素数和手法を用いて R_{a,b}(P)（移動素数の平方根集合）の区間における漸近公式や不整分布境界を得られるか？
• RQ5 ダイアゴナル条件以外のシフト付き Type-I 和や平滑化/スペクトル変種へ結果は拡張できるか？

主な発見

• 定理 2.1: U_{a,b,λ}(m,N) ≪ q^{1/2} log q ただし gcd(amλ,q)=1。
• 定理 2.2: V_{a,b,λ}(α; M, N) ≪ sqrt(||α||_1 ||α||_2) M^{1/12} N^{7/12} q^{1/4+o(1)}、条件は M ≤ q, MN ≤ q^{3/2}, M ≤ N^2。
• 定理 2.3: 線形化された V_{a,b,λ}(α, φ; M, N) の平滑化版で、M, N, q、および平滑性パラメータに依存する界。MN ≪ q の場合に適用。
• 定理 2.5: W_{a,b,λ}(α,β; M, N) ≪ ||α||_2 ||β||_∞ (M^{1/2} N^{1/2} + M^{1/2} N q^{-1/4} + N q^{1/4} (log q)^{1/2})。
• 定理 2.10 および 定理 2.11: 素数和の和 S_{a,b,λ}(P) に対する界が、P^{13/18} q^{1/4}, P^{5/6} q^{1/8}, P^{2/3} q^{1/3}, P^{5/6} q^{1/12}, P q^{-1/4} の各範囲で成立し、q^{3/4} ≤ P ≤ q^{3/2} に対して P^{7/9+o(1)} q^{1/6} という改善境界を与える。
• 系を用いた Corollary 2.13: Erdős–Turán 型の N_{a,b}(H,P) の不整分布境界を同じ P 区間に対して得、q^{3/4+ε} で非平凡な境界を示す。