Abstract
Linearly independent quantum states can be unambiguously discriminated, but linearly dependent ones cannot. For linearly dependent quantum states, however, if C copies of the single states are available, then they may form linearly independent states, and can be unambiguously discriminated. We consider unambiguous discrimination among N = D + 1 linearly dependent states given that C copies are available and that the single copies span a D-dimensional space with equal inner products. The maximum unambiguous discrimination probability is derived for all C with equal a priori probabilities. For this classification of the linearly dependent equidistant states, our result shows that if C is even then adding a further copy fails to increase the maximum discrimination probability.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Orthogonal quantum states can be perfectly distinguished in quantum mechanics. However, if quantum states are nonorthogonal, they cannot be perfectly discriminated. Quantum state discrimination (QSD) [1,2,3] is a fundamental issue of quantum information theory. Up to date, a vast of researches has been focused on this problem and has developed rapidly recently.
QSD can be described as follows: discrimination of a set of quantum states \( \left\{ {\left| {\rho_{i} } \right\rangle } \right\}_{i = 1}^{N} \) with a prior probability \( \eta_{i} \) for \( \sum\nolimits_{i = 1}^{N} {\eta_{i} } = 1 \). In QSD, there are two fundamental strategies: One strategy is minimum-error (ME) [4] discrimination and the other is unambiguous discrimination (UD) [5,6,7,8]. In ME, the measurement of the initial states produces the correct probability, along with the error probability. One criterion is to minimize the error probability. A number of investigations have dedicated to the problems of finding the ME measurements [9,10,11,12,13]. The UD strategy gives no error in the identification of the initial states at the expense of producing an inconclusive result with some nonzero probability. The simplest case is to distinguish two nonorthogonal states for equal prior probability [5,6,7] and for arbitrary prior probability [8]. When \( N \ge 3 \), some special cases were given the optimal solutions [14,15,16]. There are other state discrimination strategies [17,18,19]. Minimum-error discrimination and unambiguous discrimination have been realized in experiment recently [20,21,22].
The UD strategy is possible if and only if quantum states to be discriminated are linearly independent [23]. A set of linearly dependent quantum states cannot be discriminated unambiguously. Suppose that we are given a set of linearly dependent quantum states with \( C \ge 2 \) copies of each single state. If using a single-by-single measurement on the copies, it is obvious that these linearly dependent initial states cannot be discriminated unambiguously. If, however, the quantum states with \( C \) copies become linearly independent ones, then unambiguous discrimination will be carried out by a collective (many-by-many) measurement on the \( C \) copies.
In Ref. [24], the author considered three linearly dependent states in 2-dimensional Hilbert space, i.e., the trine state, and derived the maximum discrimination probability. In this paper, we investigate \( N = D + 1 \) linearly dependent states in \( D \) dimensions. The inner products of linearly dependent states are equal, i.e., the linearly dependent equidistant state \( \left\{ {\left| {\psi_{i} } \right\rangle } \right\} \) with their inner product \( \left\langle {{\psi_{i} }} \mathrel{\left | {\vphantom {{\psi_{i} } {\psi_{j} }}} \right. \kern-0pt} {{\psi_{j} }} \right\rangle = \frac{1}{D}e^{i\pi } \) for \( i \ne j \). If we are given \( C \ge 2 \) copies of these states, then they will form a set of linearly independent states, i.e., \( \left\{ {\left| {\varPsi_{i} } \right\rangle = \left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \) for \( i = 1,2, \ldots ,D + 1 \), and the state \( \left\{ {\left| {\varPsi_{i} } \right\rangle } \right\} \) can be unambiguously discriminated. Note that even the states \( \left\{ {\left| {\varPsi_{i} } \right\rangle } \right\} \) are linearly independent, if using separate measurements on the single copies, unambiguous discrimination is also impossible because the states \( \left\{ {\left| {\psi_{i} } \right\rangle } \right\} \) are linearly dependent. However, if we perform a collective measurement on the ensemble, the states \( \left\{ {\left| {\varPsi_{i} } \right\rangle } \right\} \) can then be unambiguously discriminated. We first carry a unitary transformation on \( C \ge 2 \) copies of these states, and then measure the output. When \( C \) is even, if adding another copy to an even number of copies, the maximum discrimination probability does not increase. Our result covers the contributions in Ref. [24]. Furthermore, our method of introducing a unitary transformation provides a physical realization of a collective measurement.
The paper is organized as follows. In Sect. 2, we introduce the linearly dependent equidistant states, and give the explicit forms of the trine and tetrad states. We derive the maximum discrimination probability in Sect. 3. The paper ends with a summary.
2 Linearly dependent equidistant states
Suppose that quantum states \( \left| {\psi_{i} } \right\rangle \) for \( i = 1,2, \ldots ,N \) span a D-dimensional Hilbert space ℋ it is obvious that if \( D < N \), then the \( N \) states are linearly dependent. In Ref. [24], the authors defined three states in 2-dimensional Hilbert space, i.e., the trine state:
where the state \( \left\{ {\left| 0 \right\rangle ,\left| 1 \right\rangle } \right\} \) is an orthonormal basis. Obviously, the trine states are linearly dependent, and their inner products are equal, i.e., \( \left\langle {{\psi_{i} }} \mathrel{\left | {\vphantom {{\psi_{i} } {\psi_{j} }}} \right. \kern-0pt} {{\psi_{j} }} \right\rangle = s_{ij} e^{{i\varphi_{ij} }} = \frac{1}{2}e^{i\pi } \) for \( i \ne j \). For given \( C \ge 2 \) copies of the trine states, the states \( \left\{ {\left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \) are linearly independent and then can be unambiguously discriminated.
The states defined by Eq. (1) may be defined as the three linearly dependent equidistant states. We next define \( N \) linearly dependent equidistant states. For \( N = D + 1 \) states in D-dimensional Hilbert space, it is of course that they are linearly dependent. Suppose that these states have a property that their inner products are equal, we then define them as the equidistant states. We will determine the values of the inner products among them. If the states are linearly dependent, then the determinant formed by the inner products of the equidistant states must be zero, i.e., \( \det [\left| {a_{ij} = \left\langle {{\psi_{i} }} \mathrel{\left | {\vphantom {{\psi_{i} } {\psi_{j} }}} \right. \kern-0pt} {{\psi_{j} }} \right\rangle } \right|_{N \times N} ] = 0 \). The matrix has the following form
It is straightforward to calculate the value of the determinant
Since \( s \in \left( { - \,1,1} \right) \), we therefore obtain the value of the inner products of linearly dependent equidistant states as
If \( \det [\left| {a_{ij} } \right|] > 0 \), on the other hand, the states will be linearly independent. For \( C \ge 2 \) copies of each of \( N = D + 1 \) linearly dependent equidistant states, clearly, the states \( \left\{ {\left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \) are linearly independent, since \( \det [\left| {a_{ij} = \left\langle {{\psi_{i} }} \mathrel{\left | {\vphantom {{\psi_{i} } {\psi_{j} }}} \right. \kern-0pt} {{\psi_{j} }} \right\rangle^{ \otimes C} } \right|_{N \times N} ] > 0 \).
For this classification of the linearly dependent equidistant states discussed above, the tetrad states in a 3-dimensional Hilbert space may be defined as follows
The inner product among the tetrad states is \( s = \frac{1}{3}e^{i\pi } \).
In Ref. [24], the authors studied unambiguous discrimination of \( C \ge 2 \) copies of the trine states defined by Eq. (1), and presented the maximum success discrimination probability:
In the next section, we generalize this situation to D-dimensional Hilbert space and derive the maximum success discrimination probability. Our result covers the contributions in Ref. [24].
3 Unambiguous discrimination among linearly dependent equidistant states with multiple copies
Due to linear dependency of the states \( \left\{ {\left| {\psi_{i} } \right\rangle } \right\} \), they cannot be unambiguously discriminated at level of one copy. Even for the linearly independent equidistant states \( \left\{ {\left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \), they cannot also be unambiguously discriminated by using separate measurement on each single copy. Therefore, we need perform a collective measurement on the set \( \left\{ {\left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \). We first act a unitary transformation on the initial set, and then measure the output states for the derivation of the minimum failure probability.
The unitary transformation \( U \) acting on the input states \( \left| {\psi_{i} } \right\rangle^{ \otimes C} \) for discriminating the states \( \left| {\psi_{i} } \right\rangle \) and producing the output states for measurement, is defined as
It is obvious that \( p_{i} + q_{i} = 1 \). The measurement states,\( \left| {\varPsi_{i} } \right\rangle \) and \( \left| {\varPsi_{?} } \right\rangle \) for \( i = 1,2, \ldots ,N \), are orthonormal states as the measurement operators; the discrimination state \( \left| {\varPi_{i} } \right\rangle \) and the failure state \( \left| {\varXi_{i} } \right\rangle \) for \( i = 1,2, \ldots ,N \), are normalized, but are unnecessary orthogonal. After the unitary transformation acting on the initial states, we can measure the measurement states \( \left| {\varPsi_{i} } \right\rangle \) and \( \left| {\varPsi_{?} } \right\rangle \). If the state \( \left| {\varPsi_{i} } \right\rangle \) is measured, the probability of successfully detecting the state \( \left| {\psi_{i} } \right\rangle \) is \( \eta_{i} p_{i} \). Measurement of the state \( \left| {\varPsi_{?} } \right\rangle \) will give an inconclusive answer, so the failure probability is \( \eta_{i} q_{i} \). Therefore, the average success and average failure probabilities are conventionally defined, respectively,
From Eq. (8), it is obvious that \( P + Q = 1 \).
The unitary transformation defined by (7) yields an inner-product-preserving condition
where \( \tilde{s}_{ij} e^{{i\varphi_{ij} }} = \left\langle {{\varXi_{i} }} \mathrel{\left | {\vphantom {{\varXi_{i} } {\varXi_{j} }}} \right. \kern-0pt} {{\varXi_{j} }} \right\rangle \). For the UD scheme, the task is to maximize the success probability, or to minimize the failure probability. Note that unambiguous discrimination is possible only for linearly independent states [23]. For the failure states \( \left| {\varXi_{k} } \right\rangle \) for \( k = 1,2, \ldots ,N \), they must be linearly dependent. If not so, after the state \( \left| {\varPsi_{?} } \right\rangle \) is measured, the output state will be collapsed to the failure states \( \left| {\varXi_{k} } \right\rangle \) with a probability \( q_{k} \), and then the failure states \( \left| {\varXi_{k} } \right\rangle \) can also be unambiguously discriminated successively. Until they become linearly dependent states, the failure states can no longer be unambiguously discriminated. Generally speaking, for arbitrary a prior probability, it is difficult to calculate the minimum failure probability under the condition given by Eq. (9). For convenience, we consider the case of equal a prior probability, i.e., \( \eta_{i} = 1/N \). Our task is to minimize the failure probability
When \( C \ge 2 \) is even, the inner product of the states \( \left\{ {\left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \) becomes \( s = D^{ - C} \). Equation (9) is reduced to
From Eq. (11), it is clear that the phase factor must be \( \varphi_{ij} = 0 \). We then determine the real value of \( \tilde{s}_{ij} \). Using inequality of arithmetic and geometric means, Eq. (10) can be rewritten
where the equality holds if and only if all the failure probabilities \( q_{i} \) are equal, i.e., \( q_{i} = q \). This condition implies that \( Q = q \). Therefore, we get the value of the failure probability \( Q = {{q = D^{ - C} } \mathord{\left/ {\vphantom {{q = D^{ - C} } {\tilde{s}_{ij} }}} \right. \kern-0pt} {\tilde{s}_{ij} }} \). Obviously, the larger the value of the inner products, \( \left\langle {{\varXi_{i} }} \mathrel{\left | {\vphantom {{\varXi_{i} } {\varXi_{j} }}} \right. \kern-0pt} {{\varXi_{j} }} \right\rangle \), of the failure states has, the smaller the value of the failure probability reaches. Taking \( \tilde{s}_{ij} = 1 \), the minimum failure probability is arrived at
In the case of \( C \ge 2 \) being even, the inner products of the failure states are \( \left\langle {{\varXi_{i} }} \mathrel{\left | {\vphantom {{\varXi_{i} } {\varXi_{j} }}} \right. \kern-0pt} {{\varXi_{j} }} \right\rangle = 1 \), which implies that \( \left| {\varXi_{i} } \right\rangle = \left| {\varXi_{j} } \right\rangle \) and that the failure states are linearly dependent.
When \( C \ge 2 \) is odd, the inner products of the states \( \left\{ {\left| {\psi_{i} } \right\rangle^{ \otimes C} } \right\} \) become \( \left\langle {{\psi_{i} }} \mathrel{\left | {\vphantom {{\psi_{i} } {\psi_{j} }}} \right. \kern-0pt} {{\psi_{j} }} \right\rangle^{ \otimes C} = D^{ - C} e^{i\pi } \). Equation (9) is then reduced to
This equation gives two conditions, i.e., \( \varphi_{ij} = \pi \) and \( D^{ - C} = \sqrt {q_{i} q_{j} } \tilde{s}_{ij} \). Since the failure states are linearly dependent, from Eq. (4) we must take \( \tilde{s}_{ij} = D^{ - 1} \) when \( \varphi_{ij} = \pi \). We then derive the minimum failure probability
We can also obtain Eq. (15) without the condition that the failure states must be linearly dependent, which comes from the result given by Ref. [23]. For the equidistant states with the inner product \( \tilde{s}_{ij} e^{i\pi } \), when \( \tilde{s}_{ij} \in \left[ {0,D^{ - 1} } \right) \) they are linearly independent, and when \( \tilde{s}_{ij} = D^{ - 1} \) they are linearly dependent. From the equation \( D^{ - C} = \sqrt {q_{i} q_{j} } \tilde{s}_{ij} \), we have \( q = q_{i} = {{D^{ - C} } \mathord{\left/ {\vphantom {{D^{ - C} } {\tilde{s}_{ij} }}} \right. \kern-0pt} {\tilde{s}_{ij} }} \). Obviously, the larger the value of \( \tilde{s}_{ij} \) has, the smaller the value of \( q \) reaches. So we must take \( \tilde{s}_{ij} = D^{ - 1} \), but do not take \( \tilde{s}_{ij} \in \left[ {0,D^{ - 1} } \right) \). The value \( \tilde{s}_{ij} = D^{ - 1} \) implies that the failure states are linearly dependent.
We here derive the minimum failure probability, which covers the contributions in Ref. [24]. Intuitively, if we have more copies of the state, we can discriminate it better. This is indeed the case for linearly independent quantum states. From our results, it can be seen that the probability is the same for the numbers of even \( C \) and odd \( C + 1 \) copies. In [24], the authors proposed one of collective measurements, i.e., a two-by-two measurement. The success probability for all \( C \) copies by their method is optimal \( P_{\hbox{max} } = 1 - \left[ {Q_{\hbox{min} } \left( {\left| {\psi_{i} } \right\rangle^{ \otimes 2} } \right)} \right]^{{{C \mathord{\left/ {\vphantom {C 2}} \right. \kern-0pt} 2}}} \). By exploiting their collective measurement, all \( C \) copies must be measured. From our method of introducing unitary transformation performed on the initial states, we merely need to measure the output states \( \left| {\varPsi_{i} } \right\rangle \) and \( \left| {\varPsi_{?} } \right\rangle \), formed only by a small quality of particles defined by Eq. [7]. This measurement for optimum discrimination is clearly convenient from a practical perspective.
4 Summary
In this paper, we have investigated unambiguous discrimination among linearly dependent states with multiple copies. Unambiguous discrimination is impossible if using separate measurements on the single copies of linearly dependent equidistant states. If the \( C \) copy states are linearly independent, then unambiguous discrimination will be possible by carrying out a collective measurement on a small quality of particles. Meanwhile, our method of introducing a unitary transformation provides a physical realization of a collective measurement.
We have studied a classification of linearly dependent equidistant states. If \( C \ge 2 \) copies of these states are available, then they construct a set of linearly independent states, and can be unambiguously discriminated. We have derived the optimal maximum success probability, which increase as the number of the copies increase. For the numbers of even \( C \) and odd \( C + 1 \) copies, however, the probability is the same, which is deferent from unambiguous discrimination of linearly independent quantum states.
References
Chefles, A.: Quantum state discrimination. Contemp. Phys. 4, 401–424 (2000)
Barnett, S.M., Croke, S.: Quantum state discrimination. Adv. Opt. Photon. 1, 238–278 (2009)
Bergou, J.A.: Discrimination of quantum states. J. Mod. Opt. 57, 160–180 (2010)
Helstrom, C.W.: Quantum Detection and Estimation Theory. Academic Press, New York (1976)
Ivanovic, I.D.: How to differentiate between non-orthogonal states. Phys. Lett. A 123, 257–259 (1987)
Dieks, D.: Overlap and distinguish ability of quantum states. Phys. Lett. A 126, 303–306 (1988)
Peres, P.: How to differentiate between non-orthogonal states. Phys. Lett. A 128, 19 (1988)
Jeager, G., Shimony, A.: Optimal distinction between non-orthogonal quantum states. Phys. Lett. A 197, 83–87 (1995)
Assalini, A., Cariolaro, G., Pierobon, G.: Efficient optimal minimum error discrimination of symmetric quantum states. Phys. Rev. A 81, 012315 (2010)
Bae, J., Hwang, W.Y.: Minimum-error discrimination of qubit states: methods, solutions, and properties. Phys. Rev. A 87, 012334 (2013)
Mazhari Khiavi, Y., Akbari Kourbolagh, Y.: Minimum-error discrimination among three pure linearly independent symmetric qutrit states. Quantum Inf. Process. 12, 1255 (2013)
Jafarizadeh, M.A., Mazhari Khiavi, Y., Akbari Kourbolagh, Y.: Minimum-error discrimination between two sets of similarity-transformed quantum states. Quantum Inf. Process. 12, 2385 (2013)
Nakahira, K., Usuda, T.S., Kato, K.: Finding optimal measurements with inconclusive results using the problem of minimum error discrimination. Phys. Rev. A 91, 022331 (2015)
Bergou, J.A., Futschik, U., Feldman, E.: Optimal unambiguous discrimination of pure quantum states. Phys. Rev. Lett. 108, 250502 (2012)
Zhang, W.H., Yu, L.B., Cao, Z.L., Ye, L.: Optimal unambiguous discrimination of pure qudits. Quantum Inf. Process. 13, 503 (2014)
Ha, D., Kwon, Y.: Analysis of optimal unambiguous discrimination of three pure quantum states. Phys. Rev. A 91, 062312 (2015)
Fiurášek, J., Ježek, M.: Optimal discrimination of mixed quantum states involving inconclusive results. Phys. Rev. A 67, 012321 (2003)
Eldar, Y.C.: Mixed-quantum-state detection with inconclusive results. Phys. Rev. A 67, 042309 (2003)
Ha, D., Kwon, Y.: An optimal discrimination of two mixed qubit states with a fixed rate of inconclusive results. Quantum Inf. Process. 16, 273 (2017)
Agnew, M., Bolduc, E., Resch, K.J., Franke-Arnold, S., Leach, J.: Discriminating single-photon states unambiguously in high dimensions. Phys. Rev. Lett. 113, 020501 (2014)
Solís-Prosser, M.A., González, P., Fuenzalida, J.: Experimental multiparty sequential state discrimination. Phys. Rev. A 94, 042309 (2016)
Solís-Prosser, M.A., Fernandes, M.F., Jiménez, O.: Experimental minimum-error quantum-state discrimination in high dimensions. Phys. Rev. Lett. 118, 100501 (2017)
Chefles, A.: Unambiguous discrimination between linearly independent quantum states. Phys. Lett. A 239, 339 (1998)
Chefles, A.: Unambiguous discrimination between linearly dependent states with multiple copies. Phys. Rev. A 64, 062305 (2001)
Acknowledgements
This research was funded by the Natural Science Foundation of the Education Department of Anhui Province of China under Grants Nos. KJ2016A672 and KJ2015A268.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhang, WH., Ren, G. Unambiguous discrimination between linearly dependent equidistant states with multiple copies. Quantum Inf Process 17, 155 (2018). https://doi.org/10.1007/s11128-018-1929-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-018-1929-3