Excluding false negative error in certification of quantum channels.

Certification of quantum channels is based on quantum hypothesis testing and involves also preparation of an input state and choosing the final measurement. This work primarily focuses on the scenario when the false negative error cannot occur, even if it leads to the growth of the probability of false positive error. We establish a condition when it is possible to exclude false negative error after a finite number of queries to the quantum channel in parallel, and we provide an upper bound on the number of queries. On top of that, we found a class of channels which allow for excluding false negative error after a finite number of queries in parallel, but cannot be distinguished unambiguously. Moreover, it will be proved that parallel certification scheme is always sufficient, however the number of steps may be decreased by the use of adaptive scheme. Finally, we consider examples of certification of various classes of quantum channels and measurements.

Introduction

Being deceived is not a nice experience. People have been developing plenty of methods to protect themselves against being cheated and one of these methods concerns verification of objects, also quantum ones. The cornerstone for theoretical studies on discrimination of quantum objects was laid by Helstrom[1] a few decades ago.

In the era of Noisy Intermediate-Scale Quantum (NISQ) devices[2,3], assuring the correctness of components in undeniably in the spotlight. A broad review of multipronged modern methods of certification as well as benchmarking of quantum states and processes can be found in the recent paper[4]. For a more introductory tutorial to the theory of system certification we refer the reader to[5]. Verification of quantum processes is often studied in the context of specific elements of quantum information processing tasks. Protocols for efficient certification of quantum processes, such as quantum gates and circuits, were recently studied in[6-8].

Let us introduce the most general problem of verification studied in this work. Assume there are two known quantum channels and one of them is secretly chosen. Then, we are given the secretly chosen channel to verify which of the two channels it is. We are allowed to prepare any input state and apply the given channel on it. Finally, we can prepare any quantum measurement and measure the output state. Basing on the measurement’s outcome we make a decision which of the two channels was secretly chosen. In this work we focus on the case when we are promised which of the channels is given. After performing some certification procedure we can either agree that the channel was the promised one or claim that we were cheated. We want to assure that we will always realize when we are cheated. It may happen though, that we appear to be too suspicious and claim that we were cheated when we were not.

There are three major theoretical approaches towards verification of quantum channels called minimum error discrimination, unambiguous discrimination and certification. All these three approaches can be generalized to the multiple-shot case, that is when the given channel can be used multiple times in various configurations. The most straightforward possibility is the parallel scheme and the most sophisticated is the adaptive scheme (where we are allowed to use any processing between the uses of the given channel).

The first approach is called minimum error discrimination (a.k.a. distinguishability or symmetric discrimination) and makes use of the distance between quantum channels expressed by the use of the diamond norm. In this scenario one wants to minimize the probability of making the erroneous decision using the bound on this probability given by the Holevo-Helstrom theorem[1,9]. Single-shot discrimination of unitary channels and von Neumann measurements were studied in[10,11] and[12-14] respectively. Parallel discrimination of quantum channels was studied eg. in[15,16]. It appeared that parallel discrimination scheme is optimal in the case of distinguishability of unitary channels[17] and von Neumann measurements[18]. In some cases however, the use of adaptive discrimination scheme can significantly improve the certification[19,20]. Advantages of the use of adaptive discrimination scheme in the asymptotic regime were studied in[21]. Fundamental and ultimate limits for quantum channel discrimination were derived in[22,23]. The works[24,25] address the problem of distinguishability of quantum channels in the context of resource theory.

In the second approach, that is unambiguous discrimination, there are three possible outcomes. Two of them designate quantum channels while the third option is the inconclusive result. In this approach, when the result indicated which channel was given, we know it for sure. There is a chance however, that we will obtain an inconclusive answer. Unambiguous discrimination of quantum channels was considered in[26], while unambiguous discrimination of von Neumann measurements was explored in[18]. Studies on unambiguous discrimination of quantum channels took a great advantage of unambiguous discrimination of quantum states, which can be found eg. in[27-31].

The third approach, known as certification or asymmetric discrimination, is based on hypothesis testing. We are promised to be given one of the two channels and associate this channel with the null hypothesis, . The other channel is associated with the alternative hypothesis, . When making a decision whether to accept or to reject the null hypothesis, two types of errors may occur, that is we can come across false positive and false negative errors. In this work we consider the situation when we want to assure that false negative error will not occur, even if the probability of false positive error grows. A similar task of minimizing probability of false negative error having fixed bound on the probability of false positive was studied in the case of von Neumann measurements in[32]. Certification of quantum channels was studied in the asymptotic regime e.g. in[21,24,33].

