{"id":"https://openalex.org/W7204534789","doi":"https://doi.org/10.48550/arxiv.2608.26257","title":"Group Isomorphism and the Polylogarithmic-Time Hierarchy: Depth-2$\\frac{1}{2}$ Circuits and Lower Bounds","display_name":"Group Isomorphism and the Polylogarithmic-Time Hierarchy: Depth-2$\\frac{1}{2}$ Circuits and Lower Bounds","publication_year":2026,"publication_date":"2026-08-26","ids":{"openalex":"https://openalex.org/W7204534789","doi":"https://doi.org/10.48550/arxiv.2608.26257"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.26257","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26257","pdf_url":"https://arxiv.org/pdf/2608.26257","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.26257","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062065155","display_name":"Joshua A. Grochow","orcid":"https://orcid.org/0000-0002-6466-0476","observed_orcids":["https://orcid.org/0000-0002-6466-0476"]},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grochow, Joshua A.","raw_affiliation_strings":["Department of Computer Science , University of Colorado Boulder ; Department of Mathematics , University of Colorado Boulder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , University of Colorado Boulder ; Department of Mathematics , University of Colorado Boulder","institution_ids":["https://openalex.org/I188538660","https://openalex.org/I2802236040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001671932","display_name":"G\u00fclce Karde\u015f","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1308548392","display_name":"Santa Fe Institute","ror":"https://ror.org/01arysc35","country_code":"US","type":"funder","lineage":["https://openalex.org/I1308548392"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karde\u015f, G\u00fclce","raw_affiliation_strings":["Department of Computer Science , University of Colorado Boulder ; Santa Fe Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , University of Colorado Boulder ; Santa Fe Institute","institution_ids":["https://openalex.org/I1308548392","https://openalex.org/I188538660","https://openalex.org/I2802236040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061484797","display_name":"Michael Levet","orcid":"https://orcid.org/0009-0009-1992-3175","observed_orcids":["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":false,"raw_author_name":"Levet, Michael","raw_affiliation_strings":["Department of Computer Science , College of Charleston "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , College of Charleston ","institution_ids":["https://openalex.org/I204593131"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.8862000107765198,"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.8862000107765198,"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.039799999445676804,"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/T10849","display_name":"Finite Group Theory Research","score":0.016599999740719795,"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":[{"id":"https://openalex.org/keywords/group-isomorphism","display_name":"group isomorphism","score":0.9769999980926514},{"id":"https://openalex.org/keywords/circuit-lower-bounds","display_name":"circuit lower bounds","score":0.7630000114440918},{"id":"https://openalex.org/keywords/boolean-circuit-complexity","display_name":"Boolean circuit complexity","score":0.656000018119812},{"id":"https://openalex.org/keywords/composition-series","display_name":"composition series","score":0.8149999976158142},{"id":"https://openalex.org/keywords/group-extensions","display_name":"group extensions","score":0.8870000243186951},{"id":"https://openalex.org/keywords/group-cohomology","display_name":"group cohomology","score":0.9309999942779541}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6783000230789185},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.6765999794006348},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.6144000291824341},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.5320000052452087},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5309000015258789},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.517799973487854},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.43709999322891235},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4323999881744385},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.4138999879360199},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4081000089645386},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.39820000529289246},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39719998836517334},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.3946000039577484},{"id":"https://openalex.org/C155920423","wikidata":"https://www.wikidata.org/wiki/Q4791120","display_name":"Arithmetic circuit complexity","level":3,"score":0.38339999318122864},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.38089999556541443},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3434000015258789},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30079999566078186},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.2556000053882599},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.26257","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26257","pdf_url":"https://arxiv.org/pdf/2608.26257","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.26257","doi":"https://doi.org/10.48550/arxiv.2608.26257","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.26257","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"pmh:oai:arXiv.org:2608.26257","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26257","pdf_url":"https://arxiv.org/pdf/2608.26257","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1622939035","display_name":null,"funder_award_id":"20650","funder_id":"https://openalex.org/F4320327239","funder_display_name":"Templeton World Charity Foundation"},{"id":"https://openalex.org/G2353581182","display_name":null,"funder_award_id":"501100011730","funder_id":"https://openalex.org/F4320327239","funder_display_name":"Templeton World Charity Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8466226040","display_name":"CAREER: Higher-Order Interactions in Tensors and Isomorphism Problems","funder_award_id":"2047756","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311539","display_name":"College of Charleston","ror":"https://ror.org/00390t168"},{"id":"https://openalex.org/F4320327239","display_name":"Templeton World Charity Foundation","ror":"https://ror.org/00x0z1472"},{"id":"https://openalex.org/F4320332538","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204534789.pdf","grobid_xml":"https://content.openalex.org/works/W7204534789.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W7548172","https://openalex.org/W1507799342","https://openalex.org/W1510779330","https://openalex.org/W1536931100","https://openalex.org/W1578111061","https://openalex.org/W1598457899","https://openalex.org/W1599335667","https://openalex.org/W1905214762","https://openalex.org/W1938120708","https://openalex.org/W1964155237","https://openalex.org/W1980351200","https://openalex.org/W1980865143","https://openalex.org/W1989188127","https://openalex.org/W2007643787","https://openalex.org/W2008999657","https://openalex.org/W2009134673","https://openalex.org/W2021238854","https://openalex.org/W2026479791","https://openalex.org/W2029124121","https://openalex.org/W2031657572","https://openalex.org/W2036656440","https://openalex.org/W2039281176","https://openalex.org/W2045924252","https://openalex.org/W2046978501","https://openalex.org/W2053954083","https://openalex.org/W2057080512","https://openalex.org/W2060107734","https://openalex.org/W2063860797","https://openalex.org/W2065259180","https://openalex.org/W2068243918","https://openalex.org/W2070678975","https://openalex.org/W2075388334","https://openalex.org/W2079926883","https://openalex.org/W2116087731","https://openalex.org/W2123560844","https://openalex.org/W2127563879","https://openalex.org/W2129281959","https://openalex.org/W2156088544","https://openalex.org/W2159341052","https://openalex.org/W2167058668","https://openalex.org/W2169974244","https://openalex.org/W2181072414","https://openalex.org/W2400839919","https://openalex.org/W2405552906","https://openalex.org/W2409645877","https://openalex.org/W2560327508","https://openalex.org/W2941010932","https://openalex.org/W2989585839","https://openalex.org/W3014491703","https://openalex.org/W3103545288","https://openalex.org/W4205325251","https://openalex.org/W4213089498","https://openalex.org/W4229824918","https://openalex.org/W4234569714","https://openalex.org/W4237207618","https://openalex.org/W4239350281","https://openalex.org/W4293423251","https://openalex.org/W4383047488","https://openalex.org/W4392110082","https://openalex.org/W4413435696","https://openalex.org/W7083179301","https://openalex.org/W7128710661","https://openalex.org/W7147482490","https://openalex.org/W7163877675"],"related_works":["https://openalex.org/W4413435696","https://openalex.org/W4400648172","https://openalex.org/W1598457899","https://openalex.org/W7096307352","https://openalex.org/W4376639509","https://openalex.org/W1600006951","https://openalex.org/W2400566638","https://openalex.org/W4415194093","https://openalex.org/W3103545288","https://openalex.org/W36980914"],"abstract_inverted_index":{"In":[0,108],"this":[1,46,58,169],"paper,":[2],"we":[3,29],"investigate":[4],"the":[5,13,20,84,97,140,152,159,174,178,185],"low-depth":[6],"circuit":[7,22,85],"complexity":[8],"of":[9,34,51,62,66,77,92,143,158,188],"Group":[10,26,39],"Isomorphism":[11,40],"in":[12,101,168,182],"multiplication":[14],"(Cayley)":[15],"table":[16],"model.":[17],"We":[18,56,125,147],"prove":[19],"first":[21],"lower":[23],"bounds":[24,61],"for":[25,130,136],"Isomorphism:":[27],"namely,":[28],"show":[30],"that":[31,118,151],"every":[32],"family":[33],"depth-$2$":[35],"Boolean":[36],"circuits":[37,65,70],"deciding":[38],"requires":[41],"quasipolynomial-size.":[42],"(We":[43],"also":[44],"extend":[45],"to":[47,89,106,123,172],"a":[48,114,127],"limited":[49],"class":[50],"depth-3":[52],"circuits,":[53],"namely":[54],"$\\textsf{CNF}$-of-$\\textsf{XOR}$s.)":[55],"complement":[57],"with":[59,71,134,184],"upper":[60],"uniform":[63],"depth-$2\\frac{1}{2}$":[64,111],"quasipolynomial-size:":[67],"depth":[68,86],"3":[69],"poly-logarithmic":[72],"bottom":[73],"fan-in.":[74],"A":[75,165],"sequence":[76],"previous":[78],"results":[79,94],"from":[80,87],"1970-2025":[81],"progressively":[82],"reduced":[83],"polynomial":[88],"$3\\frac{1}{2}$;":[90],"all":[91],"these":[93],"relied":[95],"on":[96,177],"generator-enumerator":[98],"strategy":[99,117],"and,":[100],"fact,":[102],"applied":[103],"more":[104,121],"generally":[105],"quasigroups.":[107],"contrast,":[109],"our":[110],"construction":[112],"follows":[113],"fundamentally":[115],"different":[116],"exploits":[119],"structure":[120],"specific":[122],"groups.":[124],"guess":[126],"composition":[128,145,161],"series":[129,162],"each":[131,156],"group,":[132],"together":[133],"generators":[135],"its":[137,144],"terms":[138],"and":[139,191],"isomorphism":[141],"types":[142],"factors.":[146],"then":[148],"inductively":[149],"verify":[150],"corresponding":[153],"extensions":[154,190],"at":[155],"level":[157],"two":[160],"are":[163],"compatible.":[164],"central":[166],"part":[167],"approach":[170],"brings":[171],"bear":[173],"extensive":[175],"work":[176],"Short":[179],"Presentation":[180],"Conjecture,":[181],"tandem":[183],"algorithmic":[186],"theory":[187],"group":[189],"cohomology.":[192]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-08-29T00:00:00"}