The strong converse exponent of discriminating infinite-dimensional quantum states

Abstract

The sandwiched Rényi divergences of two finite-dimensional density operators quantify their asymptotic distinguishability in the strong converse domain. This establishes the sandwiched Rényi divergences as the operationally relevant ones among the infinitely many quantum extensions of the classical Rényi divergences for Rényi parameter $\alpha >1$. The known proof of this goes by showing that the sandwiched Rényi divergence coincides with the regularized measured Rényi divergence, which in turn is proved by asymptotic pinching, a fundamentally finite-dimensional technique. Thus, while the notion of the sandwiched Rényi divergences was extended recently to density operators on an infinite-dimensional Hilbert space (even for states of a von Neumann algebra), these quantities were so far lacking an operational interpretation similar to the finite-dimensional case, and it has also been open whether they coincide with the regularized measured Rényi divergences. In this paper we fill this gap by answering both questions in the positive for density operators on an infinite-dimensional Hilbert space, using a simple finite-dimensional approximation technique. We also initiate the study of the sandwiched Rényi divergences, and the related problem of the strong converse exponent, for pairs of positive semi-definite operators that are not necessarily trace-class. This is interesting from the purely mathematical point of view of extending the concept of Rényi (and other) divergences to settings beyond the standard one of positive trace-class operators (positive normal functionals in the von Neumann algebra setting). In this spirit, we also discuss the definition and some properties of the more general family of Rényi $(\alpha ,z)$-divergences of positive semi-definite operators on an infinite-dimensional separable Hilbert space.

arXiv comment39 pages. v4: Some proofs simplified, some statements improved, some typos corrected. Submitted version. v5: Remark IV.7 on the strong converse of Stein's lemma corrected

References in corpus (21)

• On quantum Renyi entropies: a new generalization and some properties
• 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
• Asymptotic Error Rates in Quantum Hypothesis Testing
• Monotonicity of a relative Rényi entropy
• 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
• On the quantum Renyi relative entropies and related capacity formulas
• alpha-z-relative Renyi entropies
• Optimal sequence of quantum measurements in the sense of Stein's lemma in quantum hypothesis testing
• Relating different quantum generalizations of the conditional Renyi entropy
• On Variational Expressions for Quantum Relative Entropies
• Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics
• Error exponents in hypothesis testing for correlated states on a spin chain
• From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture (New title)
• Rényi divergences as weighted non-commutative vector valued $L_p$-spaces
• Rényi relative entropies and noncommutative $L_p$-spaces
• Divergence radii and the strong converse exponent of classical-quantum channel coding with constant compositions
• Quantum $f$-divergences in von Neumann algebras I. Standard $f$-divergences
• Rényi relative entropies and noncommutative $L_p$-spaces II
• Quantum Rényi divergences and the strong converse exponent of state discrimination in operator algebras

Cited by in corpus (4)

• Quantum Rényi divergences and the strong converse exponent of state discrimination in operator algebras
• A remark on non-commutative $L^p$-spaces
• Sufficiency of Rényi divergences
• All non-Gaussian states are advantageous for channel discrimination: Robustness of non-convex continuous variable quantum resources