Proof of some conjectures involving quadratic residues

From MaRDI portal
(Redirected from Publication:779882)



Abstract: We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime pequiv1pmod4 and integer aotequiv0pmodp, we prove that �egin{align*}&(-1)^{|{1le k<frac p4: (frac kp)=-1}|}prod_{1le j<kle(p-1)/2}(e^{2pi iaj^2/p}+e^{2pi iak^2/p}) \=&�egin{cases}1& ext{if} pequiv1pmod 8,\left(frac ap ight)varepsilon_p^{-(frac ap)h(p)}& ext{if} pequiv5pmod8,end{cases} end{align*} and that �egin{align*}&left|left{(j,k): 1le j<klefrac{p-1}2 & {aj^2}_p>{ak^2}_p ight} ight| \&+left|left{(j,k): 1le j<klefrac{p-1}2 & {ak^2-aj^2}_p>frac p2 ight} ight| \equiv&left|left{1le k<frac p4: left(frac kp ight)=left(frac ap ight) ight} ight|pmod2. end{align*} where (fracap) is the Legendre symbol, varepsilonp and h(p) are the fundamental unit and the class number of the real quadratic field mathbbQ(sqrtp) respectively, and xp is the least nonnegative residue of an integer x modulo p. Also, for any prime pequiv3pmod4 and delta=1,2, we determine (-1)^{left|left{(j,k): 1le j<kle(p-1)/2 ext{and} {delta T_j}_p>{delta T_k}_p ight} ight|}, where Tm denotes the triangular number m(m+1)/2.











This page was built for publication: Proof of some conjectures involving quadratic residues

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q779882)