On the resolution to Tsirelson's problem
Correlations between two quantum agents, Alice and Bob, are typically modeled by assigning each a separate Hilbert space and representing their joint system as a tensor product of these spaces. Alternatively, one can let Alice and Bob act on a single Hilbert space, and require that their measurement operators commute. Tsirelson's problem asks whether any such commuting correlation can be appro
