Anyons and Fractional Statistics

Every particle you have ever met is a boson or a fermion. Swap two photons and the wavefunction is unchanged; swap two electrons and it changes sign. There is nothing in between — and there is a topological reason why. In three or more spatial dimensions the path that carries one particle around another and back can always be lifted into the extra room and shrunk to nothing, so a double exchange must act as the identity. The single-exchange operator therefore squares to the identity, its eigenvalues are ±1\pm 1, and the world is partitioned into two statistical castes. This is the spin–statistics dichotomy, and it is a theorem about the shape of space, not about the particles. Two dimensions break the theorem. In a plane the worldlines of two hard-core particles cannot slide through one another, so a loop that winds around a partner is caught on it forever: the winding number is a genuine integer invariant that no deformation can erase. The group governing exchanges is no longer the symmetric group SnS_n but the braid group BnB_n, whose generators satisfy the Yang–Baxter relation and have infinite order. Particles that realize its nontrivial representations are anyons — a name Frank Wilczek coined in 1982 because the exchange phase can be anything. When the representation is one-dimensional an exchange multiplies the state by a continuous phase eiθe^{i\theta}; these are abelian anyons, and they are already real, seen as the fractionally charged quasiparticles of the fractional quantum Hall effect. When the anyons share a degenerate space whose dimension grows with their number, exchanges become noncommuting unitary matrices — non-abelian anyons, whose braids are the protected logic gates of topological quantum computation. This article builds both from the topology up.

Key takeaways
  • In two dimensions the exchange of identical particles is governed by the braid group BnB_n, not the permutation group SnS_n, so a single exchange can multiply the state by any phase eiθe^{i\theta} — bosons (θ=0\theta=0) and fermions (θ=π\theta=\pi) are just two points on a continuum.
  • The distinction is topological: in d≥3d\geq 3 a double exchange is contractible (σ2=1\sigma^2=\mathbb{1}), forcing θ∈{0,π}\theta\in\{0,\pi\}; in d=2d=2 it winds and is not, so σ\sigma has infinite order.
  • Abelian anyons carry a 1-D braid representation; Laughlin quasiparticles at filling ν=1/m\nu=1/m have charge q∗=e/mq^*=e/m and exchange angle θ=π/m\theta=\pi/m — for m=3m=3, charge e/3e/3 and θ=π/3\theta=\pi/3.
  • Non-abelian anyons store information nonlocally in fusion channels; braiding enacts unitary gates protected by an energy gap and by the exponentially small overlap of well-separated anyons.
  • The working data are fusion rules a×b=∑cNabc ca\times b=\sum_c N_{ab}^{c}\,c with quantum dimensions dad_a, plus the RR- (braid) and FF- (associativity) matrices constrained by the hexagon and pentagon equations.
  • Ising/Majorana anyons (dσ=2d_\sigma=\sqrt2) give Clifford-only braiding; Fibonacci anyons (dτ=φ=1.618d_\tau=\varphi=1.618) are universal for quantum computation by braiding alone.
  • Key idea: In 2D, exchange is controlled by the braid group; its one- and higher-dimensional unitary representations produce fractional phases (abelian anyons) and gap-protected unitary gates (non-abelian anyons), turning topology into a quantum-information resource.
The core insight

In two dimensions the exchange of identical particles is controlled by the braid group rather than the permutation group; its one-dimensional representations give fractional statistical phases (abelian anyons) and its higher-dimensional representations give protected noncommuting unitary gates (non-abelian anyons), making topology itself a substrate for fault-tolerant quantum information.

Where this lives today

Anyons crossed from theory into measured fact in 2020. A Paris group (Bartolomei et al.) built an "anyon collider" — a beam-splitter for ν=1/3\nu=1/3 quasiparticles — and read the fractional exchange statistics directly from cross-correlated current noise, while a Purdue group (Nakamura et al.) resolved the anyonic braiding phase θ=2π/3\theta=2\pi/3 as flux-periodic conductance oscillations in a Fabry–Pérot interferometer. Both confirmed what Arovas, Schrieffer, and Wilczek had computed 36 years earlier. On the non-abelian frontier, the ν=5/2\nu=5/2 quantum Hall plateau is the leading candidate for Ising anyons: a 2018 thermal-Hall measurement found a half-integer quantized thermal conductance consistent with a chiral Majorana edge mode, though its interpretation is still debated. The engineered route runs through semiconductor–superconductor nanowires and, more recently, planar Josephson-junction and quantum-dot arrays aimed at demonstrating Majorana braiding on a chip; in 2023 a Google-led collaboration braided non-abelian anyons in a surface-code processor as a digital simulation, exhibiting the predicted noncommuting statistics on qubits rather than in a material. The prize at the end — a topological qubit whose error rate is suppressed exponentially by an energy gap rather than by active error correction — is why major industrial efforts continue to chase Majorana and Fibonacci platforms.

The physical picture

Start with the topology, because everything else is a corollary of it. Track two identical particles as their worldlines sweep upward through time. To exchange them and return the configuration to where it began is to draw a closed loop in the space of two-particle configurations; the operator that acts on the wavefunction depends only on which homotopy class that loop belongs to. In three dimensions there is always a spare direction into which a double-exchange loop can be tilted and reeled in, so it is contractible and σ2=1\sigma^2=\mathbb{1}. In the plane there is no spare direction: a double exchange threads one strand through the region swept by the other, and the winding cannot be undone. The first figure is that contrast, side by side.

