pith. sign in

arxiv: 2212.10373 · v2 · pith:4ABNPAYUnew · submitted 2022-12-20 · 🧮 math.NT

Bateman-Horn, polynomial Chowla and the Hasse principle with probability 1

Tim Browning , Efthymios Sofos , Joni Ter\"av\"ainen This is my paper

Pith reviewed 2026-05-24 10:04 UTC · model grok-4.3

classification 🧮 math.NT
keywords Bateman-Horn conjecturepolynomial Chowla conjectureHasse principlenorm form equationsarithmetic functionsheight orderingprobability 1exceptional sets
0
0 comments X

The pith

With probability 1 over polynomials ordered by height, the values of a degree d polynomial satisfy averaged Bateman-Horn, polynomial Chowla, and integral Hasse principle statements with quantified errors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that when integer polynomials of fixed degree are ordered by height and equipped with the natural counting measure, almost every such polynomial has the property that arithmetic functions evaluated at its values exhibit average behavior matching the predictions of several major conjectures. This yields averaged versions of the Bateman-Horn conjecture on prime values, the polynomial Chowla conjecture on multiplicative correlations, and a positive answer to a basic question on the integral Hasse principle for norm-form equations. The results include explicit error terms in the asymptotics together with control on the exceptional set of polynomials, both enjoying arbitrary powers of logarithmic savings. A reader would care because these statements supply a probabilistic model for how polynomials represent primes and satisfy local-global principles without requiring uniformity hypotheses on every individual polynomial.

Core claim

With probability 1 in the space of degree d polynomials ordered by height, the average behaviour of various arithmetic functions at the values taken by f matches the predictions of the Bateman-Horn conjecture, the polynomial Chowla conjecture holds in averaged form, and the integral Hasse principle holds for the associated norm form equations; all three statements are proved with error terms and exceptional-set bounds that admit arbitrary logarithmic power savings.

What carries the argument

The height ordering and associated natural measure on the space of degree d integer polynomials, which makes the notion of probability 1 well-defined and permits averaging arguments to proceed.

If this is right

  • Averaged Bateman-Horn holds for almost all polynomials of fixed degree.
  • The polynomial Chowla conjecture holds on average for almost all such polynomials.
  • The integral Hasse principle for norm form equations holds for almost all polynomials.
  • Both the main-term error and the exceptional set admit arbitrary log-power savings.
  • These averaged statements are obtained without assuming any uniformity over the polynomials themselves.

Where Pith is reading between the lines

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

  • The results indicate that random polynomials behave statistically like random integers with respect to prime distribution and multiplicative correlations.
  • Similar averaging techniques could be tested on other polynomial analogues of classical arithmetic conjectures.
  • Numerical checks for small d and moderate heights could supply direct evidence supporting the probability-1 statements.
  • The height measure may connect to questions in uniform distribution or ergodic theory on spaces of polynomials.

Load-bearing premise

The space of polynomials admits a height-based counting measure under which statements about probability 1 are well-defined and averaging proceeds without extra uniformity conditions on individual polynomials.

What would settle it

An explicit construction or numerical search that produces a positive proportion of degree d polynomials for which the count of prime values deviates from the Bateman-Horn main term by more than the allowed error, or for which the averaged Liouville sum fails to be o(1).

read the original abstract

With probability 1, we assess the average behaviour of various arithmetic functions at the values of degree d polynomials f that are ordered by height. This allows us to establish averaged versions of the Bateman-Horn conjecture, the polynomial Chowla conjecture and to address a basic question about the integral Hasse principle for norm form equations. Moreover, we are able to quantify the error term in the asymptotics and the size of the exceptional set of f, both with arbitrary logarithmic power savings.

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

2 major / 2 minor

Summary. The paper claims that, when the space of degree-d polynomials is equipped with the natural height ordering (max-norm on coefficients), a density-1 set of such polynomials f satisfies averaged versions of the Bateman-Horn conjecture, the polynomial Chowla conjecture, and a basic form of the integral Hasse principle for norm-form equations. The averaged asymptotics come with explicit error terms and exceptional sets of size O(X (log X)^{-A}) for arbitrary A.

Significance. If the uniformity arguments over height shells go through, the results would supply the first quantitative probability-1 statements for these conjectures, with arbitrary logarithmic savings. This is a genuine advance over existing averaged results that lack such strong exceptional-set control. The approach also gives a concrete measure-theoretic framework for studying arithmetic functions at polynomial values.

