Article Open Access

On the quadratic residues and their distribution properties

  • and EMAIL logo
Published/Copyright: September 26, 2023

Abstract

The main purpose of this article is to use elementary methods and properties of classical Gauss sums to determine identities for the number of residue systems of a mod p such that a , a + a ¯ , and a a ¯ are all quadratic residues, improving on results of Wang and Lv.

MSC 2010: 11A15; 11L40

1 Introduction

As usual, let p be an odd prime. For any integer a with ( a , p ) = 1 , if there exists an integer x such that the congruence x 2 a mod p holds, then we call a a quadratic residue modulo p . Otherwise, we call a a quadratic non-residue modulo p . The study of the properties of quadratic residues modulo p is an important content in elementary number theory. Because of this, many great mathematicians have engaged in research in this field, such as Gauss, Legendre and so on. In fact, Legendre first introduced the characteristic function of the quadratic residues modulo p . That is, for any integer a , the Legendre’s symbol * p is defined as

a p = 1 , if  a  is a quadratic residue  mod p ; 1 , if  a  is a quadratic non-residue  mod p ; 0 , if  p a .

It is the introduction of this function that greatly promotes the study of quadratic residues theory, and achieved many important research results. Perhaps the most representative results are the following two conclusions:

Let p and q be two distinct odd primes. Then one has the quadratic reciprocity formula (see [1, Theorem 9.8] or [2, Theorems 4–6])

p q q p = ( 1 ) ( p 1 ) ( q 1 ) 4 .

For any odd prime p with p 1 mod 4 , there must exist two non-zero integers α ( p ) and β ( p ) such that

(1) p = α 2 ( p ) + β 2 ( p ) ,

where α ( p ) and β ( p ) in (1) can be represented by the Legendre’s symbol modulo p (see [2, Theorems 4–11]), i.e.,

(2) α ( p ) = 1 2 a = 1 p 1 a + a ¯ p and β ( p ) = 1 2 a = 1 p 1 a + r a ¯ p ,

where r is any quadratic non-residue modulo p , a ¯ is the inverse of a modulo p . That is, a ¯ satisfies the equation x a 1 mod p .

In addition, there are many papers related to quadratic residues and non-residues modulo p . Two famous results about quadratic residues are

a a p = a + 1 p = 1 , a R ( p ) = p 3 4 ,

and

a a p = a + 1 p = 1 , a R ( p ) = p 1 4 ,

where p is an odd prime, R ( p ) is a complete residue system of modulo p , and [ * ] is the greatest integer function. Other scholars have also studied the distribution of quadratic residues, see [314]. For example, Sun [3] figured up all the values of a ( a R ( p ) ) such that a p = a + 1 p or a 1 p = a p = a + 1 p . In recent years, Wang and Lv [4] studied the distribution properties of certain quadratic residues and non-residues modulo p , and obtained the following two conclusions:

Theorem A

For any prime p with p 3 mod 4 , one has the identities

N ( p , 1 ) = 1 8 ( p 3 ) , if p 3 mod 8 ; 1 8 ( p 7 ) , if p 7 mod 8

and

N ( p , 1 ) = 1 8 ( p 3 ) , if p 3 mod 8 ; 1 8 ( p + 1 ) , if p 7 mod 8 ,

where N ( p , 1 ) denotes the number of all integers 1 a p 1 such that a , a + a ¯ , and a a ¯ are all quadratic residues modulo p, N ( p , 1 ) denotes the number of all integers 1 a p 1 such that a is a quadratic non-residue modulo p, and both a + a ¯ and a a ¯ are quadratic residues modulo p.

Theorem B

For any prime p with p 1 mod 4 , one has the asymptotic formulae

N ( p , 1 ) = 1 8 ( p 3 ) + E ( p , 1 ) , if p 5 mod 8 ; 1 8 ( p 17 ) + E 1 ( p , 1 ) , if p 1 mod 8

and

N ( p , 1 ) = 1 8 ( p + 3 ) + E ( p , 1 ) , if p 5 mod 8 ; 1 8 ( p + 3 ) + E 1 ( p , 1 ) , if p 1 mod 8 ,

where we have the estimates E ( p , 1 ) 3 4 p , E 1 ( p , 1 ) 5 4 p , E ( p , 1 ) 3 4 p , and E 1 ( p , 1 ) 5 4 p .

Obviously, Theorem A looks very beautiful, but Theorem B does not. This leads to our curiosity, which naturally asks: If p 1 mod 4 , are there exact computational formulae for N ( p , 1 ) and N ( p , 1 ) ?

In this article, we utilize some results of classical Gauss sums to obtain better estimates of character sums, and give more accurate expressions for N ( p , 1 ) and N ( p , 1 ) in the cases p 1 mod 4 . That is, we prove the following:

