[論文レビュー] Connections between Optimal Transport, Combinatorial Optimization and Hydrodynamics

Yann Brenier|arXiv (Cornell University)|Oct 1, 2014

Geometric Analysis and Curvature Flows参考文献 24被引用数 4

ひとこと要約

本稿は、組合せ最適化におけるNP困難な2次割当問題（QAP）と、非圧縮2次元オイラー方程式の定常解との間で、一般化された散乱解概念を用いた勾配流フレームワークを通じて、新しい関係を確立する。時間依存の圧力なし流体モデルを用いた輸送方程式を導入し、最適輸送と流体力学的原理を組み合わせた変分的アプローチにより、これらの解の全域的存在と一意性を証明する。

ABSTRACT

There are well-established connections between combinatorial optimization, optimal transport theory and Hydrodynamics, through the linear assignment problem in combinatorics, the Monge-Kantorovich problem in optimal transport theory and the model of inviscid, potential, pressure-less fluids in Hydrodynamics. Here, we consider the more challenging quadratic assignment problem (which is NP, while the linear assignment problem is just P) and find, in some particular case, a correspondence with the problem of finding stationary solutions of Euler's equations for incompressible fluids. For that purpose, we introduce and analyze a suitable "gradient flow" equation. Combining some ideas of P.-L. Lions (for the Euler equations) and Ambrosio-Gigli-Savar\\'e (for the heat equation), we provide for the initial value problem a concept of generalized "dissipative" solutions which always exist globally in time and are unique whenever theyare smooth.

研究の動機と目的

• NP困難な2次割当問題（QAP）と2次元非圧縮オイラー方程式の定常解との間の対応関係を確立すること。
• 全域的存在と一意性を保証する、流体力学的勾配流系に対する一般化された「散乱」解の概念を構築すること。
• 最適輸送理論、組合せ最適化、流体力学を統合するために、発散なし速度場を保ちつつ初期データの法則を保存する時間発展輸送方程式を定式化すること。
• 固定法則制約下でのディリクレエネルギーの最小化が、離散的QAPに一致することを証明することで、連続的流体力学と離散的組合せ問題を結びつけること。

提案手法

• 発散なし速度場 $ v $ と $ L^2 $ ベクトル場への $ P $-射影を備えた勾配流方程式 $ \partial_t\phi + \nabla\cdot(\phi v) = 0 $ を定式化し、$ v $ が凸汎関数 $ K $ の部分勾配によって駆動されることを仮定する。
• 相対エントロピー項 $ \eta_K[v_t, \omega_t] $ を含む変分不等式と散乱不等式 (5.1) を用いて、散乱解概念を導入し、全域的存在を保証する。
• 不規則なベクトル場に対する DiPerna-Lions 理論を用い、$ v $ の弱い正則性にもかかわらず $ \phi $ の法則が保存されることを保証する。
• Legendre-Fenchel変換を適用し、双対変数を関連づけ、最適性条件 $ v_t = K^{*\prime}[G_t] $ を導出する。ここで $ G_t = P(E'[\phi_t]\nabla\phi_t) $ である。
• 流体力学的問題を格子上に離散化し、固定法則下でのディリクレエネルギー最小化が、コスト行列 $ c(i,j) = |\phi_0(A_i) - \phi_0(A_j)|^2 $ を持つQAPに帰着することを示す。
• 一様なバウンディングとコンパクトネスを保証するため、$ K_{M,\varepsilon}(v) = K(v) + \varepsilon\|\nabla_M v\|^2 $ を用いた滑らか化近似スキームを採用し、弱位相における極限への移行を可能にする。

実験結果

リサーチクエスチョン

• RQ1 NP困難な2次割当問題（QAP）は、2次元非圧縮オイラー方程式の定常解と結びつけることができるか？
• RQ2 全域的存在と一意性を保証する、流体力学的勾配流系に対する一般化された散乱解概念は存在するか？
• RQ3 スカラー場 $ \phi $ の法則が、正則性に欠ける場合でも発散なし速度場を介して時間発展で保存される仕組みは何か？
• RQ4 相対エントロピー $ \eta_K[v_t, \omega_t] $ は、ディリクレエネルギーの最小化への勾配流の安定性と収束性を保証するために果たす役割は何か？
• RQ5 流体力学的最小化問題の離散版は、幾何的コスト行列 $ c(i,j) = |\phi_0(A_i) - \phi_0(A_j)|^2 $ を持つQAPをどの程度回復するか？

主な発見

• 任意の有限ディリクレ積分を持つ初期データに対して、$ D = T^d $ の場合、流体力学的勾配流系 (3.1, 5.1, 5.2) に対して全域的散乱解が存在する。
• 解概念により、$ v $ が $ L^1 $ かつ空間的変動が有界である場合でさえも、すべての $ t \geq 0 $ で $ \phi_t $ の法則が保存されることを保証する。
• 固定法則制約下でのディリクレエネルギーの最小化は、コスト行列 $ c(i,j) = |\phi_0(A_i) - \phi_0(A_j)|^2 $ を持つ離散的QAPに正確に一致する。
• 散乱解概念はBenamou-Brenierの公式と整合しており、非線形的かつ非凸的設定への最適輸送フレームワークの拡張を実現する。
• 証明は、$ K_{M,\varepsilon}(v) = K(v) + \varepsilon\|\nabla_M v\|^2 $ を用いた滑らか化近似スキームに依存しており、弱位相における一様バウンディングとコンパクトネスを保証する。
• 主要な不等式 (5.10) は、散乱条件の下で、解と参照勾配場 $ \beta_t $ 間の距離が減少することを示しており、滑らかな場合の安定性と一意性を証明する。