A new proof of Bowers-Stephenson conjecture

Abstract: Inversive distance circle packing on surfaces was introduced by Bowers-Stephenson as a generalization of Thurston's circle packing and conjectured to be rigid. The infinitesimal and global rigidity of circle packing with nonnegative inversive distance were proved by Guo and Luo respectively. The author proved the global rigidity of circle packing with inversive distance in $(-1,+\infty)$. In this paper, we give a new variational proof of the Bowers-Stephenson conjecture for inversive distance in $(-1,+\infty)$, which simplifies the existing proofs and could be generalized to three dimensional case.