{"id":"https://openalex.org/W7225401686","doi":"https://doi.org/10.5281/zenodo.23996585","title":"Polynomial calculus degree above p for the onto functional pigeonhole principle with surplus divisible by p squared","display_name":"Polynomial calculus degree above p for the onto functional pigeonhole principle with surplus divisible by p squared","publication_year":2026,"publication_date":"2026-11-06","ids":{"openalex":"https://openalex.org/W7225401686","doi":"https://doi.org/10.5281/zenodo.23996585"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23996585","doi":"https://doi.org/10.5281/zenodo.23996585","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23996585","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.23996585","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160237253","display_name":"Bj\u00f6rn Lindheim","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lindheim, Bj\u00f6rn","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160237253"],"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.3788999915122986,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.3788999915122986,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.16740000247955322,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.10610000044107437,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/polynomial-calculus","display_name":"polynomial calculus","score":0.890999972820282},{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.765999972820282},{"id":"https://openalex.org/keywords/characteristic-p","display_name":"characteristic p","score":0.6660000085830688},{"id":"https://openalex.org/keywords/linear-encoding","display_name":"linear encoding","score":0.3149999976158142},{"id":"https://openalex.org/keywords/balanced-designs","display_name":"balanced designs","score":0.6110000014305115},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"proof complexity","score":0.37400001287460327}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8073999881744385},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.7957000136375427},{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.7559000253677368},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6265000104904175},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.580299973487854},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5608999729156494},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5394999980926514},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.445499986410141},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.4341000020503998},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.41499999165534973},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3675999939441681},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.3089999854564667},{"id":"https://openalex.org/C25878781","wikidata":"https://www.wikidata.org/wiki/Q1473607","display_name":"Degree of a polynomial","level":3,"score":0.2930999994277954},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2775999903678894},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.2662999927997589},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.5281/zenodo.23996585","doi":"https://doi.org/10.5281/zenodo.23996585","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23996585","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.23996586","doi":"https://doi.org/10.5281/zenodo.23996586","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23996586","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.23999623","doi":"https://doi.org/10.5281/zenodo.23999623","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23999623","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.24008706","doi":"https://doi.org/10.5281/zenodo.24008706","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24008706","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.24012220","doi":"https://doi.org/10.5281/zenodo.24012220","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24012220","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.24013408","doi":"https://doi.org/10.5281/zenodo.24013408","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24013408","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.24017415","doi":"https://doi.org/10.5281/zenodo.24017415","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24017415","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.24056795","doi":"https://doi.org/10.5281/zenodo.24056795","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24056795","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.23996585","doi":"https://doi.org/10.5281/zenodo.23996585","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23996585","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/W7225425651","https://openalex.org/W7225400439","https://openalex.org/W7097067614","https://openalex.org/W2023788599","https://openalex.org/W2093396771","https://openalex.org/W4255474982","https://openalex.org/W2056382067","https://openalex.org/W6910395187","https://openalex.org/W7223749699","https://openalex.org/W2167115661"],"abstract_inverted_index":{"##":[0],"SettingThe":[1],"onto":[2,14,715],"functional":[3,717,822],"pigeonhole":[4,541,977],"principle":[5],"$\\mathrm{onto\\text{-}FPHP}^{n+k}_n$":[6],"says":[7],"that":[8,82,242,245],"$n+k$pigeons":[9],"can":[10],"be":[11,1233],"mapped":[12],"one-to-one":[13],"$n$":[15,72,78],"holes;":[16],"it":[17,231,263,455,849,870],"is":[18,110,123,137,179,191,286,324,340,360,437,456,617,632,677,709,721,766,801,871],"false":[19],"for":[20,44,51,140,194,204,215,271,297,312,331,362,412,459,467,490,527,551,582,601,650,658,662,693,736,743,773,793,825,829,869,1005,1049,1070,1097,1150,1168,1252],"every":[21,156,159,162,205,216,317],"$k\\ge1$.":[22],"In":[23],"Booleanvariables":[24],"$x_{ij}$":[25],"(pigeon":[26],"$i$":[27],"in":[28,276,326,371,382,665,704,860,1125,1182,1282,1286,1312,1327],"hole":[29],"$j$)":[30],"its":[31,108],"axioms":[32,95,99,718],"are":[33,50,258,1326],"$\\sum_j":[34],"x_{ij}-1$,$\\sum_i":[35],"x_{ij}-1$,":[36],"$x_{ij}x_{i'j}$":[37],"and":[38,96,161,207,226,254,299,329,337,355,395,475,484,515,600,661,716,754,768,775,809,817,847,865,938,944,971,992,1101,1128,1147,1201,1242],"$x_{ij}x_{ij'}$,":[39],"the":[40,52,57,94,97,111,134,184,281,351,372,388,390,396,491,522,546,567,572,618,624,714,719,730,760,776,779,821,877,903,952,1050,1098,1102,1263,1266,1272,1278,1283,1314,1319],"linear":[41,53,102,210,579,646,929],"encoding":[42,54],"used":[43],"this":[45,146,308,314,436],"family[1,":[46],"2].":[47],"These":[48],"results":[49,622,915],"only:":[55],"translating":[56],"CNF":[58],"clause":[59,61,66],"by":[60,101,105,153,189,202,430,1277,1302],"instead":[62],"turns":[63],"each":[64],"pigeon":[65],"into":[67],"a":[68,106,115,124,209,233,239,301,345,590,710,802,810,881,1228],"polynomial":[69,85,1007,1051,1071,1099,1170,1197],"of":[70,114,171,244,307,507,540,569,593,595,687,723,804,876,955,976,1025,1035,1196,1205,1248,1258,1290],"degree":[71,75,109,113,136,172,178,246,270,407,479,558,581,612,648,732,772,792,842,867,925,930,1009,1172,1257],"[2],":[73],"so":[74,630],"bounds":[76,499,649,742,906,927,1011,1069,1096,1149],"below":[77,1317],"say":[79],"nothing":[80,339],"about":[81,150],"encoding.":[83],"A":[84,368,1002],"calculus":[86,1008,1052,1100,1171],"(PC)":[87],"refutation":[88,167],"over$\\mathbb":[89,196],"F_p$":[90,170,197],"derives":[91],"$1$":[92],"from":[93,208,294,376,444,656,884],"Boolean":[98,366],"$x^2-x$":[100],"combinationsand":[103],"multiplication":[104],"variable;":[107],"largest":[112],"line.When":[116],"$p$":[117,128,139],"does":[118,637,726],"not":[119,428,532,574,606,638,727,749,770,789,807,828,913,1090,1159,1185],"divide":[120],"$k$":[121,130],"there":[122,631],"degree-1":[125],"refutation.":[126],"When":[127],"divides":[129,1265],"but":[131],"$p^2$":[132,190],"doesnot,":[133],"PC":[135,166,177,195,269,283,364,406,511,557,580,647,690,771,815,1256],"exactly":[138],"$n\\ge2p-3$":[141],"(a":[142],"companion":[143,185],"finding":[144],"on":[145,223,951,1255],"site).":[147],"This":[148,290,616,708,765],"findingis":[149],"surplus":[151,187,199,252,272,573],"divisible":[152,188,200],"$p^2$.##":[154],"ResultFor":[155],"prime":[157,206,217,318],"$p$,":[158,203,218,334],"$c\\ge1$,":[160],"$n\\ge2p-1$,":[163],"$\\mathrm{onto\\text{-}FPHP}^{n+cp^2}_n$":[164],"hasno":[165],"over":[168,414,586,603,653,697,745,755,797,852,900,1223],"$\\mathbb":[169],"at":[173,181,300,319,432,448],"most":[174],"$p$.":[175],"Its":[176],"therefore":[180],"least$p+1$.":[182],"With":[183],"result,":[186],"strictly":[192],"harder":[193],"than":[198],"only":[201,342,350,679,824,859],"threshold":[211],"in$n$.The":[212],"proof":[213,427,686],"constructs,":[214],"an":[219,701,1194,1297],"explicit":[220],"integer":[221],"matrix":[222],"$2p-1$":[224],"rows":[225],"columns(a":[227],"\"square":[228],"lift\").":[229],"From":[230],"comes":[232],"balanced":[234],"design,":[235],"which":[236,520],"serves":[237],"as":[238,500,504,680],"degree-$p$":[240],"witness":[241],"norefutation":[243],"exists.":[247],"The":[248,347,357,635,675],"cases":[249],"$p=2$":[250],"($n\\ge3$,":[251],"$4c$)":[253],"$p=3$":[255],"($n\\ge5$,surplus":[256],"$9c$)":[257],"also":[259],"proved":[260,310,325,1311],"separately.##":[261],"Why":[262],"mattersRazborov's":[264],"Question":[265,544,986],"7":[266,458],"asks":[267],"whether":[268],"$p^\\ell$":[273],"stays":[274],"bounded":[275,1129],"characteristic$p$":[277],"[2].":[278],"At":[279],"$\\ell=2$":[280],"known":[282],"lower":[284,498,691,741,905,926,931,1010,1148,1173,1202],"bound":[285,525,692,703,720,837,868],"$3$,":[287],"for$N\\ge2(21+3p^2)-p$":[288],"[3].":[289],"result":[291,315,399,1299],"gives":[292,521,880],"$p+1$":[293,311],"$n=2p-1$:":[295],"larger":[296],"every$p\\ge3$,":[298],"far":[302],"smaller":[303],"$n$.":[304],"Earlier":[305],"runs":[306],"programme":[309,1321],"$p=3,5,7$separately;":[313],"covers":[316],"once.##":[320],"Proved":[321],"vs":[322],"checkedEverything":[323],"Lean":[327,1324],"4":[328],"kernel-checked,":[330],"all":[332,335,379],"primes":[333],"$c$":[336],"all$n\\ge2p-1$;":[338],"checked":[341,429],"up":[343],"to":[344,729,850,894,1232],"bound.":[346],"proofs":[348],"use":[349],"standard":[352],"axioms`propext`,":[353],"`Classical.choice`":[354],"`Quot.sound`.":[356],"main":[358],"theorem":[359],"stated":[361,1281],"standard(syntactic)":[363],"with":[365,561,747,841,896,1133],"axioms.":[367],"second":[369],"agent":[370],"run,":[373],"working":[374],"separately":[375],"theauthor,":[377],"re-proved":[378],"six":[380],"statements":[381],"Lean.":[383],"No":[384,670],"person":[385],"has":[386],"reviewed":[387],"proofs;":[389],"evidence":[391],"isthe":[392],"kernel":[393],"check":[394],"independent":[397,722],"re-proof.This":[398],"extends:-":[400],"Riis-Sitharam,":[401],"ECCC":[402,933,1113],"TR97-048,":[403],"Theorem":[404,473,505,963,984],"33:":[405],">=":[408,419,438,442,457,461,465,469],"2^l":[409,481],"-":[410,421,423,482,486],"1":[411,483,487],"onto-PHP^{N+p^l}_N":[413],"characteristic":[415,570,587,654,666,706,1264],"p":[416,424,449,526,531,585,597,608,627,733,796,897],"once":[417],"N":[418,460],"(21+3p^2)(2^l":[420],"2)":[422],"(same":[425],"family;":[426,493],"us;":[431],"l":[433,452],"=":[434,446,450,453,529,563],"2":[435,667],"3":[439,454],"against":[440,463],"our":[441,464],"p+1":[443,735],"n":[445,468],"2p-1;":[447],"2,":[451],"196":[462],"5":[466],"7).-":[470],"Beame-Riis":[471],"1998,":[472,1154],"8.1":[474],"Lemma":[476,965],"8.7:":[477],"Nullstellensatz":[478,740,767,791,1151],"between":[480,1047],"p^l":[485],"(multiplier":[488],"degree)":[489],"same":[492],"Section":[494,967],"10":[495],"lists":[496],"polynomial-calculus":[497],"open.-":[501],"Riis":[502],"1993,":[503],"8":[506],"Razborov's":[508,688,835],"survey:":[509],"degree-d":[510],"refutations":[512],"when":[513],"C(m,d)":[514],"C(n,d)":[516],"differ":[517],"mod":[518,584,795,887],"p,":[519,657,910],"matching":[523],"upper":[524,702],"k":[528,899],"pc,":[530],"dividing":[533,571,607,750],"c":[534],"(via":[535],"Lucas).-":[536],"Razborov,":[537,973,1067,1121],"Proof":[538,974],"complexity":[539,975,1124],"principles":[542,1222],"(2001),":[543],"7:":[545],"fixed-p,":[547],"fixed-l":[548],"bounded-degree":[549],"question":[550],"onto-FPHP^{n+p^l}_n.-":[552],"Miksa-Nordstrom":[553],"(JACM":[554],"2024):":[555],"general":[556],"method;":[559],"onto-FPHP":[560],"m":[562,751],"n+1":[564],"easy":[565],"(Riis);":[566],"case":[568,780],"covered.-":[575],"BGIP":[576],"2001:":[577],"proves":[578],"Tseitin":[583,652,794,886],"q":[588,605,748,781,888,908],"containing":[589],"primitive":[591],"root":[592],"unity":[594],"order":[596],"(Thm":[598,752,757,763,845],"15)":[599],"MOD_p^n":[602],"F_q,":[604],"(Cor":[609,855],"20:":[610],"\"requires":[611],">":[613],"delta":[614],"n\").":[615],"cross-characteristic":[619,904],"regime.":[620],"Our":[621],"concern":[623],"same-characteristic":[625],"regime":[626],"\u2223":[628,782,898],"k,":[629],"no":[633,866,1268],"overlap.":[634],"paper":[636,777],"treat":[639],"onto-PHP.-":[640],"Alekhnovich-Razborov":[641],"2003:":[642],"\"immunity\"":[643],"method":[644,676,1004,1167],"giving":[645],"mod_p":[651],"different":[655,711,811],"flow":[659],"tautologies":[660,1146],"random":[663],"k-CNF":[664],"(abstract":[668],"only).":[669],"PHP":[671,823],"or":[672,734,889,1260],"onto-PHP":[673,1259],"result.":[674],"relevant":[678],"possible":[681],"technique.-":[682],"Impagliazzo-Pudlak-Sgall":[683],"1999:":[684],"simpler":[685],"ceil(n/2)+1":[689],"(injective,":[694],"non-onto)":[695],"PHP^m_n":[696],"any":[698],"field,":[699],"plus":[700,759],"large":[705],"(abstract).":[707],"principle:":[712],"without":[713],"p.":[724],"It":[725,800,819,1309],"transfer":[728],"exact":[731],"onto-FPHP.-":[737],"BIKPRS":[738],"1996/97:":[739],"Count_q":[744],"Z_m":[746],"3.2)":[753],"Q":[756],"4.6),":[758],"PC-to-NS":[761],"simulation":[762],"5.4).":[764],"Count,":[769],"onto-FPHP,":[774],"excludes":[778],"m.-":[783],"Grigoriev":[784],"FOCS":[785,1153],"1998":[786],"(snippet":[787],"only,":[788,1086,1115,1158],"opened):":[790],"other":[798],"characteristics.":[799],"predecessor":[803],"BGIP;":[805],"NS,":[806],"PC,":[808],"principle.-":[812],"Filmus-Lauria-Mik\u0161a-Nordstr\u00f6m-Vinyals":[813],"2025:":[814],"space":[816,826],"separations.":[818],"mentions":[820],"limits,":[827],"characteristic-dependent":[830],"degree.-":[831],"Ken":[832],"2022/2024:":[833],"restates":[834],"injPHP":[836],"\"no":[838],"PC-refutation":[839],"...":[840],"<=":[843],"m/2\"":[844],"24)":[846],"extends":[848],"NS":[851],"finite":[853],"rings":[854],"25).":[856],"Onto-PHP":[857],"appears":[858,1231],"reductions":[861],"(Props":[862],"12,":[863],"15),":[864],"proved.-":[872],"Reduction":[873],"transfer:":[874],"none":[875],"opened":[878,946,969,990,998,1018,1029,1039,1160],"sources":[879,1325],"low-degree":[882],"reduction":[883],"Count_q,":[885],"Mod_q":[890],"(q":[891],"!=":[892,909],"p)":[893],"onto-FPHP^{n+k}_n":[895],"F_p.":[901],"Since":[902],"need":[907],"they":[911],"do":[912],"yield":[914],"1-3":[916],"directly.Our":[917],"prior-art":[918],"search":[919,1183],"(2026-11-06)":[920],"covered:-":[921],"Riis,":[922,949,994],"Sitharam,":[923],"Non-constant":[924],"imply":[928],"bounds,":[932],"TR97-048":[934],"(1997),":[935],"pp.":[936,1155],"36-38":[937],"45-46":[939],"(Theorem":[940],"33,":[941],"Propositions":[942],"27":[943],"28),":[945],"2026-10-29-":[947,993,999,1030],"Beame,":[948],"More":[950],"relative":[953],"strength":[954],"counting":[956,1221],"principles,":[957,978],"DIMACS":[958],"Series":[959],"39":[960],"(1998),":[961],"homes.cs.washington.edu/~beame/papers/riis.pdf:":[962],"8.1,":[964],"8.7,":[966],"10,":[968],"2026-10-27":[970,991],"2026-11-01-":[972],"DLT":[979],"2001":[980,1058],"(LNCS":[981],"2295),":[982],"people.cs.uchicago.edu/~razborov/files/php_survey.pdf:":[983],"8,":[985],"7,":[987],"footnote":[988],"5,":[989],"BRICS":[995],"Report":[996],"RS-99-29,":[997],"Miksa,":[1000],"Nordstrom,":[1001],"generalized":[1003,1166],"proving":[1006,1169],"(CCC":[1012],"2015;":[1013],"JACM":[1014],"2024;":[1015],"arXiv":[1016,1225],"1505.01358),":[1017],"2026-10-27-":[1019,1040],"de":[1020],"Rezende":[1021],"et":[1022,1032],"al.,":[1023,1033],"Theory":[1024,1034,1204],"Computing":[1026,1036,1206],"21(6)":[1027],"(2025),":[1028,1038],"Lauria":[1031],"21(4)":[1037],"Buss,":[1041,1117],"Grigoriev,":[1042,1144],"Impagliazzo,":[1043,1092,1118],"Pitassi,":[1044],"\"Linear":[1045],"gaps":[1046],"degrees":[1048],"modulo":[1053],"distinct":[1054],"primes\",":[1055],"JCSS":[1056],"62(2):267-289,":[1057],"(STOC":[1059],"1999).":[1060],"Opened:":[1061,1084,1112,1140,1211,1239],"journal":[1062,1229],"final":[1063],"PDF,":[1064,1142],"https://mathweb.ucsd.edu/~sbuss/ResearchWeb/lineargaps/journalfinal.pdf-":[1065],"Alekhnovich,":[1066],"\"Lower":[1068,1095],"calculus:":[1072,1198],"non-binomial":[1073],"case\",":[1074],"Proc.":[1075],"Steklov":[1076],"Inst.":[1077],"Math.":[1078,1235],"242":[1079],"(2003)":[1080],"18-35":[1081],"(FOCS":[1082],"2001).":[1083],"abstract":[1085,1114,1212],"https://mathnet.ru/eng/tm403":[1087],"(full":[1088],"text":[1089],"opened).-":[1091],"Pudlak,":[1093,1120],"Sgall,":[1094,1122],"Groebner":[1103],"basis":[1104],"algorithm\",":[1105],"Computational":[1106,1136],"Complexity":[1107,1137],"8(2):127-144,":[1108],"1999":[1109],"(ECCC":[1110],"TR97-042).":[1111],"https://eccc.weizmann.ac.il/report/1997/042/-":[1116],"Krajicek,":[1119],"\"Proof":[1123],"algebraic":[1126],"systems":[1127,1132],"depth":[1130],"Frege":[1131],"modular":[1134],"counting\",":[1135],"6(3):256-298,":[1138],"1996/97.":[1139],"full":[1141],"https://mathweb.ucsd.edu/~sbuss/ResearchWeb/nullstellensatz/token.pdf-":[1143],"\"Tseitin's":[1145],"proofs\",":[1152],"648-652.":[1156],"Snippet":[1157],"(dblp/researchr":[1161],"entries).-":[1162],"Mik\u0161a,":[1163,1190],"Nordstr\u00f6m,":[1164,1191],"\"A":[1165],"bounds\",":[1174,1203],"CCC":[1175],"2015":[1176],"(arXiv":[1177],"1505.01358).":[1178],"Already":[1179],"credited.":[1180],"Seen":[1181],"results;":[1184],"re-opened":[1186],"here.-":[1187],"Filmus,":[1188],"Lauria,":[1189],"Vinyals,":[1192],"\"Towards":[1193],"understanding":[1195],"new":[1199],"separations":[1200],"21(4),":[1207],"2025":[1208],"(ICALP":[1209],"2013).":[1210],"page,":[1213,1244],"https://zesty2.cs.uchicago.edu/articles/v021a004-":[1214],"Eitetsu":[1215],"Ken,":[1216],"\"On":[1217],"some":[1218],"Sigma_0^B-formulae":[1219],"generalizing":[1220],"V^0\",":[1224],"2203.10237":[1226],"(2022;":[1227],"version":[1230],"Arch.":[1234],"Logic":[1236],"2024,":[1237],"https://link.springer.com/article/10.1007/s00153-024-00938-1).":[1238],"ar5iv":[1240],"HTML":[1241],"Springer":[1243],"first":[1245],"~100k":[1246],"characters":[1247],"each.-":[1249],"Web":[1250],"searches":[1251],"2000-2026":[1253],"papers":[1254],"Count":[1261],"where":[1262],"surplus:":[1267],"further":[1269],"hits":[1270],"beyond":[1271],"items":[1273],"above.Prior-art":[1274],"answer":[1275],"recorded":[1276],"owner":[1279],"(basis":[1280],"file);":[1284],"published":[1285,1320],"`prior-art/`.If":[1287],"you":[1288],"know":[1289],"related":[1291],"work":[1292],"we":[1293],"missed,":[1294],"please":[1295],"open":[1296],"issue.This":[1298],"was":[1300,1310],"found":[1301],"AI":[1303],"research":[1304],"agents":[1305],"(the":[1306],"autoresearch":[1307],"harness).":[1308],"Lean;":[1313],"verification":[1315],"steps":[1316],"build":[1318],"library.The":[1322],"declaring":[1323],"`checks/library/`.":[1328]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-07T00:00:00"}