A Computational Tsirelson's Theorem for the Value of Compiled XOR Games
Nonlocal games are a foundational tool for understanding entanglement and constructing
quantum protocols in settings with multiple spatially separated quantum devices. In this …
quantum protocols in settings with multiple spatially separated quantum devices. In this …
Robust self-testing for nonlocal games with robust game algebras
Y Zhao - arxiv preprint arxiv:2411.03259, 2024 - arxiv.org
We give an operator-algebraic formulation of robust self-testing in terms of states on C*-
algebras. We show that a quantum correlation p is a robust self-test only if among all …
algebras. We show that a quantum correlation p is a robust self-test only if among all …
[PDF][PDF] Tsirelson's Bound and Beyond: Verifiability and Complexity in Quantum Systems
Y Zhao - 2024 - uwspace.uwaterloo.ca
This thesis employs operator-algebraic and group-theoretical techniques to study verifiability
and complexity in bipartite quantum systems. A bipartite Bell scenario consists of two non …
and complexity in bipartite quantum systems. A bipartite Bell scenario consists of two non …