Tsirelson's problem and Kirchberg's conjecture

DOI10.1142/S0129055X12500122zbMATH Open1250.81023arXiv1008.1168OpenAlexW3104728484WikidataQ123332844 ScholiaQ123332844MaRDI QIDQ2905751FDOQ2905751

Tobias Fritz

Publication date: 28 August 2012

Published in: Reviews in Mathematical Physics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1008.1168

Recommendations

• Connes' embedding problem and Tsirelson's problem
• A non-commutative unitary analogue of Kirchberg's conjecture
• Tsirelson's problem and asymptotically commuting unitary matrices
• A physical approach to Tsirelson's problem
• From operator algebras to complexity theory and back

zbMATH Keywords

Connes embedding problemTsirelson's problemKirchberg's QWEP conjecturemaximal group \(C^*\)-algebra

Mathematics Subject Classification ID

Operator spaces and completely bounded maps (46L07) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum state spaces, operational and probabilistic concepts (81P16) Applications of selfadjoint operator algebras to physics (46L60) Tensor products of (C^*)-algebras (46L06)

Cites Work

• Schur products and matrix completions
• Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
• Title not available (Why is that?)
• Proposed Experiment to Test Local Hidden-Variable Theories
• Subalgebras of C\(^*\)-algebras. II
• Steering, Entanglement, Nonlocality, and the Einstein-Podolsky-Rosen Paradox
• Theory of operator algebras I.
• Factorization and dilation problems for completely positive maps on von Neumann algebras
• On non-semisplit extensions, tensor products and exactness of group \(C^*\)-algebras
• On nuclear C\(^*\)-algebras
• The 1-2-3 of modular forms. Lectures at a summer school in Nordfjordeid, Norway, June 2004
• ABOUT THE QWEP CONJECTURE
• Connes' embedding conjecture and sums of Hermitian squares
• Bell's Inequalities and Density Matrices: Revealing “Hidden” Nonlocality
• Connes' embedding problem and Tsirelson's problem
• When are quantum systems operationally independent?
• Free products of completely positive maps and spectral sets
• On the cross-norm of the direct product of \(C^ *\)-algebras
• Nondisturbing quantum measurements
• The role of type III factors in quantum field theory
• On the direct-product of operator algebras. I
• Projections in Hilbert space
• On the existence of quantum representations for two dichotomic measurements

Cited In (53)

• An operator-algebraic formulation of self-testing
• Universality of graph homomorphism games and the quantum coloring problem
• On the power of quantum entanglement in multipartite quantum XOR games
• The universal theory of the hyperfinite \(\mathrm{II}_1\) factor is not computable
• Perfect embezzlement of entanglement
• A universal representation for quantum commuting correlations
• Tsirelson's problem and asymptotically commuting unitary matrices
• Grothendieck’s Theorem, past and present
• Non-closure of the set of quantum correlations via graphs
• Statistical constructions in quantum information theory
• Geometry of the set of synchronous quantum correlations
• Quantum Teleportation and Super-Dense Coding in Operator Algebras
• 3XOR games with perfect commuting operator strategies have perfect tensor product strategies and are decidable in polynomial time
• THE SET OF QUANTUM CORRELATIONS IS NOT CLOSED
• Perfect commuting-operator strategies for linear system games
• A non-commutative unitary analogue of Kirchberg's conjecture
• The quantum-to-classical graph homomorphism game
• Connes’ embedding problem and winning strategies for quantum XOR games
• Approximation of quantum assemblages
• Bounds on entanglement dimensions and quantum graph parameters via noncommutative polynomial optimization
• Operator system structures on the unital direct sum of \(C^*\)-algebras
• A convergent inflation hierarchy for quantum causal structures
• Quantum hypergraph homomorphisms and non-local games
• Quantum Bilinear Optimization
• Noncommutative nullstellensätze and perfect games
• A physical approach to Tsirelson's problem
• Purity of the embeddings of operator systems into their \(C^\ast \)- and injective envelopes
• Bipartite matrix-valued tensor product correlations that are not finitely representable
• On Tsirelson pairs of C*-algebras
• A Characterization of Perfect Strategies for Mirror Games
• Synchronous correlation matrices and Connes' embedding conjecture
• A combinatorial approach to nonlocality and contextuality
• Almost synchronous quantum correlations
• A synchronous game for binary constraint systems
• Connes' embedding problem and Tsirelson's problem
• Certifying optimality of Bell inequality violations: noncommutative polynomial optimization through semidefinite programming and local optimization
• About the Connes embedding conjecture
• Unitary correlation sets
• How device-independent approaches change the meaning of physical theory
• Survey on nonlocal games and operator space theory
• The Kirillov-Reshetikhin conjecture and solutions of T-systems
• Joint system quantum descriptions arising from local quantumness
• Maximally nonlocal subspaces
• The Connes embedding problem: A guided tour
• \(\mathrm{C}^\ast\)-algebras. Abstracts from the workshop held August 7--13, 2022
• The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
• Nonlocal Games with Noisy Maximally Entangled States are Decidable
• Linear conic formulations for two-party correlations and values of nonlocal games
• \(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes' embedding problem and Tsirelson's problem
• A synchronous NPA hierarchy with applications
• Can you compute the operator norm?
• A channel-based framework for steering, non-locality and beyond
• Tsirelson’s problem and an embedding theorem for groups arising from non-local games

This page was built for publication: Tsirelson's problem and Kirchberg's conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2905751)