## Non-abelian anyons and topological quantum computation

Venue: | Reviews of Modern Physics |

Citations: | 12 - 0 self |

### BibTeX

@ARTICLE{Nayak_non-abeliananyons,

author = {Chetan Nayak and Steven H. Simon and Ady Stern and Michael Freedman and Sankar Das Sarma},

title = {Non-abelian anyons and topological quantum computation},

journal = {Reviews of Modern Physics},

year = {}

}

### OpenURL

### Abstract

Contents Topological quantum computation has recently emerged as one of the most exciting approaches to constructing a fault-tolerant quantum computer. The proposal relies on the existence of topological states of matter whose quasiparticle excitations are neither bosons nor fermions, but are particles known as Non-Abelian anyons, meaning that they obey non-Abelian braiding statistics. Quantum information is stored in states with multiple quasiparticles,

### Citations

658 | Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer
- Deutsch
- 1985
(Show Context)
Citation Context ...ing the limit in which quantum effects become important. One might ask whether this is a problem or an opportunity. The founders of the field of quantum computation (Manin, 1980, Feynman, 1982, 1986, =-=Deutsch, 1985-=-, and most dramatically, Shor, 1994) answered in favor of the latter. They showed that a computer which operates coherently on quantum states has potentially much greater power than a classical comput... |

613 |
Quantum field theory and the Jones polynomial
- Witten
- 1989
(Show Context)
Citation Context ...Abelian braiding statistics or, simply non-Abelian anyons, were first considered in the context of conformal field theory by Moore and Seiberg, 1988, 1989 and in the context of Chern-Simons theory by =-=Witten, 1989-=-. They were discussed in the context of discrete gauge theories and linked to the representation theory of quantum groups by Bais, 1980; Bais et al., 1992, 1993a,b. They were discussed in a more gener... |

494 | Conformal field theory - Francesco, Mathieu, et al. - 1997 |

418 |
Infinite conformal symmetries in two dimensional quantum field theory
- Belavin, Polyakov, et al.
- 1984
(Show Context)
Citation Context ...(CFT) for Pedestrians We consider chiral CFTs in 2 dimensions. “Chiral” means that all of our fields will be functions of z = x + iy only and not functions of ¯z. (For a good introduction to CFT see (=-=Belavin et al., 1984-=-; Di Francesco et al., 1997)). (a) OPE: To describe a CFT we give its “conformal data”, including a set of primary fields, each with a conformal dimension ∆, a table of fusion rules of these fields an... |

397 | Simulating physics with computers
- Feynman, Shor
- 1982
(Show Context)
Citation Context ...ller, we are approaching the limit in which quantum effects become important. One might ask whether this is a problem or an opportunity. The founders of the field of quantum computation (Manin, 1980, =-=Feynman, 1982-=-, 1986, Deutsch, 1985, and most dramatically, Shor, 1994) answered in favor of the latter. They showed that a computer which operates coherently on quantum states has potentially much greater power th... |

262 | Good quantum error-correcting codes exist
- Calderbank, Shor
- 1996
(Show Context)
Citation Context ...uous: the state a|0〉+b|1〉 may drift, due to an error, to the state → a|0〉 + be iθ |1〉 with arbitrary θ. Remarkably, in spite of these difficulties, error correction is possible for quantum computers (=-=Calderbank and Shor, 1996-=-; Gottesman, 1998; Preskill, 2004; Shor, 1995; Steane, 1996a). One can represent information redundantly so that errors can be identified without measuring the information. For instance, if we use thr... |

226 | Classical and quantum conformal field theory - Moore, Seiberg - 1989 |

224 |
Fusion rules and modular transformations in 2D conformal field theory
- Verlinde
- 1988
(Show Context)
Citation Context ...en them is given by S = ⎛ ⎜ ⎝ 1 √1 2 2 1√ 2 1 2 − 1 √ 2 1 2 0 − 1 √ 2 1 2 ⎞ ⎟ ⎠ (32) The S-matrix not only contains information about braiding, but also about fusion, according to Verlinde’s formula (=-=Verlinde, 1988-=-) (for a proof, see Moore and Seiberg, 1988, 1989): N c ab = ∑ x SaxSbxS¯cx S1x (33) Consequently, the quantum dimension of a particle of species a is: da = S1a S11 (34) The mathematical structure enc... |

222 | Quantum mechanical computers - Feynman - 1985 |

