[論文レビュー] Conic optimization and complementarity problems

S. Z. Németh, Guohan Zhang|arXiv (Cornell University)|Jul 18, 2016

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

ひとこと要約

本稿では、カールシュ＝クーン＝タッカー（KKT）条件を介して、錐最適化問題と混合補完性問題（MiCP）の間の明示的かつ正確な双対性を確立している。凸目的関数と錐制約を伴う錐最適化問題の解は、KKT最適性条件によって定義されるMiCPの解と等価であることが示されている。主な貢献は、一般の錐に対してこの等価性を形式的かつ理解しやすい形で証明したことであり、古典的な線形計画法の双対性をより広範な錐設定へと拡張している。

ABSTRACT

Although the Karush-Kuhn-Tucker conditions suggest a connection between a conic optimization problem and a complementarity problem, it is difficult to find an accessible explicit form of this relationship in the literature. This note will present such a relationship.

研究の動機と目的

• 錐最適化と補完性問題の間の明示的な数学的関係を明らかにすること。これは、文献においてしばしば暗黙的または伝承的とされるものである。
• 線形計画法における古典的な補完性スラック性の性質を、任意の閉凸錐を含む一般の錐最適化問題へと拡張すること。
• 標準的な凸性および制約規則の下で、錐最適化と混合補完性問題の等価性を厳密かつアクセス可能な形で定式化すること。
• 一般の錐に対して、KKT条件と補完性問題の関係を形式化すること。特に、錐が非負の直交錐でない場合の設定において重点を置く。

提案手法

• 閉凸錐Kを用いて、f(x)を最小化する錐最適化問題を、Ax = b および x ∈ K という制約のもとで定式化する。
• G(y,x) = b - Ax および H(y,x) = ∇f(x) - Aᵀy を用いて、混合補完性問題（MiCP）を定義する。
• カールシュ＝クーン＝タッカー（KKT）条件を用いて最適性系を導出する：A𝐱 = b、𝐱 ∈ K、および ∇f(𝐱) - Aᵀ𝐲 ∈ K* であり、𝐱 ⊥ (∇f(𝐱) - Aᵀ𝐲) が成り立つ。
• スレイターの条件を用いてKKT定理を適用し、強い双対性を保証するとともに、必要十分な最適性条件を導出する。
• 凸解析を活用する：fが凸であるとき、xが最適であるための必要十分条件は、すべての実行可能解yに対して ⟨∇f(x), y - x⟩ ≥ 0 が成り立つことである。
• 双対ギャップおよび正規凸体の特徴付けを用いて、錐最適化問題の解がMiCPの条件を満たし、逆にMiCPの解が錐最適化問題の解であることを示すことで、等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 錐最適化と補完性問題の双対性を、古典的な線形計画法のケースを超えて、明示的かつアクセス可能な形でどのように明確化できるか？
• RQ2 錐最適化問題と混合補完性問題の間の正確な数学的定式化は何か？
• RQ3 錐最適化のKKT条件が、錐とその双対錐を含む補完性系にどのように簡略化されるか？
• RQ4 補完性スラック性の条件は、非負の直交錐から任意の閉凸錐へとどのように一般化されるか？

主な発見

• 錐最適化問題 CO(f, A, b, K) の解 𝐱 が存在するための必要十分条件は、ベクトル 𝐲 が存在して (𝐲, 𝐱) が混合補完性問題 MiCP(G, H, K) を満たすことである。ここで G(𝐲, 𝐱) = b - A𝐱 および H(𝐲, 𝐱) = ∇f(𝐱) - Aᵀ𝐲 である。
• 𝐱 の最適性は、A𝐱 = b、𝐱 ∈ K、および ∇f(𝐱) - Aᵀ𝐲 ∈ K* であり、𝐱 ⊥ (∇f(𝐱) - Aᵀ𝐲) であるという条件と等価である。
• 証明はスレイターの条件の下でのKKT定理に依拠しており、厳密に実行可能な点の存在が強い双対性および補完性スラック性の有効性を保証する。
• この等価性は、K の内部がアフィン集合 {x ∈ ℝ^q : Ax = b} と交差することを仮定することで成り立つ。これにより、厳密に実行可能な点の存在が保証される。
• この結果は、非負の直交錐に限らない任意の閉凸錐に対して、古典的な線形計画法の双対性および補完性スラック性を一般化している。