--- title: 'Vinogradov''s Conjecture: Least Quadratic Nonresidue' url: https://www.emergentmind.com/topics/vinogradov-s-conjecture type: topic --- # Vinogradov's Conjecture: Least Quadratic Nonresidue Searching arXiv for recent and relevant papers on “Vinogradov's Conjecture,” especially the least quadratic nonresidue formulation and the terminology overlap with Vinogradov’s mean value theorem. arXiv search query: "Vinogradov's Conjecture least quadratic nonresidue" Vinogradov’s conjecture, in its classical number-theoretic sense, concerns the least quadratic nonresidue modulo a prime. If \(n(p)\) denotes the least positive integer that is a quadratic nonresidue modulo the prime \(p\), the conjecture asserts that for every fixed \(\varepsilon>0\), one has \(n(p)=O(p^\varepsilon)\). It lies at the intersection of character sums, sieve theory, and the arithmetic of \(L\)-functions: it follows from the generalized Riemann hypothesis, is known for almost all primes, and remains open unconditionally in full generality. The modern literature also contains restricted-class results and conditional routes that are stronger in specific regimes, as well as a separate terminological usage in Vinogradov’s mean value theorem that must be distinguished carefully [1410.7073]. ## 1. Statement and arithmetic meaning For a prime \(p\), let \[ n(p):=\min\{n\ge 1:\chi(n)\neq 1\}, \] where \(\chi=\left(\frac{\cdot}{p}\right)\) is the quadratic character modulo \(p\). Thus \(n(p)\) is the least positive integer that fails to be a quadratic residue modulo \(p\) [1410.7073]. Vinogradov’s conjecture is the assertion \[ n(p)=O(p^\varepsilon)\qquad\text{for every fixed }\varepsilon>0. \] This formulation is the one explicitly identified as “Conjecture 1.1” in the modern literature on the least quadratic nonresidue [1410.7073]. The conjecture asks for a power-saving bound that is arbitrarily small in the exponent, uniformly in \(p\). In that sense it is much stronger than classical unconditional estimates coming from character-sum technology, but weaker than the logarithmic bounds known under GRH. Its significance is structural as well as quantitative: a large value of \(n(p)\) means that the quadratic character is identically \(1\) on a long initial interval, so the problem is closely tied to rigidity phenomena for multiplicative characters on short ranges [1410.7073]. ## 2. Classical bounds and known implications The conjecture is known to follow from the generalized Riemann hypothesis. Linnik showed that GRH implies Vinogradov’s conjecture, and Ankeny sharpened this to \[ n(p)\ll \log^2 p. \] Thus the conjecture is conditionally settled, with a bound far stronger than \(p^\varepsilon\) [1410.7073]. Unconditionally, the strongest general classical estimate recorded in the literature cited here is Burgess’s bound \[ n(p)\ll_\varepsilon p^{\frac{1}{4\sqrt e}+\varepsilon}. \] This remains the benchmark unconditional result in the general case [1410.7073]. There is also an “almost all primes” theorem. For each fixed \(\varepsilon>0\), Linnik showed that the number of primes \(p\le x\) with \(n(p)>x^\varepsilon\) is \(O(\log\log x)\). Thus the conjectural bound fails, if at all, on a very sparse exceptional set [1410.7073]. These results place the problem in a characteristic position within analytic number theory. GRH gives very strong control, Burgess gives the best unconditional global theorem, and the remaining gap is precisely the gap between deep but general character-sum bounds and the much more rigid behavior predicted by the conjecture. ## 3. Conditional and sieve-theoretic approaches A major conceptual development is Tao’s proof that the Elliott–Halberstam conjecture implies Vinogradov’s conjecture. More precisely, if \(\chi\) is a primitive character of prime conductor \(q\), and \(n_\chi\) is the least \(n\) with \(\chi(n)\neq 1\), then under Elliott–Halberstam one has \[ n_\chi\ll_\varepsilon q^\varepsilon, \] and hence in the quadratic case \(n(p)=O(p^\varepsilon)\) [1410.7073]. The argument begins from the contrapositive assumption that \(n_\chi>q^\kappa\) for some fixed \(\kappa>0\). In the quadratic case this means \(\chi(n)=1\) for every \(n\le q^\kappa\), so a large least nonresidue is converted into a long initial interval on which the character is constant. Tao then studies the logarithmic averages \[ A_q(t):=\frac{1}{\log q}\sum_{n0. \] This forces the existence of an interval on which the prime-weighted character sum is anomalously large [1410.7073]. The second half of the proof converts that anomaly into a contradiction with prime distribution in arithmetic progressions. Using Möbius inversion, \[ \chi=1*f,\qquad f:=\chi*\mu-1_{n=1}, \] and the hypothesis \(n_\chi>q^\kappa\), Tao shows that \(f\) is supported on \(q^\kappa\)-rough integers. This support restriction makes the convolution sieve-friendly. Elliott–Halberstam is then used to control the relevant arithmetic progression sums, eliminating the large character-sum scenario and proving the conjecture conditionally [1410.7073]. This route is important because it is explicitly “non-multiplicative” in flavor: the contradiction comes from additive distribution of primes rather than from zero-free regions or direct \(L\)-function methods. Tao also gave variants based on Type II estimates and divisor-function distribution, and noted that an improvement over the Burgess bound would follow from Type II estimates with level of distribution above \(2/3\), or above \(3/4\) in the cube-free case [1410.7073]. ## 4. Restricted-class pattern counting and “beyond Vinogradov” A recent and explicitly titled contribution, “Vinogradov’s Conjecture and Beyond,” studies the least quadratic nonresidue through patterns of quadratic residues and nonresidues rather than through character sums alone. Its scope is restricted: it concerns sufficiently large primes \[ p\equiv 3\pmod 4, \] and it does not claim an unconditional proof of Vinogradov’s conjecture for all primes [2111.05219]. The paper considers the residue/nonresidue pattern of consecutive nonzero classes \[ a,\ a+1,\ a+2,\ \dots,\ a+(k-1) \] modulo \(p\). Each term is marked \(r\) or \(n\) according to whether it is a quadratic residue or nonresidue, producing one of the \(2^k\) possible binary patterns of length \(k\) [2111.05219]. For \(p\equiv 3\pmod 4\), the paper uses the fact that quadratic residues form a skew Hadamard difference set in \(\mathbb Z_p\), and in particular that \[ x \text{ residue } \implies -x \text{ nonresidue}. \] This symmetry underlies exact small-length counts and motivates the general pattern-counting theorem [2111.05219]. Before the threshold regime, the paper records the following small-\(k\) behavior. | Pattern length | Stated occurrence count | |---|---| | \(2\) | either \(\frac{p-3}{4}\) or \(\frac{p+1}{4}\) | | \(3\) | each pattern occurs about \(p/8\) times | These counts match the heuristic that a prescribed pattern of length \(k\) should occur about \(p/2^k\) times [2111.05219]. The central claim is Theorem 3.5: if \(p\) is sufficiently large, then there exists a constant \(c\) such that the number of occurrences of any prescribed pattern of length \(k\), as \(k\) tends to \([\log_2 p]\), is at most \(c\). The argument is presented in terms of a decomposition of each pattern count into a main term plus an error, \[ \frac{p}{2^k}+e(i,k), \qquad \sum_i e(i,k)=0, \] together with combinatorial constraints on overlaps and decompositions of patterns [2111.05219]. From this, the paper derives Corollary 3.6: \[ n(p)\le c[\log_2 p] \] for sufficiently large primes \(p\equiv 3\pmod 4\). The mechanism is straightforward: if the least nonresidue were large, then the initial segment \(1,2,\dots,n(p)-1\) would all be residues, producing an excessively long all-\(r\) pattern. Bounding the number of long patterns near the threshold \(2^k\sim p\) therefore bounds \(n(p)\) itself [2111.05219]. The paper describes this as going “beyond Vinogradov’s conjecture,” because \(\log p\) is much smaller than \(p^\varepsilon\) for every fixed \(\varepsilon>0\). That description is accurate only in the restricted sense of the strength of the bound on the restricted class \(p\equiv 3\pmod 4\); it is not a proof of the full conjecture for all primes [2111.05219]. ## 5. Scope, limitations, and common misreadings The least quadratic nonresidue conjecture remains open in full generality. This point is easy to obscure because some papers obtain stronger bounds on special families of primes or under strong hypotheses. The restricted-class logarithmic claim for \(p\equiv 3\pmod 4\) is one such example: it is stronger than \(p^\varepsilon\), but only on that congruence class and only for sufficiently large \(p\) [2111.05219]. Several limitations are explicit in that literature. The constant \(c\) in the pattern-counting approach is existential rather than explicit, and the phrase “sufficiently large” is not quantified. The argument also uses the special symmetry \[ x \text{ residue } \iff -x \text{ nonresidue} \] for \(p\equiv 3\pmod 4\), so it does not assert a corresponding theorem for primes \(p\equiv 1\pmod 4\) [2111.05219]. A second common misreading is to treat conditional implications as unconditional progress of the same type. Tao’s result shows that Elliott–Halberstam implies Vinogradov’s conjecture, and indeed supplies a conceptually different route to it, but EH itself remains unproved. The result is therefore a conditional implication rather than a resolution of the least nonresidue problem [1410.7073]. A third source of confusion is the phrase “beyond Vinogradov.” In the restricted \(p\equiv 3\pmod 4\) setting, a logarithmic bound is indeed stronger than the conjectural \(p^\varepsilon\) bound. A plausible implication is that pattern counting near the entropy barrier \(2^k\sim p\) can control least-nonresidue questions more sharply than direct study of \(n(p)\) alone. But this does not alter the status of the original global conjecture, which still asks for a bound uniform over all primes [2111.05219]. ## 6. Terminological ambiguity with Vinogradov’s mean value theorem In analytic number theory, the phrase “Vinogradov’s Conjecture” can also refer to the main conjecture in Vinogradov’s mean value theorem rather than to the least quadratic nonresidue problem. In that separate context, the conjecture is the sharp bound \[ J_{s,k}(X)\ll_\varepsilon X^\varepsilon\left(X^s+X^{2s-\frac{k(k+1)}2}\right), \] where \(J_{s,k}(X)\) is the standard Vinogradov mean value attached to moments of degree-\(k\) Weyl sums [1512.01565]. That VMVT conjecture was proved for higher degrees by Bourgain, Demeter, and Guth via sharp \(\ell^2\)-decoupling for the moment curve [1512.01565], and Wooley later recovered the full main conjecture by nested efficient congruencing in a more arithmetic framework, extending also to algebraic number fields and function fields [1708.01220]. The cubic case had already been isolated and proved separately, and then presented in simplified expository form [1401.3150], [1512.03272]. The two usages are historically unrelated in content. One concerns the least quadratic nonresidue and multiplicative characters; the other concerns moments of Weyl sums and translation-invariant Diophantine systems. Because both names appear in the literature, the intended meaning must be inferred from context. In the classical problem surrounding \(n(p)\), however, “Vinogradov’s conjecture” refers to the assertion that the least quadratic nonresidue satisfies \(n(p)=O(p^\varepsilon)\) for every fixed \(\varepsilon>0\) [1410.7073]. Source: https://www.emergentmind.com/topics/vinogradov-s-conjecture