Figure
Worldline topology in three versus two dimensions. In d ≥ 3 a double exchange (two crossings) lifts into the extra dimension and unwinds, so σ² = 1 and only θ = 0 or π survive. In d = 2 the strands are trapped in the plane, the braid is a genuine knot, σ² ≠ 1, and any phase θ is allowed.
Double exchange: contractible in 3D, knotted in 2D d ≥ 3 σ² = 1 → θ ∈ 0, π d = 2 σ² ≠ 1 → θ ∈ 0, 2π slide off loop shrinks to a point winding number = 1, permanent σ²

Once fractional statistics is allowed, the cleanest mental model of an abelian anyon is a charge–flux composite: bind an electric charge qq to a thin solenoid carrying magnetic flux Φ\Phi. Carry one composite all the way around another and its charge sees the partner's flux, acquiring an Aharonov–Bohm phase qΦ/ℏcq\Phi/\hbar c that depends only on whether the loop encloses the partner — a topological invariant. A single exchange is half of that loop, so the statistical angle is θ=qΦ/2ℏc\theta = q\Phi/2\hbar c. This makes the fractional phase concrete and shows why it cannot be gauged away locally. The second figure places the real systems on the statistical-angle line and records the two numbers that matter for non-abelian anyons.

Figure
The statistical spectrum. The exchange angle θ/π runs continuously from the boson at 0 through Laughlin anyons at ν = 1/5 (θ = π/5) and ν = 1/3 (θ = π/3), the semion at π/2, to the fermion at π. Non-abelian anyons leave the line: the Ising σ has quantum dimension √2 = 1.414, the Fibonacci τ has φ = 1.618.
One number, θ/π: bosons and fermions are the endpoints, anyons fill the gap 0 π/5 π/2 π statistical angle θ boson θ = 0 ν = 1/5 ν = 1/3 θ = π/3 semion π/2 fermion θ = π Non-abelian anyons leave the line — exchange is a matrix, not a phase Ising σ: σ × σ = 1 + ψ → d_σ = √2 = 1.414 (Clifford-only) Fibonacci τ: τ × τ = 1 + τ → d_τ = φ = 1.618 (universal)

The core equations

Everything begins with the fundamental group of the configuration space of nn indistinguishable points. Its homotopy classes are the exchanges, and the group they form decides what statistics are possible.

π1(Cn(R2))=Bn,π1(Cn(Rd))=Sn  (d≥3)(1)\pi_1\big(C_n(\mathbb{R}^2)\big) = B_n, \qquad \pi_1\big(C_n(\mathbb{R}^d)\big) = S_n\ \ (d\geq 3) \qquad (1)

where: Cn(Rd)C_n(\mathbb{R}^d) — configuration space of nn indistinguishable points in dd dimensions (identical points removed and identified); π1\pi_1 — fundamental group, the homotopy classes of closed loops; BnB_n — braid group on nn strands; SnS_n — symmetric (permutation) group. Reading: in the plane the loop space is infinite (braids never repeat), in higher dimensions it collapses to finite permutations. The braid group has a presentation by generators σi\sigma_i that exchange neighbours. Two relations define it, and — crucially — the relation σi2=1\sigma_i^2=1 of the symmetric group is absent.

σiσi+1σi=σi+1σiσi+1,σiσj=σjσi  (∣i−j∣≥2)(2)\sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1}, \qquad \sigma_i\sigma_j = \sigma_j\sigma_i\ \ (|i-j|\geq 2) \qquad (2)

where: σi\sigma_i — the generator that carries strand ii counterclockwise over strand i+1i+1. The first identity is the Yang–Baxter (braid) relation; the second says distant exchanges commute. Because no power of σi\sigma_i is the identity, σi\sigma_i has infinite order — the algebraic face of "a double exchange winds." For a one-dimensional (abelian) representation of BnB_n, every generator maps to the same scalar phase, and the many-body wavefunction transforms under exchange by that phase.

Ψ(…,rj,…,ri,… )=eiθ Ψ(…,ri,…,rj,… )(3)\Psi(\dots, \mathbf{r}_j, \dots, \mathbf{r}_i, \dots) = e^{i\theta}\,\Psi(\dots, \mathbf{r}_i, \dots, \mathbf{r}_j, \dots) \qquad (3)

where: Ψ\Psi — many-anyon wavefunction; θ\theta — statistical angle, continuous in 2D; ri\mathbf{r}_i — position of the ii-th anyon. Setting θ=0\theta=0 recovers bosons, θ=π\theta=\pi recovers fermions, everything else is an anyon. The charge–flux model gives θ\theta a physical origin as half an Aharonov–Bohm phase.

θ=q Φ2ℏc,γloop=q Φℏc=2θ(4)\theta = \frac{q\,\Phi}{2\hbar c}, \qquad \gamma_{\text{loop}} = \frac{q\,\Phi}{\hbar c} = 2\theta \qquad (4)

