Game theory of undirected graphical models

We model an $n$-player game $X$ in normal form via undirected discrete graphical models where the discrete random variables represent the players and their state spaces are the set of pure strategies. There exists an edge between the vertices of the graphical model $G$ whenever there is a dependency between the associated players. We study the Spohn conditional independence (CI) variety $\mathcal{V}_{X,\mathcal{C}}$, which is the intersection of the independence model $\mathcal{M}_{\text{global}(G)}$ with the Spohn variety of the game $X$. We prove a conjecture by the first author and Sturmfels that $\mathcal{V}_{X,\mathcal{C}}$ is of codimension $n$ in $\mathcal{M}_{\mathcal{C}}$ for a generic game $X$ with binary choices. In the case where the undirected graph is a disjoint union of cliques, we analyze certain algebro-geometric features of Spohn CI varieties and prove affine universality theorems.