We establish a general quantum fluctuation-response inequality that bounds the difference in expectation values of an observable between two quantum states via the quantum relative entropy. For observables with bounded spectra, we further strengthen this result by exploiting the sub-Gaussian property, and explicitly relate our bound to the sub-Gaussian norm of the observable. This allows us to derive a novel non-asymptotic bound on the sum of statistical errors in quantum hypothesis testing, which complements and can be more informative than existing bounds. We also demonstrate the versatility of our results through problems such as thermodynamic hypothesis testing and quantum speed limits in physics, and generalizability of algorithms in machine learning.We establish a general quantum fluctuation-response inequality that bounds the difference in expectation values of an observable between two quantum states via the quantum relative entropy. For observables with bounded spectra, we further strengthen this result by exploiting the sub-Gaussian property, and explicitly relate our bound to the sub-Gaussian norm of the observable. This allows us to derive a novel non-asymptotic bound on the sum of statistical errors in quantum hypothesis testing, which complements and can be more informative than existing bounds. We also demonstrate the versatility of our results through problems such as thermodynamic hypothesis testing and quantum speed limits in physics, and generalizability of algorithms in machine learning.

arXiv:2203.10501Mar 20, 20220 citations

From asymptotic hypothesis testing to entropy inequalities

Christoph Hirche

This thesis addresses the interplay between asymptotic hypothesis testing and entropy inequalities in quantum information theory. In the first part of the thesis we focus on hypothesis testing. We consider two main settings; one can either fix quantum states while optimizing over measurements or fix a measurement and evaluate its capability to discriminate by optimizing over states. In the former setting, we prove a composite quantum Stein's Lemma. We also discuss how this gives an operational interpretation to several quantities of interest. For the latter, we give the optimal asymptotic error rates in several symmetric and asymmetric settings, and discuss properties and examples of these rates. In the second part, the focus is shifted to entropy inequalities. We start with recoverability inequalities. Using tools developed to prove the composite Stein's Lemma, we give a strengthened lower bound on the conditional quantum mutual information (CQMI). Next, we give an operational interpretation to the relative entropy of recovery via hypothesis testing. Then, we discuss some recent counterexamples, which show that the relative entropy of recovery is not a lower bound on the CQMI; we provide more counterexamples where some systems are classical. We then turn to a seemingly different type of entropy inequalities called bounds on information combining. Using a particular recoverability inequality, we give a lower bound and additionally conjecture optimal lower and upper bounds. Furthermore, we discuss implications of our bounds to the finite blocklength behavior of Polar codes. Finally, we discuss Renyi- $2$ entropy inequalities for Gaussian states, by exploiting their formulation as log-det inequalities to find recoverability related bounds on several quantities. We apply this to Gaussian steerability and entanglement measures, proving their monogamy and several other features.This thesis addresses the interplay between asymptotic hypothesis testing and entropy inequalities in quantum information theory. In the first part of the thesis we focus on hypothesis testing. We consider two main settings; one can either fix quantum states while optimizing over measurements or fix a measurement and evaluate its capability to discriminate by optimizing over states. In the former setting, we prove a composite quantum Stein's Lemma. We also discuss how this gives an operational interpretation to several quantities of interest. For the latter, we give the optimal asymptotic error rates in several symmetric and asymmetric settings, and discuss properties and examples of these rates. In the second part, the focus is shifted to entropy inequalities. We start with recoverability inequalities. Using tools developed to prove the composite Stein's Lemma, we give a strengthened lower bound on the conditional quantum mutual information (CQMI). Next, we give an operational interpretation to the relative entropy of recovery via hypothesis testing. Then, we discuss some recent counterexamples, which show that the relative entropy of recovery is not a lower bound on the CQMI; we provide more counterexamples where some systems are classical. We then turn to a seemingly different type of entropy inequalities called bounds on information combining. Using a particular recoverability inequality, we give a lower bound and additionally conjecture optimal lower and upper bounds. Furthermore, we discuss implications of our bounds to the finite blocklength behavior of Polar codes. Finally, we discuss Renyi-$2$ entropy inequalities for Gaussian states, by exploiting their formulation as log-det inequalities to find recoverability related bounds on several quantities. We apply this to Gaussian steerability and entanglement measures, proving their monogamy and several other features.

arXiv:1812.05142Dec 12, 20183 citations

Quantum hypothesis testing in many-body systems

Jan De Boer A, Victor Godet, Jani Kastikainen +1 more

