Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Tsirelson's problem and Kirchberg's conjecture

Tobias Fritz

Published Jan 1, 2010• 170 citations
OpenAlex

Abstract

This document is an extended abstract of [Fri10b]. See [JNP + 10] for closely related results obtained by different methods. Quantum correlations in composite quantum systems. In the study of quantum entanglement and quantum correlations, one usually assumes that the state space of a composite quantum system is a tensor product HA ⊗ HB, so that the correlations take on the form P (a, b | x, y) = 〈ψ, (A a x ⊗ B b y)ψ〉. (1) with POVM observables Ax a and B y b. However, how is this justified from physical principles? Can we really be sure that this tensor product assumption is appropriate? One possible alternative assumption might be to say that a composite system is defined in terms of a joint Hilbert space H together with, for each site, a set of local observables on H, such that each observable located on the first site commutes with each observable located on the second site; in physical terms, this means that the observables located at different sites are compatible, and can in particular be measured jointly. This is the “commutativity assumption”. In the case of finite-dimensional case, this is effectively equivalent to the

Related papers

Tsirelson's Problem

Volkher B. Scholz, Reinhard F. Werner

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 the observables are then acting non-trivially only on one of the tensor factors. However, the same situation can also be modelled by just using one joint Hilbert space, and requiring that all operators associated to different observers commute, i.e. are jointly measurable without causing disturbance. The problem of Tsirelson is now to decide the question whether all quantum correlation functions between two independent observers derived from commuting observables can also be expressed using observables defined on a Hilbert space of tensor product form. Tsirelson showed already that the distinction is irrelevant in the case that the ambient Hilbert space is of finite dimension. We show here that the problem is equivalent to the question whether all quantum correlation functions can be approximated by correlation function derived from finite-dimensional systems. We also discuss some physical examples which fulfill this requirement.

arXiv:0812.4305•Dec 22, 2008•43 citations

TSIRELSON'S PROBLEM AND KIRCHBERG'S CONJECTURE

TOBIAS FRITZ

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.

arXiv:1008.1168•Reviews in Mathematical Physics•May 24, 2012•144 citations

Quantum correlation matrices and Tsirelson’s problem: Previous work and three-player considerations

Gerrit Vos

Tsirelson once claimed that the set of quantum correlations, defined by strategies of non-local two-player games, does not depend on which of two possible models is chosen: the tensor product model or the commuting operator model. He later came back from this claim, and the resulting conjecture is now known as Tsirelson’s problem. The problem has since been proven equivalent to notoriously hard problems in operator theory, such as the Connes’ Embedding Problem and the QWEP conjecture. In this master thesis, we look at the finite dimensional case of Tsirelson’s problem, working out all the details of an existing proof and giving a new, shorter proof which also extends to the nuclear case. Moreover, we give an overview of the equivalence of Tsirelson’s problem and two of Kirchberg’s conjectures, including the QWEP conjecture. Finally, we give some results and considerations for the three-player case of Tsirelson’s problem. The appendix contains proofs of many related results used throughout the thesis, and also a beginner’s introduction to quantum mechanics.

•Jan 1, 2019•0 citations

Entanglement

Teiko Heinosaari, Mário Ziman

In Section 2.4 we learned that a composite quantum system, composed of two subsystems A and B , is associated with a tensor product space HA ? HB . Composite quantum systems have already played an important role in many instances in this text, especially in open systems and measurement models. In this chapter we dive deeper into tensor product spaces, discovering some strange implications of the quantum theory of composite quantum systems. As a result of its tensor product structure, quantum theory has embedded into it the phenomenon of entanglement , which is often seen as the foremost quantum feature. As early as in 1935 it puzzled Erwin Schrödinger, who introduced the German term Verschränkung [127] and Albert Einstein, who, together with Boris Podolski and Nathan Rosen, used the specific example of an entangled state to argue that quantum theory is incomplete [58]. In the 1960s John Bell demonstrated that the consequences of entanglement are incompatible with the Einstein– Podolsky–Rosen model of local realism [11], [12]. In recent years entanglement has been recognized as the resource for quantum information processing. Nowadays entanglement theory is a highly developed subject, and we can present only the mathematical basics. For the reader with a deeper interest in entanglement we recommend the recent reviews by Horodecki et al . [80] and Plenio et al . [118], which also cover the quantum information aspects of entanglement. To simplify our discussion we will assume that the Hilbert spaces are finite dimensional.

Cambridge University Press eBooks•Dec 15, 2011•2 citations

Introduction

Alisa Bokulich, Gregg S. Jaeger

Entanglement can be understood as an extraordinary degree of correlation between states of quantum systems – a correlation that cannot be given an explanation in terms of something like a common cause. Entanglement can occur between two or more quantum systems, and the most interesting case is when these correlations occur between systems that are space-like separated, meaning that changes made to one system are immediately correlated with changes in a distant system even though there is no time for a signal to travel between them. In this case one says that quantum entanglement leads to non-local correlations, or non-locality. More precisely, entanglement can be defined in the following way. Consider two particles, A and B, whose (pure) states can be represented by the state vectors ψA and ψB. Instead of representing the state of each particle individually, one can represent the composite two-particle system by another wavefunction, Ψ AB. If the two particles are unentangled , then the composite state is just the tensor product of the states of the components: Ψ AB = ψ A ⊗ ψ B; the state is then said to be factorable (or separable). If the particles are entangled, however, then the state of the composite system cannot be written as such a product of a definite state for A and a definite state for B. This is how an entangled state is defined for pure states: a state is entangled if and only if it cannot be factored: Ψ AB ≠ ψ A ⊗ ψ B.

