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:1109.4823 · Journal of Modern Optics

Decision problems with quantum black boxes

Mark S. Hillery, Erika Andersson, Stephen Mark Barnett, Daniel K. L. Oi

Published Aug 26, 2009• 4 citations
arXivHTMLPDF

Abstract

We examine how to distinguish between unitary operators, when the exact form of the possible operators is not known. Instead we are supplied with ‘programs’ in the form of unitary transforms, which can be used as references for identifying the unknown unitary transform. All unitary transforms should be used as few times as possible. This situation is analogous to programmable state discrimination. One difference, however, is that the quantum state to which we apply the unitary transforms may be entangled, leading to a richer variety of possible strategies. By suitable selection of an input state and generalized measurement of the output state, both unambiguous and minimum-error discrimination can be achieved. Pairwise comparison of operators, comparing each transform to be identified with a program transform, is often a useful strategy. There are, however, situations in which more complicated strategies perform better. This is the case especially when the number of allowed applications of program operations is different from the number of the transforms to be identified.

DOI
10.1080/09500340903203129

Related papers

RESEARCH ARTICLE Decision problems with quantum black boxes

Mark S. Hillery, Erika Andersson, Stephen Mark Barnett +1 more

(September 23, 2011)We examine how to distinguish between unitary operators, when the exact form of thepossible operators is not known. Instead we are supplied with “programs” in the form ofunitary transforms, which can be used as references for identifying the unknown unitarytransform. All unitary transforms should be used as few times as possible. This situationis analoguous to programmable state discrimination. One difference, however, is that thequantum state to which we apply the unitary transforms may be entangled, leading to aricher variety of possible strategies. By suitable selection of an input state and generalizedmeasurement of the output state, both unambiguous and minimum-error discrimination canbe achieved. Pairwise comparison of operators, comparing each transform to be identifiedwith a program transform, is often a useful strategy. There are, however, situations in whichmore complicated strategies perform better. This is the case especially when the number ofallowed applications of program operations is different from the number of the transforms tobe identified.Keywords:unambiguous discrimination; optimum discrimination; operator comparison;generalized measurements

•Jan 1, 2011•0 citations

Strategies for Discriminating and Comparing Unknown Unitary Transformations

Guy F. Okoko

How to discriminate or compare two unitary transformations that are completely unknown? We first examine the unambiguous discrimination of two unknown unitary transformations; we show that the results are the same as those found for the programmable discrimination of two unknown quantum states. Next we consider the minimum-error comparison of two unknown unitary transformations; the results are obtained in the general case where the prior probabilities are different. Last we study the unambiguous discrimination of two unknown unitary transformations in the case where multiple copies of data are available.

•Jan 1, 2014•0 citations

Higher-order quantum computation for equivalence determination of unitary operations

厚 新保

Quantum state discrimination is one of the most fundamental tasks in quantum information since it describes the read-out process of classical information from quantum states in quantum communications.In quantum state discrimination, a given test state is guaranteed to be identical to one of a set of candidate quantum states.The task is to determine the identity of the test state by performing an appropriate quantum measurement based on the classical descriptions of the candidate states.Quantum state discrimination also has several connections to the principles of quantum mechanics such as the no-cloning theorem and the no-signaling principle.One of fundamental properties of quantum mechanics is that the exact classical description of unknown quantum states cannot be retrieved from a single copy of the physical state.Quantum state discrimination in the case that the candidate states are given as two unknown physical states (reference states) but their classical descriptions are not given, has been investigated.The two reference states are labeled one and two, respectively.The task is to determine which of the two reference states is equivalent to the test state, whereas the descriptions of the states are not of interest.We call such a task as equivalence determination of quantum states.Discrimination of quantum operations has been also investigated and it has been shown that there is an intrinsic difference between discrimination of quantum state and discrimination of quantum operations.We analyze a unitary operation version of the equivalence determination task by using the concept of higher-order quantum computation to investigate properties of discrimination of other quantum objects.We consider three black-boxes (test box and reference boxes) implementing unknown unitary operations given as physical systems.The test box is guaranteed to implement one of the two unitary operations given by the reference boxes.Equivalence determination of unitary operations is a task to determine the reference box implementing the same unitary operation as the one by the test box.We assume that the unitary operations of the reference boxes are randomly sampled from the Haar measure of SU(2).We first consider the case that each of three black-boxes can be used only once both in parallel and ordered uses of the black-boxes.We show that the optimal success probability for equivalence determination is 7/8 by obtaining analytical solutions of the corresponding semidefinite programmings (SDPs) both in the parallel and ordered strategies.The optimal success probability can be achieved even without using one of the reference boxes.We also showed that entanglement of an initial state across the systems on which the reference boxes act and the test box acts is necessary to achieve the optimal success probability.We then consider the case that the multiple uses of the reference boxes are allowed.We consider the parallel strategies up to four uses of each of the reference boxes and obtain the optimal success probabilities by numerically solving the semidefinite programmings.We numerically show that the ordered strategies give improvement over the parallel strategies and the optimal success probability varies depending on the order of the black-boxes when one reference box is used once and the other reference box is used twice.This result indicates that an appropriate order of the black-boxes under the ordered strategies is necessary to obtain improvement over the parallel strategies. Chapter 1 Introduction Notations• H i , K j : Hilbert spaces labeled with i and j.• L(H): The set of linear operators on H.• L(H, K): The set of linear operators from H to K.• S(H) : The set of positive semidefinite linear operation of unit trace on H • Tr H : The partial trace over H • U † : The conjugate transpose of U • {Π i }: The positive operator-valued measure • { Π i }: The quantum tester • δ ij : The Kronecker delta, equal to 1 if i = j and 0 otherwise • dµ(•) : The Haar measure, the uniform distribution of the space of unitary operations • |I⟩⟩ : Unnormalized maximally entangled vector defined as |I⟩⟩ = i |i⟩|i⟩ • M : A quantum channel • M : Choi operator of a quantum channel M• U j : The irreducible subspace of the total angular momentum j.

