Tsirelson's problem and Kirchberg's conjecture

DOI10.1142/S0129055X12500122MaRDI QIDQ2905751zbMATH OpenOpenAlexWikidataFDO

Authors Tobias Fritz

Publication date 28 August 2012

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

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

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)

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.

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

Cites work

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

Cited in

(55)

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

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)