Logical-operator tradeoff for local quantum codes

We study the structure of logical operators in local D-dimensional quantum codes, considering both subsystem codes with geometrically local gauge generators and codes defined by geometrically local commuting projectors. We show that if the code distance is d, then any logical operator can be supported on a set of specified geometry containing ˜d qubits, where ˜dd^(1/(D−1)) = O(n) and n is the code length. Our results place limitations on partially self-correcting quantum memories, in which at least some logical operators are protected by energy barriers that grow with system size. We also show that for any two-dimensional local commuting projector code there is a nontrivial logical “string” operator supported on a narrow strip, where the operator is only slightly entangling across any cut through the strip.

[1]  David Fattal,et al.  Nonlocal quantum information in bipartite quantum error correction , 2009, Quantum Inf. Process..

[2]  David Poulin,et al.  Tradeoffs for reliable quantum information storage in 2D systems , 2010, Quantum Cryptography and Computing.

[3]  Samuel J. Lomonaco,et al.  Quantum information science and its contributions to mathematics : American Mathematical Society Short Course, January 3-4, 2009, Washington, DC , 2010 .

[4]  B. Terhal,et al.  A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes , 2008, 0810.1983.

[5]  E Solano,et al.  Sequential implementation of global quantum operations. , 2007, Physical review letters.

[6]  Michal Horodecki,et al.  On Thermal Stability of Topological Qubit in Kitaev's 4D Model , 2008, Open Syst. Inf. Dyn..

[7]  Jeongwan Haah,et al.  Quantum self-correction in the 3D cubic code model. , 2011, Physical review letters.

[8]  D. Bacon.  Operator quantum error-correcting subsystems for self-correcting quantum memories , 2005, quant-ph/0506023.

[9]  D. Poulin.  Stabilizer formalism for operator quantum error correction. , 2005, Physical review letters.

[10]  D. Gottesman.  An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation , 2009, 0904.2557.

[11]  Jeongwan Haah.  Local stabilizer codes in three dimensions without string logical operators , 2011, 1101.1962.

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

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

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

[15]  M. B. Hastings,et al.  A Short Proof of Stability of Topological Order under Local Perturbations , 2010, 1001.4363.

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

[17]  Quantum Self-Correcting Stabilizer Codes , 2008, 0810.3557.

[18]  S. Bravyi.  Subsystem codes with spatially local generators , 2010, 1008.1029.

[19]  J. Preskill,et al.  Topological quantum memory , 2001, quant-ph/0110143.

[20]  Isaac L. Chuang,et al.  Framework for classifying logical operators in stabilizer codes , 2010, 1002.0085.

[21]  Robert König,et al.  Simplifying quantum double Hamiltonians using perturbative gadgets , 2009, Quantum Inf. Comput..

[22]  L. Landau.  Fault-tolerant quantum computation by anyons , 2003 .

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

[24]  S. Bravyi,et al.  Energy landscape of 3D spin Hamiltonians with topological order. , 2011, Physical review letters.