Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2405.01332 · Physical Review Letters

How Much Entanglement Is Needed for Quantum Error Correction?

Sergey B. Bravyi, Dongjin Lee, Zhi Li, Beni Yoshida

Published May 28, 2025• 8 citations
arXivHTMLPDF

Abstract

It is commonly believed that logical states of quantum error-correcting codes have to be highly entangled such that codes capable of correcting more errors require more entanglement to encode a qubit. Here, we show that the validity of this belief depends on the specific code and the choice of entanglement measure. To this end, we characterize a tradeoff between the code distance d quantifying the number of correctable errors, and the geometric entanglement measure of logical states quantifying their maximal overlap with product states or more general "topologically trivial" states. The maximum overlap is shown to be exponentially small in d for three families of codes: (1) low-density parity check codes with commuting check operators, (2) stabilizer codes, and (3) codes with a constant encoding rate. Equivalently, the geometric entanglement of any logical state of these codes grows at least linearly with d. On the opposite side, we also show that this distance-entanglement tradeoff does not hold in general. For any constant d and k (number of logical qubits), we show there exists a family of codes such that the geometric entanglement of some logical states approaches zero in the limit of large code length.

DOI
10.1103/physrevlett.134.210602

Related papers

Proof of a positive coherent-error threshold for topological quantum codes

Shiro Tamiya, Masato Koashi

Threshold analyses of quantum error-correcting codes are well established for stochastic error models, in which errors occur randomly with given probabilities. However, errors in actual devices can also be coherent, such as unwanted $Z$ rotations due to imperfect control, which are not captured by stochastic error models. For the surface code, numerical studies have indicated threshold behavior even under coherent errors, but a rigorous proof of threshold existence is lacking. Here we prove that a positive threshold for coherent $Z$-rotation errors exists for quantum low-density parity-check codes with a bounded number of logical qubits, including the surface code and other topological codes. Specifically, we show that the maximum-likelihood Pauli recovery suppresses the entanglement infidelity exponentially in the code distance up to a prefactor linear in the number of physical qubits whenever the rotation angles lie below a constant that is independent of the code size. The proof combines Fourier analysis to retain the interference among the amplitudes of coherent errors with the cluster expansion of abstract polymer models. Our results expand the theoretical foundation of quantum error correction and offer a statistical-mechanical description of quantum error correction beyond stochastic errors.

quant-pharXiv:2609.20708•Sep 18, 2026•0 citations

High Performance Entanglement-Assisted Quantum LDPC Codes Need Little Entanglement

Min-Hsiu Hsieh, Wen-Tai Yen, Li-Yi Hsu

Though the entanglement-assisted formalism provides a universal connection between a classical linear code and an entanglement-assisted quantum error-correcting code (EAQECC), the issue of maintaining large amount of pure maximally entangled states in constructing EAQECCs is a practical obstacle to its use. It is also conjectured that the power of entanglement-assisted formalism to convert those good classical codes comes from massive consumption of maximally entangled states. We show that the above conjecture is wrong by providing families of EAQECCs with an entanglement consumption rate that diminishes linearly as a function of the code length. Notably, two families of EAQECCs constructed in the paper require only one copy of maximally entangled state no matter how large the code length is. These families of EAQECCs that are constructed from classical finite geometric LDPC codes perform very well according to our numerical simulations. Our work indicates that EAQECCs are not only theoretically interesting, but also physically implementable. Finally, these high performance entanglement-assisted LDPC codes with low entanglement consumption rates allow one to construct high-performance standard QECCs with very similar parameters.

arXiv:0906.5532•IEEE Transactions on Information Theory•Feb 18, 2011•71 citations

Non-Abelian sheaf quantum LDPC codes: good and magical

Zimu Li, Fuchuan Wei, Zhengyi Han +1 more

