Long range order in the ground state of quantum interacting rotors in two dimensions

► Main result: Ground state of interacting 2d quantum rotors exhibits LRO. ► The rigorous proof is based on the Reflection Positivity technique. ► Potential applications: behavior of Josephson junctions and thin liquid helium films.