219 |
Scheme for reducing decoherence in quantum computer memory
- Shor
- 1995
(Show Context)
Citation Context ... become important. One might ask whether this is a problem or an opportunity. The founders of the field of quantum computation (Manin, 1980, Feynman, 1982, 1986, Deutsch, 1985, and most dramatically, =-=Shor, 1994-=-) answered in favor of the latter. They showed that a computer which operates coherently on quantum states has potentially much greater power than a classical computer (Nielsen and Chuang, 2000). The ... |

215 |
Current algebra and WessZumino model in two dimensions,” Nucl. Phys. B247
- Knizhnik, Zamolodchikov
- 1984
(Show Context)
Citation Context ...s the chiral WZW model with non-zero velocity. It is beyond the scope of this paper to discuss the chiral WZW model in any detail (for more details, see Gepner and Qiu, 1987; Gepner and Witten, 1986; =-=Knizhnik and Zamolodchikov, 1984-=- ). However, there are a few key properties which we will list now. The chiral WZW model is a conformal field theory. Therefore, although there is a gap to all excitations in the bulk, there are gaple... |

203 |
A polynomial invariant for knots via von Neumann algebras
- Jones
- 1985
(Show Context)
Citation Context ...count of its topological properties, especially the braiding of anyons. We describe Witten’s work (Witten, 1989) connecting ChernSimons theory with the knot and link invariants of Jones and Kauffman (=-=Jones, 1985-=-; Kauffman, 1987). We show how the latter can be used to derive the properties of anyons in these topological phases. In section III.D, we describe a complementary approach by which Chern-Simons theor... |

182 |
State sum invariants of 3-manifolds and quantum 6j-symbols, Topology 31
- Turaev, Viro
- 1992
(Show Context)
Citation Context ...man et al., 2004). Instead, trivalent graphs on the lattice prove to be a better way of proceeding (and, in the case of SU(3)k and other gauge groups, trivalent graphs are essential (Kuperberg, 1996; =-=Turaev and Viro, 1992-=-)). The most convenient lattice is the honeycomb lattice, since each vertex is trivalent. A trivalent graph is simply a subset of the links of the honeycomb lattice such that no vertex has only a sing... |

178 |
Fractional statistics and anyon superconductivity
- Wilczek
- 1990
(Show Context)
Citation Context ...-trivial phase: ψ (r1,r2) → e 2iθ ψ (r1,r2) (2) The special cases θ = 0, π correspond to bosons and fermions, respectively. Particles with other values of the ‘statistical angle’ θ are called anyons (=-=Wilczek, 1990-=-). We will often refer to such particles as anyons with statistics θ. Let us now consider the general case of N particles, where a more complex structure arises. The topological classes of trajectorie... |

173 | Temperley-Lieb Recoupling Theory and Invariants of 3-Manifolds - Kauffman, Lins - 1994 |

159 | The Quantum Hall Effect - Prange, Girvin - 1987 |

150 |
Quantal Phase Factors Accompanying Adiabatic Changes
- Berry
- 1984
(Show Context)
Citation Context ...ate and7 the ∫ length of time for the process. In the adiabatic limit, it is dtE( R(t)). ⃗ There is also a a geometric phase which does not depend on how long the process takes. This Berry phase is (=-=Berry, 1984-=-), ∮ α = i dR · 〈ψ(R)|∇⃗ R |ψ(R)〉 (8) where |ψ(R)〉 is the ground state with the quasiparticles at positions R, and where the integral is taken along the trajectory R(t). It is manifestly dependent onl... |

136 | Multiple particle interference and quantum error correction
- Steane
- 1996
(Show Context)
Citation Context ...〉 + be iθ |1〉 with arbitrary θ. Remarkably, in spite of these difficulties, error correction is possible for quantum computers (Calderbank and Shor, 1996; Gottesman, 1998; Preskill, 2004; Shor, 1995; =-=Steane, 1996-=-a). One can represent information redundantly so that errors can be identified without measuring the information. For instance, if we use three spins to represent each qubit, |0〉 → |000〉, |1〉 → |111〉,... |

128 |
Error-correcting codes in quantum theory
- Steane
- 1996
(Show Context)
Citation Context ...〉 + be iθ |1〉 with arbitrary θ. Remarkably, in spite of these difficulties, error correction is possible for quantum computers (Calderbank and Shor, 1996; Gottesman, 1998; Preskill, 2004; Shor, 1995; =-=Steane, 1996-=-a). One can represent information redundantly so that errors can be identified without measuring the information. For instance, if we use three spins to represent each qubit, |0〉 → |000〉, |1〉 → |111〉,... |

124 | Operator Content of Two-dimensional Conformally Invariant Theories, Nuclear Physics $B270,186 - Cardy - 1986 |

