---
title: Quantum Permutation Groups
url: https://www.emergentmind.com/topics/quantum-permutation-groups
type: topic
---

# Quantum Permutation Groups

A quantum permutation group is a noncommutative generalization of the classical symmetric group, encoding universal quantum symmetries of finite or infinite sets. Their algebraic realization, introduced by Wang, is formalized via "magic unitary" matrices whose C*-algebraic relations encode both the projections and the partition-of-unity properties of permutation matrices, without imposing commutativity. This framework produces infinite-dimensional, compact quantum groups with a rich interplay between noncommutative analysis, tensor categories, subfactor theory, and quantum symmetries of discrete structures and metric spaces.

## 1. Algebraic Definition and Fundamental Structure

Let $n\geq1$. The quantum permutation group $S_n^+$ is the compact quantum group whose algebra of "continuous functions," $C(S_n^+)$, is the universal unital C*-algebra generated by $n^2$ projections $u_{ij}$ subject to the "magic unitary" relations:
\[
u_{ij} = u_{ij}^* = u_{ij}^2, \quad \sum_{k=1}^n u_{ik} = 1, \quad \sum_{k=1}^n u_{kj} = 1 \quad (1\leq i,j\leq n)
\]
If all $u_{ij}$ are required to commute, $C(S_n^+)$ reduces to $C(S_n)$, the algebra of functions on the classical symmetric group. For $n\leq3$, $S_n^+ \cong S_n$, but for $n\geq4$, $C(S_n^+)$ is infinite-dimensional and noncommutative, exhibiting strictly quantum phenomena not present in classical combinatorics [2012.10975].

The Hopf *-algebra structure is defined on generators by
\[
\Delta(u_{ij}) = \sum_{k=1}^n u_{ik} \otimes u_{kj}, \quad \varepsilon(u_{ij}) = \delta_{ij}, \quad S(u_{ij}) = u_{ji}
\]
satisfying the axioms for a compact (Kac type) quantum group [1510.08321, 2012.10975]. The Haar state is unique and tracial.

## 2. Representation Theory, Easiness, and Weingarten Calculus

The representation theory is governed by the category of non-crossing partitions (NC). $S_n^+$ is an "easy quantum group": morphism spaces between tensor powers of the fundamental corepresentation are linearly spanned by maps associated to NC partitions [2012.10975]. For example,
\[
\text{Hom}(u^{\otimes k}, u^{\otimes l}) = \mathrm{span}\{ T_\pi : \pi \in NC(k, l) \}.
\]
This gives combinatorial access to fusion rules, spectral decompositions, and asymptotic eigenvalue statistics of characters. The Weingarten calculus, adapted from random matrix theory, expresses Haar state integrals as sums over NC pairings with explicit Weingarten coefficients, yielding e.g. the moments of the main character $\chi = \sum_i u_{ii}$ (the Catalan numbers) and semicircular law in the large $n$ limit [2302.05902, 2012.10975].

Partition-based methods extend to closed quantum subgroups, quantum reflection groups, and quantum symmetry groups of finite graphs, framing their representation theories in terms of planar algebras and subfactor theory.

## 3. Quantum Symmetries and Automorphism Groups of Combinatorial Structures

Quantum permutation groups act as universal quantum symmetries of finite sets and more generally, of finite quantum spaces (spectra of finite-dimensional C*-algebras), and finite graphs. Given a (simple) graph $X$ with adjacency matrix $A_X$, its quantum automorphism group $\mathrm{Qut}(X) \subset S_n^+$ is defined by imposing the commutation relation $UA_X = A_XU$ in the magic unitary’s defining algebra, yielding a quotient C*-algebra $C(\mathrm{Qut}(X))$ [2012.10975, 1712.01820]. When $C(\mathrm{Qut}(X))$ is noncommutative, $X$ "has genuine quantum symmetry"; see e.g., complete graphs, hypercubes, and many Cayley graphs for explicit quantum symmetry [1911.04912].