Theorem 1

For any prime p with p 5 mod 8 , we have the identities

N ( p , 1 ) = N ( p , 1 ) = 1 8 ( p 7 2 α ( p ) ) ,

where the constant α ( p ) is the same as defined in (2).

Theorem 2

For any prime p with p 1 mod 8 , we have the identities

N ( p , 1 ) = 1 8 ( p 23 + 6 α ( p ) ) + p 4 τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 )

and

N ( p , 1 ) = 1 8 ( p + 1 + 6 α ( p ) ) p 4 τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) ,

where χ 8 denotes any eighth-order primitive character modulo p , and τ ( χ ) is the classical Gauss sums defined by

(3) τ ( χ ) = a = 1 p 1 χ ( a ) e a p , e ( y ) = e 2 π i y .

Some notes: It is clear that our theorems improve the corresponding results in [4]. For any prime p with p 1 mod 8 and integer k, let

S k ( p ) = τ k ( χ 8 ) τ k ( χ 8 5 ) + τ k ( χ 8 5 ) τ k ( χ 8 ) .

It is clear that for any integer k , we have the estimate

S k ( p ) = τ k ( χ 8 ) τ k ( χ 8 5 ) + τ k ( χ 8 5 ) τ k ( χ 8 ) 2 .

But whether there exists an exact value is still an open problem. We only know that S 1 ( p ) is an irrational number. Besides, for any integer k 1 ,

S 1 ( p ) S k ( p ) = τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) τ k ( χ 8 ) τ k ( χ 8 5 ) + τ k ( χ 8 5 ) τ k ( χ 8 ) = τ k + 1 ( χ 8 ) τ k + 1 ( χ 8 5 ) + τ k + 1 ( χ 8 5 ) τ k + 1 ( χ 8 ) + τ k 1 ( χ 8 ) τ k 1 ( χ 8 5 ) + τ k 1 ( χ 8 5 ) τ k 1 ( χ 8 ) = S k + 1 ( p ) + S k 1 ( p ) .

Thus, S k ( p ) satisfies the second-order linear recurrence formula

S k + 1 ( p ) = S 1 ( p ) S k ( p ) S k 1 ( p ) , k = 1 , 2 , 3 , .

Noting that S 0 ( p ) = 2 , so if we knew the exact value of S 1 ( p ) , then we can obtain all values of S k ( p ) for any integer k .

From our theorems we can also deduce the following two corollaries:

Corollary 1

For any prime p 5 mod 8 , we have the asymptotic formulae

N ( p , 1 ) = N ( p , 1 ) = 1 8 ( p 7 ) + E ( p ) , E ( p ) 1 4 p .

Corollary 2

For any prime p 1 mod 8 , we have the asymptotic formulae

N ( p , 1 ) = 1 8 ( p 23 + 6 α ( p ) ) + E 1 ( p ) , E 1 ( p ) 1 2 p ; N ( p , 1 ) = 1 8 ( p + 1 + 6 α ( p ) ) + E 2 ( p ) , E 2 ( p ) 1 2 p .

2 Several lemmas

To complete the proofs of our main results, we need the following five simple lemmas. For convenience, we always write a p = χ 2 ( a ) . The first lemma is a result of Chen and Zhang [15].

Lemma 1

Let p be a prime with p 1 mod 4 . Then for any fourth-order character χ 4 modulo p, we have the identity

τ 2 ( χ 4 ) + τ 2 ( χ ¯ 4 ) = 2 p α ( p ) ,

where τ ( χ ) is the same as defined in (3), and α ( p ) is the same as defined in (2).

Lemma 2

Let p be a prime with p 1 mod 4 . Then we have the identity

a = 1 p 1 a p a 2 1 p = 2 χ 4 ( 1 ) α ( p ) ,

where χ 4 is any fourth-order primitive character modulo p.

Proof

Noting that χ 4 2 = χ ¯ 4 2 = χ 2 , and for any integer a with ( a , p ) = 1 ,

1 + χ 2 ( a ) = 2 , if  a  is a quadratic residue modulo  p ; 0 , if  a  is a quadratic non-residue modulo  p .

Thus,

(4) a = 1 p 1 a p a 2 1 p = a = 1 p 1 χ 4 2 ( a ) χ 2 ( a 2 1 ) = a = 1 p 1 χ 4 ( a 2 ) χ 2 ( a 2 1 ) = 2 a = 1 p 1 a is a quadratic residue modulo p χ 4 ( a ) χ 2 ( a 1 ) = a = 1 p 1 ( 1 + χ 2 ( a ) ) χ 4 ( a ) χ 2 ( a 1 ) = a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) + a = 1 p 1 χ ¯ 4 ( a ) χ 2 ( a 1 ) .

