On Tsirelson pairs of C*-algebras

DOI10.1142/S0129055X23500162zbMATH Open1522.81032arXiv2210.15509MaRDI QIDQ6078045FDOQ6078045

Authors: Isaac Goldbring, Bradd Hart 

Publication date: 27 September 2023

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

Abstract: We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor product of the pair and the space of quantum strategies obtained by using states on the maximal tensor product of the pair coincide. We exhibit a number of examples of such pairs that are "nontrivial" in the sense that the minimal tensor product and the maximal tensor product of the pair are not isomorphic. For example, we prove that any pair containing a C*-algebra with Kirchberg's QWEP property is a Tsirelson pair. We then introduce the notion of a C*-algebra with the Tsirelson property (TP) and establish a number of closure properties for this class. We also show that the class of C*-algebras with the TP form an axiomatizable class (in the sense of model theory), but that this class admits no "effective" axiomatization.

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

Recommendations

• Connes' embedding problem and Tsirelson's problem
• Tsirelson's problem and Kirchberg's conjecture
• Tsirelson's problem and asymptotically commuting unitary matrices
• Tsirelson's problem and an embedding theorem for groups arising from non-local games
• Model theory and the QWEP conjecture

zbMATH Keywords

quantum correlationsKirchberg's QWEP problem\(\mathrm{MIP}^\ast=\mathrm{RE}\)Tsirelson pairs of C*-algebras

Mathematics Subject Classification ID

States of selfadjoint operator algebras (46L30) Quantum coherence, entanglement, quantum correlations (81P40) Classifications of (C^*)-algebras (46L35) Operator algebra methods applied to problems in quantum theory (81R15) Applications of selfadjoint operator algebras to physics (46L60) Continuous model theory, model theory of metric structures (03C66)

Cites Work

• \(C^*\)-algebras and finite-dimensional approximations
• Title not available (Why is that?)
• Dixmier approximation and symmetric amenability for \(C^\ast\)-algebras
• On non-semisplit extensions, tensor products and exactness of group \(C^*\)-algebras
• On the lifting property for \(C^{\ast}\)-algebras
• A new application of random matrices: \(\operatorname{Ext} (C_{\text{red}}^*(F_2))\) is not a group
• Model theory and the QWEP conjecture
• Tsirelson's problem and Kirchberg's conjecture
• About the Connes embedding conjecture
• Connes' embedding problem and Tsirelson's problem
• Model theory of \(C^*\)-algebras
• Tensor products of \(C^*\)-algebras and operator spaces. The Connes-Kirchberg problem
• Omitting types in operator systems

Cited In (1)

• Locally universal C*-algebras with computable presentations

This page was built for publication: On Tsirelson pairs of C*-algebras

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