123 |
The Universe in a Helium Droplet
- Volovik
- 1994
(Show Context)
Citation Context ...rtices in this case (Das Sarma et al., 2006b)); p + ip superfluids of cold atoms in optical traps (Gurarie et al., 2005; Tewari et al., 2007b), and the A-phase (especially the A1 phase(Leggett, 1975; =-=Volovik, 1994-=-)) of 3He films; and the Moore-Read Pfaffian quantum Hall state (Moore and Read, 1991). The last of these is a quantum Hall incarnation of this state: electrons at filling fraction ν = 1/2 are equival... |

117 | Topological gauge theories and group cohomology - Dijkgraaf, Witten - 1990 |

115 |
Superselection sectors with braid group statistics and exchange algebras, II: Covariance properties, Rev.Math. Phys. [spec.issue
- Fredenhagen, Rehren, et al.
- 1992
(Show Context)
Citation Context ...scussed in the context of discrete gauge theories and linked to the representation theory of quantum groups by Bais, 1980; Bais et al., 1992, 1993a,b. They were discussed in a more general context by =-=Fredenhagen et al., 1989-=- and Fröhlich and Gabbiani, 1990. The properties of nonAbelian quasiparticles make them appealing for use in a quantum computer. But before discussing this, we will briefly review how they could occur... |

112 |
Lectures on tensor categories and modular functors
- Bakalov, Jr
- 2001
(Show Context)
Citation Context ...cx S1x (33) Consequently, the quantum dimension of a particle of species a is: da = S1a S11 (34) The mathematical structure encapsulating these braiding and fusion rules is a modular tensor category (=-=Bakalov and Kirillov, 2001-=-; Kassel, 1995; Kitaev, 2006; Turaev, 1994; Walker, 1991). A category is composed of objects and morphisms, which are maps between the objects which preserve their defining structure. The idea is that... |

111 | Topological quantum field theories derived from the Kauffman bracket, Topology 34 - Blanchet, Habegger, et al. - 1995 |

109 | Topological quantum computation - Freedman, Kitaev, et al. - 2000 |

99 |
Three-dimensional massive gauge theories,” Phys
- Deser, Jackiw, et al.
- 1982
(Show Context)
Citation Context ...). For any simple compact group G, π3(G) = Z, so gauge transformations can be classified according to their “winding number”. Under a gauge transformation with winding m, SCS[a] → SCS[a] + 2πkm (25) (=-=Deser et al., 1982-=-). While the action is invariant under “small” gauge transformations, which are continuously connected to the identity and have m = 0, it is not invariant under “large” gauge transformations (m ̸= 0).... |

97 |
Local observables and particle statistics I
- Doplicher, Haag, et al.
- 1971
(Show Context)
Citation Context ...1 Higher dimensional representations of the permutation group, known as ‘parastatistics’, can always be decomposed into fermions or bosons with an additional quantum number attached to each particle (=-=Doplicher et al., 1971-=-, 1974). Consequently, the notion of a winding of one particle around another in two dimensions is well-defined. Then, when two particles are interchanged twice in a clockwise manner, their trajectory... |

95 |
Anomalous Quantum Hall Effect: An Incompressible Quantum Fluid with Fractionally Charged Excitations
- Laughlin
- 1983
(Show Context)
Citation Context ...hich is proportional to the flux enclosed by a particle’s trajectory times the quasiparticle charge. This is in agreement with a general argument that such quasiparticles must have fractional charge (=-=Laughlin, 1983-=-). The result for the statistics of the quasiparticles follows from the topological part of the Berry phase; it is in agreement with strong theoretical arguments which suggest that fractionally charge... |

94 | Fault-tolerant quantum computation by anyons
- Kitaev
- 1997
(Show Context)
Citation Context ...pological solid state spinbased quantum computers (Witzel and Das Sarma, 2006)) has no nontrivial matrix elements within the ground state subspace. Thus, the system is rather immune from decoherence (=-=Kitaev, 2003-=-). Unitary errors are also unlikely since the unitary transformations associated with braiding quasiparticles are sensitive only to the topology of the quasiparticle trajectories, and not to their geo... |

87 | A modular functor which is universal for quantum computation - Freedman, Larsen, et al. |

