A phase transition for the hard sphere model on the hyperbolic plane
This paper proves the existence of a phase transition for the hard sphere model in the hyperbolic plane, resolving a major open problem that remains unsolved for the same model in Euclidean spaces and .