The logarithmic upper-bound conjecture for the least quadratic nonresidue

About 6 years old · traced to

Let pp be a prime, and let npn_p denote the least positive quadratic nonresidue modulo pp. Here f(p)≪g(p)f(p)\ll g(p) means that there is a constant C>0C>0 such that f(p)≤Cg(p)f(p)\leq Cg(p) for all sufficiently large pp. Logarithmic upper-bound conjecture. For every large prime p≥3p\geq 3,

np≪(log⁡p)(log⁡log⁡p).n_p\ll (\log p)(\log \log p).

This is a conjectured improvement over the classical bounds for the least quadratic nonresidue, lying between the known polylogarithmic consequences of stronger hypotheses and the much stronger Vinogradov conjecture. Its status is not resolved in the supplied source context.

References

Primary source

N. A. Carella, “Consecutive Quadratic Residues And Quadratic Nonresidue Modulo p”, arXiv:2011.11054 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.