{"id":"1d36fec7-e3fe-489c-bcc8-f57e8dd0017d","arxiv_id":"2606.12376","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Conditional lower bound (half the conjectured value) for the second moment of a zeta ratio summed over non-trivial zeros, assuming RH and simple zeros.","lead":"The paper proves a conditional lower bound half the conjectured size for the second moment of a ratio of zeta functions summed over the non-trivial zeros of the Riemann zeta function. A smart generalist might read it to follow incremental progress on open questions linking zeta zeros to prime number distributions.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's provisional UNVERDICTED assessment matches the limited information; the claim is modest, conditional, and internally consistent as described. No load-bearing gap is detectable without the full text.","tokens_in":1508,"tokens_out":204,"duration_ms":10057,"concrete_test":"Re-derive the factor of 1/2 in the lower bound by repeating the explicit residue or contour calculation in the main argument; confirm it arises directly from the sum over simple zeros rather than from an omitted cross term.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper states a conditional lower bound (half the conjectured size) for the indicated second moment under RH plus simplicity of all non-trivial zeros. This is presented explicitly as a partial result rather than a full resolution, with no internal inconsistency or overclaim visible from the given description. The assumptions are standard for such work and are stated up front.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims to establish a conditional lower bound (under the Riemann Hypothesis and the assumption that all non-trivial zeros of the zeta function are simple) for the second moment of a ratio of zeta functions summed over the non-trivial zeros of the Riemann zeta function; the bound obtained is half the size of the value conjectured by Ng.","tokens_in":1573,"tokens_out":271,"duration_ms":24110,"significance":"If correct, the result supplies a partial, conditional confirmation of Ng's conjecture by recovering 50% of the expected main term. This constitutes incremental progress in the study of moments of zeta ratios at zeros, but the factor of 1/2 and the restrictive hypotheses limit its immediate impact; the work is presented explicitly as a note rather than a full resolution.","major_comments":[],"minor_comments":[{"comment":"The abstract refers to 'a ratio of zeta functions' without specifying the precise form (e.g., which shifts or which functions appear); a single sentence clarifying the ratio would improve readability.","section":"Abstract"},{"comment":"The manuscript should include a brief comparison, even if only heuristic, explaining why the method yields exactly half the conjectured constant rather than the full value.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their report and for recommending minor revision. The referee's summary correctly captures the content and scope of our note. Since no specific major comments were listed under the MAJOR COMMENTS section, we have no points requiring detailed rebuttal or manuscript changes. The limitations noted in the significance section (factor of 1/2, conditional hypotheses) are already explicitly stated in the manuscript and reflect the incremental nature of the result.","responses":[],"tokens_in":1009,"tokens_out":105,"duration_ms":20147,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The punchline is that Pearce-Crump shows, under RH plus simplicity of all zeros, that the second moment in question is at least half the size Ng conjectured. That specific half-bound is the new piece; prior work apparently did not record it.\n\nThe paper does the straightforward job of stating the assumptions up front and delivering the inequality without extra claims. It is short and precise about what it reaches and what it does not.\n\nThe main limitation is that the bound stops at half the target. That is not a flaw in execution but it does keep the result incremental. The derivation itself is not visible from the abstract, so one cannot yet check the error terms or how the ratio is handled, but nothing in the statement suggests circularity or hidden fitting. The assumptions are the usual ones for this area and are not hidden.\n\nThis is for analytic number theorists who track moment conjectures for zeta and L-functions. Someone already following Ng's work or related ratios over zeros will get a small but usable data point. It is not broad enough for a general audience.\n\nI would send it to a referee. The result is cleanly stated, the assumptions are explicit, and the contribution is modest but honest; a specialist can judge the details in review.","headline":"This note derives a conditional lower bound reaching exactly half of Ng's conjectured value for the second moment of a zeta ratio summed over zeros.","tokens_in":2010,"tokens_out":330,"would_cite":false,"duration_ms":10442,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Under the Riemann Hypothesis and simple zeros, a second moment of a zeta-function ratio summed over non-trivial zeros is bounded below by half the conjectured value.","keywords":["Riemann zeta function","non-trivial zeros","second moment","Ng conjecture","Riemann Hypothesis","simple zeros"],"falsifier":"An explicit multiple zero of the zeta function, or a numerical computation of the moment that falls below the stated lower bound while satisfying the assumptions, would contradict the result.","tokens_in":2409,"feed_emoji":"","tokens_out":563,"duration_ms":13189,"temperature":0.7,"pith_summary":"The paper proves a conditional lower bound on the second moment formed by summing a ratio of zeta functions over the non-trivial zeros of the Riemann zeta function. The bound equals half the size predicted by Ng's conjecture. The result requires the Riemann Hypothesis plus the assumption that every non-trivial zero is simple. A reader would care because the moment controls the average size of the ratio at the zeros themselves, which in turn governs how zeta behaves near its own zeros. The work therefore supplies a partial step toward confirming the full conjectured size of that moment.","feed_headline":"Zeta ratio second moment bounded below at half Ng conjecture","feed_subtitle":"Conditional result under RH and simple zeros reaches half the predicted sum over non-trivial zeros.","key_machinery":"The summed second moment over non-trivial zeros ρ of a ratio of zeta functions evaluated at shifts of ρ.","core_discovery":"Assuming the Riemann Hypothesis and that all non-trivial zeros are simple, the sum over those zeros of the squared modulus of a fixed ratio of zeta functions is at least half the value Ng conjectured for the same sum.","pith_inferences":["If the full conjecture holds, the lower bound proved here is asymptotically tight up to the factor of two.","The result may combine with upper bounds already in the literature to pin the moment between half and the full conjectured value.","Removing the simplicity assumption would require handling contributions from multiple zeros separately."],"forward_implications":["Ng's conjecture receives support at least up to a factor of one-half under the stated hypotheses.","The average squared size of the ratio at the zeros cannot be smaller than the proved threshold.","Any further unconditional improvement would have to exceed this conditional half-size bound.","The same method may apply to related moments involving derivatives or higher powers of the ratio."],"fun_headline_variants":["Zeta ratio moment half Ng bound under RH simple zeros","RH yields half lower bound on Ng zeta ratio second moment","Simple zeros halve Ng conjecture for zeta zeros ratio sum","Conditional half Ng value for summed zeta ratio moments"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The proof requires that the Riemann Hypothesis holds and that every non-trivial zero of the zeta function is simple.","fun_headline_variants_meta":{"raw":{"variants":["Zeta ratio moment half Ng bound under RH simple zeros","RH yields half lower bound on Ng zeta ratio second moment","Simple zeros halve Ng conjecture for zeta zeros ratio sum","Conditional half Ng value for summed zeta ratio moments"]},"model":"grok-4.3","cost_usd":0.003527,"raw_usage":{"total_tokens":1741,"prompt_tokens":445,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":35274500,"prompt_tokens_details":{"text_tokens":445,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1234,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":445,"tokens_out":62,"duration_ms":9574,"temperature":1.0,"reasoning_tokens":1234,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T08:02:30.169854+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit multiple zero of the zeta function, or a numerical computation of the moment that falls below the stated lower bound while satisfying the assumptions, would contradict the result.","supporting_citations":[],"review_version":1}