It should come as no surprise that in some cases perfect verification is not possible by any finite number of steps. Conditions for perfect minimum error discrimination of quantum operations were derived in[34]. Similar condition for unambiguous discrimination was proved in[26]. However, no such conditions have been stated for certification. In this work we derive a condition when we can exclude false negative error after a finite number of uses in parallel. This condition holds for arbitrary quantum channels and is expressed by the use of Kraus operators of these channels. We will provide an example of channels which can be certified in a finite number of queries in parallel, but cannot be distinguished unambiguously. Moreover, we will show that, in contrast to discrimination of quantum channels[19,20], parallel certification scheme is always sufficient for certification, although the number of uses of the certified channel may not be optimal. On top of that, we will consider certification of quantum measurements and focus on the class of measurements with rank-one effects. The detailed derivation of the upper bound for the probability of false positive error will be presented for SIC POVMs.

This work is organized as follows. After introducing basic mathematical concepts in “Preliminaries” section, we present our main result, that is the condition when excluding false negative is possible in a finite number of uses in parallel, in Theorem 1 in “Parallel certification” section. Next, we apply this result to a specific subclass of quantum channels in “Certification of quantum measurements” section. Then, in “Adaptive certification and Stein setting” section we state, as Theorem 2,   the condition when excluding false negative error is possible in the adaptive scheme.   Finally, summary can be found in “Conclusions” section.

Preliminaries

Let denote the set of quantum states of dimension d, that is the set of positive semidefinite operators having trace equal one. Throughout this paper quantum states will be denoted by lower-case Greek letters, usually . For any state we can write its spectral decomposition as . Having a set of quantum states with spectral decompositions respectively, their support is defined as . The set of unitary matrices of dimension d will be denoted .

Quantum channels are linear maps which are completely positive and trace preserving. In this work we will often take advantage of the Kraus representations of channels. Letbe the Kraus representations of the channels that will correspond to null and alternative hypotheses respectively. The sets of operators and are called Kraus operators of channels and respectively. We will use the notation , , to denote the supports of quantum channels. Moreover, the notation will be used for the identity channel.

The most general quantum measurements, known also as POVMs (positive operator valued measure) are defined as a collection of positive semidefinite operators which fulfills the condition , where denotes the identity matrix of dimension d. When a quantum state is measured by the measurement , then the label i is obtained with probability and the state ceases to exist. A special class of quantum measurements are projective von Neumann measurements. These POVMs have rank-one effects of the form , where vectors form an orthonormal basis and therefore they are columns of some unitary matrix .

Now we proceed to describing the detailed scheme of certification. There are two quantum channels: and . We are promised that we are given but we are not sure and we want to verify it using hypothesis testing. We associate the channel with the null hypothesis and we associate the other channel with the alternative hypothesis . We consider the following scheme. We are allowed to prepare any (possibly entangled) input state and perform the given channel on it. Then, we prepare a binary measurement and measure the output state. If we obtain the label associated with the effect , then we decide that the certified channel was and we accept the null hypothesis. If we get the label associated with the effect , then we decide that the certified channel was and therefore we reject the null hypothesis.

The aim of certification is to make a decision whether to accept or to reject . While making such a decision one can come upon two types of errors. The false positive error (also known as type I error) happens when we reject the null hypothesis when in fact it was true. The converse situation, that is accepting the null hypothesis when the alternative hypothesis was correct, is known as the false negative (or type II) error. In this work we will focus on the situation when the probability of the false negative error equals zero and we want to minimize the probability of false positive error.

Let us now take a closer look into the scheme of entanglement-assisted single-shot certification procedure. We begin with preparing an input state on the compound space. Then, we apply the certified channel extended by the identity channel on the input state, obtaining as the output the state either , if the given channel was , or , if the given channel was . Eventually, we perform the measurement , where the effect accepts hypothesis and the effect accepts the alternative hypothesis .

Assuming that the input state and measurement effect have been fixed, the probability of making the false positive error is given byIn a similar manner we have the probability of making the false negative error, that is

We will be interested in the situation when probability of the false negative error is equal to zero and we want to minimize the probability of false positive error. Therefore, we introduce the notationfor minimized probability of false positive error in the single-shot scenario.

