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:quant-ph/0211111 · IEEE Transactions on Information Theory

Optimal Detection of Symmetric Mixed Quantum States

Yonina C. Eldar, Alexandre Megretski, George C. Verghese

Published Jun 1, 2004• 151 citations
arXivHTMLPDF

Abstract

We develop a sufficient condition for the least-squares measurement (LSM), or the square-root measurement, to minimize the probability of a detection error when distinguishing between a collection of mixed quantum states. Using this condition we derive the optimal measurement for state sets with a broad class of symmetries. We first consider geometrically uniform (GU) state sets with a possibly non-Abelian generating group, and show that if the generator satisfies a weighted norm constraint, then the LSM is optimal. In particular, for pure-state GU ensembles, the LSM is shown to be optimal. For arbitrary GU state sets we show that the optimal measurement operators are GU with generator that can be computed very efficiently in polynomial time, within any desired accuracy. We then consider compound GU (CGU) state sets which consist of subsets that are GU. When the generators satisfy a certain constraint, the LSM is again optimal. For arbitrary CGU state sets, the optimal measurement operators are shown to be CGU with generators that can be computed efficiently in polynomial time.

DOI
10.1109/tit.2004.828070

Related papers

Mixed-quantum-state detection with inconclusive results

Yonina C. Eldar

We consider the problem of designing an optimal quantum detector with a fixed rate of inconclusive results that maximizes the probability of correct detection, when distinguishing between a collection of mixed quantum states. We show that the design of the optimal detector can be formulated as a semidefinite programming problem, and derive a set of necessary and sufficient conditions for an optimal measurement. We then develop a sufficient condition for the scaled inverse measurement to maximize the probability of correct detection for the case in which the rate of inconclusive results exceeds a certain threshold. Using this condition we derive the optimal measurement for linearly independent pure-state sets, and for mixed-state sets with a broad class of symmetries. Specifically, we consider geometrically uniform (GU) state sets and compound geometrically uniform (CGU) state sets with generators that satisfy a certain constraint. We then show that the optimal measurements corresponding to GU and CGU state sets with arbitrary generators are also GU and CGU, respectively, with generators that can be computed very efficiently in polynomial time within any desired accuracy by solving a reduced size semidefinite programming problem.

arXiv:quant-ph/0211121•Physical Review A•Apr 15, 2003•76 citations

On quantum detection and the square-root measurement

Yonina C. Eldar, G. David Forney

We consider the problem of constructing measurements optimized to distinguish between a collection of possibly nonorthogonal quantum states. We consider a collection of pure states and seek a positive operator-valued measure (POVM) consisting of rank-one operators with measurement vectors closest in squared norm to the given states. We compare our results to previous measurements suggested by Peres and Wootters (1991) and Hausladen et al. (1996), where we refer to the latter as the square-root measurement (SRM). We obtain a new characterization of the SRM, and prove that it is optimal in a least-squares sense. In addition, we show that for a geometrically uniform state set the SRM minimizes the probability of a detection error. This generalizes a similar result of Ban et al. (see Int. J. Theor. Phys., vol.36, p.1269-88, 1997).

arXiv:quant-ph/0005132•IEEE Transactions on Information Theory•Mar 1, 2001•232 citations

Minimum-Bayes-cost discrimination for symmetric quantum states

Kenji Nakahira, Tsuyoshi Sasaki Usuda

We derive the measurement strategy that optimizes the Bayes criterion, not necessarily the strategy minimizing the error probability, for distinguishing between collections of quantum states. We present a sufficient condition concerning the rank of each detection operator of an optimal measurement for the Bayes criterion. We also derive an analytical expression for an optimal measurement for the Bayes criterion for an Abelian geometrically uniform state set or for a cyclic state set under a certain constraint.

Physical Review A•Dec 6, 2012•5 citations

Optimal quantum detectors for unambiguous detection of mixed states

Yonina C. Eldar, Mihailo Stojnic, Babak Hassibi

