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.

Capacity Bounds via Operator Space Methods

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

An upper bound on quantum capacity of unital channels

Capacity Theorems for Quantum Multiple Access Channels

On Quantum Communication Channels with Constrained Inputs

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

Energy-constrained private and quantum capacities of quantum channels

Tightening continuity bounds on entropies and bounds on quantum capacities

Methods for Estimating Capacities and Rates of Gaussian Quantum Channels

Quantum Channel Capacities Per Unit Cost

Classical capacity of quantum non-Gaussian attenuator and amplifier channels

Capacity Regions and Bounds for a Class of Z-interference Channels

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

Algorithmic complexity of quantum capacity

Bounding the Graph Capacity with Quantum Mechanics and Finite Automata

General bounds for sender-receiver capacities in multipoint quantum communications

The Generalized Capacity of a Quantum Channel

Classical Capacity of A Quantum Multiple Access Channel

Generic nonadditivity of quantum capacity in simple channels

On Simultaneous Information and Energy Transmission through Quantum Channels

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