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.

Comments on “Analytical Algorithm for Capacities of Classical and Classical-Quantum Channels”

Comments on the Boundary of the Capacity Region of Multiaccess Fading Channels

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

Methods for Estimating Capacities and Rates of Gaussian Quantum Channels

Capacity Theorems for Quantum Multiple Access Channels

Classical Capacity of A Quantum Multiple Access Channel

Classical capacity of quantum non-Gaussian attenuator and amplifier channels

Universal classical-quantum superposition coding and universal classical-quantum multiple access channel coding

Revisit the Arimoto-Blahut algorithm: New Analysis with Approximation

Capacity Bounds via Operator Space Methods

A Survey on Quantum Channel Capacities

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

Gallager Bound of Classical-Quantum Channel Coding

Algorithmic complexity of quantum capacity

The private capacity of quantum channels is not additive

Non-convexity of private capacity and classical environment-assisted capacity of a quantum channel

Quantum Entanglement Capacity with Classical Feedback

Quantum Analogues for Two Simple Classical Channels

On quantum capacity of erasure channel assisted by back classical communication

Generic nonadditivity of quantum capacity in simple channels

On the Capacity of Gaussian Relay Channels