{"id":"https://openalex.org/W4392110082","doi":"https://doi.org/10.1142/s0218196724500103","title":"Count-free Weisfeiler\u2013Leman and group isomorphism","display_name":"Count-free Weisfeiler\u2013Leman and group isomorphism","publication_year":2024,"publication_date":"2024-02-23","ids":{"openalex":"https://openalex.org/W4392110082","doi":"https://doi.org/10.1142/s0218196724500103"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196724500103","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196724500103","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015311412","display_name":"Nathaniel A. Collins","orcid":"https://orcid.org/0000-0002-2694-4080"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathaniel A. Collins","raw_affiliation_strings":["Department of Mathematics, Colorado State University, Fort Collins, Colorado, USA"],"raw_orcid":"https://orcid.org/0000-0002-2694-4080","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Colorado State University, Fort Collins, Colorado, USA","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061484797","display_name":"Michael Levet","orcid":"https://orcid.org/0009-0009-1992-3175"},"institutions":[{"id":"https://openalex.org/I204593131","display_name":"College of Charleston","ror":"https://ror.org/00390t168","country_code":"US","type":"education","lineage":["https://openalex.org/I204593131"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Levet","raw_affiliation_strings":["Department of Computer Science, College of Charleston, Charleston, SC, USA"],"raw_orcid":"https://orcid.org/0009-0009-1992-3175","affiliations":[{"raw_affiliation_string":"Department of Computer Science, College of Charleston, Charleston, SC, USA","institution_ids":["https://openalex.org/I204593131"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5061484797"],"corresponding_institution_ids":["https://openalex.org/I204593131"],"apc_list":null,"apc_paid":null,"fwci":4.2969,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.9438587,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"34","issue":"03","first_page":"283","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13234","display_name":"advanced mathematical theories","score":0.2694000005722046,"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"}},"topics":[{"id":"https://openalex.org/T13234","display_name":"advanced mathematical theories","score":0.2694000005722046,"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/mathematics","display_name":"Mathematics","score":0.9146686792373657},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.7664403319358826},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.5974292159080505},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4584178328514099},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3705996870994568},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3582616448402405}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9146686792373657},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.7664403319358826},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.5974292159080505},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4584178328514099},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3705996870994568},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3582616448402405},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218196724500103","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196724500103","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":82,"referenced_works":["https://openalex.org/W41330591","https://openalex.org/W168459216","https://openalex.org/W567605243","https://openalex.org/W1135667589","https://openalex.org/W1489366126","https://openalex.org/W1516895011","https://openalex.org/W1543877612","https://openalex.org/W1545113110","https://openalex.org/W1555138513","https://openalex.org/W1656942156","https://openalex.org/W1658031827","https://openalex.org/W1777861714","https://openalex.org/W1854099214","https://openalex.org/W1905051757","https://openalex.org/W1963934374","https://openalex.org/W1971413432","https://openalex.org/W1974672137","https://openalex.org/W1980865143","https://openalex.org/W1981433559","https://openalex.org/W1984581643","https://openalex.org/W1989114462","https://openalex.org/W1990538552","https://openalex.org/W1995725694","https://openalex.org/W2006771561","https://openalex.org/W2007004604","https://openalex.org/W2009944783","https://openalex.org/W2018099718","https://openalex.org/W2020273705","https://openalex.org/W2023552332","https://openalex.org/W2033585040","https://openalex.org/W2036256728","https://openalex.org/W2039116808","https://openalex.org/W2044443711","https://openalex.org/W2045583484","https://openalex.org/W2052024655","https://openalex.org/W2052936500","https://openalex.org/W2054982111","https://openalex.org/W2060107734","https://openalex.org/W2065259180","https://openalex.org/W2066402026","https://openalex.org/W2068948309","https://openalex.org/W2069125955","https://openalex.org/W2070678975","https://openalex.org/W2075388334","https://openalex.org/W2076662767","https://openalex.org/W2077723005","https://openalex.org/W2086149568","https://openalex.org/W2087288544","https://openalex.org/W2094189083","https://openalex.org/W2109616743","https://openalex.org/W2111302825","https://openalex.org/W2119342546","https://openalex.org/W2127563879","https://openalex.org/W2128706193","https://openalex.org/W2152035036","https://openalex.org/W2152972834","https://openalex.org/W2181072414","https://openalex.org/W2232592548","https://openalex.org/W2365765272","https://openalex.org/W2560327508","https://openalex.org/W2724664870","https://openalex.org/W2743930031","https://openalex.org/W2942921829","https://openalex.org/W2952568090","https://openalex.org/W2962747388","https://openalex.org/W2963675331","https://openalex.org/W2991150483","https://openalex.org/W3104785372","https://openalex.org/W3157423416","https://openalex.org/W3162138899","https://openalex.org/W3193464356","https://openalex.org/W4214944728","https://openalex.org/W4232276313","https://openalex.org/W4233756358","https://openalex.org/W4235934183","https://openalex.org/W4237721941","https://openalex.org/W4239144142","https://openalex.org/W4239350281","https://openalex.org/W4246725097","https://openalex.org/W4298227433","https://openalex.org/W4386880015","https://openalex.org/W6929229988"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2987986312","https://openalex.org/W2898780680","https://openalex.org/W4288024920","https://openalex.org/W2980963558","https://openalex.org/W4366457370","https://openalex.org/W2112408494","https://openalex.org/W1882246857","https://openalex.org/W2017634423","https://openalex.org/W3103304230"],"abstract_inverted_index":{"We":[0,9,372],"investigate":[1],"the":[2,12,16,29,74,99,106,126,185,201,271,289,314,361,365,376,390,399,402],"power":[3],"of":[4,15,32,77,83,91,158,170,204,214,242,254,257,291,309,317,351,364,392,404],"counting":[5,71,362,414],"in":[6,35,41,64,142,164,209,225,320,326,401],"Group":[7],"Isomorphism.":[8],"first":[10],"leverage":[11],"count-free":[13,378],"variant":[14,363],"Weisfeiler\u2013Leman":[17,30,315,368],"Version":[18,369],"I":[19],"algorithm":[20],"for":[21,80,177,293],"groups":[22,159,241,256],"[J.":[23,194],"Brachter":[24,310],"and":[25,51,69,105,152,184,197,220,245,260,273,281,311,336,394],"P.":[26],"Schweitzer,":[27],"On":[28,155,200],"dimension":[31,316],"finite":[33,318],"groups,":[34,319],"35th":[36,321],"Annual":[37,322],"ACM/IEEE":[38,323],"Symp.":[39,167,212,324],"Logic":[40,265,325],"Computer":[42,171,226,327],"Science,":[43,172,227,328],"eds.":[44,217,329],"H.":[45,218,251,330],"Hermanns,":[46,331],"L.":[47,332],"Zhang,":[48,333],"N.":[49,150,282,334],"Kobayashi":[50,335],"D.":[52,337],"Miller,":[53,338],"Saarbrucken,":[54,339],"Germany,":[55,340],"July":[56,341],"8\u201311,":[57,342],"2020":[58,343],"(ACM,":[59,344],"2020),":[60,345],"pp.":[61,180,237,346],"287\u2013300,":[62,347],"doi:10.1145/3373718.3394786]":[63],"tandem":[65],"with":[66,115,160],"bounded":[67],"non-determinism":[68],"limited":[70],"to":[72,140,190,357,383,417],"improve":[73],"parallel":[75,202],"complexity":[76,186,203],"isomorphism":[78,156,206],"testing":[79,157],"several":[81],"families":[82,86,353],"groups.":[84,94,387],"These":[85],"include:":[87],"\u2022":[88,95,239],"Direct":[89],"products":[90],"non-Abelian":[92],"simple":[93],"Coprime":[96],"extensions,":[97],"where":[98,125],"normal":[100,161],"Hall":[101,162],"subgroup":[102],"is":[103,108,128,381,411],"Abelian":[104,386],"complement":[107,127],"an":[109,129],"[Formula:":[110,118,130,143,191,247,405,419,423],"see":[111,119,131,144,192,248,406,420,424],"text]-generated":[112,132],"solvable":[113],"group":[114,205],"solvability":[116],"class":[117,243,258],"text].":[120,407,425],"This":[121,135,388],"notably":[122],"includes":[123],"instances":[124],"nilpotent":[133,255],"group.":[134],"problem":[136],"was":[137,187,354],"previously":[138,355],"known":[139,356],"be":[141,358],"text]":[145,193,249,421],"[Y.":[146],"Qiao,":[147],"J.":[148,263],"M.":[149,198,279],"Sarma":[151],"B.":[153],"Tang,":[154],"subgroups,":[163],"Proc.":[165],"28th":[166],"Theoretical":[168],"Aspects":[169],"Dagstuhl":[173],"Castle,":[174],"Leibniz":[175],"Center":[176],"Informatics,":[178],"2011),":[179],"567\u2013578,":[181],"doi:10.4230/LIPIcs.":[182],"STACS.2011.567],":[183],"recently":[188],"improved":[189],"A.":[195],"Grochow":[196,393],"Levet,":[199],"via":[207],"Weisfeiler\u2013Leman,":[208],"24th":[210],"Int.":[211],"Fundamentals":[213],"Computation":[215],"Theory,":[216],"Fernau":[219],"K.":[221],"Jansen,":[222],"Lecture":[223],"Notes":[224],"Vol.":[228],"14292,":[229],"September":[230],"18\u201321,":[231],"2023,":[232],"Trier,":[233],"Germany":[234],"(Springer,":[235],"2023),":[236],"234\u2013247].":[238],"Graphical":[240],"2":[244,259],"exponent":[246],"[A.":[250],"Mekler,":[252],"Stability":[253],"prime":[261],"exponent,":[262],"Symb.":[264],"46(4)":[266],"(1981)":[267],"781\u2013788]":[268],"arising":[269],"from":[270],"CFI":[272,275],"twisted":[274],"graphs":[276],"[J.-Y.":[277],"Cai,":[278],"F\u00fcrer":[280],"Immerman,":[283],"An":[284],"optimal":[285],"lower":[286],"bound":[287],"on":[288],"number":[290],"variables":[292],"graph":[294],"identification,":[295],"Combinatorica":[296],"12(4)":[297],"(1992)":[298],"389\u2013410],":[299],"respectively.":[300],"In":[301],"particular,":[302],"our":[303],"work":[304],"improves":[305],"upon":[306],"previous":[307],"results":[308],"Schweitzer":[312],"[On":[313],"doi:10.1145/3373718.3394786].":[348],"Notably,":[349],"each":[350],"these":[352],"identified":[359],"by":[360],"more":[366],"powerful":[367],"II":[370],"algorithm.":[371],"finally":[373],"show":[374],"that":[375,412],"q-ary":[377],"pebble":[379],"game":[380],"unable":[382],"even":[384],"distinguish":[385],"extends":[389],"result":[391,400],"Levet":[395],"(ibid),":[396],"who":[397],"established":[398],"case":[403],"The":[408],"general":[409],"theme":[410],"some":[413],"appears":[415],"necessary":[416],"place":[418],"into":[422]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}