Slater's Condition

In mathematics, Slater's condition (or Slater condition) is a sufficient condition for strong duality to hold for a convex optimization problem, named after Morton L. Slater. Informally, Slater's condition states that the feasible region must have an interior point (see technical details below).

Slater's condition is a specific example of a constraint qualification. In particular, if Slater's condition holds for the primal problem, then the duality gap is 0, and if the dual value is finite then it is attained.

Formulation

Consider the optimization problem
:$\text\; f_0(x)$
:$\text\$
::$f_i(x) \le 0 , i = 1,\ldots,m$
::$Ax = b$
where $f_0,\ldots,f_m$ are convex functions. This is an instance of convex programming.

In words, Slater's condition for convex programming states that strong duality holds if there exists an $x^*$ such that $x^*$ is strictly feasible (i.e. all constraints are satisfied and the nonlinear constraints are satisfied with strict inequalities).

Mathematically, Slater's condition states that strong duality holds if there exists an $x^* \in \operatorname(D)$ (where relint denotes the relative interior of the convex set
$D := \cap_^m \operatorname(f_i)$) such that
:$f_i(x^*) < 0, i = 1,\ldots,m,$ (the convex, nonlinear constraints)
:$Ax^* = b.\,$

Generalized Inequalities

Given the problem
:$\text\; f_0(x)$
:$\text\$
::$f_i(x) \le_ 0 , i = 1,\ldots,m$
::$Ax = b$
where $f_0$ is convex and $f_i$ is $K_i$-convex for each $i$. Then Slater's condition says that if there exists an $x^* \in \operatorname(D)$ such that
:$f_i(x^*) <_ 0, i = 1,\ldots,m$ and
:$Ax^* = b$
then strong duality holds.

References

{{Reflist

Convex optimization