Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2409.00198 · Physical Review A

Quantum distinguishability measures: Projectors versus state maximization

Adrián A. Budini, R. L. de Matos Filho, Marcelo França Santos

Published Aug 30, 2024• 4 citations
arXivHTMLPDF

Abstract

The distinguishability between two quantum states can be defined in terms of their trace distance. The operational meaning of this definition involves a maximization over measurement projectors. Here we introduce an alternative definition of distinguishability which, instead of projectors, is based on maximization over normalized states (density matrices). It is shown that this procedure leads to a distance (between two states) that in contrast to the usual approach based on a 1-norm, is based on an infinite-norm. Properties such as convexity, monotonicity, and invariance under unitary transformations are fulfilled. Equivalent operational implementations based on maximization over classical probabilities and hypothesis-testing scenarios are also established. When considering the action of completely positive transformations, contractivity is only granted for unital maps. This feature allows us to introduce a measure of the quantumness of nonunital maps that can be written in terms of the proposed distinguishability measure and corresponds to the maximal possible deviation from contractivity. Particular examples sustain the main results and conclusions.

DOI
10.1103/physreva.110.022228

Related papers

Classical pair of states as optimal pair for quantum distinguishability quantifiers

Bassano Vacchini, Andrea Smirne, Nina Megier

The capability to quantitatively distinguish quantum states is of great importance for a variety of tasks, and has recently played an important role in the study of quantum reduced dynamics and their characterization in terms of memory effects. A crucial property of quantum distinguishability quantifiers considered in the latter framework is the contractivity under the action of completely positive trace-preserving maps. We show that this requirement warrants that the pairs on which these quantifiers attain their maximal value are pairs of orthogonal, and in this sense classical, states.

arXiv:2506.02575•Jun 3, 2025•0 citations

Operational distance and fidelity for quantum channels

V. P. Belavkin, Giacomo Mauro D’Ariano, Maxim Raginsky

We define and study a fidelity criterion for quantum channels, which we term the minimax fidelity, through a noncommutative generalization of maximal Hellinger distance between two positive kernels in classical probability theory. Like other known fidelities for quantum channels, the minimax fidelity is well defined for channels between finite-dimensional algebras, but it also applies to a certain class of channels between infinite-dimensional algebras (explicitly, those channels that possess an operator-valued Radon-Nikodym density with respect to the trace in the sense of Belavkin-Staszewski) and induces a metric on the set of quantum channels that is topologically equivalent to the CB-norm distance between channels, precisely in the same way as the Bures metric on the density operators associated with statistical states of quantum-mechanical systems, derived from the well-known fidelity (“generalized transition probability”) of Uhlmann, is topologically equivalent to the trace-norm distance.

arXiv:quant-ph/0408159•Journal of Mathematical Physics•May 20, 2005•50 citations

Hilbert's projective metric in quantum information theory

David Reeb, Michael J. Kastoryano, Michael M. Wolf

We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or positive partial transpose operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under protocols involving local quantum operations and classical communication or under other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance, improving Ruskai's trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert's projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert's projective metric and the Chernoff bound, the fidelity and various norms are proven.

arXiv:1102.5170•Journal of Mathematical Physics•Aug 1, 2011•61 citations

On a measure of distance for quantum strategies

Gus Gutoski

The present paper studies an operator norm that captures the distinguishability of quantum strategies in the same sense that the trace norm captures the distinguishability of quantum states or the diamond norm captures the distinguishability of quantum channels. Characterizations of its unit ball and dual norm are established via strong duality of a semidefinite optimization problem. A full, formal proof of strong duality is presented for the semidefinite optimization problem in question. This norm and its properties are employed to generalize a state discrimination result of Ref. [GW05]. The generalized result states that for any two convex sets S,T of strategies there exists a fixed interactive measurement scheme that successfully distinguishes any choice of s in S from any choice of t in T with bias proportional to the minimal distance between the sets S and T as measured by this norm. A similar discrimination result for channels then follows as a special case.

•Aug 14, 2016•44 citations

Distinguishability measures between ensembles of quantum states

Ognyan Oreshkov, John Calsamiglia

