REVIEW 3 minor 19 references
Estimating the tail of the singular product for the Hardy Littlewood and Bateman Horn conjectures
T0 review · 0 major / 3 minor · reviewed 2026-06-30 · grok-4.3
Pith's one-line read The tail of the singular product in Hardy-Littlewood and Bateman-Horn conjectures decays like the reciprocal of the logarithm for any one-dimensional polynomial system.
desk verdict The paper claims a uniform 1/log tail bound for singular series products with a Galois-averaged coefficient, but the math.GM placement and missing derivation details make verification difficult. 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 tail of the singular product, bounded by showing that the remaining product over large primes of the local density factors approaches 1 at rate 1 over the logarithm of the cutoff.
What would settle it
A one-dimensional polynomial system in which the tail after excluding primes up to X decays slower than C over log X for some constant C would falsify the universal estimate.
Extended reading notes
Core claim
A universal estimate is proved showing that the contribution of large primes to the singular product decays like the reciprocal of the logarithm, regardless of the structure of the system. For linear systems with trivial Galois group superfast convergence is obtained. For nonlinear systems a coefficient is defined that is expressed via the average over the Galois group; in the abelian case and under the Riemann Hypothesis for Dirichlet L-functions a more precise error estimate is obtained. Mixed systems are also considered.
Load-bearing premise
The systems are one-dimensional polynomial systems over the integers.
Editorial extensions
If this is right
- The singular series can be approximated by a finite product over small primes with an explicit error of order 1 over the logarithm of the largest prime included.
- Linear systems admit faster-than-any-power error decay in the tail.
- Mixed linear-nonlinear systems obey the same universal 1 over log tail bound.
- Numerical tables confirm the predicted decay rates for both linear and nonlinear examples.
Reading between the lines
- The Galois-average coefficient supplies an explicit constant that could be evaluated case-by-case to tighten the bound further.
- The same tail control may justify truncating the product when testing the conjectures numerically for families of polynomials.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes a universal estimate for the tail of the singular product in the Hardy–Littlewood and Bateman–Horn conjectures restricted to one-dimensional polynomial systems over the integers. It proves that the contribution of primes larger than X decays as O(1/log X) independently of the system, with exact finite stabilization for linear (trivial Galois) cases and a Galois-group-averaged coefficient for nonlinear cases; sharper error terms are obtained in the abelian case under RH for the associated Dirichlet L-functions. Mixed linear-nonlinear systems are treated, and numerical summary tables are presented as confirmation.
Significance. If the central estimate holds, the work supplies a rigorous justification for truncating the Euler product defining the singular series at moderate primes when evaluating the constants in these conjectures, thereby refining the Bateman–Horn formula. The Galois-averaging construction for the nonlinear coefficient is a clear strength, as is the explicit separation of linear versus nonlinear behavior and the parameter-free character of the leading 1/log X decay, which is consistent with Chebotarev density expectations for mean-zero deviations.
minor comments (3)
- The abstract refers to 'summary tables' confirming the conclusions, but the manuscript should explicitly state the range of X, the number of systems tested, and the precise definition of the observed tail used in the numerics (e.g., which partial product is subtracted).
- Notation for the Galois-averaged coefficient should be introduced with a displayed equation and a short paragraph explaining how the average is taken over conjugacy classes or the full group.
- The statement that linear systems yield 'superfast convergence' would benefit from a precise quantitative bound (e.g., vanishing exactly after the largest prime dividing the discriminant) rather than the qualitative description.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary and significance statement accurately reflect the paper's contributions on the universal tail estimate for the singular product in the Hardy-Littlewood and Bateman-Horn conjectures. No major comments were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The paper derives its universal tail estimate for the singular product directly from Galois group averages and Chebotarev density theorems applied to the Euler product, with the linear case reducing to finite stabilization by explicit computation and the nonlinear case using standard mean-zero deviations of Artin symbols. The sharper error term invokes RH for Dirichlet L-functions only as an external hypothesis for precision, not as part of the main claim. No equation reduces a prediction to a fitted input by construction, and no load-bearing step collapses to a self-citation or ansatz smuggled from prior work by the same author. Numerical tables serve as confirmation rather than the foundation of the proof. The derivation chain is therefore self-contained against external number-theoretic benchmarks.
Assumptions & free parameters
assumptions (2)
- domain assumption The singular product is defined via the standard Euler product over primes for the Hardy-Littlewood and Bateman-Horn setting.
- domain assumption Riemann Hypothesis for Dirichlet L-functions (for the sharper nonlinear error term).
Cite this review
Pith. "Pith review of Estimating the tail of the singular product for the Hardy Littlewood and Bateman Horn conjectures." pith.science (2026). https://pith.science/paper/4QK2DIQL
@misc{pith2026260628832,
author = {Pith},
title = {Pith review of: Estimating the tail of the singular product for the Hardy Littlewood and Bateman Horn conjectures},
year = {2026},
howpublished = {\url{https://pith.science/paper/4QK2DIQL}},
note = {Machine review of arXiv:2606.28832}
}
read the original abstract
This paper investigates the asymptotic behavior of the tail of the singular product arising in the Hardy Littlewood and Bateman Horn conjectures for one dimensional systems of polynomials. A universal estimate is proved, showing that the contribution of large primes decays like the reciprocal of the logarithm, regardless of the structure of the system. For linear systems (trivial Galois group) superfast convergence is obtained. For nonlinear systems a coefficient is defined that is expressed via the average over the Galois group; in the abelian case and under the Riemann Hypothesis for Dirichlet L functions a more precise error estimate is obtained. Mixed systems containing both linear and nonlinear polynomials are also considered. Numerical experiments, presented as summary tables, confirm the theoretical conclusions. The results provide a rigorous theoretical foundation for computing singular series and refine the Bateman Horn formula.
Reference graph
Works this paper leans on
-
[1]
Hardy G. H., Littlewood J. E. Some Problems of 'Partitio Numerorum'. III. On the Expression of a Number as a Sum of Primes. Acta Math., 1923, vol. 44, pp. 1–70
work page 1923
-
[2]
Bateman P. T., Horn R. A. A heuristic asymptotic formula concerning the distribution of prime numbers. Math. Comp., 1962, vol. 16, pp. 363–367
work page 1962
-
[3]
Serre J.-P. Topics in Galois Theory. Jones and Bartlett, 1992
work page 1992
-
[4]
Serre J.-P. Lectures on \\(N_X(p)\\). Chapman & Hall/CRC, 2012
work page 2012
-
[5]
Hardy G. H., Wright E. M. An Introduction to the Theory of Number s, 6th ed. Oxford University Press, 2008
work page 2008
-
[6]
Montgomery H. L., Vaughan R. C. Multiplicative Number Theory I: Classi cal Theory. Cambridge Studies in Advanced Mathematics, 2006
work page 2006
-
[7]
Iwa niec H., Kowalski E. A nalytic Number Theory. AMS Colloquium Publications, Vol. 53, 2004
work page 2004
-
[8]
Frobenius G. Über Gruppencharaktere. Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften, 1896
Show all 19 references
-
[9]
Die Bestimmung der Dichtigkeit einer Menge von Primzah len, welche zu einer gegebenen Substitutionsklasse gehören
Chebotarev N. Die Bestimmung der Dichtigkeit einer Menge von Primzah len, welche zu einer gegebenen Substitutionsklasse gehören. Math. Ann., 1926, vol. 95, pp. 191–228
1926
-
[10]
C., Odlyzko A
Lagarias J. C., Odlyzko A. M. Effective versions of the Chebota rev density theorem. In: Algebraic Number Fields, Academic Press, 1977
1977
-
[11]
A., Pintz J., Yıldırım C
Goldston D. A., Pintz J., Yıldırım C. Y. Primes in tuples I. Ann. of Math., 2009, vol. 170, pp. 819–862
2009
-
[12]
Algebraic Number Theory, 2nd ed
Lang S. Algebraic Number Theory, 2nd ed. Springer GTM 110, 1994
1994
-
[13]
R., Murty V
Mu rty M. R., Murty V. K. Non -vanishing of \\(L\\)-functions and appli cations. Birkhäuser, 1997
1997
-
[14]
Small gaps between primes
Maynard J. Small gaps between primes. Ann. of Math., 2015, vol. 181, pp. 383–413
2015
-
[15]
Every odd number greater than 1 is the sum of at most five primes
Tao T. Every odd number greater than 1 is the sum of at most five primes . Math. Comp., 2014, vol. 83, pp. 997–1038
2014
-
[16]
The distri bution of values of \\(L(1,\chi_d)\\)
Granville A., Sound ararajan K. The distri bution of values of \\(L(1,\chi_d)\\). Geom. Funct. Anal., 2003, vol. 13, pp. 992–1028
2003
-
[17]
Algebraic trace functions over the primes
Fouvry É., Kowalski E., Michel P. Algebraic trace functions over the primes . Duke Math. J., 2014, vol. 163, pp. 1683–1736
2014
-
[18]
M., Sar nak P
Katz N. M., Sar nak P. Random Matrices , Frobenius Eigenvalues, and Monodromy. AMS Colloquium Publications, Vol. 45, 1999. 21
1999
-
[19]
Estimating the tail of the singular product in the multivariate Bateman–Horn conjecture, arXiv preprint https://arxiv.org/abs/2604.25969 (2026)
Victor Volfson. Estimating the tail of the singular product in the multivariate Bateman–Horn conjecture, arXiv preprint https://arxiv.org/abs/2604.25969 (2026)
2026 arXiv
Reviewed June 30, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.