Tsirelson's problem and Kirchberg's conjecture
arXiv:1008.1168 · doi:10.1142/S0129055X12500122
Abstract
Tsirelson's problem asks whether the set of nonlocal quantum correlations with a tensor product structure for the Hilbert space coincides with the one where only commutativity between observables located at different sites is assumed. Here it is shown that Kirchberg's QWEP conjecture on tensor products of C*-algebras would imply a positive answer to this question for all bipartite scenarios. This remains true also if one considers not only spatial correlations, but also spatiotemporal correlations, where each party is allowed to apply their measurements in temporal succession; we provide an example of a state together with observables such that ordinary spatial correlations are local, while the spatiotemporal correlations reveal nonlocality. Moreover, we find an extended version of Tsirelson's problem which, for each nontrivial Bell scenario, is equivalent to the QWEP conjecture. This extended version can be conveniently formulated in terms of steering the system of a third party. Finally, a comprehensive mathematical appendix offers background material on complete positivity, tensor products of C*-algebras, group C*-algebras, and some simple reformulations of the QWEP conjecture.
57 pages, to appear in Rev. Math. Phys
References in corpus (9)
- Steering, Entanglement, Nonlocality, and the EPR Paradox
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- A derivation of quantum theory from physical requirements
- Connes' embedding problem and Tsirelson's problem
- Maximal violation of the I3322 inequality using infinite dimensional quantum systems
- Factorization and dilation problems for completely positive maps on von Neumann algebras
- Non-disturbing quantum measurements
- Information Causality and Extremal Tripartite Correlations
- Hardy's Test versus the CHSH Test of Quantum Non-Locality: Fundamental and Practical Aspects
Cited by in corpus (50)
- Bell nonlocality
- Quantum steering: a review with focus on semidefinite programming
- Kochen-Specker Contextuality
- A Combinatorial Approach to Nonlocality and Contextuality
- Security of device-independent quantum key distribution protocols: a review
- Tsirelson's problem and an embedding theorem for groups arising from non-local games
- Identifying Nonconvexity in the Sets of Limited-Dimension Quantum Correlations
- Perfect Commuting-Operator Strategies for Linear System Games
- Survey on Nonlocal Games and Operator Space Theory
- Tsirelson's Problem and Asymptotically Commuting Unitary Matrices
- A synchronous game for binary constraint systems
- Characterization of quantum correlations with local dimension constraints and its device-independent applications
- How device-independent approaches change the meaning of physical theory
- Unitary Correlation Sets
- A channel-based framework for steering, non-locality and beyond
- Quantum Correlations in the Minimal Scenario
- Closed sets of correlations: answers from the zoo
- Quantum Bilinear Optimization
- Optimization of device-independent witnesses of entanglement depth from two-body correlators
- Extended nonlocal games and monogamy-of-entanglement games
- An invertible map between Bell non-local and contextuality scenarios
- Perfect Embezzlement of Entanglement
- The quantum-to-classical graph homomorphism game
- Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements
- Synchronous correlation matrices and Connes' embedding conjecture
- Linear conic formulations for two-party correlations and values of nonlocal games
- A convergent inflation hierarchy for quantum causal structures
- Quantum Steering and Space-Like Separation
- The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
- Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy
- Almost synchronous quantum correlations
- Undecidability in Physics: a Review
- Connes' Embedding Problem and Winning Strategies for Quantum XOR Games
- Separation of quantum, spatial quantum, and approximate quantum correlations
- Noncommutative Nullstellensätze and Perfect Games
- A Universal Representation for Quantum Commuting Correlations
- An operator-algebraic formulation of self-testing
- Operator system structures on the unital direct sum of C*-algebras
- Two convergent NPA-like hierarchies for the quantum bilocal scenario
- A bound on the quantum value of all compiled nonlocal games
- Quantum Delocalised-Interactions
- Postquantum steering
- Geometry of the set of synchronous quantum correlations
- 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
- Joint system quantum descriptions arising from local quantumness
- Constant gap between conventional strategies and those based on C*-dynamics for self-embezzlement
- No quantum solutions to linear constraint systems in odd dimension from Pauli group and diagonal Cliffords
- The membership problem for constant-sized quantum correlations is undecidable
- Absolutely dilatable bimodule maps
- Uniqueness of purifications is equivalent to Haag duality