Tsirelson's Problem
arXiv:0812.4305
Abstract
The situation of two independent observers conducting measurements on a joint quantum system is usually modelled using a Hilbert space of tensor product form, each factor associated to one observer. Correspondingly, the operators describing the observables are then acting non-trivially only on one of the tensor factors. However, the same situation can also be modelled by just using one joint Hilbert space, and requiring that all operators associated to different observers commute, i.e. are jointly measurable without causing disturbance. The problem of Tsirelson is now to decide the question whether all quantum correlation functions between two independent observers derived from commuting observables can also be expressed using observables defined on a Hilbert space of tensor product form. Tsirelson showed already that the distinction is irrelevant in the case that the ambient Hilbert space is of finite dimension. We show here that the problem is equivalent to the question whether all quantum correlation functions can be approximated by correlation function derived from finite-dimensional systems. We also discuss some physical examples which fulfill this requirement.
References in corpus (3)
Cited by in corpus (25)
- Non-locality and Communication Complexity
- Connes' embedding problem and Tsirelson's problem
- Estimating quantum chromatic numbers
- Perfect Commuting-Operator Strategies for Linear System Games
- A physical approach to Tsirelson's problem
- The Smooth Entropy Formalism for von Neumann Algebras
- Unconditional separation of finite and infinite-dimensional quantum correlations
- Closed sets of correlations: answers from the zoo
- The quantum-to-classical graph homomorphism game
- Quantum Side Information: Uncertainty Relations, Extractors, Channel Simulations
- Limitations of semidefinite programs for separable states and entangled games
- A convergent inflation hierarchy for quantum causal structures
- Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy
- Probabilistic Theories and Reconstructions of Quantum Theory (Les Houches 2019 lecture notes)
- Separation of finite and infinite-dimensional quantum correlations, with infinite question or answer sets
- An entropic invariant for 2D gapped quantum phases
- Separation of quantum, spatial quantum, and approximate quantum correlations
- Noncommutative Nullstellensätze and Perfect Games
- A multiprover interactive proof system for the local Hamiltonian problem
- Quantum Correlations in Space-Time: Foundations and Applications
- 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
- Constant gap between conventional strategies and those based on C*-dynamics for self-embezzlement
- Bell and steering scenarios in terms of operator systems
- Tsirelson's problem and purely atomic von Neumann algebras
- Interactive proofs with approximately commuting provers