A solution of the generalised quantum Stein's lemma

Abstract

We solve the generalised quantum Stein's lemma, proving that the Stein exponent associated with entanglement testing, namely, the quantum hypothesis testing task of distinguishing between $n$ copies of an entangled state ${\rho }_{AB}$ and a generic separable state ${\sigma }_{A^n:B^n}$, equals the regularised relative entropy of entanglement. Not only does this determine the ultimate performance of entanglement testing, but it also establishes the reversibility of all quantum resource theories under asymptotically resource non-generating operations, with the regularised relative entropy of resource governing the asymptotic transformation rate between any two quantum states. As a by-product, we prove that the same Stein exponent can also be achieved when the null hypothesis is only approximately i.i.d., in the sense that it can be modelled by an 'almost power state'. To solve the problem we introduce two techniques. The first is a procedure that we call 'blurring', which, informally, transforms a permutationally symmetric state by making it more evenly spread across nearby type classes. Blurring alone suffices to prove the generalised Stein's lemma in the fully classical case, but not in the quantum case. Our second technical innovation, therefore, is to perform a second quantisation step to lift the problem to an infinite-dimensional bosonic quantum system; we then solve it there by using techniques from continuous-variable quantum information. Rather remarkably, the second-quantised action of the blurring map corresponds to a pure loss channel. A careful examination of this second quantisation step is the core of our quantum solution.

arXiv comment59 pages, 2 figures. In v2 I corrected several typos and added the new Section VI, where the generalised quantum Stein's lemma is extended to almost power states. Finally, v3 is very close to the published version

References in corpus (57)

• Quantum entanglement
• Mixed State Entanglement and Quantum Error Correction
• A computable measure of entanglement
• Quantum information with continuous variables
• Concentrating Partial Entanglement by Local Operations
• Purification of Noisy Entanglement and Faithful Teleportation via Noisy Channels
• Bell nonlocality
• Quantifying Entanglement
• Quantum Coherence as a Resource
• The logarithmic negativity: A full entanglement monotone that is not convex
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Entanglement Measures and Purification Procedures
• Quantum Resource Theories
• The role of quantum information in thermodynamics --- a topical review
• Superadditivity of communication capacity using entangled inputs
• The Quantum Chernoff Bound
• The Resource Theory of Stabilizer Computation
• Min- and Max- Relative Entropies and a New Entanglement Monotone
• Entanglement Measures under Symmetry
• Thermodynamics and the Measure of Entanglement
• Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask)
• Quantum Communication With Zero-Capacity Channels
• The asymptotic entanglement cost of preparing a quantum state
• Extremality of Gaussian quantum states
• One-Shot Classical-Quantum Capacity and Hypothesis Testing
• A Hierarchy of Information Quantities for Finite Block Length Analysis of Quantum Tasks
• Tight uniform continuity bounds for quantum entropies: conditional entropy, relative entropy distance and energy constraints
• Asymptotic Error Rates in Quantum Hypothesis Testing
• The Chernoff lower bound for symmetric quantum hypothesis testing
• Entanglement Theory and the Second Law of Thermodynamics
• Quantum Capacities of Bosonic Channels
• Tabletop experiments for quantum gravity: a user's manual
• The quantum capacity of channels with arbitrarily correlated noise
• One-mode Bosonic Gaussian channels: a full weak-degradability classification
• Operator-sum Representation for Bosonic Gaussian Channels
• A Generalization of Quantum Stein's Lemma
• Are the laws of entanglement theory thermodynamical?
• Irreversibility in asymptotic manipulations of entanglement
• Optimal Bell tests do not require maximally entangled states
• A reversible theory of entanglement and its relation to the second law
• Smooth Renyi Entropies and the Quantum Information Spectrum
• Entanglement Cost of Quantum Channels
• A quantum version of Sanov's theorem
• Entanglement cost in practical scenarios
• Second-order asymptotics for source coding, dense coding and pure-state entanglement conversions
• No second law of entanglement manipulation after all
• Entanglement cost and quantum channel simulation
• Min- and Max-Entropy in Infinite Dimensions
• On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources
• On Composite Quantum Hypothesis Testing
• Testing the quantum nature of gravity without entanglement
• Hypothesis Testing on Invariant Subspaces of the Symmetric Group, Part I - Quantum Sanov's Theorem and Arbitrarily Varying Sources
• All phase-space linear bosonic channels are approximately Gaussian dilatable
• A minimax approach to one-shot entropy inequalities
• Distillable entanglement under dually non-entangling operations
• Attainability and lower semi-continuity of the relative entropy of entanglement, and variations on the theme
• Continuity of the relative entropy of resource

Cited by in corpus (7)

• Second Law of Entanglement Manipulation with Entanglement Battery
• Asymptotic quantification of entanglement with a single copy
• Adversarial quantum channel discrimination
• Universal tester for multiple independence testing and classical-quantum arbitrarily varying multiple access channel
• One-Shot Distributed Source Simulation: As Quantum as it Can Get
• Macroscopicity and observational deficit in states, operations, and correlations
• The coherent measurement cost of coherence distillation