{"id":"https://openalex.org/W7225428520","doi":"https://doi.org/10.5281/zenodo.24024480","title":"Choiceless polynomial time with counting and finite-field linear algebra does not capture polynomial time","display_name":"Choiceless polynomial time with counting and finite-field linear algebra does not capture polynomial time","publication_year":2026,"publication_date":"2026-11-06","ids":{"openalex":"https://openalex.org/W7225428520","doi":"https://doi.org/10.5281/zenodo.24024480"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24024480","doi":"https://doi.org/10.5281/zenodo.24024480","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24024480","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.24024480","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159266661","display_name":"Matthew Liston","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Liston, Matthew","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159266661"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.4787999987602234,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.4787999987602234,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.23849999904632568,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.05260000005364418,"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/cpt","display_name":"CPT","score":0.6600000262260437},{"id":"https://openalex.org/keywords/heisenberg-group","display_name":"Heisenberg group","score":0.7480000257492065},{"id":"https://openalex.org/keywords/matrix-rank","display_name":"matrix rank","score":0.36399999260902405},{"id":"https://openalex.org/keywords/oracle-queries","display_name":"oracle queries","score":0.40299999713897705}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7444999814033508},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5494999885559082},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5465999841690063},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.48969998955726624},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.40389999747276306},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3864000141620636},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.37610000371932983},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3716999888420105},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.3467999994754791},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3463999927043915},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C39739852","wikidata":"https://www.wikidata.org/wiki/Q254491","display_name":"Matrix similarity","level":3,"score":0.3296999931335449},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.3206999897956848},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28600001335144043},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.26829999685287476},{"id":"https://openalex.org/C33436860","wikidata":"https://www.wikidata.org/wiki/Q341835","display_name":"Ackermann function","level":3,"score":0.25920000672340393},{"id":"https://openalex.org/C30860621","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime factor","level":3,"score":0.258899986743927},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.2556000053882599},{"id":"https://openalex.org/C49766605","wikidata":"https://www.wikidata.org/wiki/Q207643","display_name":"Linear map","level":2,"score":0.25279998779296875}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24024480","doi":"https://doi.org/10.5281/zenodo.24024480","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24024480","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.24024481","doi":"https://doi.org/10.5281/zenodo.24024481","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24024481","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.24024480","doi":"https://doi.org/10.5281/zenodo.24024480","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24024480","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":4,"referenced_works":["https://openalex.org/W2957164218","https://openalex.org/W3157423416","https://openalex.org/W3201490540","https://openalex.org/W7225393690"],"related_works":["https://openalex.org/W7100559237","https://openalex.org/W2338124541","https://openalex.org/W7225005504","https://openalex.org/W3182950073","https://openalex.org/W2552847231","https://openalex.org/W2055008899","https://openalex.org/W6888042727","https://openalex.org/W6888002643","https://openalex.org/W2782001694","https://openalex.org/W3157423416"],"abstract_inverted_index":{"We":[0,510],"give":[1],"a":[2,36,87,102,219,224,232,381,457,592,711],"fixed":[3,229],"polynomial-time":[4],"query":[5,98,233],"that":[6,39,239,387,451,461,469,513],"is":[7,20,40,63,99,240,281,505,526,537,543,713,723],"not":[8,241,464,675,724],"definable":[9,234,242],"in":[10,243,328,340,344,356,380,410,431,488,599,662,714,726],"choiceless":[11],"polynomial":[12],"time":[13],"with":[14,45,124,235,247,399,422,589,719,728],"counting":[15],"(CPT),":[16],"even":[17,57,166],"when":[18,167,696],"CPT":[19,65,244,287,687,718,727],"extended":[21],"by":[22,49,86,173,223,304,309,318,333,350,358,371,704],"every":[23,160,293,522,697],"finite-field":[24,729],"linear-algebraic":[25],"operator:":[26],"any":[27],"Boolean":[28],"property":[29],"of":[30,32,67,70,101,116,119,135,163,186,197,250,262,296,393,415,438,476,493,604,613,623,653,677,684,739],"tuples":[31],"square":[33],"matrices":[34],"over":[35,83,94,107,218,237,692],"prime":[37,47,220],"field":[38,221],"invariant":[41],"under":[42],"simultaneous":[43,157],"similarity,":[44],"the":[46,64,68,97,112,130,136,152,174,184,194,212,266,276,364,385,389,394,411,413,416,432,436,439,452,466,473,477,483,494,514,518,529,532,539,557,564,571,577,581,586,600,663,733],"given":[48],"an":[50,147,345,372],"input-dependent":[51],"term,":[52],"operators":[53,60],"nested":[54],"arbitrarily,":[55],"and":[56,73,96,118,122,129,179,189,199,307,324,402,405,425,449,503,528,573,594,657],"uncomputable":[58],"oracle":[59],"allowed.":[61],"This":[62],"analogue":[66],"theorem":[69,268,475,735],"Dawar,":[71,120,187],"Gr\u00e4del":[72,121,188],"Lichter":[74,117,123],"for":[75,159,205,216,227,269,292,671,681],"fixed-point":[76],"logic.":[77],"The":[78,109,176,300,326,391,481],"witnesses":[79],"are":[80,210,259,408,429,486,511,516,551,674],"Heisenberg":[81],"grids":[82],"\u2124/2^{2e},":[84],"obtained":[85],"fixed-width":[88],"interpretation":[89],"from":[90,275,384,472],"cyclic":[91],"Cai\u2013F\u00fcrer\u2013Immerman":[92],"structures":[93,246],"\u2124/2^e,":[95],"consistency":[100],"configuration\u2013edge":[103],"incidence":[104],"marginal":[105],"system":[106],"\u2124/q.":[108],"proof":[110,367,396,434,566,579],"combines":[111],"all-primes":[113],"cyclic-CFI":[114],"obstruction":[115],"sparse":[125],"source":[126],"support":[127],"compression":[128],"supported":[131],"hereditarily":[132],"finite":[133,161,533],"comparison":[134],"recent":[137],"OpenAI":[138,377],"preprint":[139],"on":[140,193,245,288,456,632,640,648],"CPT.":[141],"An":[142],"explicit":[143],"incidence-map":[144],"descent":[145],"through":[146],"auxiliary":[148],"equality":[149],"matrix":[150],"upgrades":[151],"earlier":[153,213,274,417,478,664],"rank":[154,217,236,279],"transfer":[155],"to":[156,183,546],"similarity":[158],"tuple":[162],"gate":[164],"matrices,":[165],"representation":[168],"fibres":[169],"have":[170],"size":[171],"divisible":[172],"characteristic.":[175],"underlying":[177],"type-matrix":[178],"congruence-matrix":[180],"principles":[181],"belong":[182],"framework":[185],"Pakusa,":[190],"which":[191,361],"builds":[192],"invertible-map":[195],"game":[196],"Dawar":[198],"Holm;":[200],"we":[201,550],"claim":[202],"no":[203,443,499,506],"priority":[204],"them.":[206],"Two":[207],"companion":[208,440],"results":[209,515],"included:":[211],"special":[214,418,617],"case,":[215],"computed":[222],"term;":[225],"and,":[226],"one":[228,386],"binary":[230],"vocabulary,":[231],"\ud835\udd3d\u2083":[238],"colour":[248,257,271,290,294,685,690],"classes":[249,272,691],"at":[251,297],"most":[252],"3^29":[253],"elements":[254],"whose":[255],"full":[256],"groups":[258,261],"class-two":[260],"exponent":[263],"3.":[264],"With":[265],"capture":[267,474],"bounded":[270,289,689],"deposited":[273],"same":[277],"program,":[278],"logic":[280],"therefore":[282],"strictly":[283],"more":[284],"expressive":[285],"than":[286],"classes,":[291],"bound":[295],"least":[298],"3^29.":[299],"proofs":[301,327],"were":[302,331,354,520,659],"produced":[303,332,388],"AI":[305,311,334,374,583,707],"models":[306,335],"audited":[308,370],"independent":[310,373,706,743],"referees;":[312],"nothing":[313],"has":[314,497,699],"yet":[315],"been":[316,498],"refereed":[317],"humans":[319],"or":[320,445],"formally":[321],"verified.":[322],"Provenance":[323],"status.":[325],"this":[329,489,553,678,740],"deposit":[330,479,490,665],"(OpenAI":[336],"GPT":[337],"models,":[338],"working":[339],"separate":[341,383,458],"chat":[342],"threads)":[343],"AI-assisted":[346],"research":[347],"program":[348],"directed":[349],"Matthew":[351],"Liston.":[352],"They":[353],"checked":[355],"part":[357,676],"Claude":[359],"(Anthropic),":[360],"also":[362,660],"coordinated":[363],"program.":[365],"Each":[366],"record":[368,567],"was":[369],"referee":[375,584,630,638,646],"(an":[376],"model,":[378],"run":[379],"session":[382],"proof).":[390],"audit":[392,414,437],"main":[395,433,565],"returned":[397,420],"\"proved,":[398],"minor":[400],"formalization":[401],"attribution":[403],"revisions\",":[404],"those":[406],"revisions":[407],"incorporated":[409,430],"paper;":[412],"case":[419],"\"proved":[421],"fixable":[423],"gaps\",":[424],"its":[426,574,590],"nine":[427],"repairs":[428],"record;":[435],"separation":[441],"found":[442],"fatal":[444],"major":[446],"mathematical":[447],"error,":[448],"noted":[450],"class-wide":[453],"consequence":[454,470],"depends":[455],"rank-canonization":[459],"note":[460],"it":[462],"did":[463],"audit;":[465],"paper":[467,558,572,712],"derives":[468],"instead":[471],"10.5281/zenodo.23996260.":[480,666],"fixes":[482],"referees":[484,530,708],"requested":[485,525],"included":[487],"(Appendix":[491],"A":[492],"paper).":[495],"There":[496],"human":[500],"refereeing":[501],"yet,":[502],"there":[504],"machine-checked":[507],"formal":[508],"proof.":[509],"confident":[512],"correct:":[517],"audits":[519],"independent,":[521],"repair":[523],"they":[524,673],"incorporated,":[527],"reran":[531],"checks.":[534],"Formal":[535],"verification":[536],"planned;":[538],"program's":[540],"formal-verification":[541],"capacity":[542],"currently":[544],"committed":[545],"other":[547],"results,":[548],"so":[549],"releasing":[552],"version":[554],"now.":[555],"Files.cpt-finite-field-linear-algebra-v1.pdf:":[556],"(57":[559],"pages;":[560],"Appendix":[561],"B":[562],"reproduces":[563],"verbatim).":[568],"SHA-256":[569,596,609,619,626,634,642,650,716,745],"09feb2994eb88c01a9f751c5ef72863843f96c32cd86d690d777617cf400ad7bcpt-finite-field-linear-algebra-v1.zip:":[570],"LaTeX":[575],"source,":[576],"three":[578,582],"records,":[580,668],"reports,":[585],"reproducibility":[587],"check":[588],"rerun,":[591],"README":[593],"SHA256SUMS.":[595],"dcd7418632a5f35ed0d96802e7cf1e61ad8f0594af4f189dbf94e23662008c80":[597],"Records":[598],"zip:[N3]":[601],"proofs/CPT_ALL_FINITE_FIELD_LINEAR_ALGEBRA_SEPARATION_PROOF_2026-11-05.txt":[602],"(proof":[603,612,622],"Theorem":[605,624,737],"1":[606,738],"(main":[607],"result)).":[608],"7ca2a352ea44cf6c207070462d8a7c6fb43b7e2df43a2ab3155a5a1ee963aa6a[UR]":[610],"proofs/CPT_UNIFORM_RANK_SPARSE_EMBEDDING_PROOF_2026-11-05.txt":[611],"Corollary":[614],"1.1":[615],"(earlier":[616],"case)).":[618],"a9dd50e68c9d24fbebc3c834aa078e14644eb54b3b3c32c47af09ce5c072828a[CS]":[620],"proofs/CPT_CLASS_TWO_COLOURS_SEPARATION_PROOF_2026-11-05.txt":[621],"2).":[625],"14de9622c9e7cf315b87350e669f235bf7bae3591fce3311c61e517ddf5fdbfc[R5]":[627],"ai-referee-reports/CPT_ALL_FINITE_FIELD_LINEAR_ALGEBRA_REFEREE_REPORT_2026-11-05.txt":[628],"(AI":[629,637,645],"report":[631,639,647],"[N3]).":[633],"5d2fd4d1f6557f5bd99a143b26dfa919b1d0b526037f6cb8db06ddf25b4625b6[R4]":[635],"ai-referee-reports/CPT_UNIFORM_RANK_SPARSE_EMBEDDING_REFEREE_REPORT_2026-11-05.txt":[636],"[UR]).":[641],"5a103275cb8f3066f025e89e1403e5f5121efa8a484993129bba96c96b01a772[RCS]":[643],"ai-referee-reports/CPT_Class_Two_Colours_Referee_Report_2026-11-05.txt":[644],"[CS]).":[649],"43340b191f6d5dd454b4596a35a127eabd17258f6a63c04e089a97da766aa27eThe":[651],"digests":[652],"[UR],":[654],"[CS],":[655],"[R4]":[656],"[RCS]":[658],"published":[661],"Further":[667],"timestamped":[669],"here":[670],"priority;":[672],"deposit's":[679],"claims.CPT_A_GROUP_DICHOTOMY_PROOF_2026-11-06.txt:":[680],"subgroup-closed":[682],"families":[683],"groups,":[686],"canonizes":[688],"all":[693],"vocabularies":[694],"exactly":[695],"group":[698],"abelian":[700],"Sylow":[701],"subgroups.":[702],"Refereed":[703],"two":[705],"(verdict:":[709],"proved);":[710],"preparation.":[715],"c743054435cfedacc09112eb84dbb6589212946f52b60aa75fa41380984d3a0aCPT_WSC_ROUND2_RESULTS_2026-11-06.txt:":[717],"witnessed":[720],"symmetric":[721],"choice":[722],"contained":[725],"linear":[730],"algebra,":[731],"using":[732],"indistinguishability":[734],"behind":[736],"paper.":[741],"Awaiting":[742],"review.":[744],"052352f29f2a515acf0375f940f2b7d683413bd130ab39139bad12eef218e55a":[746],"Contact:":[747],"atemporalwalk@gmail.com":[748]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-07T00:00:00"}