Much of the research in quantum hypothesis testing has focused on simple hypotheses. In practical situations, though, we need to consider more complex, or composite, hypotheses. This paper introduces an approach for testing these composite hypotheses in quantum systems. It combines repeating projective measurements with the quantum Neyman-Pearson test including quantum correlations, which improves the effectiveness of the tests. We also clarify theoretically how the type-II error (false negative) probability of the proposed test behaves asymptotically and show that the proposed test is better at distinguishing hypotheses than traditional approaches. In addition, through numerical calculation, we demonstrate that the proposed test enhances performance in quantum statistical models, where we usually use the classical binomial test. This result shows the practical benefits of applying quantum correlations in hypothesis testing scenarios.
Abstract We extend quantum Stein’s lemma in asymmetric quantum hypothesis testing to composite null and alternative hypotheses. As our main result, we show that the asymptotic error exponent for testing convex combinations of quantum states
ρ⊗n ρ ⊗ n against convex combinations of quantum states
σ⊗n σ ⊗ n can be written as a regularized quantum relative entropy formula. We prove that in general such a regularization is needed but also discuss various settings where our formula as well as extensions thereof become single-letter. This includes an operational interpretation of the relative entropy of coherence in terms of hypothesis testing. For our proof, we start from the composite Stein’s lemma for classical probability distributions and lift the result to the non-commutative setting by using elementary properties of quantum entropy. Finally, our findings also imply an improved recoverability lower bound on the conditional quantum mutual information in terms of the regularized quantum relative entropy—featuring an explicit and universal recovery map.
Quantum hypothesis testing (QHT) concerns the statistical inference of unknown quantum states. In the general setting of composite hypotheses, the goal of QHT is to determine whether an unknown quantum state belongs to one or another of two classes of states based on the measurement of a number of copies of the state. Prior art on QHT with composite hypotheses focused on a fixed-copy two-step protocol, with state estimation followed by an optimized joint measurement. However, this fixed-copy approach may be inefficient, using the same number of copies irrespective of the inherent difficulty of the testing task. To address these limitations, we introduce the quantum sequential universal test (QSUT), a novel framework for sequential QHT in the general case of composite hypotheses. QSUT builds on universal inference, and it alternates between adaptive local measurements aimed at exploring the hypothesis space and joint measurements optimized for maximal discrimination. QSUT is proven to rigorously control the type I error under minimal assumptions about the hypothesis structure. We present two practical instantiations of QSUT, one based on the Helstrom-Holevo test and one leveraging shallow variational quantum circuits. Empirical results across a range of composite QHT tasks demonstrate that QSUT consistently reduces copy complexity relative to state-of-the-art fixed-copy strategies.
Given two families of quantum states
A and
B, called the null and the alternative hypotheses, quantum hypothesis testing is the task of determining whether an unknown quantum state belongs to
A or
B. Mistaking
A for
B is a type I error, and vice versa for the type II error. In quantum Shannon theory, a fundamental role is played by the Stein exponent, i.e. the asymptotic rate of decay of the type II error probability for a given threshold on the type I error probability. Stein exponents have been thoroughly investigated -- and, sometimes, calculated. However, most currently available solutions apply to settings where the hypotheses simple (i.e. composed of a single state), or else the families
A and
B need to satisfy stringent constraints that exclude physically important sets of states, such as separable states or stabiliser states. In this work, we establish a general formula for the Stein exponent where both hypotheses are allowed to be composite: the alternative hypothesis
B is assumed to be either composite i.i.d. or arbitrarily varying, with components taken from a known base set, while the null hypothesis
A is fully general, and required to satisfy only weak compatibility assumptions that are met in most physically relevant cases -- for instance, by the sets of separable or stabiliser states. Our result extends and subsumes the findings of [BBH, CMP 385:55, 2021] (that we also simplify), as well as the 'generalised quantum Sanov theorem' of [LBR, arXiv:2408.07067]. The proof relies on a careful quantum-to-classical reduction via measurements, followed by an application of the results on classical Stein exponents obtained in [Lami, arXiv:today]. We also devise new purely quantum techniques to analyse the resulting asymptotic expressions.
This expository article gives an overview of the theory of hypothesis testing of quantum states in finite dimensional Hilbert spaces. Optimal measurement strategy for testing binary quantum hypotheses, which result in minimum error probability, is discussed. Collective and individual adaptive measurement strategies in testing hypotheses in the multiple copy scenario, with various upper and lower bounds on error probability, are outlined. A brief account on quantum channel discrimination and the role of entangled states in achieving enhanced precision in the task of channel discrimination is given.
We study a variant of quantum hypothesis testing wherein an additional ‘inconclusive’ measurement outcome is added, allowing one to abstain from attempting to discriminate the hypotheses. The error probabilities are then conditioned on a successful attempt, with inconclusive trials disregarded. We completely characterise this task in both the single-shot and asymptotic regimes, providing exact formulas for the optimal error probabilities. In particular, we prove that the asymptotic error exponent of discriminating any two quantum states$\rho
and\sigma
isgivenbytheHilbertprojectivemetricD_{\max }(\rho \|\sigma ) + D_{\max }(\sigma \| \rho )
inasymmetrichypothesistesting,andbytheThompsonmetric\max \! \big \{ D_{\max }(\rho \|\sigma ),\, D_{\max }(\sigma \| \rho ) \big \}$in symmetric hypothesis testing. This endows these two quantities with fundamental operational interpretations in quantum state discrimination. Our findings extend to composite hypothesis testing, where we show that the asymmetric error exponent with respect to any convex set of density matrices is given by a regularisation of the Hilbert projective metric. We apply our results also to quantum channels, showing that no advantage is gained by employing adaptive or even more general discrimination schemes over parallel ones, in both the asymmetric and symmetric settings. Our state discrimination results make use of no properties specific to quantum mechanics and are also valid in general probabilistic theories.
For any pair of quantum states (the hypotheses), the task of binary quantum hypotheses testing is to derive the tradeoff relation between the probability p01 of rejecting the null hypothesis and p10 of accepting the alternative hypothesis. The case when both hypotheses are explicitly given was solved in the pioneering work by Helstrom. Here, instead, for any given null hypothesis as a pure state, we consider the worst-case alternative hypothesis that maximizes p10 under a constraint on the distinguishability of such hypotheses. Additionally, we restrict the optimization to separable measurements, in order to describe tests that are performed locally. The case p01=0 has been recently studied under the name of ``quantum state verification''. We show that the problem can be cast as a semi-definite program (SDP). Then we study in detail the two-qubit case. A comprehensive study in parameter space is done by solving the SDP numerically. We also obtain analytical solutions in the case of commuting hypotheses, and in the case where the two hypotheses can be orthogonal (in the latter case, we prove that the restriction to separable measurements generically prevents perfect distinguishability). In regards to quantum state verification, our work shows the existence of more efficient strategies for noisy measurement scenarios.