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

@article{Bravyi2008ANT, 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}, year={2008}, volume={11}, pages={043029} }

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…

## 167 Citations

### Stabilizer subsystem codes with spatially local generators

- Computer Science2010 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

- Physics
- 2009

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

- Computer Science
- 2011

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

- Computer ScienceSTOC
- 2019

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

- Computer ScienceSTOC
- 2014

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

- Computer Science
- 2020

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

- Computer Science
- 2016

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

- Computer ScienceIEEE Transactions on Information Theory
- 2020

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

- Computer ScienceQuantum
- 2022

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

- Computer Science
- 2012

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.

## References

SHOWING 1-10 OF 24 REFERENCES

### Superconducting nanocircuits for topologically protected qubits

- Physics
- 2009

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…

### Phys

- Rev A 73, 012340
- 2005

### Annals Phys

- 303, 2
- 1997

### Phys

- 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

### Phys

- Rev. Lett 101, 010501
- 2008

### Phys

- 43, 4452
- 2002

### Phys

- Rev. B 72, 024448
- 2005