Discriminating Quantum States: the Multiple Chernoff Distance
Ke Li
DOI: https://doi.org/10.1214/16-aos1436
2016-01-01
The Annals of Statistics
Abstract:We consider the problem of testing multiple quantum hypotheses {rho(circle times n)(1) ,..., rho(circle times n)(r)},where an arbitrary prior distribution is given and each of the r hypotheses is n copies of a quantum state. It is known that the minimal average error probability P-e decays exponentially to zero, that is, P-e = exp{-xi n + o(n)}. However, this error exponent xi is generally unknown, except for the case that r = 2.In this paper, we solve the long-standing open problem of identifying the above error exponent, by proving Nussbaum and Szkola's conjecture that xi= min(i not equal j) C(rho(i), rho(j)). The right-hand side of this equality is called the multiple quantum Chernoff distance, and C(rho(i), rho(j)) := max(0 <= s <= 1){-logTr rho(s)(j)rho(1-s)(j)} has been previously identified as the optimal error exponent for testing two hypotheses, rho(circle times n)(i) versus rho(circle times n)(j).The main ingredient of our proof is a new upper bound for the average error probability, for testing an ensemble of finite-dimensional, but otherwise general, quantum states. This upper bound, up to a states-dependent factor, matches the multiple-state generalization of Nussbaum and Szkola's lower bound. Specialized to the case r = 2, we give an alternative proof to the achievability of the binary-hypothesis Chernoff distance, which was originally proved by Audenaert et al.