Enhanced quantum state discrimination under general measurements with entanglement and nonorthogonality restrictions

The minimum error probability for distinguishing between two quantum states is bounded by the Helstrom limit, derived under the assumption that measurement strategies are restricted to positive operator-valued measurements. We explore scenarios in which the error probability for discriminating two quantum states can be reduced below the Helstrom bound under some constrained access of resources, indicating the use of measurement operations that go beyond the standard positive operator-valued measurements framework. We refer to such measurements as non-positive operator-valued measurements. While existing literature often associates these measurements with initial entanglement between the system and an auxiliary, followed by joint projective measurement and discarding the auxiliary, we demonstrate that initial entanglement between system and auxiliary is not necessary for the emergence of such measurements in the context of state discrimination. Interestingly, even initial product states can give rise to effective non-positive measurements on the subsystem, and achieve sub-Helstrom discrimination error when discriminating quantum states of the subsystem.

💡 Research Summary

The paper investigates whether the fundamental limit on binary quantum state discrimination—the Helstrom bound—can be surpassed by relaxing the positivity constraint on measurement operators. Traditionally, the minimum error probability for distinguishing two quantum states ρ and σ with equal priors is given by (P_{\text{err}}^{\text{Hel}} = \frac12 - \frac14 |\rho - \sigma|_1), a bound that is achieved by an optimal positive‑operator‑valued measure (POVM). The authors introduce the concept of non‑positive operator‑valued measurements (NPOVMs), i.e., measurement sets ({N_i}) that satisfy the completeness condition (\sum_i N_i = \mathbb{I}) but allow some elements to be non‑positive.

The central idea is to embed the subsystem B (the one whose states we wish to discriminate) into a larger bipartite system AB by attaching an auxiliary system A. The joint states (\rho_{AB}) and (\sigma_{AB}) are chosen such that their reduced states on B are the original (\rho_B) and (\sigma_B). By performing a global projective measurement on AB (which is optimal for the joint states and therefore respects the Helstrom bound for the pair (\rho_{AB},\sigma_{AB})) and then tracing out A, the effective measurement on B becomes an NPOVM. The authors formalize an optimization problem:

\