In SDP relaxations, inaccurate solvers do robust optimization

Jean-Bernard Lasserre 1 Victor Magron 1, 2
1 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : We interpret some wrong results (due to numerical inaccuracies) already observed when solving SDP-relaxations for polynomial optimization on a double precision floating point SDP solver. It turns out that this behavior can be explained and justified satisfactorily by a relatively simple paradigm. In such a situation, the SDP solver (and not the user) performs some `robust optimization' without being told to do so. Instead of solving the original optimization problem with nominal criterion $f$, it uses a new criterion $\tilde{f}$ which belongs to a ball $\mathbf{B}_\infty(f,\varepsilon)$ of small radius $\varepsilon>0$, centered at the nominal criterion $f$ in the parameter space. In other words the resulting procedure can be viewed as a `$\max-\min$' robust optimization problem with two players (the solver which maximizes on $\mathbf{B}_\infty(f,\varepsilon)$ and the user who minimizes over the original decision variables). A mathematical rationale behind this `autonomous' behavior is described.
Type de document :
Pré-publication, Document de travail
Rapport LAAS n° 18346. 16 pages. 2018
Liste complète des métadonnées
Contributeur : Victor Magron <>
Soumis le : jeudi 8 novembre 2018 - 10:33:01
Dernière modification le : mercredi 30 janvier 2019 - 15:30:03

Lien texte intégral


  • HAL Id : hal-01915976, version 1
  • ARXIV : 1811.02879


Jean-Bernard Lasserre, Victor Magron. In SDP relaxations, inaccurate solvers do robust optimization. Rapport LAAS n° 18346. 16 pages. 2018. 〈hal-01915976〉



Consultations de la notice