Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 221 / 2 / i / b / Solution

The global Markov property for an undirected graph says that whenever a vertex set $S$ separates disjoint sets $A$ and $B$ in the graph,The Hammersley-Clifford theorem states that a strictly positive density factorizes over the cliques of an undirected graph if and only if it satisfies this global Markov property. Strict positivity is essential for the converse from conditional independences to factorization.