[論文レビュー] Geometric Duality for Convex Vector Optimization Problems

Frank Heyde|arXiv (Cornell University)|Sep 16, 2011

Advanced Optimization Algorithms Research参考文献 12被引用数 8

ひとこと要約

本稿は、Legendre-Fenchel共役と2階の部分微分を用いて、原始的および双対的拡張像集合の最小面同士の包含反転・一対一対応を確立することにより、複数目的線形計画法から一般の凸ベクトル最適化問題へ幾何的双対性理論を拡張する。主な貢献は、最小正則性仮定のもとで、非多面体的でもあり、非固体な順序集合を含む一般の順序集合に対しても成立する、顔の次元補完性を保つ一般化された双対性フレームワークを提供することにある。

ABSTRACT

Geometric duality theory for multiple objective linear programming problems turned out to be very useful for the development of efficient algorithms to generate or approximate the whole set of nondominated points in the outcome space. This article extends the geometric duality theory to convex vector optimization problems.

研究の動機と目的

• 多面体的でない複数目的線形計画問題から、非多面体的で、場合によっては非固体な順序集合を有する一般の凸ベクトル最適化問題へ、幾何的双対性理論を一般化すること。
• 線形の場合を超えて、原始的および双対的像集合の最小面の間で包含反転かつ一対一対応を保つ双対性フレームワークを確立すること。
• 2階部分微分を用いて、線形設定から凸設定へ対応する顔の次元補完性を一般化すること。
• 結果空間における極性関係を用いて、共役関数の上位集合変換により双対問題を定式化すること。
• 提案された理論の特殊ケースとして、一般の順序集合を有する線形ベクトル最適化問題に対して既存の結果を回復し、わずかに一般化すること。

提案手法

• 凸ベクトル最適化問題の拡張像集合を、適切で、閉じて、凸な関数 $ f $ の上位集合へ変換し、凸解析の道具を適用可能にする。
• Legendre-Fenchel共役 $ f^* $ を用いて双対問題を定義し、適切な変換のもとでその上位集合が双対像集合に対応することを示す。
• 双対像集合 $ \mathcal{D} $ の $ K $-最大の露出面を、原始像集合 $ \mathcal{P} $ の相対的 $ C $-最小の露出面へ写像する双対写像 $ \widehat{\Psi} $ を定義し、包含反転および全単射の性質を保つ。
• 2階部分微分およびDupinの指示図を用いて、線形の場合からの顔の次元補完性の一般化を達成する。
• 関数 $ f $ および $ f^* $ の2階部分微分の間に極性関係を導出し、$ \operatorname{Ind}_{\mathcal{D},-\operatorname{id}}(v|\eta^*(y)) = \left[\operatorname{Ind}_{\mathcal{P},T}(y|\eta(v))\right]^\circ $ と表現する。これは線形ケースの次元補完性を一般化する。
• 変換行列 $ T $, $ T^{-1} $, および $ c^* $ を特殊化することにより、一般の順序集合を有する線形ベクトル最適化問題にこのフレームワークを適用し、既知の双対性結果を特殊ケースとして回復する。

実験結果

リサーチクエスチョン

• RQ1 非多面体的像集合を有する一般の凸ベクトル最適化問題へ、複数目的線形計画法からの幾何的双対性理論をどのように拡張できるか？
• RQ2 凸設定において、原始的および双対的像集合の最小面の間の双対写像の明確な特徴づけは何か？
• RQ3 2階部分微分を用いて、線形の場合を超えて、対応する顔の次元補完性がどのように一般化されるか？
• RQ4 Legendre-Fenchel共役は、結果空間における双対問題の構築および双対関係の確立において、どのように機能するか？
• RQ5 この理論は、一般の（非多面体的で非固体な）順序集合を有する線形ベクトル最適化問題に対する既存の双対性結果を回復し、拡張できるか？

主な発見

• 本稿は、双対像集合 $ \mathcal{D} $ のすべての $ K $-最大の露出面の集合と、原始像集合 $ \mathcal{P} $ のすべての相対的 $ C $-最小の露出面の集合との間に、包含反転かつ全単射対応をなす双対写像 $ \widehat{\Psi} $ を確立した。
• 任意の対応する顔のペア $ F^* \subset \mathcal{D} $ および $ \widehat{\Psi}(F^*) \subset \mathcal{P} $ に対して、2階部分微分が極性関係 $ \operatorname{Ind}_{\mathcal{D},-\operatorname{id}}(v|\eta^*(y)) = \left[\operatorname{Ind}_{\mathcal{P},T}(y|\eta(v))\right]^\circ $ を満たすことが示され、線形ケースが一般化された。
• 原始像集合 $ \mathcal{P} $ が多面体的である場合、双対像集合 $ \mathcal{D} $ も多面体的であり、次元補完性が成り立つ：$ \dim F^* + \dim \widehat{\Psi}(F^*) = q - 1 $。これは古典的な線形双対性結果を拡張する。
• 本フレームワークは、内部が空である可能性のある一般の順序集合 $ K $ に対しても適用可能であり、像集合が多面体的でなくてもよい。これにより、幾何的双対性の適用範囲が著しく拡大される。
• 理論は、一般の順序集合を有する線形ベクトル最適化問題に対する既知の双対性結果を回復し、わずかに一般化する。たとえば、取引コストを伴う金融数学の文脈で生じる問題にも適用可能である。
• $ T $, $ T^{-1} $, および $ c^* $ を用いた変換により、線形ケースにおける双対像集合 $ \mathcal{D} $ の明示的計算が可能であり、$ \mathcal{D} = \left\{ \begin{pmatrix} w \\ s \end{pmatrix} \;\big|\; c^*(w) \in C^+, s \leq \sup\{ b^T u \mid u \geq 0, A^T u = \Gamma^T c^*(w) \} \right\} $ と表現できる。