{"id":"arxiv/2601.09685","url":"https://arxiv.org/abs/2601.09685","tags":["quant-ph","math-ph","math.CT","math.OA"],"score":0,"title":"Quantum graphs of homomorphisms","domain":"quant-ph","source":"arxiv","authors":["Andre Kornell","Bert Lindenhovius"],"reviews":0,"subject":"quant-ph","summary":"We introduce a category $\\mathsf{qGph}$ of quantum graphs, whose definition is motivated entirely from noncommutative geometry. For all quantum graphs $G$ and $H$ in $\\mathsf{qGph}$, we then construct a quantum graph $[G,H]$ of homomorphisms from $G$ to $H$, making $\\mathsf{qGph}$ a closed symmetric monoidal category. We prove that for all finite graphs $G$ and $H$, the quantum graph $[G,H]$ is nonempty iff the $(G,H)$-homomorphism game has a winning quantum strategy, directly generalizing the classical case. The finite quantum graphs in $\\mathsf{qGph}$ are tracial, real, and self-adjoint,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-14","reactions":{}}