Noting that χ 4 ( 1 ) = χ ¯ 4 ( 1 ) and when p 1 mod 4 , τ ( χ 2 ) = p . We have

a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) = τ ( χ 2 ) p a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) = 1 p b = 1 p 1 χ 2 ( b ) e b p a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) .

When p a 1 , a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) = 0 . When ( a 1 , p ) = 1 , b passes through a reduced residue system modulo p is equivalent to ( a 1 ) b passes through a reduced residue system modulo p . Thus,

(5) a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) = 1 p a = 1 p 1 b = 1 p 1 χ 2 ( b ( a 1 ) ) e b ( a 1 ) p χ 4 ( a ) χ 2 ( a 1 ) = 1 p a = 1 p 1 b = 1 p 1 χ 2 ( b ) χ 4 ( a ) e b ( a 1 ) p = 1 p b = 1 p 1 χ 2 ( b ) e b p a = 1 p 1 χ 4 ( a ) e a b p = τ ( χ 4 ) p b = 1 p 1 χ 2 ( b ) χ 4 ¯ ( b ) e b p = τ ( χ 4 ) p b = 1 p 1 χ 4 ( b ) e b p = χ 4 ( 1 ) τ 2 ( χ 4 ) p .

Similarly, we have

(6) a = 1 p 1 χ ¯ 4 ( a ) χ 2 ( a 1 ) = χ 4 ( 1 ) τ 2 ( χ ¯ 4 ) p .

Applying (4), (5), (6), and Lemma 1 we can deduce that

a = 1 p 1 a p a 2 1 p = χ 4 ( 1 ) p ( τ 2 ( χ 4 ) + τ 2 ( χ ¯ 4 ) ) = 2 χ 4 ( 1 ) α ( p ) .

This proves Lemma 2.□

Lemma 3

Let p be a prime with p 1 mod 4 . Then we have

a = 1 p 1 a 4 1 p = 2 + 2 χ 4 ( 1 ) α ( p ) .

Proof

Let χ 4 be any fourth-order primitive character modulo p . Then from Lemma 1 and the properties of the reduced residue system modulo p we have

a = 1 p 1 a 4 1 p = a = 1 p 1 ( 1 + χ 4 ( a ) + χ 2 ( a ) + χ ¯ 4 ( a ) ) χ 2 ( a 1 ) = a = 1 p 1 χ 2 ( a 1 ) + a = 1 p 1 χ 2 ( 1 a ¯ ) + a = 1 p 1 χ 4 ( a ) χ 2 ( a 1 ) + a = 1 p 1 χ ¯ 4 ( a ) χ 2 ( a 1 ) = 2 + χ 4 ( 1 ) τ 2 ( χ 4 ) p + χ ¯ 4 ( 1 ) τ 2 ( χ ¯ 4 ) p = 2 + χ 4 ( 1 ) p ( τ 2 ( χ 4 ) + τ 2 ( χ ¯ 4 ) ) = 2 + 2 χ 4 ( 1 ) α ( p ) .

This proves Lemma 3.□

Lemma 4

Let p be a prime with p 5 mod 8 . Then we have the identity

a = 1 p 1 a p a 4 1 p = 0 .

Proof

Since p 5 mod 8 , we have χ 4 ( 1 ) = χ ¯ 4 ( 1 ) = 1 , from the method of proving Lemma 3 we have

(7) a = 1 p 1 a p a 4 1 p = a = 1 p 1 χ 4 2 ( a ) χ 2 ( a 4 1 ) = a = 1 p 1 ( 1 + χ 2 ( a ) ) χ 4 ( a ) χ 2 ( a 2 1 ) = a = 1 p 1 χ 4 ( a ) χ 2 ( a 2 1 ) + a = 1 p 1 χ ¯ 4 ( a ) χ 2 ( a 2 1 ) = a = 1 p 1 χ 4 ( a ) χ 2 ( ( a ) 2 1 ) + a = 1 p 1 χ ¯ 4 ( a ) χ 2 ( ( a ) 2 1 ) = a = 1 p 1 χ 4 ( a ) χ 2 ( a 2 1 ) a = 1 p 1 χ ¯ 4 ( a ) χ 2 ( a 2 1 ) .

From (7) we may immediately deduce the identity

a = 1 p 1 a p a 4 1 p = 0 .

This proves Lemma 4.□

Lemma 5

Let p be a prime with p 1 mod 8 . Then we have the identity

a = 1 p 1 a p a 4 1 p = 2 p τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) ,

where χ 8 denotes any eighth-order primitive character modulo p .

Proof

Since p 1 mod 8 , there must exist four eighth-order primitive characters modulo p . Let χ 8 be any one of the eighth-order primitive characters modulo p and χ 4 = χ 8 2 . Then from the properties of the fourth-order primitive characters and Gauss sums modulo p , we have the identity

