A geometric inequality for circle packings
Pablo A. Parrilo, Ronen Peretz
Abstract
A geometric inequality among three triangles, originating in circle packing problems, is introduced. In order to prove it, we reduce the original formulation to the nonnegativity of a particular polynomial in four real indeterminates. Techniques based on sum of squares decompositions, semidefinite programming, and symmetry reduction are then applied to provide an easily verifiable nonnegativity certificate.
Create a lesson
Related papers
The Tate Conjecture for Ordinary Calabi-Yau Threefolds
Lukas Brantner
Weighted, GIT and Néron--Tate heights on genus-two moduli and Jacobians
Sajad Salami
Monodromy of Tate-Linear varieties
Livia Grammatica
On the Cohomology Classes of Certain Eisenstein-Kronecker Forms
Zhixuan Sheng, Jie Zhou
Campana strong approximation on generalised Markoff surfaces
Dasheng Wei
Quillen's local parameter conjecture in dimension four
Yunpeng Li