[論文レビュー] The Fermat Rule for Set Optimization Problems with Lipschitzian Set-Valued Mappings

Gemayqzel Bouza, Ernest Quintana+2 more|arXiv (Cornell University)|Jul 26, 2021

Optimization and Variational Analysis参考文献 51被引用数 4

ひとこと要約

本稿では、集合値目的写像のリプシッツ連続性を仮定したもとで、下位および上位の小さい関係（lower and upper less set relations）を用いて、集合最適化問題に対するフェルマーの法則を確立する。スカラライズ化関数とその極限部分微分の分析を通じて、凸性、コンパクト性、強最小元の存在を仮定しない必要十分条件を導出する。

ABSTRACT

In this paper, we consider set optimization problems where the solution concept is given by the set approach. Specifically, we deal with the lower less and the upper less set relations. First, we derive the convexity and Lipschitzianity of suitable scalarizing functionals under the assumption that the set-valued objective mapping has certain convexity and Lipschitzianity properties. Then, we obtain upper estimates of the limiting subdifferential of these functionals. These results, together with the properties of the scalarization functionals, allow us to obtain a Fermat rule for set optimization problems with Lipschitzian data.

研究の動機と目的

• 集合最適化問題における集合的アプローチ、特に下位および上位の小さい関係（lower and upper less set relations）を用いて、必要十分な最適性条件を導出すること。
• 従来の手法が画像集合の凸性、コンパクト性、または強最小元の存在を仮定するという制限を是正すること。
• リプシッツ連続な集合値写像から導かれるスカラライズ化関数の極限部分微分を用いて、最適性条件を確立すること。
• 原始的および双対的空間における一般化微分を活用することで、フェルマー型の法則を集合最適化へと拡張すること。
• 将来的なアルゴリズム開発の基盤を提供し、集合最適化における停留点への収束を実現すること。

提案手法

• 仮定された凸性およびリプシッツ条件のもとで、集合値目的写像から構成されるスカラライズ化関数の凸性およびリプシッツ連続性を導出する。
• 一般化微分ツールを用いて、これらのスカラライズ化関数の極限部分微分の上界を推定する。
• 画像空間の冪集合における最小解を定義するために、下位の小さい関係（≤ₗ）および上位の小さい関係（≤ᵤ）を用いた集合的アプローチを適用する。
• 接続導関数および共導関数構造を用いて、部分微分包含の観点から停留性を特徴付ける。
• 集合値写像をノルム空間に埋め込むことで、集合最適化を標準的ベクトル最適化問題に関連付ける。
• 距離関数型関数および集合差に基づく方向微分の概念を用いて、最適性を分析する。

実験結果

リサーチクエスチョン

• RQ1 画像集合の凸性やコンパクト性を仮定しない状況で、下位および上位の小さい集合関係に基づく集合最適化問題の必要十分最適性条件をどのように導出できるか。
• RQ2 リプシッツ連続な集合値写像から誘導されるスカラライズ化関数の極限部分微分の性質は何か。
• RQ3 提案された最適性条件は、強最小元の存在やコンパクトな画像を仮定する従来の結果と比べて、どのように一般化または改善されるか。
• RQ4 同様のスカラライズーションおよび部分微分技法を用いて、下位および上位の小さい関係を超えた他の集合関係に対してもフェルマーの法則を拡張できるか。
• RQ5 提案された枠組みは、集合最適化問題における収束アルゴリズムの開発をどの程度支援できるか。

主な発見

• 本稿では、集合値目的写像のリプシッツ連続性を仮定したもとで、下位の小さい関係（≤ₗ）および上位の小さい関係（≤ᵤ）に基づく集合最適化問題に対してフェルマーの法則を確立する。
• 極限部分微分は、一般化された共導関数および法線被覆構造を用いて上界で推定され、停留性の特徴付けが可能になる。
• 提案された最適性条件は、画像集合が凸またはコンパクトである必要がなく、強最小元が存在する必要もないため、従来の手法の主な制限を克服する。
• 例題において、点 ̄x が ≤ₗ-および ≤ᵤ-停留点であることが、部分微分および共導関数包含の明示的計算により確認された。
• 孤立した画像集合に対しても結果が安定しており、例題における法線被覆の計算 N(f(̄x), F(̄x)) = ℝ² によりそれが裏付けられた。
• Jahn や Ha、Karaman らが導入した他の集合関係に対しても本フレームワークを拡張可能であり、現在の範囲を超えた広範な適用可能性を示唆している。