•Mar 22, 2018•0 citations

Equivalence determination of unitary operations

Atsushi Shimbo, Akihito Soeda, Mio Murao

We study equivalence determination of unitary operations, a task analogous to quantum state discrimination. The candidate states are replaced by unitary operations given as a quantum sample, i.e., a black-box device implementing a candidate unitary operation, and the discrimination target becomes another black-box. The task is an instance of higher-order quantum computation with the black-boxes as input. The optimal error probability is calculated by semidefinite programs. Arbitrary quantum operations applied between the black-boxes in a general protocol provide advantages over protocols restricted to parallelized use of the black-boxes. We provide a numerical proof of such an advantage. In contrast, a parallelized scheme is analytically shown to exhibit the optimal performance of general schemes for a particular number of quantum samples of the candidates. We find examples of finite-sample equivalence determination that achieve the same performance as when a classical description of the candidates are provided, although an exact classical description cannot be obtained from finite quantum samples.

arXiv:1803.11414•Mar 30, 2018•3 citations

Unambiguous discrimination between quantum operations

Guoming Wang, Mingsheng Ying

We address the problem of unambiguous discrimination between a given set of quantum operations. The necessary and sufficient condition for them to be unambiguously distinguishable is derived in the cases of single use and multiple uses respectively. For the latter case we explicitly construct the input states and corresponding measurements that accomplish the task. It is found that the introduction of entanglement can improve the discrimination. The advantage of our strategy over minimum-error discrimination is also discussed.

•Dec 18, 2005•2 citations

Minimum Decision Cost for Operators

Bernhard K. Meister

State discrimination with the aim to minimize the error probability is a well studied problem. Instead, here the binary decision problem for operators with a given prior is investigated. A black box containing the unknown operator is probed by selected wave functions. The output is analyzed with conventional methods developed for state discrimination. An error probability bound for all binary operator choices is provided, and it is shown how probe entanglement enhances the result.

