المفاهيم الأساسية
Unitary invariance of a property of bipartite pure states on one part implies the existence of an optimal local tester on the other part. This result leads to a canonical local tester for entanglement spectra and reveals the limitations of purifications in mixed state testing.
الملخص
The paper studies the power of local tests for bipartite quantum states. The central result is that for properties of bipartite pure states, unitary invariance on one part implies an optimal (over all global testers) local tester acting only on the other part.
This suggests a canonical local tester for entanglement spectra (i.e., Schmidt coefficients), and reveals that purified samples offer no advantage in property testing of mixed states.
As applications, the paper settles two open questions by providing:
A matching lower bound Ω(1/ε^2) for testing whether a multipartite pure state is product or ε-far, showing the algorithm of Harrow and Montanaro (2010) is optimal.
The first non-trivial lower bound Ω(r/ε) for testing whether the Schmidt rank of a bipartite pure state is at most r or ε-far.
The paper also shows other new sample lower bounds, for example:
A matching lower bound Ω(d/ε^2) for testing whether a d-dimensional bipartite pure state is maximally entangled or ε-far.
Beyond sample complexity, the paper contributes new quantum query lower bounds, such as:
A query lower bound ̃Ω(√(d/Δ)) for the d-dimensional entanglement entropy problem with gap Δ, improving prior results.
Furthermore, the central result can be extended when the tested state is mixed: one-way LOCC is sufficient to realize the optimal tester.