[論文レビュー] Convex minimization problems with weak constraint qualifications

Christian Léonard|ArXiv.org|Oct 8, 2007

Optimization and Variational Analysis参考文献 13被引用数 7

ひとこと要約

この論文は、標準的な制約条件を、目的関数の内在的幾何に基づく弱い位相的条件に置き換えることで、凸最小化問題に対する一般化された鞍点法を開発する。制約集合の内部性を要しない条件下で、拡張された共役双対性とゲージに基づく位相を用いて、双対等式および最小化子の特徴付けを確立する。

ABSTRACT

One revisits the standard saddle-point method based on conjugate duality for solving convex minimization problems. Our aim is to reduce or remove unnecessary topological restrictions on the constraint set. Dual equalities and characterizations of the minimizers are obtained with weak or without constraint qualifications. The main idea is to work with intrinsic topologies which reflect some geometry of the objective function. The abstract results of this article are applied in other papers to the Monge-Kantorovich optimal transport problem and the minimization of entropy functionals.

研究の動機と目的

• 凸最小化問題における従来の位相的制約条件を排除または著しく弱める。
• 目的関数の幾何を活用することで、弱いかつ制約条件なしの状況でも機能する双対性フレームワークを開発する。
• 抽象的凸最適化設定において、最小化子の特徴付けおよび双対等式の確立を可能にする一般化された手法を提供する。
• 標準的な条件が成立しない問題、例えば最適輸送やエントロピー最小化においても、共役双対性の適用を可能にする。
• 制約集合の内部性仮定なしに強い双対性を達成するため、プライマル関数の正則化を通じて拡張された双対問題を導入する。

提案手法

• 目的関数の等高線集合に関連するゲージ汎関数を用いて、問題の幾何を反映する内在的位相を定義する。
• 双対問題における $\Phi$ の代わりに拡張共役関数 $\overline{\Phi}$ を導入し、弱い条件下でも双対性を可能にする。
• $\Phi$ および $\Phi^*$ から導かれるセミノルムが誘導する位相を用いて、幾何学的ハーン＝バナッハ定理を適用し、内部点に依存しない。
• プライマル解の主要な特徴付けとして、部分劣微分恒等式 $\hat{\ell} \in \partial\overline{\Phi}(T^*\bar{y})$ を用いる。
• 条件 $C \cap \mathrm{icordom\,}\Lambda^* \neq \emptyset$ を弱い制約条件として採用し、ここで $\mathrm{icordom\,}$ は共役関数の内在的核を表す。
• 標準的位相において $C$ が空内部を持つ場合でも、拡張双対問題 $(\overline{D})$ を用いることで、強い双対性および達成可能性の結果を得られる。

実験結果

リサーチクエスチョン

• RQ1 制約集合が非空内部を持たない場合でも、凸最小化問題において双対等式を確立できるか？
• RQ2 標準的な鞍点法を、弱いか制約条件なしの状況でも動作させるにはどうすればよいか？
• RQ3 レベル集合のゲージ汎関数によって定義される内在的位相が、制約集合に位相的仮定なしに双対性を可能にする役割は何か？
• RQ4 標準的な条件が成立しない状況で、部分劣微分恒等式を用いて最小化子をどのように特徴付けられるか？
• RQ5 制約集合に内部性がない状況でも、拡張共役 $\overline{\Phi}$ がどのように双対性と解の表現を可能にするか？

主な発見

• 双対等式 $\inf(P) = \sup(D)$ は、標準的な内部性条件よりも厳密に弱い弱い制約条件 $C \cap \mathrm{icordom\,}\Lambda^* \neq \emptyset$ の下で成立する。
• プライマル最小化子 $\hat{\ell}$ は、任意の双対解 $\bar{y}$ に対して $\hat{\ell} \in \partial\overline{\Phi}(T^*\bar{y})$ を満たし、解の明確な特徴付けが得られる。
• 拡張双対問題 $(\overline{D})$ は、双対の達成可能性を保証し、$C$ が標準的位相で空内部を持つ場合でも、プライマル解の表現を可能にする。
• 拡張双対問題の解 $\bar{\omega}$ は、$\sigma(\mathcal{X}^*, \mathcal{X})$-閉包内にあり、$\mathrm{dom\,}\Lambda$ に属するため、弱-*収束性の性質が保証される。
• 関数 $\Phi$ の等高線集合が $|\cdot|_\Phi$-有界である場合、双対解 $\bar{\omega}$ は位相的双対空間 $\mathcal{Y}^{\prime\prime}$ に属し、より強い正則性が保証される。
• 拡張共役関数 $\overline{\Lambda} = \widetilde{\Lambda}_2$ が $\mathrm{dom\,}\overline{\Lambda}$ 上で成り立ち、$\overline{\Lambda}$ がその有効定義域上で $\sigma(\mathcal{X}^*, \mathcal{X})$-下方連続であることが証明される。