We introduce a new two-player nonlocal game, called the (G, H)-isomorphism game, where classical players can win with certainty if and only if the graphs G and H are isomorphic. We then define the notions of quantum and non-signalling isomorphism, by considering perfect quantum and non-signalling strategies for the (G, H)-isomorphism game, respectively. First, we prove that non-signalling isomorphism coincides with the well-studied notion of fractional isomorphism, thus giving the latter an operational interpretation. In the quantum case, we consider both the tensor product and commuting frameworks for nonlocal games. Second, we show that, in the tensor product framework, quantum isomorphism is equivalent to the feasibility of two polynomial systems in non-commuting variables, obtained by relaxing the standard integer programming formulations for graph isomorphism to Hermitian variables. Finally, we provide a construction for reducing linear binary constraint system games to isomorphism games. This allows us to determine quantum isomorphic graphs that are not isomorphic. Furthermore, it allows us to show that our two notions of quantum isomorphism, from the tensor product and commuting frameworks, are in fact distinct relations, and that the latter is undecidable. Our proof techniques are related to the Feige, Goldwasser, Lovász, Safra, and Szegedy reduction from the inapproximability literature [

A homomorphism from a graph X to a graph Y is an adjacency preserving mapping f :We consider a nonlocal game in which Alice and Bob are trying to convince a verifier with certainty that a graph X admits a homomorphism to Y . This is a generalization of the well-studied graph coloring game. Via systematic study of quantum homomorphisms we prove new results for graph coloring. Most importantly, we show that the Lovász theta number of the complement lower bounds the quantum chromatic number, which itself is not known to be computable. We also show that some of our newly introduced graph parameters, namely quantum independence and clique numbers, can differ from their classical counterparts while others, namely quantum odd girth, cannot. Finally, we show that quantum homomorphisms closely relate to zero-error channel capacity. In particular, we use quantum homomorphisms to construct graphs for which entanglement-assistance increases their one-shot zero-error capacity.

We present a strong connection between quantum information and the theory of quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we show that two connected graphs X and Y are quantum isomorphic if and only if there exists x ∈ V (X) and y ∈ V (Y ) that are in the same orbit of the quantum automorphism group of the disjoint union of X and Y . This connection links quantum groups to the more concrete notion of nonlocal games and physically observable quantum behaviours. In this work, we exploit this by using ideas and results from quantum information in order to prove new results about quantum automorphism groups of graphs, and about quantum permutation groups more generally. In particular, we show that asymptotically almost surely all graphs have trivial quantum automorphism group. Furthermore, we use examples of quantum isomorphic graphs from previous work to construct an infinite family of graphs which are quantum vertex transitive but fail to be vertex transitive, answering a question from the quantum permutation group literature.Our main tool for proving these results is the introduction of orbits and orbitals (orbits on ordered pairs) of quantum permutation groups. We show that the orbitals of a quantum permutation group form a coherent configuration/algebra, a notion from the field of algebraic graph theory. We then prove that the elements of this quantum orbital algebra are exactly the matrices that commute with the magic unitary defining the quantum group. We furthermore show that quantum isomorphic graphs admit an isomorphism of their quantum orbital algebras which maps the adjacency matrix of one graph to that of the other.We hope that this work will encourage new collaborations among the communities of quantum information, quantum groups, and algebraic graph theory.

Abstract-We study zero-error entanglement assisted sourcechannel coding (communication in the presence of side information). Adapting a technique of Beigi, we show that such coding requires existence of a set of vectors satisfying orthogonality conditions related to suitably defined graphs G and H. Such vectors exist if and only if ϑ(G) ≤ ϑ(H) where ϑ represents the Lovász number. We also obtain similar inequalities for the related Schrijver ϑ − and Szegedy ϑ + numbers. These inequalities reproduce several known bounds and also lead to new results. We provide a lower bound on the entanglement assisted cost rate. We show that the entanglement assisted independence number is bounded by the Schrijver number: α * (G) ≤ ϑ − (G). Therefore, we are able to disprove the conjecture that the one-shot entanglement-assisted zero-error capacity is equal to the integer part of the Lovász number. Beigi introduced a quantity β as an upper bound on α * and posed the question of whether β(G) = ϑ(G) . We answer this in the affirmative and show that a related quantity is equal to ϑ(G) . We show that a quantity χvect(G) recently introduced in the context of Tsirelson's problem is equal to ϑ + (G) . In an appendix we investigate multiplicativity properties of Schrijver's and Szegedy's numbers, as well as projective rank.