{"id":"https://openalex.org/W7224821653","doi":"https://doi.org/10.48550/arxiv.2610.40590","title":"An Adian-Rabin theorem for quantum automorphism groups of graphs","display_name":"An Adian-Rabin theorem for quantum automorphism groups of graphs","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224821653","doi":"https://doi.org/10.48550/arxiv.2610.40590"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.40590","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.40590","pdf_url":"https://arxiv.org/pdf/2610.40590","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":null,"license_id":null,"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/2610.40590","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059060171","display_name":"Josse van Dobben de Bruyn","orcid":"https://orcid.org/0000-0002-8996-9824","observed_orcids":["https://orcid.org/0000-0002-8996-9824"]},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CA","CZ"],"is_corresponding":false,"raw_author_name":"de Bruyn, Josse van Dobben","raw_affiliation_strings":["Charles University , Department of Applied Mathematics , Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25 , 118 00 Praha 1 , Czech Republic","University of Waterloo , Department of Pure Mathematics and Institute for Quantum Computing , 200 University Avenue West , Waterloo , ON , Canada N2L 3G1"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University , Department of Applied Mathematics , Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25 , 118 00 Praha 1 , Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"University of Waterloo , Department of Pure Mathematics and Institute for Quantum Computing , 200 University Avenue West , Waterloo , ON , Canada N2L 3G1","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111489496","display_name":"William Slofstra","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Slofstra, William","raw_affiliation_strings":["Charles University , Department of Applied Mathematics , Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25 , 118 00 Praha 1 , Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University , Department of Applied Mathematics , Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25 , 118 00 Praha 1 , Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.8935999870300293,"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.8935999870300293,"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"}},{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.03669999912381172,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.0071000000461936,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/quantum-automorphism-groups","display_name":"quantum automorphism groups","score":0.8339999914169312},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.9259999990463257},{"id":"https://openalex.org/keywords/finitely-presented-groups","display_name":"finitely presented groups","score":0.8450000286102295},{"id":"https://openalex.org/keywords/nonlocal-games","display_name":"nonlocal games","score":0.7599999904632568}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7698000073432922},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7498000264167786},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5414000153541565},{"id":"https://openalex.org/C2988750069","wikidata":"https://www.wikidata.org/wiki/Q60790315","display_name":"Automorphism group","level":3,"score":0.5393000245094299},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.5292999744415283},{"id":"https://openalex.org/C124453015","wikidata":"https://www.wikidata.org/wiki/Q1139583","display_name":"Inner automorphism","level":4,"score":0.527899980545044},{"id":"https://openalex.org/C6049932","wikidata":"https://www.wikidata.org/wiki/Q834981","display_name":"Graph automorphism","level":5,"score":0.49160000681877136},{"id":"https://openalex.org/C116827671","wikidata":"https://www.wikidata.org/wiki/Q5155316","display_name":"Compact quantum group","level":4,"score":0.46389999985694885},{"id":"https://openalex.org/C7619685","wikidata":"https://www.wikidata.org/wiki/Q3630548","display_name":"Outer automorphism group","level":4,"score":0.4487000107765198},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C45483111","wikidata":"https://www.wikidata.org/wiki/Q7269076","display_name":"Quantum no-deleting theorem","level":5,"score":0.41440001130104065},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4124000072479248},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3993000090122223},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3515999913215637},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.34299999475479126},{"id":"https://openalex.org/C168025344","wikidata":"https://www.wikidata.org/wiki/Q7391963","display_name":"SO(8)","level":5,"score":0.3407000005245209},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C200597783","wikidata":"https://www.wikidata.org/wiki/Q4391289","display_name":"Edge-transitive graph","level":5,"score":0.3086000084877014},{"id":"https://openalex.org/C172331165","wikidata":"https://www.wikidata.org/wiki/Q524607","display_name":"General linear group","level":3,"score":0.30570000410079956},{"id":"https://openalex.org/C155190451","wikidata":"https://www.wikidata.org/wiki/Q742064","display_name":"Group isomorphism","level":5,"score":0.29989999532699585},{"id":"https://openalex.org/C38847919","wikidata":"https://www.wikidata.org/wiki/Q438814","display_name":"Alternating group","level":3,"score":0.2919999957084656},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.2870999872684479},{"id":"https://openalex.org/C148647251","wikidata":"https://www.wikidata.org/wiki/Q2122223","display_name":"Quantum group","level":3,"score":0.28220000863075256},{"id":"https://openalex.org/C160826032","wikidata":"https://www.wikidata.org/wiki/Q286972","display_name":"p-group","level":3,"score":0.2802000045776367},{"id":"https://openalex.org/C35661339","wikidata":"https://www.wikidata.org/wiki/Q2285809","display_name":"Classical group","level":3,"score":0.2766000032424927},{"id":"https://openalex.org/C180375552","wikidata":"https://www.wikidata.org/wiki/Q2635326","display_name":"Structured program theorem","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C113203676","wikidata":"https://www.wikidata.org/wiki/Q220997","display_name":"Vertex-transitive graph","level":5,"score":0.26350000500679016},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.2621999979019165}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.40590","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.40590","pdf_url":"https://arxiv.org/pdf/2610.40590","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.40590","doi":"https://doi.org/10.48550/arxiv.2610.40590","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.40590","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.40590","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.40590","pdf_url":"https://arxiv.org/pdf/2610.40590","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7224821653.pdf","grobid_xml":"https://content.openalex.org/works/W7224821653.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7099541866","https://openalex.org/W4388555898","https://openalex.org/W7106401027","https://openalex.org/W1801637858","https://openalex.org/W7101415567","https://openalex.org/W4284678425","https://openalex.org/W2954486716","https://openalex.org/W2775174050","https://openalex.org/W7052986183","https://openalex.org/W3169192714"],"abstract_inverted_index":{"Given":[0],"a":[1,30,84],"graph":[2,85],"$G$,":[3],"does":[4],"it":[5],"have":[6],"quantum":[7,18,68,80,88,103],"symmetries,":[8],"or":[9],"in":[10,127],"other":[11],"words,":[12],"is":[13,34,36,39,106],"the":[14,17,23,44,79,101],"algebra":[15],"of":[16,25,43,53,71,78,83,115],"automorphism":[19,69,81,104],"group":[20,33,82,105],"non-commutative?":[21],"In":[22,59],"world":[24],"ordinary":[26],"groups,":[27],"determining":[28],"whether":[29],"finitely":[31,54],"presented":[32,55],"commutative":[35],"undecidable.":[37,58,91],"This":[38],"an":[40,64,124],"immediate":[41],"consequence":[42],"Adian-Rabin":[45,65,125],"theorem,":[46],"which":[47],"shows":[48],"that":[49,74,95],"many":[50,75],"natural":[51,76],"properties":[52,77],"groups":[56,70,114],"are":[57,90,110],"this":[60,128],"paper,":[61],"we":[62,121],"prove":[63,123],"theorem":[66,126],"for":[67],"graphs,":[72],"showing":[73],"(including":[86],"having":[87],"symmetries)":[89],"We":[92],"also":[93,122],"show":[94],"it's":[96],"undecidable":[97],"to":[98],"determine":[99],"if":[100],"discrete":[102],"non-trivial.":[107],"Our":[108],"methods":[109],"based":[111],"on":[112],"solution":[113],"linear":[116],"system":[117],"nonlocal":[118],"games,":[119],"and":[120],"context.":[129]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-10-31T00:00:00"}