[Paper Review] The Frucht property in the quantum group setting

Teodor Banica, J.P. McCarthy|arXiv (Cornell University)|Jun 9, 2021

Advanced Operator Algebra Research35 references4 citations

TL;DR

This paper investigates the quantum analog of Frucht's classical theorem, asking whether every compact quantum group can arise as the quantum automorphism group of some finite graph. By analyzing orbit structures and transitive actions via quantum permutation representations, the authors establish negative results—showing that not all quantum groups, including the Kac–Paljutkin quantum group and certain group duals, can be realized as quantum automorphism groups of finite graphs, thus identifying obstructions to a full quantum Frucht property.

ABSTRACT

A classical theorem of Frucht states that any finite group appears as the automorphism group of a finite graph. In the quantum setting the problem is to understand the structure of the compact quantum groups which can appear as quantum automorphism groups of finite graphs. We discuss here this question, notably with a number of negative results.

Motivation & Objective

• To determine whether every compact quantum group can be realized as the quantum automorphism group of a finite graph, extending Frucht’s classical theorem to the quantum setting.
• To investigate the limitations of quantum automorphism groups by analyzing orbit structures and transitive actions on finite graphs.
• To identify obstructions—particularly for group duals and the Kac–Paljutkin quantum group—preventing certain quantum groups from arising as quantum automorphism groups.
• To explore the role of transitive magic representations and orbital theory in determining whether a quantum group acts faithfully on a graph.
• To assess whether finite quantum groups, such as the dual of the binary icosahedral group, might serve as candidates for the Frucht property.

Proposed method

• Uses Bichon’s orbit theory and Lupini–Mančinska–Roberson orbital theory to analyze the action of quantum groups on finite graphs.
• Applies the concept of transitive magic representations to determine whether a quantum group can act on a graph with full quantum symmetry.
• Employs the fundamental unitary representation $u \in M_N(A)$ of a Woronowicz algebra to model quantum permutation groups and their actions.
• Analyzes the induced subgraphs and orbitals of vertex sets to detect whether $G^+(X) = G$ for a given quantum group $G$.
• Compares orbitals of $u$ and its lifts $u'$ to determine whether quantum symmetries are preserved or extended under representation extensions.
• Leverages the structure of $H_2^+$ and $G_0$ to test intermediate quantum group embeddings and their compatibility with graph actions.

Experimental results

Research questions

• RQ1 Can every compact quantum group be realized as the quantum automorphism group of a finite graph, analogous to Frucht’s theorem in the classical setting?
• RQ2 What structural obstructions prevent a given quantum group from being the quantum automorphism group of any finite graph?
• RQ3 To what extent do transitive magic representations of $C(G)$ determine whether $G$ acts as the full quantum symmetry group on a graph?
• RQ4 Are there finite quantum groups, such as the dual of the binary icosahedral group, that could potentially satisfy the quantum Frucht property?
• RQ5 Does the existence of a $G_0$-action on a graph imply the existence of an $H_2^+$-action on the same graph, or are there counterexamples?

Key findings

• The Kac–Paljutkin quantum group $G_0$ cannot be realized as the quantum automorphism group of any finite graph, despite admitting transitive actions.
• The authors construct a graph on 10 vertices that admits a $G_0$-action but not an $H_2^+$-action, providing a counterexample to the implication $G_0 \curvearrowright X \Rightarrow H_2^+ \curvearrowright X$.
• Orbitals of $u^{H_2^+}$ and $u^{G_0}$ are preserved under certain lifts $u'$, but the $V_x^{(a)} \times V_x^{(b)}$ orbitals do not extend consistently, preventing full quantum symmetry extension.
• The study shows that not all finite quantum groups, including group duals and Sekine quantum groups for $k > 3$, are known to be quantum permutation groups, suggesting potential obstructions.
• The results indicate that the Frucht property fails for many quantum groups due to the lack of transitive magic representations that extend full quantum symmetry.
• The paper identifies that the dual of the binary icosahedral group $\widehat{2I}$ is a promising candidate for future study in the context of the quantum Frucht property.