Quantum Automorphism Groups Of Graphs Research Articles

Nonlocal games and quantum permutation groups

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.

Quantum groups with partial commutation relations

We define new noncommutative spheres with partial commutation relations for the coordinates. We investigate the quantum groups acting maximally on them, which yields new quantum versions of the orthogonal group: They are partially commutative in a way such that they do not interpolate between the classical and the free quantum versions of the orthogonal group. Likewise we define non-interpolating, partially commutative quantum versions of the symmetric group recovering Bichon's quantum automorphism groups of graphs. They fit with the mixture of classical and free independence as recently defined by Speicher and Wysoczanski (rediscovering $\Lambda$-freeness of Mlotkowski), due to some weakened version of a de Finetti theorem.

Quantum Symmetries of Graph C*-algebras

AbstractThe study of graph C*-algebras has a long history in operator algebras. Surprisingly, their quantum symmetries have not yet been computed. We close this gap by proving that the quantum automorphism group of a finite, directed graph without multiple edges acts maximally on the corresponding graph C*-algebra. This shows that the quantum symmetry of a graph coincides with the quantum symmetry of the graph C*-algebra. In our result, we use the definition of quantum automorphism groups of graphs as given by Banica in 2005. Note that Bichon gave a different definition in 2003; our action is inspired from his work. We review and compare these two definitions and we give a complete table of quantum automorphism groups (with respect to either of the two definitions) for undirected graphs on four vertices.

Quantum symmetry of graph C∗-algebras associated with connected graphs

We define a notion of quantum automorphism groups of graph [Formula: see text]-algebras for finite, connected graphs. Under the assumption that the underlying graph does not have any multiple edge or loop, the quantum automorphism group of the underlying directed graph in the sense of Banica [Quantum automorphism groups of homogeneous graphs, J. Funct. Anal. 224 (2005) 243–280] (which is also the symmetry object in the sense of [S. Schmidt and M. Weber, Quantum symmetry of graph [Formula: see text]-algebras, arXiv:1706.08833 ] is shown to be a quantum subgroup of quantum automorphism group in our sense. Quantum symmetries for some concrete graph [Formula: see text]-algebras have been computed.

A compositional approach to quantum functions

We introduce a notion of quantum function and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum graphs, which captures the quantum graphs and quantum graph homomorphisms recently discovered in the study of nonlocal games and zero-error communication and relates them to quantum automorphism groups of graphs considered in the setting of compact quantum groups. We show that the 2-categories of quantum sets and quantum graphs are semisimple. We analyze dualisable and invertible 1-morphisms in these 2-categories and show that they correspond precisely to the existing notions of quantum isomorphism and classical isomorphism between sets and graphs.