{"id":"https://openalex.org/W7225455877","doi":"https://doi.org/10.5281/zenodo.24035723","title":"A measured neighbourhood of the Andrews-Curtis conjecture: the census to total length 14, the box around AK(3), exact peaks on AC-19, and a Lean 4 archive","display_name":"A measured neighbourhood of the Andrews-Curtis conjecture: the census to total length 14, the box around AK(3), exact peaks on AC-19, and a Lean 4 archive","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225455877","doi":"https://doi.org/10.5281/zenodo.24035723"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24035723","doi":"https://doi.org/10.5281/zenodo.24035723","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24035723","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.24035723","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146034037","display_name":"Pragyaan Gaur","orcid":"https://orcid.org/0009-0009-4037-2478","observed_orcids":["https://orcid.org/0009-0009-4037-2478"]},"institutions":[{"id":"https://openalex.org/I196486160","display_name":"National Institute of Technology Agartala","ror":"https://ror.org/03swyrn62","country_code":"IN","type":"education","lineage":["https://openalex.org/I196486160"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Gaur, Pragyaan","raw_affiliation_strings":["National Institute of Technology Agartala"],"raw_orcid":"https://orcid.org/0009-0009-4037-2478","affiliations":[{"raw_affiliation_string":"National Institute of Technology Agartala","institution_ids":["https://openalex.org/I196486160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5146034037"],"corresponding_institution_ids":["https://openalex.org/I196486160"],"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.9589999914169312,"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"}},"topics":[{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9589999914169312,"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/T10849","display_name":"Finite Group Theory Research","score":0.029500000178813934,"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/T11567","display_name":"semigroups and automata theory","score":0.0026000000070780516,"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/andrews-curtis-conjecture","display_name":"Andrews-Curtis conjecture","score":0.9860000014305115},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.7889999747276306},{"id":"https://openalex.org/keywords/multi-agent-systems","display_name":"multi-agent systems","score":0.3970000147819519},{"id":"https://openalex.org/keywords/glm","display_name":"GLM","score":0.503000020980835}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7372000217437744},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6802999973297119},{"id":"https://openalex.org/C161677786","wikidata":"https://www.wikidata.org/wiki/Q2478475","display_name":"Neighbourhood (mathematics)","level":2,"score":0.652999997138977},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6292999982833862},{"id":"https://openalex.org/C201958917","wikidata":"https://www.wikidata.org/wiki/Q1367055","display_name":"Unimodular matrix","level":2,"score":0.6247000098228455},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.47850000858306885},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.39879998564720154},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35089999437332153},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.3370000123977661},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2879999876022339},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C143392562","wikidata":"https://www.wikidata.org/wiki/Q449111","display_name":"Subdivision","level":2,"score":0.27059999108314514},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C52130261","wikidata":"https://www.wikidata.org/wiki/Q39825","display_name":"Census","level":3,"score":0.2630000114440918},{"id":"https://openalex.org/C91998498","wikidata":"https://www.wikidata.org/wiki/Q1541178","display_name":"Contingency table","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C205724471","wikidata":"https://www.wikidata.org/wiki/Q208454","display_name":"Abacus (architecture)","level":2,"score":0.2547999918460846}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24035723","doi":"https://doi.org/10.5281/zenodo.24035723","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24035723","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.24035724","doi":"https://doi.org/10.5281/zenodo.24035724","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24035724","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.24035723","doi":"https://doi.org/10.5281/zenodo.24035723","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24035723","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":5,"referenced_works":["https://openalex.org/W2026468639","https://openalex.org/W2508133279","https://openalex.org/W4402705686","https://openalex.org/W7165685810","https://openalex.org/W7171522738"],"related_works":["https://openalex.org/W7098351000","https://openalex.org/W7099995379","https://openalex.org/W7171522738","https://openalex.org/W4414420004","https://openalex.org/W7222832840","https://openalex.org/W2508133279","https://openalex.org/W7163659814","https://openalex.org/W2264050275","https://openalex.org/W2026468639","https://openalex.org/W4415219113"],"abstract_inverted_index":{"We":[0,53,136,226,281],"report":[1],"a":[2,42,154,229,247,271,310],"computational":[3],"study":[4,17],"of":[5,9,29,37,58,105,108,140,198,208,218,223,233,273,298],"balanced":[6],"two-generator":[7],"presentations":[8,107,141,276],"the":[10,23,27,35,38,55,83,91,106,109,118,138,164,196,205,214,252,274,300,339,347,350],"trivial":[11,92,110,253],"group":[12,111,254],"under":[13,153],"Andrews-Curtis":[14,24],"moves.":[15],"The":[16,331,342],"does":[18,161],"not":[19,162],"prove":[20],"or":[21,45],"disprove":[22],"conjecture,":[25],"and":[26,40,60,69,97,117,157,184,243,267,270,293,305,322,329,345,352],"status":[28],"AK(3)":[30,144,189,192],"is":[31,174,186,193,353],"unchanged.":[32],"It":[33,245],"measures":[34],"neighbourhood":[36],"conjecture":[39],"attaches":[41],"replayable":[43],"certificate":[44,262],"an":[46,219],"exhausted":[47],"finite":[48],"search":[49],"to":[50,67,77,181,188,285],"every":[51,71,177,256],"statement.":[52],"extend":[54],"canonical":[56],"enumeration":[57],"Havas":[59],"Ramsay":[61],"from":[62,143,176,338],"total":[63,147,199],"relator":[64],"length":[65,81,134,148,172,200],"13":[66,173],"14":[68,82],"classify":[70],"presentation":[72],"with":[73,114,317,335],"unimodular":[74,84],"abelianisation":[75],"up":[76,180],"that":[78,159,249],"length.":[79],"At":[80],"stratum":[85],"has":[86],"57,765":[87],"presentations:":[88],"57,727":[89],"present":[90,95,99],"group,":[93],"34":[94],"SL(2,5)":[96],"4":[98,231],"infinite":[100],"groups.":[101],"All":[102],"but":[103],"50":[104,119],"are":[112,128],"decided":[113],"explicit":[115],"certificates,":[116,291,302],"lie":[120],"in":[121,204],"at":[122,129,133,171,201,277],"most":[123,130,202],"nine":[124],"AC-classes,":[125],"so":[126],"there":[127],"20":[131],"AC-classes":[132],"14.":[135],"enumerate":[137],"set":[139],"reachable":[142],"without":[145],"exceeding":[146],"25":[149],"(2.9":[150],"billion":[151],"orbits":[152],"symmetry":[155],"quotient)":[156],"find":[158],"it":[160,185],"contain":[163],"standard":[165],"presentation.":[166],"A":[167],"second":[168],"hard":[169],"class":[170],"absent":[175],"such":[178],"box":[179],"cap":[182],"24,":[183],"AC-equivalent":[187],"exactly":[190],"when":[191],"AC-trivial.":[194],"For":[195],"rows":[197],"18":[203],"AC-19":[206],"dataset":[207],"Fagan":[209],"et":[210],"al.":[211],"we":[212],"determine":[213],"exact":[215],"minimal":[216],"peak":[217],"AC-trivialisation":[220],"for":[221,255,260],"51,766":[222],"57,115":[224],"rows.":[225],"also":[227],"describe":[228],"Lean":[230,294,303],"archive":[232],"829":[234],"files":[235],"whose":[236],"axiom":[237],"reports":[238,306],"name":[239],"only":[240],"propext,":[241],"Classical.choice":[242],"Quot.sound.":[244],"contains":[246],"proof":[248],"AK(n)":[250],"presents":[251],"n,":[257],"soundness":[258],"theorems":[259],"two":[261],"formats,":[263],"kernel-checked":[264],"non-triviality":[265],"witnesses":[266],"bounded":[268],"negatives,":[269],"classification":[272],"Metzler":[275],"k":[278],"=":[279],"4.":[280],"list":[282],"fifteen":[283],"corrections":[284],"published":[286],"statements,":[287],"all":[288],"minor.":[289],"Code,":[290],"ledgers":[292],"files:":[295],"https://github.com/pragyaangaur/Andrews-Curtis-Conjecture.":[296],"Use":[297],"AI:":[299],"computations,":[301],"proofs":[304],"were":[307],"produced":[308],"by":[309],"multi-agent":[311],"system":[312],"on":[313],"Open":[314],"Math":[315],"OS,":[316],"GLM":[318],"5.3":[319],"as":[320,327],"coordinator":[321],"DeepSeek":[323],"V4.1":[324],"Flash":[325],"agents":[326],"members":[328],"referees.":[330],"paper":[332],"was":[333],"drafted":[334],"Claude":[336],"(Anthropic)":[337],"campaign's":[340],"reports.":[341],"author":[343],"designed":[344],"directed":[346],"campaign,":[348],"checked":[349],"paper,":[351],"its":[354],"sole":[355],"author.":[356]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}