For a given , we say that quantum channel can be -certified against channel if there exist an input state and measurement effect such that and . In other words, quantum channel can be -certified against another channel if we can assure no false negative will occur and the probability of false positive error is smaller than .

When performing the certification of quantum channels, we can use the channels many times in various configurations. Now we proceed to introducing notation needed for studying parallel and adaptive certification schemes.

Parallel certification scheme

Let N denote the number of uses of the quantum channel in parallel. A schematic representation of the scenario of parallel certification is depicted in Fig. 1. In this scheme we consider certifying tensor products of the channels. In other words, parallel certification of channels and can be seen as certifying channels and for some natural number N.

Figure 1

Parallel certification scheme.

Let be the input state to the certification procedure. After applying the channel N times in parallel, we obtain the output stateif the channel was , and similarlyif the channel was . In the same spirit letbe the probabilities of occurring false positive and false negative errors respectively. When , then we arrive at single-shot certification. Therefore we will neglect the upper index and simply write and .

We introduce the notationfor the minimized probability of false positive error in the parallel scheme.

We say that quantum channel can be certified against in the parallel scheme, if for every there exist a natural number N, an input state and measurement effect such that and .

Let us now elaborate a bit on the number of steps needed for certification. Assume that we have fixed upper bound on the probability of false positive error, . We will be interested in calculating the minimal number of queries, , for which and for some input state and measurement effect . Such a number, , will be called the minimal number of steps needed for parallel certification.

Adaptive certification scheme

Adaptive certification scheme allows for the use of processing between the uses of the certified channel, therefore this procedure is more complex then the parallel certification. However, when the processings only swap the subsystems, then the adaptive scheme may reduce to the parallel one.

Assume as previously that is the input state to the certification procedure in which the certified channel in used N times and any processing is allowed between the uses of this channel. The scheme of this procedure is presented in the Fig. 2. Having the input state on the compound register, we perform the certified channel (denoted by the black box with question mark) on one part of it. Having the output state we can perform some processing and therefore get prepared for the next use of the certified channel. Than again, we apply the certified channel on one register of the prepared state and again, we can perform processing . We repeat this procedure times. After the N-th use of the certified channel we obtain the state either , if the channel was , or , if the channel was . Then, we prepare a global measurement and apply it on the output state. Letbe the probabilities of the false positive and false negative errors in adaptive scheme, respectively, when the input state and the measurement effects were fixed. When , then we will neglect the upper index and simply write and .

Figure 2

Adaptive certification scheme. The processings can be arbitrary quantum channels where we only assume that the first subsystem must fit the input of the black box. In particular, the processings can swap subsystems, and therefore one can obtain the parallel scheme as a special case of the adaptive discrimination scheme.

We say that quantum channel can be certified against in the adaptive scheme, if for every there exist a natural number N, an input state and measurement effect such that and .

For a fixed upper bound on the probability of false positive error, , we introduce the minimal number of steps needed for adaptive certification, , as the minimal number of steps after which and for some input state and measurement effect .

Parallel certification

Not all quantum channels can be discriminated perfectly after a finite number of queries. Conditions for perfect discrimination were states in the work[34]. Similar conditions for unambiguous discrimination were proved in[26]. In this section we will complement these results with the condition concerning parallel certification. More specifically, we will prove a simple necessary and sufficient condition when a quantum channel can be certified against some other channel . As the condition utilizes the notion of the support of a quantum channel, recall that it is defined as the span of their Kraus operators. The condition will be stated as Theorem 1, however its proof will be presented after introducing two technical lemmas.

In fact, the statement of Theorem 1 is a bit more general, that is it concerns the situation when the alternative hypothesis corresponds to a set of channels having Kraus operators respectively. We will use the notation .

Theorem 1

Quantum channel can be certified against quantum channels in the parallel scheme if and only if .

Moreover, to ensure that the probability of false positive error is no greater than , the number of steps needed for parallel certification is bounded by , where is the upper bound on probability of false positive error in single-shot certification.

Before presenting the proof of this theorem we will introduce two lemmas. The proofs of lemmas are postponed to “Supplementary Appendix A”. Lemma 1 states that if the inclusion does not hold for supports of the quantum channels, then the inclusion also does not hold for supports of output states assuming that the input state has full Schmidt rank. The proof of Lemma 1 is based on the proof in[26][Theorem  1], which studies unambiguous discrimination among quantum operations.

Lemma 1

Let  and be two orthonormal bases and where for every t. Let also and for . If , then .

