Abstract
The main goal of this work is to provide an insight into the problem of discrimination of positive operatorvalued measures with rankone effects. It is our intention to study multipleshot discrimination of such measurements, that is the case when we are able to use to unknown measurement a given number of times. Furthermore, we are interested in comparing two possible discrimination schemes: the parallel and adaptive ones. To this end, we construct a pair of symmetric informationally complete positive operatorvalued measures which can be perfectly discriminated in a twoshot adaptive scheme but cannot be distinguished in the parallel scheme. On top of this, we provide an explicit algorithm which allows us to find this adaptive scheme.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The transformation of quantum states is at the core of quantum computing. The most general mathematical tool describing how quantum states transform are quantum channels. While performing computation, one would like to certify that the operation in use agrees with the one given by the classical description. The discrimination task is closely related to the hypothesis testing. This is one of the reasons why the problem of discrimination of quantum channels has attracted a lot of attention [1,2,3,4].
Various approaches have been utilized to study the distinguishability of quantum channels. In work [5], the authors introduced the resource theory of asymmetric distinguishability for quantum channels which was further developed in [6]. A novel scenario called coherent quantum channel discrimination was studied in [7]. Interesting results on the distinguishability concern specific classes of quantum channels such as unitary [8, 9] and Pauli [10] channels.
We can consider two approaches to channel discrimination—a parallel and an adaptive scheme. In the former, we are allowed to perform the unknown channel a fixed, finite number of times on an input state, while in the latter case, we can also perform additional operations between the applications of the unknown channel. In general, it is a nontrivial question which discrimination scheme should be used to distinguish between two quantum channels. It seems natural that the use of adaptive scheme should improve the discrimination. However, it may happen that it suffices to use the parallel one. For example, in the case of unitary channels [8, 9] and von Neumann measurements it was shown in [11,12,13] that the parallel scheme is always optimal. It is also known that asymptotically the use of adaptive strategy does not give an advantage over the parallel one for the discrimination of classical [14] and classicalquantum channels [15]. Nevertheless, an example of a pair of quantum channels that cannot be distinguished perfectly in parallel but can be distinguished by the adaptive scheme was proposed in [16]. These channels are, however, pretty artificial. We will give another natural example of two channels which have this property. These channels are two symmetric informationally complete positive operatorvalued measures (SIC POVMs) [17, 18] of dimension three. Moreover, we will show that there exist many pairs of channels which can be distinguished only adaptively and present numerical results for the discrimination of random positive operatorvalued measures (POVMs).
In this work, we focus on the following scheme. There are two measurements \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\). One of them is secretly chosen (with probability \(\frac{1}{2}\)) and put into a black box. The black box containing the unknown measurement device can be used any finite number of times in any configuration. Two schemes of multipleshot discrimination will be studied: parallel and adaptive. The parallel scheme does not require any processing between the uses of the black box [19]. In the adaptive scheme, however, the processing between the uses of the black box plays a crucial role. We can prepare any input state and put it through the discrimination network. Finally, we perform a known measurement and make a decision which measurement was put into the black box.
This work is organized as follows. We begin with preliminaries in Sect. 2. The conditions allowing for perfect discrimination in both parallel and adaptive scenarios are stated in Sect. 3. The example of qutrit SIC POVMs which can be discriminated perfectly only by the adaptive scheme, as well as the algorithm allowing for perfect discrimination, are presented in Sect. 4. Eventually, in Sect 5 one can find numerical results for the discrimination of random rankone POVMs.
2 Preliminaries
Let \({\mathcal {X}}\) and \({\mathcal {Y}}\) be finitedimensional complex Hilbert spaces. We denote by \({\text {L}}({\mathcal {X}},{\mathcal {Y}})\) the set of linear operators \(A:{\mathcal {X}}\rightarrow {\mathcal {Y}}\) and write shortly \({\text {L}}({\mathcal {X}})\) for \({\text {L}}({\mathcal {X}},{\mathcal {X}})\). We will use the notation \({\mathrm {U}}({\mathcal {X}},{\mathcal {Y}})\) for the set of isometry operators and \({\mathrm {U}}({\mathcal {X}})\) for the set of unitary operators. A set of quantum states will be denoted \({\mathcal {D}} ({\mathcal {X}})\). Quantum operations \(\Phi : {\text {L}}({\mathcal {X}}) \rightarrow {\text {L}}({\mathcal {Y}})\) will be denoted \({\mathrm {T}} ({\mathcal {X}},{\mathcal {Y}})\), while the subset of quantum channels will be denoted \({\mathrm {C}} ({\mathcal {X}},{\mathcal {Y}})\).
We will need the notion of vectorization of a matrix. For the identity operator \({\mathbb {1}}\) of the space \({\mathrm {L}}({\mathcal {X}})\), we define its vectorization as \({\mathbb {1}}\rangle \!\rangle = \sum _i ii\rangle \). It can be generalized to an arbitrary matrix \(X \in {\mathrm {L}}({\mathcal {X}})\) as \(X\rangle \!\rangle = (X \otimes {\mathbb {1}}){\mathbb {1}}\rangle \!\rangle \).
The most general form of quantum measurements are positive operatorvalued measures (POVMs). Formally, a collection of positive semidefinite operators \({\mathcal {P}}=\{E_1, \ldots ,E_m\} \subset {\mathrm {L}}({\mathcal {X}})\) is called a POVM iff \(\sum _{i=1}^{m} E_i = {\mathbb {1}}\). The operators \(E_i\) are called effects. Every quantum measurement \({\mathcal {P}}=\{E_1, \ldots ,E_m\}\) can be identified with a quantum channel which gives a classical output [20]. Its action on a quantum state \(\rho \) can be written as
This approach assumes that the input state ceases to exist, in the sense that it no longer has a defined state and cannot be considered in further calculations. Furthermore, the outcome label i is selected with probability \({{\,\mathrm{Tr}\,}}(E_i \rho )\).
Let us for a moment focus on the distinguishability of general quantum channels. This problem has been widely studied in the literature in various settings and utilizing a plethora of mathematical tools [21, 22]. The probability of correct discrimination between channels \(\Phi , \Psi \in {\mathrm {C}}({\mathcal {X}},{\mathcal {Y}})\) is upperbounded by the Holevo–Helstrom theorem [23]
The diamond norm, known also as the completely bounded trace norm, \(\Vert \cdot \Vert _\diamond \) is defined for a Hermiticitypreserving linear map \(\Phi \in {\mathrm {T}}({\mathcal {X}},{\mathcal {Y}})\) as
where \(\Vert X\Vert _1\) is defined as a sum of singular values of X. The abovementioned bound describes the situation when the black box containing the unknown POVM can be used only once. Therefore, \(\Phi \) and \(\Psi \) are said to be perfectly distinguishable in a singleshot scenario iff \(\Vert \Phi  \Psi \Vert _\diamond = 2\).
2.1 Parallel discrimination
The approach introduced by Holevo–Helstrom theorem can be easily generalized into the parallel discrimination scheme. In such a case, the probability of correct discrimination after N uses of the black box is upperbounded by
The parallel discrimination scheme is depicted in Fig. 1. Black boxes containing the unknown POVM are denoted by question marks. As an input state, we use the state on \(N+1\) registers denoted by \(\psi _{1, \ldots , N+1}\rangle \). After performing the unknown POVM on N registers, we obtain classical outputs \(i_1, \ldots , i_N\). Using this classical information, we prepare another known measurement and perform it on the last register. Basing on the last measurement’s outcome, we make a decision which measurement was hidden in the black box.
We can state a condition when two measurements can be distinguished perfectly in a parallel scenario. It follows directly from Theorem 1 which will be presented in the subsequent section. Let \({\mathcal {P}}_1=\{x_1\rangle \langle x_1, \ldots , x_m\rangle \langle x_m\}\) and \({\mathcal {P}}_2 =\{y_1\rangle \langle y_1, \ldots ,y_m\rangle \langle y_m\}\) be POVMs for \(m \ge d\). Then, POVMs \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) have perfect parallel distinguishability if there exist an integer \(N>0\) and a quantum state \(\rho \in {\mathcal {D}}({\mathcal {X}}^{\otimes N})\) such that for all multiindices \(i_1, \ldots , i_N\) we have
2.2 Adaptive discrimination scheme
If we are allowed to perform processing between the uses of black boxes, then we arrive at the adaptive discrimination scheme, which is depicted in Fig. 2. Although the adaptive discrimination scheme can be used for any number of uses, N, of the black box, for the sake of clarity let us focus on the case \(N=3\). We prepare an input state \(\psi \rangle \) and perform the unknown POVM on the first register. Basing on the measurement’s outcome \(i_1\), we perform a quantum channel \(\Phi _{i_1}\) on the other registers. Later, we perform the unknown POVM on the second register and obtain the classical outcome \(i_2\). Then, we perform a channel \(\Phi _{i_1, i_2}\) on the remaining registers which now depends on both \(i_1\) and \(i_2\). In what follows, we perform the unknown POVM on the third register and obtain the outcome \(i_3\). Finally, we perform the known measurement on the last register which now depends on all classical outcomes \(i_1, i_2, i_3\) and make a decision which of the POVMs was hidden in the black box.
3 Parallel vs adaptive discrimination scheme
In this section, we will state the condition when a pair of quantum operations can be distinguished perfectly in the adaptive scheme, while the parallel scheme does not allow for perfect discrimination. Before reviewing some known results on the distinguishability of general quantum operations, we need to introduce the notion of disjointness between quantum operations. Let \(\rho \in {\mathcal {D}}({\mathcal {X}})\) be a quantum state with spectral decomposition \(\rho = \sum _i \lambda _i \lambda _i\rangle \langle \lambda _i\). Then, we define its support as \({\text {supp}} (\rho ) = {\text {span}} \{ \lambda _i\rangle : \lambda _i > 0 \}\).
Definition 1
Two quantum states \(\rho _1, \rho _2 \in {\mathcal {D}}({\mathcal {X}})\) are called disjoint when
The notion of disjointness can be generalized to quantum operations. Thus, following [24], we have the following definition.
Definition 2
Two quantum operations \(\Phi , \Psi \in {\mathrm {T}}({\mathcal {X}},{\mathcal {Y}})\) are called (entanglementassisted) disjoint if there exists an input state \(\psi \rangle \in {\mathcal {X}}\otimes {\mathcal {Z}}\) such that \(\left( \Phi \otimes {\mathbb {1}}_{{\mathrm {L}}({\mathcal {Z}})}\right) (\psi \rangle \langle \psi )\) and \(\left( \Psi \otimes {\mathbb {1}}_{{\mathrm {L}}{({\mathcal {Z}})}}\right) (\psi \rangle \langle \psi )\) are disjoint.
Let \(\Phi , \Psi \in {\mathrm {T}}({\mathcal {X}},{\mathcal {Y}})\) be quantum operations with Kraus operators \(\{E_i\}_i\) and \(\{F_i\}_i\), respectively. From [24], we have a condition for perfect distinguishability by a finite number of uses given by the following theorem.
Theorem 1
Quantum operations \(\Phi :\rho \mapsto \sum _i E_i \rho E_i^\dagger \) and \(\Psi : \rho \mapsto \sum _j F_j \rho F_j^\dagger \) are perfectly distinguishable by a finite number of uses iff they are (entanglementassisted) disjoint and \({\mathbb {1}}\not \in {\mathrm {span}}\{E_i^\dagger F_j\}_{i,j}\).
The following proposition comes from [19] and gives a condition when quantum operations cannot be distinguished in parallel.
Proposition 2
Using notation as in Theorem 1, if \({\mathrm {span}} \{E_i^\dagger F_j\}_{i,j}\) contains a positive operator \(\rho >0 \), then \(\Phi \) and \(\Psi \) cannot be distinguished perfectly in parallel by any finite number of uses.
Combining the above Theorem and Proposition, we obtain the corollary which states a condition when operations can be distinguished only by the adaptive scheme, that is, when parallel discrimination is not sufficient but adaptive discrimination allows for perfect discrimination.
Corollary 3
Using notation as in Theorem 1, if \({\mathrm {span}} \{E_i^\dagger F_j\}_{i,j}\) contains a positive operator \(\rho > 0\), operations \(\Phi \) and \(\Psi \) are (entanglementassisted) disjoint and \({\mathbb {1}}\not \in {\mathrm {span}}\{E_i^\dagger F_j\}_{i,j}\), then \(\Phi \) and \(\Psi \) can be distinguished perfectly only by the adaptive scheme.
Let \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) be rankone POVMs with effects \(\{x_i\rangle \langle x_i\}_i\) and \(\{y_i\rangle \langle y_i\}_i\), respectively. Therefore, the Kraus operators of \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) can be chosen as \(E_i = \{ i\rangle \langle x_i\}_i\) and \(F_i = \{ i\rangle \langle y_i\}_i\), respectively. Hence, in order to check whether \({\mathbb {1}}\notin {\text {span}} \{E_i^\dagger F_j\}_{i,j}\) it suffices to see whether \({\mathbb {1}}\notin {\text {span}} \{ x_i\rangle \langle y_i\}_i\) as \(E_i^\dagger F_j = x_i\rangle \langle y_j \delta _{ij}\).
4 SIC POVMs
In this section, we give an example of a pair of quantum measurements for which the use of parallel discrimination scheme does not give perfect distinguishability but they can be distinguished perfectly by the adaptive scheme. Let us begin with a definition. A POVM \({\mathcal {P}}=\{E_1, \ldots , E_{d^2} \} \subset {\mathrm {L}}({\mathcal {X}}_d)\) of dimension d is called a SIC POVM if \(E_i = \frac{1}{d} \phi _i\rangle \langle \phi _i\) and
for every \(i,j = 1, \ldots , d^2\), \(i\ne j\). It is worth mentioning here that it is an open question whether SIC POVMs exist in all dimensions. So far numerical results are known for all dimensions up to 151 and for a few other dimensions up to 844 [25].
In what follows, we will construct an example of a pair of quantum channels which cannot be distinguished perfectly in the parallel scheme but can be distinguished perfectly in the adaptive scheme. Let \({\mathcal {P}}_1\) be a qutrit SIC POVM with effects \(\{x_i\rangle \langle x_i\}_i\), where \(x_i\rangle \), \(i = 1, \ldots 9\) are columns of the following matrix
with \(\omega _3 = \exp \left( \frac{2 \pi \mathrm {i}}{3}\right) \). Let \(\pi = (9, 8, 7, 3, 1, 2, 6, 4, 5 )\) be a permutation and \({\mathcal {P}}_2\) be a SIC POVM with effects \(\{y_i\rangle \langle y_i\}_i\) such that \(y_i\rangle = x_{\pi (i)}\rangle \) for \( i=1, \ldots , 9\). The construction of the above SIC POVM comes from [26]. In this case, \({\mathbb {1}}\not \in {\mathrm {span}}\{x_i\rangle \langle y_i\}_{i}\) and \({\mathcal {P}}_1, {\mathcal {P}}_2 \in {\text {C}}({\mathcal {X}},{\mathcal {Y}})\) are (entanglementassisted) disjoint. To see the latter, define two states
We need to check whether \({\text {supp}}(\rho _1) \cap {\text {supp}}(\rho _2) = \{0\}\). We have
Taking \(\varphi \rangle \in {\text {supp}}(\rho _1) \cap {\text {supp}}(\rho _2)\), then there exist numbers \(\alpha _1, \ldots \alpha _m\) and \(\beta _1, \ldots \beta _m\) such that
As \(x_i\rangle \) and \(y_i\rangle \) are linearly independent for all \(i = 1, \ldots , k\), \(\varphi \rangle = 0\).
Therefore, from Theorem 1 we obtain that \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) are perfectly distinguishable by a finite number of uses. Nonexistence of the parallel scheme follows from Proposition 2, that is, \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) cannot be distinguished in the parallel scheme as there exists a quantum state \(\rho \in {\mathcal {D}}({\mathcal {X}})\) such that \(\rho \in {\mathrm {span}}\{x_i\rangle \langle y_i\}_{i}\). The algorithm finding the state \(\rho \) will be presented in Sect. 5.
Now we focus on the adaptive scheme for perfect discrimination between \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\), which is depicted in Fig. 3. The top register corresponds to the space \({\mathcal {X}}\), while the second and third registers correspond to spaces \({\mathcal {Y}}\) and \({\mathcal {Z}}\), respectively, where each of these spaces is \(\mathbb {C}^3\). Our goal is as follows. Before the final use of the black box, we would like to obtain states \(\xi _i\rangle \) and \(\eta _i\rangle \) for which \( \left( {\mathcal {P}}_1 \otimes {\mathbb {1}}\right) \left( \xi _i\rangle \langle \xi _i\right) \) and \( \left( {\mathcal {P}}_2 \otimes {\mathbb {1}}\right) \left( \eta _i\rangle \langle \eta _i\right) \) are orthogonal. Therefore, we need to find processing \(\Phi _i\) for which
where \(\psi _{in}\rangle \) is the input state for the discrimination procedure.
The scheme for discrimination between \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) is as follows. First, using the fact that \(\text {rank} \left( {\mathrm {span}}\{x_i\rangle \langle y_i\}_{i}\right) < 9\), we can find a nonzero matrix \(A \in {\text {L}}({\mathcal {X}})\) such that
From the singular value decomposition, we can write \(A = U\Sigma V^\dagger \). Next, find vectors \(\tilde{\xi \rangle }, \tilde{\eta \rangle } \in {\mathcal {Y}}\otimes {\mathcal {Z}}\) as \(\tilde{\xi \rangle } = U \sqrt{\Sigma }\rangle \!\rangle \) and \(\tilde{\eta \rangle } = V \sqrt{\Sigma }\rangle \!\rangle \). We can see that they fulfill the condition
Let \(\xi \rangle = \frac{\tilde{\xi \rangle }}{\left\ \tilde{\xi \rangle } \right\ }\) and \(\eta \rangle = \frac{\tilde{\eta \rangle }}{\left\ \tilde{\eta \rangle } \right\ }\).
Now we present the algorithm for the adaptive discrimination between \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\).