Non-Abelian quantum codes connect quantum error correction, phases of matter, and computational resources. In this work, we develop a general framework for constructing non-Abelian quantum low-density parity-check (qLDPC) codes by gauging sheaf codes via cup products and use it to establish code families with constant encoding rate and linear distance, simultaneously achieving optimal asymptotic scaling in both parameters. In particular, we characterize explicit logical representatives of the full gauged code space, and provide a fundamental treatment of non-Abelian code distance in the sense of Knill--Laflamme based on combining expansion with cleaning to establish protection against arbitrary errors. We further construct an almost-good family with entire code spaces exhibiting long-range magic. Moreover, we use linearly addressable cup product to directly generate linearly many encoded magic states from gauging measurements of Clifford operators. These results extend good qLDPC codes beyond the Pauli stabilizer setting, lay the foundation for pursuing the no low-energy trivial magic conjecture and shed light on non-Abelian quantum phases and orders beyond geometric locality.

quant-pharXiv:2609.30159•Sep 25, 2026•0 citations

Fault-Tolerant quantum computation with constant overhead

Daniel Gottesman

What is the minimum number of extra qubits needed to perform a large fault-tolerant quantum circuit? Working in a common model of fault-tolerance, I show that in the asymptotic limit of large circuits, the ratio of physical qubits to logical qubits can be a constant. The construction makes use of quantum low-density parity check codes, and the asymptotic overhead of the protocol is equal to that of the family of quantum error-correcting codes underlying the fault-tolerant protocol.

Quantum Information and Computation•Nov 1, 2014•164 citations

Quantum topological error correction codes for quantum computation and communication

Daryus Chandra

The employment of quantum error correction codes (QECCs) within quantum computers potentially offers a reliability improvement for both quantum computation and communications tasks. However, the laws of quantum mechanics prevent us from directly invoking the mature family of classical error correction codes in the quantum domain. In order to circumvent the associated problems, the notion of quantum stabilizer codes (QSCs) was proposed in conjunction with syndrome-based decoding in the quantum regime. However, most of the powerful QSC schemes require long codewords for achieving a high performance, which potentially imposes additional challenges for implementation concerning their implementation, since their decoding may require longer than the quantum circuit's coherence time. Hence at the time of writing, QSCs exhibiting short to moderate codeword lengths are preferable. We commence by describing the pivotal problem encountered by classical error-correction codes, which also emerges when designing the QSCs, namely the intrinsic trade-off between the minimum distance versus coding rate. The complete formulation of this particular trade-off does not exist, but several lower and upper bounds can be found in the literature. It has been shown that a substantial gap can be observed between the upper and lower bound of the minimum distance, given the codeword length and the quantum coding rate. Hence, we propose an appealingly simple and invertible analytical approximation, for characterizing the trade-off between the quantum coding rate and the minimum distance of QSCs as well as their corresponding quantum bit error rate (QBER) performance upper-bound. For example, for a half-rate QSC having a codeword length of n = 128, the minimum distance is bounded by 11 < d < 22, while our approximation yields a minimum distance of d = 17 for the above-mentioned code. Next, we link this parametric study of the minimum distance versus quantum coding rate to the popular QSCs, namely to the family of quantum topological error correction codes (QTECCs). In order to construct the classical-to-quantum isomorphism, we conceive and investigate the family of classical topological error correction codes (TECCs), assuming that the bits of a codeword can be arranged in a lattice structure. We then present the classical-to-quantum isomorphism to pave the way for constructing their dual pairs in the quantum domain, which are the QTECCs. Finally, we characterize the performance of QTECCs in the face of the quantum depolarizing channel in terms of both their QBER and fidelity. Specifically, we demonstrate that for quantum coding rate rQ ~ 0, the threshold probability of the QBER below which the colour, rotated-surface, surface, and toric codes become capable of improving the uncoded QBER are given by 1.8 ×10-2, 1.3 ×10-2, 6.3 ×10-2 and 6.8 ×10-2, respectively. Furthermore, we also demonstrate that we can achieve beneficial fidelity improvements above the minimum fidelity of 0.94, 0.97 and 0.99 by employing the rQ = 1/7 colour code, the rQ = 1/9 rotated-surface code, and the rQ = 1/13 surface code, respectively. However, QSCs require additional quantum gates for their employment. Incorporating more quantum gates for performing error correction potentially introduces further sources of quantum decoherence into quantum computers. In this scenario, the primary challenge is to find the sufficient condition required by each of the quantum gates for beneficially employing QECCs in order to yield reliability improvements, given that the quantum gates utilized by the QECCs also introduce quantum decoherence. In this treatise, we approach this problem by firstly presenting the general framework of protecting quantum gates by the amalgamation of the transversal configuration of quantum gates and QSCs, which can be viewed as syndrome-based QECCs. Secondly, we provide examples of the advocated framework by invoking QTECCs for protecting both transversal Hadamard gates and controlled (CNOT) gates. Both our simulation and analytical results explicitly show that by utilizing QTECCs, the fidelity of the quantum gates can be beneficially improved, provided that quantum gates satisfying a certain minimum depolarization fidelity threshold (Fth) are available. For instance, for protecting transversal Hadamard gates, the minimum fidelity values required for each of the gates in order to attain fidelity improvements are 99.74%, 99.73%, 99.87%, and 99.86%, when they are protected by colour, rotated-surface, surface, and toric codes, respectively. Unfortunately, these specific Fth values can only be obtained for a very large number of physical qubits (n → ∞), when the quantum coding rate of the QTECCs approaches zero (rQ → 0). Finally, in order to conceive QSCs exhibiting a high quantum coding rate, we modify the construction of QTECCs for conceiving a low-complexity concatenated quantum turbocode (QTC). The above-mentioned high quantum coding rate is obtained by combining the quantum-domain version of short-block codes (SBCs) also known as single parity-check (SPC) codes as the outer codes and quantum unity-rate codes (QURCs) as the inner codes. Despite its design simplicity, the proposed QTC yields a near-hashing-bound error correction performance. For instance, compared to the best half-rate QTC known in the literature, namely the quantum irregular convolutional codes (QIrCCs) combined with the QURC scheme, which operates at the distance of D = 0.037 from the quantum hashing bound, our novel QSBC-QURC scheme can operate at the lower distance of D = 0:029. It is also worth mentioning that this is the first instantiation of QTCs capable of adjusting the quantum encoders according to the quantum coding rate required for mitigating the Pauli errors imposed by the time-variant depolarizing probabilities of the quantum channel.

