An operator-algebraic formulation of self-testing

Connor Paddock, William Slofstra, Yuming Zhao +1

We give a new definition of self-testing for correlations in terms of states on $C^{\ast }$-algebras. We show that this definition is equivalent to the standard definition for any class…