REVIEW 4 major objections 3 minor
Pointwise ergodic theorem along primes of the form $x^2 + ny^2$
T0 review · 4 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper proves pointwise convergence of ergodic averages along polynomial values of primes represented by x^2 + n y^2, and shows the result is sharp by constructing an L^1 counterexample.
desk verdict A natural Bourgain-type result is announced, but the proof rests entirely on prime-ideal estimates we cannot see from the abstract; deserves a serious referee if the full text is submitted. 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 Hardy-Littlewood circle method: the ergodic averages are decomposed into major arcs, which yield the dominant term, and minor arcs, which are shown to contribute negligibly. The load-bearing component is the pair of major-arc and minor-arc estimates for the set of prime ideals of the quadratic field attached to x^2 + n y^2. These estimates are new and control the quantitative behavior of the sequence at the scales needed for the pointwise convergence proof.
What would settle it
Find a measure-preserving system, a specific value of n, and an L^p function with p > 1 such that the averages along the polynomial values of primes of the form x^2 + n y^2 diverge on a set of positive measure. Alternatively, verify the paper's major-arc estimates for a small fixed n (such as n = 1) and identify a missing uniformity condition.
Extended reading notes
Core claim
The central claim is that pointwise ergodic averages along the set of polynomial values of primes of the form x^2 + n y^2 converge almost everywhere for every function in L^p with p > 1, for every measure-preserving system. The proof adapts the Hardy-Littlewood circle method to this arithmetic setting, with the novel ingredient being estimates for the distribution of the prime ideals that correspond to the quadratic form. The paper further constructs an L^1 function for which these averages fail to converge, proving that the p > 1 condition is optimal.
Load-bearing premise
The proof depends on the new major-arc and minor-arc estimates for the set of prime ideals; if these estimates fail at any scale required by the circle method, the pointwise convergence theorem does not follow.
Editorial extensions
If this is right
- For every L^p function with p > 1, the ergodic averages along the sequence converge almost everywhere in any measure-preserving system.
- The p > 1 threshold is sharp: there exists an L^1 function for which the averages diverge on a set of positive measure.
- The sequence is a good sequence for pointwise ergodic theorems in the Bourgain sense, for all p > 1.
- The newly established prime-ideal estimates provide an analytic tool for other pointwise ergodic problems along arithmetic sequences defined by quadratic forms.
Reading between the lines
- The circle-method framework may extend to primes representable by other binary quadratic forms, or by higher-degree norm forms, yielding new pointwise ergodic theorems.
- The L^1 counterexample likely reflects a general pattern for sparse arithmetic sequences: convergence for p > 1 with L^1 divergence is common, and this paper adds a new instance.
- A natural next step would be to test whether the estimates support multi-parameter ergodic averages along two or more such quadratic forms simultaneously.
- The prime-ideal estimates could be useful outside ergodic theory, for example in equidistribution questions for ideals or in additive number theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript, as provided, consists only of an abstract. It claims to resolve the question of pointwise convergence for ergodic averages of a single L^p function (p>1) along the polynomial values of primes of the form x^2 + n y^2, following Bourgain's Hardy–Littlewood circle method. The abstract states that new major arc and minor arc estimates for the set of prime ideals are the main novelty, and that the convergence result cannot be extended to the class of L^1 functions. No proof, theorem statement, or definition of the arithmetic subsequence is included in the supplied text.
Significance. If the claimed theorem is correct, it would be a substantial extension of Bourgain's pointwise ergodic theorem to a sparse subsequence of primes defined by a binary quadratic form. The analytic number theory input—uniform major and minor arc estimates for prime ideals—would be a nontrivial contribution in its own right. However, the absence of any technical content in the submitted version means that the significance currently rests entirely on the plausibility of the abstract. The paper's value is conditional on the estimates being true, uniform in the spectral parameter, and strong enough for the ergodic transference argument.
major comments (4)
- [Abstract (entire manuscript)] The submitted text contains only the abstract; no theorems, proofs, or definitions are provided. The central claim is explicitly said to rest on 'major arc and minor arc estimates for the set of prime ideals' (abstract), but these estimates are neither stated nor proved. This is the load-bearing point of the paper, and its absence makes the result unverifiable as submitted. A complete version must state the estimates precisely and provide their proofs.
- [Abstract, 'major arc and minor arc estimates'] Bourgain's transference argument requires exponential-sum bounds that are uniform with respect to the spectral parameter of the unitary operator. The abstract gives no indication of this uniformity. If the implied constants in the major or minor arc estimates depend on the phase/spectral parameter, the maximal inequality cannot be deduced. The authors must state and prove uniformity explicitly.
- [Abstract, 'minor arc estimates'] For the Borel–Cantelli argument over rational approximants, the minor arc estimate must have a power saving (a bound of the form N^{-\delta} with \delta>0). A merely logarithmic saving is insufficient for the pointwise convergence conclusion. The abstract does not specify the saving. This is a necessary condition that must be verified in the full text.
- [Abstract, 'cannot be extended to class of L^1 functions'] The claimed L^1 counterexample is stated without any description of the construction or proof. For the sharpness claim to be meaningful, the authors must exhibit a function f \in L^1 for which the averages diverge almost everywhere (or at least on a set of positive measure), and prove that the construction is compatible with the convergence results for p>1.
minor comments (3)
- [Abstract, phrasing] The phrase 'cannot be extended to class of L^1 functions' is grammatically awkward; it should be 'cannot be extended to the class of all L^1 functions' or 'cannot be extended to all L^1 functions.'
- [Abstract, notation] The sequence is described as 'polynomial values of primes of the form x^2 + n y^2.' It would help to state the polynomial explicitly (e.g., p = x^2 + n y^2 with x,y integers) and to clarify whether the average is taken over primes p in increasing order or over representations (x,y).
- [References] The abstract cites Bourgain's 1989 paper, but the full manuscript should also cite the relevant algebraic number theory background (e.g., class field theory, prime ideal counting in quadratic fields) and any prior work on ergodic averages along primes or prime ideals.
Circularity Check
No circularity found; the derivation is not self-referential or fit-based, and the unverified analytic estimates are external inputs, not outputs.
full rationale
The available manuscript text (abstract only) contains no derivation chain that reduces a claimed result to its own assumptions. The central claim is pointwise convergence of ergodic averages along primes of the form x^2 + ny^2, obtained by Bourgain's Hardy-Littlewood circle-method framework. The paper's stated novelty is major arc and minor arc estimates for the set of prime ideals associated with the quadratic form. These estimates are presented as new analytic number-theoretic inputs to be proven and then fed into Bourgain's transference machinery; they are not defined in terms of the ergodic convergence conclusion, nor are they fit to the target data. There are no fitted parameters renamed as predictions, no self-citation used as a load-bearing justification, no uniqueness theorem imported from the authors' prior work, and no ansatz smuggled in via citation. The only cited work, Bourgain's paper, is external and supplies the general framework rather than the specific conclusion. The L^1 non-extendability claim is an additional theorem, not presupposed by the convergence proof. While the correctness of the major/minor arc estimates is unverified from the abstract alone, unverifiedness is not circularity. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption The Bourgain pointwise ergodic theorem and its maximal and oscillation inequalities for sparse sequences can be imported as a black box.
- domain assumption The set of primes represented by x^2 + n y^2 admits a description via prime ideals in the ring of integers of Q(sqrt(-n)), with a Chebotarev-type distribution law.
- domain assumption The Hardy-Littlewood circle method applies to the indicator function of the prime ideal set, with quantitative major and minor arc estimates.
Cite this review
Pith. "Pith review of Pointwise ergodic theorem along primes of the form $x^2 + ny^2$." pith.science (2026). https://pith.science/paper/PY2YDUJC
@misc{pith2026250815466,
author = {Pith},
title = {Pith review of: Pointwise ergodic theorem along primes of the form $x^2 + ny^2$},
year = {2026},
howpublished = {\url{https://pith.science/paper/PY2YDUJC}},
note = {Machine review of arXiv:2508.15466}
}
abstract
This paper resolves the question of pointwise convergence for ergodic averages of a single function along the set of polynomial values of primes of the form $x^2 + ny^2$. Following the influential paper of Bourgain \cite{bourgain1989pointwise}, we employ the Hardy-Littlewood circle method where major arc and minor arc estimates for the set of prime ideals constitute the main novelty of the paper. We also prove that our convergence results cannot be extended to class of $L^1$ functions.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.