Amol Aggarwal, “Nonexistence and Uniqueness for Pure States of Ferroelectric Six-Vertex Models” (arXiv)