Quadratic nonresidues below the Burgess bound

From MaRDI portal
Publication:2969724

DOI10.1142/S1793042117500397zbMATH Open1416.11011arXiv1511.05523OpenAlexW2963687970MaRDI QIDQ2969724FDOQ2969724


Authors: William D. Banks, Zhenyu V. Guo Edit this on Wikidata


Publication date: 23 March 2017

Published in: International Journal of Number Theory (Search for Journal in Brave)

Abstract: For any odd prime number p, let (cdot|p) be the Legendre symbol, and let n1(p)<n2(p)<cdots be the sequence of positive nonresidues modulo p, i.e., (nk|p)=1 for each k. In 1957, Burgess showed that the upper bound n1(p)llepsilonp(4sqrte)1+epsilon holds for any fixed epsilon>0. In this paper, we prove that the stronger bound n_k(p)ll p^{(4sqrt{e})^{-1}}exp�ig(sqrt{e^{-1}log ploglog p},�ig) holds for all odd primes p, where the implied constant is absolute, provided that kle p^{(8sqrt{e})^{-1}} exp�ig( frac12sqrt{e^{-1}log ploglog p}- frac12loglog p�ig). For fixed epsilonin(0,fracpi29pi2] we also show that there is a number c=c(epsilon)>0 such that for all odd primes p and either choice of hetainpm1, there are ggepsilony/(logy)epsilon natural numbers nley with (n|p)=heta provided that yge p^{(4sqrt{e})^{-1}}exp�ig(c(log p)^{1-epsilon}�ig).


Full work available at URL: https://arxiv.org/abs/1511.05523




Recommendations




Cites Work


Cited In (4)





This page was built for publication: Quadratic nonresidues below the Burgess bound

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