Our paper gives several optimal algorithms for testing specific properties of mixed states, e.g. the property of being the maximally mixed state. This can be viewed as the quantum analogue of a result of Paninski. In addition, we show a nearly-tight lower bound for the well-known "empirical Young diagram algorithm" which learns an unknown mixed state's spectrum.
Our main tool is Schur-Weyl duality, which leads us to studying a particular algorithm called weak Schur sampling. This algorithm is based on the representation theory of the symmetric group, and to analyze it we use various tools in this area, including Kerov's algebra of observables and a limiting theorem of Biane.
No background in quantum computing or representation theory is assumed.
This is joint work with Ryan O'Donnell.