{"id":"https://openalex.org/W4400648172","doi":"https://doi.org/10.1145/3666000.3669691","title":"Constant Depth Circuit Complexity for Generating Quasigroups","display_name":"Constant Depth Circuit Complexity for Generating Quasigroups","publication_year":2024,"publication_date":"2024-07-15","ids":{"openalex":"https://openalex.org/W4400648172","doi":"https://doi.org/10.1145/3666000.3669691"},"language":"en","primary_location":{"id":"doi:10.1145/3666000.3669691","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3666000.3669691","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3666000.3669691","any_repository_has_fulltext":null},"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":true,"raw_author_name":"Nathaniel A. Collins","raw_affiliation_strings":["Colorado State University, Department of Mathematics, USA"],"raw_orcid":"https://orcid.org/0000-0002-2694-4080","affiliations":[{"raw_affiliation_string":"Colorado State University, Department of Mathematics, USA","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062065155","display_name":"Joshua A. Grochow","orcid":"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua A. Grochow","raw_affiliation_strings":["University of Colorado Boulder, Departments of Computer Science and Mathematics, USA"],"raw_orcid":"https://orcid.org/0000-0002-6466-0476","affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Departments of Computer Science and Mathematics, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","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":false,"raw_author_name":"Michael Levet","raw_affiliation_strings":["College of Charleston, Department of Computer Science, USA"],"raw_orcid":"https://orcid.org/0009-0009-1992-3175","affiliations":[{"raw_affiliation_string":"College of Charleston, Department of Computer Science, USA","institution_ids":["https://openalex.org/I204593131"]}]},{"author_position":"last","author":{"id":null,"display_name":"Armin Wei\u00df","orcid":"https://orcid.org/0000-0002-7645-5867"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Armin Wei\u00df","raw_affiliation_strings":["Universit\u00e4t Stuttgart, FMI, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7645-5867","affiliations":[{"raw_affiliation_string":"Universit\u00e4t Stuttgart, FMI, Germany","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5015311412"],"corresponding_institution_ids":["https://openalex.org/I92446798"],"apc_list":null,"apc_paid":null,"fwci":0.6914,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72033556,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"198","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"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/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"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/T11797","display_name":"graph theory and CDMA systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9958999752998352,"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/constant","display_name":"Constant (computer programming)","score":0.7765089273452759},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5582865476608276},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.4660789668560028},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4381242096424103},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3366442918777466},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3357740044593811},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33209019899368286},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.24433323740959167},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18017032742500305},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1722760796546936},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06954210996627808}],"concepts":[{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.7765089273452759},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5582865476608276},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.4660789668560028},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4381242096424103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3366442918777466},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3357740044593811},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33209019899368286},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.24433323740959167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18017032742500305},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1722760796546936},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06954210996627808}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3666000.3669691","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3666000.3669691","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3666000.3669691","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3666000.3669691","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"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":36,"referenced_works":["https://openalex.org/W41330591","https://openalex.org/W1573848150","https://openalex.org/W1966550638","https://openalex.org/W1980351200","https://openalex.org/W1980865143","https://openalex.org/W1981433559","https://openalex.org/W1989188127","https://openalex.org/W1990538552","https://openalex.org/W2030264049","https://openalex.org/W2030728433","https://openalex.org/W2039116808","https://openalex.org/W2049516232","https://openalex.org/W2069125955","https://openalex.org/W2070678975","https://openalex.org/W2101451020","https://openalex.org/W2109616743","https://openalex.org/W2112556578","https://openalex.org/W2127563879","https://openalex.org/W2169974244","https://openalex.org/W2177603603","https://openalex.org/W2409645877","https://openalex.org/W2724664870","https://openalex.org/W2763989537","https://openalex.org/W2765394294","https://openalex.org/W4214944728","https://openalex.org/W4226415201","https://openalex.org/W4252786044","https://openalex.org/W4285483829","https://openalex.org/W4287605484","https://openalex.org/W4300795311","https://openalex.org/W4321793526","https://openalex.org/W4386880015","https://openalex.org/W4388817892","https://openalex.org/W4400648172","https://openalex.org/W6839786161","https://openalex.org/W6922094438"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W346875545","https://openalex.org/W2158905189","https://openalex.org/W1988762827"],"abstract_inverted_index":{"We":[0,113],"investigate":[1],"the":[2,7,119,135],"constant-depth":[3],"circuit":[4],"complexity":[5],"of":[6,31,38,90],"Isomorphism":[8,77],"Problem,":[9],"Minimum":[10],"Generating":[11],"Set":[12],"Problem":[13,18],"(MGS),":[14],"and":[15,22,65],"Sub(quasi)group":[16],"Membership":[17],"(Membership)":[19],"for":[20,45,122],"groups":[21],"quasigroups":[23],"(=Latin":[24],"squares),":[25],"given":[26],"as":[27],"input":[28],"in":[29],"terms":[30],"their":[32],"multiplication":[33],"(Cayley)":[34],"tables.":[35],"Despite":[36],"decades":[37],"research":[39],"on":[40],"these":[41,46,123],"problems,":[42],"lower":[43],"bounds":[44],"problems":[47,124],"even":[48],"against":[49],"depth-2":[50],"<Formula":[51,82,104,126],"format=\"inline\"><TexMath><?TeX":[52,83,105,127],"$\\mathsf":[53,84,128],"{AC}$?></TexMath><AltText>Math":[54,85],"1</AltText><File":[55],"name=\"issac24-21-inline1\"":[56],"type=\"svg\"/></Formula>":[57,88],"circuits":[58,89],"remain":[59],"unknown.":[60],"Perhaps":[61],"surprisingly,":[62],"Chattopadhyay,":[63],"Tor\u00e1n,":[64],"Wagner":[66],"(FSTTCS":[67],"2010;":[68],"ACM":[69],"Trans.":[70],"Comput.":[71],"Theory,":[72],"2013)":[73],"showed":[74],"that":[75],"Quasigroup":[76],"could":[78],"be":[79],"solved":[80],"by":[81,117],"2</AltText><File":[86],"name=\"issac24-21-inline2\"":[87],"depth":[91,136],"O(log":[92,96],"log":[93],"n)":[94],"using":[95],"2n)":[97],"nondeterministic":[98],"bits,":[99],"a":[100],"class":[101],"we":[102],"denote":[103],"$\\exists":[106],"^{\\log":[107],"^{2}n}\\mathsf":[108],"{FOLL}$?></TexMath><AltText>Math":[109],"3</AltText><File":[110],"name=\"issac24-21-inline3\"":[111],"type=\"svg\"/></Formula>.":[112],"narrow":[114],"this":[115],"gap":[116],"improving":[118],"upper":[120],"bound":[121],"to":[125,137],"{quasiAC^0}$?></TexMath><AltText>Math":[129],"4</AltText><File":[130],"name=\"issac24-21-inline4\"":[131],"type=\"svg\"/></Formula>,":[132],"thus":[133],"decreasing":[134],"constant.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}