(8) a = 1 p 1 a p a 4 1 p = a = 1 p 1 χ 8 ( a 4 ) χ 2 ( a 4 1 ) = a = 1 p 1 ( 1 + χ 4 ( a ) + χ 2 ( a ) + χ ¯ 4 ( a ) ) χ 8 ( a ) χ 2 ( a 1 ) = a = 1 p 1 χ 8 ( a ) χ 2 ( a 1 ) + a = 1 p 1 χ 8 3 ( a ) χ 2 ( a 1 ) + a = 1 p 1 χ 8 5 ( a ) χ 2 ( a 1 ) + a = 1 p 1 χ ¯ 8 ( a ) χ 2 ( a 1 ) = 1 p a = 1 p 1 χ 8 ( a ) b = 1 p 1 χ 2 ( b ) e b ( a 1 ) p + 1 p a = 1 p 1 χ 8 3 ( a ) b = 1 p 1 χ 2 ( b ) e b ( a 1 ) p + 1 p a = 1 p 1 χ 8 5 ( a ) b = 1 p 1 χ 2 ( b ) e b ( a 1 ) p + 1 p a = 1 p 1 χ ¯ 8 ( a ) b = 1 p 1 χ 2 ( b ) e b ( a 1 ) p = 2 χ 8 ( 1 ) τ ( χ 8 ) τ ( χ 8 3 ) p + 2 χ ¯ 8 ( 1 ) τ ( χ ¯ 8 ) τ ( χ ¯ 8 3 ) p .

If p 1 mod 8 , then noting that τ ( χ 8 ) τ ( χ ¯ 8 ) = χ ¯ 8 ( 1 ) p , τ ( χ 8 3 ) τ ( χ 8 5 ) = χ ¯ 8 ( 1 ) p and τ ( χ ¯ 8 3 ) = τ ( χ 8 5 ) . From (8) we have the identity

a = 1 p 1 a p a 4 1 p = 2 p τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) .

This proves Lemma 5.□

3 Proofs of the theorems

In this section, we complete the proofs of our main results. For any integer a with ( a , p ) = 1 , we have

1 k ( 1 + χ ( a ) + χ 2 ( a ) + + χ k 1 ( a ) ) = 1 , if  a  is a  k th residue modulo  p ; 0 , if  a  is a  k th non-residue modulo  p ,

where χ is a k -th-order character modulo p . In addition, for any prime p with p 1 mod 4 , noting that 1 p = 1 and a + a ¯ 0 mod p has two solutions λ and λ with λ ± 1 and λ ¯ = λ . So from the definition of N ( p , 1 ) and the properties of the Legendre’s symbol mod p , we have

(9) N ( p , 1 ) = 1 8 a = 1 ( a ( a + a ¯ ) ( a a ¯ ) , p ) = 1 p 1 1 + a p 1 + a + a ¯ p 1 + a a ¯ p = 1 8 a = 2 ( a + a ¯ , p ) = 1 p 2 1 + a p 1 + a + a ¯ p 1 + a a ¯ p = 1 8 a = 1 p 1 1 + a p 1 + a + a ¯ p 1 + a a ¯ p 1 8 1 + 1 p 1 + 1 + 1 ¯ p 1 + 1 1 ¯ p 1 8 1 + 1 p 1 + ( 1 ) + ( 1 ) ¯ p 1 + ( 1 ) ( 1 ) ¯ p 1 8 1 + λ p 1 + λ + λ ¯ p 1 + λ λ ¯ p 1 8 1 + λ p 1 + ( λ ) + ( λ ) ¯ p 1 + ( λ ) ( λ ) ¯ p = p 1 8 + 1 8 a = 1 p 1 a p + 1 8 a = 1 p 1 a + a ¯ p + 1 8 a = 1 p 1 a a ¯ p + 1 8 a = 1 p 1 a 2 + 1 p + 1 8 a = 1 p 1 a 2 1 p + 1 8 a = 1 p 1 a p a 2 a ¯ 2 p + 1 8 a = 1 p 1 a 2 a ¯ 2 p 1 4 1 + λ p + 2 λ p + 2 p 1 2 1 + 2 p = p 1 8 + 1 8 0 + 1 8 a = 1 p 1 a + a ¯ p + 1 8 a = 1 p 1 a a ¯ p a 2 p + 1 8 a = 1 p 1 a 2 + 1 p + 1 8 a = 1 p 1 a 2 1 p + 1 8 a = 1 p 1 a p a 2 a ¯ 2 p a 2 p + 1 8 a = 1 p 1 a 2 a ¯ 2 p a 2 p 1 4 1 + λ p + 2 λ p + 2 p 1 2 1 + 2 p = p 7 8 + 1 8 a = 1 p 1 a + a ¯ p + 1 8 a = 1 p 1 a p a 2 1 p + 1 8 a = 1 p 1 a 2 + 1 p + 1 8 a = 1 p 1 a 2 1 p + 1 8 a = 1 p 1 a p a 4 1 p + 1 8 a = 1 p 1 a 4 1 p 1 4 1 + 2 p λ p 3 4 2 p .

