Part I. Fundamental Concepts: 1. Introduction and overview 2. Introduction to quantum mechanics 3. Introduction to computer science Part II. Quantum Computation: 4. Quantum circuits 5. The quantum Fourier transform and its application 6. Quantum search algorithms 7. Quantum computers: physical realization Part III. Quantum Information: 8. Quantum noise and quantum operations 9. Distance measures for quantum information 10. Quantum error-correction 11. Entropy and information 12. Quantum information theory Appendices References Index.

Quantum Computation and Quantum Information

Topological quantum computation has 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, which have a topological degeneracy. The unitary gate operations that are necessary for quantum computation are carried out by braiding quasiparticles and then measuring the multiquasiparticle states. The fault tolerance of a topological quantum computer arises from the nonlocal encoding of the quasiparticle states, which makes them immune to errors caused by local perturbations. To date, the only such topological states thought to have been found in nature are fractional quantum Hall states, most prominently the $\ensuremath{\nu}=5∕2$ state, although several other prospective candidates have been proposed in systems as disparate as ultracold atoms in optical lattices and thin-film superconductors. In this review article, current research in this field is described, focusing on the general theoretical concepts of non-Abelian statistics as it relates to topological quantum computation, on understanding non-Abelian quantum Hall states, on proposed experiments to detect non-Abelian anyons, and on proposed architectures for a topological quantum computer. Both the mathematical underpinnings of topological quantum computation and the physics of the subject are addressed, using the $\ensuremath{\nu}=5∕2$ fractional quantum Hall state as the archetype of a non-Abelian topological state enabling fault-tolerant quantum computation.

Non-Abelian Anyons and Topological Quantum Computation

Anyons in an exactly solved model and beyond

This article reviews the physics of high-temperature superconductors from the point of view of the doping of a Mott insulator. The basic electronic structure of cuprates is reviewed, emphasizing the physics of strong correlation and establishing the model of a doped Mott insulator as a starting point. A variety of experiments are discussed, focusing on the region of the phase diagram close to the Mott insulator (the underdoped region) where the behavior is most anomalous. The normal state in this region exhibits pseudogap phenomenon. In contrast, the quasiparticles in the superconducting state are well defined and behave according to theory. This review introduces Anderson's idea of the resonating valence bond and argues that it gives a qualitative account of the data. The importance of phase fluctuations is discussed, leading to a theory of the transition temperature, which is driven by phase fluctuations and the thermal excitation of quasiparticles. However, an argument is made that phase fluctuations can only explain pseudogap phenomenology over a limited temperature range, and some additional physics is needed to explain the onset of singlet formation at very high temperatures. A description of the numerical method of the projected wave function is presented, which turns out to be a very useful technique for implementing the strong correlation constraint and leads to a number of predictions which are in agreement with experiments. The remainder of the paper deals with an analytic treatment of the $t\text{\ensuremath{-}}J$ model, with the goal of putting the resonating valence bond idea on a more formal footing. The slave boson is introduced to enforce the constraint againt double occupation and it is shown that the implementation of this local constraint leads naturally to gauge theories. This review follows the historical order by first examining the U(1) formulation of the gauge theory. Some inadequacies of this formulation for underdoping are discussed, leading to the SU(2) formulation. Here follows a rather thorough discussion of the role of gauge theory in describing the spin-liquid phase of the undoped Mott insulator. The difference between the high-energy gauge group in the formulation of the problem versus the low-energy gauge group, which is an emergent phenomenon, is emphasized. Several possible routes to deconfinement based on different emergent gauge groups are discussed, which leads to the physics of fractionalization and spin-charge separation. Next the extension of the SU(2) formulation to nonzero doping is described with a focus on a part of the mean-field phase diagram called the staggered flux liquid phase. It will be shown that inclusion of the gauge fluctuation provides a reasonable description of the pseudogap phase. It is emphasized that $d$-wave superconductivity can be considered as evolving from a stable U(1) spin liquid. These ideas are applied to the high-${T}_{c}$ cuprates, and their implications for the vortex structure and the phase diagram are discussed. A possible test of the topological structure of the pseudogap phase is described.

/pdf/doping-a-mott-insulator-physics-of-high-temperature-55r49vtp31.pdf

Doping a Mott insulator: Physics of high-temperature superconductivity

Certain one-dimensional Fermi systems have an energy gap in the bulk spectrum while boundary states are described by one Majorana operator per boundary point. A finite system of length L possesses two ground states with an energy difference proportional to exp(-L/l0) and different fermionic parities. Such systems can be used as qubits since they are intrinsically immune to decoherence. The property of a system to have boundary Majorana fermions is expressed as a condition on the bulk electron spectrum. The condition is satisfied in the presence of an arbitrary small energy gap induced by proximity of a three-dimensional p-wave superconductor, provided that the normal spectrum has an odd number of Fermi points in each half of the Brillouin zone (each spin component counts separately).

https://iopscience.iop.org/article/10.1070/1063-7869/44/10S/S29/pdf

Unpaired Majorana fermions in quantum wires

Fault tolerant quantum computation by anyons

A new type of local-check additive quantum code is presented. Qubits are associated with edges of a 2-dimensional lattice whereas the stabilizer operators correspond to the faces and the vertices. The boundary of the lattice consists of alternating pieces with two different types of boundary conditions. Logical operators are described in terms of relative homology groups.

https://arxiv.org/pdf/quant-ph/9811052.pdf

Quantum codes on a lattice with boundary

A two-dimensional quantum system with anyonic excitations can be considered as a quantum computer. Unitary transformations can be performed by moving the excitations around each other. Measurements can be performed by joining excitations in pairs and observing the result of fusion. Such computation is fault-tolerant by its physical nature.

/pdf/fault-tolerant-quantum-computation-by-anyons-3rs2hl2122.pdf

A. Yu. Kitaev

Papers

Fault tolerant quantum computation by anyons

Quantum codes on a lattice with boundary

Fault-tolerant quantum computation by anyons