Schrijver-Delsarte rigidity in association schemes and undecidability of quantum graph homomorphism

Lorenzo Ciardo, Iris Hebbeker, Gideo Joubert +2

We prove RE-completeness of the quantum homomorphism problem parameterised by families of graphs derived from the classic metric association schemes. These include Kneser graphs, $…