Global optimization of polynomials restricted to a smooth variety using sums of squares - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Symbolic Computation Year : 2012

Global optimization of polynomials restricted to a smooth variety using sums of squares

Abstract

Let $f_1,\dots,f_p$ be in $\Q[\bfX]$, where $\bfX=(X_1,\dots,X_n)^t$, that generate a radical ideal and let $V$ be their complex zero-set. Assume that $V$ is smooth and equidimensional. Given $f\in\Q[\bfX]$ bounded below, consider the optimization problem of computing $f^\star=\inf_{x\in V\cap\R^n} f(x)$. For $\bfA\in GL_n(\C)$, we denote by $f^\bfA$ the polynomial $f(\bfA\bfX)$ and by $V^\bfA$ the complex zero-set of $f_1^\bfA,\ldots,f_p^\bfA$. We construct families of polynomials ${\sf M}^\bfA_0, \ldots, {\sf M}^\bfA_d$ in $\Q[\bfX]$: each ${\sf M}_i^\bfA$ is related to the section of a linear subspace with the critical locus of a linear projection. We prove that there exists a non-empty Zariski-open set $\mathscr{O}\subset GL_n(\C)$ such that for all $\bfA\in \mathscr{O}\cap GL_n(\Q)$, $f(x)$ is non-negative for all $x\in V\cap\R^n$ if, and only if, $f^\bfA$ can be expressed as a sum of squares of polynomials on the truncated variety generated by the ideal $\langle {\sf M}^\bfA_i\rangle$, for $0\leq i \leq d$. Hence, we can obtain algebraic certificates for lower bounds on $f^\star$ using semidefinite programs. Some numerical experiments are given. We also discuss how to decrease the number of polynomials in ${\sf M}^\bfA_i$.
Fichier principal
Vignette du fichier
sos_vcg_final.pdf (302.62 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00778239 , version 1 (19-01-2013)

Identifiers

Cite

Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi. Global optimization of polynomials restricted to a smooth variety using sums of squares. Journal of Symbolic Computation, 2012, 47 (5), pp.503-518. ⟨10.1016/j.jsc.2011.12.003⟩. ⟨hal-00778239⟩
405 View
214 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More