pith. sign in

arxiv: 2605.17825 · v1 · pith:PXQLO3H7new · submitted 2026-05-18 · 🧮 math.NT

An update on the Linnik--Goldbach and Romanov problems

Pith reviewed 2026-05-20 01:19 UTC · model grok-4.3

classification 🧮 math.NT
keywords Linnik-Goldbach problemRomanov problempowers of twogeneralized Riemann hypothesisGoldbach conjectureadditive basesprime plus power of twodensity of sums
0
0 comments X

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.

The paper advances the Linnik-Goldbach problem by proving that six powers of two are enough, under the generalized Riemann hypothesis, so that every sufficiently large even integer equals two primes plus those six powers. It also strengthens the unconditional result on Romanov's problem, establishing that more than 25 percent of odd positive integers equal a prime plus one power of two. These improvements refine earlier bounds on how many powers of two are required in the conditional setting and raise the known lower density in the unconditional setting. A reader would care because the problems test how far primes and powers of two can serve as additive bases for the integers.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

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)
  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)
  1. [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.
  2. [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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The Linnik-Goldbach result depends on the generalized Riemann hypothesis; the Romanov result is unconditional. No free parameters or new invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Generalized Riemann Hypothesis
    Invoked to obtain the bound of six powers of two for the Linnik-Goldbach problem.

pith-pipeline@v0.9.0 · 5593 in / 1115 out tokens · 31961 ms · 2026-05-20T01:19:58.598437+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    and Davenport, H

    Bombieri, E. and Davenport, H. (1966). Small differences between prime numbers.Proc. Roy. Soc. Ser. A, 293(1432):1–18

  2. [2]

    Chen, J. R. (1978). On the Goldbach’s problem and the sieve methods.Sci. Sinica, 21(6):701–739

  3. [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

  4. [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

  5. [5]

    and Schlage-Puchta, J.-C

    Elsholtz, C. and Schlage-Puchta, J.-C. (2018). On Romanov’s constant.Math. Z., 288(3- 4):713–724

  6. [6]

    Erd˝ os, P. (1950). On integers of the form 2 k +pand some related problems.Summa Brasil. Math., 2:113–123

  7. [7]

    Friedlander, J. B. and Iwaniec, H. (2010).Opera de Cribro. American Mathematical Society, Providence RI. 16

  8. [8]

    (2013).Sieves in Number Theory

    Greaves, G. (2013).Sieves in Number Theory. Springer-Verlag, Berlin Heidelberg

  9. [9]

    and Richert, H

    Halberstam, H. and Richert, H. (1974).Sieve Methods. Academic Press, London

  10. [10]

    partitio numerorum

    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

  11. [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

  12. [12]

    Heath-Brown, D. R. (1979). The density of zeros of Dirichlet’sL-functions.Canadian J. Math., 31(2):231–240

  13. [13]

    Heath-Brown, D. R. (2002). Lectures on sieves.Available at arXiv:0209360

  14. [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

  15. [15]

    Iwaniec, H. (1980). A new form of the error term in the linear sieve.Acta Arith., 37:307–320

  16. [16]

    and Pintz, J

    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

  17. [17]

    Lichtman, J. D. (2023). Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier.Preprint available at arXiv:2309.08522

  18. [18]

    Lichtman, J. D. (2025). A modification of the linear sieve, and the count of twin primes. Algebra Number Theory, 19(1):1–38

  19. [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

  20. [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

  21. [21]

    Maynard, J. (2025a). Primes in Arithmetic Progressions to Large Moduli I: Fixed Residue Classes.Mem. Amer. Math. Soc., 306(1542)

  22. [22]

    Maynard, J. (2025b). Primes in Arithmetic Progressions to Large Moduli II: Well- Factorable Estimates.Mem. Amer. Math. Soc., 306(1543)

  23. [23]

    Maynard, J. (2025c). Primes in Arithmetic Progressions to Large Moduli III: Uniform Residue Classes.Mem. Amer. Math. Soc., 306(1544). 17

  24. [24]

    Pascadi, A. (2025). On the exponents of distribution of primes and smooth numbers. Preprint available at arXiv:2505.00653

  25. [25]

    Pintz, J. (2006). A note on Romanov’s constant.Acta Math. Hungar., 112(1-2):1–14

  26. [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

  27. [27]

    and Ruzsa, I

    Pintz, J. and Ruzsa, I. Z. (2003). On Linnik’s approximation to Goldbach’s problem I. Acta Arith., 109(2):169–194

  28. [28]

    and Ruzsa, I

    Pintz, J. and Ruzsa, I. Z. (2020). On Linnik’s approximation to Goldbach’s problem II. Acta Math. Hungar., 161(2):569–582

  29. [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

  30. [30]

    Romani, F. (1983). Computations concerning primes and powers of two.Calcolo, 20(3):319–336

  31. [31]

    Romanoff, N. P. (1934). ¨Uber einige S¨ atze der additiven Zahlentheorie.Math. Ann., 109(1):668–678

  32. [32]

    van der Corput, J. G. (1950). On de Polignac’s conjecture.Simon Stevin, 27:99–105

  33. [33]

    Wu, J. (2004). Chen’s double sieve, Goldbach’s conjecture and the twin prime problem. Acta Arith., 114(3):215–273. 18