{"id":"https://openalex.org/W7224991815","doi":"https://doi.org/10.5281/zenodo.23834558","title":"Isolation-Aware Small-Spacing Bounds for Zeta Zeros via Signed Fourier Multisets","display_name":"Isolation-Aware Small-Spacing Bounds for Zeta Zeros via Signed Fourier Multisets","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7224991815","doi":"https://doi.org/10.5281/zenodo.23834558"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23834558","doi":"https://doi.org/10.5281/zenodo.23834558","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23834558","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23834558","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134362622","display_name":"Byoungwoo Lee","orcid":"https://orcid.org/0009-0000-2993-6038","observed_orcids":["https://orcid.org/0009-0000-2993-6038"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lee, Byoungwoo","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0000-2993-6038","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5134362622"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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":1.0,"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":1.0,"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":0.0,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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-zeta-function","display_name":"Riemann zeta function","score":0.9990000128746033},{"id":"https://openalex.org/keywords/isolated-zeros","display_name":"isolated zeros","score":0.9100000262260437},{"id":"https://openalex.org/keywords/critical-line","display_name":"critical line","score":0.6700000166893005},{"id":"https://openalex.org/keywords/nontrivial-zeros","display_name":"non-trivial zeros","score":0.7929999828338623},{"id":"https://openalex.org/keywords/zero-spacing","display_name":"zero spacing","score":0.6819999814033508},{"id":"https://openalex.org/keywords/pairwise-correlations","display_name":"two-particle correlations","score":0.8059999942779541},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.7360000014305115},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"interval arithmetic","score":0.8119999766349792}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8489000201225281},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.6427000164985657},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5443999767303467},{"id":"https://openalex.org/C199479865","wikidata":"https://www.wikidata.org/wiki/Q205966","display_name":"Riemann hypothesis","level":2,"score":0.5325000286102295},{"id":"https://openalex.org/C35235930","wikidata":"https://www.wikidata.org/wiki/Q187235","display_name":"Riemann zeta function","level":2,"score":0.492900013923645},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.48350000381469727},{"id":"https://openalex.org/C71897612","wikidata":"https://www.wikidata.org/wiki/Q1896470","display_name":"Prime zeta function","level":4,"score":0.4487999975681305},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.44830000400543213},{"id":"https://openalex.org/C203024314","wikidata":"https://www.wikidata.org/wiki/Q1365258","display_name":"Fourier analysis","level":3,"score":0.4474000036716461},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.40639999508857727},{"id":"https://openalex.org/C35861355","wikidata":"https://www.wikidata.org/wiki/Q4791135","display_name":"Arithmetic zeta function","level":3,"score":0.4043999910354614},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39500001072883606},{"id":"https://openalex.org/C207864730","wikidata":"https://www.wikidata.org/wiki/Q179467","display_name":"Fourier series","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3490000069141388},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3450999855995178},{"id":"https://openalex.org/C2776605787","wikidata":"https://www.wikidata.org/wiki/Q5186739","display_name":"Critical line","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C27783845","wikidata":"https://www.wikidata.org/wiki/Q5421272","display_name":"Explicit formulae","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.31929999589920044},{"id":"https://openalex.org/C203513110","wikidata":"https://www.wikidata.org/wiki/Q1073118","display_name":"Particular values of Riemann zeta function","level":5,"score":0.31450000405311584},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.313400000333786},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2865999937057495},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C30573924","wikidata":"https://www.wikidata.org/wiki/Q905326","display_name":"Digamma function","level":5,"score":0.2732999920845032},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C15704222","wikidata":"https://www.wikidata.org/wiki/Q4117082","display_name":"Proof of the Euler product formula for the Riemann zeta function","level":5,"score":0.26489999890327454}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.5281/zenodo.23834558","doi":"https://doi.org/10.5281/zenodo.23834558","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23834558","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23834559","doi":"https://doi.org/10.5281/zenodo.23834559","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23834559","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23836184","doi":"https://doi.org/10.5281/zenodo.23836184","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23836184","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23851529","doi":"https://doi.org/10.5281/zenodo.23851529","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23851529","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23855538","doi":"https://doi.org/10.5281/zenodo.23855538","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23855538","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23876262","doi":"https://doi.org/10.5281/zenodo.23876262","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23876262","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23916128","doi":"https://doi.org/10.5281/zenodo.23916128","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23916128","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23922845","doi":"https://doi.org/10.5281/zenodo.23922845","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23922845","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23834558","doi":"https://doi.org/10.5281/zenodo.23834558","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23834558","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W7223379664"],"related_works":["https://openalex.org/W7224928039","https://openalex.org/W7204723867","https://openalex.org/W7221027966","https://openalex.org/W7223379664","https://openalex.org/W7223044069","https://openalex.org/W7203552993","https://openalex.org/W7207857638","https://openalex.org/W7204842090","https://openalex.org/W7202344172","https://openalex.org/W7203457994"],"abstract_inverted_index":{"Description":[0],"This":[1,242],"preprint":[2],"is":[3,243],"version":[4],"v2.0r1":[5],"of":[6,23,27,164,177,287],"the":[7,12,28,34,48,82,91,137,193,219,237,261,277],"H14W":[8,315],"research":[9,247,316],"program,":[10],"updating":[11],"previously":[13],"published":[14,174],"v1.3r1":[15],"(DOI:":[16],"10.5281/zenodo.23851529).":[17],"We":[18],"investigate":[19],"quantitative":[20],"ordinate":[21],"isolation":[22,94,196],"simple":[24,113],"critical-line":[25,114],"zeros":[26,106,115],"Riemann":[29,35,278,290],"zeta":[30,105,291,297],"function":[31],"without":[32],"assuming":[33],"hypothesis.":[36,279],"Building":[37],"on":[38,173,179,184],"an":[39,51,244],"exact":[40,220],"signed":[41],"Hilbert\u2013Schmidt":[42,309],"identity":[43],"for":[44,63,90,160],"conjugation-invariant":[45],"finite":[46],"multisets,":[47],"paper":[49,271],"develops":[50],"isolation-aware":[52],"allocation":[53],"method,":[54],"explicit":[55,92,138],"Gram-variance":[56],"compensation,":[57,154],"and":[58,68,109,151,155,182,207,230,233,260],"a":[59,73,86,146,156],"global":[60,139],"trace-centered":[61],"mechanism":[62],"controlling":[64],"losses":[65],"from":[66,120,198],"three-":[67],"four-point":[69],"zero":[70,187,313],"configurations.":[71],"Using":[72],"fixed":[74],"smooth-square":[75],"Fourier":[76,311],"density":[77],"with":[78,107],"fifty":[79],"cosine":[80],"modes,":[81],"integrated":[83,185],"manuscript":[84,190],"presents":[85],"computer-assisted":[87,238,303],"proof":[88],"candidate":[89],"one-sixth":[93],"bound":[95],"$$\\liminf_{T\\to\\infty}":[96],"\\frac{B_{\\mathrm{loc}}(T,":[97],"1/6)}{N(T)}":[98],">":[99],"0.5203.$$":[100],"Here":[101],"$N(T)$":[102],"counts":[103,112],"nontrivial":[104],"multiplicity,":[108],"$B_{\\mathrm{loc}}(T,":[110],"c)$":[111],"whose":[116],"ordinates":[117],"are":[118,252],"separated":[119],"every":[121],"other":[122],"zero,":[123],"including":[124,200],"off-critical-line":[125,186],"zeros,":[126],"by":[127],"more":[128],"than":[129],"$2\\pi":[130],"c":[131],"/":[132],"\\log\\gamma$.":[133],"The":[134,169,189,249,270],"argument":[135,263],"uses":[136],"cutoff":[140],"$c_g":[141],"=":[142],"1/6":[143],"+":[144],"10^{-10}$,":[145],"nonreusing":[147],"occurrence":[148],"ledger,":[149],"internal":[150],"cross-block":[152],"Gram":[153],"uniform":[157],"zero-toll":[158,231],"estimate":[159],"nonreal":[161],"conjugate":[162],"centers":[163],"arbitrary":[165],"positive":[166],"integer":[167],"multiplicity.":[168],"arithmetic":[170],"transfer":[171],"relies":[172],"unconditional":[175],"results":[176],"Baluyot\u2013Goldston\u2013Suriajaya\u2013Turnage-Butterbaugh":[178],"pair":[180,299],"correlation":[181],"Conrey":[183],"density.":[188],"also":[191],"retains":[192],"earlier":[194],"fixed-spacing":[195],"bounds":[197],"v1.3r1,":[199],"proportions":[201],"exceeding":[202],"$0.65155$":[203],"at":[204,209],"spacing":[205,210],"$0.04999$":[206],"$0.64857$":[208],"$0.06666$.":[211],"Reproducibility:":[212],"A":[213],"separate":[214],"Proof":[215],"Supplement":[216],"archive":[217],"provides":[218],"fifty-mode":[221],"coefficients,":[222],"interval-arithmetic":[223],"verification":[224],"programs,":[225],"certified":[226],"block":[227],"calculations,":[228],"height-envelope":[229],"checks,":[232],"exact-rational":[234],"deductions":[235],"supporting":[236],"argument.":[239],"Research":[240],"status:":[241],"unrefereed":[245],"mathematical":[246,268],"preprint.":[248],"computational":[250],"certificates":[251],"reproducible":[253],"but":[254],"have":[255],"not":[256,273],"been":[257],"formally":[258],"verified,":[259],"complete":[262],"remains":[264],"subject":[265],"to":[266,275],"independent":[267],"review.":[269],"does":[272],"claim":[274],"prove":[276],"Creator":[280],"Lee":[281],"Byoungwoo":[282],"Independent":[283],"Researcher,":[284],"Daejeon,":[285],"Republic":[286],"Korea":[288],"Keywords":[289],"function;":[292],"isolated":[293],"zeros;":[294,298],"critical":[295],"line;":[296],"correlation;":[300],"unconditioned":[301],"bounds;":[302],"proof;":[304],"interval":[305],"arithmetic;":[306],"rigorous":[307],"numerics;":[308],"identity;":[310],"density;":[312],"spacing;":[314],"program":[317]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-11-01T00:00:00"}