-
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.
-
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.
-
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.
-
Quantum state discrimination bounds for finite sample size
Authors:
Koenraad M. R. Audenaert,
Milan Mosonyi,
Frank Verstraete
Abstract:
In the problem of quantum state discrimination, one has to determine by measurements the state of a quantum system, based on the a priori side information that the true state is one of two given and completely known states, rho or sigma. In general, it is not possible to decide the identity of the true state with certainty, and the optimal measurement strategy depends on whether the two possible e…
▽ More
In the problem of quantum state discrimination, one has to determine by measurements the state of a quantum system, based on the a priori side information that the true state is one of two given and completely known states, rho or sigma. In general, it is not possible to decide the identity of the true state with certainty, and the optimal measurement strategy depends on whether the two possible errors (mistaking rho for sigma, or the other way around) are treated as of equal importance or not. Results on the quantum Chernoff and Hoeffding bounds and the quantum Stein's lemma show that, if several copies of the system are available then the optimal error probabilities decay exponentially in the number of copies, and the decay rate is given by a certain statistical distance between rho and sigma (the Chernoff distance, the Hoeffding distances, and the relative entropy, respectively). While these results provide a complete solution to the asymptotic problem, they are not completely satisfying from a practical point of view. Indeed, in realistic scenarios one has access only to finitely many copies of a system, and therefore it is desirable to have bounds on the error probabilities for finite sample size. In this paper we provide finite-size bounds on the so-called Stein errors, the Chernoff errors, the Hoeffding errors and the mixed error probabilities related to the Chernoff and the Hoeffding errors.
△ Less
Submitted 24 November, 2012; v1 submitted 3 April, 2012;
originally announced April 2012.
