Facial reduction for exact polynomial sum of squares decompositions

Santiago Laplagne

We study the problem of decomposing a non-negative polynomial as an exact sum of squares (SOS) in the case where the associated semidefinite program is feasible but not strictly fe…