Lemma 2 also concerns inclusions of supports. It states that if the inclusion of supports does not hold for some output states, then it does not hold also for supports of the channels.

Lemma 2

With the notation as above, if there exists a natural number N and an input state such that , then .

Finally, we are in position to present the proof of Theorem 1.

Proof of Theorem 1

(⇐) Let . From Lemma 1 this implies where the input state is . Hence we can always find a state for whichand thereforefor .

Now we consider the certification scheme by taking the measurement with effects . Without loss of generality we can assume that is a rank-one operator. We calculateHence after sufficiently many uses, N, of the certified channel in parallel (actually when ) we obtain that for any positive . Therefore after N queries we will be able to exclude false negative error.

() Assume that can be certified against in the parallel scenario. This means that there exist a natural number N, an input state and a positive operator (measurement effect) on the composite system such thatTherefore and thuswhere .

HenceThe reminder of the proof follows directly from Lemma 2.

It is worth mentioning that in the above proof the measurement effect is a rank-one projection operator. This is sufficient to prove that quantum channel can be certified against in the parallel scheme, but this is, in most of the cases, not optimal.

In the remaining of this section we will discuss two examples. The first example shows that if quantum channels can be certified in the parallel scheme, then it does not have to imply that they can be discriminated unambiguously. We will provide an explicit example of mixed-unitary channels which fulfill the condition from Theorem 1, and therefore can be certified in the parallel scheme, but cannot be discriminated unambiguously. In the second example we will consider the situation when the channel associated with the hypothesis is the identity channel and derive an upper bound on the probability of false positive error.

Channels which cannot be discriminated unambiguously but still can be certified

In this subsection we will give an example of a class of channels which cannot be discriminated unambiguously, but they can be certified by a finite number of uses in the parallel scheme. The work[26] presents the condition when quantum channels can be unambiguously discriminated by a finite number of uses. More precisely, Theorem 2 therein states that if a set of quantum channels satisfies the condition for every , then they can be discriminated unambiguously in a finite number of uses.

Now we proceed to presenting our example. Let be a mixed unitary channel of the formwhere is a probability vector and are unitary matrices. As the second channel we take a unitary channel of the form , where we make a crucial assumption that .

Therefore we have , while . In this example it can be easily seen that the condition for unambiguous discrimination is not fulfilled as . Nevertheless, the condition from Theorem 1 is fulfilled as , and hence it is possible to exclude false negative error after a finite number of queries in parallel.

Certification of arbitrary channel against the identity channel

Assume that we want to certify channel , which Kraus operators are , against the identity channel having Kraus operator . We will show that as long as the channel is not the identity channel, it can always be certified against the identity channel in the parallel scheme.

Proposition 1

Every quantum channel (except the identity channel) can be certified against the identity channel in the parallel scheme.

Proof

Let be an input state. After applying the certified channels on it, we obtain the state either , if the channel was , or , if the channels was . As the final measurement effect we can take , which is always orthogonal to , hence no false negative error will occur. Having the input state and final measurement fixed, we will calculate the probability of false positive error in the single-shot schemewhere the last inequality follows from the fact that is not the identity channel. Therefore, after sufficiently many queries in the parallel scheme the probability of false positive error will be arbitrarily small.

Note that the expression for the probability of false positive error in Eq. (17) is in fact the fidelity between the input state and the output of the channel extended by the identity channel. As we were not imposing any specific assumptions on the input state, we can take the one which minimizes the expression in Eq. (17). Therefore, the probability of the false positive error in the single-shot certification yieldsEventually, to make sure that the probability of false positive error will not be greater than , we will need steps in the parallel scheme.

From the above considerations we can draw a simple conclusion concerning the situation when is a unitary channel. Then, as the unitary channel has only one Kraus operator, it holds that , where is the distance from zero to the numerical range of the matrix U[18,32]. Thanks to this geometrical representation (see further[18]) one can deduce the connection between the probability of false positive error, , and the probability of making an error in the unambiguous discrimination of unitary channels. More specifically, let denote the probability of making an erroneous decision in unambiguous discrimination of unitary channels. Then, it holds that . Therefore, in the case of certification of unitary channels the probability of making the false positive error is significantly smaller than the probability of erroneous unambiguous discrimination.

Certification of quantum measurements

In this section we will take a closer look into the certification of quantum measurements. We will begin with general POVMs and later focus on the class of measurements with rank-one effects. Before stating the results, let us recall that every quantum measurement can be associated with quantum-classical channel defined aswhere are measurement’s effects and is the probability of obtaining the i-th label.