(1)
As the input state to the discrimination, we use the maximally entangled state on first two registers, that is, \(\psi _{in}\rangle = \frac{1}{\sqrt{d}}{\mathbb {1}}_{\mathcal {X}}\rangle \!\rangle \). Then, we perform the unknown measurement on the first register, either \({\mathcal {P}}_1\) or \({\mathcal {P}}_2\), and obtain a label i. At the same time on the second register, we obtain the state either \(\psi _i\rangle \) or \(\varphi _i\rangle \in {\mathcal {Y}}\). Using the property in Eq. (7), one can note that
$$\begin{aligned} \left \langle {\psi _i}{\varphi _i}\rangle \right = \left {{\,\mathrm{Tr}\,}}(A) \right ^2 = \frac{1}{2}. \end{aligned}$$ 
(2)
Basing on the label i, we perform an isometric channel \(\Phi _{U_i}(\cdot ) = U_i\cdot U_i^\dagger \) for \( U_i \in \text {U}({\mathcal {Y}}, {\mathcal {Y}}\otimes {\mathcal {Z}})\) such that
$$\begin{aligned} \begin{aligned} U_i \psi _i\rangle&= \mathrm {e}^{\mathrm {i}\theta _i}\xi \rangle , \\ U_i \varphi _i\rangle&= \eta \rangle , \end{aligned} \end{aligned}$$where \(\theta _i = \beta  \alpha _i\) for \(\langle {\psi _i}{\varphi _i}\rangle = r_i\mathrm {e}^{\mathrm {i}\alpha _i} \) and \(\langle {\xi }{\eta }\rangle = r\mathrm {e}^{\mathrm {i}\beta }\).

