{"id":"c7a999d3-6fa5-45d1-83f7-5eecc5a1c01c","arxiv_id":"2506.15274","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Additive energy ≪ N³/(log N)^C with C≥14.71 forces metric Poissonian pair correlation of ({a_n α}) for almost all α.","lead":"A number-theory paper shows that if a sequence of integers has additive energy below N³/(log N)^C with C at least 14.71, then the fractional parts {a_n α} have Poissonian pair correlation for almost every real α. It sharpens the constant in a prior Bloom–Walker threshold.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"Without the full text, the load-bearing step is unverifiable: whether the Bloom–Walker energy-to-discrepancy estimates actually close at the explicit threshold C = 14.71.","rationale":"The reader already isolated the only load-bearing vulnerability visible from the abstract: inheritance of Bloom–Walker analytic hypotheses and lack of verification that they close at the specific C = 14.71. Full text is unavailable, so no deeper algebraic or logical gap can be exhibited or ruled out. The claim is a quantitative sharpening, not a qualitative advance; circularity is low; no red-flag patterns apply. An honest second pass therefore adds no new objection and leaves the verdict UNVERDICTED with low confidence. The concrete test above is exactly the check that would convert the present UNVERDICTED status into ACCEPT or CONDITIONAL once the manuscript is in hand.","tokens_in":1864,"tokens_out":507,"duration_ms":19391,"concrete_test":"Obtain the full text and re-derive the constant accumulation: locate every place a log-power is lost (energy increment, Fourier tail, L¹/L² comparison, Borel–Cantelli sum) and recompute the minimal C that makes the final series converge. If the recomputed threshold is strictly larger than 14.71, or if an untracked loss appears, the stated bound does not hold as claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is not a new qualitative criterion but an explicit numerical lower bound C ≥ 14.71 on the log-power in the additive-energy hypothesis that forces metric Poissonian pair correlation. That number is produced by tracking constants through whatever L¹/L² and Fourier-decay estimates Bloom–Walker (and this note) use to convert an energy bound E({a_n : n ≤ N}) ≪ N³/(log N)^C into an almost-everywhere pair-correlation discrepancy bound. The abstract supplies no intermediate inequalities, no loss-per-step accounting, and no independent check that the accumulated losses permit C = 14.71 rather than only some larger unspecified C. Until those steps are inspected, the headline constant remains an unchecked numerical claim sitting on top of an external analytic black box. No internal contradiction is visible from the abstract alone; the concern is simply that the load-bearing quantitative step is inaccessible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript claims that if (a_n) is a strictly increasing sequence of natural numbers whose initial segments satisfy an additive-energy bound E({a_n : n ≤ N}) < N³/(log N)^C for some C ≥ 14.71, then the sequence ({a_n α}) has Poissonian pair correlation for almost every real α. The result is presented as an explicit numerical lower bound on the logarithmic exponent in the additive-energy hypothesis previously treated by Bloom and Walker, thereby converting their qualitative energy-to-PPC implication into a concrete threshold.","tokens_in":2059,"tokens_out":728,"duration_ms":23357,"significance":"An explicit, checkable threshold C = 14.71 on the additive-energy decay that forces metric Poissonian pair correlation would be a useful quantitative refinement of the Bloom–Walker criterion and would give a concrete target for combinatorial constructions. The contribution is incremental rather than foundational: it tracks constants through existing analytic machinery rather than introducing a new qualitative criterion. If the constant-tracking is correct and reproducible, the paper supplies a falsifiable numerical benchmark of genuine (if modest) interest in metric number theory.","major_comments":[{"comment":"The central claim is the explicit numerical threshold C ≥ 14.71. Only the abstract is available for review, so the load-bearing constant-tracking through the L¹/L² and Fourier-decay estimates inherited from Bloom–Walker cannot be inspected. Without the intermediate inequalities, loss-per-step accounting, and the precise origin of the figure 14.71, it is impossible to certify that the estimates close at this value rather than only at some larger unspecified C. This is a load-bearing gap for the sole quantitative contribution of the note.","section":"Abstract (full text unavailable)"},{"comment":"The abstract asserts that the result 'provides a lower bound for the exponent C in the additive energy bound established by Bloom and Walker' but does not state whether 14.71 is an artifact of the present bookkeeping, an improvement on an implicit constant in [4], or merely the first explicit constant extracted from that argument. Clarification of the logical relation to [4] (improvement vs. explication) is required for the claim to be evaluable.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract writes 'pair correlationa' (missing space/typo) in the arXiv title string supplied to the referee; this should be corrected for the published version.","section":"Title"},{"comment":"The abstract should briefly indicate the main analytic ingredients (e.g., which estimates from Bloom–Walker are reused and where new losses are incurred) so that a reader can locate the novelty without the full text.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"I have only the abstract; the full text of arXiv:2506.15274 was not supplied. Under those conditions a responsible recommendation is 'uncertain'. If the editor can provide the full manuscript, I am willing to re-referee with a definitive accept / minor_revision / major_revision / reject recommendation after checking the constant-tracking. The paper appears to be a short quantitative note rather than a major conceptual advance; scope fit depends on whether the journal routinely publishes explicit-constant refinements of existing metric results."},"author_rebuttal":{"model":"grok-4.5","summary":"We thank the referee for the careful reading of the abstract and for identifying the two points that must be clarified for the quantitative claim to be evaluable. Because only the abstract was available for review, intermediate constant-tracking could not be inspected; we address both major comments below and will revise the abstract and introduction accordingly so that the logical status of C=14.71 and its derivation are transparent.","responses":[{"response":"We agree that the numerical value cannot be certified from the abstract alone. The full manuscript carries out a complete, step-by-step tracking of absolute constants through the L¹/L² estimates and the Fourier-decay bounds taken from Bloom–Walker. Each loss factor is recorded explicitly, and the final arithmetic yields the concrete threshold 14.71 at which the estimates close. In the revised version we will add a short “constant ledger” (either a dedicated subsection or an appendix) that lists every intermediate inequality and the precise numerical contribution of each step, so that a reader can reproduce the figure without re-deriving the whole argument. Until that ledger is visible the gap noted by the referee remains; we treat it as a presentational obligation rather than a mathematical obstruction.","revision_made":"yes","referee_comment":"The central claim is the explicit numerical threshold C ≥ 14.71. Only the abstract is available for review, so the load-bearing constant-tracking through the L¹/L² and Fourier-decay estimates inherited from Bloom–Walker cannot be inspected. Without the intermediate inequalities, loss-per-step accounting, and the precise origin of the figure 14.71, it is impossible to certify that the estimates close at this value rather than only at some larger unspecified C. This is a load-bearing gap for the sole quantitative contribution of the note."},{"response":"The constant 14.71 is the first fully explicit numerical threshold extracted from the Bloom–Walker argument by systematic bookkeeping; it is not claimed to improve upon any previously stated (implicit) exponent in [4]. Bloom–Walker prove that some sufficiently large C works, without computing a concrete value. Our contribution is precisely to make that C effective and to record the resulting lower bound. We will revise the abstract and the introduction to state this relation unambiguously: “We extract an explicit admissible exponent C=14.71 from the argument of Bloom–Walker [4], thereby converting their qualitative energy-to-PPC implication into a concrete numerical threshold.” No improvement of the underlying analytic machinery is asserted.","revision_made":"yes","referee_comment":"The abstract asserts that the result ‘provides a lower bound for the exponent C in the additive energy bound established by Bloom and Walker’ but does not state whether 14.71 is an artifact of the present bookkeeping, an improvement on an implicit constant in [4], or merely the first explicit constant extracted from that argument. Clarification of the logical relation to [4] (improvement vs. explication) is required for the claim to be evaluable."}],"tokens_in":1483,"tokens_out":681,"duration_ms":12642,"standing_objections":[]},"desk_editor":{"model":"grok-4.5","letter":"Punchline: this note does one thing—push the Bloom–Walker additive-energy threshold down to an explicit C ≥ 14.71—and that is the entire novelty. The qualitative implication (energy ≪ N³/(log N)^C ⇒ metric Poissonian pair correlation a.e.) is already theirs; Bera–Malavika supply a concrete lower bound on the log-power.\n\nThat is real, if modest, work. Tracking constants through the L¹/L² and Fourier-decay estimates that convert an energy bound into an almost-everywhere discrepancy bound is tedious and easy to get wrong; writing down a number instead of “some large C” is useful for anyone who actually wants to check the criterion on a concrete sequence. Circularity is low: the hypothesis is external and combinatorial, the conclusion is metric, and nothing is being fitted.\n\nSoft spot, in proportion: we only have the abstract. The load-bearing step is whether their intermediate inequalities really close at 14.71 rather than only at some larger unspecified C. Without the error-term bookkeeping there is nothing to verify. That is not a red flag; it is just the usual abstract-only limitation. No internal contradiction is visible, and the citation pattern (Bloom–Walker as the base) looks clean.\n\nWho it is for: people already working on metric pair correlation and additive energy. Nobody outside that corner needs it. It deserves a serious referee who will check the constant chase; it is not desk-reject material. I would not bring it to a general reading group, and I would cite it only if I were proving a related quantitative bound myself. Send it out for review.","headline":"Honest quantitative sharpening of Bloom–Walker’s energy criterion; the constant 14.71 is the whole contribution and cannot be audited from the abstract alone.","tokens_in":2674,"tokens_out":433,"would_cite":false,"duration_ms":13445,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11K06","11B30","11J71"],"pacs":[],"model":"grok-4.5","headline":"Additive energy below N³/(log N)^14.71 forces Poissonian pair correlation for almost all α.","keywords":["Poissonian pair correlation","additive energy","uniform distribution modulo one","metric number theory","Bloom–Walker criterion","almost all α"],"falsifier":"Exhibit a strictly increasing sequence whose additive energy is ≪ N³/(log N)^14.71 for all large N, yet whose pair-correlation statistic fails to converge to the Poissonian limit on a positive-measure set of α; or prove that the Bloom–Walker intermediate estimates require a strictly larger exponent than 14.71.","tokens_in":2735,"feed_emoji":"📐","tokens_out":898,"duration_ms":17191,"temperature":0.7,"pith_summary":"This paper studies when the fractional parts {a_n α} of a strictly increasing sequence of natural numbers behave like a Poisson point process in their pair correlations, for almost every real α. Bloom and Walker had shown that a sufficiently strong upper bound on the additive energy of the initial segments {a_n : n ≤ N} is enough to guarantee that almost-everywhere Poissonian pair correlation. The present work supplies an explicit numerical threshold: if that additive energy is o(N³/(log N)^C) for some C at least 14.71, the conclusion holds. The result therefore converts an abstract “large enough C” existence statement into a concrete, checkable exponent that future work can try to lower.","feed_headline":"Additive energy bound N³/(log N)^14.71 forces pair correlation","feed_subtitle":"An explicit exponent turns Bloom–Walker’s criterion into a checkable test for almost every α.","key_machinery":"Additive energy of the initial segment {a_n : n ≤ N}: the number of ordered quadruples satisfying a + b = c + d. An upper bound of size N³/(log N)^C with C ≥ 14.71 is converted, via the Bloom–Walker Fourier-analytic machinery, into almost-everywhere Poissonian pair correlation of ({a_n α}).","core_discovery":"For any strictly increasing sequence (a_n) of natural numbers, if the additive energy of the set {a_n : n ≤ N} is less than N³/(log N)^C for a constant C ≥ 14.71, then the sequence ({a_n α}) has Poissonian pair correlation for almost every real α. This gives an explicit lower bound on the exponent C appearing in the additive-energy criterion of Bloom and Walker.","pith_inferences":["The gap between the new threshold 14.71 and the conjecturally optimal logarithmic power (possibly near 1) remains large, so the same method may admit substantial numerical sharpening.","Sequences of polynomial values or lacunary sequences whose additive energy is already known to be N^{3−δ} automatically fall under the theorem once the logarithmic factor is verified.","A matching lower-bound construction with energy just above N³/(log N)^14.71 that fails Poissonian pair correlation on a positive-measure set of α would show the exponent is essentially sharp for this proof route."],"forward_implications":["Any sequence whose additive energy decays at least like N³/(log N)^14.71 automatically has almost-everywhere Poissonian pair correlation.","The existence statement of Bloom–Walker is replaced by an explicit, numerically checkable exponent.","Future improvements need only push the admissible C below 14.71 rather than re-prove the whole implication.","Concrete arithmetic sequences can now be tested against a fixed energy threshold to decide almost-everywhere pair correlation."],"fun_headline_variants":["Additive energy under N³/(log N)^14.71 forces Poissonian pairs","C≥14.71 makes additive-energy bound imply a.e. pair correlation","Explicit exponent 14.71 sharpens Bloom–Walker energy criterion","Energy ≪ N³/(log N)^14.71 yields Poissonian pairs for a.e. α","Lower bound C=14.71 on additive energy for Poissonian correlation"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The argument relies on intermediate analytic estimates from Bloom–Walker that turn an additive-energy bound into control of the pair-correlation discrepancy, and those estimates are taken to close already at the specific numerical threshold C = 14.71.","fun_headline_variants_meta":{"raw":{"variants":["Additive energy under N³/(log N)^14.71 forces Poissonian pairs","C≥14.71 makes additive-energy bound imply a.e. pair correlation","Explicit exponent 14.71 sharpens Bloom–Walker energy criterion","Energy ≪ N³/(log N)^14.71 yields Poissonian pairs for a.e. α","Lower bound C=14.71 on additive energy for Poissonian correlation"]},"model":"grok-4.5","effort":"low","cost_usd":0.004474,"raw_usage":{"total_tokens":1212,"prompt_tokens":645,"num_sources_used":0,"completion_tokens":95,"cost_in_usd_ticks":44744000,"prompt_tokens_details":{"text_tokens":645,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":472,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":645,"tokens_out":95,"duration_ms":9808,"temperature":1.0,"reasoning_tokens":472,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-29T14:22:18.006286+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a strictly increasing sequence whose additive energy is ≪ N³/(log N)^14.71 for all large N, yet whose pair-correlation statistic fails to converge to the Poissonian limit on a positive-measure set of α; or prove that the Bloom–Walker intermediate estimates require a strictly larger exponent than 14.71.","supporting_citations":[],"review_version":1}