Related papers: Tsirelson's problem and Kirchberg's conjecture
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.…
The situation of two independent observers conducting measurements on a joint quantum system is usually modelled using a Hilbert space of tensor product form, each factor associated to one observer. Correspondingly, the operators describing…
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…
In this note, we consider quantum correlations of bipartite systems having a slight interaction, and reinterpret Tsirelson's problem (and hence Kirchberg's and Connes's conjectures) in terms of finite-dimensional asymptotically commuting…
In non-relativistic quantum mechanics, measurements performed by separate observers are modeled via tensor products. In Algebraic Quantum Field Theory, though, local observables corresponding to space-like separated parties are just…
Tsirelson's problem asks whether the commuting operator model for two-party quantum correlations is equivalent to the tensor-product model. We give a negative answer to this question by showing that there are non-local games which have…
It is shown that when properly analyzed using principles consistent with the use of a Hilbert space to describe microscopic properties, quantum mechanics is a local theory: one system cannot influence another system with which it does not…
Bell's theorem depends crucially on counterfactual reasoning, and is mistakenly interpreted as ruling out a local explanation for the correlations which can be observed between the results of measurements performed on spatially-separated…
In 2020, Ji et al. [arXiv:2001.04383 and Comm.~ACM 64}, 131 (2021)] provided a proof that the complexity classes $\text{MIP}^\ast$ and $\text{RE}$ are equivalent. This result implies a negative resolution of Tsirelson's problem, that is,…
We discuss a scenario of bipartite steering with local subsystems of the parties modeled by certain operator algebras. In particular, we formalize the notion of quantum assemblages in a commuting observables paradigm and focus on equivalent…
In a series of papers Tsirelson constructed from measure types of random sets and generalised random processes a new range of examples for continuous tensor product systems of Hilbert spaces introduced by Arveson for classifying…
The present exploratory paper deals with tensor products in the locality framework {developed in previous work}, a natural setting for an algebraic formulation of the locality principle in quantum field theory. Locality tensor products of…
We put two C*-algebras together in a noncommutative tensor product using quantum group coactions on them and a bicharacter relating the two quantum groups that act. We describe this twisted tensor product in two equivalent ways. The first…
We consider a class of C*-algebras associated to one parameter continuous tensor product systems of Hilbert modules, which can be viewed as continuous counterparts of Pimsner's Toeplitz algebras. By exhibiting a homotopy of…
Which nonlocal correlations can be obtained, when a party has access to more than one subsystem? While traditionally nonlocality deals with spacelike separated parties, this question becomes important with quantum technologies that connect…
Completely determining the relationship between quantum correlation sets is a long-standing open problem, known as Tsirelson's problem. Following recent progress by Slofstra [arXiv:1606.03140 (2016), arXiv:1703.08618 (2017)] only two…
A formula for the commutator of tensor product matrices is used to shows that, for qubits, compatibility of quantum multiparty observables almost never implies local compatibility at each site and to predict when this happens/does not…
The Bell-Clauser-Horne-Shimony-Holt inequality can be used to show that no local hidden-variable theory can reproduce the correlations predicted by quantum mechanics (QM). It can be proved that certain QM correlations lead to a violation of…
Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local…
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes…