Abstract:We use recent bounds on bilinear sums with modular square roots to study the distribution of solutions to congruences with primes and . This can be considered as a combined scenario of Duke, Friedlander and Iwaniec with averaging only over the modulus q and of Dunn, Kerr, Shparlinski and Zaharescu with averaging only over p .
What problem does this paper attempt to address?
This paper aims to study the distribution problem of modular square roots under specific conditions. Specifically, the authors use the recent bounds on bilinear sums of modular square roots to explore the distribution of solutions to the congruence equation of the form \(x^2 \equiv p \ (\text{mod} \ q)\), where \(p\) is a prime number less than or equal to \(P\), and \(q\) is an integer less than or equal to \(Q\). This problem can be regarded as a comprehensive scenario of the work of Duke, Friedlander and Iwaniec, that is, averaging only over the modulus \(q\), and the work of Dunn, Kerr, Shparlinski and Zaharescu, that is, averaging only over \(p\).
### Research Background
1. **The work of Duke, Friedlander and Iwaniec**: They established the uniform distribution property of solutions to the quadratic congruence equation \(x^2 \equiv n \ (\text{mod} \ q)\), where \(n\) is a given integer, \(q\) is a prime modulus, and \(q\) can take an upper bound \(Q\). These results are of great significance in many applications, such as in analytic number theory, cryptography and other fields.
2. **The work of Dunn, Kerr, Shparlinski and Zaharescu**: They studied the distribution of \(x(p, q)/q\) when \(p\) runs through all prime numbers less than or equal to \(P\) for a fixed prime number \(q\), and provided non - trivial estimates, provided that \(P\geq q^{2/3+\epsilon}\), where \(\epsilon > 0\) is a fixed constant.
### Main Contributions of This Paper
1. **Research on Comprehensive Scenarios**: This paper considers the congruence equation \(x^2 \equiv p \ (\text{mod} \ q)\), where \(p\) runs through all prime numbers less than or equal to \(P\) and \(q\) runs through all integers less than or equal to \(Q\). This is a more complex problem that requires considering the changes of both \(p\) and \(q\) simultaneously.
2. **Unconditional Results**: The authors show how to improve the results on prime square roots modulo \(q\) in [11] in the average sense and give a completely unconditional form. This is mainly based on two key components:
- An asymptotic formula for \(N_q(P)\), which is derived from the large sieve - type results of Heath - Brown [17] and is used to estimate the average value of real character sums.
- A new bound on bilinear sums of modular square roots, which comes from [32] and is combined with the Heath - Brown identity (see [21, Proposition 13.3]) to estimate exponential sums with square roots.
3. **New Results**: The authors prove a theorem about \(\Delta_{\lambda, q}(P)\) or \(\tilde{\Delta}_{\lambda, q}(P)\), where \(\Delta_{\lambda, q}(P)\) and \(\tilde{\Delta}_{\lambda, q}(P)\) respectively represent certain specific deviation amounts. The specific results are as follows:
\[
\frac{1}{Q} \sum_{\substack{q \leq Q \\ q \text{ prime}}} \max_{\lambda \in \mathbb{Z}_q^*} \Gamma_{\lambda, q}(P) \leq P \left( P^{-1/12}+P^{-1/5}Q^{1/10} \right)Q^{o(1)}
\]
where \(\Gamma_{\lambda, q}(P)\) can be