---
title: Non-Abelian Fusion Rules in Topological Order
url: https://www.emergentmind.com/topics/non-abelian-fusion-rules
type: topic
---

# Non-Abelian Fusion Rules in Topological Order

Non-Abelian fusion rules formalize the way topological charges (anyons or more general extended excitations) combine in systems with non-Abelian topological order. Unlike their Abelian counterparts—where fusing two excitations produces a unique outcome—non-Abelian fusion produces a direct sum of possible resultant excitations, leading to intrinsic ground-state degeneracies and rich algebraic structures underpinning quantum statistics, topological quantum computation, and higher-dimensional field theories. These rules are encoded in fusion categories, with fusion multiplicities, associativity (F-) and braiding (R-) data, and generalize beyond anyons to defects, domain walls, fractonic objects, and higher-form excitations.

## 1. Formal Definition and Structure

Non-Abelian fusion rules arise when the fusion of two topological excitations, say $a$ and $b$, results in a nontrivial direct sum:
\[
a \times b = \bigoplus_c N_{ab}^c\,c,
\]
where $N_{ab}^c \in \mathbb{N}$ are fusion multiplicities. Non-Abelianity is marked by (i) multiplicities $N_{ab}^c >1$ for some $c$, (ii) a multi-dimensional fusion space $\dim V_{ab}^c = N_{ab}^c$, or (iii) nontrivial associators (F-symbols) such that the Pentagon equations cannot be satisfied by phases alone. Fusion is associative but may be non-commutative (notably in the presence of non-invertible excitations or in higher categories) [2309.10037, 2508.14970].

In categorical language, non-Abelian fusion rules generate a unitary fusion category (or multi-fusion category in more general settings) whose simple objects correspond to particle-like, loop-like, or membrane-like excitations, with morphisms defined by allowed local operators or modular S-matrices [1710.07362, 2208.09228, 2306.14611].

## 2. Prototypical Examples: Fusion Rules in Canonical Theories

### Ising and Fibonacci Fusion

The Ising fusion algebra—ubiquitous in topological superconductors and Moore–Read quantum Hall states—has three simple objects $\{1,\,\psi,\,\sigma\}$ and fusion rules:
\[
\begin{align*}
\sigma \times \sigma &= 1 + \psi, \\
\psi \times \sigma &= \sigma, \\
\psi \times \psi &= 1.
\end{align*}
\]
Fusion of two $\sigma$ anyons yields either the vacuum or a fermion, resulting in two orthogonal internal degrees of freedom; braiding $\sigma$'s acts nontrivially on this space [2112.07472, 1903.03011, 1805.10009].

The Fibonacci fusion rules define a different near-group fusion category:
\[
\tau \times \tau = 1 + \tau,
\]
with the non-invertible object $\tau$ fusing with itself to either vacuum or itself, with quantum dimension $d_\tau = (1+\sqrt{5})/2$ [2508.14970, 2601.16819].

### Finite Group Quantum Doubles

Quantum doubles $D(G)$ of finite non-Abelian groups $G$ (e.g. $D(S_3), D(S_4), D(2T)$) produce a spectrum of non-Abelian fusion rules. For instance, in the vortex (fluxon) sector of the $2T$-double submodel (spin-2 BEC vortices), the chargeless sector's fusion rules are [1805.10009]:
\[
\begin{align*}
1\times x &= x \\
\sigma \times \sigma &= 1 \\
\sigma \times \tau &= \tau \\
\tau \times \tau &= 6\cdot 1 + 6\cdot \sigma + 4\cdot \tau,
\end{align*}
\]
with quantum dimensions $d_1=1, d_\sigma=1, d_\tau=6$.

### Dijkgraaf–Witten and Twisted Abelian Models

Abelian gauge models with nontrivial cocycles (e.g., Type III Dijkgraaf–Witten theory for $G=(\mathbb{Z}_2)^3$) generate non-Abelian anyons with projective fusion rules:
\[
V_{1}^{+} \times V_{1}^{+} = 1 + U_{010} + U_{001} + U_{011},
\]
where $V$'s are flux–charge composites, $U$'s are Abelian line operators, and $N_{ab}^c$ count intertwiner dimensions [1608.05393]. The presence of multiple fusion channels, as well as nontrivial F-symbols derived from group 3-cocycles, indicates non-Abelian topological order.

## 3. Non-Abelian Fusion in Higher Dimensions and Generalizations

Non-Abelian fusion extends to theories with loop and membrane excitations in 3D, 5D, or higher [2208.09228, 2306.14611, 2512.21148, 2405.11719]. Here, fusing two loops or membranes may produce a direct sum of lower-dimensional excitations (line, loop, or membrane operators), and the fusion coefficients are determined by the structure of the topological field theory (e.g., twisted BF actions with higher-form gauge fields). For example, in 3D twisted $(\mathbb{Z}_2)^3$ BF theory:
\[
L_{100} \times L_{100} = 1 \oplus P_{010} \oplus L_{001} \oplus L_{001}^{010},
\]
where $L$'s are loop operators and $P$'s are particle-like operators [2208.09228]. Analogous non-Abelian fusion with multiplicities and "shrinking" consistency relations hold in the continuum and are mirrored in exactly-solvable lattice models [2512.21148].