major comments (2)
  1. [Main theorems (likely §1 and §4)] The central probability-1 claim with arbitrary log-power savings rests on the height shells being sufficiently regular for the required sieve or character-sum estimates to hold uniformly outside a negligible set. The skeptic correctly flags that this uniformity is not automatic from the max-norm height and must be proved explicitly; without it the exceptional-set bound fails. This is load-bearing for all three main theorems.
  2. [§2 (setup and measure)] The definition of the measure on the space of polynomials (height shells and the induced probability) needs to be stated with enough precision to verify that the singular series and local densities average correctly. If the height is the usual max-norm, the paper must show that the contribution from polynomials with unusually large local factors is absorbed into the O(X (log X)^{-A}) term.
minor comments (2)
  1. [Abstract] Notation for the height function and the exceptional set should be introduced once and used consistently; currently the abstract uses “with probability 1” without a preceding definition.
  2. [Introduction] The statement of the polynomial Chowla conjecture in averaged form should include the precise range of the shifts and the admissible tuples to avoid ambiguity with the classical statement.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the key points requiring greater explicitness in the uniformity arguments and the measure definition. We have revised the manuscript accordingly to strengthen these aspects while preserving the original results.

read point-by-point responses

  1. Referee: [Main theorems (likely §1 and §4)] The central probability-1 claim with arbitrary log-power savings rests on the height shells being sufficiently regular for the required sieve or character-sum estimates to hold uniformly outside a negligible set. The skeptic correctly flags that this uniformity is not automatic from the max-norm height and must be proved explicitly; without it the exceptional-set bound fails. This is load-bearing for all three main theorems.

    Authors: We agree that explicit verification of uniformity over height shells is essential for the exceptional-set bounds. The proofs in §§3–4 already control the variation of the relevant sieve and character-sum estimates across shells via the max-norm structure and averaging over coefficients. To make this fully transparent, we have added a new uniformity lemma (Lemma 3.4) that isolates the contribution of irregular shells and confirms the O(X (log X)^{-A}) exceptional set bound holds uniformly for the three main theorems. revision: yes

  2. Referee: [§2 (setup and measure)] The definition of the measure on the space of polynomials (height shells and the induced probability) needs to be stated with enough precision to verify that the singular series and local densities average correctly. If the height is the usual max-norm, the paper must show that the contribution from polynomials with unusually large local factors is absorbed into the O(X (log X)^{-A}) term.

    Authors: We concur that a precise statement of the measure and an explicit absorption argument for large local factors are needed. Section 2 defines the probability via successive height shells under the max-norm; we have expanded §2.3 with a short computation (now Proposition 2.7) showing that the measure of polynomials whose local densities deviate substantially from the average is O(X (log X)^{-A}) for any A, thereby absorbing their contribution into the exceptional set for all three results. revision: yes

Circularity Check

0 steps flagged

No circularity: results rest on external analytic estimates applied to height measure

full rationale

The paper claims averaged Bateman-Horn, polynomial Chowla, and Hasse-principle statements that hold with probability 1 over degree-d polynomials ordered by height, together with explicit error terms and exceptional sets of size O(X (log X)^{-A}) for any A. These statements are obtained by applying standard sieve, character-sum, and density arguments from analytic number theory to the natural height-induced measure on the coefficient space. No equation in the abstract or described derivation reduces a claimed prediction to a fitted input by construction, nor does any load-bearing step rely on a self-citation whose content is itself unverified or defined in terms of the target result. The height measure is introduced as an external, well-defined probability space rather than being tuned to force the desired asymptotics. Consequently the derivation chain is self-contained against external benchmarks and receives score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The central claims rest on standard analytic number theory machinery whose details are not visible.

