[論文レビュー] 60 years of cyclic monotonicity: a survey

Luigi De Pascale, Anna Kausamo+1 more|arXiv (Cornell University)|Aug 15, 2023

Geometry and complex manifoldsMathematics被引用数 3

ひとこと要約

本調査は、過去60年間における循環単調性の包括的概要を提供し、凸解析および最適輸送理論におけるその基盤的役割に焦点を当てる。c-循環単調性がモンジュ＝カンタロヴィチ輸送問題における最適性を特徴づけることを確立しており、ロッカフェラーの定理により、任意の最大循環単調集合が凸関数の劣微分として現れることを示しており、幾何的最適性と凸双対性を結びつける。

ABSTRACT

The primary purpose of this note is to provide an instructional summary of the state of the art regarding cyclic monotonicity and related notions. We will also present how these notions are tied to optimality in the optimal transport (or Monge-Kantorovich) problem.

研究の動機と目的

• 循環単調性および関連概念における最新状況を教育的・統合的にまとめること。
• モンジュ＝カンタロヴィチ最適輸送問題における循環単調性と最適性の関係を明確にすること。
• 循環単調性の歴史的発展および主な一般化、特にc-循環単調性を提示すること。
• L^1およびL^∞の設定において、c-循環単調性と輸送計画の最適性との等価性を確立すること。

提案手法

• 任意の有限部分集合Γ ⊂ X×Yおよびすべての置換σに対して、不等式∑⟨x_i - x_{σ(i)}, y_i⟩ ≥ 0を用いた循環単調性の定義。
• 凸関数の劣微分が循環単調であることを証明し、逆に任意の循環単調集合がある凸関数の劣微分に含まれることを示す（ロッカフェラーの定理）。
• 一般のコスト関数cに対するc-循環単調性の導入。特に二乗コストの場合の一般化。
• 測度の離散近似を用いて、有理数係数から実数係数への結果の拡張。整数行列の核における有理数解の稠密性を活用。
• 輸送コストの置換に基づく比較を用いて、背理法により最適性を証明：計画がc-循環単調でなければ、より良い計画が存在する。
• 同じ周辺測度を持つ等価な離散測度を構築し、それらの総コストを比較することにより、多マージナル最適輸送問題への結果の拡張。

実験結果

リサーチクエスチョン

• RQ1 循環単調性は、凸関数の劣微分をどのように特徴づけ、この文脈における最大性の意義は何か？
• RQ2 モンジュ＝カンタロヴィチ輸送問題において、c-循環単調性と最適性の正確な関係は何か？
• RQ3 二乗コストを超えて、任意のコスト関数cに対して、循環単調性の概念をどのように一般化できるか？
• RQ4 多マージナル輸送において、c-循環単調性はどのように輸送計画の最適性を保証するか？
• RQ5 有理数係数の離散測度に関する結果を、一般の実数値測度へ拡張できるか？

主な発見

• ロッカフェラーの定理により、任意の最大循環単調集合が凸関数の劣微分として現れることを示し、完全な特徴づけが得られる。
• 集合Γ ⊂ X×Yが循環単調であることは、すべての置換σに対して∑‖x_i - y_i‖² ≤ ∑‖x_i - y_{σ(i)}‖²が成り立つことと同値であり、これは二乗コストに関連する。
• L^1およびL^∞の両設定において、c-循環単調性は、ケンタロヴィチ形式の最適輸送問題における最適性と同値である。
• 任意の有限最適輸送計画γに対して、γの台集合はc-循環単調でなければならない。そうでなければ、置換によりより良い計画が構成可能である。
• 証明技法は、一般測度を有理数係数の離散測度で近似し、整数行列の核における有理数解の稠密性を活用している。
• 結果は一般の位相線形空間において成り立ち、N ≥ 2個の周辺測度を持つ多マージナル輸送へも拡張可能である。