Schrijver-Delsarte rigidity in association schemes and undecidability of quantum graph homomorphism
📄 arXiv:2609.20678 · 📥 PDF · 2026-09-17 · quant-ph
Authors: Lorenzo Ciardo [arXiv · scholar] , Iris Hebbeker [arXiv · scholar] , Gideo Joubert [arXiv · scholar] , Jana Kreiß [arXiv · scholar] , Antoine Mottet [arXiv · scholar]
📄 Abstract
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, $q$-Kneser graphs, and the complements of Johnson, Grassmann, and Hamming graphs. Our proof develops a spectral method for establishing non-contextuality of quantum polymorphisms. It combines an equality analysis of Roberson's bound on the projective packing number in terms of Schrijver's theta with a structural argument inspired by Erdős-Ko-Rado theory.