•Jan 1, 2019•0 citations

Correcting Quantum Errors with Entanglement

Todd A. Brun, Igor Devetak, Min-Hsiu Hsieh

We show how entanglement shared between encoder and decoder can simplify the theory of quantum error correction. The entanglement-assisted quantum codes we describe do not require the dual-containing constraint necessary for standard quantum error-correcting codes, thus allowing us to "quantize" all of classical linear coding theory. In particular, efficient modern classical codes that attain the Shannon capacity can be made into entanglement-assisted quantum codes attaining the hashing bound (closely related to the quantum capacity). For systems without large amounts of shared entanglement, these codes can also be used as catalytic codes, in which a small amount of initial entanglement enables quantum communication.

arXiv:quant-ph/0610092•Science•Sep 29, 2006•474 citations
It is commonly believed that logical states of quantum error-correcting codes have to be highly entangled such that codes capable of correcting more errors require more entanglement to encode a qubit. Here, we show that the validity of this belief depends on the specific code and the choice of entanglement measure. To this end, we characterize a tradeoff between the code distance d quantifying the number of correctable errors, and the geometric entanglement measure of logical states quantifying their maximal overlap with product states or more general "topologically trivial" states. The maximum overlap is shown to be exponentially small in d for three families of codes: (1) low-density parity check codes with commuting check operators, (2) stabilizer codes, and (3) codes with a constant encoding rate. Equivalently, the geometric entanglement of any logical state of these codes grows at least linearly with d. On the opposite side, we also show that this distance-entanglement tradeoff does not hold in general. For any constant d and k (number of logical qubits), we show there exists a family of codes such that the geometric entanglement of some logical states approaches zero in the limit of large code length.
Threshold analyses of quantum error-correcting codes are well established for stochastic error models, in which errors occur randomly with given probabilities. However, errors in actual devices can also be coherent, such as unwanted ZZZ rotations due to imperfect control, which are not captured by stochastic error models. For the surface code, numerical studies have indicated threshold behavior even under coherent errors, but a rigorous proof of threshold existence is lacking. Here we prove that a positive threshold for coherent ZZZ-rotation errors exists for quantum low-density parity-check codes with a bounded number of logical qubits, including the surface code and other topological codes. Specifically, we show that the maximum-likelihood Pauli recovery suppresses the entanglement infidelity exponentially in the code distance up to a prefactor linear in the number of physical qubits whenever the rotation angles lie below a constant that is independent of the code size. The proof combines Fourier analysis to retain the interference among the amplitudes of coherent errors with the cluster expansion of abstract polymer models. Our results expand the theoretical foundation of quantum error correction and offer a statistical-mechanical description of quantum error correction beyond stochastic errors.
Though the entanglement-assisted formalism provides a universal connection between a classical linear code and an entanglement-assisted quantum error-correcting code (EAQECC), the issue of maintaining large amount of pure maximally entangled states in constructing EAQECCs is a practical obstacle to its use. It is also conjectured that the power of entanglement-assisted formalism to convert those good classical codes comes from massive consumption of maximally entangled states. We show that the above conjecture is wrong by providing families of EAQECCs with an entanglement consumption rate that diminishes linearly as a function of the code length. Notably, two families of EAQECCs constructed in the paper require only one copy of maximally entangled state no matter how large the code length is. These families of EAQECCs that are constructed from classical finite geometric LDPC codes perform very well according to our numerical simulations. Our work indicates that EAQECCs are not only theoretically interesting, but also physically implementable. Finally, these high performance entanglement-assisted LDPC codes with low entanglement consumption rates allow one to construct high-performance standard QECCs with very similar parameters.
Non-Abelian quantum codes connect quantum error correction, phases of matter, and computational resources. In this work, we develop a general framework for constructing non-Abelian quantum low-density parity-check (qLDPC) codes by gauging sheaf codes via cup products and use it to establish code families with constant encoding rate and linear distance, simultaneously achieving optimal asymptotic scaling in both parameters. In particular, we characterize explicit logical representatives of the full gauged code space, and provide a fundamental treatment of non-Abelian code distance in the sense of Knill--Laflamme based on combining expansion with cleaning to establish protection against arbitrary errors. We further construct an almost-good family with entire code spaces exhibiting long-range magic. Moreover, we use linearly addressable cup product to directly generate linearly many encoded magic states from gauging measurements of Clifford operators. These results extend good qLDPC codes beyond the Pauli stabilizer setting, lay the foundation for pursuing the no low-energy trivial magic conjecture and shed light on non-Abelian quantum phases and orders beyond geometric locality.
The employment of quantum error correction codes (QECCs) within quantum computers potentially offers a reliability improvement for both quantum computation and communications tasks. However, the laws of quantum mechanics prevent us from directly invoking the mature family of classical error correction codes in the quantum domain. In order to circumvent the associated problems, the notion of quantum stabilizer codes (QSCs) was proposed in conjunction with syndrome-based decoding in the quantum regime. However, most of the powerful QSC schemes require long codewords for achieving a high performance, which potentially imposes additional challenges for implementation concerning their implementation, since their decoding may require longer than the quantum circuit's coherence time. Hence at the time of writing, QSCs exhibiting short to moderate codeword lengths are preferable. We commence by describing the pivotal problem encountered by classical error-correction codes, which also emerges when designing the QSCs, namely the intrinsic trade-off between the minimum distance versus coding rate. The complete formulation of this particular trade-off does not exist, but several lower and upper bounds can be found in the literature. It has been shown that a substantial gap can be observed between the upper and lower bound of the minimum distance, given the codeword length and the quantum coding rate. Hence, we propose an appealingly simple and invertible analytical approximation, for characterizing the trade-off between the quantum coding rate and the minimum distance of QSCs as well as their corresponding quantum bit error rate (QBER) performance upper-bound. For example, for a half-rate QSC having a codeword length of n = 128, the minimum distance is bounded by 11 < d < 22, while our approximation yields a minimum distance of d = 17 for the above-mentioned code. Next, we link this parametric study of the minimum distance versus quantum coding rate to the popular QSCs, namely to the family of quantum topological error correction codes (QTECCs). In order to construct the classical-to-quantum isomorphism, we conceive and investigate the family of classical topological error correction codes (TECCs), assuming that the bits of a codeword can be arranged in a lattice structure. We then present the classical-to-quantum isomorphism to pave the way for constructing their dual pairs in the quantum domain, which are the QTECCs. Finally, we characterize the performance of QTECCs in the face of the quantum depolarizing channel in terms of both their QBER and fidelity. Specifically, we demonstrate that for quantum coding rate rQ ~ 0, the threshold probability of the QBER below which the colour, rotated-surface, surface, and toric codes become capable of improving the uncoded QBER are given by 1.8 ×10-2, 1.3 ×10-2, 6.3 ×10-2 and 6.8 ×10-2, respectively. Furthermore, we also demonstrate that we can achieve beneficial fidelity improvements above the minimum fidelity of 0.94, 0.97 and 0.99 by employing the rQ = 1/7 colour code, the rQ = 1/9 rotated-surface code, and the rQ = 1/13 surface code, respectively. However, QSCs require additional quantum gates for their employment. Incorporating more quantum gates for performing error correction potentially introduces further sources of quantum decoherence into quantum computers. In this scenario, the primary challenge is to find the sufficient condition required by each of the quantum gates for beneficially employing QECCs in order to yield reliability improvements, given that the quantum gates utilized by the QECCs also introduce quantum decoherence. In this treatise, we approach this problem by firstly presenting the general framework of protecting quantum gates by the amalgamation of the transversal configuration of quantum gates and QSCs, which can be viewed as syndrome-based QECCs. Secondly, we provide examples of the advocated framework by invoking QTECCs for protecting both transversal Hadamard gates and controlled (CNOT) gates. Both our simulation and analytical results explicitly show that by utilizing QTECCs, the fidelity of the quantum gates can be beneficially improved, provided that quantum gates satisfying a certain minimum depolarization fidelity threshold (Fth) are available. For instance, for protecting transversal Hadamard gates, the minimum fidelity values required for each of the gates in order to attain fidelity improvements are 99.74%, 99.73%, 99.87%, and 99.86%, when they are protected by colour, rotated-surface, surface, and toric codes, respectively. Unfortunately, these specific Fth values can only be obtained for a very large number of physical qubits (n → ∞), when the quantum coding rate of the QTECCs approaches zero (rQ → 0). Finally, in order to conceive QSCs exhibiting a high quantum coding rate, we modify the construction of QTECCs for conceiving a low-complexity concatenated quantum turbocode (QTC). The above-mentioned high quantum coding rate is obtained by combining the quantum-domain version of short-block codes (SBCs) also known as single parity-check (SPC) codes as the outer codes and quantum unity-rate codes (QURCs) as the inner codes. Despite its design simplicity, the proposed QTC yields a near-hashing-bound error correction performance. For instance, compared to the best half-rate QTC known in the literature, namely the quantum irregular convolutional codes (QIrCCs) combined with the QURC scheme, which operates at the distance of D = 0.037 from the quantum hashing bound, our novel QSBC-QURC scheme can operate at the lower distance of D = 0:029. It is also worth mentioning that this is the first instantiation of QTCs capable of adjusting the quantum encoders according to the quantum coding rate required for mitigating the Pauli errors imposed by the time-variant depolarizing probabilities of the quantum channel.
We show how entanglement shared between encoder and decoder can simplify the theory of quantum error correction. The entanglement-assisted quantum codes we describe do not require the dual-containing constraint necessary for standard quantum error-correcting codes, thus allowing us to "quantize" all of classical linear coding theory. In particular, efficient modern classical codes that attain the Shannon capacity can be made into entanglement-assisted quantum codes attaining the hashing bound (closely related to the quantum capacity). For systems without large amounts of shared entanglement, these codes can also be used as catalytic codes, in which a small amount of initial entanglement enables quantum communication.