 This restriction on the arrow configurations is known as the ice rule.In graph theoretic terms, the states are Eulerian orientations of an underlying 4-regular undirected graph.The partition function also counts the number of nowhere-zero 3-flows.