[論文レビュー] A penalization approach to linear programming duality with application to capacity constrained transport

Jonathan Korman, Robert J. McCann+1 more|arXiv (Cornell University)|Sep 12, 2013

Optimization and Variational Analysis参考文献 9被引用数 3

ひとこと要約

本稿は、線形計画法の双対性に対する新しいペナルティに基づくアプローチを提示する。二次的正則化を用いて、原始的解と双対的解の間のアフィン関係を確立する。容量制約付き最適輸送のレヴィの双対性を、制約付き問題をペナルティ付き部分問題の列に近似することで、解と双対ギャップがペナルティパラメータが消えるにつれてゼロに収束することを示すことにより、新たな初等的証明を与える。

ABSTRACT

A new approach to linear programming duality is proposed which relies on quadratic penalization, so that the relation between solutions to the penalized primal and dual problems becomes affine. This yields a new proof of Levin's duality theorem for capacity-constrained optimal transport as an infinite-dimensional application.

研究の動機と目的

• 従来のミニマックスやハーン＝バナッハ定理に基づく抽象的議論を避けて、二次的ペナルティを用いて線形計画法双対性の新しい初等的証明を構築すること。
• ペナルティフレームワークの無限次元的応用として、容量制約付き最適輸送におけるレヴィの双対性定理を確立すること。
• ペナルティパラメータがゼロに近づくにつれて、ペナルティ付き原始的および双対的問題の解が元の最適輸送解に収束することを示すこと。
• 同行の論文の結果とペナルティ法を組み合わせることで、カントロヴィチの双対性の新たな初等的証明を提供すること。
• コンパクトに台を持つ容量制約の下で、極限において双対ギャップが消えることを示し、強い双対性が成立することを保証すること。

提案手法

• 双対変数における二次項を追加することで、容量制約付き最適輸送問題のペナルティ付きバージョンを定義し、周辺制約を緩和する。
• ペナルティ付き双対汎関数を $ J^\varepsilon(u,v,w) = -\langle uf\rangle - \langle vg\rangle + \langle\langle w\overline{h}\rangle\rangle + \varepsilon\|u\|_2^2 + \varepsilon\|v\|_2^2 $ と定義する。ここで $ \varepsilon > 0 $ はペナルティ強度を制御する。
• ペナルティ付き双対問題の解 $ (u_\varepsilon, v_\varepsilon, w_\varepsilon) $ が最適性条件 $ (c + u_\varepsilon + v_\varepsilon - w_\varepsilon)h_\varepsilon \equiv 0 $ および $ w_\varepsilon(\overline{h} - h_\varepsilon) \equiv 0 $ を満たし、補完性により原始的および双対的変数を結びつけることを確立する。
• 原始的解の列 $ \{h_\varepsilon\} $ が $ L^\infty $-弱-*位相において前コンパクトであり、元の問題の最小化子 $ h_0 $ に収束することを証明する。
• ペナルティパラメータ $ \varepsilon \downarrow 0 $ の極限において双対ギャップが消えることを示し、$ \varepsilon\|u_\varepsilon\|_2^2 \to 0 $ および $ \varepsilon\|v_\varepsilon\|_2^2 \to 0 $ が成り立つ。これにより $ \lim_{\varepsilon\downarrow 0} J(u_\varepsilon, v_\varepsilon, w_\varepsilon) = I_c(h_0) $ が保証される。
• 弱-*収束と微分積分学の基本補題を用いて、極限 $ h_0 $ が周辺制約 $ \langle h_0\rangle_x = f $、$ \langle h_0\rangle_y = g $ を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 従来のミニマックスやハーン＝バナッハ定理に基づく証明よりも、二次的ペナルティ法を用いて線形計画法双対性をより初等的に導出できるか？
• RQ2 ペナルティ付き双対問題の解は、ペナルティパラメータ $ \varepsilon \to 0 $ のとき、真の最適輸送計画に収束するか？
• RQ3 このペナルティフレームワークを用いて、コンパクトに台を持つ容量束縛の下で、容量制約付き最適輸送のレヴィの双対性定理を再証明できるか？
• RQ4 ペナルティ形式における双対ギャップの挙動は何か？極限において消えるか？
• RQ5 ペナルティ付き問題における原始的および双対的解の間のアフィン関係は、強い双対性の導出をどのように支援するか？

主な発見

• ペナルティ付き双対汎関数 $ J^\varepsilon $ は $ u $ および $ v $ に関して強い凸性を示し、各 $ \varepsilon > 0 $ に対して一意な解 $ (u_\varepsilon, v_\varepsilon, w_\varepsilon) $ が存在する。
• ペナルティ付き原始的問題の解 $ h_\varepsilon $ は、$ \|f - \langle h_\varepsilon\rangle_x\|_{L^2}^2 + \|g - \langle h_\varepsilon\rangle_y\|_{L^2}^2 \leq 2\varepsilon \langle\langle c\tilde{h}_0\rangle\rangle $ を満たし、$ \varepsilon \to 0 $ のとき周辺分布が $ f $ および $ g $ に収束することを示す。
• 列 $ \{h_\varepsilon\} $ の任意の弱-*収束部分列の極限 $ h_0 $ は、元の容量制約付き最適輸送問題の最小化子である。
• 双対ギャップは極限において消える：$ \lim_{\varepsilon\downarrow 0} \varepsilon\|u_\varepsilon\|_2^2 = 0 $ および $ \lim_{\varepsilon\downarrow 0} \varepsilon\|v_\varepsilon\|_2^2 = 0 $ であり、$ \lim_{\varepsilon\downarrow 0} J(u_\varepsilon, v_\varepsilon, w_\varepsilon) = I_c(h_0) $ が保証される。
• 列 $ \{h_\varepsilon\} $ は $ L^\infty $-弱-*位相において前コンパクトであり、すべての極限点は周辺制約および容量制約を満たす。
• 恒等式 $ J(u_\varepsilon, v_\varepsilon, w_\varepsilon) = I_c(h_\varepsilon) + \varepsilon\|u_\varepsilon\|_2^2 + \varepsilon\|v_\varepsilon\|_2^2 $ により、ペナルティ付き双対値が原始的コストとペナルティ項に結びつき、収束解析が可能になる。