Parastatistics and Anyons
Bosons pile into a single level without limit; fermions admit at most one. Are those the only choices? The symmetrization postulate says yes in the three-dimensional world we inhabit — identical-particle states must be either totally symmetric or totally antisymmetric — but that postulate is an input, not a theorem. Relax it and two genuinely different generalizations appear, each with its own statistical mechanics: parastatistics, where up to particles may share a mode, and anyons, two-dimensional excitations whose exchange multiplies the wavefunction by a continuous phase anywhere between the bosonic and the fermionic . We take the microscopic picture from the quantum-mechanics track. In aq-qm-anyons-fractional-statistics the reason a continuous phase becomes possible is topological: in two dimensions the permutation group , "whose only one-dimensional pictures are the two we know, gives way to the braid group , which admits a continuous circle of exchange phases ." Particles carrying such a phase "are anyons, and the angle is their statistics." That article owns the braiding origin — why two dimensions unlocks the phase, and why three dimensions forbids it. This article owns the thermodynamic consequence: the grand-canonical occupation numbers that interpolate between Bose-Einstein and Fermi-Dirac, and the finite occupancy cap that a para-Fermi gas of order enforces. The unifying statement is that every one of these statistics is a rule for how many particles a single mode accepts, encoded in the single-level grand partition function . Fermions stop the sum at ; bosons run it to infinity; parafermions of order stop it at ; Haldane's exclusion parameter tunes the depletion rate continuously. One knob, three named limits, and a continuum in between — that is intermediate statistics.
- The choice "boson or fermion" reflects the symmetrization postulate, a physical input; relaxing it admits parastatistics (integer order ) and, in two dimensions, anyons (continuous phase ).
- Para-Fermi statistics of order caps single-mode occupancy at ; the single-level grand sum is a finite geometric series with .
- The order- mean occupation interpolates: reproduces Fermi-Dirac , and reproduces Bose-Einstein .
- The microscopic braid-group origin of the anyon phase is owned by aq-qm-anyons-fractional-statistics; this article develops the thermodynamics that phase implies.
- Haldane's exclusion statistics with parameter gives an occupation that reduces to Bose-Einstein at and Fermi-Dirac at , with fractional between.
- In a double exchange is contractible, so the exchange phase squares to one and only survive — the reason anyons are strictly two-dimensional.
- Key idea: every statistics is a rule for how many particles a mode accepts. Fermi stops the single-level sum at , Bose runs it to , para-Fermi of order stops it at , and tunes the cap continuously — the occupation number interpolates smoothly between Fermi-Dirac and Bose-Einstein.
Intermediate statistics is a continuous dial on the single-mode occupancy cap. The grand-canonical single-level partition function carries the entire content: truncating at gives Fermi-Dirac, running to gives Bose-Einstein, truncating at gives para-Fermi order , and Haldane's parameter interpolates the two endpoints for fractional statistics. The braid-group reason a continuous exchange phase is even allowed is quantum-mechanics-owned; the occupation numbers it produces are statistical mechanics.
Where this lives today
Anyons stopped being a theorist's curiosity when the fractional quantum Hall effect gave them a laboratory. Quasiparticles of the Laughlin state carry charge — confirmed by shot-noise measurements — and 2020 interferometry and anyon-collider experiments measured their fractional exchange statistics directly, closing a four-decade loop from Wilczek's coinage to a braiding phase read off a current. Non-Abelian anyons, whose braids implement unitary gates on a degenerate ground-state manifold, are the physical substrate of topological quantum computation: information stored in the fusion channels is protected by the same topology that forbids anyons in three dimensions. Haldane's exclusion statistics, meanwhile, has become a working tool far beyond two dimensions — it describes the low-temperature thermodynamics of spinon excitations in one-dimensional antiferromagnets and quasiparticles in integrable models, wherever the state-counting deviates from the clean Bose or Fermi rule.
The physical picture
Take two identical particles, drag one slowly around the other, and return them to their starting configuration. In three dimensions any such loop can be lifted "over the top" and shrunk to a point, so exchanging twice is the same as doing nothing; the single-exchange phase must square to , leaving only (bosons) or (fermions). In two dimensions the particles are confined to a plane and cannot pass over one another — the loop genuinely encircles a forbidden point — so a double exchange is topologically nontrivial and the phase is unconstrained. That is the whole reason a continuous is possible in the plane and nowhere else. The first figure is the hero: a dial from (boson) through the anyonic middle to (fermion). Ordinary matter lives at the two poles; the fractional quantum Hall quasiparticles sit at intermediate angles, "the real, measured excitations of two-dimensional electron gases in the fractional quantum Hall regime."
The punchline: the endpoints are the familiar , but between them lies a continuum of legitimate exchange phases — accessible only because a two-dimensional braid cannot be undone.
Parastatistics answers a different question in any dimension: what if the many-body wavefunction is neither fully symmetric nor fully antisymmetric, but carries a hidden internal label? Antisymmetrizing over the combined space-and-label coordinates lets the spatial part be partially symmetric, so up to particles can share a spatial mode before the labels run out. The order- para-Fermi gas therefore looks like a fermion gas whose Pauli cap has been raised from to . The second figure shows that occupancy ladder tightening from Bose (, no cap) down through para-Fermi to Fermi ().
The single-level grand sum is a finite geometric series when the cap is finite; the cap is the only thing that changes across the whole family.
The core equations
The engine for all of these statistics is the single-level grand partition function, the sum over how many particles occupy one mode. Its range of summation is the statistics.
where: — grand partition function of one single-particle level; — fugacity; the per-mode Boltzmann-fugacity weight; the occupancy cap. Physical reading: is Fermi, is Bose, is para-Fermi of order — the statistics is entirely the upper limit of this sum. For a finite cap the sum is a truncated geometric series, which closes in elementary form. This is the para-Fermi single-level partition function.
where: — the para-Fermi order (maximum occupancy of a mode). Physical reading: setting gives (Fermi) and letting gives (Bose); the finite- form is the smooth bridge between them, valid for any because the numerator makes it a finite sum with no convergence condition. The mean occupation follows from the standard grand-canonical relation, the logarithmic fugacity derivative of .
where: — mean occupation of the level, bounded . Physical reading: the first term is the bosonic occupation, and the second is the correction that enforces the cap; as the second term vanishes and Eq. (3) collapses to the Bose form, while collapses it to Fermi-Dirac. For the two-dimensional anyon gas the natural language is Haldane's exclusion statistics: a parameter measures how fast the available single-particle states are depleted as particles are added. The mean occupation is given implicitly through an auxiliary variable .
where: — the Haldane exclusion parameter ( bosonic, fermionic); — the single-level fugacity factor. Physical reading: at the functional equation gives , so , the Bose distribution; at it gives , so , the Fermi distribution — fractional interpolates. The exchange phase itself, borrowed from the quantum-mechanics owner, is the topological label that makes all this possible in the plane.
where: — the statistical angle owned by aq-qm-anyons-fractional-statistics. Physical reading: is symmetric (boson), is antisymmetric (fermion), and a double exchange multiplies by — nontrivial in the plane, but forced to unity in three dimensions where it must equal the identity.
Derivations
The goal is to derive the mean occupation of a single mode for a para-Fermi gas of order and show it is a genuine bridge between the two familiar statistics: it must reduce exactly to the Fermi-Dirac function when and to the Bose-Einstein function as . The strategy is to close the finite geometric series for , take the logarithmic fugacity derivative, and check both endpoints. We take the microscopic occupancy cap as given (the group-theoretic content is quantum-mechanics-owned); this card owns the resulting thermodynamic distribution.
Step 1. Write the single-level grand sum with cap . With , , a finite geometric series. Why: the para-Fermi rule allows particles in the mode and no more, so the sum truncates after the term — exactly where the fermion sum truncates after and the boson sum never truncates.
Step 2. Take the occupation as the logarithmic derivative. since . Differentiating gives . Why: the first term is the ordinary bosonic result from ; the second, from , is the penalty that enforces the finite cap.
Step 3. Recover Fermi-Dirac at . Set : . With this is . Why: the cap-penalty exactly cancels the bosonic pole, leaving the bounded Fermi function — the para-Fermi gas is an ordinary fermion gas.
Step 4. Recover Bose-Einstein as . For , , so the second term vanishes and . Why: an unbounded cap is precisely the boson rule, and the geometric series recovers the Bose pole as ; the finite- gas smoothly removes that pole by capping occupancy at . Verified: the finite geometric sum, the derivative, and both limits ( FD, BE) are checked symbolically for in verify_parastatistics-anyons.py.
Go deeper · Derivation B · 1 minHaldane exclusion statistics reproduces Bose and Fermi at g=0 and g=1
The goal is to show that Haldane's continuous exclusion parameter furnishes a single occupation formula whose two integer endpoints are exactly the Bose-Einstein () and Fermi-Dirac () distributions, so that fractional is a legitimate thermodynamic interpolation rather than an ad hoc guess. The route is to solve the defining functional equation for the auxiliary variable at the two endpoints and substitute into . This is the thermodynamic face of the anyon phase; the braiding origin of a fractional is owned by the quantum-mechanics article and is not re-derived here.
Step 1. State the two ingredients. The mean occupation is where solves , with . Why: counts how many single-particle states each added particle removes from the available pool; is one-for-one exclusion (Pauli), is no exclusion (Bose).
Step 2. Solve the endpoint . The functional equation becomes , i.e. . Then . Why: substituting gives — the Bose-Einstein distribution, complete with its pole at .
Step 3. Solve the endpoint . Now , i.e. . Then . Why: the in the denominator plays exactly the role of the that makes the Fermi function bounded by one — exclusion statistics at is Fermi-Dirac.
Step 4. Read off the interpolation. For the occupation is bounded by (the pole of sits at , unreachable for ), so fractional-statistics gases carry more than one particle per state but less than a boson's unbounded pile. Why: is a continuous cap-softness knob; the maximum occupation diverges as (Bose) and equals one at (Fermi), matching the two named limits. Verified: the and solutions of and the resulting Bose/Fermi occupations are checked symbolically in verify_parastatistics-anyons.py.
Limiting cases
The intermediate-statistics family collapses to familiar physics in five diagnostic limits.
| Regime | Result | Meaning |
|---|---|---|
| (para-Fermi) | Ordinary fermions — Pauli cap of one | |
| (para-Fermi) | Ordinary bosons — no cap, Bose pole returns | |
| (Haldane) | Bose-Einstein | No state depletion on adding a particle |
| (Haldane) | Fermi-Dirac | One-for-one state depletion (exclusion) |
| only | Double exchange contractible: only bosons/fermions |
Worked examples
Example 1 — Enumerate a para-Fermi mode of order two.
Step 1. Setup. A single mode of a para-Fermi gas of order accepts . With , the grand-canonical weights are , so .
Step 2. Occupation at . Here , weights , and . The mode holds one particle on average — exactly the middle of its range , as symmetry demands.
Step 3. Deep below the chemical potential. Take , so . Then . The mode is nearly filled to its cap of .
Step 4. Far above the chemical potential. Take , . Then , essentially empty — the classical Boltzmann tail, identical to what a fermion or boson mode gives when .
Example 2 — Fractional charge and braid angle of a Laughlin quasiparticle.
Step 1. Setup. The fractional quantum Hall state hosts quasiparticles that, per aq-qm-anyons-fractional-statistics, "carry a fraction of the electron's charge and braid with angle ." Here .
Step 2. Fractional charge. The quasiparticle charge is — one-third of the electron charge, a directly measured quantity in shot-noise experiments.
Step 3. Statistical angle. The braid angle is , strictly between the bosonic and the fermionic — a genuine anyon.
Step 4. Interpret via Haldane. Mapping to exclusion statistics, the Laughlin quasiholes carry : adding a quasiparticle removes a fraction of a state from the pool, intermediate between the bosonic and fermionic . The three descriptions — phase , charge , exclusion — are three faces of the same fractional statistics.
Origins · 1 minfrank wilczek and how this was discovered
Going further
- Texts: Pathria & Beale, Statistical Mechanics (3rd ed.), Ch. 6 (quantum statistics) and supplementary discussion of intermediate statistics; Khare, Fractional Statistics and Quantum Theory; Wilczek, Fractional Statistics and Anyon Superconductivity; Stern, "Anyons and the quantum Hall effect," Ann. Phys. 323 (2008).
- Microscopic owner: the braid-group origin of the continuous exchange phase , and why two dimensions is special, are owned by aq-qm-anyons-fractional-statistics. This article develops the statistical mechanics — the interpolating occupation numbers and the finite occupancy cap.
- Builds on: Indistinguishability of Identical Particles · Symmetrization Postulate · Bosons, Fermions, and the Spin-Statistics Connection · Pauli Exclusion Principle · Occupation Number Representation.
- Leads to: Fermi-Dirac Distribution · Bose-Einstein Distribution · Grand Canonical Ensemble for Ideal Quantum Gases; and outward to the Fractional Quantum Hall Effect and Topological Quantum Computation.
- Provenance: AllQFT `sm` export (Pathria & Beale, Ch. 6, intermediate statistics), aq-sm-parastatistics-anyons, ref STAT.QSTAT.PARAS.1216. All para-Fermi sums, the FD and BE limits, the Haldane endpoints, the exchange-phase reductions, and the Laughlin , numbers are python-verified (26 checks, all PASS).
If bosons and fermions are the only options in our world, why study anyons at all?
Because "our world" here means three space dimensions, and a great deal of interesting physics happens on effectively two-dimensional surfaces — the interface of a semiconductor heterostructure, a graphene sheet, the surface of a topological material. On such a plane the topological obstruction that forces disappears, and quasiparticle excitations really do braid with fractional phase. The fractional quantum Hall effect is the flagship case: its quasiparticles carry charge and anyonic statistics, both now measured. Anyons are not hypothetical particles awaiting an accelerator; they are emergent excitations of ordinary electrons confined to a plane.
What is the difference between the order p and the Haldane parameter g?
Both interpolate Fermi and Bose, but they are different constructions. The order is an integer occupancy cap: a mode accepts particles, so is Fermi, is Bose, and intermediate integers are para-Fermi statistics defined through Green's trilinear commutation relations. Haldane's is a continuous real parameter defined thermodynamically, by the rate at which adding a particle depletes the pool of available states; is Bose, is Fermi, and fractional (like for quasiparticles) describes genuine anyons. In short: is a discrete cap from group theory, is a continuous cap-softness from state-counting.
Does this article re-derive the anyon exchange phase?
No. The reason a continuous phase is even allowed — that the two-dimensional braid group replaces the permutation group and "admits a continuous circle of exchange phases " — is owned by aq-qm-anyons-fractional-statistics. This article takes that phase as input and asks the statistical-mechanics question: given a family of exchange statistics, what are the equilibrium occupation numbers? The answer is the interpolating of Eqs. (3) and (4). We translate the topological label into thermodynamics; we do not re-derive the topology.
Why does the para-Fermi occupation have that awkward second term?
The finite cap is what makes it awkward, and also what makes it correct. A boson mode has occupation , which diverges as (the Bose pole). A para-Fermi mode must never exceed particles, so something has to tame that divergence. The second term, , is exactly the subtraction that caps the occupation at : as it grows to cancel the bosonic blow-up, leaving at and deep below. For it cancels the pole entirely and leaves the bounded Fermi function; for it vanishes and the Bose form returns.
Is a para-Fermi gas of order 2 the same as a spin-1/2 fermion gas, which also holds two per level?
No, though the confusion is natural. A spin- fermion level really consists of two distinct modes (spin up and spin down), each obeying Pauli exclusion with cap one; the "two per level" is two separate one-particle boxes. A para-Fermi mode of order two is a single mode that intrinsically accepts up to two identical particles with no extra label. Thermodynamically they differ: two independent Fermi modes give occupation (twice a Fermi function, still capped by two but shaped like FD), whereas the para-Fermi mode gives the single-mode formula of Eq. (3) with , a different function of energy.
Where does parastatistics actually show up if d≥3 makes it trivial?
The Doplicher–Haag–Roberts result says a para-particle of order in three dimensions is physically equivalent to an ordinary boson or fermion carrying a hidden internal symmetry — so parastatistics is not a new option for fundamental particles in our world. Its value is twofold. First, it clarifies that the symmetrization postulate is genuinely a postulate, forced only up to internal-symmetry relabelings. Second, the same finite-cap counting reappears as an effective description: quasiparticles with a bounded occupancy, or systems where an internal color label limits how many excitations share a mode, are handled by the para-Fermi machinery even when the underlying particles are ordinary fermions.