where: qq — charge bound to the composite; Φ\Phi — flux bound to it; ℏc\hbar c — in Gaussian units; γloop\gamma_{\text{loop}} — phase for a full encirclement, twice the exchange angle. The phase is topological: it counts enclosures, not distances. Beyond phases, anyons are organized by their fusion rules — the superselection algebra of how two anyons combine.

a×b=∑cNab c c,da=largest eigenvalue of (Na)bc=Nab c(5)a \times b = \sum_c N_{ab}^{\,c}\, c, \qquad d_a = \text{largest eigenvalue of } (N_a)_{bc}=N_{ab}^{\,c} \qquad (5)

where: a,b,ca,b,c — anyon charge labels; Nab cN_{ab}^{\,c} — nonnegative integer fusion multiplicities; dad_a — quantum dimension of aa, so the Hilbert space of nn copies grows as da nd_a^{\,n}. If any ∑cNab c>1\sum_c N_{ab}^{\,c}>1 the anyons are non-abelian and da>1d_a>1. The braiding and associativity data are packaged in the RR- and FF-matrices, constrained by two coherence equations that make the whole theory consistent.

Rcab,[Fdabc] fe;pentagon (F,F,F=F,F),hexagon (R,F,R=F,R,F)(6)R^{ab}_c,\quad [F^{abc}_d]^{e}_{\,f}; \qquad \text{pentagon (F,F,F=F,F)},\quad \text{hexagon (R,F,R=F,R,F)} \qquad (6)

where: RcabR^{ab}_c — the unitary from braiding aa past bb inside fusion channel cc; FdabcF^{abc}_d — the basis change between the fusion orderings (ab)c(ab)c and a(bc)a(bc). The pentagon and hexagon identities are the anyonic Yang–Baxter and associativity constraints; their solutions are the modular tensor categories. Two model theories fix the anchor numbers of the field.

dFib=1+52=φ≈1.618,dIsing σ=2≈1.414(7)d_{\text{Fib}} = \frac{1+\sqrt{5}}{2} = \varphi \approx 1.618, \qquad d_{\text{Ising}\ \sigma} = \sqrt{2}\approx 1.414 \qquad (7)

where: φ\varphi — golden ratio, from τ×τ=1+τ⇒d2=1+d\tau\times\tau=1+\tau\Rightarrow d^2=1+d; 2\sqrt2 — from σ×σ=1+ψ⇒d2=2\sigma\times\sigma=1+\psi\Rightarrow d^2=2. Fibonacci braiding is universal; Ising braiding is Clifford-only. The Ising theory is realized by Majorana zero modes, whose braid is an explicit exponential of the Majorana algebra.

Uij=exp⁡ ⁣(π4γiγj)=12(1+γiγj),{γi,γj}=2δij(8)U_{ij} = \exp\!\Big(\tfrac{\pi}{4}\gamma_i\gamma_j\Big) = \tfrac{1}{\sqrt2}\big(1+\gamma_i\gamma_j\big), \qquad \{\gamma_i,\gamma_j\}=2\delta_{ij} \qquad (8)

where: γi\gamma_i — Majorana operator, Hermitian with γi2=1\gamma_i^2=1; UijU_{ij} — the unitary implementing a counterclockwise exchange of adjacent modes. The identity uses (γiγj)2=−1(\gamma_i\gamma_j)^2=-1, so the exponential collapses to a π/4\pi/4 rotation.

Derivation AWhy two dimensions permit fractional statistics

The goal is to prove, from topology alone and without any dynamics, that identical particles in three or more dimensions are forced to be bosons or fermions while identical particles in the plane may carry any exchange phase whatever. The whole argument rests on one question: when you exchange two particles twice and bring the configuration back to its start, is the closed loop you traced contractible to a point, or is it caught on something? The answer differs between d≥3d\geq 3 and d=2d=2, and that single difference is the origin of anyons.

Step 1. Represent an exchange as a path in the configuration space CnC_n, whose points are unordered nn-tuples of distinct positions. A single exchange is an open path from a configuration to itself-with-two-labels-swapped; a double exchange returns every particle to its own starting point, so it is a genuine closed loop, and the wavefunction can only be multiplied by a representation of that loop's homotopy class. Why: statistics is not a force but a representation of π1(Cn)\pi_1(C_n), so counting homotopy classes counts the allowed statistics.

Step 2. In d≥3d\geq 3, take the loop in which particle 1 circles particle 2. Because there are at least three spatial directions, the circling path can be tilted out of its plane and slid off to one side, shrinking continuously to a point without ever letting the two particles collide. The double-exchange loop is therefore contractible. Why: the removed diagonal (coincident points) has codimension d≥3d\geq 3, too small to obstruct a loop, so π1\pi_1 sees no hole.

Step 3. Contractibility forces σ2\sigma^2 to act trivially, so σ2=1\sigma^2=\mathbb{1} and the eigenvalues of σ\sigma obey λ2=1\lambda^2=1, giving λ=±1\lambda=\pm1. A single exchange thus contributes a phase eiθe^{i\theta} with θ∈{0,π}\theta\in\{0,\pi\} — bosons or fermions, and nothing else. Why: this is the topological content of the spin–statistics theorem; the dichotomy of ordinary matter is a statement about the connectivity of configuration space in three dimensions.

