Tight relations and equivalences between smooth relative entropies

Abstract

The precise one-shot characterisation of operational tasks in classical and quantum information theory relies on different forms of smooth entropic quantities. A particularly important connection is between the hypothesis testing relative entropy and the smooth max-relative entropy, which together govern many operational settings. We first strengthen this connection into a type of equivalence: we show that the hypothesis testing relative entropy is equivalent to a variant of the smooth max-relative entropy based on the information spectrum divergence, which can be alternatively understood as a measured smooth max-relative entropy. Furthermore, we improve a fundamental lemma due to Datta and Renner that connects the different variants of the smooth max-relative entropy, introducing a modified proof technique based on matrix geometric means and a tightened gentle measurement lemma. We use the unveiled connections and tools to strictly improve on previously known one-shot bounds and duality relations between the smooth max-relative entropy and the hypothesis testing relative entropy, establishing provably tight bounds between them. The results then allow us to refine other divergence inequalities, in particular sharpening bounds that connect the max-relative entropy with Rényi divergences.

37+7 pages. v4: major improvements and additions (Lemma 10, Lemma 11, Proposition 17); all inequalities derived in the main result (Theorem 12) are now tight

References in corpus (34)

• On quantum Renyi entropies: a new generalization and some properties
• The Quantum Chernoff Bound
• Strong converse for the classical capacity of entanglement-breaking and Hadamard channels via a sandwiched Renyi relative entropy
• Min- and Max- Relative Entropies and a New Entanglement Monotone
• Coding Theorem and Strong Converse for Quantum Channels
• Quantum Information Processing with Finite Resources -- Mathematical Foundations
• One-Shot Classical-Quantum Capacity and Hypothesis Testing
• A Fully Quantum Asymptotic Equipartition Property
• A Hierarchy of Information Quantities for Finite Block Length Analysis of Quantum Tasks
• Error Exponent in Asymmetric Quantum Hypothesis Testing and Its Application to Classical-Quantum Channel coding
• Quantum hypothesis testing and the operational interpretation of the quantum Renyi relative entropies
• The quantum capacity of channels with arbitrarily correlated noise
• The Quantum Reverse Shannon Theorem based on One-Shot Information Theory
• One-shot decoupling
• An Information-Spectrum Approach to Classical and Quantum Hypothesis Testing for Simple Hypotheses
• A Generalization of Quantum Stein's Lemma
• One-Shot Operational Quantum Resource Theory
• A reversible theory of entanglement and its relation to the second law
• Smooth Renyi Entropies and the Quantum Information Spectrum
• One shot entanglement assisted classical and quantum communication over noisy quantum channels: A hypothesis testing and convex split approach
• Quantum message compression with applications
• On the power of PPT-preserving and non-signalling codes
• Benchmarking one-shot distillation in general quantum resource theories
• One-Shot Classical Data Compression with Quantum Side Information and the Distillation of Common Randomness or Secret Keys
• Quantum Channel Simulation and the Channel's Smooth Max-Information
• Resource theory of asymmetric distinguishability
• Second-order asymptotics for source coding, dense coding and pure-state entanglement conversions
• A smooth entropy approach to quantum hypothesis testing and the classical capacity of quantum channels
• Generalized Entropies
• Tight Exponential Analysis for Smoothing the Max-Relative Entropy and for Quantum Privacy Amplification
• On simultaneous min-entropy smoothing
• A minimax approach to one-shot entropy inequalities
• Quantum Pufferfish Privacy: A Flexible Privacy Framework for Quantum Systems
• Simple and Tighter Derivation of Achievability for Classical Communication over Quantum Channels