{"id":"e87882ff-6ab3-4c0a-ba26-3a8acc5722f5","arxiv_id":"2508.15466","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Pointwise ergodic averages along primes of the form x^2 + n y^2 converge for L^p (p>1) functions and fail for L^1.","lead":"A math paper proves that if you average a function along special prime numbers that are a square plus a fixed multiple of another square, the averages converge. This extends Bourgain's famous ergodic theorem and builds a new bridge between number theory and dynamical systems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Only abstract supplied; central claim rests on unproven uniform major/minor arc estimates for prime ideals.","rationale":"The reader's verdict is UNVERDICTED because only the abstract is available. My stress-test agrees: the central claim depends on major and minor arc estimates that are not stated, let alone proved, in the supplied text. This is not a detected error; it is an unverified dependency. The most precise way to articulate the concern is through uniformity: Bourgain's ergodic-theoretic argument requires uniform exponential-sum estimates over the spectral parameter of the operator, and the abstract's phrase 'major arc and minor arc estimates for the set of prime ideals' does not guarantee that uniformity. Additionally, the L^1 counterexample claim is standard in form and does not itself raise a technical concern. Therefore I do not move the verdict; the appropriate status remains UNVERDICTED, and the concrete next step is to obtain the full proof and check the uniformity and power saving of the advertised estimates. No ad hominem is intended; the concern is about the completeness of the evidence, not the authors' integrity.","tokens_in":609,"tokens_out":4234,"duration_ms":53142,"concrete_test":"Obtain the full manuscript and locate the statement of the major/minor arc estimates advertised as the main novelty. Verify that the minor arc estimate is uniform over all θ in the minor arcs and over the spectral parameter z of the unitary operator, with error O(N^{-δ}) for some δ>0 independent of z, and that it is strong enough to make Bourgain's oscillation norm finite. As a minimal numerical probe, compute S(α)=Σ_{p≤N, p=x^2+ny^2} e(pα) for N=10^5 and 10^6 with α approaching a rational a/q with q~N^{1/2}; if the empirical magnitude exceeds the claimed N^{1-δ} by more than a constant, the uniformity of the estimate is suspect.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central theorem is only as strong as the new analytic number-theoretic estimates it introduces, since the ergodic-theoretic framework is Bourgain's. The abstract identifies 'major arc and minor arc estimates for the set of prime ideals' as the main novelty but supplies no statement of them. The load-bearing condition is that these estimates are uniform in the spectral parameter of the unitary operator: in Bourgain's transference argument, the exponential-sum bounds over the subsequence must be integrated against the spectral measure of the operator, and any dependence of the implied constant on the phase/spectral parameter prevents the maximal inequality from being deduced. A second requirement is that the minor arc estimate has a power saving (exponent -δ with δ>0) sufficient for a Borel-Cantelli argument over rational approximants; a merely logarithmic saving is not enough. Since neither condition is stated or proven in the available text, the central claim is unverified, not refuted.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":846,"tokens_out":2452,"duration_ms":26808,"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":[{"comment":"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.","section":"Abstract (entire manuscript)"},{"comment":"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.","section":"Abstract, 'major arc and minor arc estimates'"},{"comment":"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.","section":"Abstract, 'minor arc estimates'"},{"comment":"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.","section":"Abstract, 'cannot be extended to class of L^1 functions'"}],"minor_comments":[{"comment":"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.'","section":"Abstract, phrasing"},{"comment":"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).","section":"Abstract, notation"},{"comment":"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.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The version I received contains only the abstract and no body text. If this is a submission error, the authors should be asked to provide the full manuscript. If the full text genuinely is absent, the paper is not yet in a reviewable state. The verification of uniform major/minor arc estimates with a power saving is essential; without them, the central claim cannot be assessed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract announces a clean, natural result: pointwise convergence for ergodic averages along primes of the form x^2+ny^2, with an L^1 counterexample proving sharpness. That is a real question left open after Bourgain, and the packaging is honest—it explicitly credits Bourgain's framework and places the novelty in the major/minor arc estimates for prime ideals. If the proof is right, it's a solid contribution to ergodic theory and analytic number theory, exactly the kind of thing people in the field would want to know about.\n\nWhat I cannot do is judge the proof, because no proof is shown. The abstract gives no statement of the prime-ideal estimates, and they are load-bearing. In Bourgain's transference argument you need two things: uniformity of the exponential-sum bounds in the spectral parameter of the unitary operator, and a minor arc estimate with a genuine power saving (an exponent -delta, delta>0) so the Borel-Cantelli argument over rational approximants goes through. The abstract says neither, so the central claim is unverified rather than refuted. The reader's stress-test note is right to flag these as the first things to check.\n\nThere is also the L^1 counterexample. That claim is nearly as important as the positive result, because it shows the p>1 threshold is sharp. The abstract mentions it in one sentence with no hint of the construction. I'd want to see that too, since Bourgain's original counterexamples were not trivial.\n\nGiven the source (arXiv, math.DS) and the sparse abstract, I would not cite this yet, but I would keep an eye on it. If the full text appears and the estimates hold up, it becomes a paper I'd assign to a graduate student working on sparse sequence ergodic theorems. For now, the honest position is that the paper is a plausible, important claim that needs real referee work. If it were submitted to a journal, I'd send it to review—not desk-reject it—because the question is natural and the announced method is the right one. The referee should be instructed to verify the uniformity in the spectral parameter and the exponent in the minor arc estimate before anything else.","headline":"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.","tokens_in":1231,"tokens_out":1419,"would_cite":false,"duration_ms":17004,"reading_group":"maybe","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37A30","11N05","11E25"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["pointwise ergodic theorem","quadratic form","primes represented by a binary quadratic form","Hardy-Littlewood circle method","prime ideals","L^1 divergence","ergodic averages"],"falsifier":"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.","tokens_in":561,"feed_emoji":"🔢","tokens_out":6178,"duration_ms":64282,"temperature":0.7,"pith_summary":"The paper attempts to establish a pointwise ergodic theorem for a sparse arithmetic sequence: the values of a polynomial at primes that can be written as x^2 + n y^2. It claims that for every measure-preserving system and every L^p function with p > 1, the averages along this sequence converge almost everywhere. The proof follows Bourgain's circle-method approach, with the main technical contribution being new major-arc and minor-arc estimates for the relevant prime ideals. The paper also asserts that the result cannot be extended to L^1, giving a counterexample that marks the threshold as sharp.","feed_headline":"Ergodic averages converge along primes x^2+ny^2","feed_subtitle":"Holds for every L^p function with p>1; an L^1 example shows the bound is sharp.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["Pointwise ergodic theorem for primes x^2+ny^2: sharp L^p result","Ergodic averages along primes x^2+ny^2 converge for every p>1","Sharp L^p threshold for ergodic averages along primes x^2+ny^2","Pointwise convergence along prime values of x^2+ny^2 for p>1","New ergodic theorem: primes x^2+ny^2 yield a.e. convergence for p>1"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Pointwise ergodic theorem for primes x^2+ny^2: sharp L^p result","Ergodic averages along primes x^2+ny^2 converge for every p>1","Sharp L^p threshold for ergodic averages along primes x^2+ny^2","Pointwise convergence along prime values of x^2+ny^2 for p>1","New ergodic theorem: primes x^2+ny^2 yield a.e. convergence for p>1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001149,"raw_usage":{"total_tokens":4523,"prompt_tokens":586,"completion_tokens":3937,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":330,"completion_tokens_details":{"reasoning_tokens":3814}},"tokens_in":330,"tokens_out":3937,"duration_ms":28823,"temperature":1.0,"reasoning_tokens":3814,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T17:51:38.995306+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}