A New Theorem on Quadratic Residues Modulo Primes

Qing-Hu Houa,Hao Panb,Zhi-Wei Sun

DOI: https://doi.org/10.5802/crmath.371

2022-01-01

Comptes Rendus Mathématique

Abstract:Let $p>3$ be a prime, and let $(\frac{\cdot}p)$ be the Legendre symbol. Let $b\in\mathbb Z$ and $\varepsilon\in\{\pm 1\}$. We mainly prove that $$\left|\left\{N_p(a,b):\ 1\{ax^2+b\}_p$, and $\{m\}_p$ with $m\in\mathbb{Z}$ is the least nonnegative residue of $m$ modulo $p$.

What problem does this paper attempt to address?

Proof of Some Conjectures Involving Quadratic Residues

Fedor Petrov,Zhi-Wei Sun

DOI: https://doi.org/10.3934/era.2020031

2020-01-01

Electronic Research Archive

Abstract:We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime p equivalent to 1 (mod 4) and integer a not equivalent to 0 (mod p), we prove that (-1)(vertical bar 1 <= k {ak(2)}(p)}vertical bar +vertical bar{(j, k) : 1 <= j < k <= p - 1/2 & {ak(2) - aj(2)}(p) > p/2}vertical bar equivalent to vertical bar{1 <= k < p/4 : (k/p) - (a/p)}vertical bar (mod 2), where (a/p) is the Legendre symbol, epsilon(p) and h(p) are the fundamental unit and the class number of the real quadratic field Q(root p) respectively, and {x}(p) is the least nonnegative residue of an integer x modulo p. Also, for any prime p equivalent to 3 (mod 4) and delta = 1, 2, we determine (-1)(vertical bar{(j, k): 1 <= j(delta T-k}(p)}vertical bar, where T-m denotes the triangular number m(m + 1)/2.
Quadratic residues and quartic residues modulo primes

Zhi-Wei Sun

DOI: https://doi.org/10.48550/arXiv.1810.12102

2020-09-11

Abstract:In this paper we study some products related to quadratic residues and quartic residues modulo primes. Let $p$ be an odd prime and let $A$ be any integer. We mainly determine completely the product $$f_p(A):=\prod_{1\le i,j\le(p-1)/2\atop p\nmid i^2-Aij-j^2}(i^2-Aij-j^2)$$ modulo $p$; for example, if $p\equiv1\pmod4$ then $$f_p(A)\equiv\begin{cases}-(A^2+4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=1, \\(-A^2-4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also determine $$\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2+5ij+2j^2}\left(2i^2+5ij+2j^2\right) \ \text{and}\ \prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2-5ij+2j^2}\left(2i^2-5ij+2j^2\right)$$ modulo $p$.

Number Theory
On Two Conjectures Involving Quadratic Residues

Fedor Petrov,Zhi‐Wei Sun

2019-01-01

Abstract:We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\equiv 1\pmod 4$ and integer $a\not\equiv0\pmod p$, we prove that \begin{align*}&(-1)^{|\{1\le k \{ak^2\}_p\right\}\right| \\&+\left|\left\{(j,k): 1\le j \frac p2\right\}\right| \\\equiv&\left|\left\{1\le k \{\delta T_k\}_p\right\}\right|},$$ where $T_m$ denotes the triangular number $m(m+1)/2$.
Some determinants involving quadratic residues modulo primes

Zhi-Wei Sun

2024-07-12

Abstract:In this paper we evaluate several determinants involving quadratic residues modulo primes. For example, for any prime $p>3$ with $p\equiv3\pmod4$ and $a,b\in\mathbb Z$ with $p\nmid ab$, we prove that $$\det\left[ 1+\tan\pi\frac{aj^2+bk^2}p \right]_{1\le j,k \le \frac{p-1}2} = \begin{cases}-2^{(p-1)/2}p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=1, \\p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=-1, \end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also pose some conjectures for further research.

Number Theory
Quadratic Residues and Related Permutations and Identities

Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.ffa.2019.06.004

IF: 1.655

2019-01-01

Finite Fields and Their Applications

Abstract:Let p be an odd prime. In this paper we investigate quadratic residues modulo p and related permutations, congruences and identities. If a1<…<a(p−1)/2 are all the quadratic residues modulo p among 1,…,p−1, then the list {12}p,…,{((p−1)/2)2}p (with {k}p the least nonnegative residue of k modulo p) is a permutation of a1,…,a(p−1)/2, and we show that the sign of this permutation is 1 or (−1)(h(−p)+1)/2 according as p≡3(mod8) or p≡7(mod8), where h(−p) is the class number of the imaginary quadratic field Q(−p). To achieve this, we evaluate the product ∏1⩽j<k⩽(p−1)/2(cot⁡πj2/p−cot⁡πk2/p) via Dirichlet's class number formula and Galois theory. We also obtain some new congruences and identities in product forms; for example, we determine the exact value of∏1⩽j<k⩽p−1cos⁡πaj2+bjk+ck2p for any a,b,c∈Z with ac(a+b+c)≢0(modp).
The residue-counts of $x^2+a/x$ modulo a prime

Zhi-Hong Sun

2023-09-14

Abstract:For a prime $p>3$ and $a\in \Bbb Z$ with $p\nmid a$ let $V_p(x^2+\frac ax)$ be the residue-counts of $x^2+\frac ax$ modulo $p$ as $x$ runs over $1,2,\ldots,p-1$. In this paper, we obtain an explicit formula for $V_p(x^2+\frac ax)$, which is concerned with cubic residues and binary quadratic forms.

Number Theory
On some determinants arising from quadratic residues

Chen-Kai Ren,Zhi-Wei Sun

2024-04-18

Abstract:Let $p>3$ be a prime, and let $d\in\mathbb Z$ with $p\nmid d$. For the determinants $$S_m(d,p)=\det\left[(i^2+dj^2)^{m}\right]_{1\leqslant i,j \leqslant (p-1)/2}\ \ \left(\frac{p-1}2\leqslant m\leqslant p-1\right),$$ Sun recently determined $S_m(d,p)$ modulo $p$ when $m\in\{p-2,p-3\}$ and $(\frac {-d}p)=-1$. In this paper, we obtain $S_{p-2}(d,p)$ modulo $p$ in the remaining case $(\frac{-d}p)=1$, and determine the Legendre symbols $(\frac{S_{p-3}\,(d,p)}p)$ and $(\frac{S_{p-4}\,(d,p)}p)$ in some special cases.

Number Theory
Upper Bound of the Least Quadratic Nonresidues

N. A. Carella

2024-07-07

Abstract:Let $p\geq3$ be a large prime and let $n(p)\geq2$ denotes the least quadratic nonresidue modulo $p$. This note sharpens the standard upper bound of the least quadratic nonresidue from the unconditional upper bound $n(p)\ll p^{1/4\sqrt{e}+\varepsilon}$ to the conjectured upper bound $n(p)\ll (\log p)^{1+\varepsilon}$, where $\varepsilon>0$ is a small number, unconditionally. This improvement breaks the exponential upper bound barrier.

General Mathematics
On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Tianxin Cai,Zhongyan Shen,Peng Yang

DOI: https://doi.org/10.2298/fil2402621c

2024-01-01

Filomat

Abstract:Let p be an odd prime. In this paper, analogs of Wilson?s and Wolstenholme?s theorems on the solution sets S+ = {n ? Z* p | n ? a + b ? ab (mod p)} and S? = {n ? Z* p | n ? a ? b ? ab (mod p)} are given, where Z* p denote a reduced residue system modulo p. We also establish congruences about sum and product of the quadratic residues in S+ or in S? modulo p. Finally, we raise a problem on how to solve Hadamard?s conjecture in the last section.
NEW OBSERVATIONS ON PRIMITIVE ROOTS MODULO PRIMES

Zhi-Wei Sun

DOI: https://doi.org/10.3969/j.issn.0469-5097.2019.02.01

2019-01-01

Abstract:We make many new observations on primitive roots modulo primes.For an odd prime p and an integer c,we establish a theorem concerning ∑g(g+c/p),where g runs over all the primitive roots modulo p among 1,…,p-1,and (·/p) denotes the Legendre symbol.On the basis of our numerical computations,we formulate 35 conjectures involving primitive roots modulo primes.For example,we conjecture that for any prime p there is a primitive root g ＜ p modulo p with g-1 a square,and that for any prime p ＞ 3 there is a prime q ＜ p with the Bernoulli number Bq-1 a primitive root modulo p.We also make related observations on quadratic nonresidues modulo primes and primitive prime divisors of some combinatorial sequences.For example,based on heuristic arguments we conjecture that for any prime p ＞ 3 there exists a Fibonacci number Fk ＜ p/2 which is a quadratic nonresidue modulo p;this implies that there is a deterministic polynomial time algorithm to find square roots of quadratic residues modulo a prime p ＞ 3.
A curious congruence modulo prime powers

liuquan wang,tianxin cai

DOI: https://doi.org/10.1016/j.jnt.2014.04.004

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:Zhao established a curious congruence, i.e., for any prime p≥3,∑i+j+k=pi,j,k>01ijk≡−2Bp−3(modp). In this note we prove that for any prime p≥3 and positive integer r,∑i+j+k=pri,j,k∈Pp1ijk≡−2pr−1Bp−3(modpr), where Pn denotes the set of positive integers which are prime to n.
Class Number of the Imaginary Quadratic Field and Quadratic Residues Identities

Jorge Garcia

DOI: https://doi.org/10.48550/arXiv.2301.02951

2023-01-08

Number Theory

Abstract:A formula for the sum of quadratic residues modulus a prime $p=4n-1$ is studied. We relate some terms on this formula with roots of quadratics and provide an exhaustive analysis of new concepts based on these roots. A number of formulas for the sum of the quadratic residues are obtained. We finalize the paper by obtaining several identities involving $h(-p)$ the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-p}).$
On the Residues of Binomial Coefficients and Their Products Modulo Prime Powers

