Abstract:We consider small solutions of quadratic congruences of the form $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv 0 \bmod{q}$, where $q=p^m$ is an odd prime power. Here, $\alpha_2$ is arbitrary but fixed and $\alpha_3$ is variable, and we assume that $(\alpha_2\alpha_3,q)=1$. We show that for all $\alpha_3$ modulo $q$ which are coprime to $q$ except for a small number of $\alpha_3$'s, an asymptotic formula for the number of solutions $(x_1,x_2,x_3)$ to the congruence $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv 0 \bmod{q}$ with $\max\{|x_1|,|x_2|,|x_3|\}\le N$ holds if $N\ge q^{11/24+\varepsilon}$ as $q$ tends to infinity over the set of all odd prime powers. It is of significance that we break the barrier 1/2 in the above exponent. If $q$ is restricted to powers $p^m$ of a {\it fixed} prime $p$ and $m$ tends to infinity, we obtain a slight improvement of this result using the theory of $p$-adic exponent pairs, as developed by Milićević, replacing the exponent $11/24$ above by $11/25$. Under the Lindelöf hypothesis for Dirichlet $L$-functions, we are able to replace the exponent $11/24$ above by $1/3$.

What problem does this paper attempt to address?

This paper aims to solve the problem of small solutions for a certain form of ternary quadratic congruence equations. Specifically, the researchers considered congruence equations of the form $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv0\ \text{mod}\ q$, where $q = p^m$ is an odd prime power, $\alpha_2$ is any fixed integer, and $\alpha_3$ is a variable, and it is assumed that $(\alpha_2\alpha_3, q)=1$. ### Main Problem The main problem of the paper is to determine the asymptotic formula for the number of solutions $(x_1, x_2, x_3)$ satisfying the following conditions when $N\geq q^{11/24+\epsilon}$: \[ \max\{|x_1|, |x_2|, |x_3|\}\leq N \] ### Key Results 1. **General Case**: - For almost all $\alpha_3$ (i.e., except for a very small set), when $N\geq q^{11/24+\epsilon}$, there is an asymptotic formula: \[ \sum_{\substack{|x_1|, |x_2|, |x_3|\leq N \\ (x_3, q) = 1}} \mathbf{1}_{x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv0\ \text{mod}\ q}=C_q\cdot\frac{N^3}{q}\cdot(1 + o(1)) \] where $C_q$ is a $q$-related constant, defined as: \[ C_q := 8\left(1-\frac{1}{p}\right)\left(1-\frac{\left(\frac{-\alpha_2}{p}\right)}{p}\right) \] Here $\left(\frac{\cdot}{p}\right)$ represents the Legendre symbol. 2. **Case of Fixed Prime $p$**: - If $q$ is restricted to be a power $p^m$ of a fixed prime $p$ and $m$ tends to infinity, using the $p$-adic exponential pair theory, the exponent $11/24$ can be improved to $11/25$. 3. **Improvement under the Lindelöf Conjecture**: - In the case where the Lindelöf conjecture holds, the exponent $11/24$ can be further improved to $1/3$. ### Importance - **Breaking the $1/2$ Barrier**: A significant contribution of the paper is breaking the $1/2$ barrier, that is, obtaining an asymptotic formula when $N\geq q^{11/24+\epsilon}$, instead of the traditional $N\geq q^{1/2+\epsilon}$. - **Application Background**: This result is of great significance in number theory, especially in the study of quadratic forms, and helps to understand the distribution and quantity of small solutions. ### Conclusion Through these results, the paper provides new insights into the problem of small solutions of ternary quadratic congruence equations and improves the existing results in some cases. This not only makes a theoretical breakthrough but also provides a basis for further research.

Small Solutions of generic ternary quadratic congruences

Small solutions of generic ternary quadratic congruences to general moduli

Small solutions to inhomogeneous and homogeneous quadratic congruences modulo prime powers

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Binary and ternary congruences involving intervals and sets modulo a prime

Multiple exponential sums and their applications to quadratic congruences

A Congruence Involving the Quotients of Euler and Its Applications (II)

A Congruence Involving Harmonic Sums Modulo P^αq^β

On the divisor problem with congruence conditions

A curious congruence modulo prime powers

Solution of certain Diophantine equations in Gaussian integers

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Short Solutions To Homogenous Linear congruences

On roots of quadratic congruences

Congruences for sums of MacMahon's $q$-Catalan polynomials

On some congruences and exponential sums

A note on congruences for generalized cubic partitions modulo primes

Congruences for Sums of Binomial Coefficients

Ramanujan's theta functions and internal congruences modulo arbitrary powers of $3$

arXiv:math.NT/0502187 CONGRUENCES FOR SUMS OF BINOMIAL COEFFICIENTS

Linear Congruences in several variables with congruence restrictions