Step 4. In d=2d=2 the removed diagonal has codimension 2, exactly enough to trap a loop. One particle circling another cannot be slid off the plane — there is nowhere to go — and the number of times a strand winds is a conserved integer. The double-exchange loop is not contractible; σ2≠1\sigma^2\neq\mathbb{1} in general. Why: a puncture in a plane makes the fundamental group Z\mathbb{Z}, and the many-particle version promotes this to the braid group BnB_n, whose generators have infinite order.

Step 5. With no constraint σ2=1\sigma^2=1, a one-dimensional representation may send σ↦eiθ\sigma\mapsto e^{i\theta} for any real θ\theta; the wavefunction picks up a continuous, non-removable phase under exchange. Higher-dimensional irreducible representations of BnB_n send σ\sigma to noncommuting unitary matrices — the non-abelian case. Why: the braid group is infinite and richly represented, so 2D statistics is a continuum (abelian) plus a discrete tower of matrix representations (non-abelian), the two families this article is about.

Go deeper · Derivation B · 2 minThe statistical angle of a Laughlin quasihole
Derivation BThe statistical angle of a Laughlin quasihole

The goal is to compute, from the Laughlin wavefunction of the ν=1/m\nu=1/m fractional quantum Hall fluid, both the fractional electric charge of a quasihole and the statistical angle acquired when one quasihole is carried around another. The strategy is a Berry-phase calculation: adiabatically drag one quasihole around a closed loop, evaluate the geometric phase using the plasma analogy that maps the squared wavefunction onto a classical two-dimensional Coulomb gas, and separate the piece that comes from enclosed charge (Aharonov–Bohm) from the piece that comes from encircling the second quasihole (statistics).

Step 1. Insert a quasihole at position η\eta by multiplying the Laughlin state, Ψη∝∏i(zi−η) Ψ1/m\Psi_\eta\propto\prod_i(z_i-\eta)\,\Psi_{1/m}, where zi=xi+iyiz_i=x_i+iy_i are electron coordinates and Ψ1/m∝∏i<j(zi−zj)me−∑∣zi∣2/4ℓ2\Psi_{1/m}\propto\prod_{i<j}(z_i-z_j)^m e^{-\sum|z_i|^2/4\ell^2}. The factor ∏i(zi−η)\prod_i(z_i-\eta) pushes unit vorticity of electron density away from η\eta. Why: a quasihole is a deficit of exactly the charge that one flux quantum expels, so its properties follow from this single multiplicative factor.

Step 2. In the plasma analogy ∣Ψη∣2=e−βH|\Psi_\eta|^2=e^{-\beta H} is the Boltzmann weight of a 2D one-component plasma at temperature β=1/m\beta=1/m; the quasihole acts as an impurity of charge 1/m1/m in plasma units. Screening makes the local density deficit integrate to a charge q∗=e/mq^*=e/m. Why: the classical plasma is perfectly screening, which pins the quasihole charge to the fraction 1/m1/m with no adjustable parameter.

Step 3. Carry η1\eta_1 around a loop enclosing area AA. The Berry phase has an Aharonov–Bohm part from the mean density enclosed, γAB=2π q∗Φenc/(eΦ0)=−2πNenc/m\gamma_{AB}=2\pi\,q^*\Phi_{\text{enc}}/(e\Phi_0)=-2\pi N_{\text{enc}}/m, where NencN_{\text{enc}} is the number of electrons the loop encloses. Why: this is the ordinary charged-particle phase in a magnetic field and must be subtracted off before any statistics can be read.

Step 4. Now place a second quasihole at η2\eta_2 inside the loop. It removes fractional charge 1/m1/m of an electron from the enclosed count, so Nenc→Nenc−1/mN_{\text{enc}}\to N_{\text{enc}}-1/m, and the extra phase relative to the empty loop is γloop−γAB=2π/m\gamma_{\text{loop}}-\gamma_{AB}=2\pi/m. Why: the difference between "loop with a partner inside" and "loop with nothing inside" is precisely the mutual (braiding) statistics, cleanly separated from the trivial magnetic phase.

Step 5. A full encirclement is two exchanges, so the single-exchange angle is half the loop phase: θstat=12⋅2π/m=π/m\theta_{\text{stat}}=\tfrac12\cdot 2\pi/m=\pi/m. For m=3m=3 this gives q∗=e/3q^*=e/3 and θ=π/3\theta=\pi/3 — a genuine anyon, strictly between boson and fermion. Why: the exchange angle is what enters the wavefunction under a single swap, and it lands in the open interval (0,π)(0,\pi), the defining signature of abelian fractional statistics.

Go deeper · Derivation C · 2 minMajorana braiding realizes a Clifford gate
Derivation CMajorana braiding realizes a Clifford gate

The goal is to derive the explicit unitary produced when two Majorana zero modes are adiabatically exchanged, and to show that it is a π/4\pi/4 rotation — a Clifford operation on the encoded qubit — which is exactly why Majorana platforms are protected but not, by braiding alone, universal for quantum computation. The route is algebraic: fix how an exchange must transform the Majorana operators from the branch cut it drags, then find the unitary that generates that transformation by conjugation, using the single fact (γiγj)2=−1(\gamma_i\gamma_j)^2=-1.

