Cited by 140Quantum Computing Algorithms and ArchitectureCoding theory and cryptographyError Correcting Code Techniques

Quantum Tanner codes

Open access
Leverrier, Anthony, Zemor, Gilles·2022·2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)

Abstract

Tanner codes are long error correcting codes obtained from short codes and a graph, with bits on the edges and parity-check constraints from the short codes enforced at the vertices of the graph. Combining good short codes together with a spectral expander graph yields the celebrated expander codes of Sipser and Spielman, which are asymptotically good classical LDPC codes. In this work we apply this prescription to the left-right Cayley complex that lies at the heart of the recent construction of a c3locally testable code by Dinur et at. Specifically, we view this complex as two graphs that share the same set of edges. By defining a Tanner code on each of those graphs we obtain two classical codes that together define a quantum code. This construction can be seen as a simplified variant of the Panteleev and Kalachev asymptotically good quantum LDPC code, with improved estimates for its minimum distance. This quantum code is closely related to the Dinur et at. code in more than one sense: indeed, we prove a theorem that simultaneously gives a linearly growing minimum distance for the quantum code and recovers the local testability of the Dinur et at. code.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1109/focs54457.2022.00117

Cites

28 of 28 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • Quantum Tanner codes were shown to be asymptotically 'good' in the sense of offering a constant encoding rate and linear distance.

    “The latter were shown39,40 to be asymptotically ‘good’ in the sense of offering a constant encoding rate and linear distance: a parameter quantifying the number of correctable errors.”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

1 of the 29 references couldn’t be matched to a known paper.

Research works printed but not linked: 3

  1. [Got97] Daniel Gottesman. Stabilizer codes and quantum error correction . PhD thesis, California Institute of Technology, 1997. 14
  2. [KT20] Tali Kaufman and Ran J Tessler. Quantum LDPC codes with Ω ( √ n log k n ) distance, for any k . arXiv preprint arXiv:2008.09495 , 2020. 4 · arXiv
  3. [LH22] Ting-Chun Lin and Min-Hsiu Hsieh. c 3 -local testable codes from lossless expanders. arXiv preprint arXiv:2201.11369 , 2022. 3 · arXiv

Cited by

Sorted by citations

Authors
Leverrier, A., & Zemor, G.
Affiliations
  • Institut national de recherche en sciences et technologies du numérique (FR)
  • Institut de Mathématiques de Bordeaux,Bordeaux,France,UMR 5251
Venue
2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)
Publisher
IEEE
Published
2022-10
Pages
872-883
ISSN
0272-5428 (ISSN-L)
OpenAlex
W4226180919
Cited by
140
References
29
Citations by year
2026: 25 · 2025: 48 · 2024: 40 · 2023: 21 · 2022: 6
FWCI
15.86
Type
conference paper
Language
en
Open access
Locations
  • Annual Symposium on Foundations of Computer Science (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • HAL (submittedVersion, other-oa)
  • HAL (submittedVersion, cc-by)
  • Oskar-Bordeaux (Universite de Bordeaux) (submittedVersion)
  • arXiv (Cornell University) (cc-by)
Funders
Agence Nationale de la Recherche
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Computer Science › Artificial Intelligence › Coding theory and cryptography
  • Physical Sciences › Computer Science › Computer Networks and Communications › Error Correcting Code Techniques
Keywords
quantum LDPC codes, expander codes, locally testable codes, minimum distance, quantum error-correcting codes

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review