# Anyon

Not to be confused with anion, a negatively charged ion.

In physics, an anyon is a type of quasiparticle that occurs only in two-dimensional systems, with properties much less restricted than fermions and bosons; the operation of exchanging two identical particles may cause a global phase shift but cannot affect observables. Anyons are generally classified as abelian or non-abelian. Abelian anyons have been detected and play a major role in the fractional quantum Hall effect. Non-abelian anyons have not been definitively detected although this is an active area of research.

## Abelian anyons

In space of three or more dimensions, elementary particles are either fermions or bosons, according to their statistical behaviour. Fermions obey the so-called Fermi–Dirac statistics while bosons obey the Bose–Einstein statistics. In the language of quantum mechanics this is formulated as the behavior of multiparticle states under the exchange of particles. This is in particular for a two-particle state with indistinguishable particles (in Dirac notation):

$\left|\psi_1\psi_2\right\rangle = \pm\left|\psi_2\psi_1\right\rangle$

(where the first entry in |... is the state of particle 1 and the second entry is the state of particle 2. So for example the left hand side is read as "Particle 1 is in state ψ1 and particle 2 in state ψ2"). Here the "+" corresponds to the particles being bosons and the "−" to the particles being fermions (composite states of fermions and bosons or distinct particle types are irrelevant since that would make them distinguishable).

In two-dimensional systems, however, quasiparticles can be observed that obey statistics ranging continuously between Fermi–Dirac and Bose–Einstein statistics, as was first shown by Jon Magne Leinaas and Jan Myrheim of the University of Oslo in 1977.[1] In our above example of two particles this looks as follows:

$\left|\psi_1\psi_2\right\rangle = e^{i\,\theta}\left|\psi_2\psi_1\right\rangle\,,$

with i the imaginary unit and θ a real number. Now |e| = 1, e2πi = 1, and eπi = −1. So in the case θ = π we recover the Fermi–Dirac statistics (minus sign) and in the case θ = 0 (or θ = 2π) the Bose–Einstein statistics (plus sign). In between we have something different. Frank Wilczek coined the term "anyon"[2] to describe such particles, since they can have any phase when particles are interchanged.

We also may use θ = 2πs with particle spin quantum number s, with s being integer for bosons, half-integer for fermions, so that

$e^{i\,\theta} = e^{2\,i \pi s} = (-1)^{2\,s}$   or   $\left|\psi_1\psi_2\right\rangle = (-1)^{2\,s}\left|\psi_2\psi_1\right\rangle.$

At an edge, fractional quantum Hall effect anyons are confined to move in one space dimension. Mathematical models of one-dimensional anyons provide a base of the commutation relations shown above.

Just as the fermion and boson wavefunctions in a three-dimensional space are just 1-dimensional representations of the permutation group (SN of N indistinguishable particles), the anyonic wavefunctions in a two-dimensional space are just 1-dimensional representations of the braid group (BN of N indistinguishable particles). Anyonic statistics must not be confused with parastatistics, which describes statistics of particles whose wavefunctions are higher-dimensional representations of the permutation group.[3]

### Experiment

Laughlin quasiparticle interferometer scanning electron micrograph of a semiconductor device. The four light grey regions are Au/Ti gates of undepleted electrons, the blue curves are the edge channels from the equipotentials of these undepleted electrons. The dark grey curves are etched trenches depleted of electrons, the blue dots are the tunneling junctions, the yellow dots are Ohmic contacts. The electrons in the device are confined to a 2d plane.[4]

Daniel Tsui and Horst Störmer discovered the fractional quantum Hall effect in 1982. The mathematics developed by Leinaas and Myrheim proved to be useful to Bertrand Halperin at Harvard University in explaining aspects of it. Frank Wilczek, Dan Arovas, and Robert Schrieffer verified this statement in 1985 with an explicit calculation that predicted that particles existing in these systems are in fact anyons.

In 2005 a group of physicists at Stony Brook University constructed a quasiparticle interferometer, detecting the patterns caused by interference of anyons which were interpreted to suggest that anyons are real, rather than just a mathematical construct.[5] However, these experiments remain controversial and are not fully accepted by the community.

With developments in semiconductor technology meaning that the deposition of thin two-dimensional layers is possible – for example in sheets of graphene – the long term potential to use the properties of anyons in electronics is being explored.

## Non-abelian anyons

 Is topological order stable at non-zero temperature?

In 1988, Jürg Fröhlich[verification needed] showed that it was possible in a valid particle theory for the particle exchange operation to be non-commutative (non-Abelian statistics). Gregory Moore, Nicholas Read, and Xiao-Gang Wen pointed out that non-Abelian statistics can be realized in fractional quantum Hall effect.[6][7] While at first non-abelian anyons were generally considered a mathematical curiosity, physicists began pushing toward their discovery when Alexei Kitaev showed that non-abelian anyons could be used to construct a topological quantum computer. As of 2012, no experiment has conclusively demonstrated the existence of non-abelian anyons although promising hints are emerging in the study of the ν = 5/2 FQHE state.[8][9] Experimental evidence of non-abelian anyons, although not yet conclusive, was presented in October, 2013.[10]

