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.
10 pages, 5 figures. Theorem 7 and Corollaries 8 and 9 added. Accepted version
References in corpus (6)
- Correcting Quantum Errors with Entanglement
- A Sharp Fannes-type Inequality for the von Neumann Entropy
- Optimal Entanglement Formulas for Entanglement-Assisted Quantum Coding
- Entanglement-Assisted Quantum Communication Beating the Quantum Singleton Bound
- Entanglement-Assisted Quantum Error-Correcting Codes with Imperfect Ebits
- On Subsystem Codes Beating the Hamming or Singleton Bound
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