{"id":"arxiv/2610.40590","url":"https://arxiv.org/abs/2610.40590","tags":["math.QA","math.CO","math.GR","math.OA"],"score":0,"title":"An Adian-Rabin theorem for quantum automorphism groups of graphs","domain":"math.QA","source":"arxiv","authors":["Josse van Dobben de Bruyn","William Slofstra"],"reviews":0,"subject":"math.QA","summary":"Given a graph $G$, does it have quantum symmetries, or in other words, is the algebra of the quantum automorphism group non-commutative? In the world of ordinary groups, determining whether a finitely presented group is commutative is undecidable. This is an immediate consequence of the Adian-Rabin theorem, which shows that many natural properties of finitely presented groups are undecidable. In this paper, we prove an Adian-Rabin theorem for quantum automorphism groups of graphs, showing that many natural properties of the quantum automorphism group of a graph (including having quantum…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}