Quantum graphs: different perspectives, homomorphisms and quantum automorphisms

Abstract

We undertake a study of the notion of a quantum graph over arbitrary finite-dimensional $C^{\ast }$-algebras $B$ equipped with arbitrary faithful states. Quantum graphs are realised principally as either certain operators on $L^2(B)$, the quantum adjacency matrices, or as certain operator bimodules over $B^{\prime }$. We present a simple, purely algebraic approach to proving equivalence between these settings, thus recovering existing results in the tracial state setting. For non-tracial states, our approach naturally suggests a generalisation of the operator bimodule definition, which takes account of (some aspect of) the modular automorphism group of the state. Furthermore, we show that each such ``non-tracial'' quantum graphs corresponds to a ``tracial'' quantum graph which satisfies an extra symmetry condition. We study homomorphisms (or CP-morphisms) of quantum graphs arising from UCP maps, and the closely related examples of quantum graphs constructed from UCP maps. We show that these constructions satisfy automatic bimodule properties. We study quantum automorphisms of quantum graphs, give a definition of what it means for a compact quantum group to act on an operator bimodule, and prove an equivalence between this definition, and the usual notion defined using a quantum adjacency matrix. We strive to give a relatively self-contained, elementary, account, in the hope this will be of use to other researchers in the field.

arXiv comment54 pages; accepted version

References in corpus (17)

• Quantum Symmetry Groups of Finite Spaces
• Boundary representations of operator spaces, and compact rectangular matrix convex sets
• Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function
• CCAP for universal discrete quantum groups
• A compositional approach to quantum functions
• Superactivation of the Asymptotic Zero-Error Classical Capacity of a Quantum Channel
• Bigalois extensions and the graph isomorphism game
• Fusion rules for representations of compact quantum groups
• Quantum source-channel coding and non-commutative graph theory
• Quantum groups and Fuss-Catalan algebras
• Sandwich theorems and capacity bounds for non-commutative graphs
• Some examples of quantum graphs
• Classification of Quantum Graphs on $M_2$ and their Quantum Automorphism Groups
• Random quantum graphs
• Solution group representations as quantum symmetries of graphs
• Spectral bounds for the quantum chromatic number of quantum graphs
• Quantum edge correspondences and quantum Cuntz-Krieger algebras