84 |
Remarks on the canonical quantization of the Chern-Simons-Witten theory
- Elitzur, Moore, et al.
- 1989
(Show Context)
Citation Context ...where. Clearly, this can only happen if Σ is topologically non-trivial. The simplest non-trivial manifold is the annulus, which is topologically equivalent to the sphere with two punctures. Following =-=Elitzur et al., 1989-=- (see also (Wen and Zee, 1998) for a similar construction on the torus), let us take coordinates (r, φ) on the annulus, with r1 < r < r2, and let t be time. Then we can write aµ = g∂µg−1 , where g(r, ... |

77 |
Tables of dimensions, indices, and branching rules for representations of simple Lie algebras
- McKay, Patera
- 1981
(Show Context)
Citation Context ...s the TEVP and we are finally in a situation, namely irreducible representations of semi-simple Lie groups of bounded dimension, where we can hope to apply the classification of such representations (=-=McKay and Patera, 1981-=-) to show that our mysterious H ′ is none other than SU(Vn). If this is so, then it will follow that the preceding shenanigans H → H0 → [H0, H0] → ˜ [H0, H0] did nothing (beyond the first arrow, which... |

74 |
Quantum Invariants of Knots and 3-Manifolds, Walter de Gruyter
- Turaev
- 1994
(Show Context)
Citation Context ...ticle of species a is: da = S1a S11 (34) The mathematical structure encapsulating these braiding and fusion rules is a modular tensor category (Bakalov and Kirillov, 2001; Kassel, 1995; Kitaev, 2006; =-=Turaev, 1994-=-; Walker, 1991). A category is composed of objects and morphisms, which are maps between the objects which preserve their defining structure. The idea is that one can learn more about the objects by u... |

66 |
State models and the Jones polynomial
- Kauffman
(Show Context)
Citation Context ...topological properties, especially the braiding of anyons. We describe Witten’s work (Witten, 1989) connecting ChernSimons theory with the knot and link invariants of Jones and Kauffman (Jones, 1985; =-=Kauffman, 1987-=-). We show how the latter can be used to derive the properties of anyons in these topological phases. In section III.D, we describe a complementary approach by which Chern-Simons theory can be underst... |

63 | Resilient quantum computation: error models and thresholds
- Knill, Laflamme
- 1998
(Show Context)
Citation Context ...mates of the threshold error rate above which error correction is impossible depend on the particular error correction scheme, but fall in the range 10 −4 −10 −6 (see, e.g. Aharonov and Ben-Or, 1997; =-=Knill et al., 1998-=-). This means that we must be able to perform 10 4 −10 6 operations perfectly before an error occurs. This is an extremely stringent constraint and it is presently unclear if local qubit-based quantum... |

63 |
Polynomial equations for rational conformal field theories
- Moore, Seiberg
- 1988
(Show Context)
Citation Context ...particles. For the Fibonacci theory (Preskill, 2004), it turns out to be easy to calculate the F -matrix using a consistency condition known as the pentagon equation (Fuchs, 1992; Goméz et al., 1996; =-=Moore and Seiberg, 1988-=-, 1989). This condition simply says that one should be able to make changes of basis for four particles in several possible ways and get the same result in the end. As an example, let us consider |(•,... |

63 | The Partition Function of a degenerate quadratic functional and the RaySinger invariants - Schwarz - 1978 |

61 | Spiders for rank 2 Lie algebras
- Kuperberg
- 1996
(Show Context)
Citation Context ... fluctuate (Freedman et al., 2004). Instead, trivalent graphs on the lattice prove to be a better way of proceeding (and, in the case of SU(3)k and other gauge groups, trivalent graphs are essential (=-=Kuperberg, 1996-=-; Turaev and Viro, 1992)). The most convenient lattice is the honeycomb lattice, since each vertex is trivalent. A trivalent graph is simply a subset of the links of the honeycomb lattice such that no... |

61 |
in Quantum Field Theory of Many-Body Systems
- Wen
- 2004
(Show Context)
Citation Context ... briefly recapitulate below). There are many other possible ‘exotic’ phases which share some characteristics of topological phases, such as the emergence of gauge fields in their low-energy theories (=-=Wen, 2004-=-), but do not satisfy all of the criteria. These do not appear to be useful for quantum computation. Finally, the three-dimensional frontier must be mentioned. Most theory (and experiment) pertains to... |

52 | Quantum computation by adiabatic evolution
- Farhi, Goldstone, et al.
- 2000
(Show Context)
Citation Context ... mathematical problems (factoring, finding units in number fields, searching) have efficient solutions in the quantum model. Many others may succumb to quantum heuristics (e.g. adiabatic computation (=-=Farhi et al., 2000-=-)) but we will not know until we can play with real quantum computers. Some physical problems, such as maximizing Tc within a class of superconductors, should be advanced by quantum computers, even th... |

52 |
Consequences of anomalous Ward identities, Phys
- Wess, Zumino
- 1971
(Show Context)
Citation Context ...m Da to DU. In the final line, the first term has been integrated by parts while the second term, although it appears to be an integral over the 3D manifold, only depends on the boundary values of U (=-=Wess and Zumino, 1971-=-; Witten, 1983). This is the Wess-Zumino-Witten (WZW) action. What we learn from (83) then, is that, in a particular gauge, the ground state wavefunction of 2 + 1-D Chern-Simons theory can be viewed a... |

47 |
Quantized Hall conductance, current-carrying edge states, and the existence of extended states in a two-dimensional disordered potential, Phys
- Halperin
- 1982
(Show Context)
Citation Context ...presents a Fermi (Bose) wavefunction. E. Edge Excitations When a system in a chiral topological phase has a boundary (as it must in any experiment), there must be gapless excitations at the boundary (=-=Halperin, 1982-=-; Wen, 1992). To see this, consider the Chern-Simons action on a manifold M with boundary ∂M (Elitzur et al., 1989; Witten, 1989), Eq. 24. The change in the action under a gauge transformation, aµ → g... |

45 |
Fractional Quantization of the Hall Effect: A Hierarchy of Incompressible Quantum Fluid
- Haldane
- 1983
(Show Context)
Citation Context ...k, are the best understood fractional quantum Hall states, both theoretically and experimentally. To explain more complicated observed fractions, with ν not of the form ν = 1/k, Haldane and Halperin (=-=Haldane, 1983-=-; Halperin, 1984; Prange and Girvin, 1990) used a hierarchical construction in which quasiparticles of a principle ν = 1/k state can then themselves condense into a quantized state. In this way, quant... |

43 | The two-eigenvalue problem and density of jones representation of braid groups - Freedman, Larsen, et al. - 2002 |

43 |
Modular invariant partition functions for parafermionic field theories
- Gepner, Qiu
- 1987
(Show Context)
Citation Context ... tr ( (∂0 + v∂1)U −1∂1U ) and the edge theory is the chiral WZW model with non-zero velocity. It is beyond the scope of this paper to discuss the chiral WZW model in any detail (for more details, see =-=Gepner and Qiu, 1987-=-; Gepner and Witten, 1986; Knizhnik and Zamolodchikov, 1984 ). However, there are a few key properties which we will list now. The chiral WZW model is a conformal field theory. Therefore, although the... |

43 |
Global aspects of current algebra
- Witten
- 1983
(Show Context)
Citation Context ...l line, the first term has been integrated by parts while the second term, although it appears to be an integral over the 3D manifold, only depends on the boundary values of U (Wess and Zumino, 1971; =-=Witten, 1983-=-). This is the Wess-Zumino-Witten (WZW) action. What we learn from (83) then, is that, in a particular gauge, the ground state wavefunction of 2 + 1-D Chern-Simons theory can be viewed as the partitio... |

42 |
Nonabelions in the fractional quantum hall effect
- Moore, Read
- 1991
(Show Context)
Citation Context ...rst indication that not all fractional quantum Hall states fit the above hierarchy (or equivalently composite fermion) picture. Independently, it was recognized Fubini, 1991; Fubini and Lutken, 1991; =-=Moore and Read, 1991-=- that conformal field theory gives a way to write a variety of trial wavefunctions for quantum Hall states, as we describe in Section III.D below. Using this approach, the socalled Moore-Read Pfaffian... |

39 |
Topological quantum memory
- Dennis, Kitaev, et al.
(Show Context)
Citation Context ...wn beyond finite group gauge theories. For example, we do not know if quantum information can (in the thermodynamic limit) be permanently stored at finite temperature in any 3-dimensional system. (By =-=Dennis et al., 2002-=-, this is possible in 4+1dimensions, not possible in 2+1-dimensions, and is an open question in 3+1-dimensions.) The case of 2+1-dimensions has been the playground of anyons for 30 years. Will looplik... |

39 |
An introduction to lattice gauge theory and spin systems
- Kogut
- 1979
(Show Context)
Citation Context ...st type of excitation acquires a −1 when it is taken around the second. The toric code is associated with the low-energy physics of the deconfined phase of Z2 gauge theory (Fradkin and Shenker, 1975; =-=Kogut, 1979-=-); see also Senthil and Fisher, 2000 for an application to strongly-50 correlated electron systems). This low-energy physics can be described by an Abelian BF-theory (Hansson et al., 2004): S = 1 ∫ e... |