One of the key tasks in physics is to perform measurements in order to determine the state of a system. Often, measurements are aimed at determining the values of physical parameters, but one can also ask simpler questions, such as ``is the system in state A or state B?''. In quantum mechanics, the latter type of measurements can be studied and optimized using the framework of quantum hypothesis testing. In many cases one can explicitly find the optimal measurement in the limit where one has simultaneous access to a large number n of identical copies of the system, and estimate the expected error as n becomes large. Interestingly, error estimates turn out to involve various quantum information theoretic quantities such as relative entropy, thereby giving these quantities operational meaning. In this paper we consider the application of quantum hypothesis testing to quantum many-body systems and quantum field theory. We review some of the necessary background material, and study in some detail the situation where the two states one wants to distinguish are parametrically close. The relevant error estimates involve quantities such as the variance of relative entropy, for which we prove a new inequality. We explore the optimal measurement strategy for spin chains and two-dimensional conformal field theory, focusing on the task of distinguishing reduced density matrices of subsystems. The optimal strategy turns out to be somewhat cumbersome to implement in practice, and we discuss a possible alternative strategy and the corresponding errors.One of the key tasks in physics is to perform measurements in order to determine the state of a system. Often, measurements are aimed at determining the values of physical parameters, but one can also ask simpler questions, such as ``is the system in state A or state B?''. In quantum mechanics, the latter type of measurements can be studied and optimized using the framework of quantum hypothesis testing. In many cases one can explicitly find the optimal measurement in the limit where one has simultaneous access to a large number n of identical copies of the system, and estimate the expected error as n becomes large. Interestingly, error estimates turn out to involve various quantum information theoretic quantities such as relative entropy, thereby giving these quantities operational meaning. In this paper we consider the application of quantum hypothesis testing to quantum many-body systems and quantum field theory. We review some of the necessary background material, and study in some detail the situation where the two states one wants to distinguish are parametrically close. The relevant error estimates involve quantities such as the variance of relative entropy, for which we prove a new inequality. We explore the optimal measurement strategy for spin chains and two-dimensional conformal field theory, focusing on the task of distinguishing reduced density matrices of subsystems. The optimal strategy turns out to be somewhat cumbersome to implement in practice, and we discuss a possible alternative strategy and the corresponding errors.

arXiv:2007.11711SciPost Physics CoreJun 23, 20218 citations

Strong Converse and Stein's Lemma in the Quantum Hypothesis Testing

Tomohiro Ogawa, Hiroshi Nagaoka

The hypothesis testing problem of two quantum states is treated. We show a new inequality between the error of the first kind and the second kind, which complements the result of Hiai and Petz to establish the quantum version of Stein's lemma. The inequality is also used to show a bound on the first kind error when the power exponent for the second kind error exceeds the quantum relative entropy, and the bound yields the strong converse in the quantum hypothesis testing. Finally, we discuss the relation between the bound and the power exponent derived by Han and Kobayashi in the classical hypothesis testing.The hypothesis testing problem of two quantum states is treated. We show a new inequality between the error of the first kind and the second kind, which complements the result of Hiai and Petz to establish the quantum version of Stein's lemma. The inequality is also used to show a bound on the first kind error when the power exponent for the second kind error exceeds the quantum relative entropy, and the bound yields the strong converse in the quantum hypothesis testing. Finally, we discuss the relation between the bound and the power exponent derived by Han and Kobayashi in the classical hypothesis testing.

Jun 25, 199936 citations

Hypothesis testing and entropies of quantum channels

Xiao Yuan

Hypothesis testing is an important task in mathematics and physics. Hypothesis testing of two random variables is related to the Kullback-Leibler divergence of the two corresponding distributions. Similarly, quantum hypothesis testing of two quantum states is characterized by the quantum relative entropy. While a quantum state can be abstracted as a device that only has outputs but no inputs, the most general quantum device is a quantum channel that also has inputs. In this work, we extend hypothesis testing to general quantum channels. In both the one-shot and asymptotic scenario, we study several quantifiers for hypothesis testing under different assumptions of how the channels are used. As the quantifiers are analogs to the quantum relative entropy of states, we call them the quantum relative entropy of channels. Then, we define the entropy of channels based on relative entropies from the target channel to the completely depolarizing channel. We investigate the properties that the quantum relative entropy of channels should satisfy, and we study its interplay with entanglement. With the broad applications of the quantum relative entropy of states, our results can be useful for understanding general properties of quantum channels.Hypothesis testing is an important task in mathematics and physics. Hypothesis testing of two random variables is related to the Kullback-Leibler divergence of the two corresponding distributions. Similarly, quantum hypothesis testing of two quantum states is characterized by the quantum relative entropy. While a quantum state can be abstracted as a device that only has outputs but no inputs, the most general quantum device is a quantum channel that also has inputs. In this work, we extend hypothesis testing to general quantum channels. In both the one-shot and asymptotic scenario, we study several quantifiers for hypothesis testing under different assumptions of how the channels are used. As the quantifiers are analogs to the quantum relative entropy of states, we call them the quantum relative entropy of channels. Then, we define the entropy of channels based on relative entropies from the target channel to the completely depolarizing channel. We investigate the properties that the quantum relative entropy of channels should satisfy, and we study its interplay with entanglement. With the broad applications of the quantum relative entropy of states, our results can be useful for understanding general properties of quantum channels.

arXiv:1807.05958Physical Review AMar 14, 201929 citations

Strong Converse and Stein's Lemma in Quantum Hypothesis Testing

Tomohiro Ogawa, Hiroshi Nagaoka

arXiv:quant-ph/9906090WORLD SCIENTIFIC eBooksFeb 1, 200519 citations

2

entropy inequalities for Gaussian states, by exploiting their formulation as log-det inequalities to find recoverability related bounds on several quantities. We apply this to Gaussian steerability and entanglement measures, proving their monogamy and several other features.