[論文レビュー] Metric Subregularity of Subdifferential and KL Property of Exponent 1/2

Shaohua Pan, Dongdong Zhang+1 more|arXiv (Cornell University)|Dec 3, 2018

Optimization and Variational Analysis被引用数 4

ひとこと要約

本稿は、適切な下方連続関数に対する制限部分微分の臨界集合に関するメトリック部分正則性と、指数1/2のKurdyka-Łojasiewicz（KL）性質の間の深い関係を確立する。凸関数の場合、これら2つの性質は同値である。非凸の場合、指数1/2のKL性質に加えて臨界集合上での2次的成長が成り立つと、部分微分のメトリック部分正則性が導かれる。一方、前向き下位滑らかさ（primal-lower-niceness）と臨界値に関する仮定のもとでは、逆も成り立つ。

ABSTRACT

For a proper lower semicontinuous function, we study the relations between the metric subregularity of its limiting subdifferential relative to the critical set and the KL property of exponent 1/2. When the function is convex, we establish the equivalence between them. When the function is nonconvex, we show that the KL property of exponent 1/2 along with the quadratic growth on the critical set implies the metric subregularity of the subdifferential relative to the critical set; and if the function is primal-lower-nice, under an assumption on stationary values, the latter implies the former. These results provide a bridge for the two kinds of regularity and contribute to enriching each other.

研究の動機と目的

• 臨界集合に関する制限部分微分のメトリック部分正則性と、指数1/2のKL性質との関係を明確化すること。
• これらの2つの正則性概念が凸関数の場合に同値であるかどうかを調査すること。
• 非凸設定において、指数1/2のKL性質がメトリック部分正則性をどのように導くかの十分条件を特定すること。
• 特に前向き下位滑らかさと臨界値に関する仮定の下で、臨界集合に関する部分微分のメトリック部分正則性が指数1/2のKL性質をどのように導くかを同定すること。

提案手法

• 適切な下方連続関数の制限部分微分とその臨界集合に対する挙動の分析。
• 指数1/2のKurdyka-Łojasiewicz（KL）不等式を用いて、臨界点近傍における関数の局所的幾何構造を特徴付ける。
• 非凸ケースにおけるKL性質とメトリック部分正則性の結びつきを図るために、臨界集合上での2次的成長条件を主要仮定として用いる。
• 前向き下位滑らか（primal-lower-nice）関数の概念を用いて、メトリック部分正則性からKL性質への逆方向の含意を確立する。
• 部分微分の計算とメトリック正則性理論を含む変分解析的道具を用いて、主要結果を導出する。
• 凸ケースにおける同値性を、部分微分の構造的性質と最小値点近傍での関数の挙動を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 凸関数において、臨界集合に関する制限部分微分のメトリック部分正則性と、指数1/2のKL性質は同値か？
• RQ2 非凸の場合に、指数1/2のKL性質に加えて臨界集合上での2次的成長が成り立つと、部分微分のメトリック部分正則性が導かれるか？
• RQ3 非凸関数において、臨界集合に関する部分微分のメトリック部分正則性が、指数1/2のKL性質を導く条件は何か？
• RQ4 前向き下位滑らかさの性質は、メトリック部分正則性と指数1/2のKL性質の関係にどのように影響するか？
• RQ5 臨界値は、非凸設定においてメトリック部分正則性からKL性質への含意を確立するうえで、どのような役割を果たすか？

主な発見

• 凸関数においては、臨界集合に関する制限部分微分のメトリック部分正則性は、指数1/2のKL性質と同値である。
• 非凸の場合、指数1/2のKL性質に加えて臨界集合上での2次的成長が成り立つと、臨界集合に関する部分微分のメトリック部分正則性が導かれる。
• 関数が前向き下位滑らかであり、臨界値が特定の仮定を満たす場合、臨界集合に関する部分微分のメトリック部分正則性は、指数1/2のKL性質を導く。
• これらの結果により、変分解析における2つの主要な正則性概念の間の双方向的つながりが確立され、メトリック部分正則性の理論とKL性質の両方を豊かにしている。
• 研究結果により、2次的成長と前向き下位滑らかさを補助的条件として導入することにより、KL性質とメトリック部分正則性の適用範囲がより広い関数クラスへと拡張された。
• 本研究は、部分微分の正則性とKL型不等式の相互作用を通じて、非滑らか最適化における収束挙動を統合的に理解するためのフレームワークを提供する。