Abstract:We show that quantum graph parameters for finite, simple, undirected graphs encode winning strategies for all possible synchronous non-local games. Given a synchronous game $\mathcal{G}=(I,O,\lambda)$ with $|I|=n$ and $|O|=k$, we demonstrate what we call a weak $*$-equivalence between $\mathcal{G}$ and a $3$-coloring game on a graph with at most $3+n+9n(k-2)+6|\lambda^{-1}(\{0\})|$ vertices, strengthening and simplifying work implied by Z. Ji (<a class="link-https" data-arxiv-id="1310.3794" href="https://arxiv.org/abs/1310.3794">arXiv:1310.3794</a>) for winning quantum strategies for synchronous non-local games. As an application, we obtain a quantum version of L. Lovász's reduction (Proc. 4th SE Conf. on Comb., Graph Theory & Computing, 1973) of the $k$-coloring problem for a graph $G$ with $n$ vertices and $m$ edges to the $3$-coloring problem for a graph with $3+n+9n(k-2)+6mk$ vertices. Moreover, winning strategies for a synchronous game $\mathcal{G}$ can be transformed into winning strategies for an associated graph coloring game, where the strategies exhibit perfect zero knowledge for an honest verifier. We also show that, for ``graph of the game" $X(\mathcal{G})$ associated to $\mathcal{G}$ from A. Atserias et al (J. Comb. Theory Series B, Vol. 136, 2019), the independence number game $\text{Hom}(K_{|I|},\overline{X(\mathcal{G})})$ is hereditarily $*$-equivalent to $\mathcal{G}$, so that the possibility of winning strategies is the same in both games for all models, except the game algebra. Thus, the quantum versions of the chromatic number, independence number and clique number encode winning strategies for all synchronous games in all quantum models.

All passable games are realizable as monotone set coloring games

On monotonicity in Maker–Breaker graph colouring games

A note on monotonicity in Maker-Breaker graph colouring games

Vexing vexillological logic

Toward a Combinatorial Theory of SET and Related Card Games

Elementary submodels, coding strategies, and an infinite real number game

Seurat games on Stockmeyer graphs

Monochromatic non-commuting products

Universality of graph homomorphism games and the quantum coloring problem

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Impartial games with entailing moves

Homotopies and transcendental extensions in colouring problems

Exponential bounds for monochromatic sums equal to products

A complete solution for a nontrivial ruleset with entailing moves

Monochromatic Sumsets in Countable Colourings of Abelian Groups

From discrete to continuous: Monochromatic 3-term arithmetic progressions

Coloring tournaments with few colors: Algorithms and complexity

Synchronous Values of Games

Chromatic Nim finds a game for your solution

A complete solution for the partisan chocolate game

$H$-games played on vertex sets of random graphs