{"id":"https://openalex.org/W7225825380","doi":"https://doi.org/10.5281/zenodo.24095229","title":"Sparse primes for fixed compressions of Legendre pairs, and feasible low-degree relaxations","display_name":"Sparse primes for fixed compressions of Legendre pairs, and feasible low-degree relaxations","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225825380","doi":"https://doi.org/10.5281/zenodo.24095229"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24095229","doi":"https://doi.org/10.5281/zenodo.24095229","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24095229","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.24095229","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143659424","display_name":"Benedek Blackthorn","orcid":"https://orcid.org/0009-0004-3906-2919","observed_orcids":["https://orcid.org/0009-0004-3906-2919"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Blackthorn, Benedek","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0004-3906-2919","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5143659424"],"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":0.9330999851226807,"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.9330999851226807,"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/T11130","display_name":"Coding theory and cryptography","score":0.040800001472234726,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.00570000009611249,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8312000036239624},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.6075999736785889},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5906000137329102},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5687999725341797},{"id":"https://openalex.org/C111458787","wikidata":"https://www.wikidata.org/wiki/Q215405","display_name":"Legendre polynomials","level":2,"score":0.5662999749183655},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3797999918460846},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.37369999289512634},{"id":"https://openalex.org/C124584101","wikidata":"https://www.wikidata.org/wiki/Q1053266","display_name":"Multiplier (economics)","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C7720571","wikidata":"https://www.wikidata.org/wiki/Q1136880","display_name":"Power of two","level":2,"score":0.35670000314712524},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.3546000123023987},{"id":"https://openalex.org/C3019641298","wikidata":"https://www.wikidata.org/wiki/Q625642","display_name":"Word length","level":2,"score":0.33660000562667847},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3345000147819519},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.3292999863624573},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.28610000014305115},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C16757182","wikidata":"https://www.wikidata.org/wiki/Q33456","display_name":"Power function","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2685999870300293},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C68827188","wikidata":"https://www.wikidata.org/wiki/Q674533","display_name":"Inverse trigonometric functions","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C80146680","wikidata":"https://www.wikidata.org/wiki/Q2654923","display_name":"Complex multiplication","level":3,"score":0.25369998812675476},{"id":"https://openalex.org/C2779483109","wikidata":"https://www.wikidata.org/wiki/Q4681347","display_name":"Additive group","level":3,"score":0.2522999942302704},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24095229","doi":"https://doi.org/10.5281/zenodo.24095229","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24095229","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.24095230","doi":"https://doi.org/10.5281/zenodo.24095230","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24095230","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.24095229","doi":"https://doi.org/10.5281/zenodo.24095229","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24095229","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":[],"abstract_inverted_index":{"A":[0],"Legendre":[1,99],"pair":[2,100,147,224],"of":[3,8,33,97,101,107,116,122,132,148,291,478],"odd":[4,47,166],"length":[5,24,38,55,95,102,141,167,191,202],"n":[6],"consists":[7],"two":[9,35,199,416],"\u00b11":[10],"sequences":[11,36,134,151],"whose":[12,178],"periodic":[13],"autocorrelations":[14],"add":[15],"to":[16,37,54,94,125,140,201],"\u22122":[17],"at":[18,59,164],"every":[19,98,120,165,277],"nonzero":[20],"shift.":[21],"At":[22,190],"a":[23,51,74,79,112,146,170,182,266,272,292],"mp,":[25],"with":[26,197,225,265,320,322,338,397,490],"p":[27,43,64],"prime,":[28],"we":[29,143,159,168],"ask":[30],"which":[31,455],"compressions":[32,93,139,200,227,233],"the":[34,70,84,154,175,193,198,215,222,244,254,256,259,262,280,285,289,339,343,358,362,368,377,383,386,405,408,411,415,423,427,434,445,449,467,470,491],"m":[39,48,56,96,128,351],"can":[40,152],"occur":[41],"as":[42,460],"varies.":[44],"For":[45,138],"fixed":[46,52,71,113],">":[49],"1,":[50],"compression":[53,72],"occurs":[57],"for":[58,88,174,329,350,501],"most":[60],"O(X/(log":[61],"X)^(3/2))":[62],"primes":[63],"\u2264":[65],"X.":[66],"The":[67,229,250,354,371,395,463,497],"proof":[68,278],"turns":[69],"into":[73],"relative":[75],"norm":[76],"equation":[77],"in":[78,279,284,317,466],"cyclotomic":[80],"field":[81],"and":[82,119,158,208,210,234,246,275,283,295,297,303,312,335,361,373,379,385,401,414,426,444,469,487,495],"sieves":[83],"primes.":[85],"As":[86],"consequences,":[87],"almost":[89],"all":[90,502],"p,":[91,118],"both":[92],"mp":[103],"have":[104,153],"an":[105],"entry":[106,403],"absolute":[108],"value":[109],"larger":[110],"than":[111],"small":[114],"power":[115],"log":[117],"group":[121],"multipliers":[123],"congruent":[124],"1":[126],"modulo":[127],"that":[129,221,268,421,448],"fixes":[130],"one":[131,323],"its":[133,247,336,374],"has":[135],"order":[136],"O(\u221ap).":[137],"nine":[142],"decide":[144],"when":[145],"symmetric":[149],"integer":[150,302],"same":[155],"combined":[156],"spectrum,":[157],"count":[160],"such":[161],"pairs.":[162],"Separately,":[163],"construct":[169],"degree-five":[171],"Sherali\u2013Adams":[172],"functional":[173],"Legendre-pair":[176,239],"equations":[177],"degree-four":[179],"part":[180],"is":[181,314,327,347,499],"sum-of-squares":[183],"functional,":[184],"so":[185],"neither":[186],"relaxation":[187],"certifies":[188],"nonexistence.":[189],"117":[192],"relaxations":[194],"remain":[195],"feasible":[196],"13":[203],"prescribed":[204],"by":[205,219,342],"Kotsireas,":[206],"G\u00f3mez":[207],"G\u00f3mez-P\u00e9rez,":[209],"they":[211,236],"do":[212,365],"not":[213,366],"force":[214],"symmetry":[216],"under":[217,391,433,458],"multiplication":[218],"64":[220],"known":[223],"these":[226],"has.":[228],"arithmetic":[230],"results":[231],"restrict":[232],"symmetries;":[235],"exclude":[237],"no":[238],"length.":[240],"This":[241],"record":[242],"holds":[243],"article":[245,372],"source":[248,251],"archive.":[249],"archive":[252],"contains":[253],"manuscript,":[255],"claim":[257,399],"map,":[258],"length-117":[260],"witness,":[261],"Lean":[263,281,318,406,417,439],"sources":[264],"command":[267],"compiles":[269],"them":[270],"from":[271,442,453],"clean":[273],"state":[274],"replays":[276],"kernel":[282],"independent":[286],"checker":[287],"nanoda,":[288],"receipt":[290,355,388,425],"passing":[293],"replay,":[294],"Python":[296],"C++":[298],"checks":[299,364],"using":[300],"exact":[301],"rational":[304],"arithmetic.":[305],"Every":[306],"numbered":[307],"theorem,":[308],"lemma,":[309],"proposition,":[310],"corollary":[311],"remark":[313],"also":[315],"proved":[316,328],"4":[319],"Mathlib,":[321],"exception:":[324],"Corollary":[325],"4.3":[326],"rows":[330],"on":[331],"Z/mZ":[332],"\u00d7":[333],"Z/pZ,":[334],"identification":[337],"cyclic":[340],"statement":[341],"Chinese":[344],"remainder":[345],"isomorphism":[346],"formalized":[348],"only":[349],"=":[352],"9.":[353],"states":[356],"what":[357],"replay":[359,387,409,424],"trusts,":[360],"finite":[363],"prove":[367],"unbounded":[369],"assertions.":[370],"LaTeX":[375],"source,":[376],"README":[378],"other":[380],"prose":[381],"documentation,":[382],"data":[384],"are":[389,431,456],"licensed":[390,432,457],"CC":[392],"BY":[393],"4.0.":[394],"programs":[396,494],"their":[398,474],"map":[400,413],"build":[402],"point,":[404],"sources,":[407],"profile,":[410],"component":[412],"runners":[418],"(the":[419],"version":[420],"produced":[422],"later":[428,450],"shared":[429],"runner)":[430],"MIT":[435],"License,":[436],"except":[437],"23":[438],"files":[440],"adapted":[441],"PrimeNumberTheoremAnd":[443],"module-replay":[446],"body":[447],"runner":[451],"embeds":[452],"Lean,":[454],"Apache-2.0,":[459],"LICENSES.md":[461],"states.":[462],"fonts":[464],"embedded":[465],"PDF":[468],"cited":[471],"works":[472],"keep":[473],"own":[475],"terms.":[476],"Use":[477],"generative":[479],"AI.":[480],"Generative":[481],"AI":[482],"tools,":[483],"including":[484],"ChatGPT,":[485],"Codex":[486],"Claude,":[488],"assisted":[489],"mathematics,":[492],"proofs,":[493],"text.":[496],"author":[498],"responsible":[500],"content.":[503]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}