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.
What problem does this paper attempt to address?