---
title: Fusion Graph of Superselection Sectors
url: https://www.emergentmind.com/topics/fusion-graph-of-superselection-sectors
type: topic
---

# Fusion Graph of Superselection Sectors

A fusion graph of superselection sectors encodes the structural data of how excitations, defects, or representations (termed “superselection sectors”) combine via fusion operations in quantum many-body systems, quantum field theory, and operator algebraic contexts. The graph renders the algebraic fusion rules as combinatorial objects: vertices represent sectors, while edges correspond to allowed fusions, typically weighted by fusion multiplicities. This structure arises universally in the study of braided tensor categories, modular tensor categories, and associated algebraic models of superselection sectors, and it underpins the analysis of both local and topological excitations in models such as anyon and fracton phases, rational conformal field theories, and generalized symmetry-protected systems.

## 1. Superselection Sectors and Fusion Structure

Superselection sectors arise as inequivalent irreducible representations (simple objects) of the observable algebra or as labels of distinct classes of physically realizable excitations that cannot be coherently superposed by local operations. In infinite quantum spin systems, for example, sectors are modeled as almost-localized, transportable *-endomorphisms of the quasi-local algebra of observables, subject to strict localization or approximate localization in cone-like regions, and equipped with a braided tensor $C^*$-category structure [1804.03203].

In algebraic quantum field theory and poset-indexed nets of von Neumann algebras, sectors are injective, normal representations localized in suitably chosen regions (cones, intervals), forming the simple objects of a braided $W^*$-tensor category [2410.21454]. In rational 2D CFT and modular tensor category contexts, the sectors coincide with irreducible representations of the chiral algebra or simple objects of a UMTC [2601.09534].

Fusion is formalized as a bifunctor $\otimes$ on the category, with structural morphisms (intertwiners), associator $F$-symbols, and (in braided or modular cases) $R$-matrices describing statistics and rigidity. Given irreducible sectors labeled by $i, j, k$, fusion rules are specified by non-negative integers $N_{ij}^k$:
\[
\rho_i \otimes \rho_j \cong \bigoplus_k N_{ij}^k\,\rho_k,
\]
with $N_{ij}^k = \dim \mathrm{Hom}(\rho_i \otimes \rho_j, \rho_k)$ [2410.21454, 1804.03203].

## 2. Construction of the Fusion Graph

The fusion graph $G$ is a combinatorial object defined as follows:
- **Vertices**: Each vertex $v_i$ corresponds to a simple superselection sector $\rho_i$.
- **Edges**: For each fixed “generator” (sector) $j$, one draws $N_{ij}^k$ directed edges from node $i$ to node $k$, reflecting fusion $\rho_i \otimes \rho_j \to \rho_k$. The edge may be labeled by $j$ or colored if multiple generators are considered.

Formally, for each fusion generator $b \in \mathcal{I}$, the corresponding adjacency matrix $(N_b)_{ac} = N_{ab}^c$ encodes the number of edges from $a$ to $c$ under fusion by $b$ [2601.09535, 1804.03203]. For abelian or group-like fusion, the fusion graph coincides with the Cayley graph of the abelian group of sectors with respect to the chosen generating set [2306.13762, 2209.07987, 1903.11625]. In more general, non-abelian or non-group-like settings, the graph may be directed and weighted, with edges corresponding to nontrivial fusion multiplicities.

**Table 1: Fusion Graph Elements**

| Graph Element  | Description                           | Algebraic Correspondence           |
|----------------|---------------------------------------|------------------------------------|
| Vertex $v_i$   | Superselection sector $\rho_i$        | Simple object in category          |
| Edge $v_i\to v_k$ | Fusion channel via $j$: $N_{ij}^k>0$ | Multiplicity in fusion rules       |
| Weight         | Number of independent fusion channels  | $N_{ij}^k$                         |

Edges are inherently labeled by generator (or set of generators) and, where relevant, weighted by $N_{ij}^k$. The graph may be constructed for all possible fusion generators, or for a fixed generator to analyze Cayley-type structure.

## 3. Category-Theoretic and Algebraic Features

The categorical structure underlying the fusion graph is a rigid, often braided, tensor category or its $C^*$ or $W^*$-analogue:
- **Objects**: Simple (irreducible) sectors, possibly grouped into direct sums.
- **Morphisms**: Intertwiners $T$ satisfying $T \rho(A) = \sigma(A) T$ for all observables $A$.
- **Tensor Product**: Fusion bifunctor, possibly derived via asymptotic geometry in cone algebras, poset nets, or modular tensor structures [1804.03203, 2410.21454].
- **Braiding/Rigidity**: Natural isomorphisms (e.g., $\varepsilon_{\rho,\sigma}$) satisfy hexagon/braid relations, and each object admits a unique conjugate (duality) [2410.21454, 2601.09534].

The fusion graph encodes the left-multiplication operator $L_j$ in the Grothendieck ring $\mathbb{Z}[I]$, where fusion multiplication by $j$ corresponds to adjacency in the associated graph. The spectrum of adjacency matrices is thus related to fusion ring structure and quantum dimension data [2410.21454, 2008.11793].