If p = 8 k + 5 , we have 2 p = λ p = 1 . In fact in this case, noting that λ + λ ¯ 0 mod p , we have λ 2 1 mod p and λ p 1 2 ( 1 ) p 1 4 1 mod p . From Euler’s criterion (see [1, Theorem 9.2]) we have λ p = 1 and 2 p = ( 1 ) p 2 1 8 = 1 . We also have

(10) a = 1 p 1 a 2 ± 1 p = a = 1 p 1 a ± 1 p + a = 1 p 1 a p a ± 1 p = 1 + a = 1 p 1 1 ± a ¯ p = 1 + a = 1 p 1 1 ± a p = 2 .

From (9), (10), and Lemmas 2–4, we have

(11) N ( p , 1 ) = p 7 8 + α ( p ) 4 α ( p ) 4 1 2 1 + α ( p ) 4 + 3 4 = 1 8 ( p 7 2 α ( p ) ) .

On the other hand, noting that the identity

(12) N ( p , 1 ) = 1 8 a = 2 ( a + a ¯ , p ) = 1 p 2 1 a p 1 + a + a ¯ p 1 + a a ¯ p = 1 4 a = 2 ( a + a ¯ , p ) = 1 p 2 1 + a + a ¯ p 1 + a a ¯ p N ( p , 1 ) = 1 4 a = 1 p 1 1 + a + a ¯ p 1 + a a ¯ p 1 4 1 + 1 + 1 ¯ p 1 + 1 1 ¯ p 1 4 1 + ( 1 ) + ( 1 ) ¯ p 1 + ( 1 ) ( 1 ) ¯ p 1 4 1 + λ + λ ¯ p 1 + λ λ ¯ p 1 4 1 + λ + ( λ ) ¯ p 1 + λ ( λ ) ¯ p N ( p , 1 ) = p 1 4 + 1 4 a = 1 p 1 a + a ¯ p + 1 4 a = 1 p 1 a a ¯ p + 1 4 a = 1 p 1 a 4 1 p 1 2 1 + 2 p 1 2 1 + 2 λ p N ( p , 1 ) .

From (11), (12), Lemmas 2, 3, and the definition of α ( p ) we have

(13) N ( p , 1 ) = p 1 4 + α ( p ) 2 α ( p ) 2 1 + α ( p ) 2 1 1 8 ( p 7 2 α ( p ) ) = 1 8 ( p 7 2 α ( p ) ) .

Now Theorem 1 follows from (11) and (13).

If p 1 mod 8 , then 2 p = λ p = 1 and χ 4 ( 1 ) = 1 , from (9), (10), Lemmas 2, 3, and 5, we have

(14) N ( p , 1 ) = p 7 8 + α ( p ) 4 + α ( p ) 4 1 2 + 1 + α ( p ) 4 5 4 + p 4 τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) = 1 8 ( p 23 + 6 α ( p ) ) + p 4 τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) .

From (10), (12), (14), Lemmas 2, 3, and 5 we also have

(15) N ( p , 1 ) = p 1 4 + α ( p ) 2 + α ( p ) 2 + 1 + α ( p ) 2 1 1 N ( p , 1 ) = 1 8 ( p + 1 + 6 α ( p ) ) p 4 τ ( χ 8 ) τ ( χ 8 5 ) + τ ( χ 8 5 ) τ ( χ 8 ) .

From (14) and (15) we may immediately complete the proof of Theorem 2.

Acknowledgments

The authors would like to thank the referees for their very helpful and detailed comments, which have significantly improved the presentation of this article.

  1. Funding information: This work was supported by the N. S. F. (12126357) of P. R. China.

  2. Author contributions: All authors have equally contributed to this work. All authors read and approved the final manuscript.

  3. Conflict of interest: The authors declare that there are no conflicts of interest regarding the publication of this article.

References

[1] T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, New York, 1976. 10.1007/978-1-4757-5579-4Search in Google Scholar

[2] W. P. Zhang and H. L. Li, Elementary Number Theory, Shaanxi Normal University Press, Xi’an, 2013. Search in Google Scholar

[3] Z. H. Sun, Consecutive numbers with the same Legendre symbol, Proc. Amer. Math. Soc. 130 (2002), no. 9, 2503–2507, DOI: https://doi.org/10.1090/S0002-9939-02-06600-5. 10.1090/S0002-9939-02-06600-5Search in Google Scholar

