{"paper":{"title":"A quantitative two-interval criterion for the Riemann hypothesis","arxiv_id":"2611.10726","primary_cat":"math.NT","submitted_at":"2026-11-07T13:39:58+00:00","version_compiled":"v1"},"notice":"Every quoted sentence is the authors' text from the arXiv listing abstract. Labels and probabilities are the outputs of classifier-1.13.0 on the question bank abstract-p1-20260923, exactly as returned. No sentence in this record was written by a language model.","schema":"pith.compiled-record/v0","status":"compiled","abstract":{"source":"arXiv listing abstract v1","sentences":[{"i":0,"p":0.7,"id":"s0","own":false,"role":"contribution","text":"We aim to study whether the Weil form can detect a zero of the Riemann zeta function away from the critical line using two functions with increasingly narrow, widely separated supports.","hedge":{"p":0.47,"label":"unclear"},"own_p":0.34,"main_claim_p":0.04,"quantitative":false,"quantitative_p":0.15,"role_probabilities":{"gap":0.0,"method":0.04,"result":0.0,"background":0.2,"limitation":0.0,"future_work":0.06,"contribution":0.7,"interpretation":0.0}},{"i":1,"p":0.97,"id":"s1","own":true,"role":"result","text":"We prove that the Riemann hypothesis is equivalent to the Cauchy-Schwarz inequality on every such pair at all sufficiently large separations, provided the component widths decrease subexponentially.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.94,"main_claim_p":0.86,"quantitative":false,"quantitative_p":0.34,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.97,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.03,"interpretation":0.0}},{"i":2,"p":0.95,"id":"s2","own":true,"role":"result","text":"A zero to the right of the critical line forces the normalized cross term to exceed an exponential at arbitrarily large separations, with any exponent smaller than the horizontal displacement of that zero.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.83,"main_claim_p":0.2,"quantitative":true,"quantitative_p":0.92,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.95,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.05}},{"i":3,"p":0.67,"id":"s3","own":true,"role":"result","text":"In particular, reciprocal-width intervals suffice.","hedge":{"p":0.97,"label":"asserted"},"own_p":0.78,"main_claim_p":0.05,"quantitative":false,"quantitative_p":0.11,"role_probabilities":{"gap":0.0,"method":0.01,"result":0.67,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.02,"interpretation":0.3}},{"i":4,"p":1.0,"id":"s4","own":true,"role":"method","text":"Our proof combines a short-support positivity estimate, a smooth partition of fixed test functions and a pole obstruction for a one-sided Laplace transform.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.93,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.08,"role_probabilities":{"gap":0.0,"method":1.0,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":5,"p":0.61,"id":"s5","own":true,"role":"method","text":"We also express the cross term through prime powers in a moving multiplicative interval.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.91,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.05,"role_probabilities":{"gap":0.0,"method":0.61,"result":0.04,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.35,"interpretation":0.0}},{"i":6,"p":0.56,"id":"s6","own":true,"role":"interpretation","text":"The resulting criterion specifies a uniform arithmetic inequality whose proof would establish the Riemann hypothesis.","hedge":{"p":0.86,"label":"asserted"},"own_p":0.86,"main_claim_p":0.49,"quantitative":false,"quantitative_p":0.05,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.28,"background":0.0,"limitation":0.0,"future_work":0.01,"contribution":0.15,"interpretation":0.56}}]},"compiled":{"main_claim":{"p":0.98,"text":"We prove that the Riemann hypothesis is equivalent to the Cauchy-Schwarz inequality on every such pair at all sufficiently large separations, provided the component widths decrease subexponentially.","location":"abstract s1","hedge_strength":{"p":1.0,"label":"asserted"}},"provenance":{"route":{"via":"TypeSafe API","model":"classifier-1.13.0","endpoint":"https://api.typesafe.ai/v1/systemone","provider":"TypeSafe"},"packing":"one request per paper","requests":1,"input_tokens":5521,"cost_usd_reported":0.0},"compiled_at":"2026-11-10","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13.0","abstract_states":{"claims_first":0.04,"states_limitation":0.39,"human_participants":0.01,"controlled_comparison":0.04,"randomized_assignment":0.01,"states_quantitative_result":0.69,"compares_with_prior_results":0.1,"mentions_code_or_data_availability":0.02},"evidential_basis":{"p":1.0,"value":"proof or derivation","probabilities":{"argument":0.0,"literature":0.0,"proof_or_derivation":1.0,"analysis_of_existing_data":0.0,"observation_or_experiment":0.0,"simulation_or_computation":0.0}},"contribution_type":{"p":1.0,"value":"theoretical result","probabilities":{"review":0.0,"method_or_tool":0.0,"empirical_study":0.0,"simulation_study":0.0,"theoretical_result":1.0,"dataset_or_benchmark":0.0,"position_or_commentary":0.0}},"contribution_statement":{"p":0.99,"text":"We prove that the Riemann hypothesis is equivalent to the Cauchy-Schwarz inequality on every such pair at all sufficiently large separations, provided the component widths decrease subexponentially.","location":"abstract s1"}},"coverage":{"tier":"abstract","levels_run":["P abstract"],"not_examined":["full text","figures and tables","references and citing sentences","relations to other papers"],"sources_read":["arXiv listing abstract v1"],"levels_not_run":["S sections","T body sentences","C citations","R cross-paper relations"],"sentences_examined":7,"sentences_in_abstract":7},"measured_accuracy":{"url":"https://pith.science/accuracy","measured_on":"2026-10-02","method":"two independent model families labelled a fresh random sample blind; the figure is how often the published label matches their consensus","sentence_role_agreement":0.92,"main_claim_agreement":0.908,"typed_citation_agreement":0.933,"typed_citation_agreement_95_interval":[0.917,0.945],"review_comments_accurate":0.758,"review_comments_accurate_95_interval":[0.684,0.82],"review_caught_admitted_error_found_or_related":0.448}}