Quantum dimensions $d_a$ associated to each sector $a$ satisfy fusion consistency: $d_a d_b = \sum_c N_{ab}^c d_c$, and the total quantum dimension $\mathcal{D} = \sqrt{\sum_a d_a^2}$ appears naturally in spectral data and entropic invariants [2008.11793].

## 4. Explicit Examples: Abelian, Fracton, and CFT Cases

**1. Abelian Quantum Double and Double Semion Models:**  
For Kitaev's abelian quantum double $D(G)$ with finite abelian group $G$, sectors correspond to pairs $(\chi, c) \in \hat{G}\times G$ and the fusion graph is the Cayley graph of $G\times \hat{G}$, with group fusion [1804.03203, 2306.13762].

In the double semion model, four sectors $\{1,s,\hat s,b\}$ form the Klein group, with the fusion graph being the Cayley graph of $\mathbb{Z}_2\times\mathbb{Z}_2$ [2306.13762].

**2. Higher-Rank $\mathbb{Z}_N$ Topological Phases:**  
For $\mathbb{Z}_N$ models on arbitrary graphs, superselection sectors are classified by the kernel of the Laplacian mod $N$, and fusion is group addition in $\mathcal{A} = \prod_{i} \mathbb{Z}_{\gcd(N,p_i)}$. The fusion graph is the Cayley graph with generators corresponding to elementary charges [2209.07987].

**3. Fracton Phases (X-cube):**  
Superselection sectors form an $R$-module, and the fusion graph is constructed as the Cayley graph of the quotient by local (planon) composites. The X-cube lineon graph, for instance, is a square (Cayley graph of $\mathbb{Z}_2^2$), and the fracton sector is a two-node graph exhibiting $\mathbb{Z}_2$ structure [1903.11625].

**4. Rational CFT and UMTCs:**  
In rational CFTs, the fusion graph is formed from the set of simple objects $\mathcal{I}$ (conformal families), with adjacency matrices $A_{ij} = \sum_k N_{ij}^k$. For the Ising UMTC, the graph is constructed from the nontrivial fusion rules of $\{\mathbf{1},\sigma,\varepsilon\}$ [2601.09535, 2601.09534].

## 5. Graph-Theoretic Implications and Applications

The structure and spectrum of the fusion graph directly impact:
- **Circuit Complexity**: In non-invertible circuit models, optimal sector-changing operations reduce to the shortest-path problem on the fusion graph, incorporating edge weights as the cost of fusion-induced quantum channels [2601.09534, 2601.09535].
- **Topological Order and Stability**: In gapped quantum spin systems, the fusion graph and its underlying category are stable under gap-preserving perturbations, ensuring robustness of topological features (e.g., in abelian quantum double models) [1804.03203].
- **Statistical Processes**: In fracton phases, statistical processes correspond to macroscopic loops in the fusion graph (QSS graph), where phases of loops encode nontrivial exchange and braiding statistics; the structure determines which excitations are detectable via local or nonlocal moves [1903.11625].

Fusion graphs also serve as the basis for analyzing spectral invariants and topological entanglement entropy in systems with domain walls or nontrivial boundary phenomena [2008.11793].

## 6. Variants and Generalizations

**Composite and Parton Sectors:**  
Domain-wall theories introduce refined “parton” and “composite” sectors, with fusion graphs constructed from various sets of labels (N-, U-, O-, S-type), and adjacency matrices determined by corresponding fusion multiplicities. Interplay between bulk, wall, and parton sectors is visible in the fine structure of these graphs [2008.11793].

**Poset Nets and Haag Duality:**  
In von Neumann poset nets, the existence and properties of the fusion graph depend on the realization of Haag duality or its bounded-spread version. The resulting braided $W^*$-tensor categories yield fusion graphs with connectivity, symmetry (adjacency matrices are typically symmetric), and Perron–Frobenius properties [2410.21454].

## 7. Summary Table: Examples of Fusion Graphs

| Model/Context                | Vertex Set                       | Fusion Graph Type            |
|------------------------------|----------------------------------|-----------------------------|
| $D(G)$ (abelian)             | $G\times \hat G$                 | Cayley graph of group       |
| Double semion                | $\mathbb{Z}_2\times \mathbb{Z}_2$| Klein group Cayley graph    |
| $\mathbb{Z}_N$ graph models  | $\prod \mathbb{Z}_n$             | Cyclic product Cayley graph |
| Fracton X-cube (QSS)         | $\mathbb{Z}_2$, $\mathbb{Z}_2^2$ | Cayley, square              |
| Ising CFT (UMTC)             | $\{\mathbf{1},\sigma,\varepsilon\}| Weighted graph from $N_{ab}^c$ |

Each construction follows the general recipe: vertices are sector labels, edges correspond to admissible fusions, and multiplicities give the edge weights or numbers of parallel edges.

---

The fusion graph of superselection sectors thus serves as a universal combinatorial invariant bridging abstract tensor categorical data and physical properties of quantum systems. Its construction is robust to details of localization, symmetry, and model, reflecting the deep algebraic underpinnings of emergent excitations and their fusion in both continuum and lattice frameworks [1804.03203, 2410.21454, 2601.09534, 2209.07987, 2306.13762, 2008.11793, 1903.11625, 2601.09535].

Source: https://www.emergentmind.com/topics/fusion-graph-of-superselection-sectors