The Chernoff lower bound for symmetric quantum hypothesis testing

Michael Nussbaum,Arleta Szkoła

DOI: https://doi.org/10.1214/08-AOS593

2009-04-27

Abstract:We consider symmetric hypothesis testing in quantum statistics, where the hypotheses are density operators on a finite-dimensional complex Hilbert space, representing states of a finite quantum system. We prove a lower bound on the asymptotic rate exponents of Bayesian error probabilities. The bound represents a quantum extension of the Chernoff bound, which gives the best asymptotically achievable error exponent in classical discrimination between two probability measures on a finite set. In our framework, the classical result is reproduced if the two hypothetic density operators commute. Recently, it has been shown elsewhere [Phys. Rev. Lett. 98 (2007) 160504] that the lower bound is achievable also in the generic quantum (noncommutative) case. This implies that our result is one part of the definitive quantum Chernoff bound.

Quantum Physics

What problem does this paper attempt to address?

### The problems the paper attempts to solve

The paper aims to solve the problem of symmetric hypothesis testing in quantum statistics. Specifically, it is to provide an optimal asymptotic error probability exponential lower bound for the discrimination between two quantum states (represented by density operators). In classical statistics, the Chernoff bound gives the best asymptotic error probability exponent for the discrimination between two probability measures. However, in the quantum case, due to non - commutativity (i.e., density operators are not always commutative), the direct generalization of the classical Chernoff bound is not obvious.

#### Specific problem description

1. **Comparison between classical and quantum hypothesis testing**:
- In classical statistics, the hypothesis - testing problem usually involves two probability measures \( P_0 \) and \( P_1 \), and we hope to decide which hypothesis is true based on the observed data.
- In quantum statistics, the hypothesis - testing problem involves two quantum states \( \rho_0 \) and \( \rho_1 \), which are density operators on a finite - dimensional complex Hilbert space.

2. **Quantum generalization of the Chernoff bound**:
- The classical Chernoff bound gives the best asymptotic error probability exponent for the discrimination between two probability measures:
\[
\delta(P_0, P_1)=\inf_{0\leq s\leq1}\log\sum_{x\in\Omega}p_0^{1 - s}(x)p_1^{s}(x)
\]
- The goal of the paper is to find a similar lower bound applicable to the discrimination problem of quantum states \( \rho_0 \) and \( \rho_1 \).

3. **Main results**:
- The author has proven a lower bound, indicating that for any sequence of test projections \( \Pi_n \), we have:
\[
\liminf_{n\rightarrow\infty}\frac{1}{n}\log\text{Err}(\Pi_n)\geq\inf_{0\leq s\leq1}\log\text{Tr}[\rho_0^{1 - s}\rho_1^{s}]
\]
- This lower bound is called the quantum Chernoff bound, and recent research shows that this lower bound can be achieved.

#### Conclusion

By introducing the quantum Chernoff bound, the paper provides an important theoretical tool for quantum hypothesis testing, especially in the case of symmetric hypothesis testing. This result not only generalizes the Chernoff bound in classical statistics but also provides a theoretical basis for practical applications in quantum information processing and quantum computing.