-
Error bounds for composite quantum hypothesis testing and a new characterization of the weighted Kubo-Ando geometric means
Authors:
Péter E. Frenkel,
Milán Mosonyi,
Péter Vrana,
Mihály Weiner
Abstract:
The optimal error exponents of binary composite i.i.d. state discrimination are trivially bounded by the worst-case pairwise exponents of discriminating individual elements of the sets representing the two hypotheses, and in the finite-dimensional classical case, these bounds in fact give exact single-copy expressions for the error exponents. In contrast, in the non-commutative case, the optimal e…
▽ More
The optimal error exponents of binary composite i.i.d. state discrimination are trivially bounded by the worst-case pairwise exponents of discriminating individual elements of the sets representing the two hypotheses, and in the finite-dimensional classical case, these bounds in fact give exact single-copy expressions for the error exponents. In contrast, in the non-commutative case, the optimal exponents are only known to be expressible in terms of regularized divergences, resulting in formulas that, while conceptually relevant, practically not very useful. In this paper, we develop further an approach initiated in [Mosonyi, Szilágyi, Weiner, IEEE Trans. Inf. Th. 68(2):1032--1067, 2022] to give improved single-copy bounds on the error exponents by comparing not only individual states from the two hypotheses, but also various unnormalized positive semi-definite operators associated to them. Here, we show a number of equivalent characterizations of such operators giving valid bounds, and show that in the commutative case, considering weighted geometric means of the states, and in the case of two states per hypothesis, considering weighted Kubo-Ando geometric means, are optimal for this approach. As a result, we give a new characterization of the weighted Kubo-Ando geometric means as the only $2$-variable operator geometric means that are block additive, tensor multiplicative, and satisfy the arithmetic-geometric mean inequality. We also extend our results to composite quantum channel discrimination, and show an analogous optimality property of the weighted Kubo-Ando geometric means of two quantum channels, a notion that seems to be new. We extend this concept to defining the notion of superoperator perspective function and establish some of its basic properties, which may be of independent interest.
△ Less
Submitted 17 April, 2025; v1 submitted 17 March, 2025;
originally announced March 2025.
-
Barycentric bounds on the error exponents of quantum hypothesis exclusion
Authors:
Kaiyuan Ji,
Hemant K. Mishra,
Milán Mosonyi,
Mark M. Wilde
Abstract:
Quantum state exclusion is an operational task that has significance in studying foundational questions related to interpreting quantum theory. In such a task, one is given a system whose state is randomly selected from a finite set, and the goal is to identify a state from the set that is not the true state of the system. An error, i.e., an unsuccessful exclusion, occurs if and only if the state…
▽ More
Quantum state exclusion is an operational task that has significance in studying foundational questions related to interpreting quantum theory. In such a task, one is given a system whose state is randomly selected from a finite set, and the goal is to identify a state from the set that is not the true state of the system. An error, i.e., an unsuccessful exclusion, occurs if and only if the state identified is the true state. In this paper, we study the optimal error probability of quantum state exclusion and its error exponent -- the rate at which the error probability decays asymptotically -- from an information-theoretic perspective. Our main finding is a single-letter upper bound on the error exponent of state exclusion given by the multivariate log-Euclidean Chernoff divergence, and we prove that this improves upon the best previously known upper bound. We also extend our analysis to the more complicated task of quantum channel exclusion, and we establish a single-letter and efficiently computable upper bound on its error exponent, even assuming the use of adaptive strategies. We derive both upper bounds, for state and channel exclusion, based on one-shot analysis and formulate them as a type of multivariate divergence measure called a barycentric Chernoff divergence. Moreover, our result on channel exclusion has implications in two important special cases. First, for the special case of two hypotheses, our upper bound provides the first known efficiently computable upper bound on the error exponent of symmetric binary channel discrimination. Second, for the special case of classical channels, we show that our upper bound is achievable by a nonadaptive strategy, thus solving the exact error exponent of classical channel exclusion and generalising a similar result on symmetric binary classical channel discrimination.
△ Less
Submitted 27 November, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Some continuity properties of quantum Rényi divergences
Authors:
Milán Mosonyi,
Fumio Hiai
Abstract:
In the problem of binary quantum channel discrimination with product inputs, the supremum of all type II error exponents for which the optimal type I errors go to zero is equal to the Umegaki channel relative entropy, while the infimum of all type II error exponents for which the optimal type I errors go to one is equal to the infimum of the sandwiched channel Rényi $α$-divergences over all $α>1$.…
▽ More
In the problem of binary quantum channel discrimination with product inputs, the supremum of all type II error exponents for which the optimal type I errors go to zero is equal to the Umegaki channel relative entropy, while the infimum of all type II error exponents for which the optimal type I errors go to one is equal to the infimum of the sandwiched channel Rényi $α$-divergences over all $α>1$. We prove the equality of these two threshold values (and therefore the strong converse property for this problem) using a minimax argument based on a newly established continuity property of the sandwiched Rényi divergences. Motivated by this, we give a detailed analysis of the continuity properties of various other quantum (channel) Rényi divergences, which may be of independent interest.
△ Less
Submitted 27 June, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Geometric relative entropies and barycentric Rényi divergences
Authors:
Milán Mosonyi,
Gergely Bunth,
Péter Vrana
Abstract:
We give systematic ways of defining monotone quantum relative entropies and (multi-variate) quantum Rényi divergences starting from a set of monotone quantum relative entropies.
Despite its central importance in information theory, only two additive and monotone quantum extensions of the classical relative entropy have been known so far, the Umegaki and the Belavkin-Staszewski relative entropies…
▽ More
We give systematic ways of defining monotone quantum relative entropies and (multi-variate) quantum Rényi divergences starting from a set of monotone quantum relative entropies.
Despite its central importance in information theory, only two additive and monotone quantum extensions of the classical relative entropy have been known so far, the Umegaki and the Belavkin-Staszewski relative entropies. Here we give a general procedure to construct monotone and additive quantum relative entropies from a given one with the same properties; in particular, when starting from the Umegaki relative entropy, this gives a new one-parameter family of monotone and additive quantum relative entropies interpolating between the Umegaki and the Belavkin-Staszewski ones on full-rank states.
In a different direction, we use a generalization of a classical variational formula to define multi-variate quantum Rényi quantities corresponding to any finite set of quantum relative entropies $(D^{q_x})_{x\in X}$ and signed probability measure $P$, as $$ Q_P^{\mathrm{b},\mathbf{q}}((ρ_x)_{x\in X}):=\sup_{τ\ge 0}\left\{\text{Tr}\,τ-\sum_xP(x)D^{q_x}(τ\|ρ_x)\right\}. $$ We show that monotone quantum relative entropies define monotone Rényi quantities whenever $P$ is a probability measure. With the proper normalization, the negative logarithm of the above quantity gives a quantum extension of the classical Rényi $α$-divergence in the 2-variable case ($X=\{0,1\}$, $P(0)=α$). We show that if both $D^{q_0}$ and $D^{q_1}$ are monotone and additive quantum relative entropies, and at least one of them is strictly larger than the Umegaki relative entropy then the resulting barycentric Rényi divergences are strictly between the log-Euclidean and the maximal Rényi divergences, and hence they are different from any previously studied quantum Rényi divergence.
△ Less
Submitted 18 April, 2024; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Super-exponential distinguishability of correlated quantum states
Authors:
Gergely Bunth,
Gábor Maróti,
Milán Mosonyi,
Zoltán Zimborás
Abstract:
In the problem of asymptotic binary i.i.d. state discrimination, the optimal asymptotics of the type I and the type II error probabilities is in general an exponential decrease to zero as a function of the number of samples; the set of achievable exponent pairs is characterized by the quantum Hoeffding bound theorem. A super-exponential decrease for both types of error probabilities is only possib…
▽ More
In the problem of asymptotic binary i.i.d. state discrimination, the optimal asymptotics of the type I and the type II error probabilities is in general an exponential decrease to zero as a function of the number of samples; the set of achievable exponent pairs is characterized by the quantum Hoeffding bound theorem. A super-exponential decrease for both types of error probabilities is only possible in the trivial case when the two states are orthogonal, and hence can be perfectly distinguished using only a single copy of the system.
In this paper we show that a qualitatively different behaviour can occur when there is correlation between the samples. Namely, we use gauge-invariant and translation-invariant quasi-free states on the algebra of the canonical anti-commutation relations to exhibit pairs of states on an infinite spin chain with the properties that a) all finite-size restrictions of the states have invertible density operators, and b) the type I and the type II error probabilities both decrease to zero at least with the speed $e^{-nc\log n}$ with some positive constant $c$, i.e., with a super-exponential speed in the sample size $n$. Particular examples of such states include the ground states of the $XX$ model corresponding to different transverse magnetic fields. In fact, we prove our result in the setting of binary composite hypothesis testing, and hence it can be applied to prove super-exponential distinguishability of the hypotheses that the transverse magnetic field is above a certain threshold vs. that it is below a strictly lower value.
△ Less
Submitted 23 May, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Test-measured Rényi divergences
Authors:
Milán Mosonyi,
Fumio Hiai
Abstract:
One possibility of defining a quantum Rényi $α$-divergence of two quantum states is to optimize the classical Rényi $α$-divergence of their post-measurement probability distributions over all possible measurements (measured Rényi divergence), and maybe regularize these quantities over multiple copies of the two states (regularized measured Rényi $α$-divergence). A key observation behind the theore…
▽ More
One possibility of defining a quantum Rényi $α$-divergence of two quantum states is to optimize the classical Rényi $α$-divergence of their post-measurement probability distributions over all possible measurements (measured Rényi divergence), and maybe regularize these quantities over multiple copies of the two states (regularized measured Rényi $α$-divergence). A key observation behind the theorem for the strong converse exponent of asymptotic binary quantum state discrimination is that the regularized measured Rényi $α$-divergence coincides with the sandwiched Rényi $α$-divergence when $α>1$. Moreover, it also follows from the same theorem that to achieve this, it is sufficient to consider $2$-outcome measurements (tests) for any number of copies (this is somewhat surprising, as achieving the measured Rényi $α$-divergence for $n$ copies might require a number of measurement outcomes that diverges in $n$, in general). In view of this, it seems natural to expect the same when $α<1$; however, we show that this is not the case. In fact, we show that even for commuting states (classical case) the regularized quantity attainable using $2$-outcome measurements is in general strictly smaller than the Rényi $α$-divergence (which is unique in the classical case). In the general quantum case this shows that the above "regularized test-measured" Rényi $α$-divergence is not even a quantum extension of the classical Rényi divergence when $α<1$, in sharp contrast to the $α>1$ case.
△ Less
Submitted 5 July, 2022; v1 submitted 14 January, 2022;
originally announced January 2022.
-
Quantum Rényi divergences and the strong converse exponent of state discrimination in operator algebras
Authors:
Fumio Hiai,
Milán Mosonyi
Abstract:
The sandwiched Rényi $α$-divergences of two finite-dimensional quantum states play a distinguished role among the many quantum versions of Rényi divergences as the tight quantifiers of the trade-off between the two error probabilities in the strong converse domain of state discrimination. In this paper we show the same for the sandwiched Rényi divergences of two normal states on an injective von N…
▽ More
The sandwiched Rényi $α$-divergences of two finite-dimensional quantum states play a distinguished role among the many quantum versions of Rényi divergences as the tight quantifiers of the trade-off between the two error probabilities in the strong converse domain of state discrimination. In this paper we show the same for the sandwiched Rényi divergences of two normal states on an injective von Neumann algebra, thereby establishing the operational significance of these quantities. Moreover, we show that in this setting, again similarly to the finite-dimensional case, the sandwiched Rényi divergences coincide with the regularized measured Rényi divergences, another distinctive feature of the former quantities. Our main tool is an approximation theorem (martingale convergence) for the sandwiched Rényi divergences, which may be used for the extension of various further results from the finite-dimensional to the von Neumann algebra setting.
We also initiate the study of the sandwiched Rényi divergences of pairs of states on a $C^*$-algebra, and show that the above operational interpretation, as well as the equality to the regularized measured Rényi divergence, holds more generally for pairs of states on a nuclear $C^*$-algebra.
△ Less
Submitted 14 January, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
The strong converse exponent of discriminating infinite-dimensional quantum states
Authors:
Milán Mosonyi
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 $α>1$. The known proof of this goes by showing that the sandwi…
▽ More
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 $α>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 $(α,z)$-divergences of positive semi-definite operators on an infinite-dimensional separable Hilbert space.
△ Less
Submitted 1 June, 2022; v1 submitted 16 July, 2021;
originally announced July 2021.
-
On the error exponents of binary state discrimination with composite hypotheses
Authors:
Milán Mosonyi,
Zsombor Szilágyi,
Mihály Weiner
Abstract:
The trade-off between the two types of errors in binary state discrimination may be quantified in the asymptotics by various error exponents. In the case of simple i.i.d. hypotheses, each of these exponents is equal to a divergence (pseudo-distance) of the two states. In the case of composite hypotheses, represented by sets of states $R,S$, one always has the inequality…
▽ More
The trade-off between the two types of errors in binary state discrimination may be quantified in the asymptotics by various error exponents. In the case of simple i.i.d. hypotheses, each of these exponents is equal to a divergence (pseudo-distance) of the two states. In the case of composite hypotheses, represented by sets of states $R,S$, one always has the inequality $\mathrm{e}(R\|S)\le \mathrm{E}(R\|S)$, where $\mathrm{e}$ is the exponent, $\mathrm{E}$ is the corresponding divergence, and the question is whether equality holds. The relation between the composite exponents and the worst pairwise exponents may be influenced by a number of factors: the type of exponents considered; whether the problem is classical or quantum; the cardinality and the geometric properties of the sets representing the hypotheses; and, on top of the above, possibly whether the underlying Hilbert space is finite- or infinite-dimensional.
Our main contribution in this paper is clarifying this landscape considerably: We exhibit explicit examples for hitherto unstudied cases where the above inequality fails to hold with equality, while we also prove equality for various general classes of state discrimination problems. In particular, we show that equality may fail for any of the error exponents even in the classical case, if the system is allowed to be infinite-dimensional, and the alternative hypothesis contains countably infinitely many states. Moreover, we show that in the quantum case strict inequality is the generic behavior in the sense that, starting from any pair of non-commuting density operators of any dimension, and for any of the exponents, it is possible to construct an example with a simple null-hypothesis and an alternative hypothesis consisting of only two states, such that strict inequality holds for the given exponent.
△ Less
Submitted 12 May, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Divergence radii and the strong converse exponent of classical-quantum channel coding with constant compositions
Authors:
Milán Mosonyi,
Tomohiro Ogawa
Abstract:
There are different inequivalent ways to define the Rényi capacity of a channel for a fixed input distribution $P$. In a 1995 paper Csiszár has shown that for classical discrete memoryless channels there is a distinguished such quantity that has an operational interpretation as a generalized cutoff rate for constant composition channel coding. We show that the analogous notion of Rényi capacity, d…
▽ More
There are different inequivalent ways to define the Rényi capacity of a channel for a fixed input distribution $P$. In a 1995 paper Csiszár has shown that for classical discrete memoryless channels there is a distinguished such quantity that has an operational interpretation as a generalized cutoff rate for constant composition channel coding. We show that the analogous notion of Rényi capacity, defined in terms of the sandwiched quantum Rényi divergences, has the same operational interpretation in the strong converse problem of classical-quantum channel coding. Denoting the constant composition strong converse exponent for a memoryless classical-quantum channel $W$ with composition $P$ and rate $R$ as $sc(W,R,P)$, our main result is that \[ sc(W,R,P)=\sup_{α>1}\frac{α-1}α\left[R-χ_α^*(W,P)\right], \] where $χ_α^*(W,P)$ is the $P$-weighted sandwiched Rényi divergence radius of the image of the channel.
△ Less
Submitted 8 June, 2020; v1 submitted 26 November, 2018;
originally announced November 2018.
-
Different quantum f-divergences and the reversibility of quantum operations
Authors:
Fumio Hiai,
Milan Mosonyi
Abstract:
The concept of classical $f$-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; m…
▽ More
The concept of classical $f$-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz' quasi-entropies (standard $f$-divergences), Matsumoto's maximal $f$-divergences, measured $f$-divergences, and sandwiched and $α$-$z$-Rényi divergences.
In this paper we give a systematic overview of the various concepts of quantum $f$-divergences with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum $f$-divergence by a quantum operation. In particular, we compare the standard and the maximal $f$-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum $f$-divergences are strictly different for non-commuting operators unless $f$ is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard $f$-divergences.
We also study the monotonicity of the $α$-$z$-Rényi divergences under the special class of bistochastic maps that leave one of the arguments of the Rényi divergence invariant, and determine domains of the parameters $α,z$ where monotonicity holds, and where the preservation of the $α$-$z$-Rényi divergence implies the reversibility of the quantum operation.
△ Less
Submitted 27 June, 2017; v1 submitted 11 April, 2016;
originally announced April 2016.
-
Strong converse exponent for classical-quantum channel coding
Authors:
Milan Mosonyi,
Tomohiro Ogawa
Abstract:
We determine the exact strong converse exponent of classical-quantum channel coding, for every rate above the Holevo capacity. Our form of the exponent is an exact analogue of Arimoto's, given as a transform of the Renyi capacities with parameters alpha>1. It is important to note that, unlike in the classical case, there are many inequivalent ways to define the Renyi divergence of states, and henc…
▽ More
We determine the exact strong converse exponent of classical-quantum channel coding, for every rate above the Holevo capacity. Our form of the exponent is an exact analogue of Arimoto's, given as a transform of the Renyi capacities with parameters alpha>1. It is important to note that, unlike in the classical case, there are many inequivalent ways to define the Renyi divergence of states, and hence the Rényi capacities of channels. Our exponent is in terms of the Renyi capacities corresponding to a version of the Renyi divergences that has been introduced recently in [Müller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J. Math. Phys. 54, 122203, (2013)], and [Wilde, Winter, Yang, Commun. Math. Phys. 331, (2014)]. Our result adds to the growing body of evidence that this new version is the natural definition for the purposes of strong converse problems.
△ Less
Submitted 9 July, 2018; v1 submitted 11 September, 2014;
originally announced September 2014.
-
Strong converse exponents for a quantum channel discrimination problem and quantum-feedback-assisted communication
Authors:
Tom Cooney,
Milán Mosonyi,
Mark M. Wilde
Abstract:
This paper studies the difficulty of discriminating between an arbitrary quantum channel and a "replacer" channel that discards its input and replaces it with a fixed state. We show that, in this particular setting, the most general adaptive discrimination strategies provide no asymptotic advantage over non-adaptive tensor-power strategies. This conclusion follows by proving a quantum Stein's lemm…
▽ More
This paper studies the difficulty of discriminating between an arbitrary quantum channel and a "replacer" channel that discards its input and replaces it with a fixed state. We show that, in this particular setting, the most general adaptive discrimination strategies provide no asymptotic advantage over non-adaptive tensor-power strategies. This conclusion follows by proving a quantum Stein's lemma for this channel discrimination setting, showing that a constant bound on the Type I error leads to the Type II error decreasing to zero exponentially quickly at a rate determined by the maximum relative entropy registered between the channels. The strong converse part of the lemma states that any attempt to make the Type II error decay to zero at a rate faster than the channel relative entropy implies that the Type I error necessarily converges to one. We then refine this latter result by identifying the optimal strong converse exponent for this task. As a consequence of these results, we can establish a strong converse theorem for the quantum-feedback-assisted capacity of a channel, sharpening a result due to Bowen. Furthermore, our channel discrimination result demonstrates the asymptotic optimality of a non-adaptive tensor-power strategy in the setting of quantum illumination, as was used in prior work on the topic. The sandwiched Renyi relative entropy is a key tool in our analysis. Finally, by combining our results with recent results of Hayashi and Tomamichel, we find a novel operational interpretation of the mutual information of a quantum channel N as the optimal type II error exponent when discriminating between a large number of independent instances of N and an arbitrary "worst-case" replacer channel chosen from the set of all replacer channels.
△ Less
Submitted 26 February, 2016; v1 submitted 14 August, 2014;
originally announced August 2014.
-
Two approaches to obtain the strong converse exponent of quantum hypothesis testing for general sequences of quantum states
Authors:
Milán Mosonyi,
Tomohiro Ogawa
Abstract:
We present two general approaches to obtain the strong converse rate of quantum hypothesis testing for correlated quantum states. One approach requires that the states satisfy a certain factorization property; typical examples of such states are the temperature states of translation-invariant finite-range interactions on a spin chain. The other approach requires the differentiability of a regulari…
▽ More
We present two general approaches to obtain the strong converse rate of quantum hypothesis testing for correlated quantum states. One approach requires that the states satisfy a certain factorization property; typical examples of such states are the temperature states of translation-invariant finite-range interactions on a spin chain. The other approach requires the differentiability of a regularized Rényi $α$-divergence in the parameter $α$; typical examples of such states include temperature states of non-interacting fermionic lattice systems, and classical irreducible Markov chains. In all cases, we get that the strong converse exponent is equal to the Hoeffding anti-divergence, which in turn is obtained from the regularized Rényi divergences of the two states.
△ Less
Submitted 8 July, 2016; v1 submitted 14 July, 2014;
originally announced July 2014.
-
Upper bounds on the error probabilities and asymptotic error exponents in quantum multiple state discrimination
Authors:
Koenraad M. R. Audenaert,
Milán Mosonyi
Abstract:
We consider the multiple hypothesis testing problem for symmetric quantum state discrimination between r given states σ_1,...,σ_r. By splitting up the overall test into multiple binary tests in various ways we obtain a number of upper bounds on the optimal error probability in terms of the binary error probabilities. These upper bounds allow us to deduce various bounds on the asymptotic error rate…
▽ More
We consider the multiple hypothesis testing problem for symmetric quantum state discrimination between r given states σ_1,...,σ_r. By splitting up the overall test into multiple binary tests in various ways we obtain a number of upper bounds on the optimal error probability in terms of the binary error probabilities. These upper bounds allow us to deduce various bounds on the asymptotic error rate, for which it has been hypothesised that it is given by the multi-hypothesis quantum Chernoff bound (or Chernoff divergence) C(σ_1,...,σ_r), as recently introduced by Nussbaum and Szkoła in analogy with Salikhov's classical multi-hypothesis Chernoff bound. This quantity is defined as the minimum of the pairwise binary Chernoff divergences min_{j<k}C(σ_j,σ_k). It was known already that the optimal asymptotic rate must lie between C/3 and C, and that for certain classes of sets of states the bound is actually achieved. It was known to be achieved, in particular, when the state pair that is closest together in Chernoff divergence is more than 6 times closer than the next closest pair. Our results improve on this in two ways. Firstly, we show that the optimal asymptotic rate must lie between C/2 and C. Secondly, we show that the Chernoff bound is already achieved when the closest state pair is more than 2 times closer than the next closest pair. We also show that the Chernoff bound is achieved when at least $r-2$ of the states are pure, improving on a previous result by Nussbaum and Szkoła. Finally, we indicate a number of potential pathways along which a proof (or disproof) may eventually be found that the multi-hypothesis quantum Chernoff bound is always achieved.
△ Less
Submitted 14 October, 2014; v1 submitted 29 January, 2014;
originally announced January 2014.
-
Coding theorems for compound problems via quantum Rényi divergences
Authors:
Milán Mosonyi
Abstract:
Recently, a new notion of quantum Rényi divergences has been introduced by Müller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J.Math.Phys. 54:122203, (2013), and Wilde, Winter, Yang, Commun.Math.Phys. 331:593--622, (2014), that has found a number of applications in strong converse theorems. Here we show that these new Rényi divergences are also useful tools to obtain coding theorems in the direct…
▽ More
Recently, a new notion of quantum Rényi divergences has been introduced by Müller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J.Math.Phys. 54:122203, (2013), and Wilde, Winter, Yang, Commun.Math.Phys. 331:593--622, (2014), that has found a number of applications in strong converse theorems. Here we show that these new Rényi divergences are also useful tools to obtain coding theorems in the direct domain of various problems. We demonstrate this by giving new and considerably simplified proofs for the achievability parts of Stein's lemma with composite null hypothesis, universal state compression, and the classical capacity of compound classical-quantum channels, based on single-shot error bounds already available in the literature, and simple properties of the quantum Rényi divergences. The novelty of our proofs is that the composite/compound coding theorems can be almost directly obtained from the single-shot error bounds, with essentially the same effort as for the case of simple null-hypothesis/single source/single channel.
△ Less
Submitted 23 June, 2016; v1 submitted 28 October, 2013;
originally announced October 2013.
-
Quantum hypothesis testing and the operational interpretation of the quantum Renyi relative entropies
Authors:
Milan Mosonyi,
Tomohiro Ogawa
Abstract:
We show that the new quantum extension of Renyi's α-relative entropies, introduced recently by Muller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J. Math. Phys. 54, 122203, (2013), and Wilde, Winter, Yang, Commun. Math. Phys. 331, (2014), have an operational interpretation in the strong converse problem of quantum hypothesis testing. Together with related results for the direct part of quantum hy…
▽ More
We show that the new quantum extension of Renyi's α-relative entropies, introduced recently by Muller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J. Math. Phys. 54, 122203, (2013), and Wilde, Winter, Yang, Commun. Math. Phys. 331, (2014), have an operational interpretation in the strong converse problem of quantum hypothesis testing. Together with related results for the direct part of quantum hypothesis testing, known as the quantum Hoeffding bound, our result suggests that the operationally relevant definition of the quantum Renyi relative entropies depends on the parameter α: for α<1, the right choice seems to be the traditional definition, whereas for α>1 the right choice is the newly introduced version.
As a sideresult, we show that the new Renyi α-relative entropies are asymptotically attainable by measurements for α>1, and give a new simple proof for their monotonicity under completely positive trace-preserving maps.
△ Less
Submitted 27 September, 2014; v1 submitted 12 September, 2013;
originally announced September 2013.
-
The structure of Renyi entropic inequalities
Authors:
Noah Linden,
Milán Mosonyi,
Andreas Winter
Abstract:
We investigate the universal inequalities relating the alpha-Renyi entropies of the marginals of a multi-partite quantum state. This is in analogy to the same question for the Shannon and von Neumann entropy (alpha=1) which are known to satisfy several non-trivial inequalities such as strong subadditivity. Somewhat surprisingly, we find for 0<alpha<1, that the only inequality is non-negativity: In…
▽ More
We investigate the universal inequalities relating the alpha-Renyi entropies of the marginals of a multi-partite quantum state. This is in analogy to the same question for the Shannon and von Neumann entropy (alpha=1) which are known to satisfy several non-trivial inequalities such as strong subadditivity. Somewhat surprisingly, we find for 0<alpha<1, that the only inequality is non-negativity: In other words, any collection of non-negative numbers assigned to the nonempty subsets of n parties can be arbitrarily well approximated by the alpha-entropies of the 2^n-1 marginals of a quantum state.
For alpha>1 we show analogously that there are no non-trivial homogeneous (in particular no linear) inequalities. On the other hand, it is known that there are further, non-linear and indeed non-homogeneous, inequalities delimiting the alpha-entropies of a general quantum state.
Finally, we also treat the case of Renyi entropies restricted to classical states (i.e. probability distributions), which in addition to non-negativity are also subject to monotonicity. For alpha different from 0 and 1 we show that this is the only other homogeneous relation.
△ Less
Submitted 7 December, 2012; v1 submitted 2 December, 2012;
originally announced December 2012.
-
Quantum f-divergences and error correction
Authors:
F. Hiai,
M. Mosonyi,
D. Petz,
C. Beny
Abstract:
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the qu…
▽ More
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under the dual of Schwarz maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Holder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.
△ Less
Submitted 27 June, 2017; v1 submitted 15 August, 2010;
originally announced August 2010.
-
Generalized relative entropies and the capacity of classical-quantum channels
Authors:
Milan Mosonyi,
Nilanjana Datta
Abstract:
We provide lower and upper bounds on the information transmission capacity of one single use of a classical-quantum channel. The lower bound is expressed in terms of the Hoeffding capacity, that we define similarly to the Holevo capacity, but replacing the relative entropy with the Hoeffding distance. Similarly, our upper bound is in terms of a quantity obtained by replacing the relative entropy…
▽ More
We provide lower and upper bounds on the information transmission capacity of one single use of a classical-quantum channel. The lower bound is expressed in terms of the Hoeffding capacity, that we define similarly to the Holevo capacity, but replacing the relative entropy with the Hoeffding distance. Similarly, our upper bound is in terms of a quantity obtained by replacing the relative entropy with the recently introduced max-relative entropy in the definition of the divergence radius of a channel.
△ Less
Submitted 24 July, 2009; v1 submitted 20 October, 2008;
originally announced October 2008.
-
Hypothesis testing for Gaussian states on bosonic lattices
Authors:
Milan Mosonyi
Abstract:
The asymptotic state discrimination problem with simple hypotheses is considered for a cubic lattice of bosons. A complete solution is provided for the problems of the Chernoff and the Hoeffding bounds and Stein's lemma in the case when both hypotheses are gauge-invariant Gaussian states with translation-invariant quasi-free parts.
The asymptotic state discrimination problem with simple hypotheses is considered for a cubic lattice of bosons. A complete solution is provided for the problems of the Chernoff and the Hoeffding bounds and Stein's lemma in the case when both hypotheses are gauge-invariant Gaussian states with translation-invariant quasi-free parts.
△ Less
Submitted 5 December, 2008; v1 submitted 11 August, 2008;
originally announced August 2008.
-
Asymptotic distinguishability measures for shift-invariant quasi-free states of fermionic lattice systems
Authors:
M. Mosonyi,
F. Hiai,
T. Ogawa,
M. Fannes
Abstract:
We apply the recent results of F. Hiai, M. Mosonyi and T. Ogawa [arXiv:0707.2020, to appear in J. Math. Phys.] to the asymptotic hypothesis testing problem of locally faithful shift-invariant quasi-free states on a CAR algebra. We use a multivariate extension of Szego's theorem to show the existence of the mean Chernoff and Hoeffding bounds and the mean relative entropy, and show that these quan…
▽ More
We apply the recent results of F. Hiai, M. Mosonyi and T. Ogawa [arXiv:0707.2020, to appear in J. Math. Phys.] to the asymptotic hypothesis testing problem of locally faithful shift-invariant quasi-free states on a CAR algebra. We use a multivariate extension of Szego's theorem to show the existence of the mean Chernoff and Hoeffding bounds and the mean relative entropy, and show that these quantities arise as the optimal error exponents in suitable settings.
△ Less
Submitted 10 March, 2008; v1 submitted 5 February, 2008;
originally announced February 2008.
-
Free energy density for mean field perturbation of states of a one-dimensional spin chain
Authors:
Fumio Hiai,
Milan Mosonyi,
Hiromichi Ohno,
Denes Petz
Abstract:
Motivated by recent developments on large deviations in states of the spin chain, we reconsider the work of Petz, Raggio and Verbeure in 1989 on the variational expression of free energy density in the presence of a mean field type perturbation. We extend their results from the product state case to the Gibbs state case in the setting of translation-invariant interactions of finite range. In the…
▽ More
Motivated by recent developments on large deviations in states of the spin chain, we reconsider the work of Petz, Raggio and Verbeure in 1989 on the variational expression of free energy density in the presence of a mean field type perturbation. We extend their results from the product state case to the Gibbs state case in the setting of translation-invariant interactions of finite range. In the special case of a locally faithful quantum Markov state, we clarify the relation between two different kinds of free energy densities (or pressure functions).
△ Less
Submitted 26 January, 2008; v1 submitted 28 June, 2007;
originally announced June 2007.
-
Large deviations and Chernoff bound for certain correlated states on a spin chain
Authors:
Fumio Hiai,
Milan Mosonyi,
Tomohiro Ogawa
Abstract:
In this paper we extend the results of Lenci and Rey-Bellet on the large deviation upper bound of the distribution measures of local Hamiltonians with respect to a Gibbs state, in the setting of translation-invariant finite-range interactions. We show that a certain factorization property of the reference state is sufficient for a large deviation upper bound to hold and that this factorization p…
▽ More
In this paper we extend the results of Lenci and Rey-Bellet on the large deviation upper bound of the distribution measures of local Hamiltonians with respect to a Gibbs state, in the setting of translation-invariant finite-range interactions. We show that a certain factorization property of the reference state is sufficient for a large deviation upper bound to hold and that this factorization property is satisfied by Gibbs states of the above kind as well as finitely correlated states. As an application of the methods the Chernoff bound for correlated states with factorization property is studied. In the specific case of the distributions of the ergodic averages of a one-site observable with respect to an ergodic finitely correlated state the spectral theory of positive maps is applied to prove the full large deviation principle.
△ Less
Submitted 25 February, 2008; v1 submitted 14 June, 2007;
originally announced June 2007.
-
Entropy growth of shift-invariant states on a quantum spin chain
Authors:
M. Fannes,
B. Haegeman,
M. Mosonyi
Abstract:
We study the entropy of pure shift-invariant states on a quantum spin chain. Unlike the classical case, the local restrictions to intervals of length $N$ are typically mixed and have therefore a non-zero entropy $S_N$ which is, moreover, monotonically increasing in $N$. We are interested in the asymptotics of the total entropy. We investigate in detail a class of states derived from quasi-free s…
▽ More
We study the entropy of pure shift-invariant states on a quantum spin chain. Unlike the classical case, the local restrictions to intervals of length $N$ are typically mixed and have therefore a non-zero entropy $S_N$ which is, moreover, monotonically increasing in $N$. We are interested in the asymptotics of the total entropy. We investigate in detail a class of states derived from quasi-free states on a CAR algebra. These are characterised by a measurable subset of the unit interval. As the entropy density is known to vanishes, $S_N$ is sublinear in $N$. For states corresponding to unions of finitely many intervals, $S_N$ is shown to grow slower than $(\log N)^2$. Numerical calculations suggest a $\log N$ behaviour. For the case with infinitely many intervals, we present a class of states for which the entropy $S_N$ increases as $N^α$ where $α$ can take any value in $(0,1)$.
△ Less
Submitted 23 June, 2003;
originally announced June 2003.
