{"id":"https://openalex.org/W7225610087","doi":"https://doi.org/10.5281/zenodo.24082502","title":"Parity Bias in Square-Free Wheel Sieves: An Exact Liouville Identity and the \u03b6(1/2) Amplitude Constant","display_name":"Parity Bias in Square-Free Wheel Sieves: An Exact Liouville Identity and the \u03b6(1/2) Amplitude Constant","publication_year":2026,"publication_date":"2026-09-11","ids":{"openalex":"https://openalex.org/W7225610087","doi":"https://doi.org/10.5281/zenodo.24082502"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24082502","doi":"https://doi.org/10.5281/zenodo.24082502","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082502","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","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24082502","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5122827115","display_name":"Jos\u00e9 Ignacio Peinador Sala","orcid":"https://orcid.org/0009-0008-1822-3452","observed_orcids":["https://orcid.org/0009-0008-1822-3452"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Peinador Sala, Jos\u00e9 Ignacio","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0008-1822-3452","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5122827115"],"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/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"}},{"id":"https://openalex.org/T14500","display_name":"Smarandache Functions and Recreational Number Theory","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"}}],"keywords":[{"id":"https://openalex.org/keywords/liouville-function","display_name":"Liouville function","score":0.9330000281333923},{"id":"https://openalex.org/keywords/riemann-hypothesis","display_name":"Riemann hypothesis","score":0.7850000262260437},{"id":"https://openalex.org/keywords/zeros-of-the-riemann-zeta-function","display_name":"Riemann zeta function zeros","score":0.722000002861023},{"id":"https://openalex.org/keywords/coprime-integers","display_name":"coprime integers","score":0.7239999771118164},{"id":"https://openalex.org/keywords/equidistribution","display_name":"equidistribution","score":0.6510000228881836},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.8399999737739563},{"id":"https://openalex.org/keywords/integer-factorization","display_name":"integer factorization","score":0.3059999942779541}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7638000249862671},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.6708999872207642},{"id":"https://openalex.org/C199479865","wikidata":"https://www.wikidata.org/wiki/Q205966","display_name":"Riemann hypothesis","level":2,"score":0.6466000080108643},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.565500020980835},{"id":"https://openalex.org/C180205008","wikidata":"https://www.wikidata.org/wiki/Q159190","display_name":"Amplitude","level":2,"score":0.5152000188827515},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4977000057697296},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.49320000410079956},{"id":"https://openalex.org/C35235930","wikidata":"https://www.wikidata.org/wiki/Q187235","display_name":"Riemann zeta function","level":2,"score":0.48159998655319214},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.4708999991416931},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.42399999499320984},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.3968999981880188},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.3741999864578247},{"id":"https://openalex.org/C169654258","wikidata":"https://www.wikidata.org/wiki/Q12479","display_name":"Number theory","level":2,"score":0.3587000072002411},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C121089165","wikidata":"https://www.wikidata.org/wiki/Q6889796","display_name":"Moduli","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C190565394","wikidata":"https://www.wikidata.org/wiki/Q6935001","display_name":"Multiplicative number theory","level":4,"score":0.3174000084400177},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2890999913215637},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2702000141143799},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.26249998807907104}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24082502","doi":"https://doi.org/10.5281/zenodo.24082502","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082502","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.24082503","doi":"https://doi.org/10.5281/zenodo.24082503","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082503","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.24082502","doi":"https://doi.org/10.5281/zenodo.24082502","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082502","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":0,"referenced_works":[],"related_works":["https://openalex.org/W7172276091","https://openalex.org/W2610678859","https://openalex.org/W7202384756","https://openalex.org/W7160853546","https://openalex.org/W7213635062","https://openalex.org/W7221452260","https://openalex.org/W1568630487","https://openalex.org/W7206195544","https://openalex.org/W7225597615","https://openalex.org/W7223025584"],"abstract_inverted_index":{"Mathematical":[0],"Summary":[1],"&":[2,283,389],"Theoretical":[3],"Scope":[4],"We":[5,41,132],"study":[6,30],"the":[7,21,71,81,102,123,135,141,159,177,186,192,198,204,257,262,275,320,332,381],"parity":[8],"distribution":[9],"of":[10,14,35,185,191,331,363,380],"$\\Omega(n)$":[11],"(the":[12],"number":[13],"prime":[15],"factors":[16,156],"counted":[17],"with":[18,95,171,208,239,247,334,398],"multiplicity)":[19],"across":[20,341,367],"integers":[22],"coprime":[23],"to":[24,308,401,431],"a":[25],"square-free":[26,46],"modulus":[27],"$P$.":[28,162],"The":[29,128,163,195],"establishes":[31],"three":[32],"complementary":[33],"levels":[34],"results:":[36],"Exact":[37],"Unconditional":[38],"Liouville":[39,72,264],"Identity:":[40],"prove":[42],"that":[43,110,122,134,202],"for":[44,424],"any":[45],"integer":[47],"$P":[48],"\\ge":[49,55],"2$":[50],"and":[51,74,244,251,274,303,374,396,409,428],"every":[52],"real":[53],"$X":[54,309],"2$,":[56],"$$\\sum_{\\substack{n":[57],"\\le":[58],"X":[59,117],"\\\\":[60],"\\gcd(n,P)=1}}":[61],"\\lambda(n)":[62],"=":[63,90,145,181,272,310,327],"\\sum_{d":[64],"\\mid":[65,92,148],"P}":[66,93,149],"M(X/d)$$":[67],"where":[68],"$\\lambda$":[69],"is":[70,76,85,138],"function":[73],"$M$":[75],"its":[77],"summatory":[78],"function.":[79,189],"Consequently,":[80],"deviation":[82],"from":[83],"equidistribution":[84],"given":[86,139],"exactly":[87],"by":[88,140,176],"$\\mathrm{dev}(P,X)":[89,111],"-(2N_P(X))^{-1}\\sum_{d":[91],"M(X/d)$,":[94],"no":[96],"error":[97],"term.":[98],"Conditional":[99],"Rate":[100],"under":[101],"Riemann":[103,187,324],"Hypothesis":[104],"(RH):":[105],"Assuming":[106],"RH,":[107],"we":[108],"establish":[109],"\\ll":[112],"B(P)":[113],"X^{-1/2}":[114],"\\exp(C":[115],"\\log":[116],"/":[118],"\\log\\log":[119],"X)$,":[120],"proving":[121],"bias":[124,165],"decays":[125],"as":[126],"$X^{-1/2+o(1)}$.":[127],"Multiplicative":[129],"Amplitude":[130],"Law:":[131],"show":[133],"governing":[136],"amplitude":[137],"exact":[142,263],"constant":[143],"$$C_\\zeta(P)":[144],"\\frac{1}{2\\vert{}\\zeta(1/2)\\vert{}}":[146],"\\prod_{p":[147],"\\frac{1":[150],"+":[151,183],"p^{-1/2}}{1":[152],"-":[153],"p^{-1}}$$":[154],"which":[155],"multiplicatively":[157],"over":[158,352],"primes":[160],"dividing":[161],"normalized":[164],"$X^{1/2}\\mathrm{dev}(P,X)$":[166],"fluctuates":[167],"around":[168],"this":[169],"mean":[170,356],"explicit":[172],"phase":[173],"modulations":[174],"governed":[175],"non-trivial":[178,323,369],"zeros":[179,325,370],"$\\rho":[180],"1/2":[182],"i\\gamma$":[184],"zeta":[188],"Structure":[190],"Replication":[193],"Package":[194],"repository":[196],"contains":[197],"companion":[199],"Jupyter":[200],"notebooks":[201],"orchestrate":[203],"end-to-end":[205],"execution,":[206],"paired":[207],"their":[209],"respective":[210],"cryptographic":[211],"ZIP":[212],"archives:":[213],"1.":[214],"Formal":[215],"Lean":[216,236,392],"4":[217,237],"Verification":[218,230],"Suite":[219],"Interactive":[220,286],"Notebook:":[221,287],"Lean4_Parity_Bias_SFWS.ipynb":[222],"Source":[223,289],"Archive:":[224,290],"Lean4_Parity_Bias_SFWS.zip":[225],"Cryptographic":[226,292],"Hash":[227,293],"(SHA-256):":[228,294],"089d9376c1fd318b7d1235645254f2df3fa857419b194f4907279c8eeca99cb0":[229],"Scope:":[231,297],"31":[232],"self-contained":[233],"modules":[234],"in":[235,301],"(v4.35.0)":[238],"Mathlib4,":[240],"certifying":[241],"213":[242],"theorems/lemmas":[243],"74":[245],"definitions":[246],"0":[248,252],"sorry":[249],"gaps":[250],"global":[253],"axiom":[254],"declarations.":[255],"Certifies":[256],"algebraic":[258],"skeleton:":[259],"modular":[260],"reductions,":[261],"identities,":[265],"primorial":[266],"towers,":[267],"deterministic":[268],"sign":[269],"alternations":[270],"$\\Delta_r":[271],"(-1)^{r+1}$,":[273],"sifted":[276],"Euler":[277],"product":[278],"factorization.":[279],"2.":[280],"Empirical":[281],"Computational":[282],"Statistical":[284],"Pipeline":[285],"Exp_Parity_Bias_SFWS.ipynb":[288],"Exp_Parity_Bias_SFWS.zip":[291],"626927ebeb586a8df3c0e95f0dfacd75387465b86e7a68f066800168e07dfae3":[295],"Experimental":[296],"Compiled":[298],"Eratosthenes\u2013Legendre":[299],"sieve":[300],"CPU":[302],"CuPy/CUDA":[304],"bit-packed":[305],"kernels":[306],"up":[307],"10^{10}$.":[311],"Out-of-sample":[312],"91-point":[313],"spectral":[314],"reconstruction":[315],"on":[316,386],"$[10^9,":[317],"10^{10}]$":[318],"using":[319],"first":[321],"200":[322],"($r":[326],"0.9865$,":[328],"capturing":[329],"$97.3\\%$":[330],"variance":[333],"predicted":[335],"theoretical":[336],"amplitudes).":[337],"Cross-primorial":[338],"longitudinal":[339],"audits":[340],"6":[342],"primorials":[343],"($P":[344],"\\in":[345],"\\{6,":[346],"30,":[347],"210,":[348],"2310,":[349],"30030,":[350],"510510\\}$)":[351],"5":[353],"scales":[354],"(grand":[355],"ratio":[357],"$1.010":[358],"\\pm":[359],"0.009$).":[360],"High-energy":[361],"audit":[362],"Open":[364],"Problem":[365],"(O5)":[366],"$10^4$":[368],"($T":[371],"\\approx":[372],"9877.78$)":[373],"Monte":[375],"Carlo":[376],"evaluation":[377],"($500{,}000$":[378],"samples)":[379],"limiting":[382],"Rubinstein\u2013Sarnak":[383],"measure":[384],"$\\nu_6$":[385],"$\\mathbb{T}^{200}$.":[387],"Usage":[388],"System":[390],"Requirements":[391],"4:":[393],"Requires":[394],"elan":[395],"lake":[397,405,410],"toolchain":[399],"synchronized":[400],"Mathlib4":[402],"v4.35.0.":[403],"Run":[404],"exe":[406],"cache":[407],"get!":[408],"build.":[411],"Python":[412,414],"Pipeline:":[413],"3.11+,":[415],"NumPy,":[416],"SciPy,":[417],"Numba,":[418],"mpmath":[419],"(50-digit":[420],"precision),":[421],"CuPy":[422],"(optional,":[423],"CUDA":[425],"GPU":[426],"acceleration),":[427],"Matplotlib.":[429],"Submitted":[430],"Acta":[432],"Mathematica":[433],"Sinica,":[434],"English":[435],"Series.":[436]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}