Quantum Reverse Shannon Theorem Revisited
Zahra Baghali Khanian, Debbie Leung
TL;DR
This work broadens the quantum reverse Shannon landscape by unifying classical and quantum channel simulations into a single framework that accommodates general mixed-state inputs and encoder-side side information. It introduces two rate functionals, $a(\rho^{AR},\gamma)$ and $u(\rho^{AR},\gamma)$, to characterize entanglement-assisted and unassisted simulation rates, proving the optimal entanglement-assisted rate equals $a(\rho^{AR},0)$ and providing a regularized unassisted rate via $u(\rho^{AR},\gamma)$. The results recover known special cases, such as identity channels and classical inputs, and connect to KI decomposition and quantum state redistribution to establish achievability and converse bounds. The study highlights the role of decoupling in channel simulation with mixed states and points to open questions on computability, single-letter characterizations, and resource trade-offs between entanglement, randomness, and quantum communication.
Abstract
Reverse Shannon theorems concern the use of noiseless channels to simulate noisy ones. This is dual to the usual noisy channel coding problem, where a noisy (classical or quantum) channel is used to simulate a noiseless one. The Quantum Reverse Shannon Theorem is extensively studied by Bennett and co-authors in [IEEE Trans. Inf. Theory, 2014]. They present two distinct theorems, each tailored to classical and quantum channel simulations respectively, explaining the fact that these theorems remain incomparable due to the fundamentally different nature of correlations they address. The authors leave as an open question the challenge of formulating a unified theorem that could encompass the principles of both and unify them. We unify these two theorems into a single, comprehensive theorem, extending it to the most general case by considering correlations with a general mixed-state reference system. Furthermore, we unify feedback and non-feedback theorems by simulating a general side information system at the encoder side.