We consider the problem of designing an optimal quantum detector that distinguishes unambiguously between a collection of mixed quantum states. Using arguments of duality in vector space optimization, we derive necessary and sufficient conditions for an optimal measurement that minimizes the probability of an inconclusive result. We show that the previous optimal measurements that were derived for certain special cases satisfy these optimality conditions. We then consider state sets with strong symmetry properties, and show that the optimal measurement operators for distinguishing between these states share the same symmetries, and can be computed very efficiently by solving a reduced size semidefinite program.

arXiv:quant-ph/0312061•Physical Review A•Jun 21, 2004•62 citations

Minimum-Error Discrimination Between Self-Symmetric Mixed Quantum State Signals

Kenji Nakahira, Tsuyoshi Sasaki Usuda

We derive some properties of minimum-error measurements for mixed quantum state signals where a density operator itself has a certain symmetry. In the first case, we show that if there exists a regular normal operator that commutes with each density operator of mixed state signals, then there exists an optimal measurement that consists of detection operators expressed as the direct sum of positive operators with supports in the eigenspaces of the regular normal operator. In the second case, we show that for abelian geometrically uniform state signals, if a matrix which represents one of the signals in a certain basis has all real elements, then the matrix which represents the corresponding detection operator of an optimal measurement in that basis also has all real elements. In addition, we discuss some examples of applications of these properties and derive analytical solutions of optimal measurements for special cases.

IEEE Transactions on Information Theory•Feb 1, 2012•6 citations

A Semidefinite Programming Approach to Optimal Unambiguous Discrimination of Quantum States

Yonina C. Eldar

Abstract—In this paper, we consider the problem of unambiguous discrimination between a set of linearly independent pure quantum states. We show that the design of the optimal measurement that minimizes the probability of an inconclusive result can be formulated as a semidefinite programming problem. Based on this formulation, we develop a set of necessary and sufficient conditions for an optimal quantum measurement. We show that the optimal measurement can be computed very efficiently in polynomial time by exploiting the many well-known algorithms for solving semidefinite programs, which are guaranteed to converge to the global optimum. Using the general conditions for optimality, we derive necessary and sufficient conditions so that the measurement that results in an equal probability of an inconclusive result for each one of the quantum states is optimal. We refer to this measurement as the equal-probability measurement (EPM). We then show that for any state set, the prior probabilities of the states can be chosen such that the EPM is optimal. Finally, we consider state sets with strong symmetry properties and equal prior probabilities for which the EPM is optimal. We first consider geometrically uniform (GU) state sets that are defined over a group of unitary matrices and are generated by a single generating vector. We then consider compound GU state sets which are generated by a group of unitary matrices using multiple generating vectors, where the generating vectors satisfy a certain (weighted) norm constraint. Index Terms—Compound geometrically uniform (CGU) quantum states, equal-probability measurement (EPM), geometrically uniform (GU) quantum states, quantum detection, semidefinite programming, unambiguous discrimination. I.