[4] T. T. Wang and X. X. Lv, The quadratic residues and some of their new distribution properties, Symmetry 12 (2020), no. 3, 241, DOI: https://doi.org/10.3390/sym12030421. 10.3390/sym12030421Search in Google Scholar

[5] W. Narkiewicz, Classical Problems in Number Theory, Polish Scientific Publishers, Warszawa, 1986. Search in Google Scholar

[6] Z. H. Sun, Cubic congruences and sums involving ((3k)(k)), Int. J. Number Theory 12 (2016), no. 1, 143–164, DOI: https://doi.org/10.1142/S1793042116500093. 10.1142/S1793042116500093Search in Google Scholar

[7] Z. H. Sun, On the theory of cubic residues and nonresidues, Acta Arith. 84 (1998), no. 4, 291–335, DOI: https://doi.org/10.4064/AA-84-4-291-335. 10.4064/aa-84-4-291-335Search in Google Scholar

[8] R. Peralta, On the distribution of quadratic residues and non-residues modulo a prime number, Math. Comput. 58 (1992), no. 197, 433–440, DOI: https://doi.org/10.1090/s0025-5718-1992-1106978-9.10.1090/S0025-5718-1992-1106978-9Search in Google Scholar

[9] S. Wright, Quadratic residues and non-residues in arithmetic progression, J. Number Theory 133 (2013), no. 7, 2398–2430, DOI: https://doi.org/10.1016/j.jnt.2013.01.004. 10.1016/j.jnt.2013.01.004Search in Google Scholar

[10] W. Kohnen, An elementary proof in the theory of quadratic residues, Bull. Korean Math. Soc. 45 (2008), no. 2, 273–275, DOI: https://doi.org/10.4134/BKMS.2008.45.2.273. 10.4134/BKMS.2008.45.2.273Search in Google Scholar

[11] P. Hummel, On consecutive quadratic non-residues: a conjecture of Issai Schur, J. Number Theory 103 (2003), no. 2, 257–266, DOI: https://doi.org/10.1016/j.jnt.2003.06.003. 10.1016/j.jnt.2003.06.003Search in Google Scholar

[12] M. Z. Garaev, A note on the least quadratic non-residue of the integer-sequences, Bull. Aust. Math. Soc. 68 (2003), no. 1, 1–11, DOI: https://doi.org/10.1017/S0004972700037369. 10.1017/S0004972700037369Search in Google Scholar

[13] D. S. Dummit, E. P. Dummit, and H. Kisilevsky, Characterizations of quadratic, cubic, and quartic residue matrices, J. Number Theory 168 (2016), 167–179, DOI: https://doi.org/10.1016/j.jnt.2016.04.014. 10.1016/j.jnt.2016.04.014Search in Google Scholar

[14] J. Y. Hu and Z. Y. Chen, On distribution properties of cubic residues, AIMS Math. 5 (2020), no. 6, 6051–6060, DOI: https://doi.org/10.3934/math.2020388. 10.3934/math.2020388Search in Google Scholar

[15] Z. Y. Chen and W. P. Zhang, On the fourth-order linear recurrence formula related to classical Gauss sums, Open Math. 15 (2017), no. 1, 1251–1255, DOI: https://doi.org/10.1515/math-2017-0104. 10.1515/math-2017-0104Search in Google Scholar

Received: 2023-03-23
Revised: 2023-08-07
Accepted: 2023-08-27
Published Online: 2023-09-26

