Topological quantum memory

We analyze surface codes, the topological quantum error-correcting codes introduced by Kitaev. In these codes, qubits are arranged in a two-dimensional array on a surface of nontrivial topology, and encoded quantum operations are associated with nontrivial homology cycles of the surface. We formulate protocols for error recovery, and study the efficacy of these protocols. An order-disorder phase transition occurs in this system at a nonzero critical value of the error rate; if the error rate is below the critical value (the accuracy threshold), encoded information can be protected arbitrarily well in the limit of a large code block. This phase transition can be accurately modeled by a three-dimensional Z(2) lattice gauge theory with quenched disorder. We estimate the accuracy threshold, assuming that all quantum gates are local, that qubits can be measured rapidly, and that polynomial-size classical computations can be executed instantaneously. We also devise a robust recovery procedure that does not require measurement or fast classical processing; however, for this procedure the quantum gates are local only if the qubits are arranged in four or more spatial dimensions. We discuss procedures for encoding, measurement, and performing fault-tolerant universal quantum computation with surface codes, and argue that these codes provide a promising framework for quantum computing architectures.

[1]  A. Kitaev,et al.  Fault tolerant quantum computation by anyons , 1997, quant-ph/9707021.

[2]  A. Honecker,et al.  Nishimori Point in Random-Bond Ising and Potts Models in 2D , 2001, cond-mat/0112069.

[3]  J. Chalker,et al.  Two-dimensional random-bond Ising model, free fermions, and the network model , 2001, cond-mat/0106023.

[4]  A. Honecker,et al.  Universality class of the Nishimori point in the 2D +/- J random-bond Ising model. , 2000, Physical review letters.

[5]  A. Ludwig,et al.  Random-bond Ising model in two dimensions: The Nishimori line and supersymmetry , 2000, cond-mat/0007254.

[6]  E. Dennis Toward fault-tolerant quantum computation without concatenation , 1999, quant-ph/9905027.

[7]  M. Freedman,et al.  Projective Plane and Planar Quantum Codes , 1998, Found. Comput. Math..

[8]  D. Gottesman Fault-tolerant quantum computation with local gates , 1999, quant-ph/9903099.

[9]  A. Kitaev,et al.  Quantum codes on a lattice with boundary , 1998, quant-ph/9811052.

[10]  D. Gottesman The Heisenberg Representation of Quantum Computers , 1998, quant-ph/9807006.

[11]  Carlo Vanderzande,et al.  Lattice Models of Polymers , 1998 .

[12]  John Preskill,et al.  Topological Quantum Computation , 1998, QCQC.

[13]  J. Preskill Reliable quantum computers , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[14]  E. Knill,et al.  Resilient quantum computation: error models and thresholds , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[15]  D. Gottesman Theory of fault-tolerant quantum computation , 1997, quant-ph/9702029.

[16]  A. Kitaev Quantum computations: algorithms and error correction , 1997 .

[17]  Daniel Gottesman,et al.  Stabilizer Codes and Quantum Error Correction , 1997, quant-ph/9705052.

[18]  H. Rieger,et al.  Finite-size scaling analysis of exact ground states for ±J spin glass models in two dimensions , 1996, cond-mat/9612116.

[19]  A. Steane Active Stabilization, Quantum Computation, and Quantum State Synthesis , 1996, quant-ph/9611027.

[20]  M. Ben-Or,et al.  Fault-tolerant quantum computation with constant error , 1996, STOC '97.

[21]  A. Calderbank,et al.  Quantum Error Correction and Orthogonal Geometry , 1996, quant-ph/9605005.

[22]  A. Kitaev Quantum Error Correction with Imperfect Gates , 1997 .

[23]  M. Ben-Or,et al.  Limitations of Noisy Reversible Computation , 1996, quant-ph/9611028.

[24]  Steane,et al.  Error Correcting Codes in Quantum Theory. , 1996, Physical review letters.

[25]  Gottesman,et al.  Class of quantum error-correcting codes saturating the quantum Hamming bound. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[26]  A. Steane Multiple-particle interference and quantum error correction , 1996, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[27]  Shor,et al.  Good quantum error-correcting codes exist. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[28]  Shor,et al.  Scheme for reducing decoherence in quantum computer memory. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[29]  H. Kitatani The Verticality of the Ferromagnetic-Spin Glass Phase Boundary of the ± J Ising Model in the p- T Plane , 1992 .

[30]  J. Preskill,et al.  Quantum field theory of non-abelian strings and vortices , 1991, hep-th/9112038.

[31]  N. Madras,et al.  THE SELF-AVOIDING WALK , 2006 .

[32]  Wen,et al.  Ground-state degeneracy of the fractional quantum Hall states in the presence of a random potential and on high-genus Riemann surfaces. , 1990, Physical review. B, Condensed matter.

[33]  Einarsson,et al.  Fractional statistics on a torus. , 1990, Physical review letters.

[34]  Hidetoshi Nishimori,et al.  Geometry-Induced Phase Transition in the ±J Ising Model , 1986 .

[35]  Péter Gács,et al.  Reliable computation with cellular automata , 1983, J. Comput. Syst. Sci..

[36]  F. Barahona,et al.  Morphology of ground states of two-dimensional frustration model , 1982 .

[37]  H. Nishimori Internal Energy, Specific Heat and Correlation Function of the Bond-Random Ising Model , 1981 .

[38]  P. Gennes Scaling Concepts in Polymer Physics , 1979 .

[39]  J. Edmonds Paths, Trees, and Flowers , 1965, Canadian Journal of Mathematics.