Connes' embedding problem and Tsirelson's problem

Abstract

We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the set of correlations between commuting C*-algebras. Connes' embedding problem asks whether any separable II${}_1$ factor is a subfactor of the ultrapower of the hyperfinite II${}_1$ factor. We show that an affirmative answer to Connes' question implies a positive answer to Tsirelson's. Conversely, a positve answer to a matrix valued version of Tsirelson's problem implies a positive one to Connes' problem.

References in corpus (11)

• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Bounding the set of quantum correlations
• Large violation of Bell inequalities with low entanglement
• Unbounded violation of tripartite Bell inequalities
• Operator Space theory: a natural framework for Bell inequalities
• A simple proof of a theorem of Kirchberg and related results on $C^{\ast }$-norms
• Unbounded violations of bipartite Bell Inequalities via Operator Space theory
• Tsirelson's Problem
• Connes' Embedding Problem and Lance's WEP
• Quotients, exactness, and nuclearity in the operator system category
• Tensor Products of Operator Systems

Cited by in corpus (73)

• Bell nonlocality
• A Combinatorial Approach to Nonlocality and Contextuality
• Large violation of Bell inequalities with low entanglement
• Tsirelson's problem and Kirchberg's conjecture
• Estimating quantum chromatic numbers
• 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
• A physical approach to Tsirelson's problem
• The Smooth Entropy Formalism for von Neumann Algebras
• Characterization of quantum correlations with local dimension constraints and its device-independent applications
• Quantum Proofs
• 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
• Optimization of device-independent witnesses of entanglement depth from two-body correlators
• Quantum Bilinear Optimization
• Perfect strategies for non-signalling games
• Perfect Embezzlement of Entanglement
• The quantum-to-classical graph homomorphism game
• New Quantum Bounds for Inequalities involving Marginal Expectations
• About the Connes Embedding Conjecture---Algebraic approaches---
• Bounds on entanglement assisted source-channel coding via the Lovasz theta number and its variants
• Are problems in Quantum Information Theory (un)decidable?
• Synchronous correlation matrices and Connes' embedding conjecture
• Quantum Side Information: Uncertainty Relations, Extractors, Channel Simulations
• A convergent inflation hierarchy for quantum causal structures
• Quantum Steering and Space-Like Separation
• Graph Approach to Extended Contextuality
• The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
• Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy
• Non-closure of the set of quantum correlations via graphs
• Almost synchronous quantum correlations
• Relativistic Quantum Fields Are Universal Entanglement Embezzlers
• All tight correlation Bell inequalities have quantum violations
• The Schmidt rank for the commuting operator framework
• State convertibility in the von Neumann algebra framework
• Undecidability in Physics: a Review
• Black hole microstates vs. the additivity conjectures
• Connes' Embedding Problem and Winning Strategies for Quantum XOR Games
• Quantum chromatic numbers via operator systems
• Noncommutative Nullstellensätze and Perfect Games
• A Universal Representation for Quantum Commuting Correlations
• Unifying Entanglement with Uncertainty via Symmetries of Observable Algebras
• Quantum teleportation in the commuting operator framework
• An operator-algebraic formulation of self-testing
• A bound on the quantum value of all compiled nonlocal games
• Rank-one Quantum Games
• Operator system structures on the unital direct sum of C*-algebras
• Operator systems from discrete groups
• Geometry of the set of synchronous quantum correlations
• Joint system quantum descriptions arising from local quantumness
• Quantum Teleportation and Super-dense Coding in Operator Algebras
• No quantum solutions to linear constraint systems in odd dimension from Pauli group and diagonal Cliffords
• Positivity and entanglement of polynomial Gaussian integral operators
• Constant gap between conventional strategies and those based on C*-dynamics for self-embezzlement
• A multiprover interactive proof system for the local Hamiltonian problem
• A doubly exponential upper bound on noisy EPR states for binary games
• The membership problem for constant-sized quantum correlations is undecidable
• Nonlocal games with noisy maximally entangled states are decidable
• Maximally entangled correlation sets
• Relative Weak Injectivity for C*-algebras
• Tsirelson's problem and purely atomic von Neumann algebras
• Operator Systems Generated by Projections
• Uniqueness of purifications is equivalent to Haag duality
• Interactive proofs with approximately commuting provers
• Existence of a zero-free strip for the Riemann zeta function
• Absolutely dilatable bimodule maps
• Bounds on entanglement dimensions and quantum graph parameters via noncommutative polynomial optimization