Tian Xin Cai,Andrew Granville

DOI: https://doi.org/10.1007/s101140100144

2002-01-01

Abstract:In this paper, we show some identities which connect binomial coefficients with the number of solutions of congruences of some type.
A Density Theorem and Its Application

HouRong Qin,QiQing Shen

DOI: https://doi.org/10.1007/s11425-015-4999-z

2015-01-01

Science China Mathematics

Abstract:We compute the density of primes represented by a special quadratic form in a fixed square residue class. Using this result and a new method introduced by Thaine we prove the fact that for a prime p > 3 congruent to 3 modulo 4, the component e ( p +1)/2 of the p -Sylow subgroup of the ideal class group of ℚ( ζ p ) is trivial.
Primes Representable by Polynomials and the Lower Bound of the Least Primes in Arithmetic Progressions

Cai Tianxin

DOI: https://doi.org/10.1007/bf02107961

1990-01-01

Acta Mathematica Sinica English Series

Abstract:Let f （m） be an irreducible quadratic polynomial with integral coefficients andpositive leading coefficient. Under the assumption of Extended Riemann Hypothesis, we obtainnew remainder terms in the upper bounds on primes represented by f（m） or f（p） which greatlyimprove Bantle’s recent results. As an application, we obtain, in the second part of the paper,a new result on the lower bound of the least primes in arithmetic progressions with some differ-ence.
Coprime-Universal Quadratic Forms

