Quantum Interactive Proofs and the Complexity of Separability Testing

Gus Gutoski, Patrick Hayden, Kevin Milner, Mark M. Wilde. Quantum Interactive Proofs and the Complexity of Separability Testing. Theory of Computing, 11:59-103, 2015. [doi]

Abstract

Abstract is missing.