Fusion–shrinking consistency is critical: fusion rules for extended objects (membranes, loops) commute with their geometric reduction via "shrinking" maps, resulting in multi-stage decompositions, especially in dimensions $D \ge 5$ [2306.14611].

## 4. Algebraic and Categorical Frameworks

Fusion rules are encapsulated in fusion categories, often modular (with non-degenerate braiding), but generalizations to non-unitary, non-modular, or non-associative (e.g., semi-categories) are needed for systems with non-invertible symmetries or fractonic order [2309.10037, 2508.14970].

- **Near-group fusion categories**: Describe situations where a finite Abelian group $G$ is extended by a single non-invertible object $X$ satisfying $X \otimes X = \sum_{g\in G} g + n X$ [2508.14970]. This encompasses Fibonacci and Ising fusion rules.
- **Fusion semi-categories**: Associativity may be retained while unitality is lost, e.g., defect sectors in stabilizer codes with non-invertible symmetry (no two-sided identity object) [2309.10037].
- **Braided monoidal 2-categories**: In higher dimensions, a full 2-category structure is required to describe the fusion and braiding of both particles and extended excitations, with additional higher morphisms and coherence data [2208.09228, 2306.14611].

Associativity is controlled by F-symbols, which may acquire nontrivial matrix representations in the non-Abelian case, and obey pentagon equations ensuring coherence of multiple fusion steps.

## 5. Physical Realizations and Experimental Relevance

Non-Abelian fusion rules underpin the encoding and manipulation of topological quantum information:

- **Topological qubits**: Logical states are encoded in the multi-dimensional fusion space of non-Abelian anyons (e.g., three $\tau$ fluxons or $\sigma$ Ising anyons), with qubit manipulations given by sequences of fusion and braiding [1805.10009, 2112.07472, 2309.13566].
- **Majorana/Parafermion devices**: Fusion of Majorana zero modes or parafermions realizes the Ising or Fibonacci fusion algebras, and the possible outcomes can be read out via charge sensing, current measurements, or density-profile signatures [2112.07472, 2309.13566, 2408.09610, 1903.03011].
- **Fractional quantum Hall (FQH) states**: Quasihole excitations in Moore–Read, Read–Rezayi, and related parton states exhibit non-Abelian fusion, with the fusion space dimensionalities matching predictions from conformal field theory and level–rank duality [2601.16819].
- **Spin chains and SPT models**: Non-Abelian fusion rules appear in 1D critical chains (with SU(2)$_k$ WZW physics), symmetry-protected topological phases, and their dimensional uplifts [1905.09728, 1808.09537, 1407.4064].
- **Lattice gauge theories and code models**: Exactly-solvable quantum double models based on non-Abelian groups, or symmetrized Abelian models, realize non-Abelian fusion in both the charge and flux sectors [1407.4064, 2512.21148, 2405.11719].

## 6. Extensions: Non-commutative, Fractional, and Irrational Fusion

Fusion can be strictly non-commutative (yet associative), for example in models with non-invertible defects or fractonic sectors [2309.10037]. Interdomain and domain-wall fusion rules in composite systems may yield fractional or even irrational fusion coefficients; the corresponding Verlinde-type formulae involve S-matrices with entries outside the integers due to anyon condensation or symmetry fractionalization [2304.08475].

Selection rules governed by non-invertible algebras ("near-group" fusion) and context-sensitive ("spurionic") couplings can emerge, with radiative corrections effectively restoring group-like symmetry at low energy, highlighting the physical difference between near-group and group-lifted algebras [2508.14970].

## 7. Significance and Outlook

Non-Abelian fusion rules fundamentally characterize the emergent algebraic and statistical properties of excitations in topologically ordered and symmetry-enriched phases. Understanding the fusion algebra is essential for:

- Classifying and diagnosing non-Abelian topological order (including higher-form and higher-category generalizations) [2208.09228, 2306.14611].
- Engineering and controlling topological qubits and logic gates for robust quantum computation [1805.10009, 2112.07472].
- Predicting experimental observables, such as charge oscillations, density-profile signatures, or quasi-particle fusion multiplicities [2309.13566, 1903.03011].
- Decoding the algebraic and geometric interplay underlying SPT transitions, domain-wall phenomena, and higher-dimensional quantum codes [1808.09537, 2405.11719].

Recent work continues to bridge the gap between microscopic Hamiltonians, continuum field theories, and categorical formalisms, establishing the ubiquity and utility of non-Abelian fusion beyond the realm of anyons to a vast landscape of quantum phases and particle–defect–membrane complexes.

Source: https://www.emergentmind.com/topics/non-abelian-fusion-rules