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

arXiv:2409.17206

Measurable No-signalling Correlations

Georgios Baziotis, Ivan G. Todorov, Lyudmila B. Turowska

Published Sep 25, 2024• 0 citations
arXivHTMLPDF

Abstract

We study no-signalling correlations, defined over a quadruple of second countable compact Hausdorff spaces. Using operator-valued information channels over abstract alphabets, we define the subclasses of local, quantum spatial and quantum commuting measurable no-signalling correlations. En route, we establish measurable versions of the Stinespring's Dilation Theorem. We define values of measurable non-local games of local, quantum spatial and quantum commuting type, as well as inner versions thereof, and show how the asymptotic values of a finite non-local game can be viewed as special cases of the corresponding inner values of a measurable game, canonically associated with the given finite game.

DOI
10.48550/arxiv.2409.17206

Related papers

Cantor correlations I. Operator systems and Cantor games

Georgios Baziotis, Alexandros Chatzinikolaou, Ivan G. Todorov +1 more

We study no-signalling correlations over Cantor spaces, placing the product of infinitely many copies of a finite non-local game in a unified general setup. We define the subclasses of local, quantum spatial, approximately quantum and quantum commuting Cantor correlations and describe them in terms of states on tensor products of inductive limits of operator systems. We provide a correspondence between no-signalling (resp. approximately quantum, quantum commuting) Cantor correlations and sequences of correlations of the same type over the projections onto increasing number of finitely many coordinates. We introduce Cantor games, and associate canonically such a game to a sequence of finite input/output games, showing that the numerical sequence of the values of the games in the sequence converges to the corresponding value of the compound Cantor game.

arXiv:2509.18028•Sep 22, 2025•0 citations

No-signaling values of quantum games--an operator algebra perspective

Roy Araiza, Marius Junge, Carlos Palazuelos

The aim of this work is to study two-prover quantum games (i.e., games with quantum inputs and outputs) from an operator-algebraic and operator-space point of view. We characterize several notions of the value of such games by formulating them in terms of tensor norms in the category of operator spaces. The main results of the paper concern the description of the so-called no-signalling value of these games, for which we not only provide a precise operator-space formulation, but also establish close connections between this study and some problems in operator algebras. In particular, we show how the recent counterexample to Grothendieck's theorem for operator spaces given in \cite{Ara} can be understood as a direct consequence of results in quantum information theory. We also obtain new upper bounds on the gap between the no-signalling value and the quantum value of two-prover quantum games, improving the best previously known estimates.

quant-pharXiv:2606.21664•Jun 23, 2026•0 citations

Quantum No-signalling Correlations and Non-local Games

Ivan G. Todorov, Lyudmila B. Turowska

Abstract We introduce and examine three subclasses of the family of quantum no-signalling (QNS) correlations introduced by Duan and Winter: quantum commuting, quantum and local. We formalise the notion of a universal TRO of a block operator isometry, define an operator system, universal for stochastic operator matrices, and realise it as a quotient of a matrix algebra. We describe the classes of QNS correlations in terms of states on the tensor products of two copies of the universal operator system and specialise the correlation classes and their representations to classical-to-quantum correlations. We study various quantum versions of synchronous no-signalling correlations and show that they possess invariance properties for suitable sets of states. We introduce quantum non-local games as a generalisation of non-local games. We define the operation of quantum game composition and show that the perfect strategies belonging to a certain class are closed under channel composition. We specialise to the case of graph colourings, where we exhibit quantum versions of the orthogonal rank of a graph as the optimal output dimension for which perfect classical-to-quantum strategies of the graph colouring game exist, as well as to non-commutative graph homomorphisms, where we identify quantum versions of non-commutative graph homomorphisms introduced by Stahlke.

arXiv:2009.07016•Communications in Mathematical Physics•May 28, 2024•15 citations

Non-local game homomorphisms

Gage Hoefer