•Jun 14, 2002•83 citations
We develop a sufficient condition for the least-squares measurement (LSM), or the square-root measurement, to minimize the probability of a detection error when distinguishing between a collection of mixed quantum states. Using this condition we derive the optimal measurement for state sets with a broad class of symmetries. We first consider geometrically uniform (GU) state sets with a possibly non-Abelian generating group, and show that if the generator satisfies a weighted norm constraint, then the LSM is optimal. In particular, for pure-state GU ensembles, the LSM is shown to be optimal. For arbitrary GU state sets we show that the optimal measurement operators are GU with generator that can be computed very efficiently in polynomial time, within any desired accuracy. We then consider compound GU (CGU) state sets which consist of subsets that are GU. When the generators satisfy a certain constraint, the LSM is again optimal. For arbitrary CGU state sets, the optimal measurement operators are shown to be CGU with generators that can be computed efficiently in polynomial time.
We consider the problem of designing an optimal quantum detector with a fixed rate of inconclusive results that maximizes the probability of correct detection, when distinguishing between a collection of mixed quantum states. We show that the design of the optimal detector can be formulated as a semidefinite programming problem, and derive a set of necessary and sufficient conditions for an optimal measurement. We then develop a sufficient condition for the scaled inverse measurement to maximize the probability of correct detection for the case in which the rate of inconclusive results exceeds a certain threshold. Using this condition we derive the optimal measurement for linearly independent pure-state sets, and for mixed-state sets with a broad class of symmetries. Specifically, we consider geometrically uniform (GU) state sets and compound geometrically uniform (CGU) state sets with generators that satisfy a certain constraint. We then show that the optimal measurements corresponding to GU and CGU state sets with arbitrary generators are also GU and CGU, respectively, with generators that can be computed very efficiently in polynomial time within any desired accuracy by solving a reduced size semidefinite programming problem.
We consider the problem of constructing measurements optimized to distinguish between a collection of possibly nonorthogonal quantum states. We consider a collection of pure states and seek a positive operator-valued measure (POVM) consisting of rank-one operators with measurement vectors closest in squared norm to the given states. We compare our results to previous measurements suggested by Peres and Wootters (1991) and Hausladen et al. (1996), where we refer to the latter as the square-root measurement (SRM). We obtain a new characterization of the SRM, and prove that it is optimal in a least-squares sense. In addition, we show that for a geometrically uniform state set the SRM minimizes the probability of a detection error. This generalizes a similar result of Ban et al. (see Int. J. Theor. Phys., vol.36, p.1269-88, 1997).
We derive the measurement strategy that optimizes the Bayes criterion, not necessarily the strategy minimizing the error probability, for distinguishing between collections of quantum states. We present a sufficient condition concerning the rank of each detection operator of an optimal measurement for the Bayes criterion. We also derive an analytical expression for an optimal measurement for the Bayes criterion for an Abelian geometrically uniform state set or for a cyclic state set under a certain constraint.
We consider the problem of designing an optimal quantum detector that distinguishes unambiguously between a collection of mixed quantum states. Using arguments of duality in vector space optimization, we derive necessary and sufficient conditions for an optimal measurement that minimizes the probability of an inconclusive result. We show that the previous optimal measurements that were derived for certain special cases satisfy these optimality conditions. We then consider state sets with strong symmetry properties, and show that the optimal measurement operators for distinguishing between these states share the same symmetries, and can be computed very efficiently by solving a reduced size semidefinite program.
We derive some properties of minimum-error measurements for mixed quantum state signals where a density operator itself has a certain symmetry. In the first case, we show that if there exists a regular normal operator that commutes with each density operator of mixed state signals, then there exists an optimal measurement that consists of detection operators expressed as the direct sum of positive operators with supports in the eigenspaces of the regular normal operator. In the second case, we show that for abelian geometrically uniform state signals, if a matrix which represents one of the signals in a certain basis has all real elements, then the matrix which represents the corresponding detection operator of an optimal measurement in that basis also has all real elements. In addition, we discuss some examples of applications of these properties and derive analytical solutions of optimal measurements for special cases.
Abstract—In this paper, we consider the problem of unambiguous discrimination between a set of linearly independent pure quantum states. We show that the design of the optimal measurement that minimizes the probability of an inconclusive result can be formulated as a semidefinite programming problem. Based on this formulation, we develop a set of necessary and sufficient conditions for an optimal quantum measurement. We show that the optimal measurement can be computed very efficiently in polynomial time by exploiting the many well-known algorithms for solving semidefinite programs, which are guaranteed to converge to the global optimum. Using the general conditions for optimality, we derive necessary and sufficient conditions so that the measurement that results in an equal probability of an inconclusive result for each one of the quantum states is optimal. We refer to this measurement as the equal-probability measurement (EPM). We then show that for any state set, the prior probabilities of the states can be chosen such that the EPM is optimal. Finally, we consider state sets with strong symmetry properties and equal prior probabilities for which the EPM is optimal. We first consider geometrically uniform (GU) state sets that are defined over a group of unitary matrices and are generated by a single generating vector. We then consider compound GU state sets which are generated by a group of unitary matrices using multiple generating vectors, where the generating vectors satisfy a certain (weighted) norm constraint. Index Terms—Compound geometrically uniform (CGU) quantum states, equal-probability measurement (EPM), geometrically uniform (GU) quantum states, quantum detection, semidefinite programming, unambiguous discrimination. I.