arXiv++ Combinatorics

We propose a family of non-locality unique games for 2 parties based on a square lattice on an arbitrary surface. We show that, due to structural similarities with error correction codes of Kitaev for fault tolerant quantum computation, the games have classical values computable in polynomial time for $d=2$ measurement outcomes. By representing games in their graph form, for arbitrary $d$ and underlying surface we provide their classification into equivalence classes with respect to relabeling of measurement outcomes, for a selected set of permutations which define the winning conditions. A case study of games with periodic boundary conditions is presented in order to verify their impact on classical and quantum values of the family of games. It suggests that quantum values suffer independently from presence of different winning conditions that can be imposed due to periodicity, as long as no local restrictions are in place.

For a given graph $G=(V,E)$ and permutation $π:V\mapsto V$ the prism $πG$ of $G$ is defined as follows: $V(πG)=V(G)\cup V(G')$, where $G'$ is a copy of $G$, and $E(πG)=E(G)\cup E(G')\cup M_π$, where $M_π=\{uv': u\in V(G), v=π(u)\}$ and $v'$ denotes the copy of $v$ in $G'$. We study and compare the properties of convex and weakly convex dominating sets in prism graphs. In particular, we characterize prism $γ_{con}$-fixers and -doublers. We also show that the differences $γ_{wcon}(G)-γ_{wcon}(πG)$ and $γ_{wcon}(πG) - 2γ_{wcon}(G)$ can be arbitrarily large, and that the convex domination number of $πG$ cannot be bounded in terms of $γ_{con}(G).$

We study the value of unique games as a graph-theoretic parameter. This is obtained by labeling edges with permutations. We describe the classical value of a game as well as give a necessary and sufficient condition for the existence of an optimal assignment based on a generalisation of permutation graphs and graph bundles. In considering some special cases, we relate XOR games to EDGE BIPARTIZATION, and define an edge-labeling with permutations from Latin squares.

A non-isolated vertex $x\in V(G)$ is called $C_{3}$-free if $x$ belongs to no triangle of $G$. In \cite{BMW} Burger, Mynhardt and Weakley introduced the idea of universal fixers. Let $G=(V,E)$ be a graph with $n$ vertices and $G'$ a copy of $G$. For a bijective function $π:V(G)\mapsto V (G')$, we define the prism $πG$ of $G$ as follows: $V(πG)=V(G)\cup V(G')$ and $E(πG)=E(G)\cup E(G')\cup M_π$, where $M_π=\{uπ(u): u\in V(G)\}$. Let $γ(G)$ be the domination number of $G$. If $γ(πG)=γ(G)$ for any bijective function $π$, then $G$ is called a universal fixer. In \cite{MX} it is conjectured that the only universal fixer is the edgeless graph $\bar{K_n}$. In this note, we prove that any graph $G$ with $C_3$-free vertices is not a universal fixer graph.