An update on the Linnik--Goldbach and Romanov problems
Pith reviewed 2026-05-20 01:19 UTC · model grok-4.3
The pith
Under the generalized Riemann hypothesis, every large even integer is the sum of two primes and six powers of two.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish that, under the generalised Riemann hypothesis, six powers of two suffice for the Linnik-Goldbach problem of writing all large even integers as the sum of two primes and that many powers of two. They further show unconditionally that more than 25 percent of odd numbers can be written as the sum of a prime and a power of two, thereby improving the best known lower bound for Romanov's constant.
What carries the argument
The generalized Riemann hypothesis applied to Dirichlet L-functions to control prime distributions when adding a fixed number of powers of two.
If this is right
- All sufficiently large even integers admit a representation as the sum of two primes and exactly six powers of two under GRH.
- The set of odd integers of the form prime plus power of two has asymptotic density greater than 25 percent.
- The previous conditional bound on the number of powers of two needed is reduced to six.
- Romanov's constant is bounded below by a number strictly larger than 0.25.
Where Pith is reading between the lines
- The same analytic techniques might be adapted to obtain bounds for similar problems that replace powers of two with powers of other small integers.
- An unconditional version of the six-power result would constitute a major step toward effective forms of the Goldbach conjecture.
- Direct computation of representations for even numbers up to moderately large bounds could provide supporting evidence for the asymptotic statement.
- The density improvement suggests that the true Romanov constant may be substantially larger than the new lower bound.
Load-bearing premise
The generalized Riemann hypothesis is assumed in order to obtain the bound of six powers of two in the Linnik-Goldbach problem.
What would settle it
An explicit even integer larger than the theorem's implicit constant that cannot be written as the sum of two primes and six powers of two would disprove the Linnik-Goldbach claim if the generalized Riemann hypothesis holds; for the density claim, a computation showing that the proportion of odd integers up to a large X representable as a prime plus a power of two falls to 25 percent or below.
read the original abstract
We consider the Linnik--Goldbach problem of writing all large even integers as the sum of two primes and a fixed number of powers of 2. We show that, under the generalised Riemann hypothesis, one can use 6 powers of two. In addition, we update the best known bounds on Romanov's constant, showing unconditionally that more than $25\%$ of odd numbers can be written as the sum of a prime and a power of 2.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript addresses the Linnik-Goldbach problem of representing all sufficiently large even integers as the sum of two primes and a fixed number of powers of 2. It establishes that, under the generalized Riemann hypothesis, six powers of 2 are sufficient. Unconditionally, the paper improves the lower bound on Romanov's constant by proving that more than 25% of odd positive integers can be written as the sum of a prime and a power of 2.
Significance. If the derivations hold, the work supplies a concrete improvement to the conditional Linnik-Goldbach exponent (now 6 under GRH) and raises the unconditional density threshold for Romanov's problem above 25%. Both results rest on standard applications of the circle method and sieve methods, with GRH invoked only for the sharper count; the explicit density estimates in the unconditional part constitute a verifiable strengthening of prior bounds.
major comments (1)
- [GRH application for Linnik-Goldbach] The derivation of the exponent 6 under GRH (presumably in the main Linnik-Goldbach section): the error-term estimates arising from the GRH zero-density bounds must be tracked explicitly through the major-arc and minor-arc contributions to confirm that the threshold for 'sufficiently large' even integers is finite and that no additional exceptional-set handling is required beyond what is stated.
minor comments (2)
- [Abstract] The abstract would benefit from a brief parenthetical reference to the previous best conditional exponent under GRH so that the improvement to six is immediately visible.
- [Romanov constant update] In the Romanov section, the precise numerical value of the previous lower bound being superseded should be recalled when stating the new >25% result.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for the positive recommendation of minor revision. The comments help clarify the presentation of the GRH-based result. We respond to the major comment below.
read point-by-point responses
-
Referee: [GRH application for Linnik-Goldbach] The derivation of the exponent 6 under GRH (presumably in the main Linnik-Goldbach section): the error-term estimates arising from the GRH zero-density bounds must be tracked explicitly through the major-arc and minor-arc contributions to confirm that the threshold for 'sufficiently large' even integers is finite and that no additional exceptional-set handling is required beyond what is stated.
Authors: We thank the referee for highlighting the need for explicit tracking of error terms. In the proof that six powers of 2 suffice under GRH, the major arcs are treated using the GRH version of the prime number theorem in arithmetic progressions, while the minor arcs are bounded via standard GRH zero-density estimates (of the form N^{1-δ} for some δ>0). These bounds are applied directly to the exponential sum over the powers of 2, ensuring the minor-arc contribution is smaller than the main term (which is asymptotically c N (log N)^{-2} times the singular series) for all even N exceeding an effective constant depending only on the GRH constants. No additional exceptional-set analysis is needed because the error is absorbed uniformly. To make this fully transparent, the revised version will include a short subsection explicitly recording the dependence of the implied constants on the zero-density exponent and verifying that the resulting threshold is finite. revision: yes
Circularity Check
No significant circularity; derivation relies on external GRH and standard tools
full rationale
The paper states its results under the explicit external assumption of the generalized Riemann hypothesis for the Linnik-Goldbach bound of six powers of two, and provides an unconditional lower bound exceeding 25% for the Romanov problem via density estimates. The derivation chain uses the circle method and sieve techniques as standard analytic number theory machinery. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the GRH hypothesis is invoked only where necessary and is not derived from the paper's own equations or prior self-referential results. The central claims remain independent of any internal fitting or renaming of known patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Generalized Riemann Hypothesis
Reference graph
Works this paper leans on
-
[1]
Bombieri, E. and Davenport, H. (1966). Small differences between prime numbers.Proc. Roy. Soc. Ser. A, 293(1432):1–18
work page 1966
-
[2]
Chen, J. R. (1978). On the Goldbach’s problem and the sieve methods.Sci. Sinica, 21(6):701–739
work page 1978
-
[3]
Chen, Y., Dai, X., and Li, H. (2025). Some computational results on a conjecture of de Polignac about numbers of the formp+ 2 k.J. Number Theory, 266:249–268
work page 2025
-
[4]
M., Del Corso, I., Dvornicich, R., and Romani, F
Del Corso, G. M., Del Corso, I., Dvornicich, R., and Romani, F. (2020). On computing the density of integers of the form 2 n +p.Math. Comp., 89(325):2365–2386
work page 2020
-
[5]
Elsholtz, C. and Schlage-Puchta, J.-C. (2018). On Romanov’s constant.Math. Z., 288(3- 4):713–724
work page 2018
-
[6]
Erd˝ os, P. (1950). On integers of the form 2 k +pand some related problems.Summa Brasil. Math., 2:113–123
work page 1950
-
[7]
Friedlander, J. B. and Iwaniec, H. (2010).Opera de Cribro. American Mathematical Society, Providence RI. 16
work page 2010
-
[8]
(2013).Sieves in Number Theory
Greaves, G. (2013).Sieves in Number Theory. Springer-Verlag, Berlin Heidelberg
work page 2013
-
[9]
Halberstam, H. and Richert, H. (1974).Sieve Methods. Academic Press, London
work page 1974
-
[10]
Hardy, G. H. and Littlewood, J. E. (1923). Some problems of “partitio numerorum”, III: On the expression of a number as a sum of primes.Acta Math., 44(1):1–70
work page 1923
-
[11]
Hathi, S. (2022). Representation of even integers as a sum of squares of primes and powers of two.Acta Arith., 206(4):353–372
work page 2022
-
[12]
Heath-Brown, D. R. (1979). The density of zeros of Dirichlet’sL-functions.Canadian J. Math., 31(2):231–240
work page 1979
-
[13]
Heath-Brown, D. R. (2002). Lectures on sieves.Available at arXiv:0209360
work page 2002
-
[14]
Heath-Brown, D. R. and Schlage-Puchta, J.-C. (2002). Integers represented as a sum of primes and powers of two.Asian J. Math., 6(3):535–565
work page 2002
-
[15]
Iwaniec, H. (1980). A new form of the error term in the linear sieve.Acta Arith., 37:307–320
work page 1980
-
[16]
Khalfalah, A. and Pintz, J. (2006). On the representation of Goldbach numbers by a bounded number of powers of two. InElementare und analytische Zahlentheorie, pages 129–142. Schr. Wiss. Ges. Johann Wolfgang Goethe Univ. Frankfurt am Main
work page 2006
- [17]
-
[18]
Lichtman, J. D. (2025). A modification of the linear sieve, and the count of twin primes. Algebra Number Theory, 19(1):1–38
work page 2025
-
[19]
Linnik, Y. V. (1953). Addition of prime numbers with powers of one and the same number (in Russian).Mat. Sbornik N.S., 74(32):3–60
work page 1953
-
[20]
Liu, J., Liu, M., and Wang, T. (1998). The number of powers of 2 in a representation of large even integers II.Sci. China Ser. A, 41(12):1255–1271
work page 1998
-
[21]
Maynard, J. (2025a). Primes in Arithmetic Progressions to Large Moduli I: Fixed Residue Classes.Mem. Amer. Math. Soc., 306(1542)
-
[22]
Maynard, J. (2025b). Primes in Arithmetic Progressions to Large Moduli II: Well- Factorable Estimates.Mem. Amer. Math. Soc., 306(1543)
-
[23]
Maynard, J. (2025c). Primes in Arithmetic Progressions to Large Moduli III: Uniform Residue Classes.Mem. Amer. Math. Soc., 306(1544). 17
- [24]
-
[25]
Pintz, J. (2006). A note on Romanov’s constant.Acta Math. Hungar., 112(1-2):1–14
work page 2006
-
[26]
Pintz, J. (2023). A new explicit formula in the additive theory of primes with applications I. The explicit formula for the Goldbach problem and the Generalized Twin Prime Problem.Acta Arith., 210:53–94
work page 2023
-
[27]
Pintz, J. and Ruzsa, I. Z. (2003). On Linnik’s approximation to Goldbach’s problem I. Acta Arith., 109(2):169–194
work page 2003
-
[28]
Pintz, J. and Ruzsa, I. Z. (2020). On Linnik’s approximation to Goldbach’s problem II. Acta Math. Hungar., 161(2):569–582
work page 2020
-
[29]
Platt, D. J. and Trudgian, T. S. (2015). Linnik’s approximation to Goldbach’s conjecture, and other problems.J. Number Theory, 153:54–62
work page 2015
-
[30]
Romani, F. (1983). Computations concerning primes and powers of two.Calcolo, 20(3):319–336
work page 1983
-
[31]
Romanoff, N. P. (1934). ¨Uber einige S¨ atze der additiven Zahlentheorie.Math. Ann., 109(1):668–678
work page 1934
-
[32]
van der Corput, J. G. (1950). On de Polignac’s conjecture.Simon Stevin, 27:99–105
work page 1950
-
[33]
Wu, J. (2004). Chen’s double sieve, Goldbach’s conjecture and the twin prime problem. Acta Arith., 114(3):215–273. 18
work page 2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.