Abstract:A fundamental quantity of interest in Shannon theory, classical or quantum, is the error exponent of a given channel $W$ and rate $R$: the constant $E(W,R)$ which governs the exponential decay of decoding error when using ever larger optimal codes of fixed rate $R$ to communicate over ever more (memoryless) instances of a given channel $W$. Nearly matching lower and upper bounds are well-known for classical channels. Here I show a lower bound on the error exponent of communication over arbitrary classical-quantum (CQ) channels which matches Dalai's sphere-packing upper bound [IEEE TIT 59, 8027 (2013)] for rates above a critical value, exactly analogous to the case of classical channels. This proves a conjecture made by Holevo in his investigation of the problem [IEEE TIT 46, 2256 (2000)]. Unlike the classical case, however, the argument does not proceed via a refined analysis of a suitable decoder, but instead by leveraging a bound by Hayashi on the error exponent of the cryptographic task of privacy amplification [CMP 333, 335 (2015)]. This bound is then related to the coding problem via tight entropic uncertainty relations and Gallager's method of constructing capacity-achieving parity-check codes for arbitrary channels. Along the way, I find a lower bound on the error exponent of the task of compression of classical information relative to quantum side information that matches the sphere-packing upper bound of Cheng et al. [IEEE TIT 67, 902 (2021)]. In turn, the polynomial prefactors to the sphere-packing bound found by Cheng et al. may be translated to the privacy amplification problem, sharpening a recent result by Li, Yao, and Hayashi [IEEE TIT 69, 1680 (2023)], at least for linear randomness extractors.

An Upper Bound on the Error Exponent in Lossless Source Coding with a Helper

Computation of the optimal error exponent function for fixed-length lossy source coding in discrete memoryless sources

On Zero-Error Source Coding with Feedback

Two-Way Lossy Compression of Product Sources with a Helper

Tight Exponential Strong Converse for Source Coding Problem with Encoded Side Information

Coding of Gauss-Markov Sources with Side Information at the Decoder

Optimum Overflow Thresholds in Variable-Length Source Coding Allowing Non-Vanishing Error Probability

Computing the optimal error exponential function for fixed-length lossy coding in discrete memoryless sources

Mismatched Decoding: Error Exponents, Second-Order Rates and Saddlepoint Approximations

On the Rate Loss of Multiple Sources Codes in the Wyner–Ziv Setting

Lossy Compression of Exponential and Laplacian Sources using Expansion Coding

A Lower Bound on the Sum Rate of Multiple Description Coding with Symmetric Distortion Constraints

Error exponent of activated non-signaling assisted classical-quantum channel coding

STRONG CODING THEOREM AND ASYMPTOTIC ERROR EXPONENT OF ARBITRARILY VARYING SOURCE

Optimum Trade-offs Between the Error Exponent and the Excess-Rate Exponent of Variable-Rate Slepian-Wolf Coding

Tight lower bound on the error exponent of classical-quantum channels

Output-Constrained Lossy Source Coding With Application to Rate-Distortion-Perception Theory

Exact Asymptotics for the Random Coding Error Probability

On the Linearization of Optimal Rates for Independent Zero-Error Source and Channel Problems

Critical Behavior in Lossy Source Coding

Indirect Lossy Source Coding with Observed Source Reconstruction: Nonasymptotic Bounds and Second-Order Asymptotics