On the error exponents of binary quantum state discrimination with composite hypotheses

We consider the asymptotic error exponents in the problem of discriminating two sets of quantum states. It is known that in many relevant setups in the classical case (commuting states), the Stein, the Chernoff, and the direct exponents coincide with the worst pairwise exponents of discriminating arbitrary pairs of states from the two sets. On the other hand, counterexamples to this behaviour in finite-dimensional quantum systems have been demonstrated recently for the Chernoff and the Stein exponents of composite quantum state discrimination with a simple null-hypothesis and an alternative hypothesis consisting of continuum many states. In this paper we provide further insight into this problem by showing that the worst pairwise exponents may not be achievable for any of the Stein, the Chernoff, or the direct exponents, already when the null-hypothesis is simple, and the alternative hypothesis consists of only two non-commuting states. This finiteness of the hypotheses in our construction is especially significant, because, as we show, with the alternative hypothesis being allowed to be even just countably infinite, counterexamples exits already in classical (although infinite-dimensional) systems. On the other hand, we prove the achievability of the worst pairwise exponents in two paradigmatic settings: when both the null and the alternative hypotheses consist of finitely many states such that all states in the null-hypothesis commute with all states in the alternative hypothesis (semi-classical case), and when both hypotheses consist of finite sets of pure states.