## Topological basis

Anticlockwise rotation
Clockwise rotation
Exchange of two particles in 2 + 1 spacetime by rotation. The rotations are inequivalent, since one cannot be deformed into the other (without the worldlines leaving the plane, an impossibility in 2d space).

In more than two dimensions, the spin–statistics theorem states that any multiparticle state of indistinguishable particles has to obey either Bose–Einstein or Fermi–Dirac statistics. For any d > 2, the group SO(d,1) (which generalize the Lorentz group), and also Poincaré(d,1), have Z2 as their first homotopy group. The cyclic group consisting of two elements, Z2, therefore only two possibilities remain. (The details are more involved than that, but this is the crucial point.)

The situation changes in two dimensions. Here the first homotopy group of SO(2,1), and also Poincaré(2,1), is Z (infinite cyclic). This means that Spin(2,1) is not the universal cover: it is not simply connected. In detail, there are projective representations of the special orthogonal group SO(2,1) which do not arise from linear representations of SO(2,1), or of its double cover, the spin group Spin(2,1). These representations[clarification needed] are called anyons.

This concept also applies to nonrelativistic systems. The relevant part here is that the spatial rotation group is SO(2) has an infinite first homotopy group.

This fact is also related to the braid groups well known in knot theory. The relation can be understood when one considers the fact that in two dimensions the group of permutations of two particles is no longer the symmetric group S2 (with two elements) but rather the braid group B2 (with an infinite number of elements). The essential point is that one braid can wind around the other one, an operation that can be performed infinitely often, and clockwise as well as counterclockwise.

A very different approach to the stability-decoherence problem in quantum computing is to create a topological quantum computer with anyons, quasi-particles used as threads and relying on braid theory to form stable logic gates.[11][12]

## References

1. ^ Leinaas, J.M.; J. Myrheim (11 January 1977). "On the theory of identical particles". Il Nuovo Cimento B 37 (1): 1–23. Bibcode:1977NCimB..37....1L. doi:10.1007/BF02727953.
2. ^ Wilczek, Frank (4 October 1982). "Quantum Mechanics of Fractional-Spin Particles". Physical Review Letters 49 (14): 957–959. Bibcode:1982PhRvL..49..957W. doi:10.1103/PhysRevLett.49.957.
3. ^ Khare, Avinash (2005). Fractional Statistics and Quantum Theory. World Scientific. p. 22. ISBN 978-981-256-160-2. Retrieved May 2011.
4. ^ Camino, F.; Zhou, Wei; Goldman, V. (2005). "Realization of a Laughlin quasiparticle interferometer: Observation of fractional statistics". Physical Review B 72 (7). arXiv:cond-mat/0502406. Bibcode:2005PhRvB..72g5342C. doi:10.1103/PhysRevB.72.075342., see fig. 2.B
5. ^ Camino, F.; Zhou, Wei; Goldman, V. (2005). "Realization of a Laughlin quasiparticle interferometer: Observation of fractional statistics". Physical Review B 72 (7). arXiv:cond-mat/0502406. Bibcode:2005PhRvB..72g5342C. doi:10.1103/PhysRevB.72.075342.
6. ^ Moore, Gregory; Read, Nicholas (1991). "Nonabelions in the fractional quantum hall effect". Nuclear Physics B 360 (2–3): 362. Bibcode:1991NuPhB.360..362M. doi:10.1016/0550-3213(91)90407-O.;
7. ^ Xiao-Gang Wen [Non-Abelian Statistics in the FQH states http://dao.mit.edu/~wen/pub/nab.pdf] Phys. Rev. Lett. 66, 802 (1991)
8. ^ Stern, Ady (2010). "Non-Abelian states of matter". Nature 464 (7286): 187–93. Bibcode:2010Natur.464..187S. doi:10.1038/nature08915. PMID 20220836.
9. ^ Sanghun An; Jiang; Choi; Kang; Simon; Pfeiffer; West; Baldwin (2011). "Braiding of Abelian and Non-Abelian Anyons in the Fractional Quantum Hall Effect". arXiv:1112.3400 [cond-mat.mes-hall].
10. ^ R. L. Willett; C. Nayak; L. N. Pfeiffer; K. W. West (2013). "Magnetic ﬁeld-tuned Aharonov–Bohm oscillations and evidence for non-Abelian anyons at ν = 5/2". arXiv:1301.2639 [cond-mat.mes-hall].
11. ^ Freedman, Michael; Alexei Kitaev; Michael Larsen; Zhenghan Wang (20 October 2002). "Topological Quantum Computation". Bulletin of the American Mathematical Society 40 (1): 31–38. doi:10.1090/S0273-0979-02-00964-3.
12. ^ Monroe, Don (1 October 2008). "Anyons: The breakthrough quantum computing needs?". New Scientist (2676).