A quantum ensemble ${({p}_{x},{\ensuremath{\rho}}_{x})}$ is a set of quantum states each occurring randomly with a given probability. Quantum ensembles are necessary to describe situations with incomplete a priori information, such as the output of a stochastic quantum channel (generalized measurement), and play a central role in quantum communication. In this paper, we propose measures of distance and fidelity between two quantum ensembles. We consider two approaches: the first one is based on the ability to mimic one ensemble given the other one as a resource and is closely related to the Monge-Kantorovich optimal transportation problem, while the second one uses the idea of extended-Hilbert-space (EHS) representations which introduce auxiliary pointer (or flag) states. Both types of measures enjoy a number of desirable properties. The Kantorovich measures, albeit monotonic under deterministic quantum operations, are not monotonic under generalized measurements. In contrast, the EHS measures are. This property can be regarded as a generalization of the monotonicity under deterministic maps of the trace distance and the fidelity between states. The EHS measures are equivalent to convex optimization problems and are bounded by the Kantorovich measures which are equivalent to linear programs. We present operational interpretations for both types of measures. We also show that the EHS fidelity between ensembles provides an interpretation of the fidelity between mixed states as the fidelity between all pure-state ensembles whose averages are equal to the mixed states being compared. We finally use the measures to define distance and fidelity for stochastic quantum channels and positive operator-valued measures. These quantities may be useful in the context of tomography of stochastic quantum channels and quantum detectors.

arXiv:0812.3832•Physical Review A•Mar 27, 2009•29 citations

Monotone metrics and measures

Ingemar Bengtsson, Karol Życzkowski

Probability theory is a measure theory – with a soul. Mark Kac Section 2.6 was devoted to classical ensembles , that is to say ensembles defined by probability measures on the set of classical probability distributions over N events. In this chapter quantum ensembles are defined by choosing probability measures on the set of density matrices of size N . A warning should be issued first: there is no single, naturally distinguished measure in M ( N ) , so we have to analyse several measures, each of them with different physical motivations, advantages and drawbacks. This is in contrast to the set of pure quantum states, where the Fubini–Study measure is the only natural choice for a measure that defines ‘random states’. A simple way to define a probability measure goes through a metric. Hence we will start this chapter with a review of the metrics defined on the set of mixed quantum states. Monotone metrics In Section 2.5 we explained how the Fisher metric holds its distinguished position due to the theorem of Čencov, which states that the Fisher metric is the unique monotone metric on the probability simplex Δ N –1 . Now that the latter has been replaced by the space of quantum states M ( N ) we must look again at the question of metrics. Since the uniqueness in the classical case came from the behaviour under stochastic maps, we turn our attention to stochastic quantum maps – the completely positive, trace preserving maps discussed in Chapter 10. A distance D in the space of quantum states M ( N ) is called monotone if it does not grow under the action of a stochastic map Φ, If a monotone distance is geodesic the corresponding metric on M ( N ) is called monotone.

