A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes

  title={A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes},
  author={Sergey Bravyi and Barbara M. Terhal},
  journal={New Journal of Physics},
We study properties of stabilizer codes that permit a local description on a regular D-dimensional lattice. Specifically, we assume that the stabilizer group of a code (the gauge group for subsystem codes) can be generated by local Pauli operators such that the support of any generator is bounded by a hypercube of size O(1). Our first result concerns the optimal scaling of the distance d with the linear size of the lattice L. We prove an upper bound d=O(LD-1) which is tight for D=1, 2. This… 

Figures from this paper

Stabilizer subsystem codes with spatially local generators

  • S. Bravyi
  • Computer Science
    2010 IEEE Information Theory Workshop
  • 2010
An upper bound kd = O(n) is derived for reliable quantum information storage in a 2D local architecture based on subsystem quantum codes, that is, stabilizer subsystem codes in which part of the logical qubits does not encode any information.

Self-correcting quantum computers

This work first gives a sufficient condition on the connectedness of excitations for a stabilizer code model to be a self-correcting quantum memory, then studies the two main examples of topological stabilizer codes in arbitrary dimensions and establishes their self-Correcting capabilities.

Subsystem codes with spatially local generators

It is shown that there exists a family of subsystem codes defined on lattices of size LxL with the number of logical qubits k and the minimum distance d both proportional to L, and it is proved that any 2D subsystem [n,k,d] code with spatially local generators obeys upper bounds kd=O(n) and d{sup 2}=O (n).

Good approximate quantum LDPC codes from spacetime circuit Hamiltonians

This family of approximate QLDPC codes is based on applying a recent connection between circuit Hamiltonians and approximate quantum codes to a result showing that random Clifford circuits of polylogarithmic depth yield asymptotically good quantum codes.

Homological product codes

This work proposes the first family of good quantum codes with low-weight stabilizers, and conjecture that similar methods can produce good stabilizer codes with stabilizer weight O(nα) for any α > 0.

Constructing quantum codes from any classical code and their embedding in ground space of local Hamiltonians

A new 2-local frustration free quantum spin chain Hamiltonian whose ground space the authors analytically characterize completely is introduced and it is demonstrated that the ground space contains explicit quantum codes with linear distance.

Algebraic Methods for Quantum Codes on Lattices

An algorithm to find a Clifford quantum circuit to transform any two-dimensional translation-invariant CSS code on qudits of a prime dimension with code distance being the linear system size, into a tensor product of finitely many copies of the qudit toric code and a product state is described.

The Need for Structure in Quantum LDPC Codes

This work proves a weak converse to a theorem of Krasikov and Litsyn on weight distributions of classical codes due to which may be of independent interest: subspaces for which the distribution of weights in the dual space is approximately binomial have very few codewords of low weight, tantamount to having a non-negligible “approximate” minimal distance.

Connectivity constrains quantum codes

It is found that unless the connectivity graph contains an expander, the code is severely limited, which is the first bound that studies the limitations of quantum LDPC codes that does not rely on locality.

Logical-operator tradeoff for local quantum codes

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.



Superconducting nanocircuits for topologically protected qubits

For successful realization of a quantum computer, its building blocks—the individual qubits—should be simultaneously scalable and sufficiently protected from environmental noise. Recently, a novel


  • Rev A 73, 012340
  • 2005

Annals Phys

  • 303, 2
  • 1997


  • Rev. Lett 94, 166802
  • 2004

Note that the Ising models are in fact not stable against perturbations (stray magnetic fields etc.) while Kitaev's toric code model is stable against sufficiently weak perturbations


    • Rev. Lett 101, 010501
    • 2008


    • 43, 4452
    • 2002


    • Rev. B 72, 024448
    • 2005

    Our analysis can be easily generalized to Hamiltonians H = − P m a=1 raSa with arbitrary real coefficients ra