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

On a measure of distance for quantum strategies

Gus Gutoski

Published Aug 14, 2016• 44 citations
OpenAlex

Abstract

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.

Related papers

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 Gutoski and Watrous [In Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science (STACS’05), Lecture Notes in Computer Science, Vol. 3404 (Springer, 2005), pp. 605–616. The generalized result states that for any two convex sets S0, S1 of strategies there exists a fixed interactive measurement scheme that successfully distinguishes any choice of S0 ∈ S0 from any choice of S1 ∈ S1 with bias proportional to the minimal distance between the sets S0 and S1 as measured by this norm. A similar discrimination result for channels then follows as a special case.

arXiv:1008.4636•Journal of Mathematical Physics•Mar 1, 2012•43 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

Quantum process discrimination with restricted strategies

Kenji Nakahira

The discrimination of quantum processes, including quantum states, channels, and superchannels, is a fundamental topic in quantum information theory. It is often of interest to analyze the optimal performance that can be achieved when discrimination strategies are restricted to a given subset of all strategies allowed by quantum mechanics. In this paper, we present a general formulation of the task of finding the maximum success probability for discriminating quantum processes as a convex optimization problem whose Lagrange dual problem exhibits zero duality gap. The proposed formulation can be applied to any restricted strategy. We also derive necessary and sufficient conditions for an optimal restricted strategy to be optimal within the set of all strategies. We provide a simple example in which the dual problem given by our formulation can be much easier to solve than the original problem. We also show that the optimal performance of each restricted process discrimination problem can be written in terms of a certain robustness measure. This finding has the potential to provide a deeper insight into the discrimination performance of various restricted strategies.

arXiv:2104.09038•Physical Review A•Dec 10, 2021•3 citations

Strategies for optimal single-shot discrimination of quantum measurements

Zbigniew Puchała, Łukasz Pawela, Aleksandra Krawiec +1 more

In this work, we study the problem of single-shot discrimination of von Neumann measurements, which we associate with measure-and-prepare channels. There are two possible approaches to this problem. The first one is simple and does not utilize entanglement. We focus only on the discrimination of classical probability distributions, which are outputs of the channels. We find necessary and sufficient criterion for perfect discrimination in this case. A more advanced approach requires the usage of entanglement. We quantify the distance between two measurements in terms of the diamond norm (called sometimes the completely bounded trace norm). We provide an exact expression for the optimal probability of correct distinction and relate it to the discrimination of unitary channels. We also state a necessary and sufficient condition for perfect discrimination and a semidefinite program which checks this condition. Our main result, however, is a cone program which calculates the distance between the measurements and hence provides an upper bound on the probability of their correct distinction. As a by-product, the program finds a strategy (input state) which achieves this bound. Finally, we provide a full description for the cases of Fourier matrices and mirror isometries.

arXiv:1804.05856•Physical Review A•Oct 3, 2018•34 citations

A Family of Norms With Applications In Quantum Information Theory II

Nathaniel Johnston, David W. Kribs

We consider the problem of computing the family of operator norms recently introduced in arXiv:0909.3907. We develop a family of semidefinite programs that can be used to exactly compute them in small dimensions and bound them in general. Some theoretical consequences follow from the duality theory of semidefinite programming, including a new constructive proof that there are non-positive partial transpose Werner states that are r-undistillable for arbitrary r. Several examples are considered via a MATLAB implementation of the semidefinite program, including the case of Werner states and randomly generated states via the Bures measure, and approximate distributions of the norms are provided. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states.

arXiv:1006.0898•Jun 4, 2010•6 citations

Quantum distinguishability measures: Projectors versus state maximization

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

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.

arXiv:2409.00198•Physical Review A•Aug 30, 2024•4 citations
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.
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 Gutoski and Watrous [In Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science (STACS’05), Lecture Notes in Computer Science, Vol. 3404 (Springer, 2005), pp. 605–616. The generalized result states that for any two convex sets S0, S1 of strategies there exists a fixed interactive measurement scheme that successfully distinguishes any choice of S0 ∈ S0 from any choice of S1 ∈ S1 with bias proportional to the minimal distance between the sets S0 and S1 as measured by this norm. A similar discrimination result for channels then follows as a special case.
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 discrimination of quantum processes, including quantum states, channels, and superchannels, is a fundamental topic in quantum information theory. It is often of interest to analyze the optimal performance that can be achieved when discrimination strategies are restricted to a given subset of all strategies allowed by quantum mechanics. In this paper, we present a general formulation of the task of finding the maximum success probability for discriminating quantum processes as a convex optimization problem whose Lagrange dual problem exhibits zero duality gap. The proposed formulation can be applied to any restricted strategy. We also derive necessary and sufficient conditions for an optimal restricted strategy to be optimal within the set of all strategies. We provide a simple example in which the dual problem given by our formulation can be much easier to solve than the original problem. We also show that the optimal performance of each restricted process discrimination problem can be written in terms of a certain robustness measure. This finding has the potential to provide a deeper insight into the discrimination performance of various restricted strategies.
In this work, we study the problem of single-shot discrimination of von Neumann measurements, which we associate with measure-and-prepare channels. There are two possible approaches to this problem. The first one is simple and does not utilize entanglement. We focus only on the discrimination of classical probability distributions, which are outputs of the channels. We find necessary and sufficient criterion for perfect discrimination in this case. A more advanced approach requires the usage of entanglement. We quantify the distance between two measurements in terms of the diamond norm (called sometimes the completely bounded trace norm). We provide an exact expression for the optimal probability of correct distinction and relate it to the discrimination of unitary channels. We also state a necessary and sufficient condition for perfect discrimination and a semidefinite program which checks this condition. Our main result, however, is a cone program which calculates the distance between the measurements and hence provides an upper bound on the probability of their correct distinction. As a by-product, the program finds a strategy (input state) which achieves this bound. Finally, we provide a full description for the cases of Fourier matrices and mirror isometries.
We consider the problem of computing the family of operator norms recently introduced in arXiv:0909.3907. We develop a family of semidefinite programs that can be used to exactly compute them in small dimensions and bound them in general. Some theoretical consequences follow from the duality theory of semidefinite programming, including a new constructive proof that there are non-positive partial transpose Werner states that are r-undistillable for arbitrary r. Several examples are considered via a MATLAB implementation of the semidefinite program, including the case of Werner states and randomly generated states via the Bures measure, and approximate distributions of the norms are provided. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states.
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.