arXiv:1401.3701•Jan 15, 2014•0 citations
We examine how to distinguish between unitary operators, when the exact form of the possible operators is not known. Instead we are supplied with ‘programs’ in the form of unitary transforms, which can be used as references for identifying the unknown unitary transform. All unitary transforms should be used as few times as possible. This situation is analogous to programmable state discrimination. One difference, however, is that the quantum state to which we apply the unitary transforms may be entangled, leading to a richer variety of possible strategies. By suitable selection of an input state and generalized measurement of the output state, both unambiguous and minimum-error discrimination can be achieved. Pairwise comparison of operators, comparing each transform to be identified with a program transform, is often a useful strategy. There are, however, situations in which more complicated strategies perform better. This is the case especially when the number of allowed applications of program operations is different from the number of the transforms to be identified.
(September 23, 2011)We examine how to distinguish between unitary operators, when the exact form of thepossible operators is not known. Instead we are supplied with “programs” in the form ofunitary transforms, which can be used as references for identifying the unknown unitarytransform. All unitary transforms should be used as few times as possible. This situationis analoguous to programmable state discrimination. One difference, however, is that thequantum state to which we apply the unitary transforms may be entangled, leading to aricher variety of possible strategies. By suitable selection of an input state and generalizedmeasurement of the output state, both unambiguous and minimum-error discrimination canbe achieved. Pairwise comparison of operators, comparing each transform to be identifiedwith a program transform, is often a useful strategy. There are, however, situations in whichmore complicated strategies perform better. This is the case especially when the number ofallowed applications of program operations is different from the number of the transforms tobe identified.Keywords:unambiguous discrimination; optimum discrimination; operator comparison;generalized measurements
How to discriminate or compare two unitary transformations that are completely unknown? We first examine the unambiguous discrimination of two unknown unitary transformations; we show that the results are the same as those found for the programmable discrimination of two unknown quantum states. Next we consider the minimum-error comparison of two unknown unitary transformations; the results are obtained in the general case where the prior probabilities are different. Last we study the unambiguous discrimination of two unknown unitary transformations in the case where multiple copies of data are available.
Quantum state discrimination is one of the most fundamental tasks in quantum information since it describes the read-out process of classical information from quantum states in quantum communications.In quantum state discrimination, a given test state is guaranteed to be identical to one of a set of candidate quantum states.The task is to determine the identity of the test state by performing an appropriate quantum measurement based on the classical descriptions of the candidate states.Quantum state discrimination also has several connections to the principles of quantum mechanics such as the no-cloning theorem and the no-signaling principle.One of fundamental properties of quantum mechanics is that the exact classical description of unknown quantum states cannot be retrieved from a single copy of the physical state.Quantum state discrimination in the case that the candidate states are given as two unknown physical states (reference states) but their classical descriptions are not given, has been investigated.The two reference states are labeled one and two, respectively.The task is to determine which of the two reference states is equivalent to the test state, whereas the descriptions of the states are not of interest.We call such a task as equivalence determination of quantum states.Discrimination of quantum operations has been also investigated and it has been shown that there is an intrinsic difference between discrimination of quantum state and discrimination of quantum operations.We analyze a unitary operation version of the equivalence determination task by using the concept of higher-order quantum computation to investigate properties of discrimination of other quantum objects.We consider three black-boxes (test box and reference boxes) implementing unknown unitary operations given as physical systems.The test box is guaranteed to implement one of the two unitary operations given by the reference boxes.Equivalence determination of unitary operations is a task to determine the reference box implementing the same unitary operation as the one by the test box.We assume that the unitary operations of the reference boxes are randomly sampled from the Haar measure of SU(2).We first consider the case that each of three black-boxes can be used only once both in parallel and ordered uses of the black-boxes.We show that the optimal success probability for equivalence determination is 7/8 by obtaining analytical solutions of the corresponding semidefinite programmings (SDPs) both in the parallel and ordered strategies.The optimal success probability can be achieved even without using one of the reference boxes.We also showed that entanglement of an initial state across the systems on which the reference boxes act and the test box acts is necessary to achieve the optimal success probability.We then consider the case that the multiple uses of the reference boxes are allowed.We consider the parallel strategies up to four uses of each of the reference boxes and obtain the optimal success probabilities by numerically solving the semidefinite programmings.We numerically show that the ordered strategies give improvement over the parallel strategies and the optimal success probability varies depending on the order of the black-boxes when one reference box is used once and the other reference box is used twice.This result indicates that an appropriate order of the black-boxes under the ordered strategies is necessary to obtain improvement over the parallel strategies. Chapter 1 Introduction Notations• H i , K j : Hilbert spaces labeled with i and j.• L(H): The set of linear operators on H.• L(H, K): The set of linear operators from H to K.• S(H) : The set of positive semidefinite linear operation of unit trace on H • Tr H : The partial trace over H • U † : The conjugate transpose of U • {Π i }: The positive operator-valued measure • { Π i }: The quantum tester • δ ij : The Kronecker delta, equal to 1 if i = j and 0 otherwise • dµ(•) : The Haar measure, the uniform distribution of the space of unitary operations • |I⟩⟩ : Unnormalized maximally entangled vector defined as |I⟩⟩ = i |i⟩|i⟩ • M : A quantum channel • M : Choi operator of a quantum channel M• U j : The irreducible subspace of the total angular momentum j.
We study equivalence determination of unitary operations, a task analogous to quantum state discrimination. The candidate states are replaced by unitary operations given as a quantum sample, i.e., a black-box device implementing a candidate unitary operation, and the discrimination target becomes another black-box. The task is an instance of higher-order quantum computation with the black-boxes as input. The optimal error probability is calculated by semidefinite programs. Arbitrary quantum operations applied between the black-boxes in a general protocol provide advantages over protocols restricted to parallelized use of the black-boxes. We provide a numerical proof of such an advantage. In contrast, a parallelized scheme is analytically shown to exhibit the optimal performance of general schemes for a particular number of quantum samples of the candidates. We find examples of finite-sample equivalence determination that achieve the same performance as when a classical description of the candidates are provided, although an exact classical description cannot be obtained from finite quantum samples.
We address the problem of unambiguous discrimination between a given set of quantum operations. The necessary and sufficient condition for them to be unambiguously distinguishable is derived in the cases of single use and multiple uses respectively. For the latter case we explicitly construct the input states and corresponding measurements that accomplish the task. It is found that the introduction of entanglement can improve the discrimination. The advantage of our strategy over minimum-error discrimination is also discussed.