The following proposition can be seen as a corollary from Theorem 1 as it gives a simple condition when we forbid false negative error. This condition is expressed in terms of inclusion of supports of the measurements’ effects.

Proposition 2

Let and be POVMs with effects and respectively. Then can be certified against in the parallel scheme if and only if there exists a pair of effects , for which .

Proof

Letbe the spectral decomposition of (where for every k). Thenand hence the Kraus operators of are . Analogously, the Kraus operators of are .

Therefore from Theorem 1 we have that can be certified against in the parallel scheme if and only ifthat is when there exists a pair of effects , for which .

The above proposition holds for any pair of quantum measurements. In the case of POVMs with rank-one effects, the above condition can still be simplified to linear independence of vectors. This is stated as the following corollary.

Corollary 1

Let and be measurements with effects and for , respectively. Then can be certified against in the parallel scheme if and only if there exists a pair of vectors , which are linearly independent.

While studying the certification of measurements with rank-one effects, one cannot overlook their very important subclass, namely projective von Neumann measurements. These measurements have effects of the form , where form an orthonormal basis. This class of measurements was studied in[32], though in a slightly different context. The main result of that work was the expression for minimized probability of the false negative error, where the bound on the false positive error was assumed. In this work, however, we consider the situation when false negative error must be equal zero after sufficiently many uses. Nevertheless, from Corollary 1 we can draw a conclusion that any von Neumann measurement can be certified against some other von Neumann measurement if and only if the measurements are not the same.

SIC POVMs

Now we proceed to studying the certification of a special class of measurements with rank-one effects, that is symmetric informationally complete (SIC) POVMs[35-38]. We will directly calculate the bounds on the false positive error in the single-shot and parallel certification. We will be using the following notation. The SIC POVM with effects , where and , will be associated with the hypothesis. The SIC POVM corresponding to the alternative hypothesis will have effects , where and is a permutation of elements. Moreover, the SIC condition assures that whenever .

Remark 1

From Corollary 1 it follows that for a SIC POVMs can be certified against SIC POVM in the parallel scheme as long as .

Now we are working towards calculating the upper bound on the probability of the false positive error in single-shot certification of SIC POVMs. As the input state we take the maximally entangled state . If the measurement was , then the output state isand similarly, if the measurement was , then the output state isAs the output states have block-diagonal structure, we take the measurement effect to be in the block-diagonal form, that iswhere for every i we assume to ensure that the probability of the false negative error is equal to zero. We calculateLet k be the number of fixed points of the permutation . Taking we obtainSo far all the calculations were done for some fixed input state (maximally entangled state) and measurement effect , which give us actually only the upper bound on the probability of the false positive error. The current choice of seems like a good candidate, but we do not know whether it is possible to find a better one. Using the notation for the probability of the false positive error introduced in Eq. (4) and (2) we can write our bound asOn top of that, if does not have fixed points, that is when , we have and the number of steps needed for parallel certification is bounded by . In the case when the permutation has one fixed point, that is when , it holds that and hence the number of steps needed for parallel certification can be bounded by .

Parallel certification of SIC POVMs

Let us consider a generalization of the results from previous subsection into the parallel scenario. We want to certify SIC POVMs and defined as in “SIC POVMs” section, however we assume that we are allowed to use the certified SIC POVM N times in parallel. In this setup we associate the hypothesis with the measurement , and analogously we associate the hypothesis with the measurement . It appears that the upper bound on false positive error is very similar to the upper bound for the single-shot case. Straightforward but lengthy and technical calculations give usThe detailed derivation of this bound is relegated to “Supplementary Appendix B”.

Adaptive certification and Stein setting

So far we were considering only the scheme in which the given channel is used a finite number of times in parallel. In this section we will focus on studying a more general scheme of certification, that is the adaptive certification. In the adaptive scenario, we use the given channel N times and between the uses we can perform some processing. It seems natural that the use of adaptive scheme instead of the simple parallel one should improve the certification. Surprisingly, in the case of von Neumann measurements the use of adaptive scheme gives no advantage over the parallel one[18,32]. In other cases it appears that the use of processing is indeed a necessary step towards perfect discrimination[19,20].

