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.

On Quantum Communication Channels with Constrained Inputs

Capacity Bounds via Operator Space Methods

Energy-constrained private and quantum capacities of quantum channels

Ultimate communication capacity of quantum optical channels by solving the Gaussian minimum-entropy conjecture

Quantum Channel Capacities Per Unit Cost

On Simultaneous Information and Energy Transmission through Quantum Channels

Classical capacity of quantum non-Gaussian attenuator and amplifier channels

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

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

Enhanced energy-constrained quantum communication over bosonic Gaussian channels

On zero-error communication via quantum channels in the presence of noiseless feedback

Postselected communication over quantum channels

Generic nonadditivity of quantum capacity in simple channels

Fully quantum arbitrarily varying channel coding for entanglement-assisted communication

The information-carrying capacity of certain quantum channels

Quantum superadditivity in linear optics networks: sending bits via multiple access Gaussian channels

On approximation of quantum channels

An upper bound on quantum capacity of unital channels

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

Capacity Theorems for Quantum Multiple Access Channels

Quantum Relay Channels