How to generate weakly infeasible semidefinite programs via Lasserre's relaxations for polynomial optimization

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

Examples of weakly infeasible semidefinite programs (SDP) are useful to test whether SDP solvers can detect infeasibility. However, finding non trivial such examples is notoriously difficult. This note shows how to use Lasserre's semidefinite programming relaxations for polynomial optimization in order to generate examples of weakly infeasible SDP. Such examples could be used to test whether a SDP solver can detect weak infeasibility. In addition, in this note, we generate weakly infeasible SDP from an instance of polynomial optimization with nonempty feasible region and solve them by SDP solvers. Although all semidefinite programming relaxation problems are infeasible, we observe that SDP solvers do not detect the infeasibility and that values returned by SDP solvers are equal to the optimal value of the instance due to numerical round-off errors.

Original languageEnglish
Pages (from-to)1883-1896
Number of pages14
JournalOptimization Letters
Volume6
Issue number8
DOIs
Publication statusPublished - Nov 1 2012
Externally publishedYes

Fingerprint

Semidefinite Program
Polynomial
Optimization
Infeasibility
Semidefinite Programming Relaxation
Feasible region
Rounding error
Trivial

All Science Journal Classification (ASJC) codes

  • Control and Optimization

Cite this

How to generate weakly infeasible semidefinite programs via Lasserre's relaxations for polynomial optimization. / Waki, Hayato.

In: Optimization Letters, Vol. 6, No. 8, 01.11.2012, p. 1883-1896.

Research output: Contribution to journalArticle

@article{258cc27bd5524184892ee0f44821a7d3,
title = "How to generate weakly infeasible semidefinite programs via Lasserre's relaxations for polynomial optimization",
abstract = "Examples of weakly infeasible semidefinite programs (SDP) are useful to test whether SDP solvers can detect infeasibility. However, finding non trivial such examples is notoriously difficult. This note shows how to use Lasserre's semidefinite programming relaxations for polynomial optimization in order to generate examples of weakly infeasible SDP. Such examples could be used to test whether a SDP solver can detect weak infeasibility. In addition, in this note, we generate weakly infeasible SDP from an instance of polynomial optimization with nonempty feasible region and solve them by SDP solvers. Although all semidefinite programming relaxation problems are infeasible, we observe that SDP solvers do not detect the infeasibility and that values returned by SDP solvers are equal to the optimal value of the instance due to numerical round-off errors.",
author = "Hayato Waki",
year = "2012",
month = "11",
day = "1",
doi = "10.1007/s11590-011-0384-1",
language = "English",
volume = "6",
pages = "1883--1896",
journal = "Optimization Letters",
issn = "1862-4472",
publisher = "Springer Verlag",
number = "8",

}

TY - JOUR

T1 - How to generate weakly infeasible semidefinite programs via Lasserre's relaxations for polynomial optimization

AU - Waki, Hayato

PY - 2012/11/1

Y1 - 2012/11/1

N2 - Examples of weakly infeasible semidefinite programs (SDP) are useful to test whether SDP solvers can detect infeasibility. However, finding non trivial such examples is notoriously difficult. This note shows how to use Lasserre's semidefinite programming relaxations for polynomial optimization in order to generate examples of weakly infeasible SDP. Such examples could be used to test whether a SDP solver can detect weak infeasibility. In addition, in this note, we generate weakly infeasible SDP from an instance of polynomial optimization with nonempty feasible region and solve them by SDP solvers. Although all semidefinite programming relaxation problems are infeasible, we observe that SDP solvers do not detect the infeasibility and that values returned by SDP solvers are equal to the optimal value of the instance due to numerical round-off errors.

AB - Examples of weakly infeasible semidefinite programs (SDP) are useful to test whether SDP solvers can detect infeasibility. However, finding non trivial such examples is notoriously difficult. This note shows how to use Lasserre's semidefinite programming relaxations for polynomial optimization in order to generate examples of weakly infeasible SDP. Such examples could be used to test whether a SDP solver can detect weak infeasibility. In addition, in this note, we generate weakly infeasible SDP from an instance of polynomial optimization with nonempty feasible region and solve them by SDP solvers. Although all semidefinite programming relaxation problems are infeasible, we observe that SDP solvers do not detect the infeasibility and that values returned by SDP solvers are equal to the optimal value of the instance due to numerical round-off errors.

UR - http://www.scopus.com/inward/record.url?scp=84869493785&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84869493785&partnerID=8YFLogxK

U2 - 10.1007/s11590-011-0384-1

DO - 10.1007/s11590-011-0384-1

M3 - Article

AN - SCOPUS:84869493785

VL - 6

SP - 1883

EP - 1896

JO - Optimization Letters

JF - Optimization Letters

SN - 1862-4472

IS - 8

ER -