Quantum hypothesis testing with group structure

Abstract

The problem of discriminating between many quantum channels with certainty is analyzed under the assumption of prior knowledge of algebraic relations among possible channels. It is shown, by explicit construction of a novel family of quantum algorithms, that when the set of possible channels faithfully represents a finite subgroup of SU(2) (e.g., C n , D 2n , A 4 , S 4 , A 5 ) the recently developed techniques of quantum signal processing can be modified to constitute subroutines for quantum hypothesis testing. These algorithms, for group quantum hypothesis testing, intuitively encode discrete properties of the channel set in SU(2) and improve query complexity at least quadratically in n, the size of the channel set and group, compared to naïve repetition of binary hypothesis testing. Intriguingly, performance is completely defined by explicit group homomorphisms; these in turn inform simple constraints on polynomials embedded in unitary matrices. These constructions demonstrate a flexible technique for mapping questions in quantum inference to the well-understood subfields of functional approximation and discrete algebra. Extensions to larger groups and noisy settings are discussed, as well as paths by which improved protocols for quantum hypothesis testing against structured channel sets have application in the transmission of reference frames, proofs of security in quantum cryptography, and algorithms for property testing.

Quantum advantage for noisy channel discrimination

“…Proof. The existence of such an N follows from the major result of [8] by recognition that this is a unitary channel discrimination problem, and direct construction for rotations about a fixed axis can be found in Lemma IV.4 of [22]. That coherent access protocols can always outperform incoherent access ones follows from the set describing the latter strictly containing the set of protocols comprising the former.…”

“…for δ = |θ 0 − θ 1 | π/N and zero otherwise (in which case the results of [8,22] enable perfect discrimination). The form of Eq.…”