Fusion Graph of Superselection Sectors
- Fusion graph of superselection sectors is a combinatorial representation where vertices denote distinct excitations and edges indicate fusion channels weighted by multiplicities.
- It employs category-theoretic frameworks such as braided tensor and modular tensor categories to analyze fusion rules in quantum many-body systems and conformal field theories.
- Practical applications include modeling anyon behavior, topological phases, and fracton dynamics, with graphs often taking the form of Cayley graphs and weighted network structures.
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 -category structure (Cha et al., 2018).
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 -tensor category (Bhardwaj et al., 2024). 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 (Demulder, 14 Jan 2026).
Fusion is formalized as a bifunctor on the category, with structural morphisms (intertwiners), associator -symbols, and (in braided or modular cases) -matrices describing statistics and rigidity. Given irreducible sectors labeled by , fusion rules are specified by non-negative integers : with (Bhardwaj et al., 2024, Cha et al., 2018).
2. Construction of the Fusion Graph
The fusion graph is a combinatorial object defined as follows:
- Vertices: Each vertex corresponds to a simple superselection sector .
- Edges: For each fixed “generator” (sector) , one draws directed edges from node to node , reflecting fusion . The edge may be labeled by or colored if multiple generators are considered.
Formally, for each fusion generator , the corresponding adjacency matrix encodes the number of edges from to under fusion by (Demulder, 14 Jan 2026, Cha et al., 2018). 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 (Bols et al., 2023, Ebisu et al., 2022, Pai et al., 2019). 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 | Superselection sector | Simple object in category |
| Edge | Fusion channel via : | Multiplicity in fusion rules |
| Weight | Number of independent fusion channels |
Edges are inherently labeled by generator (or set of generators) and, where relevant, weighted by . 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 or -analogue:
- Objects: Simple (irreducible) sectors, possibly grouped into direct sums.
- Morphisms: Intertwiners satisfying for all observables .
- Tensor Product: Fusion bifunctor, possibly derived via asymptotic geometry in cone algebras, poset nets, or modular tensor structures (Cha et al., 2018, Bhardwaj et al., 2024).
- Braiding/Rigidity: Natural isomorphisms (e.g., ) satisfy hexagon/braid relations, and each object admits a unique conjugate (duality) (Bhardwaj et al., 2024, Demulder, 14 Jan 2026).
The fusion graph encodes the left-multiplication operator in the Grothendieck ring , where fusion multiplication by corresponds to adjacency in the associated graph. The spectrum of adjacency matrices is thus related to fusion ring structure and quantum dimension data (Bhardwaj et al., 2024, Shi et al., 2020).
Quantum dimensions associated to each sector satisfy fusion consistency: , and the total quantum dimension appears naturally in spectral data and entropic invariants (Shi et al., 2020).
4. Explicit Examples: Abelian, Fracton, and CFT Cases
1. Abelian Quantum Double and Double Semion Models:
For Kitaev's abelian quantum double with finite abelian group , sectors correspond to pairs and the fusion graph is the Cayley graph of , with group fusion (Cha et al., 2018, Bols et al., 2023).
In the double semion model, four sectors form the Klein group, with the fusion graph being the Cayley graph of (Bols et al., 2023).
2. Higher-Rank Topological Phases:
For models on arbitrary graphs, superselection sectors are classified by the kernel of the Laplacian mod , and fusion is group addition in . The fusion graph is the Cayley graph with generators corresponding to elementary charges (Ebisu et al., 2022).
3. Fracton Phases (X-cube):
Superselection sectors form an -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 ), and the fracton sector is a two-node graph exhibiting structure (Pai et al., 2019).
4. Rational CFT and UMTCs:
In rational CFTs, the fusion graph is formed from the set of simple objects (conformal families), with adjacency matrices . For the Ising UMTC, the graph is constructed from the nontrivial fusion rules of (Demulder, 14 Jan 2026, Demulder, 14 Jan 2026).
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 (Demulder, 14 Jan 2026, Demulder, 14 Jan 2026).
- 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) (Cha et al., 2018).
- 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 (Pai et al., 2019).
Fusion graphs also serve as the basis for analyzing spectral invariants and topological entanglement entropy in systems with domain walls or nontrivial boundary phenomena (Shi et al., 2020).
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 (Shi et al., 2020).
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 -tensor categories yield fusion graphs with connectivity, symmetry (adjacency matrices are typically symmetric), and Perron–Frobenius properties (Bhardwaj et al., 2024).
7. Summary Table: Examples of Fusion Graphs
| Model/Context | Vertex Set | Fusion Graph Type |
|---|---|---|
| (abelian) | Cayley graph of group | |
| Double semion | Klein group Cayley graph | |
| graph models | Cyclic product Cayley graph | |
| Fracton X-cube (QSS) | , | Cayley, square |
| Ising CFT (UMTC) | 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 (Cha et al., 2018, Bhardwaj et al., 2024, Demulder, 14 Jan 2026, Ebisu et al., 2022, Bols et al., 2023, Shi et al., 2020, Pai et al., 2019, Demulder, 14 Jan 2026).