Global optimization of polynomials over real algebraic sets (Q1730308)

This paper deals with the problem of optimizing a polynomial function \(f\) over an arbitrary given real algebraic set: \(f^{*}=\inf_{x\in V} f(x)\) where \(V = \{x \in \mathbb{R}^n | g_1(x) = 0, \dots , g_s(x) = 0\}\). The authors present an algorithm to compute the global infimum \(f^*\) of \(f\) over an arbitrary given real algebraic set \(V\) where \(V\) is not required to be compact or smooth and estimate the degrees of the output polynomials. Finally, the authors generalize the method to solve polynomial optimization problems over semi-algebraic sets.