Matteo Bordignon,Giacomo Cherubini

2024-06-04

Abstract:Given a prime $p>3$, we characterize positive-definite integral quadratic forms that are coprime-universal for $p$, i.e. representing all positive integers coprime to $p$. This generalizes the $290$-Theorem by Bhargava and Hanke and extends later works by Rouse ($p=2$) and De Benedetto and Rouse ($p=3$). When $p=5,23,29,31$, our results are conditional on the coprime-universality of specific ternary forms. We prove this assumption under GRH (for Dirichlet and modular $L$-functions), following a strategy introduced by Ono and Soundararajan, together with some more elementary techniques borrowed from Kaplansky and Bhargava. Finally, we discuss briefly the problem of representing all integers in an arithmetic progression.

Number Theory
Some Congruences Connecting Quadratic Class Numbers with Continued Fractions

Weidong Cheng,Xuejun Guo

DOI: https://doi.org/10.4064/aa8640-4-2019

2019-01-01

Acta Arithmetica

Abstract:Let $p$ be a prime number, and $h(-p)$ and $h(p)$ be the ideal class numbers of the quadratic fields $\mathbb {Q}(\sqrt {-p})$ and $\mathbb {Q}(\sqrt {p})$ respectively. We prove that if $p\equiv 1 \pmod 8$ then $h(-p)\equiv h(p)m(4p) \pmod 8$, and if $p\
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

