Linnik's constant ()
Linnik's constant: determine or improve its bounds; the repository records 1 (lower) and 5 (upper).
Editorial MSC2020 classification. Original article codes and source evidence are recorded in the literature directory.
Problem statement
For integers and with , let denote the least prime in the arithmetic progression . [Xyl2011-def-Paq]
Linnik's theorem asserts that there exist constants such that
uniformly for all . [Xyl2011-def-Linnik]
We define
where is the infimum of all exponents for which such a bound holds (with some constant independent of ). [Xyl2011-def-Linnik]
The best known exponent reported in a modern source is
A trivial lower bound is , since for the first candidate prime is at least .
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
-
Terminology. Some sources call "Linnik's constant" and reserve "Linnik's theorem" for the existence of some finite exponent . [Xyl2011-def-Linnik]
-
Methodological progress after classical zero-density proofs. A recent result gives a new -function-free proof with bound . [MMT2024-ub-350]
-
Historical progression list. A compiled table of earlier admissible values appears in Xylouris's table of improvements. [Xyl2011-historical-table]
References (from the repository page)
-
[XylDiss2011] Xylouris, Triantafyllos. Uber die Nullstellen der Dirichletschen L-Funktionen und die kleinste Primzahl in einer arithmetischen Progression. Bonner Mathematische Schriften 404, Universitat Bonn, Mathematisches Institut (2011). Dissertation for the degree of Doctor of Mathematics and Natural Sciences. Google Scholar
-
[Xyl2011] Xylouris, Triantafyllos. On the least prime in an arithmetic progression and estimates for the zeros of Dirichlet -functions. Acta Arithmetica 150 (2011), no. 1, 65-91. DOI (as printed in paper): 10.4064/aa150-1-4. Google Scholar
-
[Xyl2011-def-Paq] loc: Acta Arithmetica (2011) p.65, Introduction, first sentence quote: "Let P (a, q) be the least prime in an arithmetic progression a (mod q) where a and q are coprime positive integers."
-
[Xyl2011-def-Linnik] loc: Acta Arithmetica (2011) p.65, Introduction, paragraph 1 quote: "Linnik proved [12, 13] the impressive upper bound P (a, q) ≤ CqL with effectively computable constants C and L. We will refer to this last inequality as Linnik's theorem."
-
[Xyl2011-ub-5-18] loc: Acta Arithmetica (2011) p.66, Theorem 1.1 quote: "Theorem 1.1. We have P (a, q) ≤ Cq5.18 with an effectively computable constant C."
-
[Xyl2011-historical-table] loc: Acta Arithmetica (2011) p.65, Table 1 "Admissible values for L" quote: "10000 1957 Pan [15], 5448 1958 Pan [16], 777 1965 Chen [1], 630 1971 Jutila [17, p. 370], 550 1970 Jutila [10], 168 1977 Chen [2], 80 1977 Jutila [11], 36 1977 Graham [6], 20 1981 Graham [7], 17 1979 Chen [3], 16 1986 Wang [18], 13.5 1989 Chen and Liu [4], 11.5 1991 Chen and Liu [5], 8 1991 Wang [19], 5.5 1992 Heath-Brown [8]."
-
[MMT2024] Matomaki, Kaisa; Merikoski, Jori; Teravainen, Joni. Primes in arithmetic progressions and short intervals without -functions. arXiv:2401.17570 (2024). arXiv PDF: https://arxiv.org/pdf/2401.17570.pdf. Publisher: https://arxiv.org/abs/2401.17570. Google Scholar
-
[MMT2024-ub-5] loc: arXiv PDF p.1, Introduction, subsection "1.1.1 Linnik's theorem" quote: "The best known exponent here is , due to Xylouris [18], refining the work of Heath-Brown [10]."
-
[MMT2024-ub-350] loc: arXiv abstract quote: "We apply it to obtain a new -function free proof of Linnik's problem of bounding the least prime such that (with the bound ) as well as a new -function free proof that the interval contains primes for every large ."
Progress & source assessment
Repository table (commit 2c1968c, 26 September 2026): best known lower bound 1; best known upper bound 5. Values marked with an asterisk have minimal verification.
Known upper bounds
| Bound | Reference | Comments |
|---|---|---|
| [Xyl2011] | Historical table entry (Pan 1957). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Pan 1958). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Chen 1965). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Jutila 1971). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Jutila 1970). [Xyl2011-historical-table] | |
| [MMT2024] | New -function-free proof of Linnik's problem (coarse exponent). [MMT2024-ub-350] | |
| [Xyl2011] | Historical table entry (Chen 1977). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Jutila 1977). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Graham 1977). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Graham 1981). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Chen 1979). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Wang 1986). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Chen-Liu 1989). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Chen-Liu 1991). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Wang 1991). [Xyl2011-historical-table] | |
| [Xyl2011] | Historical table entry (Heath-Brown 1992). [Xyl2011-historical-table] | |
| [Xyl2011] | Published explicit effective exponent in Theorem 1.1. [Xyl2011-ub-5-18] | |
| [XylDiss2011] | Attributed in modern literature to Xylouris's 2011 dissertation. [MMT2024-ub-5] |
Known lower bounds
| Bound | Reference | Comments |
|---|---|---|
| Trivial: . |
- [1]Davis, Damek; Ivanisvili, Paata; Tao, Terence (maintainers). Optimization Constants in Mathematics, github.com/teorth/optimizationproblems (commit 2c1968c, 26 September 2026). — Linnik's constant ($C_{65}$) linkApache-2.0 (repository license); constant pages reproduced with attribution; repository references retained.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.