Homomorphism Indistinguishability Relations induced by Quantum Groups

TL;DR

This paper extends the concept of homomorphism indistinguishability to quantum groups, linking it to graph isomorphism relaxations and classifying intertwiners within quantum graph groups.

Contribution

It generalizes previous results to all orthogonal easy quantum groups, establishing new connections between quantum symmetries and graph equivalences.

Findings

Homomorphism indistinguishability over specific graph classes matches quantum isomorphism.

Classified the (0,0)-intertwiners of quantum graph groups.

Extended the framework of quantum symmetries in graph theory.

Abstract

Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Man\v{c}inska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Man\v{c}inska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.