Which anyon fusion algebrasRules governing what happens when two anyons combine — a multiplication table for particle types. The algebra determines which output particles are possible from each input pair. support complex systems via self-catalysis, RAF closure, and computational universality?
| Family | Generator | Self-catalytic? | RAF closure? | Universal braiding? | Dim. growth | Fusion outcomes | Suitability |
|---|---|---|---|---|---|---|---|
| SU(2)2 / Ising | σ | No (2-step cycle) | Partial | No | √2 ≈ 1.41 | 2 | Low |
| SU(2)3 / Fibonacci | τ | Yes | Yes | Yes | φ ≈ 1.62 | 2 | High |
| SU(2)4 (j=1) | j=1 | Yes | Yes | Not by braiding alone | 2.00 | 3 | High |
| SU(2)5 / SO(3)5 | j=1 | Yes | Yes | Yes | ≈2.25 | 3 | High |
| SU(2)6 (j=1) | j=1 | Yes | Yes | Yes | ≈2.41 | 3+ | High |
| SU(3)2 | fund. | Yes | Yes | Likely | ≈1.93 | 2–3 | Medium-High |
| SO(3)2 / Metaplectic | φ | Context-dep. | Partial | No | ≈1.41 | 2 | Low |
| D(S3) | eC | Yes | Yes | No | 2.00 | 3 | Medium |
| Haagerup | α | Yes | Yes | Open question | ≈4.30 | 4+ | Uncertain (exotic) |
The most important family. Anyons labeled by spin j = 0, 1/2, 1, ..., k/2. Fusion follows truncated Clebsch-Gordan rulesStandard rules for combining angular momenta in quantum mechanics. In anyon physics, the truncated version (cut off at level k) determines which particle types can result from fusing two anyons.: j1 × j2 = |j1−j2| + ... + min(j1+j2, k−j1−j2). Quantum dimensionA number measuring how fast the computational state space grows when adding particles. Not spatial dimensions. Fibonacci anyons have quantum dimension φ ≈ 1.618 — the golden ratio.: dj = sin(π(2j+1)/(k+2)) / sin(π/(k+2)).
Fusion rules:
Self-catalysis: σ×σ does NOT produce σ. However, σ×σ→ψ then σ×ψ→σ gives a two-step regeneration cycle. This is catalytic cycling but not direct self-catalysis.
RAF closure: Partial. σ generates {1,ψ} directly but needs ψ as co-reactant to regenerate itself. The full set {1,σ,ψ} is closed under fusion. The RAF condition is technically met (σ catalyzes ψ production, ψ catalyzes σ regeneration), but the catalytic network is a simple 2-cycle, not a complex web.
Universality: No. Ising braiding generates only the Clifford groupA finite set of quantum gates that can efficiently simulate stabilizer circuits but cannot perform universal quantum computation alone. The "safe" subset — powerful but limited. — not dense in SU(N). Requires magic state distillationA technique to boost limited gates to universality by preparing special quantum states. Expensive — requires many noisy copies to produce one clean state. Unnecessary when braiding alone is universal. for universality.
Dimension growth: dσ = √2 ≈ 1.414. Slowest growth of any non-abelian family.
(SO(3)3 subtheory, equivalently the integer-spin sector)
Fusion rules:
Self-catalysis: Yes. τ produces itself directly.
RAF closure: Yes. All three Kauffman criteria satisfied: (1) Generation — τ generates {1, τ} from a single fusion. (2) Transformation — fusion transforms particle types. (3) Closure — all outputs ∈ {1, τ}.
Universality: Yes. Fibonacci anyon braiding is dense in SU(N)The braiding operations can approximate ANY quantum gate to arbitrary precision. Like how rational numbers are dense in the reals — there's always one close enough to any target value. — computationally universal.1
Dimension growth: dτ = φ = (1+√5)/2 ≈ 1.618. The golden ratio. Fusion space dimensions follow the Fibonacci sequence: 1, 1, 2, 3, 5, 8, 13, ...
Fusion rules for the generating anyon j=1:
Self-catalysis: Yes. j=1 fusing with itself produces j=1.
RAF closure: Yes. j=1 generates the full anyon set through iterated fusion. All elements transform others. Closure holds (truncation ensures all outputs are valid anyons).
Universality: Not by braiding alone. SU(2)4 is one of the two known exceptions (with k=8) to the Freedman–Larsen–Wang density theorem — the braid-group image is not dense in SU(N).1 Reaching universality therefore requires supplementary operations (measurement, or ancillary abelian charges), not braiding on its own.
Dimension growth: d1 = sin(3π/6)/sin(π/6) = 2.000. Integer quantum dimension. Fusion space grows as 2n.
Fusion rules:
Self-catalysis: Partial. j=1 is self-catalytic (1×1 = 0+1+2 contains 1); j=2 is not self-producing (2×2 = 0+1 does not contain 2), though it is generated by the network (1×1 and 1×2 both yield 2).
RAF closure: Yes — every non-trivial object is generated from the network on the food set {0}. But it is not fully connected: j=2 does not catalyze its own production, so this is not a maximally-autocatalytic web.
Universality: Yes. Braiding is dense in SU(N).
Dimension growth: d1 = 2cos(2π/7) + 1 ≈ 2.247. Irrational, like Fibonacci but with a different algebraic number.
The pattern continues: more anyon types, more fusion channels, richer catalytic networks. Self-catalysis and RAF closure are generic for k≥3. Braiding universality holds for all k≥3 except k=4 and k=8, where the braid-group image is not dense and braiding must be supplemented by additional operations.
Key pattern in SU(2)k:
Both panels run the same experiment: seed one non-abelian anyon, fuse it with itself, and follow where the products go. Watch whether the seed type ever reappears as a direct product of its own fusion.
Press Play. Nothing has been fused yet.
There is a phase transition at k=3 — the onset of both self-catalysis and computational universality simultaneously. This is not coincidental: the same algebraic structure (non-trivial self-coupling in the fusion rules) enables both properties.
SU(3) theories have more anyon types at each level (labeled by Young tableaux).
Abelian. Three anyons forming Z3. No interest for complex systems.
Six anyon types. The fundamental representation has quantum dimension d ≈ 1.932 (irrational, related to tribonacci-like algebraic numbers).
Fusion: f×f = f̅ + (adjoint sector). Self-catalysis depends on whether the adjoint includes f. In SU(3)2, the truncation makes this nontrivial: f×f̅ = 1 + adj, and adj×f = f + f̅ + .... The catalytic network is richer than SU(2) at comparable levels because of additional structure from the larger gauge group.
SO(3)k has only integer-spin anyons (j=0,1,...,k). This is not the same as restricting SU(2)2k to integer spins (the relationship involves different modular data).
Structurally identical to Ising (same fusion rules with relabeling σ→φ, ψ→s).
Self-catalysis: No (same as Ising — 2-step cycle only). RAF closure: Partial. Universality: No.
Recovers the integer-spin sector patterns from SU(2)2k. At k=3, the SO(3)3 theory gives the Fibonacci anyon model {1,τ}. The "good" properties emerge here too at k≥3.
The simplest non-abelian finite group quantum double. 8 anyon types corresponding to irreps of the Drinfeld doubleThe algebraic structure underlying quantum doubles. Named after mathematician Vladimir Drinfeld. Combines a group with its dual to create a quasi-triangular Hopf algebra — the mathematical home of anyon fusion and braiding. of the symmetric group S3. Non-abelian anyons include a 2-dimensional charge sector (eC, associated with the conjugacy class of transpositions).
Fusion rules for eC:
Self-catalysis: Yes. eC × eC produces eC.
RAF closure: Yes. The generating anyon produces multiple types including itself.
Universality: No. D(S3) braiding is NOT universal — it generates only a finite group of gates. This is a general property of quantum doubles of finite groups: the braiding is too "rigid."
Dimension growth: deC = 2. Integer quantum dimension. Growth is 2n.
The Haagerup category is exotic — it does not arise from any Chern-Simons theory or quantum group construction. Discovered as a subfactorA mathematical structure from operator algebra — a way of embedding one algebra inside another. Some fusion categories, like Haagerup, were discovered as subfactors rather than from any physical gauge theory., it has 6 simple objects.
The generating object α has quantum dimension dα = (3+√13)/2 ≈ 3.30 (its subfactor index is the larger (5+√13)/2 ≈ 4.30) — among the largest for any known "small" MTCModular Tensor Category — the mathematical framework for classifying anyon theories. A complete MTC specifies all particle types, fusion rules, braiding matrices, and topological invariants of a 2+1D topological phase..
Fusion rules (partial; full rules involve 6 objects):
Self-catalysis: Yes, emphatically. α×α produces α.
RAF closure: Yes, strongly. A single fusion event generates most of the anyon set.
Universality: Open question. Whether Haagerup braiding is computationally universal is not definitively settled in the literature. The large quantum dimension suggests rich braiding, but universality proofs require detailed analysis of the braid representations.
Dimension growth: dα ≈ 4.303. Extremely fast — fusion space grows as ~4.3n.
| Regime | Example | Self-cat. | Universal | Network | Complex? |
|---|---|---|---|---|---|
| Too simple | Ising (k=2) | No | No | 2-cycle | No |
| Critical | Fibonacci (k=3) | Yes (minimal) | Yes (barely) | Self-loop + vacuum | Edge |
| Complex | SU(2)4–5 | Yes (rich) | Yes | Multi-loop web | Rich |
| Saturated | Haagerup | Yes (maximal) | Open | Fully connected | Too uniform? |