Adina Goldberg, Mittag-Leffler Institute
Quantum games and quantum graphs via the double category of quantum relations
Binary relations are ubiquitous. Classical nonlocal games (Bell scenarios) can be thought of as binary relations between question pairs and answer pairs. Classical undirected graphs can be thought of as symmetric binary relations on a vertex set. There is a notion of quantum relation: a quantum analogue of binary relation. Just as relations can be transformed by functions, quantum relations can be transformed by quantum functions. The interactions between quantum relations and quantum functions are made precise by the double category of quantum sets, quantum functions, and quantum relations. We define this new double category building on the work of Weaver, Kornell, and Musto-Reutter-Verdon. We illustrate how the category suggests, distinguishes, and motivates quantizations of some constructions/results from classical graph theory and nonlocal games. Basicterms related to C*-algebras, bimodules, and category theory will come up, but the talk can also be followed by analogy to the classical setting.
QNC 1201