In the past few decades, the connections between non-local games arising in quantum information theory and the theory of operator algebras have undergone a phase of significant development. Operator algebras provide a particularly fruitful framework for approaching questions of non-locality in quantum systems, as the input-output behavior of measurements on bipartite quantum systems can be encoded through noncommutative operator algebras and their state spaces. This thesis is the compilation of a series of papers, written by the author in collaboration with Ivan G. Todorov, utilizing this framework by using the theory of operator algebras and completely positive maps to study questions involving non-local games. ☐ Using the simulation paradigm from information theory, we define a quantized version of homomorphisms and isomorphisms between classical hypergraphs, generalizing quantum homomorphisms and isomorphisms of graphs from the literature. We show that these quantum homomorphisms and isomorphisms constitute pre-orders and equivalence relations, respectively. We use quantum homomorphisms of hypergraphs to provide multiple examples of strict separation between correlation classes of varying types. Specializing to the case when our underlying hypergraphs arise from classical non-local games, we define quantum non-local game homomorphisms and isomorphisms. We also show how the existence of a homomorphism or isomorphism of some fixed type between games is reflected in a comparison of optimal and asymptotic game values with respect to this type. These non-local game homomorphisms are defined via a new class of non-signalling correlations which we introduce here. We develop the multivariate tensor product theory in the category of operator systems, which we then use to provide a characterization of game homomorphisms in terms of state spaces for various tensor products of canonically associated operator systems. We then apply these results to the study of synchronous non-local games, defining jointly synchronous correlations and showing how they correspond to tracial states of tensor products of C*-algebras canonically associated to each game party. ☐ We then move to a second level of quantization by proposing a "quantized" notion of hypergraphs (where "quantum" here is in the sense of a non-commutative analogue for a discrete combinatorial object), and introduce quantum homomorphisms between these quantum objects. We provide an initial foray into the properties quantum morphisms between quantum hypergraphs display, showing they satisfy analogous properties to quantum homomorphisms between classical hypergraphs. We also indicate initial connections these quantum homomorphisms between quantum hypergraphs have to the study of quantum input-output games. We end the thesis showing that homomorphisms of a local type between quantum hypergraphs is closely related, and in some cases identical, to the TRO equivalence of finite-dimensionally acting operator spaces canonically associated with each hypergraph. This suggests a quantum information theoretic approach to Morita equivalence in the category of operator spaces.

•Feb 16, 2026•0 citations

Bounds on nonlocal correlations in the presence of signaling and their application to topological zero modes

Avishy Carmi, Yaroslav Herasymenko, Eliahu Cohen +1 more

Abstract Bell’s theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice’s and Bob’s spacelike-separated labs. As an attempt to explore theories beyond quantum mechanics and analyze the uniqueness of the latter, we examine in this work the extent of non-local correlations when relaxing these fundamental assumptions, which allows for theories with non-local signaling. We prove that, somewhat surprisingly, the Tsirelson bound in the Bell–Clauser–Horne–Shimony–Holt scenario, and similarly other related bounds on non-local correlations, remain effective as long as we maintain the Hilbert space structure of the theory. Furthermore, in the case of Hermitian observables we find novel relations between non-locality, local correlations, and signaling. We demonstrate that such non-local signaling theories are naturally simulated by quantum systems of parafermionic zero modes. We numerically study the derived bounds in parafermionic systems, confirming the bounds’ validity yet finding a drastic difference between correlations of ‘signaling’ and ‘non-signaling’ sets of observables. We also propose an experimental procedure for measuring the relevant correlations.

arXiv:1809.06749•New Journal of Physics•Jul 1, 2019•10 citations

Values of cooperative quantum games

Jason Crann, Rupert H. Levene, Ivan G. Todorov +1 more

We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a consequence, we provide metric characterisations of state convertibility via LOSR and LOCC.En route, we obtain an alternative description of the maximal tensor products of ternary rings of operators.

