Nash conditional independence curve

Abstract

We study the Spohn conditional independence (CI) variety $C_X$ of an $n$-player game $X$ for undirected graphical models on $n$ binary random variables consisting of one edge. For a generic game, we show that $C_X$ is a smooth irreducible complete intersection curve (Nash conditional independence curve) in the Segre variety $({\mathbb{P}}^1{)}^{n-2}\times {\mathbb{P}}^3$ and we give an explicit formula for its degree and genus. We prove two universality theorems for $C_X$: The product of any affine real algebraic variety with the real line or any affine real algebraic variety in ${\mathbb{R}}^m$ defined by at most $m-1$ polynomials is isomorphic to an affine open subset of $C_X$ for some game $X$.

To appear in Journal of Symbolic Computation