Step 1. Two Majorana operators satisfy γ†=γ\gamma^\dagger=\gamma, γi2=1\gamma_i^2=1, and {γi,γj}=2δij\{\gamma_i,\gamma_j\}=2\delta_{ij}; a pair defines one complex fermion c=(γ1+iγ2)/2c=(\gamma_1+i\gamma_2)/2 with occupation 00 or 11, so 2N2N Majoranas span a 2N−12^{N-1}-dimensional protected space (fixed fermion parity). Why: information lives in the joint occupation of far-apart Majoranas, invisible to any local operator, which is the source of the protection.

Step 2. A counterclockwise exchange of adjacent modes must act as γi↦γj\gamma_i\mapsto\gamma_j, γj↦−γi\gamma_j\mapsto-\gamma_i: one mode passes through the branch cut of the other and collects a Z2\mathbb{Z}_2 sign, while the other does not. This sign-asymmetric rotation is fixed by continuity of the underlying superconducting phase. Why: the minus sign is the whole point — a symmetric swap would be trivial; the asymmetry is what makes braids generate nontrivial gates.

Step 3. Seek UijU_{ij} with UijγiUij†=γjU_{ij}\gamma_i U_{ij}^\dagger=\gamma_j and UijγjUij†=−γiU_{ij}\gamma_j U_{ij}^\dagger=-\gamma_i. Try Uij=exp⁡(π4γiγj)U_{ij}=\exp(\tfrac{\pi}{4}\gamma_i\gamma_j); since (γiγj)2=γiγjγiγj=−γi2γj2=−1(\gamma_i\gamma_j)^2=\gamma_i\gamma_j\gamma_i\gamma_j=-\gamma_i^2\gamma_j^2=-1, the exponential behaves like a rotation with γiγj\gamma_i\gamma_j playing the role of ii. Why: the object γiγj\gamma_i\gamma_j squares to −1-1, so any function of it is a rotation, and π/4\pi/4 is the angle a single exchange demands.

Step 4. Expanding, Uij=cos⁡π4+γiγjsin⁡π4=12(1+γiγj)U_{ij}=\cos\tfrac{\pi}{4}+\gamma_i\gamma_j\sin\tfrac{\pi}{4}=\tfrac{1}{\sqrt2}(1+\gamma_i\gamma_j), and conjugation reproduces γi→γj\gamma_i\to\gamma_j, γj→−γi\gamma_j\to-\gamma_i exactly. On the encoded qubit this is a NOT\sqrt{\text{NOT}}-like gate — an element of the single-qubit Clifford group. Why: the closed form makes the gate concrete and shows it is a fixed, discrete operation, not a continuously tunable one.

Step 5. The group generated by all such braids is the Clifford group, which the Gottesman–Knill theorem shows is efficiently classically simulable; universality requires one non-Clifford gate (e.g. the TT gate), supplied non-topologically by magic-state distillation. Why: this is the sharp limitation of Ising/Majorana anyons and the reason Fibonacci anyons — whose braids are dense in SU(2)SU(2) — are the sought-after universal alternative.

Limiting cases

The statistical angle θ\theta and the quantum dimension dd together classify every planar particle type; the familiar bosons and fermions are two corners of a much larger space.

CaseResultMeaning
Bosonsθ=0(mod2π)\theta = 0 \pmod{2\pi}, d=1d=1symmetric wavefunction; double exchange trivial — one endpoint of the continuum
Fermionsθ=π\theta = \pi, d=1d=1antisymmetric wavefunction, eiθ=−1e^{i\theta}=-1 — the other endpoint
Abelian anyonsθ∈(0,π)∪(π,2π)\theta \in (0,\pi)\cup(\pi,2\pi), d=1d=1continuous fractional phase; Laughlin ν=1/m\nu=1/m gives θ=π/m\theta=\pi/m, charge e/me/m
Ising / Majoranadσ=2d_\sigma=\sqrt2, braids = Clifforddegenerate fusion space; protected but not universal without magic states
Fibonaccidτ=φ=1.618d_\tau=\varphi=1.618, braids dense in SU(2)SU(2)universal for quantum computation by braiding alone
Non-abelian (general)σi∈U(dn), [σi,σj]≠0\sigma_i\in U(d_n),\ [\sigma_i,\sigma_j]\neq 0exchange is a matrix on a degenerate space; no single scalar θ\theta suffices

Worked examples

1 · Charge and statistics of a ν = 1/3 Laughlin quasiparticle (fully worked)

The ν=1/3\nu=1/3 fractional quantum Hall plateau hosts Laughlin quasiholes. Find (a) the electric charge, (b) the full-braid phase when one quasihole encircles another, and (c) the single-exchange statistical angle. Then say what a full braid does to the two-quasihole wavefunction.

Step 1. Read off mm. The filling factor is ν=1/m\nu=1/m with m=3m=3 (odd, as required for a fermionic Laughlin state). Every fractional quantity below is a fixed function of this one integer.

