In this work, we study the problem of testing properties of the spectrum of a mixed quantum state. Here one is given n copies of a mixed state ρ ∈ C d×d and the goal is to distinguish (with high probability) whether ρ's spectrum satisfies some property P or whether it is at least -far in 1-distance from satisfying P. This problem was promoted in the survey of Montanaro and de Wolf [MdW13] under the name of testing unitarily invariant properties of mixed states. It is the natural quantum analogue of the classical problem of testing symmetric properties of probability distributions. Unlike property testing probability distributions-where one generally hopes for algorithms with sample complexity that is sublinear in the domain size-here the hope is for algorithms with subquadratic copy complexity in the dimension d. This is because the (frequently rediscovered) "empirical Young diagram (EYD) algorithm" [ARS88, KW01, HM02, CM06] can estimate the spectrum of any mixed state up to -accuracy using only O(d 2 / 2 ) copies. In this work, we show that given a mixed state ρ ∈ C d×d : • Θ(d/ 2 ) copies are necessary and sufficient to test whether ρ is the maximally mixed state, i.e., has spectrum ( 1 d , . . . , 1 d ). This can be viewed as the quantum analogue of a result of Paninski [Pan08]. • Θ(r 2 / ) copies are necessary and sufficient to test with one-sided error whether ρ has rank r, i.e., has at most r nonzero eigenvalues. For two-sided error, a lower bound of Ω(r/ ) copies holds. • Θ(r 2 ) copies are necessary and sufficient to distinguish whether ρ is maximally mixed on an r-dimensional or an (r + 1)-dimensional subspace. More generally, for . r vs. r + ∆ (with 1 ≤ ∆ ≤ r), Θ(r 2 /∆) copies are necessary and sufficient. • The EYD algorithm requires Ω(d 2 / 2 ) copies to estimate the spectrum of ρ up to -accuracy, nearly matching the known upper bound. Our techniques involve the asymptotic representation theory of the symmetric group; in particular Kerov's algebra of polynomial functions on Young diagrams.
Testing whether ρ has a particular unitarily invariant property of interest was studied in REF for a number of properties.
Quantum Spectrum Testing
STOC '15
Mathematics Physics Computer Science