Exact certification for conic optimization over quadratic modules: partitions of unity and recession directions

Didier Henrion, Alaa Ibrahim, Victor Magron

We consider linear conic problems whose cone is a product of truncated quadratic modules, the sum-of-squares (SOS) side of the moment-SOS hierarchy. A floating-point solution is tu…