{"id":"https://openalex.org/W7204255440","doi":"https://doi.org/10.48550/arxiv.2608.24827","title":"Weil positivity in compact windows: a finite reduction, certified two-sided bounds, and a Landau-Widom decay law","display_name":"Weil positivity in compact windows: a finite reduction, certified two-sided bounds, and a Landau-Widom decay law","publication_year":2026,"publication_date":"2026-08-25","ids":{"openalex":"https://openalex.org/W7204255440","doi":"https://doi.org/10.48550/arxiv.2608.24827"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.24827","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.24827","pdf_url":"https://arxiv.org/pdf/2608.24827","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.24827","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5149701828","display_name":"Xuefeng Zhu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhu, Xuefeng","raw_affiliation_strings":["International Institute of Intelligent Engineering , Ann Arbor , MI 48103 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"International Institute of Intelligent Engineering , Ann Arbor , MI 48103 , USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5149701828"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11022","display_name":"Spectral Theory in Mathematical Physics","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11210","display_name":"Mathematical Analysis and Transform Methods","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/riemann-hypothesis","display_name":"Riemann hypothesis","score":0.9160000085830688},{"id":"https://openalex.org/keywords/weil-positivity","display_name":"Weil positivity","score":0.7319999933242798},{"id":"https://openalex.org/keywords/eigenvalue-asymptotics","display_name":"eigenvalue asymptotics","score":0.5139999985694885},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"interval arithmetic","score":0.5699999928474426},{"id":"https://openalex.org/keywords/variational-bounds","display_name":"variational bounds","score":0.5799999833106995},{"id":"https://openalex.org/keywords/ground-state-multiplicity","display_name":"ground state multiplicity","score":0.414000004529953}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8190000057220459},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.5357999801635742},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.5123000144958496},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.49570000171661377},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.4650999903678894},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.39750000834465027},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.38769999146461487},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3849000036716461},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3684000074863434},{"id":"https://openalex.org/C199479865","wikidata":"https://www.wikidata.org/wiki/Q205966","display_name":"Riemann hypothesis","level":2,"score":0.3603000044822693},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34860000014305115},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3109000027179718},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.29600000381469727},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.28630000352859497},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2858000099658966},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2639999985694885}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.24827","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.24827","pdf_url":"https://arxiv.org/pdf/2608.24827","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.24827","doi":"https://doi.org/10.48550/arxiv.2608.24827","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.24827","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.24827","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.24827","pdf_url":"https://arxiv.org/pdf/2608.24827","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204255440.pdf","grobid_xml":"https://content.openalex.org/works/W7204255440.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W4416405065","https://openalex.org/W4416949389","https://openalex.org/W7163989335","https://openalex.org/W7167606751"],"related_works":["https://openalex.org/W7220651119","https://openalex.org/W7222888833","https://openalex.org/W7220477182","https://openalex.org/W7220656967","https://openalex.org/W7214760983","https://openalex.org/W7221319457","https://openalex.org/W7160724676","https://openalex.org/W7203699745","https://openalex.org/W7168107530","https://openalex.org/W7223458202"],"abstract_inverted_index":{"Weil's":[0],"criterion":[1],"states":[2],"that":[3,62,124,138,271],"the":[4,11,29,79,93,108,125,139,147,152,170,190,207,213,230,234,246,276,281,286],"Riemann":[5],"Hypothesis":[6],"(RH)":[7],"is":[8,46,143],"equivalent":[9],"to":[10,179,184,260],"non-negativity":[12],"of":[13,114,134,155],"an":[14],"explicit":[15],"quadratic":[16],"form":[17],"Q(f)":[18,63],"on":[19,43,85,107,169,275],"test":[20,132],"functions.":[21],"For":[22],"f":[23,50,70],"supported":[24],"in":[25,51,71,173],"[-L,L]":[26],"we":[27],"study":[28],"normalized":[30],"infimum":[31],"lambda_min(L)":[32,194,219],"=":[33,201],"inf":[34],"Q(f)/||f||^2":[35],"from":[36],"both":[37,241],"sides.":[38],"Lower":[39],"bounds":[40,163,166],"(unconditional):":[41,164],"positivity":[42,106,127,247],"bounded":[44],"support":[45,75,135],"classical":[47,80],"for":[48,67,92,129,223],"supp":[49,69],"[-(log":[52],"2)/2,(log":[53],"2)/2]":[54],"(Yoshida;":[55],"Connes-Consani).":[56],"We":[57,243],"prove":[58],"by":[59,102,151],"certified":[60,126],"computation":[61],">=":[64],"8.9e-18":[65,236],"||f||^2":[66],"all":[68,224],"[-0.8,0.8],":[72],"i.e.":[73],"autocorrelation":[74],"1.6,":[76,136],"2.3":[77],"times":[78],"range.":[81],"The":[82,119],"proof":[83],"rests":[84],"a":[86,89,97,115,267],"one-stroke":[87,254],"reduction:":[88],"pointwise":[90,273],"envelope":[91],"Weil":[94],"symbol,":[95],"with":[96,176,205],"comb":[98,278],"constant":[99],"shown":[100],"optimal":[101],"Weyl":[103],"equidistribution,":[104],"converts":[105],"whole":[109],"window":[110,140],"into":[111],"positive":[112],"semidefiniteness":[113],"single":[116],"finite":[117],"matrix.":[118],"odd":[120],"parity":[121],"sector":[122],"shows":[123],"holds":[128],"arbitrary":[130],"complex":[131],"functions":[133],"and":[137,145,159],"ground":[141],"state":[142],"simple":[144],"even,":[146],"spectral":[148,282],"hypothesis":[149],"required":[150],"operator-theoretic":[153],"program":[154],"Connes,":[156],"Consani,":[157],"Moscovici":[158],"van":[160],"Suijlekom.":[161],"Upper":[162],"variational":[165],"are":[167],"evaluated":[168],"geometric":[171],"side":[172],"interval":[174],"arithmetic,":[175],"no":[177,272],"appeal":[178],"zeros":[180],"or":[181],"RH,":[182,218],"down":[183],"3.2e-283":[185],"at":[186,228,285],"L=2.":[187],"They":[188],"follow":[189],"empirical":[191],"law":[192],"-ln":[193],"~":[195,265],"2":[196,202,210,261],"pi^2":[197,211],"N(T*)/ln":[198],"N(T*),":[199],"T*":[200],"pi":[203,262],"e^{2L},":[204],"N":[206],"zero-counting":[208],"function;":[209],"matches":[212],"Landau-Widom":[214,287],"eigenvalue-plunge":[215],"rate.":[216,288],"Under":[217],"<=":[220,237,239],"exp(-L":[221],"e^L)":[222],"large":[225],"L.":[226],"Synthesis:":[227],"L=0.8":[229],"two":[231],"halves":[232],"enclose":[233],"profile,":[235],"lambda_min(0.8)":[238],"2.27e-17,":[240],"certified.":[242],"show":[244],"why":[245],"route":[248],"cannot":[249],"reach":[250],"RH":[251],"unassisted:":[252],"any":[253],"certificate":[255],"must":[256],"resolve":[257],"frequencies":[258],"up":[259],"e^{A_L},":[263],"A_L":[264],"4e^L,":[266],"doubly":[268],"exponential":[269],"threshold":[270],"bound":[274],"prime":[277],"lowers,":[279],"while":[280],"margin":[283],"collapses":[284]},"counts_by_year":[{"year":2026,"cited_by_count":10}],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-08-27T00:00:00"}