[论文解读] 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-循环单调性表征了Monge-Kantorovich传输问题中的最优性，Rockafellar定理证明了任意极大循环单调集均可表示为某个凸函数的次微分，从而将几何最优性与凸对偶性联系起来。

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.

研究动机与目标

• 提供循环单调性及相关概念最新研究进展的教学性综合分析。
• 阐明循环单调性与Monge-Kantorovich最优传输问题中最优性之间的关系。
• 呈现循环单调性的历史发展及关键推广，包括c-循环单调性。
• 建立c-循环单调性与L^1和L^∞设定下传输计划最优性之间的等价性。

提出的方法

• 通过不等式 ∑⟨x_i - x_{σ(i)}, y_i⟩ ≥ 0 对所有排列σ及集合Γ ⊂ X×Y的有限子集进行循环单调性的定义。
• 证明凸函数的次微分是循环单调的，且反之，任意循环单调集均包含于某个凸函数的次微分中（Rockafellar定理）。
• 针对一般代价函数c引入c-循环单调性，推广了二次代价情形。
• 通过测度的离散逼近将结果从有理系数推广至实系数，利用整数矩阵核中理性解的稠密性。
• 采用基于排列的传输代价比较方法，通过反证法证明最优性：若某计划非c-循环单调，则存在更优计划。
• 通过构造具有相同边缘测度的等价离散测度，将结果推广至多边际最优传输问题，并比较其总代价。

实验结果

研究问题

• RQ1 循环单调性如何表征凸函数的次微分？在此背景下，极大性的意义是什么？
• RQ2 c-循环单调性与Monge-Kantorovich传输问题中最优性之间的精确关系是什么？
• RQ3 循环单调性概念如何从二次代价推广至任意代价函数c？
• RQ4 在多边际传输中，c-循环单调性如何确保传输计划的最优性？
• RQ5 针对具有有理系数的离散测度所得结果能否推广至一般实值测度？

主要发现

• Rockafellar定理确立了每个极大循环单调集均为某凸函数的次微分，提供了完全表征。
• 集合Γ ⊂ X×Y为循环单调的充分必要条件是：对所有排列σ，有∑‖x_i - y_i‖² ≤ ∑‖x_i - y_{σ(i)}‖²，这将该概念与二次代价联系起来。
• 在L^1和L^∞代价下，c-循环单调性与Kantorovich形式化最优传输问题中的最优性等价。
• 对于任意有限最优传输计划γ，其支撑集必须为c-循环单调的，否则可通过排列构造出更优计划。
• 证明技术依赖于用有理系数离散测度逼近一般测度，利用有理解在整数矩阵核中的稠密性。
• 结果适用于一般拓扑向量空间，并可推广至N ≥ 2个边际的多边际传输问题。