arXiv:2310.17735•Transactions of the American Mathematical Society•Jun 30, 2026•0 citations
We study no-signalling correlations, defined over a quadruple of second countable compact Hausdorff spaces. Using operator-valued information channels over abstract alphabets, we define the subclasses of local, quantum spatial and quantum commuting measurable no-signalling correlations. En route, we establish measurable versions of the Stinespring's Dilation Theorem. We define values of measurable non-local games of local, quantum spatial and quantum commuting type, as well as inner versions thereof, and show how the asymptotic values of a finite non-local game can be viewed as special cases of the corresponding inner values of a measurable game, canonically associated with the given finite game.
We study no-signalling correlations over Cantor spaces, placing the product of infinitely many copies of a finite non-local game in a unified general setup. We define the subclasses of local, quantum spatial, approximately quantum and quantum commuting Cantor correlations and describe them in terms of states on tensor products of inductive limits of operator systems. We provide a correspondence between no-signalling (resp. approximately quantum, quantum commuting) Cantor correlations and sequences of correlations of the same type over the projections onto increasing number of finitely many coordinates. We introduce Cantor games, and associate canonically such a game to a sequence of finite input/output games, showing that the numerical sequence of the values of the games in the sequence converges to the corresponding value of the compound Cantor game.
The aim of this work is to study two-prover quantum games (i.e., games with quantum inputs and outputs) from an operator-algebraic and operator-space point of view. We characterize several notions of the value of such games by formulating them in terms of tensor norms in the category of operator spaces. The main results of the paper concern the description of the so-called no-signalling value of these games, for which we not only provide a precise operator-space formulation, but also establish close connections between this study and some problems in operator algebras. In particular, we show how the recent counterexample to Grothendieck's theorem for operator spaces given in \cite{Ara} can be understood as a direct consequence of results in quantum information theory. We also obtain new upper bounds on the gap between the no-signalling value and the quantum value of two-prover quantum games, improving the best previously known estimates.
Abstract We introduce and examine three subclasses of the family of quantum no-signalling (QNS) correlations introduced by Duan and Winter: quantum commuting, quantum and local. We formalise the notion of a universal TRO of a block operator isometry, define an operator system, universal for stochastic operator matrices, and realise it as a quotient of a matrix algebra. We describe the classes of QNS correlations in terms of states on the tensor products of two copies of the universal operator system and specialise the correlation classes and their representations to classical-to-quantum correlations. We study various quantum versions of synchronous no-signalling correlations and show that they possess invariance properties for suitable sets of states. We introduce quantum non-local games as a generalisation of non-local games. We define the operation of quantum game composition and show that the perfect strategies belonging to a certain class are closed under channel composition. We specialise to the case of graph colourings, where we exhibit quantum versions of the orthogonal rank of a graph as the optimal output dimension for which perfect classical-to-quantum strategies of the graph colouring game exist, as well as to non-commutative graph homomorphisms, where we identify quantum versions of non-commutative graph homomorphisms introduced by Stahlke.
In the past few decades, the connections between non-local games arising in quantum information theory and the theory of operator algebras have undergone a phase of significant development. Operator algebras provide a particularly fruitful framework for approaching questions of non-locality in quantum systems, as the input-output behavior of measurements on bipartite quantum systems can be encoded through noncommutative operator algebras and their state spaces. This thesis is the compilation of a series of papers, written by the author in collaboration with Ivan G. Todorov, utilizing this framework by using the theory of operator algebras and completely positive maps to study questions involving non-local games. ☐ Using the simulation paradigm from information theory, we define a quantized version of homomorphisms and isomorphisms between classical hypergraphs, generalizing quantum homomorphisms and isomorphisms of graphs from the literature. We show that these quantum homomorphisms and isomorphisms constitute pre-orders and equivalence relations, respectively. We use quantum homomorphisms of hypergraphs to provide multiple examples of strict separation between correlation classes of varying types. Specializing to the case when our underlying hypergraphs arise from classical non-local games, we define quantum non-local game homomorphisms and isomorphisms. We also show how the existence of a homomorphism or isomorphism of some fixed type between games is reflected in a comparison of optimal and asymptotic game values with respect to this type. These non-local game homomorphisms are defined via a new class of non-signalling correlations which we introduce here. We develop the multivariate tensor product theory in the category of operator systems, which we then use to provide a characterization of game homomorphisms in terms of state spaces for various tensor products of canonically associated operator systems. We then apply these results to the study of synchronous non-local games, defining jointly synchronous correlations and showing how they correspond to tracial states of tensor products of C*-algebras canonically associated to each game party. ☐ We then move to a second level of quantization by proposing a "quantized" notion of hypergraphs (where "quantum" here is in the sense of a non-commutative analogue for a discrete combinatorial object), and introduce quantum homomorphisms between these quantum objects. We provide an initial foray into the properties quantum morphisms between quantum hypergraphs display, showing they satisfy analogous properties to quantum homomorphisms between classical hypergraphs. We also indicate initial connections these quantum homomorphisms between quantum hypergraphs have to the study of quantum input-output games. We end the thesis showing that homomorphisms of a local type between quantum hypergraphs is closely related, and in some cases identical, to the TRO equivalence of finite-dimensionally acting operator spaces canonically associated with each hypergraph. This suggests a quantum information theoretic approach to Morita equivalence in the category of operator spaces.
Abstract Bell’s theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice’s and Bob’s spacelike-separated labs. As an attempt to explore theories beyond quantum mechanics and analyze the uniqueness of the latter, we examine in this work the extent of non-local correlations when relaxing these fundamental assumptions, which allows for theories with non-local signaling. We prove that, somewhat surprisingly, the Tsirelson bound in the Bell–Clauser–Horne–Shimony–Holt scenario, and similarly other related bounds on non-local correlations, remain effective as long as we maintain the Hilbert space structure of the theory. Furthermore, in the case of Hermitian observables we find novel relations between non-locality, local correlations, and signaling. We demonstrate that such non-local signaling theories are naturally simulated by quantum systems of parafermionic zero modes. We numerically study the derived bounds in parafermionic systems, confirming the bounds’ validity yet finding a drastic difference between correlations of ‘signaling’ and ‘non-signaling’ sets of observables. We also propose an experimental procedure for measuring the relevant correlations.
We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a consequence, we provide metric characterisations of state convertibility via LOSR and LOCC.En route, we obtain an alternative description of the maximal tensor products of ternary rings of operators.