スレーターの条件

スレーターの条件とは

スレーターの条件（Slater's condition）は、数学の分野、特に凸最適化における重要な概念です。この条件は、強双対性が成立するための確実な条件となります。スレーターの名は、数学者モートン・L・スレーターに由来しています。

概要

スレーターの条件が示すのは、実行可能領域が内点を含む場合に限り、強双対性が成り立つということです。つまり、ある実行可能領域内に特定の点が存在する場合、その点を使って問題を解釈することができます。これにより、双対問題と主問題の間に双対ギャップが生じず、双対値が有限であればそれが達成されます。

凸最適化とスレーターの条件

以下のような凸最適化問題を考えます：

$$
\text{Minimize } f_0(x) \\
\text{subject to: } \\
f_i(x) \leq 0, \, i = 1, \ldots, m \\
Ax = b
$$

このとき、スレーターの条件は次のように定義されます。この条件が満たされるためには、ある点 $x$ が次の状態を満たしている必要があります：

$x \in \text{relint}(D)$ であり、
すべての $i$ に対して $f_i(x) < 0$ であり、
$Ax = b$ が成り立つ。

ここで、$D$ は関数の定義域の交差です。

条件の適用

特に、最初の $k$ 個の制約関数 $f_1, \, ..., f_k$ が線形関数である場合、次の条件を満たす点 $x \in \text{relint}(D)$ が存在するなら、強双対性が成立します：

$f_i(x) \leq 0$ for $i = 1, \ldots, k$
$f_i(x) < 0$ for $i = k + 1, \ldots, m$
$Ax = b$

一般化された条件

さらに、一般化された不等式を考える場合、目的関数 $f_0$ が凸であり、各 $f_i$ が $K_i$-凸である場合、スレーターの条件は次のようになります：

$$
\text{Minimize } f_0(x) \\
\text{subject to: } \\
f_i(x) \leq _{K_i} 0, \, i = 1, \ldots, m \\
Ax = b
$$

ここでも、スレーターの条件は、次のような点 $x \in \text{relint}(D)$ の存在を要求します：

$f_i(x) <_{K_i} 0$ for $i = 1, \ldots, m$
$Ax = b$

結論

このように、スレーターの条件は凸最適化における強双対性を確保するための重要な原則であり、実行可能領域に内点を求めることの重要性を示しています。この理論は、最適化問題を解決する際に役立つだけでなく、数多くの実用的な応用にも広がっています。

もう一度検索