Step 2. Charge. From Derivation 2 the quasihole carries q∗=e/m=e/3q^*=e/m=\mathbf{e/3}. This is the sharpest signature of fractionalization: a localized excitation with one-third of an electron's charge, and it is what fractional shot-noise experiments actually measure (Fano factor 1/31/3).

Step 3. Full-braid phase. Encircling one quasihole completely around another contributes the statistical phase γloop=2π/m=2π/3\gamma_{\text{loop}}=2\pi/m=2\pi/3, so the wavefunction is multiplied by e2πi/3e^{2\pi i/3} — a nontrivial cube root of unity, e2πi/3\mathbf{e^{2\pi i/3}}, neither +1+1 (boson) nor a sign flip alone.

Step 4. Single exchange. A single swap is half a braid, so θ=12⋅2π/3=π/3≈1.047 rad\theta=\tfrac12\cdot 2\pi/3=\pi/3\approx\mathbf{1.047\ rad}, i.e. 60∘60^\circ. Since 0<π/3<π0<\pi/3<\pi, this quasiparticle sits strictly between boson and fermion on the statistical line of the second figure.

Step 5. Interpretation. Braiding two e/3e/3 quasiholes once multiplies the state by e2πi/3e^{2\pi i/3}; doing it three times returns to the identity (e2πi=1e^{2\pi i}=1). Charge e/3, full-braid phase e^{2πi/3}, exchange angle θ = π/3. The abelian anyon is fully specified by these numbers — there is no hidden degeneracy, because d=1d=1.

2 · Counting the Fibonacci fusion space (why d = φ)

A collection of nn Fibonacci anyons τ\tau (with τ×τ=1+τ\tau\times\tau=1+\tau) is prepared with total charge τ\tau. How many internal fusion states does it have as nn grows, and what is the quantum dimension?

Step 1. Build the fusion tree left to right, fusing one τ\tau at a time and tracking the running total charge, which can be 11 (vacuum) or τ\tau. Let ana_n be the number of trees ending in total charge τ\tau and bnb_n the number ending in 11. The rule τ×τ=1+τ\tau\times\tau=1+\tau and τ×1=τ\tau\times1=\tau give the recursion an+1=an+bna_{n+1}=a_n+b_n, bn+1=anb_{n+1}=a_n.

Step 2. Eliminate bb: an+1=an+an−1a_{n+1}=a_n+a_{n-1} — the Fibonacci recursion. Starting from a single anyon (a1=1, b1=0a_1=1,\ b_1=0) the counts are a1,a2,⋯=1,1,2,3,5,8,13,21,…a_1,a_2,\dots=1,1,2,3,5,8,13,21,\dots, the Fibonacci numbers FnF_n. So nn anyons fusing to total charge τ\tau have FnF_n internal states.

Step 3. Quantum dimension. By definition dτd_\tau is the growth rate of the space, dim⁡∼dτ n\dim\sim d_\tau^{\,n}, so dτ=lim⁡n→∞Fn+1/Fnd_\tau=\lim_{n\to\infty}F_{n+1}/F_n. The Fibonacci ratios 1,2,1.5,1.667,1.6,1.625,…1,2,1.5,1.667,1.6,1.625,\dots converge to φ=(1+5)/2≈1.618\mathbf{\varphi=(1+\sqrt5)/2\approx 1.618}.

Step 4. Consistency with fusion. The quantum dimension must satisfy d2=1+dd^2=1+d directly from τ×τ=1+τ\tau\times\tau=1+\tau (take dimensions of both sides). Solving, d=φd=\varphi — the same golden ratio, from algebra rather than counting. n Fibonacci anyons carry F_n fusion states; d_τ = φ = 1.618, irrational, so braiding is a resource.

Step 5. Why it matters. Because dτ>1d_\tau>1 is irrational, the degeneracy cannot be reproduced by any local tensor-product structure; the information is genuinely nonlocal. Four τ\tau anyons with total charge 11 span a two-dimensional space — one logical qubit — and their braids generate a dense subgroup of SU(2)SU(2), so any single-qubit gate is approximable to arbitrary accuracy by braiding alone.

3 · The Ising braid gate

Two Majorana modes γ1,γ2\gamma_1,\gamma_2 are exchanged counterclockwise. Write the braid unitary explicitly and identify the gate.

Step 1. From equation (8), U12=exp⁡(π4γ1γ2)U_{12}=\exp(\tfrac{\pi}{4}\gamma_1\gamma_2). Use (γ1γ2)2=−1(\gamma_1\gamma_2)^2=-1 so the series splits into cosine and sine: U12=cos⁡π4 1+sin⁡π4 γ1γ2U_{12}=\cos\tfrac{\pi}{4}\,\mathbb{1}+\sin\tfrac{\pi}{4}\,\gamma_1\gamma_2.

Step 2. Evaluate: cos⁡π4=sin⁡π4=1/2\cos\tfrac{\pi}{4}=\sin\tfrac{\pi}{4}=1/\sqrt2, giving U12=12(1+γ1γ2)U_{12}=\tfrac{1}{\sqrt2}(\mathbb{1}+\gamma_1\gamma_2). In the fermion basis c=(γ1+iγ2)/2c=(\gamma_1+i\gamma_2)/2, the operator iγ1γ2=2c†c−1i\gamma_1\gamma_2=2c^\dagger c-1 is the parity ZZ, so U12=12(1−iZ)=e−iπZ/4U_{12}=\tfrac{1}{\sqrt2}(\mathbb{1}-iZ)=e^{-i\pi Z/4}.

