arXiv++ Combinatorics

We show that the marginal semigroup of a binary graph model is normal if and only if the graph is free of K_4 minors. The technique, based on the interplay of normality and the geometry of the marginal cone, has potential applications to other normality questions in algebraic statistics.