[논문 리뷰] Shifted bilinear sums of Salié sums and the distribution of modular square roots of shifted primes

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

Analytic Number Theory Research인용 수 0

한 줄 요약

논문은 큰 소수 q에 대한 이동된 Salié 합에 대한 비자명한 상한을 도출하고 이를 이용해 이동된 소수의 모듈러 제곱근 분포를 연구하여, 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.

연구 동기 및 목표

• 큰 소수 q에 대해 Salié 합을 포함하는 Type-I 및 Type-II 이동 이중선 합의 상한 추정을 동기 부여하고 연구한다.
• p ≤ P인 소수에 대해 x^2 ≡ a p + b (mod q)의 해의 분포 분석을 가능하게 하는 경계들을 개발한다.
• 이중합의 경계를 shifted primes의 모듈러 제곱근 분포에 대한 결과로 변환한다.
• 정수 및 소수에 대한 두 합을 모두 탐구하고, 스무딩/가중치 변형 및 쌍곡 영역 제한을 포함한다.

제안 방법

• Salié 합 S(t; q)를 정의하고 S(t;q) = ε_q q^{1/2} sum_{x^2 ≡ t (mod q)} e_q(2x)로 이들을 2차 합동식과 연관시킨다.
• 지수합 기법, 포아송 합성 및 와일 경계를 이용해 Type-I 및 Type-II 이동 이중선 합 W_{a,b,λ} 및 V_{a,b,λ}의 상한을 구한다.
• 베온의 아이덴티티를 소수에 대한 합에 적용해 P의 이합구간에서 S_{a,b,λ}(P) 상한을 얻는다.
• 증폭, 푸리에/포아송 분석, 지수합 경계를 활용해 이중선 형태와 스무딩 변형(V, U, T 합)을 제어한다.
• 에르데스–투란(Erdős–Turán) 유형 부등식을 이용해 분포 차이 N_{a,b}(H,P)의 도함된 결론을 얻는다.
• 스무딩/가중 합 및 쌍곡 영역 제약을 다루기 위한 특수 경계와 shifted-프라임 제곱근에 대한 특수 경계를 얻는다.

실험 결과

연구 질문

• RQ1 큰 소수 q에 대한 이동된 Salié 합의 비자명한 상한은 무엇인가?
• RQ2 이 상한이 moved primes의 모듈러 제곱근 분포로 어떻게 변환되며, x^2 ≡ a p + b (mod q)와 같은 경우에 소수 p에 대해 어떤 분포를 보이는가?
• RQ3 이 이중선 합의 상한이 비자명하게 유지되려면 M, N, P 및 관련 매개변수의 최적 범위는 무엇인가?
• RQ4 스무딩, 쌍곡 영역 제한, 소수 합 기법을 통해 R_{a,b}(P) (이동된 소수의 제곱근 집합)의 구간에 대해 점근식 또는 불일치를 얻을 수 있는가?
• RQ5 대각선 케이스를 넘는 비대각선(다른) 형태의 Type-I 합 및 스무딩/스펙트럴 변형으로도 결과가 확장되는가?

주요 결과

• 정리 2.1: gcd(amλ,q)=1일 때 U_{a,b,λ}(m,N) ≪ q^{1/2} log q.
• 정리 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: MN ≪ q인 경우에 적용 가능한 매개변수에 따른 경계가 있는 스무딩 변형 V_{a,b,λ}(α, φ; M, N).
• 정리 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: 다양한 P 구간에서 소수에 대한 합 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}의 개선된 경계가 있다.
• 코린더 2.13: 같은 P 구간들에 대한 N_{a,b}(H,P)의 에르더스–투란 류의 불일치 경계로, q^{3/4+ε} 구간에서 비자명한 경계를 보인다.