Tight any-shot quantum decoupling

TL;DR

A novel one-shot decoupling theorem formulated in terms of quantum relative entropy distance is proved, with the decoupling error bounded by two sandwiched R\'enyi conditional entropies.

Abstract

Quantum information decoupling is a fundamental primitive in quantum information theory, underlying various applications in quantum physics. We prove a novel one-shot decoupling theorem formulated in terms of quantum relative entropy distance, with the decoupling error bounded by two sandwiched Rényi conditional entropies. In the asymptotic i.i.d. setting of standard information decoupling via partial trace, we show that this bound is ensemble-tight in quantum relative entropy distance and thereby yields a characterization of the associated decoupling error exponent in the low-cost-rate regime. Leveraging this framework, we derive several operational applications formulated in terms of purified distance: (i) a single-letter expression for the exact error exponent of quantum state merging in terms of Petz-Rényi conditional entropies, and (ii) regularized expressions for the achievable error exponent of entanglement distillation and quantum channel coding in terms of Petz-Rényi coherent informations. We further prove that these achievable bounds are tight for maximally correlated states and generalized dephasing channels, respectively, for the high distillation-rate/coding-rate regimes.

Theorems & Definitions (23)

• Definition 1
• Proposition 2
• Theorem 3
• Corollary 4
• Theorem 5
• Corollary 6
• Theorem 7
• Remark 8
• Lemma 9
• Theorem 10