{"id":"https://openalex.org/W7225167697","doi":"https://doi.org/10.5281/zenodo.23912385","title":"Arcs of \u03a0(1+z^p): prime races, the Gaussian core, Dirichlet L-functions and a certified solver for Subset Sum","display_name":"Arcs of \u03a0(1+z^p): prime races, the Gaussian core, Dirichlet L-functions and a certified solver for Subset Sum","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7225167697","doi":"https://doi.org/10.5281/zenodo.23912385"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23912385","doi":"https://doi.org/10.5281/zenodo.23912385","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23912385","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.23912385","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133850694","display_name":"Antonio Mennillo","orcid":"https://orcid.org/0009-0001-5978-6015","observed_orcids":["https://orcid.org/0009-0001-5978-6015"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mennillo, Antonio","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0001-5978-6015","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133850694"],"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/T11428","display_name":"Advanced Mathematical Identities","score":0.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/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/dirichlet-l-functions","display_name":"Dirichlet L-functions","score":0.7519999742507935},{"id":"https://openalex.org/keywords/subset-sums","display_name":"subset sums","score":0.5400000214576721},{"id":"https://openalex.org/keywords/generating-functions","display_name":"generating functions","score":0.5640000104904175},{"id":"https://openalex.org/keywords/riemann-hypothesis","display_name":"Riemann hypothesis","score":0.6700000166893005},{"id":"https://openalex.org/keywords/landau-s-theorem","display_name":"Landau's theorem","score":0.6620000004768372},{"id":"https://openalex.org/keywords/minor-arcs","display_name":"minor arcs","score":0.5239999890327454},{"id":"https://openalex.org/keywords/meet-in-the-middle","display_name":"meet-in-the-middle","score":0.8700000047683716},{"id":"https://openalex.org/keywords/local-limit-theorem","display_name":"local limit theorem","score":0.7680000066757202},{"id":"https://openalex.org/keywords/constraint-propagation","display_name":"constraint propagation","score":0.7639999985694885},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.8410000205039978},{"id":"https://openalex.org/keywords/certified-algorithms","display_name":"certified algorithms","score":0.3479999899864197}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8270999789237976},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.652999997138977},{"id":"https://openalex.org/C83415579","wikidata":"https://www.wikidata.org/wiki/Q161973","display_name":"Arc (geometry)","level":2,"score":0.5067999958992004},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4767000079154968},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.47530001401901245},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4690999984741211},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4632999897003174},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.396699994802475},{"id":"https://openalex.org/C186348414","wikidata":"https://www.wikidata.org/wiki/Q526221","display_name":"Gauss sum","level":2,"score":0.39590001106262207},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3734999895095825},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C169214877","wikidata":"https://www.wikidata.org/wiki/Q981016","display_name":"Dirichlet distribution","level":3,"score":0.36039999127388},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3411000072956085},{"id":"https://openalex.org/C22251595","wikidata":"https://www.wikidata.org/wiki/Q670036","display_name":"Arc length","level":3,"score":0.3375000059604645},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.33250001072883606},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C126875415","wikidata":"https://www.wikidata.org/wiki/Q203425","display_name":"Unit circle","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C2777183706","wikidata":"https://www.wikidata.org/wiki/Q630771","display_name":"Subvariety","level":3,"score":0.29429998993873596},{"id":"https://openalex.org/C130498168","wikidata":"https://www.wikidata.org/wiki/Q170008","display_name":"Arithmetic progression","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C24209939","wikidata":"https://www.wikidata.org/wiki/Q752718","display_name":"Asymptotic formula","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C7356347","wikidata":"https://www.wikidata.org/wiki/Q1307838","display_name":"Unit square","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C105285975","wikidata":"https://www.wikidata.org/wiki/Q2719417","display_name":"Canonical normal form","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C30860621","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime factor","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C161794534","wikidata":"https://www.wikidata.org/wiki/Q177493","display_name":"Gauss","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.23912385","doi":"https://doi.org/10.5281/zenodo.23912385","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23912385","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.23912386","doi":"https://doi.org/10.5281/zenodo.23912386","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23912386","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.23920389","doi":"https://doi.org/10.5281/zenodo.23920389","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23920389","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.23912385","doi":"https://doi.org/10.5281/zenodo.23912385","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23912385","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W7118192071"],"related_works":["https://openalex.org/W2011344064","https://openalex.org/W7095726009","https://openalex.org/W4402706360","https://openalex.org/W7214652541","https://openalex.org/W2070268091","https://openalex.org/W2885641822","https://openalex.org/W2056109379","https://openalex.org/W7220671376","https://openalex.org/W2320600915","https://openalex.org/W4300672763"],"abstract_inverted_index":{"The":[0,126,186,237],"subsets":[1],"of":[2,28,43,78,86,108,128,134,196,208,240,271,297,318],"{1}":[3],"\u222a":[4],"{p":[5],"\u2264":[6],"N}":[7],"reach":[8],"every":[9,323],"integer":[10],"between":[11],"0":[12],"and":[13,60,105,166,194,220,256,300,334],"their":[14],"total,":[15],"by":[16,124,226,252],"Bertrand's":[17],"postulate,":[18],"so":[19],"deciding":[20],"whether":[21],"a":[22,25,67,132,145,209,223,227,253,289,302,315],"target":[23],"is":[24,31,36,131,150,235,246,259,312],"subset":[26,307],"sum":[27],"the":[29,34,38,41,44,48,57,64,74,76,79,84,87,106,110,121,135,155,169,180,192,202,205,217,244,250,257,274,284,295,298,310,335],"primes":[30,136],"trivial.":[32],"Counting":[33],"solutions":[35],"not:":[37],"count":[39],"carries":[40,189],"arithmetic":[42],"primes.":[45],"We":[46],"study":[47],"generating":[49],"function":[50],"F_N(z)":[51],"=":[52,93,100,163,178,328],"\u03a0(1":[53],"+":[54],"z^w)":[55],"on":[56,148,216,261,265,288,301],"unit":[58],"circle":[59],"follow":[61],"one":[62],"object,":[63],"arc":[65,80,123,130,188],"at":[66,161,176],"rational":[68],"a/q,":[69],"through":[70],"three":[71],"settings.":[72],"For":[73,199],"primes,":[75],"centre":[77,193],"a/q":[81],"rises":[82],"above":[83],"sea":[85],"minor":[88],"arcs":[89,112,203],"exactly":[90],"when":[91],"q":[92,99,138,162,177],"2^k":[94],"(k":[95],"\u2265":[96],"2)":[97],"or":[98],"2p^j,":[101],"with":[102,139,222,283],"excess":[103],"\u039b(q/2)/\u03c6(q),":[104],"neighbourhoods":[107],"all":[109],"other":[111],"are":[113,174],"bounded":[114],"uniformly":[115],"in":[116,191,279,294,321],"q;":[117],"Theorem":[118],"E":[119],"gives":[120],"expansion":[122],"arc.":[125],"height":[127],"an":[129],"race":[133,181],"modulo":[137],"weights":[140,219,239,270,299],"log|cos(\u03c0ra/q)|.":[141],"By":[142],"Landau's":[143],"theorem":[144,292],"one-sided":[146],"bound":[147,304],"it":[149,158,172,233],"equivalent":[151],"to":[152],"GRH":[153],"for":[154,305],"even":[156],"characters":[157],"sees,":[159],"unconditionally":[160],"8,":[164],"10":[165],"14,":[167],"where":[168],"zero-free":[170],"segments":[171],"needs":[173],"certified;":[175],"14":[179],"changes":[182],"sign":[183],"infinitely":[184],"often.":[185],"principal":[187],"\u03b6":[190],"width":[195],"its":[197],"Gaussian.":[198],"arbitrary":[200],"weights,":[201],"become":[204],"decision":[206],"rule":[207],"Subset":[210],"Sum":[211],"solver":[212,311],"that":[213],"reads":[214],"them":[215],"original":[218],"ends":[221],"meet-in-the-middle":[224],"filtered":[225],"random":[228,269],"residue":[229],"class.":[230],"Every":[231],"answer":[232],"returns":[234],"verified.":[236],"dummy":[238],"HURS":[241],"explain":[242],"why":[243],"reading":[245],"exact:":[247],"they":[248],"blur":[249,258],"counts":[251],"flat":[254],"window,":[255],"invertible":[260],"counts,":[262],"though":[263],"not":[264],"reachable":[266],"sets.":[267],"On":[268],"b":[272],"bits":[273],"method":[275],"has":[276],"rigorous":[277],"guarantees,":[278],"time":[280],"2^{b/2+o(b)}":[281],"and,":[282],"filter,":[285],"2^{b/3+o(b)},":[286],"resting":[287],"local":[290],"limit":[291],"uniform":[293],"size":[296],"concentration":[303],"signed":[306],"sums.":[308],"Finally,":[309],"read":[313],"inside":[314],"general":[316],"theory":[317],"constraint":[319],"propagation,":[320],"which":[322],"network":[324],"factors":[325],"as":[326],"T":[327],"T_comp":[329],"\u2218":[330],"T_struct.":[331],"Code,":[332],"benchmarks":[333],"Lean":[336],"4":[337],"formalization:":[338],"github.com/anthem87/arcs-algo":[339],"(AGPL-3.0-or-later).":[340]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-04T00:00:00"}