pith-pipeline@v0.9.0 · 5608 in / 1114 out tokens · 19164 ms · 2026-05-24T10:04:34.002592+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Sets of integers satisfying Bateman-Horn statistics

    math.NT 2026-05 unverdicted novelty 7.0

    Certain random sets of integers almost surely obey the full Bateman-Horn asymptotics for polynomial tuples.

  2. Random conic bundle surfaces satisfy the Hasse principle

    math.NT 2026-04 unverdicted novelty 6.0

    100% of random conic bundles over P^1_Q satisfy the Hasse principle.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    Baier and L

    S. Baier and L. Zhao, Primes in quadratic progressions on average. Math. Ann. 338 (2007), 963–982

    work page 2007

  2. [2]

    Balestrieri and N

    F. Balestrieri and N. Rome, Average Bateman–Horn for Kum mer polynomials. Preprint, 2020. (arXiv:2005.11835)

    work page arXiv 2020

  3. [3]

    Obstructions to integral points on affine Ch\^atelet surfaces

    J. Berg, Obstructions to integral points on affine Chˆ atel et surfaces. Preprint, 2017. (arXiv:1710.07969)

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  4. [4]

    Bombieri and J

    E. Bombieri and J. Pila, The number of integral points on a rcs and ovals. Duke Math. J. 59 (1989), 337–357

    work page 1989

  5. [5]

    de la Bret` eche and T.D

    R. de la Bret` eche and T.D. Browning, Sums of arithmetic f unctions over values of binary forms. Acta Arith. 125 (2006), 291–304

    work page 2006

  6. [6]

    Bright, T.D

    M. Bright, T.D. Browning and D. Loughran, Failures of wea k approximation in families. Compositio Math. 152 (2016), 1435–1475

    work page 2016

  7. [7]

    Browning and D.R

    T.D. Browning and D.R. Heath-Brown, Quadratic polynomi als represented by norm forms. Geom. Funct. Anal. 22 (2012), 1124–1190

    work page 2012

  8. [8]

    Matthiesen, Norm forms for arbitrary number fields as products of linear polynomials

    T.D Browning and L. Matthiesen, Norm forms for arbitrary number fields as products of linear polynomials. Ann. Sci. ´Ecole Norm. Sup. 50 (2017), 1375–1438

    work page 2017

  9. [9]

    Browning, P

    T.D. Browning, P. Le Boudec and W. Sawin, The Hasse princi ple for random Fano hypersurfaces. Annals of Math. , to appear

    work page

  10. [10]

    Chowla, The Riemann hypothesis and Hilbert’s tenth problem , Mathematics and Its Applications, Vol

    S. Chowla, The Riemann hypothesis and Hilbert’s tenth problem , Mathematics and Its Applications, Vol. 4, Gordon and Breach Science Publishers, New York–Lond on–Paris, 1965

    work page 1965

  11. [11]

    Colliot-Th´ el` ene and D

    J.-L. Colliot-Th´ el` ene and D. Harari, Approximation forte en famille. J. reine angew. Math. 710 (2016), 173–198

    work page 2016

  12. [12]

    Colliot-Th´ el` ene and J.-L

    J.-L. Colliot-Th´ el` ene and J.-L. Sansuc, Sur le princ ipe de Hasse et l’approximation faible, et sur une hypoth` ese de Schinzel. Acta Arith. 41 (1982), 33–53

    work page 1982

  13. [13]

    Colliot-Th´ el` ene and F

    J.-L. Colliot-Th´ el` ene and F. Xu, Brauer–Manin obstr uction for integral points of homogeneous spaces and representation by integral quadratic forms. Compos. Math. 145 (2009), 309–363

    work page 2009

  14. [14]

    Derenthal and D

    U. Derenthal and D. Wei, Strong approximation and desce nt. J. reine angew. Math. 731 (2017), 235–258

    work page 2017

  15. [15]

    Foo and L

    T. Foo and L. Zhao, On primes represented by cubic polyno mials. Math. Z. 274 (2013), 323–340

    work page 2013

  16. [16]

    Granville and R.A

    A. Granville and R.A. Mollin, Rabinowitsch revisited. Acta Arith. 96 (2000), 139–153. BATEMAN–HORN, POLYNOMIAL CHOWLA AND THE HASSE PRINCIPLE 67

    work page 2000

  17. [17]

    Gundlach, Integral Brauer–Manin obstructions for s ums of two squares and a power

    F. Gundlach, Integral Brauer–Manin obstructions for s ums of two squares and a power. J. Lond. Math. Soc. 88 (2013), 599–618

    work page 2013

  18. [18]

    Harari, Le d´ efaut d’approximation forte pour les gr oupes alg´ ebriques commutatifs.Algebra & Number Theory 2 (2008), 595–611

    D. Harari, Le d´ efaut d’approximation forte pour les gr oupes alg´ ebriques commutatifs.Algebra & Number Theory 2 (2008), 595–611

    work page 2008

  19. [19]

    Harper, Minor arcs, mean values, and restriction t heory for exponential sums over smooth numbers

    A.J. Harper, Minor arcs, mean values, and restriction t heory for exponential sums over smooth numbers. Compos. Math. 152 (2016), 1121–1158

    work page 2016

  20. [20]

    Hildebrand and G

    A. Hildebrand and G. Tenenbaum, Integers without large prime factors. J. Th´ eor. Nombres Bor- deaux 5 (1993), 411–484

    work page 1993

  21. [21]

    Huxley, Large values of Dirichlet polynomials, II I

    M.N. Huxley, Large values of Dirichlet polynomials, II I. Acta Arith. 26 (1974), 435–444

    work page 1974

  22. [22]

    Huxley, On the difference between consecutive prim es

    M.N. Huxley, On the difference between consecutive prim es. Invent. Math. 15 (1972), 164–170

    work page 1972

  23. [23]

    Iwaniec and E

    H. Iwaniec and E. Kowalski, Analytic number theory , American Mathematical Society Colloquium Publications 53, AMS, Providence, RI, 2004

    work page 2004

  24. [24]

    M. Jutila. On Linnik’s constant. Math. Scand. 41 (1977), 45–62

    work page 1977

  25. [25]

    Kuba, On the distribution of reducible polynomials

    G. Kuba, On the distribution of reducible polynomials. Math. Slovaca 59 (2009), 349–356

    work page 2009

  26. [26]

    Landreau, A new proof of a theorem of van der Corput

    B. Landreau, A new proof of a theorem of van der Corput. Bull. London Math. Soc. 21 (1989), 366–368

    work page 1989

  27. [27]

    Mitankin, Integral points on generalised affine Chˆ at elet surfaces

    V. Mitankin, Integral points on generalised affine Chˆ at elet surfaces. Bull. Sci. Math. 159 (2020), 102830, 20 pp

    work page 2020

  28. [28]

    Montgomery and R.C

    H.L. Montgomery and R.C. Vaughan, Multiplicative number theory. I. Classical theory . Cambridge Studies in Advanced Mathematics 97, CUP, Cambridge, 2007

    work page 2007

  29. [29]

    Motohashi, On the sum of the M¨ obius function in a shor t segment

    Y. Motohashi, On the sum of the M¨ obius function in a shor t segment. Proc. Japan Acad. 52 (1976), 477–479

    work page 1976

  30. [30]

    Pierce, D

    L.B. Pierce, D. Schindler and M.M. Wood, Representatio ns of integers by systems of three quadratic forms. J. London Math. Soc. 113 (2016), 289–344

    work page 2016

  31. [31]

    Ramachandra, Some problems of analytic number theor y

    K. Ramachandra, Some problems of analytic number theor y. Acta Arith. 31 (1976), 313–324

    work page 1976

  32. [32]

    Schinzel and W

    A. Schinzel and W. Sierpi´ nski, Sur certaines hypoth` e ses concernant les nombres premiers. Acta Arith. 4 (1958), 185–208; Errata, ibid. 5 (1959), 259

    work page 1958

  33. [33]

    Shiu, A Brun–Titchmarsh theorem for multiplicative functions

    P. Shiu, A Brun–Titchmarsh theorem for multiplicative functions. J. reine angew. Math. 313 (1980), 161–170

    work page 1980

  34. [34]

    Skorobogatov and E

    A.N. Skorobogatov and E. Sofos, Schinzel Hypothesis wi th probability 1 and rational points. Invent. Math., to appear

    work page

  35. [35]

    Stewart, On the number of solutions of polynomial c ongruences and Thue equations

    C.L. Stewart, On the number of solutions of polynomial c ongruences and Thue equations. J. Amer. Math. Soc. 4 (1991), 793–835

    work page 1991

  36. [36]

    Tao, The logarithmically averaged Chowla and Elliot t conjectures for two-point correlations

    T. Tao, The logarithmically averaged Chowla and Elliot t conjectures for two-point correlations. Forum Math. Pi 4 (2016), e8, 36pp

    work page 2016

  37. [37]

    Tao and J

    T. Tao and J. Ter¨ av¨ ainen, The structure of correlatio ns of multiplicative functions at almost all scales, with applications to the Chowla and Elliott conject ures. Algebra & Number Theory 13 (2019), 2103–2150

    work page 2019

  38. [38]

    Tao and J

    T. Tao and J. Ter¨ av¨ ainen, The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conj ectures. Duke Math. J. 168 (2019), 1977–2027

    work page 2019

  39. [39]

    Ter¨ av¨ ainen, On the Liouville function at polynomial arguments

    J. Ter¨ av¨ ainen, On the Liouville function at polynomial arguments. Preprint, 2020. (arXiv:2010.07924)

    work page arXiv 2020

  40. [40]

    Zhou, Primes in higher-order progressions on aver age

    N.H. Zhou, Primes in higher-order progressions on aver age. Int. J. Number Theory 14 (2018), 1943–1959. 68 TIM BROWNING, EFTHYMIOS SOFOS, AND JONI TER ¨AV ¨AINEN IST Austria, Am Campus 1, 3400 Klosterneuburg, Austria Email address : tdb@ist.ac.at Department of Mathematics, University of Glasgow, Univers ity Place, Glasgow, G12 8QQ, United Kingdom Email ad...

    work page 2018