Quantum hypergraph homomorphisms and non-local games

TL;DR

This paper introduces quantum hypergraph homomorphisms and isomorphisms, explores their properties in the context of non-local games, and characterizes related correlations using operator algebra frameworks.

Contribution

It defines quantum hypergraph homomorphisms and isomorphisms, linking them to non-local games and operator system states, advancing the understanding of quantum correlations.

Findings

Quantum hypergraph homomorphisms form partial orders.

Quantum non-local game isomorphisms preserve game values.

New class of no-signalling correlations characterized by operator system states.

Abstract

Using the simulation paradigm in information theory, we define notions of quantum hypergraph homomorphisms and quantum hypergraph isomorphisms, and show that they constitute partial orders and equivalence relations, respectively. Specialising to the case where the underlying hypergraphs arise from non-local games, we define notions of quantum non-local game homomorphisms and quantum non-local game isomorphisms, and show that games, isomorphic with respect to a given correlation type, have equal values and asymptotic values relative to this type. We examine a new class of no-signalling correlations, which witness the existence of non-local game homomorphisms, and characterise them in terms of states on tensor products of canonical operator systems. We define jointly synchronous correlations and show that they correspond to traces on the tensor product of the canonical C*-algebras associated with the game parties.