Pure-target upper bound on trace distance
ID: pure-target-upper-bound-on-trace-distance
For two normalized pure states, the difference of their projectors has two eigenvalues , giving that trace distance. Write a mixed density operator as . Convexity of the trace norm and weighted Cauchy-Schwarz inequality give . Thus a small probability of failing the pure-state projector test forces trace-distance proximity, including for correlated multipartite outputs.
New to topics? Read the docs here!