4 citations · 8 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
quant-ph2023
Satisfiability problems and algebras of boolean constraint system games
Connor Paddock, William Slofstra
Mermin and Peres showed that there are boolean constraint systems (BCSs) which are not satisfiable, but which are satisfiable with quantum observables. This has led to a burgeoning…
quant-ph2023★ 4 cited
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 -algebras. We show that this definition is equivalent to the standard definition for any class…