Cambridge University Press eBooks•Jun 10, 2010•0 citations

Tsirelson's problem and asymptotically commuting unitary matrices

Narutaka Ozawa

In this paper, 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 positive operator valued measures. We also consider the systems of asymptotically commuting unitary matrices and formulate the Stronger Kirchberg Conjecture.

•Mar 1, 2013•51 citations
This document is an extended abstract of [Fri10b]. See [JNP + 10] for closely related results obtained by different methods. Quantum correlations in composite quantum systems. In the study of quantum entanglement and quantum correlations, one usually assumes that the state space of a composite quantum system is a tensor product HA ⊗ HB, so that the correlations take on the form P (a, b | x, y) = 〈ψ, (A a x ⊗ B b y)ψ〉. (1) with POVM observables Ax a and B y b. However, how is this justified from physical principles? Can we really be sure that this tensor product assumption is appropriate? One possible alternative assumption might be to say that a composite system is defined in terms of a joint Hilbert space H together with, for each site, a set of local observables on H, such that each observable located on the first site commutes with each observable located on the second site; in physical terms, this means that the observables located at different sites are compatible, and can in particular be measured jointly. This is the “commutativity assumption”. In the case of finite-dimensional case, this is effectively equivalent to the
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 the observables are then acting non-trivially only on one of the tensor factors. However, the same situation can also be modelled by just using one joint Hilbert space, and requiring that all operators associated to different observers commute, i.e. are jointly measurable without causing disturbance. The problem of Tsirelson is now to decide the question whether all quantum correlation functions between two independent observers derived from commuting observables can also be expressed using observables defined on a Hilbert space of tensor product form. Tsirelson showed already that the distinction is irrelevant in the case that the ambient Hilbert space is of finite dimension. We show here that the problem is equivalent to the question whether all quantum correlation functions can be approximated by correlation function derived from finite-dimensional systems. We also discuss some physical examples which fulfill this requirement.
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.
Tsirelson once claimed that the set of quantum correlations, defined by strategies of non-local two-player games, does not depend on which of two possible models is chosen: the tensor product model or the commuting operator model. He later came back from this claim, and the resulting conjecture is now known as Tsirelson’s problem. The problem has since been proven equivalent to notoriously hard problems in operator theory, such as the Connes’ Embedding Problem and the QWEP conjecture. In this master thesis, we look at the finite dimensional case of Tsirelson’s problem, working out all the details of an existing proof and giving a new, shorter proof which also extends to the nuclear case. Moreover, we give an overview of the equivalence of Tsirelson’s problem and two of Kirchberg’s conjectures, including the QWEP conjecture. Finally, we give some results and considerations for the three-player case of Tsirelson’s problem. The appendix contains proofs of many related results used throughout the thesis, and also a beginner’s introduction to quantum mechanics.
In Section 2.4 we learned that a composite quantum system, composed of two subsystems A and B , is associated with a tensor product space HA ? HB . Composite quantum systems have already played an important role in many instances in this text, especially in open systems and measurement models. In this chapter we dive deeper into tensor product spaces, discovering some strange implications of the quantum theory of composite quantum systems. As a result of its tensor product structure, quantum theory has embedded into it the phenomenon of entanglement , which is often seen as the foremost quantum feature. As early as in 1935 it puzzled Erwin Schrödinger, who introduced the German term Verschränkung [127] and Albert Einstein, who, together with Boris Podolski and Nathan Rosen, used the specific example of an entangled state to argue that quantum theory is incomplete [58]. In the 1960s John Bell demonstrated that the consequences of entanglement are incompatible with the Einstein– Podolsky–Rosen model of local realism [11], [12]. In recent years entanglement has been recognized as the resource for quantum information processing. Nowadays entanglement theory is a highly developed subject, and we can present only the mathematical basics. For the reader with a deeper interest in entanglement we recommend the recent reviews by Horodecki et al . [80] and Plenio et al . [118], which also cover the quantum information aspects of entanglement. To simplify our discussion we will assume that the Hilbert spaces are finite dimensional.
Entanglement can be understood as an extraordinary degree of correlation between states of quantum systems – a correlation that cannot be given an explanation in terms of something like a common cause. Entanglement can occur between two or more quantum systems, and the most interesting case is when these correlations occur between systems that are space-like separated, meaning that changes made to one system are immediately correlated with changes in a distant system even though there is no time for a signal to travel between them. In this case one says that quantum entanglement leads to non-local correlations, or non-locality. More precisely, entanglement can be defined in the following way. Consider two particles, A and B, whose (pure) states can be represented by the state vectors ψA and ψB. Instead of representing the state of each particle individually, one can represent the composite two-particle system by another wavefunction, Ψ AB. If the two particles are unentangled , then the composite state is just the tensor product of the states of the components: Ψ AB = ψ A ⊗ ψ B; the state is then said to be factorable (or separable). If the particles are entangled, however, then the state of the composite system cannot be written as such a product of a definite state for A and a definite state for B. This is how an entangled state is defined for pure states: a state is entangled if and only if it cannot be factored: Ψ AB ≠ ψ A ⊗ ψ B.