Having the adaptive scheme as a generalization of the parallel one, let us take a step further and take a look into the asymptotic setting. In other words, let us discuss the situation when the number of uses of the certified channel tends to infinity. There are various settings known in the literature concerning asymptotic discrimination, like Stein and Hoeffding settings for asymmetric discrimination, as well as Chernoff and Han-Kobayashi settings for symmetric discrimination. In the context of this work we will discuss only the setting concerning asymmetric discrimination, however a concise introduction to all of these settings can be found e.g. in[33]. Arguably, the most well-known of these is the Hoeffding setting which assumes the bound on the false negative error to be decreasing exponentially, and its area of interest is characterizing the error exponent of probability of false positive error. Adaptive strategies for asymptotic discrimination in Hoeffding setting were recently explored in[21]. In the Stein setting, on the other hand, we assume a constraint on the probability of false positive error and study the error exponent of the false negative error. Let us define a non-asymptotic quantitywhich describes the behavior of probabilities of errors in adaptive discrimination scheme. The probability of false positive error after n queries is upper-bounded by some fixed , and we are interested in studying how quickly the probability of false negative error decreases. Therefore we consider the logarithm of probability of false negative error divided by the number of queries. Finally, a supremum is taken over all possible adaptive strategies, that is we can choose the best input state, final measurement as well as the processings between uses of the certified channel.

Note that in the previous sections we were considering instead of , which in used in the Stein setting. The aim of this difference is to emphasize that in the Stein setting we study the situation in which the number of uses, n, tends to infinity. In contrary, in previous sections we were interested only in the case when the number of uses, N, was finite.

Having introduced the non-asymptotic quantity , let us consider the case when the number of queries, n, tends to infinity. To do so, we define the upper limit of the Stein exponent asNote that when is finite, then the probability of the false negative error for adaptive certification will not be equal to zero for any finite number of uses N. A very useful Remark 19 from[33] states that is finite if and only ifwhere is the maximally entangled state.

Finally, we are in position to express the theorem stating the relation between adaptive and parallel certification.

Theorem 2

Quantum channel can be certified against quantum channel in the parallel scenario if and only if quantum channel can be certified against quantum channel in the adaptive scenario.

Before presenting the proof of the Theorem we will state a useful lemma, which proof is postponed to “Supplementary Appendix A”.

Lemma 3

Let be as in Eq. (31). Then is finite if and only if .

Proof of Theorem 2

When quantum channel can be certified against the channel in the parallel scenario, then naturally, can be certified against the channel in the adaptive scenario. Therefore it suffices to prove the reverse implication.

Assume that the channel can be certified against in the adaptive scenario. This means that is infinite. Hence from Lemma 3 it holds that . Finally, from Theorem 1 we obtain that can be certified against in the parallel scheme.

Theorem 2 states that if a quantum channel can be certified against in a finite number of queries, then the use of parallel scheme is always sufficient. Therefore it may appear that adaptive certification is of no value. Nevertheless, in some cases it still may be worth using adaptive certification to reduce the number of uses of the certified channel. For example in the case of SIC POVMs the use of adaptive scheme reduces the number of steps significantly[20]. A pair of qutrit SIC POVMs can be discriminated perfectly after two queries in adaptive scenario, therefore they can also be certified. Nevertheless, they cannot be discriminated perfectly after any finite number of queries in parallel. On the other hand, in the case of von Neumann measurements the number of steps is the same no matter which scheme is used[18].

Conclusions

As certification of quantum channels is in the NISQ era a task of significant importance, the main aim of this work was to give an insight into this problem from theoretical perspective. Certification was considered as an extension of quantum hypothesis testing, which includes also preparation of an input state and the final measurement. We primarily focused on multiple-shot schemes of certification, that is our areas of interest were mostly parallel and adaptive certification schemes. The parallel scheme consists in certifying tensor products of channels while adaptive scheme is the most general of all scenarios.

We derived a condition when after a finite number of queries in the parallel scenario one can assure that the false negative error will not occur. We pointed a class of channels which allow for excluding false negative error after a finite number of uses in parallel but cannot be discriminated unambiguously. On top of that, having a fixed upper bound on the probability of false positive error, we found a bound on the number of queries needed to make the probability of false positive error no greater than this fixed bound.

Moreover, we took into consideration the most general adaptive certification scheme and studied whether it can improve the certification. It turned out that the use of parallel certification scheme is always sufficient to assure that the false negative error will not occur after a finite number of queries. Nevertheless, the number of queries needed to have the probability of false positive error sufficiently small, may be decreased by using adaptive scheme.

Supplementary Information.