{"id":"995796f5-0bf8-43b4-bd82-360c1e26963e","arxiv_id":"2606.24924","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Rules out naive concavity criterion for RH and derives conditional zero-density and localisation criteria via a finite spectral Riccati-Gamma averaging framework.","lead":"The paper proves that a naive two-sided vertical concavity test on the logarithmic derivative of the completed zeta function cannot prove the Riemann Hypothesis, as each zero flips the curvature sign across the pole. It replaces this with a finite spectral averaging framework that establishes cancellation on the critical line and conditional positivity off-line under a low-frequency kernel condition, plus explicit additional hypotheses that would imply RH.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption matches the paper's own explicit caveats. Because the work does not claim an unconditional proof and supplies reproducible code, the conditional structure does not introduce an unexamined load-bearing gap.","tokens_in":1765,"tokens_out":209,"duration_ms":23250,"concrete_test":"Execute the supplied Python routines on the provided numerical figures to confirm that the reported cancellation at the critical line and the sign of the off-critical paired contribution both hold exactly as described for the chosen kernel.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The manuscript explicitly states that its positive results are conditional on a concrete low-frequency kernel condition plus further localisation hypotheses, and it unconditionally rules out only the naive two-sided concavity route by exhibiting opposite vertical curvatures on either side of each zero. The argument is therefore internally consistent once the conditional framing is accepted; no hidden assumption that would invalidate the stated conditional theorem or the cancellation proof is visible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript examines a Riccati--Gamma approach to the logarithmic derivative of the completed Riemann zeta function Ξ. It proves unconditionally that a naive two-sided vertical concavity criterion for Ξ'/Ξ cannot establish the Riemann Hypothesis, since every zero induces opposite vertical curvatures on the two horizontal sides of the pole. It then introduces a finite spectral averaging framework, under which it establishes cancellation at the critical line, positivity of the off-critical paired contribution to the left of the critical line under a concrete low-frequency kernel condition, a conditional zero-density consequence, and a precise conditional theorem identifying the additional localization hypotheses that would imply RH. The results are explicitly conditional rather than unconditional; reproducible Python routines and numerical figures are included.","tokens_in":1835,"tokens_out":439,"duration_ms":33315,"significance":"If the stated conditional results hold under the low-frequency kernel condition and localization hypotheses, the work supplies a clear unconditional obstruction to one natural concavity-based route and isolates the remaining analytic requirements in explicit form. The finite spectral averaging framework and the accompanying reproducible code constitute verifiable contributions that could guide subsequent investigations into the kernel condition.","major_comments":[],"minor_comments":[{"comment":"The abstract refers to a 'concrete low-frequency kernel condition' without quoting its explicit functional form; the introduction or §2 should state the kernel definition verbatim so that the positivity claim can be checked directly against the stated hypothesis.","section":null},{"comment":"The conditional theorem is described as 'precise' but the manuscript should include a numbered statement (e.g., Theorem 5.3) that lists the exact localization hypotheses required, rather than describing them only in prose.","section":null},{"comment":"Figure captions should explicitly indicate which numerical experiment corresponds to the low-frequency kernel positivity and which to the critical-line cancellation, to avoid ambiguity when readers reproduce the Python routines.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is submitted to math.GM; even though the claims are carefully conditional, the topic may fit better in a specialized number-theory venue where the kernel condition can be evaluated by experts in analytic number theory."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report accurately captures the manuscript's unconditional obstruction result, the finite spectral averaging framework, and the explicitly conditional nature of the remaining criteria. As no specific major comments are listed under the MAJOR COMMENTS section, we provide no point-by-point responses below.","responses":[],"tokens_in":1239,"tokens_out":86,"duration_ms":19936,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is the unconditional local argument that a naive vertical concavity criterion on Ξ'/Ξ cannot prove the Riemann Hypothesis: each zero forces opposite curvature signs on the two sides of the pole. That part is straightforward and removes one obvious path without circularity.\n\nThe rest replaces the obstruction with a finite spectral averaging framework. It establishes cancellation on the critical line, shows positivity of the off-critical paired term under an explicit low-frequency kernel condition, derives a conditional zero-density statement, and gives a precise list of additional localisation hypotheses that would imply RH. The abstract is transparent that these are conditional, and the paper supplies accompanying code.\n\nWhat is new is the concrete formulation of the averaging step and the isolation of the kernel plus localisation assumptions as the exact remaining requirements. That framing is useful for anyone continuing in the Riccati-Gamma direction.\n\nThe soft spot is that the positivity result rests on the external low-frequency kernel condition, which is not derived inside the paper. How natural or verifiable that condition is will determine how much the conditional theorem actually advances the question. Without the body of the derivations it is impossible to check the kernel definition or any error bounds.\n\nThis is for readers already working on analytic criteria for RH via logarithmic derivatives or spectral methods. It is not a full proof and does not claim to be. The work is internally consistent once the conditional framing is accepted, shows clear separation of what is proved from what is assumed, and deserves referee time to examine the kernel construction and the localisation hypotheses in detail.","headline":"The paper cleanly rules out the naive two-sided concavity route to RH by opposite curvatures at each zero, then isolates a conditional spectral averaging path whose remaining steps are stated explicitly.","tokens_in":2326,"tokens_out":392,"would_cite":false,"duration_ms":15370,"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":"A naive vertical concavity criterion for Ξ'/Ξ cannot prove the Riemann Hypothesis because every zero produces opposite vertical curvatures on the two sides of its pole.","keywords":["Riemann Hypothesis","Riccati-Gamma approach","logarithmic derivative","vertical concavity","spectral averaging","zero cancellation","conditional criteria","zero-density estimate"],"falsifier":"A concrete computation or counterexample showing that the low-frequency kernel condition fails to produce positivity for some off-critical zero pair, or that the required localization hypotheses are false.","tokens_in":2645,"feed_emoji":"","tokens_out":702,"duration_ms":26128,"temperature":0.7,"pith_summary":"The paper examines a Riccati-Gamma approach to the logarithmic derivative of the completed Riemann zeta function and shows that a simple two-sided vertical concavity test fails as a proof of the Riemann Hypothesis. Each zero creates opposing curvatures above and below the pole in the derivative, so the test cannot hold uniformly. The work replaces the obstruction with a finite spectral averaging framework that establishes exact cancellation of contributions exactly at the critical line. It further proves that the off-critical paired contributions are positive to the left of the line once a concrete low-frequency kernel condition is imposed, yielding a conditional zero-density result and isolating the extra localization hypotheses that would turn the framework into a proof of the hypothesis.","feed_headline":"Opposite curvatures block naive concavity proof of Riemann Hypothesis","feed_subtitle":"Spectral averaging yields cancellation on the critical line and positivity off it under a low-frequency kernel condition, isolating the extr","key_machinery":"Finite spectral averaging framework applied to the Riccati-Gamma expression for the logarithmic derivative Ξ'/Ξ, which averages vertical concavity while handling the poles at the zeros.","core_discovery":"Every zero produces opposite vertical curvatures on the two horizontal sides of the pole of the logarithmic derivative, so a naive two-sided vertical concavity criterion for Ξ'/Ξ cannot prove the Riemann Hypothesis. A finite spectral averaging framework replaces this obstruction by proving cancellation at the critical line, positivity of the off-critical paired contribution on the left under a concrete low-frequency kernel condition, a conditional zero-density consequence, and a precise statement of the additional localization hypotheses needed to imply the Riemann Hypothesis.","pith_inferences":["The symmetric cancellation mechanism at the critical line may connect to other reflection-symmetric properties already known for the zeta function.","Verification of the low-frequency kernel condition could be checked numerically on finite intervals of zeros to test the conditional route.","The isolation of explicit localization hypotheses narrows the remaining analytic work needed to reach an unconditional result via this averaging method."],"forward_implications":["Exact cancellation holds between paired contributions exactly at the critical line.","The off-critical paired contribution is positive to the left of the critical line once the low-frequency kernel condition is met.","A conditional zero-density estimate follows directly from the positivity result.","The Riemann Hypothesis holds if the stated additional localization hypotheses are added to the framework."],"fun_headline_variants":["Curvature opposition at zeros defeats simple concavity proof of Riemann Hypothesis","Spectral averaging proves critical line cancellation with off-critical positivity","Opposite vertical curvatures foil naive two-sided concavity criterion for RH","Finite spectral framework yields conditional zero-density and localization path to RH"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The low-frequency kernel condition must produce positivity of the off-critical paired contribution, and the additional localization hypotheses must hold for the conditional theorem to imply the Riemann Hypothesis.","fun_headline_variants_meta":{"raw":{"variants":["Curvature opposition at zeros defeats simple concavity proof of Riemann Hypothesis","Spectral averaging proves critical line cancellation with off-critical positivity","Opposite vertical curvatures foil naive two-sided concavity criterion for RH","Finite spectral framework yields conditional zero-density and localization path to RH"]},"model":"grok-4.3","cost_usd":0.004842,"raw_usage":{"total_tokens":2379,"prompt_tokens":669,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":48424500,"prompt_tokens_details":{"text_tokens":669,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1640,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":669,"tokens_out":70,"duration_ms":15599,"temperature":1.0,"reasoning_tokens":1640,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T11:18:22.158105+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete computation or counterexample showing that the low-frequency kernel condition fails to produce positivity for some off-critical zero pair, or that the required localization hypotheses are false.","supporting_citations":[],"review_version":2}