Cambridge University Press eBooks•May 11, 2006•0 citations
The distinguishability between two quantum states can be defined in terms of their trace distance. The operational meaning of this definition involves a maximization over measurement projectors. Here we introduce an alternative definition of distinguishability which, instead of projectors, is based on maximization over normalized states (density matrices). It is shown that this procedure leads to a distance (between two states) that in contrast to the usual approach based on a 1-norm, is based on an infinite-norm. Properties such as convexity, monotonicity, and invariance under unitary transformations are fulfilled. Equivalent operational implementations based on maximization over classical probabilities and hypothesis-testing scenarios are also established. When considering the action of completely positive transformations, contractivity is only granted for unital maps. This feature allows us to introduce a measure of the quantumness of nonunital maps that can be written in terms of the proposed distinguishability measure and corresponds to the maximal possible deviation from contractivity. Particular examples sustain the main results and conclusions.
The capability to quantitatively distinguish quantum states is of great importance for a variety of tasks, and has recently played an important role in the study of quantum reduced dynamics and their characterization in terms of memory effects. A crucial property of quantum distinguishability quantifiers considered in the latter framework is the contractivity under the action of completely positive trace-preserving maps. We show that this requirement warrants that the pairs on which these quantifiers attain their maximal value are pairs of orthogonal, and in this sense classical, states.
We define and study a fidelity criterion for quantum channels, which we term the minimax fidelity, through a noncommutative generalization of maximal Hellinger distance between two positive kernels in classical probability theory. Like other known fidelities for quantum channels, the minimax fidelity is well defined for channels between finite-dimensional algebras, but it also applies to a certain class of channels between infinite-dimensional algebras (explicitly, those channels that possess an operator-valued Radon-Nikodym density with respect to the trace in the sense of Belavkin-Staszewski) and induces a metric on the set of quantum channels that is topologically equivalent to the CB-norm distance between channels, precisely in the same way as the Bures metric on the density operators associated with statistical states of quantum-mechanical systems, derived from the well-known fidelity (“generalized transition probability”) of Uhlmann, is topologically equivalent to the trace-norm distance.
We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or positive partial transpose operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under protocols involving local quantum operations and classical communication or under other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance, improving Ruskai's trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert's projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert's projective metric and the Chernoff bound, the fidelity and various norms are proven.
The present paper studies an operator norm that captures the distinguishability of quantum strategies in the same sense that the trace norm captures the distinguishability of quantum states or the diamond norm captures the distinguishability of quantum channels. Characterizations of its unit ball and dual norm are established via strong duality of a semidefinite optimization problem. A full, formal proof of strong duality is presented for the semidefinite optimization problem in question. This norm and its properties are employed to generalize a state discrimination result of Ref. [GW05]. The generalized result states that for any two convex sets S,T of strategies there exists a fixed interactive measurement scheme that successfully distinguishes any choice of s in S from any choice of t in T with bias proportional to the minimal distance between the sets S and T as measured by this norm. A similar discrimination result for channels then follows as a special case.
A quantum ensemble ${({p}_{x},{\ensuremath{\rho}}_{x})}$ is a set of quantum states each occurring randomly with a given probability. Quantum ensembles are necessary to describe situations with incomplete a priori information, such as the output of a stochastic quantum channel (generalized measurement), and play a central role in quantum communication. In this paper, we propose measures of distance and fidelity between two quantum ensembles. We consider two approaches: the first one is based on the ability to mimic one ensemble given the other one as a resource and is closely related to the Monge-Kantorovich optimal transportation problem, while the second one uses the idea of extended-Hilbert-space (EHS) representations which introduce auxiliary pointer (or flag) states. Both types of measures enjoy a number of desirable properties. The Kantorovich measures, albeit monotonic under deterministic quantum operations, are not monotonic under generalized measurements. In contrast, the EHS measures are. This property can be regarded as a generalization of the monotonicity under deterministic maps of the trace distance and the fidelity between states. The EHS measures are equivalent to convex optimization problems and are bounded by the Kantorovich measures which are equivalent to linear programs. We present operational interpretations for both types of measures. We also show that the EHS fidelity between ensembles provides an interpretation of the fidelity between mixed states as the fidelity between all pure-state ensembles whose averages are equal to the mixed states being compared. We finally use the measures to define distance and fidelity for stochastic quantum channels and positive operator-valued measures. These quantities may be useful in the context of tomography of stochastic quantum channels and quantum detectors.
Probability theory is a measure theory – with a soul. Mark Kac Section 2.6 was devoted to classical ensembles , that is to say ensembles defined by probability measures on the set of classical probability distributions over N events. In this chapter quantum ensembles are defined by choosing probability measures on the set of density matrices of size N . A warning should be issued first: there is no single, naturally distinguished measure in M ( N ) , so we have to analyse several measures, each of them with different physical motivations, advantages and drawbacks. This is in contrast to the set of pure quantum states, where the Fubini–Study measure is the only natural choice for a measure that defines ‘random states’. A simple way to define a probability measure goes through a metric. Hence we will start this chapter with a review of the metrics defined on the set of mixed quantum states. Monotone metrics In Section 2.5 we explained how the Fisher metric holds its distinguished position due to the theorem of Čencov, which states that the Fisher metric is the unique monotone metric on the probability simplex Δ N –1 . Now that the latter has been replaced by the space of quantum states M ( N ) we must look again at the question of metrics. Since the uniqueness in the classical case came from the behaviour under stochastic maps, we turn our attention to stochastic quantum maps – the completely positive, trace preserving maps discussed in Chapter 10. A distance D in the space of quantum states M ( N ) is called monotone if it does not grow under the action of a stochastic map Φ, If a monotone distance is geodesic the corresponding metric on M ( N ) is called monotone.