Abstract:Achievability in information theory refers to demonstrating a coding strategy that accomplishes a prescribed performance benchmark for the underlying task. In quantum information theory, the crafted Hayashi-Nagaoka operator inequality is an essential technique in proving a wealth of one-shot achievability bounds since it effectively resembles a union bound in various problems. In this work, we show that the pretty-good measurement naturally plays a role as the union bound as well. A judicious application of it considerably simplifies the derivation of one-shot achievability for classical-quantum (c-q) channel coding via an elegant three-line proof. The proposed analysis enjoys the following favorable features. (i) The established one-shot bound admits a closed-form expression as in the celebrated Holevo-Helstrom Theorem. Namely, the error probability of sending $M$ messages through a c-q channel is upper bounded by the minimum error of distinguishing the joint channel input-output state against $(M-1)$ decoupled products states. (ii) Our bound directly yields asymptotic results in the large deviation, small deviation, and moderate deviation regimes in a unified manner. (iii) The coefficients incurred in applying the Hayashi-Nagaoka operator inequality are no longer needed. Hence, the derived one-shot bound sharpens existing results relying on the Hayashi-Nagaoka operator inequality. In particular, we obtain the tightest achievable $\epsilon$-one-shot capacity for c-q channel coding heretofore, improving the third-order coding rate in the asymptotic scenario. (iv) Our result holds for infinite-dimensional Hilbert space. (v) The proposed method applies to deriving one-shot achievability for classical data compression with quantum side information, entanglement-assisted classical communication over quantum channels, and various quantum network information-processing protocols.

One-shot and asymptotic classical capacity in general physical theories

One-shot Capacity bounds on the Simultaneous Transmission of Classical and Quantum Information

Abelian Group Codes for Classical and Classical-Quantum Channels: One-shot and Asymptotic Rate Bounds

Capacity Bounds via Operator Space Methods

Information capacity of quantum communication under natural physical assumptions

Capacity Theorems for Quantum Multiple Access Channels: Classical-Quantum and Quantum-Quantum Capacity Regions

Bounding the Graph Capacity with Quantum Mechanics and Finite Automata

Classical Capacity of A Quantum Multiple Access Channel

The Generalized Capacity of a Quantum Channel

Capacity Theorems for Quantum Multiple Access Channels

On Quantum Communication Channels with Constrained Inputs

Simple and Tighter Derivation of Achievability for Classical Communication over Quantum Channels

Second-Order Asymptotics for the Classical Capacity of Image-Additive Quantum Channels

Asymptotic Estimates in Information Theory with Non-Vanishing Error Probabilities

Classical capacity of quantum non-Gaussian attenuator and amplifier channels

Multiple Quantum Hypothesis Testing Expressions and Classical-Quantum Channel Converse Bounds

Which entropy for general physical theories?

Second Order Asymptotics for Quantum Hypothesis Testing

Reliability Function of Classical-Quantum Channels

Distributed Quantum Hypothesis Testing under Zero-rate Communication Constraints

One-Shot Min-Entropy Calculation And Its Application To Quantum Cryptography