Step 3. Identify the gate. e−iπZ/4e^{-i\pi Z/4} is the phase gate SS up to a global phase — a Clifford operation, the single-qubit Z\sqrt{Z}. The Ising braid is U₁₂ = (1 + γ₁γ₂)/√2 = e^{-iπZ/4}, a Clifford (phase-gate) rotation — protected, but needing a magic-state T gate for universality.

Physics of the portrait

Fractional statistics was a theorist's discovery before it was an experimentalist's — imagined from the topology of the plane a decade before anyone measured a fractional charge, and named with a joke that stuck.

Origins · 1 minFrank Wilczek and how this was discovered
FW
Frank Wilczek
b. 1951, American theoretical physicist · the naming and physics of fractional statistics

Frank Wilczek shared the 2004 Nobel Prize for asymptotic freedom, but his fingerprints are on much of modern physics, and the word anyon is his. The possibility that identical particles in two dimensions could evade the boson–fermion dichotomy was first argued by Jon Magne Leinaas and Jan Myrheim in Oslo in 1977, who noticed that the configuration space of two planar particles is multiply connected and that the exchange phase is therefore unconstrained. In 1982 Wilczek made the idea vivid and physical with the charge–flux composite: bind a charge to a thin flux tube, and the Aharonov–Bohm phase of one composite encircling another is the statistical phase, tunable to any value. He coined "anyon" because the phase could be anything, and the name — half pun, half manifesto — displaced the more sober "fractional statistics" almost overnight. The abstract idea became laboratory physics through the fractional quantum Hall effect: Robert Laughlin's 1983 wavefunction for the ν=1/3\nu=1/3 plateau, and the 1984 Berry-phase calculation by Daniel Arovas, Robert Schrieffer, and Wilczek showing its quasiholes carry charge e/3e/3 and statistical angle π/3\pi/3. The non-abelian sequel — that some anyons could store and process quantum information in their fusion channels — was opened by Gregory Moore and Nicholas Read (1991) and turned into a computing paradigm by Alexei Kitaev (1997), completing the arc from a topological curiosity to a candidate architecture for a fault-tolerant quantum computer.

History
1977
— Leinaas and Myrheim show planar identical particles can have arbitrary exchange statistics
1982
— Wilczek introduces the charge–flux composite and coins the term anyon
1983
— Laughlin writes the ν = 1/3 fractional quantum Hall wavefunction
1984
— Arovas, Schrieffer and Wilczek compute quasihole charge e/3 and angle π/3 by Berry phase
1991
— Moore and Read propose non-abelian anyons in the ν = 5/2 state
1997
— Kitaev proposes fault-tolerant computation by anyon braiding and the toric code
2020
— Two experiments (anyon collider and Fabry–Pérot interferometer) directly confirm ν = 1/3 anyonic statistics

Going further

Texts. Preskill, Lecture Notes on Quantum Computation, Ch. 9 (Topological Quantum Computation) — the canonical pedagogical account · Nielsen & Chuang, Quantum Computation and Quantum Information, §10.6 · Nayak, Simon, Stern, Freedman, Das Sarma, "Non-Abelian Anyons and Topological Quantum Computation," Rev. Mod. Phys. 80 (2008) 1083 — the definitive review · Kitaev, "Fault-tolerant quantum computation by anyons," Annals of Physics 303 (2003) 2 · Kitaev, "Anyons in an exactly solved model and beyond," Annals of Physics 321 (2006) 2 · Wilczek, Fractional Statistics and Anyon Superconductivity (World Scientific, 1990) · Pachos, Introduction to Topological Quantum Computation (Cambridge, 2012). The key results collected in this article are: (1) π1(Cn(R2))=Bn\pi_1(C_n(\mathbb{R}^2))=B_n and π1(Cn(Rd))=Sn\pi_1(C_n(\mathbb{R}^d))=S_n for d≥3d\geq3, with σi\sigma_i having infinite order; (2) the Laughlin quasihole charge q∗=e/mq^*=e/m and statistics θ=π/m\theta=\pi/m — for m=3m=3, q∗=e/3q^*=e/3 and θ=π/3\theta=\pi/3, consistent with the 2020 anyon-collider and Fabry–Pérot experiments; (3) the Majorana braid Uij=exp⁡(π4γiγj)=12(1+γiγj)U_{ij}=\exp(\tfrac{\pi}{4}\gamma_i\gamma_j)=\tfrac{1}{\sqrt2}(1+\gamma_i\gamma_j), derived using (γiγj)2=−1(\gamma_i\gamma_j)^2=-1, equal to e−iπZ/4e^{-i\pi Z/4} (a Clifford SS-gate); (4) the quantum dimensions dFib=φ=(1+5)/2d_{\text{Fib}}=\varphi=(1+\sqrt5)/2 from τ×τ=1+τ\tau\times\tau=1+\tau and dσ=2d_\sigma=\sqrt2 from σ×σ=1+ψ\sigma\times\sigma=1+\psi, with nn Fibonacci anyons carrying FnF_n fusion states.

