Tractable approximations of sets defined with quantifiers

TL;DR

This paper develops a systematic method to approximate complex semi-algebraic sets defined with quantifiers using polynomial sublevel sets, enabling practical computation for robust and optimization problems.

Contribution

It introduces a convergent sequence of explicit polynomial approximations for sets defined with quantifiers, using semidefinite programming, and extends to various related set types.

Findings

Provides a systematic procedure for inner and outer approximations

Each approximation is a polynomial sublevel set obtained via semidefinite programming

Approximations converge strongly to the target sets

Abstract

Given a compact basic semi-algebraic set $K\subset R^n\times R^m$, a simple set $B$ (box or ellipsoid), and some semi-algebraic function $f$, we consider sets defined with quantifiers, of the form $R_f:=\{x\in B: \mbox{$f(x,y)\leq 0$ for all $y$ such that $(x,y)\in K$}\}$ and $D_f:=\{x\in B: \mbox{$f(x,y)\geq 0$ for some $y$ such that $(x,y)\in K$}\}$. The former set $R_f$ is particularly useful to qualify "robust" decisions $x$ versus noise parameter $y$ (e.g. in robust optimization on some set $\mathbf{\Omega}\subset B$) whereas the latter set $D_f$ is useful (e.g. in optimization) when one does not want to work with its lifted representation $\{(x,y)\in K: f(x,y)\geq 0\}$. Assuming that $K_x:=\{y:(x,y)\in K\}\neq\emptyset$ for every $x\in B$, we provide a systematic procedure to obtain a sequence of explicit inner (resp. outer) approximations that converge to $R_f$ (resp. $D_f$) in a strong sense. Another (and remarkable) feature is that each approximation is the sublevel set of a single polynomial whose vector of coefficients is an optimal solution of a semidefinite program. Several extensions are also proposed, and in particular, approximations for sets of the form $R_F:=\{x\in B:\mbox{$(x,y)\in F$ for all $y$ such that $(x,y)\in K$}\}$, where $F$ is some other basic-semi algebraic set, and also sets defined with two quantifiers.