Bjarne Bergh,Nilanjana Datta,Robert Salzmann,Mark M. Wilde
Abstract:We investigate the performance of parallel and adaptive quantum channel discrimination strategies for a finite number of channel uses. It has recently been shown that, in the asymmetric setting with asymptotically vanishing type I error probability, adaptive strategies are asymptotically not more powerful than parallel ones. We extend this result to the non-asymptotic regime with finitely many channel uses, by explicitly constructing a parallel strategy for any given adaptive strategy, and bounding the difference in their performances, measured in terms of the decay rate of the type II error probability per channel use. We further show that all parallel strategies can be optimized over in time polynomial in the number of channel uses, and hence our result can also be used to obtain a poly-time-computable asymptotically tight upper bound on the performance of general adaptive strategies.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the performance difference between parallel strategies and adaptive strategies in quantum channel discrimination under the condition of a limited number of channel uses. Specifically, the researchers explored in the non - asymptotic region (i.e., the situation where the number of channel uses is limited), for a given adaptive strategy, whether a parallel strategy can be constructed such that the difference between the two in the decay rate of type II error probability is not large, and how this difference changes as the number of channel uses increases.
The main contributions of the paper are as follows:
1. **Constructing parallel strategies**: For any given adaptive strategy, the paper explicitly constructs a parallel strategy and gives an explicit bound on the difference in the decay rate of type II error probability between the two.
2. **Optimizing calculations**: It is proved that all parallel strategies can be optimized in polynomial time, thus providing a polynomially - time - computable, asymptotically tight upper bound for evaluating the performance of general adaptive strategies.
3. **Practical value**: It solves an important problem in practical applications, that is, if an adaptive strategy involving \(n\) channel uses is given, and a parallel strategy involving \(m\) channel uses is used, how much the error will be different. This provides a theoretical basis for choosing an appropriate strategy in practical applications.
### Main results
- **Simple version** (Corollary 4): For two quantum channels \(E\) and \(F\), if there exists an adaptive discrimination protocol, under \(n\) channel uses, for any type I error \(\alpha_a\), type II error \(\beta_a(\alpha_a)\) is reached, then for any \(\alpha_p\in(0, 1]\), there exists a parallel protocol with \(m\) channel uses, and its type II error \(\beta_p(\alpha_p)\) satisfies the following relationship:
\[
-\frac{1}{m}\log(\beta_p(\alpha_p))\geq-\frac{1 - \alpha_a}{n}\log(\beta_a(\alpha_a))-C\sqrt{\frac{n}{m}}\log\left(\frac{8}{\alpha_p}\right)-\frac{1}{n}
\]
where \(C\) is a constant, and its specific form is:
\[
C := 7\log\left(2D^2(E\|F)+ 2\right)\leq7\log\left(2D_{\max}(E\|F)+ 2\right)
\]
- **Technical version** (Theorem 7): A more precise bound is given, and the method for selecting parallel input states is described. Specifically, for any adaptive protocol, define \(\ell\) as the step in the protocol where the discrimination degree increases the most, then for any \(\alpha_p\in(0, 1]\) and \(m\in\mathbb{N}\), there exists a state \(\nu\) such that:
\[
\frac{1}{m}D_{\alpha_p}^H(E^{\otimes m}(\nu)\|F^{\otimes m}(\nu))\geq\frac{1 - \alpha_a}{n}D_{\alpha_a}^H(E(\rho_n)\|F(\sigma_n))-\frac{c'_\ell}{\sqrt{m}}\left[\log\left(\frac{4}{\alpha_p}\right)+K\right]-\frac{1}{m}\left[\log\left(\frac{1}{\alpha_p}\right)-\log\left(\frac{1 - \alpha_p}{4}\right)\right]-\frac{h(\alpha_a)}{n}
\]
where \(K\) and...