Prerequisites. Topological Quantum Computation · Toric Code and Topological Order · Non-Abelian Braiding and Fusion Rules. Leads to. Fibonacci and Ising Anyons · Majorana Zero Modes · Magic State Distillation.

Ask the tutor: Ask me to walk through the Berry-phase derivation of the e/3e/3 quasiparticle, or to show explicitly how a Fibonacci braid approximates a Hadamard gate.

If anyons can't exist in 3D, in what sense are they "real" particles?

They are real as emergent particles — collective excitations of a two-dimensional quantum medium that behave, in every measurable way, like indivisible particles with a definite charge and definite exchange statistics. A ν=1/3\nu=1/3 quasihole is not a chunk of a broken electron; it is a swirl of the whole electron fluid that carries exactly e/3e/3 and braids with a phase 2π/32\pi/3 — no less real than a phonon or a semiconductor hole, both also emergent. What anyons are not is fundamental: you will never find one in a particle accelerator, because the vacuum of our world is three-dimensional and the topological argument forbids fractional statistics there. Reality here means "a well-defined quasiparticle of a 2D phase" — and that is enough to store and process quantum information.

What exactly is the difference between fusion and braiding?

Fusion is what two anyons are together; braiding is what happens when you move them around each other. Fusion is captured by the rules a×b=∑cNabc ca\times b=\sum_c N_{ab}^{c}\,c: bring aa and bb to the same point and the composite carries one of the allowed charges cc. When more than one cc is possible, the "which channel" is a hidden quantum degree of freedom — a qubit, if there are two outcomes — and this is where information is stored. Braiding is the unitary evolution generated by exchanging anyons along worldlines; it is described by the RR- and FF-matrices and acts on the fusion space without measuring it. Computation is the interplay: prepare a state by fixing fusion channels, process it by braiding, and read it out by fusing pairs and seeing what comes out.

Why is the information "topologically protected"?

Because it is stored where no local disturbance can read or corrupt it. The logical state of nn non-abelian anyons lives in their global fusion channels, and any operator supported on a small region — a stray field, a phonon, a nearby charge — commutes with the fusion observables of well-separated anyons, so it cannot even see the encoded qubit, let alone flip it. To cause a logical error you must act coherently on two or more distant anyons at once, and that amplitude falls off exponentially with their separation and is suppressed by the bulk gap Δ\Delta (roughly e−Δ/kBTe^{-\Delta/k_BT} and e−L/ξe^{-L/\xi}). Protection is thus a hardware property, present before any error-correcting code is layered on top — the appeal of the whole approach.

How can braiding, which just moves particles around, perform a quantum gate?

Because for non-abelian anyons the fusion space is degenerate, and moving anyons around each other rotates the state within that degenerate space. Concretely, the braid generator σi\sigma_i is represented by a unitary matrix (from the RR- and FF-data) acting on the multi-dimensional fusion Hilbert space; applying a sequence of exchanges multiplies these matrices, and the product is the gate. Nothing about the anyons' local appearance changes — the gate is encoded entirely in the topology of the worldlines, which is why smooth wiggles of the path leave it invariant and only the pattern of crossings matters. For Fibonacci anyons these braid matrices are dense in SU(2)SU(2), so a long enough braid approximates any single-qubit gate; two-qubit gates come from braiding anyons between different encoded groups.

What makes Fibonacci anyons universal but Ising anyons not?

The braid group representation. Ising/Majorana braids generate only the Clifford group — a finite set of gates (Hadamard, phase, CNOT) that the Gottesman–Knill theorem shows a classical computer can simulate efficiently, so braiding alone buys no quantum speedup and cannot reach every unitary. Fibonacci braids, by contrast, generate a dense subgroup of SU(2)SU(2) (and, with more anyons, of the full unitary group), so any gate can be approximated to arbitrary precision by braiding alone. The physical difference traces to the quantum dimensions: dσ=2d_\sigma=\sqrt2 is the "square root of a qubit" and its representations are special (Clifford), whereas dτ=φd_\tau=\varphi is irrational and its representations are generic. Ising platforms therefore need a non-topological "magic state" TT gate to become universal; Fibonacci platforms do not.

Have fractional statistics actually been measured, or is this still theory?

Measured — for the abelian case, definitively, in 2020. A Paris group operated an "anyon collider" that scatters ν=1/3\nu=1/3 quasiparticles off a beam splitter and reads their exchange statistics from the cross-correlation of current noise; the result matched the predicted fractional statistics, not bosonic or fermionic. In parallel a Purdue group ran a Fabry–Pérot interferometer whose conductance oscillations jumped in discrete steps corresponding to the braiding phase 2π/32\pi/3. The fractional charge e/3e/3 had already been confirmed by shot-noise experiments in 1997. The non-abelian case is less settled: the ν=5/2\nu=5/2 state shows a half-quantized thermal Hall signal consistent with Ising anyons (2018), and superconducting-qubit processors have digitally simulated non-abelian braiding (2023), but a material demonstration of a protected topological qubit is still an open experimental goal.

Before this

Where this leads