Key results include:
- For random graphs, $\mathrm{Qut}(G)$ is almost surely trivial as $n \to \infty$ [1712.01820].
- Quantum-vertex-transitive graphs can be constructed that are not classically vertex-transitive using operator quantum strategies in nonlocal games [1712.01820].
- In the infinite case, one constructs $\mathrm{Sym}^+(X)$, the quantum permutation group of an infinite set $X$, as a discrete quantum group via a suitable completion, covering infinite quantum automorphism groups of graphs [2208.01310].

## 4. Subgroups, Classification, and Intermediate Quantum Groups

Compact quantum subgroups of $S_n^+$ (dually, quotients of the universal algebra) are classified using Hopf algebra techniques, coideal subalgebras, and deformation theory. The category of finite-dimensional cosemisimple Hopf algebras generated by magic matrices forms the "quantum permutation algebras" [1104.1400]. Twisting by 2-cocycles or constructing bicrossed product extensions generates broad classes of quantum permutation subgroups.

A major structural result is the "maximality conjecture," now a theorem for $n=4,5$ [1611.09211, 1904.07721, 1906.10409]: any compact quantum subgroup $G$ with $S_n \subsetneq G \subsetneq S_n^+$ is necessarily either classical or all of $S_n^+$. For $n\geq6$, potential existence of intermediate quantum subgroups remains open [1906.10409].

## 5. Functional Analytic and Probabilistic Aspects

Quantum permutation groups are fertile ground for noncommutative probability and quantum stochastic processes:
- Lévy processes on $S_n^+$ correspond to convolution semigroups of states on $C(S_n^+)$, classified via *-representation/cocycle (Schürmann) triples [1510.08321]. All are of Poisson type: no Gaussian processes exist on $S_n^+$.
- The tracial state space admits quantum optimal transport structure: quantum Wasserstein distances generalizing the classical $L^1$-Wasserstein (Hamming) metric are defined explicitly on traces of $C(S_n^+)$, with well-posed metric and Lipschitz properties, and genuine quantum deviations for $n\ge4$ [2505.19269].
- Flat matrix models and algorithmic construction of magic unitaries via Sinkhorn-type normalization enable explicit operator-algebraic realizations and probabilistic analysis [1602.04456, 1911.04912].

## 6. Quantum Action Rigidity, Classical Actions, and Ergodicity

Quantum permutation groups exhibit rigidity in their classical actions:
- The only nontrivial ergodic classical action of $S_n^+$ is the standard permutation action on $n$ points; any other action is either trivial or reduces to this up to isomorphism [2306.17502].
- This addresses Goswami’s rigidity conjecture in the context of quantum isometries, and extends rigorously to all free "easy" quantum groups (those associated with non-crossing partitions) [2306.17502].
- Generalizations to actions on infinite or noncommutative spaces, torsion phenomena, and Baum–Connes theory are under active investigation.

## 7. Applications, Open Problems, and Directions

Quantum permutation groups link quantum symmetry to combinatorics, noncommutative geometry, and quantum information theory:
- Quantum automorphism and isomorphism notions for finite graphs correspond to perfect quantum strategies in nonlocal games, with implications for quantum isomorphism problems [1712.01820].
- Intermediate quantum groups, sinkhorn models, and structure of quantum symmetries in infinite graphs (e.g., Hamming or Johnson graphs, Cartesian products) remain incompletely classified, with particular attention to "no-quantum-symmetry" and existence of new non-classical invariants [2208.01310].
- Characterization of all finite-dimensional quantum permutation algebras, envelope theory (maximal QP Hopf subalgebras), and classification of quantum subgroups via planar algebras are central open questions [1104.1400, 2012.10975].
- Algorithmic and probabilistic models (Sinkhorn iterative schemes, random flat magic matrices) provide experimental evidence and computational tools for exploring inner faithfulness, fusion rule predictions, and probabilistic laws (free Poisson, semicircular) in quantum permutation theory [1602.04456, 1911.04912, 2302.05902].

Quantum permutation groups have become central objects at the interface of operator algebras, quantum algebra, combinatorics, and quantum information, providing a testing ground for new concepts in noncommutative invariants, quantum symmetries, and classification of quantum group actions.

Source: https://www.emergentmind.com/topics/quantum-permutation-groups