(3)
After performing the isometric channel, we have a new third register \({\mathcal {Z}}\). Then, we perform the unknown measurement on the second register \({\mathcal {Y}}\) and obtain a label j.

(4)
Finally, we measure the third register by some known measurement and make a decision whether in the black box there was either \({\mathcal {P}}_1\) or \({\mathcal {P}}_2\).
On a final note of this section, we would like to mention that although the above algorithm is described for dimension three, nothing stands in the way to apply it in higher dimensions. We found a permutation of a SIC POVM in dimension four, which can be distinguished adaptively but cannot be distinguished in the parallel scenario. We checked that also in the case of dimension four, our adaptive discrimination procedure can be utilized as well.
5 Numerical results
In this section, we study numerically the distinguishability of random POVMs with rankone effects. We check the conditions for perfect distinguishability. To choose at random a POVM of dimension d with m rankone effects, we take a Haar random isometry matrix of dimension \(d \times m\). Then, we take projectors onto the columns \(\{x_i\rangle \}_{i=1}^m\) of this matrix and obtain a POVM with effects \(\{x_i\rangle \langle x_i\}_{i=1}^m\).
Let \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) be POVMs with effects \(\{x_i\rangle \langle x_i\}_{i=1}^m\) and \(\{y_i\rangle \langle y_i\}_{i=1}^m\), respectively. If \(m=d^2\), then \({\mathbb {1}}\in {\mathrm {span}} \{ x_i\rangle \langle y_i \}\) and therefore any two random rankone POVMs cannot be distinguished perfectly by any finite number of uses. If \(d \le m < d^2\), then \({\mathbb {1}}\not \in {\mathrm {span}} \{ x_i\rangle \langle y_i \}\). Hence, there exists a finite number N of uses which allows for perfect distinguishability iff \({\mathcal {P}}_1\) and \({\mathcal {P}}_2\) are (entanglementassisted) disjoint. Fortunately, we have the following lemma.
Lemma 4
Consider two independently chosen at random POVMs with rankone effects. Then, with probability one they are (entanglementassisted) disjoint.
Proof
Define two states
We need to check whether \({\text {supp}}(\rho _1) \cap {\text {supp}}(\rho _2) = \{0\}\). We have
Taking \(\varphi \rangle \in {\text {supp}}(\rho _1) \cap {\text {supp}}(\rho _2)\), then there exist \(\alpha _1, \ldots \alpha _m\) and \(\beta _1, \ldots \beta _m\) such that
As it holds that for random POVMs \(x_i\rangle \) and \(y_i\rangle \) are linearly independent with probability one for all \(i = 1, \ldots , k\), \(\varphi \rangle = 0\).\(\square \)
Knowing that for \(m< d^2\) two POVMs with rankone effects can always be distinguished perfectly by a finite number of uses, now we are interested when it suffices to use the parallel scheme, instead of the adaptive one. From Proposition 2, we know that if there exists a positive operator \(\rho \in {\mathrm {span}} (x_i\rangle \langle y_i)\), then we need to use the adaptive scheme. Simple numerical calculations show that there exist pairs of qubit POVMs with 3 rankone effects which can be distinguished perfectly only by the adaptive scheme. Moreover, the probability of finding a pair of POVMs with this property is roughly equal to \(\frac{4}{10}\).
Now we proceed to studying the distinguishability of randomly chosen rankone POVMs in higher dimensions depending on the number of effects. We study this problem numerically for the input dimension \(d=7\) and the number of effects \(d< m < d^2\). The procedure is as follows. We sample \(N=10^6\) pairs of random POVMs in a manner explained at the beginning of this section. For further details on sampling, we refer the reader to [27, 28].
In order to check whether the condition stated in Proposition 2 is fulfilled, we introduce an iterative algorithm. First, we construct a projection operator P on the space \({\mathrm {span}}\{x_i\rangle \langle y_i\}_{i=1}^m\) and choose an initial operator \(X \in {\mathrm {L}}({\mathcal {X}}_d)\). We project X onto the subspace given by P obtaining some operator Y. We substitute the operator X with the density operator closest to Y and repeat this procedure until it converges or a predefined number of steps is reached. The final step is to check whether the resulting operator is of full rank.
Figure 4 shows numerically found probability of finding a positive operator in the subspace defined in Proposition 2 as a function of the number of effects of POVMs. As we can see in the figure, as the number of effects increases, so does this probability. This is in agreement with previous results. On the one hand, for the case when \(m=d\), we have a von Neumann POVM and we have shown [13] that such measurements can always be distinguished in a finite number of steps in parallel. On the other hand, when we have \(m=d^2\), \({\mathrm {span}}{ \{x_i\rangle \langle y_i\}_i}\) gives the entire space \(\mathbb {C}^d\) and we are guaranteed to find the identity operator in it, which implies that perfect distinguishability cannot be obtained for any finite number of uses. In general, we are more likely to need to utilize the adaptive scheme for perfect discrimination when the number of effects of POVMs is close to \(d^2\).
6 Conclusions
In this work, we studied the problem of discriminating POVMs with rankone effects. This class of measurements requires a more careful approach compared to von Neumann POVMs or even general projective measurements. We show that for this class of measurements, there exist instances where the adaptive discrimination scheme is optimal. This is contrary to von Neumann POVMs, for which the parallel scheme is always optimal. We illustrate this result using a special class of POVMs—the symmetric informationally complete POVMs. For a given input dimension d, we study the discrimination between a SIC POVM and the same SIC POVM, but with permuted effects. This allows us to construct a simple example of two quantum channels which can be perfectly discriminated in a finite number of steps but require an adaptive scheme. We state the construction of such a discrimination scheme explicitly. Finally, we provide some numerical insight on the probability of randomly sampling a pair of POVMs with rankone effects which can be distinguished only in the adaptive scenario.
References
D’Ariano, G.M., Presti, P.L., Paris, M.G.: Using entanglement improves the precision of quantum measurements. Phys. Rev. Lett. 87(27), 270404 (2001)
Gilchrist, A., Langford, N.K., Nielsen, M.A.: Distance measures to compare real and ideal quantum processes. Phys. Rev. A 71(6), 062310 (2005)
Chiribella, G., D’Ariano, G.M., Perinotti, P.: Memory effects in quantum channel discrimination. Phys. Rev. Lett. 101(18), 180501 (2008)
Sacchi, M.F.: Optimal discrimination of quantum operations. Phys. Rev. A 71(6), 062340 (2005)
Wang, X., Wilde, M.M.: Resource theory of asymmetric distinguishability for quantum channels. Phys. Rev. Res. 1(3), 033169 (2019)
Katariya, V., Wilde, M.M.: Evaluating the advantage of adaptive strategies for quantum channel distinguishability. arXiv preprint arXiv:2001.05376 (2020)
Wilde, M.M.: Coherent Quantum Channel Discrimination. arXiv preprint arXiv:2001.02668 (2020)
Acin, A.: Statistical distinguishability between unitary operations. Phys. Rev. Lett. 87(17), 177901 (2001)
Duan, R., Feng, Y., Ying, M.: Entanglement is not necessary for perfect discrimination between unitary operations. Phys. Rev. Lett. 98(10), 100503 (2007)
D’Ariano, G.M., Sacchi, M.F., Kahn, J.: Minimax discrimination of two Pauli channels. Phys. Rev. A 72(5), 052302 (2005)
Ji, Z., Feng, Y., Duan, R., Ying, M.: Identification and distance measures of measurement apparatus. Phys. Rev. Lett. 96(20), 200401 (2006)
Puchała, Z., Pawela, Ł., Krawiec, A., Kukulski, R.: Strategies for optimal singleshot discrimination of quantum measurements. Phys. Rev. A 98(4), 042103 (2018)
Puchała, Z., Pawela, Ł., Krawiec, A., Kukulski, R., Oszmaniec, M.: Multipleshot and unambiguous discrimination of von Neumann measurements. arXiv preprint arXiv:1810.05122 (2018)
Hayashi, M.: Discrimination of two channels by adaptive methods and its application to quantum system. IEEE Trans. Inf. Theory 55(8), 3807–3820 (2009)
Wilde, M.M., Berta, M., Hirche, C., Kaur, E.: Amortized channel divergence for asymptotic quantum channel discrimination. Lett. Math. Phys. pp. 1–60 (2020)
Harrow, A.W., Hassidim, A., Leung, D.W., Watrous, J.: Adaptive versus nonadaptive strategies for quantum channel discrimination. Phys. Rev. A 81(3), 032339 (2010)
Renes, J.M., BlumeKohout, R., Scott, A.J., Caves, C.M.: Symmetric informationally complete quantum measurements. J. Math. Phys. 45(6), 2171–2180 (2004)
Flammia, S.T.: On SICPOVMs in prime dimensions. J. Phys. A: Math. Gen. 39(43), 13483 (2006)
Duan, R., Guo, C., Li, C.K., Li, Y.: Parallel distinguishability of quantum operations. In: 2016 IEEE International Symposium on Information Theory (ISIT), pp. 2259–2263, IEEE, (2016)
Watrous, J.: The Theory of Quantum Information. Cambridge University Press, Cambridge (2018)
Chiribella, G., D’Ariano, G.M., Perinotti, P.: Quantum circuit architecture. Phys. Rev. Lett. 101(6), 060401 (2008)
Chiribella, G., D’Ariano, G.M., Perinotti, P.: Theoretical framework for quantum networks. Phys. Rev. A 80(2), 022339 (2009)
Helstrom, C.W.: Quantum Detection and Estimation Theory. Elsevier, Amsterdam (1976)
Duan, R., Feng, Y., Ying, M.: Perfect distinguishability of quantum operations. Phys. Rev. Lett. 103(21), 210501 (2009)
Fuchs, C.A., Hoang, M.C., Stacey, B.C.: The SIC question: history and state of play. Axioms 6(3), 21 (2017)
Dang, H.B., Blanchfield, K., Bengtsson, I., Appleby, D.M.: Linear dependencies in Weyl–Heisenberg orbits. Quantum Inf. Process. 12(11), 3449–3475 (2013)
Gawron, P., Kurzyk, D., Pawela, Ł.: QuantumInformation.jl—a julia package for numerical computation in quantum information theory. PLoS ONE 13, e0209358 (2018)
Heinosaari, T., Jivulescu, M.A., Nechita, I.: Random positive operator valued measures. J. Math. Phys. 61(4), 042202 (2020)
Acknowledgements
AK and ZP acknowledge financial support by the Foundation for Polish Science through TEAMNET project (contract no. POIR.04.04.000017C1/1800). ŁP acknowledges the support of the Polish National Science Centre under the project number 2016/22/E/ST6/00062.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Krawiec, A., Pawela, Ł. & Puchała, Z. Discrimination of POVMs with rankone effects. Quantum Inf Process 19, 428 (2020). https://doi.org/10.1007/s11128020028833
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128020028833