DOI: https://doi.org/10.1016/j.jnt.2014.09.014

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
Small prime $k$th power residues for $k=2,3,4$: A reciprocity laws approach

Kübra Benli,Paul Pollack

DOI: https://doi.org/10.48550/arXiv.1711.01706

2017-11-06

Abstract:Nagell proved that for each prime $p\equiv 1\pmod{3}$, $p > 7$, there is a prime $q<2p^{1/2}$ that is a cubic residue modulo $p$. Here we show that for each fixed $\epsilon > 0$, and each prime $p\equiv 1\pmod{3}$ with $p > p_0(\epsilon)$, the number of prime cubic residues $q < p^{1/2+\epsilon}$ exceeds $p^{\epsilon/30}$. Our argument, like Nagell's, is rooted in the law of cubic reciprocity; somewhat surprisingly, character sum estimates play no role. We use the same method to establish related results about prime quadratic and biquadratic residues. For example, for all large primes $p$, there are more than $p^{1/9}$ prime quadratic residues $q<p$.

Number Theory
A polynomial with a root mod $p$ for every $p$ has a real root

Rodrigo Angelo,Max Wenqiang Xu

2024-06-21

Abstract:We prove that if a polynomial has a root mod $p$ for every large prime $p$, then it has a real root. As an application, we show that the primes can't be covered by finitely many positive definite binary quadratic forms.

Number Theory

A New Theorem on Quadratic Residues Modulo Primes

Proof of Some Conjectures Involving Quadratic Residues

Quadratic residues and quartic residues modulo primes

On Two Conjectures Involving Quadratic Residues

Some determinants involving quadratic residues modulo primes

Quadratic Residues and Related Permutations and Identities

The residue-counts of $x^2+a/x$ modulo a prime

On some determinants arising from quadratic residues

Upper Bound of the Least Quadratic Nonresidues

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

NEW OBSERVATIONS ON PRIMITIVE ROOTS MODULO PRIMES

A curious congruence modulo prime powers

Class Number of the Imaginary Quadratic Field and Quadratic Residues Identities

On the Residues of Binomial Coefficients and Their Products Modulo Prime Powers

A Density Theorem and Its Application

Primes Representable by Polynomials and the Lower Bound of the Least Primes in Arithmetic Progressions

Coprime-Universal Quadratic Forms

Some Congruences Connecting Quadratic Class Numbers with Continued Fractions

A new generalization of Fermat's Last Theorem

Small prime $k$th power residues for $k=2,3,4$: A reciprocity laws approach

A polynomial with a root mod $p$ for every $p$ has a real root