REVIEW 4 major objections 4 minor 26 references
Almost primes and primes that are sums of two squares plus one
T0 review · 4 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper proves that infinitely many primes $p=m^2+n^2+1$ satisfy $\Omega(p+2)\le 11$, with count $\gg x/(\log x)^{5/2}$.
desk verdict A genuine new result in sieve theory, but the load-bearing vector-sieve proposition is only sketched and needs a real proof before I'd trust the constant. 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 carrying object is the vector-sieve fundamental lemma for two $\beta$ sieves of different dimensions (Proposition 3.10). A $\beta$ sieve of dimension $\kappa$ is a combinatorial sieve whose weights are Möbius functions restricted to specified divisors, with $\kappa=1/2$ giving the semi-linear sieve and $\kappa=1$ giving the linear sieve. The lemma counts pairs $(m,n)$ surviving two different prime sets, $\mathcal P_1$ and $\mathcal P_2$, by pre-sieving out small primes below $z_0=(\log z_1z_2)^{1/3}$ and then bounding the doubly-sifted count by the $\beta$-sieve functions $F_1,F_2$ and $f_1,f_2$, combined through the inf/sup formulas (3.13) and (3.14). The same framework is used in two modes: a lower-bound mode for the main sifting term, and an upper-bound weighted mode in which a weight $1-\log p/\log y$ is summed over prime divisors of $p+2$. The remaining error terms are controlled by mean-value estimates for primes in arithmetic progressions.
What would settle it
Recompute the numerical value of the main-term constant $H(0.14,0.23,0.449,0.011)$ from the displayed formulas; if the computed value is not positive, the proof's parameter search fails. Separately, test Proposition 3.10 on a model two-dimensional sequence with the same local densities: any concrete violation of its claimed upper or lower inequality would refute the lemma the theorem rests on.
Extended reading notes
Core claim
The paper's central claim is a lower-bound, sieve-theoretic result: for all large $x$, the number of primes $p\le x$ of the form $p=m^2+n^2+1$ whose shift $p+2$ has at most 11 prime factors is $\gg x/(\log x)^{5/2}$. The argument decomposes the sieving by the set of primes congruent to $3$ modulo $4$: the setup forces $p-1$ to have exactly one factor of $2$, so the representation condition reduces to the absence of $3\pmod 4$ prime factors in the odd part. A vector-sieve fundamental lemma supplies lower and upper bounds for two simultaneous $\beta$ sieves of dimensions $1/2$ and $1$; the Buchstab term is handled by a switching principle; and a logarithmic weight function is optimized numerically with the parameters $\theta_2=0.011$, $\theta_1=0.449$, $\theta=0.23$, and $\lambda=0.14$, producing the bound 11.
Load-bearing premise
The proof relies on a vector-sieve lemma that joins a half-dimensional sieve with a linear sieve, and the paper only sketches why that combination works; if the mixed-dimension lemma fails, the lower bound collapses.
Editorial extensions
If this is right
- There are infinitely many primes $p$ with $p=m^2+n^2+1$ and $\Omega(p+2)\le 11$.
- The lower bound has the same shape $x/(\log x)^{5/2}$ as the conjectured count for the case $p+2$ prime, so the almost-prime condition does not cost an extra logarithmic factor.
- Under a strong equidistribution conjecture for primes in arithmetic progressions, the argument can be adapted to force $\Omega(p+2)\le 3$.
- The same vector-sieve framework extends to products such as $(p+2)(p+6)$, and a multi-variable version would handle simultaneous almost-prime conditions on several shifts with count $\gg x/(\log x)^{7/2}$ for suitable optimizable bounds.
- Numerical optimization of the parameters $\theta,\theta_1,\theta_2,\lambda$ could lower the number 11 within the same proof framework.
Reading between the lines
- The value 11 appears to be a computational artifact of a coarse parameter search rather than a structural limit; a finer optimization or a small improvement to the sieve lemma could plausibly reduce it.
- The mixed-dimension vector-sieve lemma is likely reusable for other sparse prime sets defined by one representation condition and one almost-prime condition, provided the corresponding local density and prime-distribution estimates are available.
- A natural test of the architecture is to compare the proven lower bound with the heuristic constant on finite ranges; if the ratio settles near $x/(\log x)^{5/2}$, the remaining gap to an asymptotic formula looks mostly technical.
- The multi-shift extension discussed in the paper is where the method faces its sharpest test, since a genuine multi-variable vector sieve would require distribution estimates beyond those used here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims Theorem 1.1: #{p ≤ x : p prime, p = m^2+n^2+1, m,n ∈ N, Ω(p+2) ≤ 11} ≫ x/(log x)^{5/2}. The proof combines Iwaniec's semi-linear sieve for the condition that p−1 is a sum of two squares with a linear sieve for p+2, using a new vector sieve (Proposition 3.10) for two beta sieves of mixed dimensions, together with Richert's weighted sieve to control the number of prime factors of p+2. The final arithmetic is reduced to a numerical optimization of four parameters (θ1, θ2, θ, λ) for which H(0.14, 0.23, 0.449, 0.011) = 1.2471 > 0.
Significance. If the result is correct, it is a genuine advance: it gives an unconditional lower bound of the expected order of magnitude for primes of a sparse quadratic form with a bounded shift, extending Iwaniec's theorem on primes p = m^2+n^2+1. The vector sieve for two beta sieves of different dimensions is an interesting technique with potential applications to other sparse prime problems. The paper is clearly written and the overall strategy is standard, following Heath-Brown and Li. However, the load-bearing Proposition 3.10 is only sketched, and there are inconsistencies between its statement and its application that need to be resolved before the argument is complete.
major comments (4)
- [Section 3.3, Proposition 3.10] The proof of the lower-bound part of Proposition 3.10 is only sketched and refers to [8, Section 3.3] for the main-term evaluation. That reference treats two linear sieves with a multiplicative density h(d1,d2) = h1(d1)h2(d2), whereas the present application uses κ1 = 1/2 and κ2 = 1 with P1 = {p ≡ 3 mod 4} and P2 = all primes. For p ∈ P1 ∩ P2, axiom (A2) does not imply h(p,p) = h(p,1)h(1,p), so the lower-bound combination δ1^-δ2^+ + δ1^+δ2^- − δ1^+δ2^+ on page 13 requires an independent evaluation. The formula (3.14) for f(σ1,σ2) is asserted without derivation, and Propositions 4.1 and 4.3 depend directly on this formula. This is a load-bearing gap.
- [Section 3.3 / Section 5] Proposition 3.10 explicitly assumes log z1 ≍ log z2, but the numerical parameters chosen in Section 5, θ1 = 0.449 and θ2 = 0.011, give log z1 / log z2 = θ1/θ2 ≈ 40.8, which is not bounded by an absolute constant. Propositions 4.1 and 4.3 apply Proposition 3.10 with z1 = x^{θ1} and z2 = x^{θ2}, so the main theorem is obtained outside the stated range of validity. Either the optimization must be restricted to θ1 ≍ θ2, or Proposition 3.10 must be proven without this condition.
- [Section 4.1, proof of Proposition 4.1] There is an inconsistency in the choice of z0. Proposition 3.10 states z0 = e^{(log z1 z2)^{1/3}}, but the proof of Proposition 4.1 (after equation (4.4)) uses z0 = e^{(log z1 z2)^{1/2}}. These correspond to different pre-sieving levels, and the error term E2 in the proof of Proposition 3.10 depends on |log z0|. The claimed bound (4.4) is therefore not justified by the stated proposition. The authors should specify the correct z0 and verify that the error terms remain of the claimed size.
- [Section 4.1, equation (4.4)] The lower bound in (4.4) is written with a '+' sign before the error term: '≥ ... + x/(log x)^{10}'. Since the lower-bound vector sieve (3.12) has an error term that is bounded in absolute value, the displayed inequality should have a subtracted error term. As written, the sign is incorrect, although the asymptotic conclusion (4.9) would be unaffected if the error is negative. Please correct the sign or clarify the convention.
minor comments (4)
- [Abstract] The abstract contains a typo: 'semi-lin ear' should be 'semi-linear'.
- [Introduction, page 2] The reference to 'Matom¨aki, Radziwi/suppress l/suppress l, and Tao' should read 'Matomäki, Radziwiłł, and Tao'.
- [Section 5, numerical verification] The proof relies on the numerical inequality H(0.14, 0.23, 0.449, 0.011) > 0. To make the proof fully rigorous, the authors should provide a verified computation (e.g., interval arithmetic) or a rigorous analytic bound, rather than a stepwise Matlab search without error bounds.
- [Proposition 4.2 statement] The constant in the statement is written as '2c1c2^2c3C(θ1)' without parentheses around the product; consider writing it as '(2c1 c2^2 c3 C(θ1) + o(1))' for clarity, matching the proof.
Circularity Check
No material circularity: the central lower bound is a genuine vector-sieve derivation from external sieve theorems, and the numerical optimization is standard; the main concerns are a sketched mixed-dimension lemma and an exponent mismatch, which are correctness risks rather than circular reductions.
full rationale
The paper's central claim, Theorem 1.1, is obtained by combining lower and upper vector-sieve estimates (Propositions 4.1, 4.2, and 4.3) into a positivity condition H(lambda, theta, theta1, theta2) > 0, and then choosing the sieve parameters numerically. The coefficient H is not fitted to the output: it is an explicit expression built from the beta-sieve functions F1, f1, F2, f2, Mertens constants, and convergent Euler products, all of which come from Friedlander-Iwaniec's Opera de Cribro and from Heath-Brown and Li's vector sieve framework. The positivity check H(0.14, 0.23, 0.449, 0.011) = 1.2471 is a numerical evaluation of this expression, not a parameter tuned to force the final count. No step in the proof defines the object being counted in terms of the bound being proved, and no fitted quantity is renamed as a prediction. The only self-citation, Nath [19], appears in a list of related generalizations in the introduction and is not load-bearing for Theorem 1.1. The paper's principal weakness is that Proposition 3.10, the vector-sieve fundamental lemma for mixed dimensions kappa1 = 1/2 and kappa2 = 1, is only sketched, with the core sum and error estimates delegated to Heath-Brown and Li [8, Section 3.3], which treats a different mixed situation; additionally, Proposition 3.10 states z0 = exp((log z1 z2)^{1/3}) while Proposition 4.1 uses z0 = exp((log z1 z2)^{1/2}). These are genuine rigor gaps that could invalidate the proof as written, but they are not circularity: the missing verification does not assume the target theorem or reduce to the paper's own inputs. Consequently, the appropriate circularity score is low, with the caveat that the proof's completeness is questionable on external grounds.
Assumptions & free parameters
free parameters (4)
- θ1 =
0.449 (terminal; 0.431 in an intermediate G-search)
- θ2 =
0.011
- θ =
0.23
- λ =
0.14
assumptions (3)
- standard math Bombieri-Vinogradov type mean value theorems (Pan's theorem, Lemma 3.2) hold in the ranges used.
- standard math The beta sieve weights satisfy the estimates of Lemma 3.6 with κ1=1/2 and κ2=1.
- domain assumption The vector sieve fundamental lemma, Proposition 3.10, is valid as stated for mixed dimensions.
Cite this review
Pith. "Pith review of Almost primes and primes that are sums of two squares plus one." pith.science (2026). https://pith.science/paper/IPFAWTLA
@misc{pith2026250116723,
author = {Pith},
title = {Pith review of: Almost primes and primes that are sums of two squares plus one},
year = {2026},
howpublished = {\url{https://pith.science/paper/IPFAWTLA}},
note = {Machine review of arXiv:2501.16723}
}
abstract
In this paper, we obtain a lower bound for the number of primes $p\leq x$ such that $p-1$ is a sum of two squares and $p+2$ has a bounded number of prime factors. The proof uses the vector sieve framework, involving a semi-linear sieve and a linear sieve.
Reference graph
Works this paper leans on
-
[1]
Cai, Almost prime triples and Chen’s theorem
Y. Cai, Almost prime triples and Chen’s theorem. Acta Arith. 179 (2017), no. 3, 233–250
work page 2017
-
[2]
J. R. Chen, On the representation of a larger even integer as the sum of a p rime and the product of at most two primes. Sci. Sinica 16 (1973), 157–176
work page 1973
-
[3]
J. B. Friedlander and H. Iwaniec, Hyperbolic prime number theorem. Acta Math. 202 (2009), no. 1, 1–19
work page 2009
-
[4]
J. Friedlander and H. Iwaniec, Opera de cribro. Amer. Math. Soc. Colloq. Publ., 57 American Mathe- matical Society, Providence, RI, 2010
work page 2010
-
[5]
D. A. Goldston, J. Pintz, and C. Y. Yıldırım, Primes in tuples I , Ann. of Math. (2) 170 (2009), no. 2, 819–862
work page 2009
-
[6]
H. Halberstam and H.-E. Richert, Sieve methods. London Mathematical Society Monographs, No. 4. Academic Press [Harcourt Brace Jovanovich, Publishers], L ondon-New York, 1974
work page 1974
-
[7]
Harman, Prime-detecting sieves
G. Harman, Prime-detecting sieves. London Math. Soc. Monogr. Ser., 33 Princeton University Pre ss, Princeton, NJ, 2007
work page 2007
-
[8]
R. Heath-Brown and X. Li, Almost prime triples and Chen’s theorem. J. Number Theory 169 (2016), 265–294
work page 2016
Show all 26 references
-
[9]
M. N. Huxley and H. Iwaniec, Bombieri’s theorem in short intervals. Mathematika 22 (1975), no. 2, 188–194
1975
-
[10]
Iwaniec, Primes of the type φ (x, y ) +a where φ is a quadratic form
H. Iwaniec, Primes of the type φ (x, y ) +a where φ is a quadratic form. Acta Arith. 21 (1972), 203–234
1972
-
[11]
Iwaniec, The half dimensional sieve
H. Iwaniec, The half dimensional sieve. Acta Arith. 29 (1976), 69–95
1976
-
[12]
Ju. V. Linnik, An asymptotic formula in an additive problem of Hardy-Littl ewood. Izv. Akad. Nauk SSSR Ser. Mat. 24 (1960), 629–706
1960
-
[13]
Martin, An asymptotic formula for the number of smooth values of a pol ynomial
G. Martin, An asymptotic formula for the number of smooth values of a pol ynomial. J. Number Theory 93 (2002), no. 2, 108–182
2002
-
[14]
Matom¨ aki,Prime numbers of the form p = m2 + n2 + 1 in short intervals
K. Matom¨ aki,Prime numbers of the form p = m2 + n2 + 1 in short intervals. Acta Arith. 128 (2007), no. 2, 193–200. 6Matlab files with computation are included with this work on a rxiv.org. 26 KUNJAKANAN NATH AND LIKUN XIE
2007
-
[15]
Matom¨ aki, M
K. Matom¨ aki, M. Radziwi/suppress l/suppress l, and T. Tao,Correlations of the von Mangoldt and higher divisor functio ns I. Long shift ranges. Proc. Lond. Math. Soc. (3) 118 (2019), no. 2, 284–350
2019
-
[16]
Maynard, Small gaps between primes , Ann
J. Maynard, Small gaps between primes , Ann. of Math. (2) 181 (2015), no. 1, 383–413
2015
-
[17]
Motohashi, On the distribution of prime numbers which are of the form x2 + y2 + 1
Y. Motohashi, On the distribution of prime numbers which are of the form x2 + y2 + 1. Acta Arith. 16 (1969/70), 351–363
1969
-
[18]
x2 + y2 + 1
Y. Motohashi, On the distribution of prime numbers which are of the form “ x2 + y2 + 1” . II. Acta Math. Acad. Sci. Hungar 22 (1971/72), 207–210
1971
-
[19]
Nath, Primes with a missing digit: distribution in arithmetic pro gressions and an application in sieve theory
K. Nath, Primes with a missing digit: distribution in arithmetic pro gressions and an application in sieve theory. J. Lond. Math. Soc. (2) 109 (2024), no. 1, Paper No. e12837, 59 pp
2024
-
[20]
C. D. Pan, A new mean value theorem and its applications. Recent progress in analytic number theory, Vol. 1 (Durham, 1979), pp. 275–287. Academic Press, Inc. [Ha rcourt Brace Jovanovich, Publishers], London-New York, 1981
1979
-
[21]
D. H. J. Polymath, Variants of the Selberg sieve, and bounded intervals contai ning many primes. Res. Math. Sci. 1 (2014), Art. 12, 83 pp
2014
-
[22]
Wirsing, Das asymptotische Verhalten von Summen ¨ uber multiplikati ve Funktionen
E. Wirsing, Das asymptotische Verhalten von Summen ¨ uber multiplikati ve Funktionen. Math. Ann. 143 (1961), 75–102
1961
-
[23]
Ter¨ av¨ ainen,The Goldbach problem for primes that are sums of two squares p lus one
J. Ter¨ av¨ ainen,The Goldbach problem for primes that are sums of two squares p lus one. Mathematika 64 (2018), no. 1, 20–70
2018
-
[24]
Wu, Primes of the form p = 1 + m2 + n2 in short intervals
J. Wu, Primes of the form p = 1 + m2 + n2 in short intervals. Proc. Amer. Math. Soc. 126 (1998), no. 1, 1–8
1998
-
[25]
Zhang, Bounded gaps between primes
Y. Zhang, Bounded gaps between primes. Ann. of Math. (2) 179 (2014), no. 3, 1121–1174
2014
-
[26]
Zhu, Almost prime triples and Chen’s theorem
L. Zhu, Almost prime triples and Chen’s theorem. Int. J. Number Theory 21 (2025), no. 1, 133-151. Institut ´Elie Cartan de Lorraine, Universit ´e de Lorraine, CNRS, F-54000 Nancy, France Email address: kunjakanan@gmail.com Department of Mathematics, University of Illinois, 140...
2025
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.