REVIEW 4 major objections 6 minor 17 references
Goldbach's Problem in short intervals for numbers with a missing digit
T0 review · 4 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Assuming a zero-free region for Dirichlet L-functions, almost all even numbers with a missing digit in short intervals are sums of two primes.
desk verdict New short-interval Goldbach result for missing-digit numbers, but the core minor-arc bound is a one-line citation transfer that needs verification. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the circle method run on the missing-digit interval. Two families of exponential sums do the work: the weighted prime sums $S_1(\alpha), S_2(\alpha)$ over the intervals $I_1=(X-H,X]$, $I_2=(0,H]$, and the missing-digit exponential sum $F(\alpha)=|[X,X+H]^*|^{-1}\sum_{n\in[X,X+H]^*} e(n\alpha)$. The circle is split into Farey arcs (intervals around rationals $a/q$ with $q \le Q=X^{\varepsilon}$); on the major arcs the main term is the singular series $\sum_q \mu(q)^2\varphi(q)^{-2} c_q(-2n)$ times the trivial convolution count, and the error terms are bounded using the zero-density estimate for Dirichlet $L$-functions and the assumed zero-free region. On the minor arcs, the bound for $S_i(\alpha)$ is imported from earlier work on primes in short intervals and polynomial phases, and the average size of $F(\alpha)$ is controlled by an $L^1$-average estimate for the missing-digit exponential sum. That $L^1$ estimate, together with a type-I decomposition of a smoothed $d_4$ approximant, is the mechanism by which the sparse digit-restricted set behaves like a short interval.
What would settle it
If a direct check of Lemma 1.6 with $H=X^{2/3+\varepsilon}$ and $\delta=X^{-\varepsilon}$ finds even one $\alpha$ on a minor arc (far from every rational with denominator at most $X^\varepsilon$) for which $\max(S_1(\alpha),S_2(\alpha))$ exceeds $H X^{-c_3\varepsilon}$, then the minor-arc integral in the proof is not controlled and the paper's proof of Theorem 1.2 collapses.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.2: if some fixed $c_2>0$ has the property that $L(s,\chi)$ never vanishes in $\Re(s)>1-c_2$ for any Dirichlet character $\chi$, then for $X^{2/3+\varepsilon} \ll H \ll X^{1-\varepsilon}$ and base $g$ sufficiently large, almost all even numbers $m \in [X,X+H]^*$ are Goldbach numbers; equivalently, the set of even exceptions has size $o(|[X,X+H]^*|)$. The proof follows the classical circle-method scheme for Goldbach in short intervals: the unit circle is split into Farey arcs, the major arcs give the main term $\mathfrak{S}(-2n) M^*(2n)$ built from Ramanujan sums, and the minor arcs are controlled by combining an upper bound for the weighted prime exponential sums with an $L^1$-average bound for the missing-digit exponential sum. A supporting result, Theorem 1.1, is unconditional: for $X^{3/5+\varepsilon} \ll H \ll X^{1-\varepsilon}$, the average of $d_4(n)$ over $[X,X+H]^*$ is $O((\log X)^7 |[X,X+H]^*|)$. This divisor bound is used to show that the average of a Ramanujan-sum tail in the major-arc analysis is $o(|[X,X+H]^*|)$, which is what makes the 'almost all' conclusion quantitative.
Load-bearing premise
The load-bearing assumption is that a minor-arc bound on sums over primes proved in earlier work, for slightly different parameters, still holds after the paper replaces the smoothing parameter by $\delta=X^{-\varepsilon}$ and imposes $H\ge X^{2/3+\varepsilon}$; the paper does not verify that the constants survive this substitution, and if they do not, the minor-arc contribution is not controlled and the theorem is not established.
Editorial extensions
If this is right
- Under the zero-free-region assumption, the set of even $m \in [X,X+H]^*$ that are not Goldbach numbers has size $o(|[X,X+H]^*|)$
- The unconditional divisor estimate gives an average order for $d_4(n)$ on missing-digit intervals with only a logarithmic loss, matching what is known for ordinary short intervals up to the exponent of $\log X$
- The main-term shape $\mathfrak{S}(-2n) M^*(2n)$ shows the Goldbach asymptotic inside the digit-restricted interval has the same singular-series structure as the classical Goldbach problem
- The combination of the type-I decomposition and the missing-digit Fourier bound is what makes the minor-arc integral $o(H |[X,X+H]^*|)$, so the same two inputs should control other binary additive problems over the same sets
Reading between the lines
- Beyond the paper's claims, the same circle-method template should work for any sparse digit-constrained set whose exponential sum has small $L^1$ average (on the order of $N^{-1+o(1)}$), suggesting a general principle linking small Fourier dimension to short-interval Goldbach phenomena
- The unconditional $d_4$ bound is likely to be reused independently, for example in shifted divisor sums or correlations over missing-digit sets that currently rely on weaker pointwise estimates
- A computational check of Lemma 1.6 for moderate $X=g^k$, $H=X^{2/3+\varepsilon}$, and a few exclusions $b$ would reveal whether the imported minor-arc constants are plausible; a violation on the complement of the Farey arcs would point to the exact repair needed
- The paper does not address what happens below $H=X^{2/3+\varepsilon}$; determining whether that threshold is an artifact of the imported estimates or an intrinsic feature of the digit set would clarify the limits of the method
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies Goldbach's problem over integers in a short interval [X,X+H] that have a missing base-g digit. Assuming a fixed zero-free region for Dirichlet L-functions, it claims (Theorem 1.2) that for H ≥ X^{2/3+ε} and g sufficiently large, almost all even elements of [X,X+H]^* are Goldbach numbers. The proof uses the Hardy–Littlewood circle method: major arcs are treated via zero-density estimates and the zero-free-region assumption (Lemma 1.5), the prime exponential sums on minor arcs are bounded by a transfer from Matomäki–Shao (Lemma 1.6), and the missing-digit set is handled through an L1-average estimate for its Fourier sum (Lemma 1.7). A supporting result, Theorem 1.1, bounds the fourth divisor function over [X,X+H]^* by O((log X)^7 |[X,X+H]^*|) for H ≥ X^{3/5+ε}, and is proved by approximating d4 via type-I sums and using a similar major/minor-arc decomposition. The paper is conditional on an external unproved hypothesis (a zero-free region for Dirichlet L-functions), but it also contains several internal inputs that are asserted without proof.
Significance. If the gaps were filled, the result would be a natural and valuable extension of the Perelli–Pintz short-interval Goldbach theorem to digit-restricted numbers, combining recent developments in short-interval prime correlations with Fourier analysis of missing-digit sets. The overall strategy is coherent, and the major-arc computation in Theorem 1.2 is standard. The paper also gives credit to the recent machinery of Matomäki–Shao and Matomäki–Radziwiłł–Shao–Tao–Teräväinen; a complete proof would be a useful contribution. However, as submitted the central claims rest on several unproved or merely cited inputs—notably Lemma 1.6, Lemma 1.7, and Proposition 3.5—so the significance can only be assessed after those gaps are closed. The manuscript is not currently self-contained enough to verify the headline theorem.
major comments (4)
- [§1.2, Lemma 1.6] This lemma is the decisive minor-arc estimate in Theorem 1.2, and its proof is a one-sentence delegation to [12] ('The proof comes from the argument in [12]. The only difference is, we use δ as a power of X^{-ε}'). No precise statement from [12] is quoted, and the manuscript does not verify that the hypotheses of that theorem hold for H = X^{2/3+ε}, Q = X^ε, and β(δ) = (log X)^{37}/(Hδ). In particular, it is not shown that H lies in the range required by the cited result, that the Farey-arc width β(δ) is compatible with the cited result's constants, or that the saving c3 can be chosen uniformly in g. Since the minor-arc contribution in Section 1.3 is controlled exactly by this bound, the claimed conclusion o(H|[X,X+H]^*|) is not established unless Lemma 1.6 is proved in detail.
- [§1.2, Lemma 1.7] Lemma 1.7 is an unproved assertion about the L1-average of the normalized missing-digit Fourier sum F_{[X,X+H]}. It is used in Proposition 2.2 (to replace S4 by S4^♯), in Proposition 2.5 (to control the minor arcs in the d4 argument), and in the final minor-arc estimate of Section 1.3. The proof is absent, and no reference is given. The statement is nontrivial: the exponent log(log g+1)/log(g-1) is not derived. Furthermore, the final o(H|[X,X+H]^*|) conclusion requires this exponent to be smaller than 2c3ε, where c3 is the constant in Lemma 1.6; the necessary quantitative condition on g (which depends on ε and c3) is never stated. Thus both Theorem 1.1 and Theorem 1.2 rest on this unproved input.
- [§2, Proposition 3.5] Proposition 3.5, which supplies the minor-arc bound for S4^♯(α;H), is asserted without proof ('By combining the above results, we get the following'). The preceding Proposition 3.4 is an inverse theorem: a large exponential sum forces α to be close to a rational with q ≪ D(δ)^{-1} and ‖qα‖ ≤ q/(HδD(δ)). To obtain a uniform bound on the minor arcs, one must show that every α satisfying these conditions lies in the major arcs M defined in Section 1.2, with Q = X^ε and the given width β(δ). This verification is not included. In addition, the proof of Proposition 3.4 is sketchy and contains notational slips in the Cauchy–Schwarz step and in the use of the conditions D(δ)B ≪ 1 and D(δ)B ≫ 1; a complete proof with correct constants is needed before Theorem 1.1 can be accepted.
- [§1.2, Lemma 1.5] The proof of Lemma 1.5 is too compressed and leaves a necessary condition unstated. The bound (1.6) uses the density estimate and the zero-free region to obtain ∑χ |Wi(χ,0)|^2 ≪ H^2 q^{5ε} X^{-1.25c2+o(1)}, and the text then concludes that the left-hand side of (1.4) is bounded by δ^{-3/2} Q logQ H X^{-0.625c2+o(1)}. For this to be o(H), one needs ε to be sufficiently small in terms of c2; the paper only says at the start of Section 1.1 that ε is a sufficiently small constant, but the precise condition is not spelled out. Also, the notation for D(δ) and β(δ) is inconsistent: near (1.4) D(δ) is defined as (log X)^{-36-1} and β(δ) = 1/(HδD(δ)), while the proof writes β(δ) = (log X)^{36+1}/(Hδ). These are the same quantity, but the reader is left to reconstruct the algebra, and the powers of log X in the final bound are not checked. Since Lemma 1.5 is used to discard the cross terms in the major arcs, this section needs a full, self-contained derivation.
minor comments (6)
- [§1.3, heading] The heading 'Proof of Theorem 1.3 assuming Theorem 1.2' should read 'Proof of Theorem 1.2'.
- [Eq. (1.9) and Theorem 1.1] The set [X,X+H]^* is written as '[X.X +H]∗' in (1.9) and as '[x,x+H]*' in the statement of Theorem 1.1; these typographical inconsistencies should be corrected.
- [Proposition 2.5] The statement 'o(|[1.H ]∗|)' should be 'o(|[X,X+H]^*|)'.
- [Proposition 2.4] The displayed error term is O(X^{5ε}H^{3ε}), while the text immediately before the display says O(X^{5ε}H^{ε}); the two should be reconciled.
- [§1.2, definitions] The exponent in D(δ) := (log X)^{-36-1} would be clearer as -37, and the proof of Lemma 1.5 writes β(δ) = (log X)^{36+1}/(Hδ), which is the same as 1/(HδD(δ)) only after careful parsing.
- [§3, Lemma 3.1] In the proof of Lemma 3.1, the use of the pigeonhole principle should be spelled out more fully; as written, the two consecutive applications are hard to follow.
Circularity Check
No circularity: the argument is conditional on an external zero-free-region assumption and imported estimates; the only self-citation is motivational, and the two support gaps are unverified transfers, not circular reductions.
full rationale
The derivation chain for Theorem 1.2 is a standard Hardy-Littlewood circle method, with the missing-digit set entering only as the averaging weight in the minor-arc contribution. The main inputs are the stated zero-free region (Section 1, Assumption), Jutila's zero-density estimate (Lemma 1.3), the standard explicit formula (Lemma 1.4, citing Harman), the external minor-arc estimate delegated to Matomaki-Shao (Lemma 1.6), and the approximant/type-I machinery of Matomaki, Shao, Tao, and Teravainen (Propositions 2.1, 3.4, Lemma 3.3). No fitting of constants to the output occurs, and no displayed quantity is defined in terms of the Goldbach conclusion, so the theorem is not equivalent to its assumptions by construction. The self-citation to the author's earlier paper [9] in the introduction ('In [9], we proved that (1.1) ... We will follow a similar argument') is motivational rather than load-bearing: no estimate used in the proofs is imported from [9]. Two genuine verification gaps are present but are not circularity. First, Lemma 1.6 is dispatched with the sentence 'The proof comes from the argument in [12]. The only difference is, we use delta as a power of X^{-epsilon}', without checking that the hypotheses and constants of [12] survive the substitution; this is an unverified black-box transfer, not a self-referential reduction. Second, Lemma 1.7 is stated without proof or citation and is used crucially in Section 1.3 and Section 2; this is an omitted support, and if it is supplied only by the author's own unpublished work that fact is not shown in the text, but in either case the lemma is a separate Fourier-average input, not the target Goldbach statement. Accordingly, the circularity score is 0.
Assumptions & free parameters
free parameters (2)
- epsilon =
arbitrarily small; no numerical value
- c2 (zero-free region width) =
some fixed positive constant, not specified
assumptions (6)
- domain assumption Zero-free region for Dirichlet L-functions: L(s,chi) != 0 for Re(s)>1-c2 for all characters chi, for some fixed c2>0.
- domain assumption The base g is sufficiently large depending on epsilon.
- standard math Jutila zero-density estimate (Lemma 1.3): N(sigma,T,q) << (qT)^{(2+epsilon)(1-sigma)+o(1)}.
- standard math Matomaki-Shao-Tao-Teravainen higher-uniformity and discorrelation results from [11], [12], [13], including the approximation of d4 by d4-sharp (Proposition 2.1) and the inverse theorem (Proposition 3.4).
- ad hoc to paper Lemma 1.7: the L1-average of the missing-digit Fourier sum F_{[X,X+H]} is bounded by |[X,X+H]*|^{-1+log((log g)+1)/log(g-1)}.
- standard math Dartyge-Mauduit Lemma 2.6 on the distribution of the missing-digit set in arithmetic progressions.
Cite this review
Pith. "Pith review of Goldbach's Problem in short intervals for numbers with a missing digit." pith.science (2026). https://pith.science/paper/5ZQSES4E
@misc{pith2026241219975,
author = {Pith},
title = {Pith review of: Goldbach's Problem in short intervals for numbers with a missing digit},
year = {2026},
howpublished = {\url{https://pith.science/paper/5ZQSES4E}},
note = {Machine review of arXiv:2412.19975}
}
abstract
In this paper, by assuming a zero-free region for Dirichlet L-functions, we show that almost all even integers $n$ in a short interval $[x,x+x^{2/3+\varepsilon}]$ with a missing digit are Goldbach numbers.
Reference graph
Works this paper leans on
-
[12]
Discorrelation bet ween primes in short intervals and polynomial phases
Kaisa Matomäki and Xuancheng Shao. Discorrelation bet ween primes in short intervals and polynomial phases. Int. Math. Res. Not. IMRN , (16):12330–12355, 2021
work page 2021
-
[1]
Banks, Alessandro Conflitti, and Igor E
William D. Banks, Alessandro Conflitti, and Igor E. Shpar linski. Character sums over integers with restricted g-ary digits. Illinois J. Math. , 46(3):819–836, 2002
work page 2002
-
[2]
Digitally restricted sets and the go ldbach conjecture: An exceptional set result, 2024
James Cumberbatch. Digitally restricted sets and the go ldbach conjecture: An exceptional set result, 2024
work page 2024
-
[3]
Nombres presque p remiers dont l’écriture en base r ne comporte pas certains chiffres
Cécile Dartyge and Christian Mauduit. Nombres presque p remiers dont l’écriture en base r ne comporte pas certains chiffres. J. Number Theory , 81(2):270–291, 2000
work page 2000
-
[4]
Ensembles de den sitĂŠ nulle contenant des entiers possĂŠdant au plus deux facteurs premiers
CĂŠcile Dartyge and Christian Mauduit. Ensembles de den sitĂŠ nulle contenant des entiers possĂŠdant au plus deux facteurs premiers. Journal of Number Theory , 91(2):230–255, 2001
work page 2001
-
[5]
On ar ithmetic properties of integers with missing digits
Paul Erdős, Christian Mauduit, and András Sárközy. On ar ithmetic properties of integers with missing digits. I. Distribution in residue classes. J. Number Theory , 70(2):99–120, 1998
work page 1998
-
[6]
On ar ithmetic properties of integers with missing digits
Paul Erdős, Christian Mauduit, and András Sárközy. On ar ithmetic properties of integers with missing digits. II. Prime factors. volume 200, pages 14 9–164. 1999. Paul Erdős memorial collection
work page 1999
-
[7]
Prime-detecting sieves, volume 33 of London Mathematical Society Monographs Series
Glyn Harman. Prime-detecting sieves, volume 33 of London Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2007
work page 2007
Show all 17 references
-
[8]
On Linnik’s constant
Matti Jutila. On Linnik’s constant. Math. Scand., 41(1):45–62, 1977
1977
-
[9]
The divisor function over integers with a mi ssing digit, 2024
Jiseong Kim. The divisor function over integers with a mi ssing digit, 2024
2024
-
[10]
Arithmetic properties of integers wi th missing digits: distribution in residue classes
Sergei Konyagin. Arithmetic properties of integers wi th missing digits: distribution in residue classes. Period. Math. Hungar. , 42(1-2):145–162, 2001
2001
-
[11]
Higher uniformity of arithmetic functions in short interva ls ii
Kaisa Matomäki, Maksym Radziwiłł, Xuancheng Shao, Ter ence Tao, and Joni Teräväinen. Higher uniformity of arithmetic functions in short interva ls ii. almost all intervals, 2024
2024
-
[13]
Higher uniformity of arithmetic functions in short intervals I
Kaisa Matomäki, Xuancheng Shao, Terence Tao, and Joni T eräväinen. Higher uniformity of arithmetic functions in short intervals I. All intervals. Forum Math. Pi , 11:Paper No. e29, 97, 2023
2023
-
[14]
Primes with restricted digits
James Maynard. Primes with restricted digits. Invent. Math. , 217(1):127–218, 2019
2019
-
[15]
Primes with a missing digit: distribu tion in arithmetic progressions and an application in sieve theory
Kunjakanan Nath. Primes with a missing digit: distribu tion in arithmetic progressions and an application in sieve theory. J. Lond. Math. Soc. (2) , 109(1):Paper No. e12837, 59, 2024
2024
-
[16]
Perelli and J
A. Perelli and J. Pintz. On the exceptional set for Goldb ach’s problem in short intervals. J. London Math. Soc. (2) , 47(1):41–49, 1993
1993
-
[17]
Higher order Fourier analysis , volume 142 of Graduate Studies in Mathematics
Terence Tao. Higher order Fourier analysis , volume 142 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2012. The University of Mississippi, Department of Mathematics Hume Ha ll 335 Oxford, MS 38677 Email address : Jkim51@olemiss.edu
2012
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.