Entropic proofs of Singleton bounds for quantum error-correcting codes
arXiv:2010.07902 · doi:10.1109/TIT.2022.3149291
Abstract
We show that a relatively simple reasoning using von Neumann entropy inequalities yields a robust proof of the quantum Singleton bound for quantum error-correcting codes (QECC). For entanglement-assisted quantum error-correcting codes (EAQECC) and catalytic codes (CQECC), a type of generalized quantum Singleton bound [Brun et al., IEEE Trans. Inf. Theory 60(6):3073--3089 (2014)] was believed to hold for many years until recently one of us found a counterexample [MG, Phys. Rev. A 103, 020601 (2021)]. Here, we rectify this state of affairs by proving the correct generalized quantum Singleton bound, extending the above-mentioned proof method for QECC; we also prove information-theoretically tight bounds on the entanglement-communication tradeoff for EAQECC. All of the bounds relate block length and code length for given minimum distance and we show that they are robust, in the sense that they hold with small perturbations for codes which only correct most of the erasure errors of less than letters. In contrast to the classical case, the bounds take on qualitatively different forms depending on whether the minimum distance is smaller or larger than half the block length. We also provide a propagation rule: any pure QECC yields an EAQECC with the same distance and dimension, but of shorter block length.
arXiv comment10 pages, 5 figures. Theorem 7 and Corollaries 8 and 9 added. Accepted version
References in corpus (21)
- Mixed State Entanglement and Quantum Error Correction
- A Theory of Quantum Error-Correcting Codes
- Correcting Quantum Errors with Entanglement
- Codes for the Quantum Erasure Channel
- A Sharp Fannes-type Inequality for the von Neumann Entropy
- Tight uniform continuity bounds for quantum entropies: conditional entropy, relative entropy distance and energy constraints
- LCD codes over are as good as linear codes for q at least four
- A Resource Framework for Quantum Shannon Theory
- Optimal Entanglement Formulas for Entanglement-Assisted Quantum Coding
- How entangled can two couples get?
- Catalytic quantum error correction
- Entanglement-assisted communication of classical and quantum information
- Entanglement-assisted quantum error-correcting codes over arbitrary finite fields
- Linear Programming Bounds for Entanglement-Assisted Quantum Error-Correcting Codes by Split Weight Enumerators
- Entanglement-Assisted Quantum Communication Beating the Quantum Singleton Bound
- Entanglement-Assisted Quantum Error-Correcting Codes with Imperfect Ebits
- Limitations of Noisy Reversible Computation
- Quantum Codes of Maximal Distance and Highly Entangled Subspaces
- Relative Entropy Convergence for Depolarizing Channels
- On Subsystem Codes Beating the Hamming or Singleton Bound
- Approximate quantum error correction
Cited by in corpus (12)
- Entanglement-Assisted Quantum Communication Beating the Quantum Singleton Bound
- How Much Entanglement Does a Quantum Code Need?
- Binary optimal linear codes with various hull dimensions and entanglement-assisted QECC
- Noise-adapted qudit codes for amplitude-damping noise
- Singleton Bounds for Entanglement-Assisted Classical and Quantum Error Correcting Codes
- Codes for entanglement-assisted classical communication
- Semidefinite programming bounds on the size of entanglement-assisted codeword stabilized quantum codes
- Entanglement-assisted Quantum Reed-Muller Tensor Product Codes
- Bounds on concatenated entanglement-assisted quantum error-correcting codes
- Steane enlargement of Entanglement-Assisted Quantum Error-Correcting Codes
- Multivariate Goppa codes
- Capacity of Summation over a Symmetric Quantum Erasure MAC with Partially Replicated Inputs