Tsirelson's Problem

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.

[1]  A. Acín,et al.  Bounding the set of quantum correlations. , 2006, Physical review letters.

[2]  E. Kirchberg.  C*‐Nuclearity implies CPAP , 1977 .

[3]  I. Raeburn,et al.  The $C^*$-algebra generated by two projections. , 1989 .

[4]  S. Lloyd,et al.  Quantum tensor product structures are observable induced. , 2003, Physical Review Letters.

[5]  Mikael Rørdam,et al.  Classification of Nuclear C*-Algebras. Entropy in Operator Algebras , 2001 .

[6]  E. J. Woods,et al.  A Classification of Factors , 1968 .

[7]  E. Effros,et al.  Nuclear C ∗ -Algebras and the Approximation Property , 1978 .

[8]  R. Mcweeny.  On the Einstein-Podolsky-Rosen Paradox , 2000 .

[9]  Dirk Schlingemann,et al.  Infinitely entangled states , 2002, Quantum Inf. Comput..

[10]  Tsuyoshi Ito,et al.  Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems , 2007, 2008 23rd Annual IEEE Conference on Computational Complexity.

[11]  J. Bell.  On the Problem of Hidden Variables in Quantum Mechanics , 1966 .

[12]  M. Keyl,et al.  Entanglement, haag-duality and type properties of infinite quantum spin chains , 2006 .

[13]  D. Buchholz,et al.  The universal structure of local algebras , 1987 .

[14]  Matthias Fitzi,et al.  How Non‐Local are n Noisy Popescu‐Rohrlich Machines? , 2009 .

[15]  B. Tsirelson.  Quantum analogues of the Bell inequalities. The case of two spatially separated domains , 1987 .

[16]  Jonathan Barrett,et al.  The de Finetti theorem for test spaces , 2007, 0712.2265.