© 2023 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Special Issue on Future Directions of Further Developments in Mathematics
  2. What will the mathematics of tomorrow look like?
  3. On H 2-solutions for a Camassa-Holm type equation
  4. Classical solutions to Cauchy problems for parabolic–elliptic systems of Keller-Segel type
  5. Control of multi-agent systems: Results, open problems, and applications
  6. Logical perspectives on the foundations of probability
  7. Subharmonic solutions for a class of predator-prey models with degenerate weights in periodic environments
  8. A non-smooth Brezis-Oswald uniqueness result
  9. Luenberger compensator theory for heat-Kelvin-Voigt-damped-structure interaction models with interface/boundary feedback controls
  10. Special Issue on Fractional Problems with Variable-Order or Variable Exponents (Part II)
  11. Positive solution for a nonlocal problem with strong singular nonlinearity
  12. Analysis of solutions for the fractional differential equation with Hadamard-type
  13. Hilfer proportional nonlocal fractional integro-multipoint boundary value problems
  14. A comprehensive review on fractional-order optimal control problem and its solution
  15. The θ-derivative as unifying framework of a class of derivatives
  16. Review Articles
  17. On the use of L-functionals in regression models
  18. Minimal-time problems for linear control systems on homogeneous spaces of low-dimensional solvable nonnilpotent Lie groups
  19. Regular Articles
  20. Existence and multiplicity of solutions for a new p(x)-Kirchhoff problem with variable exponents
  21. An extension of the Hermite-Hadamard inequality for a power of a convex function
  22. Existence and multiplicity of solutions for a fourth-order differential system with instantaneous and non-instantaneous impulses
  23. Relay fusion frames in Banach spaces
  24. Refined ratio monotonicity of the coordinator polynomials of the root lattice of type Bn
  25. On the uniqueness of limit cycles for generalized Liénard systems
  26. A derivative-Hilbert operator acting on Dirichlet spaces
  27. Scheduling equal-length jobs with arbitrary sizes on uniform parallel batch machines
  28. Solutions to a modified gauged Schrödinger equation with Choquard type nonlinearity
  29. A symbolic approach to multiple Hurwitz zeta values at non-positive integers
  30. Some results on the value distribution of differential polynomials
  31. Lucas non-Wieferich primes in arithmetic progressions and the abc conjecture
  32. Scattering properties of Sturm-Liouville equations with sign-alternating weight and transmission condition at turning point
  33. Some results for a p(x)-Kirchhoff type variation-inequality problems in non-divergence form
  34. Homotopy cartesian squares in extriangulated categories
  35. A unified perspective on some autocorrelation measures in different fields: A note
  36. Total Roman domination on the digraphs
  37. Well-posedness for bilevel vector equilibrium problems with variable domination structures
  38. Binet's second formula, Hermite's generalization, and two related identities
  39. Non-solid cone b-metric spaces over Banach algebras and fixed point results of contractions with vector-valued coefficients
  40. Multidimensional sampling-Kantorovich operators in BV-spaces
  41. A self-adaptive inertial extragradient method for a class of split pseudomonotone variational inequality problems
  42. Convergence properties for coordinatewise asymptotically negatively associated random vectors in Hilbert space
  43. Relating the super domination and 2-domination numbers in cactus graphs
  44. Compatibility of the method of brackets with classical integration rules
  45. On the inverse Collatz-Sinogowitz irregularity problem
  46. Positive solutions for boundary value problems of a class of second-order differential equation system
  47. Global analysis and control for a vector-borne epidemic model with multi-edge infection on complex networks
  48. Nonexistence of global solutions to Klein-Gordon equations with variable coefficients power-type nonlinearities
  49. On 2r-ideals in commutative rings with zero-divisors
  50. A comparison of some confidence intervals for a binomial proportion based on a shrinkage estimator
  51. The construction of nuclei for normal constituents of Bπ-characters
  52. Weak solution of non-Newtonian polytropic variational inequality in fresh agricultural product supply chain problem
  53. Mean square exponential stability of stochastic function differential equations in the G-framework
  54. Commutators of Hardy-Littlewood operators on p-adic function spaces with variable exponents
  55. Solitons for the coupled matrix nonlinear Schrödinger-type equations and the related Schrödinger flow
  56. The dual index and dual core generalized inverse
  57. Study on Birkhoff orthogonality and symmetry of matrix operators
  58. Uniqueness theorems of the Hahn difference operator of entire function with a Picard exceptional value
  59. Estimates for certain class of rough generalized Marcinkiewicz functions along submanifolds
  60. On semigroups of transformations that preserve a double direction equivalence
  61. Positive solutions for discrete Minkowski curvature systems of the Lane-Emden type
  62. A multigrid discretization scheme based on the shifted inverse iteration for the Steklov eigenvalue problem in inverse scattering
  63. Existence and nonexistence of solutions for elliptic problems with multiple critical exponents
  64. Interpolation inequalities in generalized Orlicz-Sobolev spaces and applications
  65. General Randić indices of a graph and its line graph
  66. On functional reproducing kernels
  67. On the Waring-Goldbach problem for two squares and four cubes
  68. Singular moduli of rth Roots of modular functions
  69. Classification of self-adjoint domains of odd-order differential operators with matrix theory
  70. On the convergence, stability and data dependence results of the JK iteration process in Banach spaces
  71. Hardy spaces associated with some anisotropic mixed-norm Herz spaces and their applications
  72. Remarks on hyponormal Toeplitz operators with nonharmonic symbols
  73. Complete decomposition of the generalized quaternion groups
  74. Injective and coherent endomorphism rings relative to some matrices
  75. Finite spectrum of fourth-order boundary value problems with boundary and transmission conditions dependent on the spectral parameter
  76. Continued fractions related to a group of linear fractional transformations
  77. Multiplicity of solutions for a class of critical Schrödinger-Poisson systems on the Heisenberg group
  78. Approximate controllability for a stochastic elastic system with structural damping and infinite delay
  79. On extremal cacti with respect to the first degree-based entropy
  80. Compression with wildcards: All exact or all minimal hitting sets
  81. Existence and multiplicity of solutions for a class of p-Kirchhoff-type equation RN
  82. Geometric classifications of k-almost Ricci solitons admitting paracontact metrices
  83. Positive periodic solutions for discrete time-delay hematopoiesis model with impulses
  84. On Hermite-Hadamard-type inequalities for systems of partial differential inequalities in the plane
  85. Existence of solutions for semilinear retarded equations with non-instantaneous impulses, non-local conditions, and infinite delay
  86. On the quadratic residues and their distribution properties
  87. On average theta functions of certain quadratic forms as sums of Eisenstein series
  88. Connected component of positive solutions for one-dimensional p-Laplacian problem with a singular weight
  89. Some identities of degenerate harmonic and degenerate hyperharmonic numbers arising from umbral calculus
  90. Mean ergodic theorems for a sequence of nonexpansive mappings in complete CAT(0) spaces and its applications
  91. On some spaces via topological ideals
  92. Linear maps preserving equivalence or asymptotic equivalence on Banach space
  93. Well-posedness and stability analysis for Timoshenko beam system with Coleman-Gurtin's and Gurtin-Pipkin's thermal laws
  94. On a class of stochastic differential equations driven by the generalized stochastic mixed variational inequalities
  95. Entire solutions of two certain Fermat-type ordinary differential equations
  96. Generalized Lie n-derivations on arbitrary triangular algebras
  97. Markov decision processes approximation with coupled dynamics via Markov deterministic control systems
  98. Notes on pseudodifferential operators commutators and Lipschitz functions
  99. On Graham partitions twisted by the Legendre symbol
  100. Strong limit of processes constructed from a renewal process
  101. Construction of analytical solutions to systems of two stochastic differential equations
  102. Two-distance vertex-distinguishing index of sparse graphs
  103. Regularity and abundance on semigroups of partial transformations with invariant set
  104. Liouville theorems for Kirchhoff-type parabolic equations and system on the Heisenberg group
  105. Spin(8,C)-Higgs pairs over a compact Riemann surface
  106. Properties of locally semi-compact Ir-topological groups
  107. Transcendental entire solutions of several complex product-type nonlinear partial differential equations in ℂ2
  108. Ordering stability of Nash equilibria for a class of differential games
  109. A new reverse half-discrete Hilbert-type inequality with one partial sum involving one derivative function of higher order
  110. About a dubious proof of a correct result about closed Newton Cotes error formulas
  111. Ricci ϕ-invariance on almost cosymplectic three-manifolds
  112. Schur-power convexity of integral mean for convex functions on the coordinates
  113. A characterization of a ∼ admissible congruence on a weakly type B semigroup
  114. On Bohr's inequality for special subclasses of stable starlike harmonic mappings
  115. Properties of meromorphic solutions of first-order differential-difference equations
  116. A double-phase eigenvalue problem with large exponents
  117. On the number of perfect matchings in random polygonal chains
  118. Evolutoids and pedaloids of frontals on timelike surfaces
  119. A series expansion of a logarithmic expression and a decreasing property of the ratio of two logarithmic expressions containing cosine
  120. The 𝔪-WG° inverse in the Minkowski space
  121. Stability result for Lord Shulman swelling porous thermo-elastic soils with distributed delay term
  122. Approximate solvability method for nonlocal impulsive evolution equation
  123. Construction of a functional by a given second-order Ito stochastic equation
  124. Global well-posedness of initial-boundary value problem of fifth-order KdV equation posed on finite interval
  125. On pomonoid of partial transformations of a poset
  126. New fractional integral inequalities via Euler's beta function
  127. An efficient Legendre-Galerkin approximation for the fourth-order equation with singular potential and SSP boundary condition
  128. Eigenfunctions in Finsler Gaussian solitons
  129. On a blow-up criterion for solution of 3D fractional Navier-Stokes-Coriolis equations in Lei-Lin-Gevrey spaces
  130. Some estimates for commutators of sharp maximal function on the p-adic Lebesgue spaces
  131. A preconditioned iterative method for coupled fractional partial differential equation in European option pricing
  132. A digital Jordan surface theorem with respect to a graph connectedness
  133. A quasi-boundary value regularization method for the spherically symmetric backward heat conduction problem
  134. The structure fault tolerance of burnt pancake networks
  135. Average value of the divisor class numbers of real cubic function fields
  136. Uniqueness of exponential polynomials
  137. An application of Hayashi's inequality in numerical integration
Downloaded on 12.4.2026 from https://www.degruyterbrill.com/document/doi/10.1515/math-2023-0123/html
Scroll to top button