[论文解读] On a solution to the Monge transport problem on the real line arising from the strictly concave case

Nicolas Juillet|arXiv (Cornell University)|Jul 1, 2019

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

一句话总结

本文引入了'穿越耦合'（excursion coupling）作为实线上Monge最优传输问题在临界情形 $p=1$ 的唯一解，该解通过 $L^p$ 传输问题在 $p\to 1^{-}$ 时的极限获得。它通过传输路径的单调性、$L^q$ 类型次级成本的最小化，以及基于累积分布函数差值的几何构造来刻画此解，从而解决了经典 $L^1$ 情形下的非唯一性问题。

ABSTRACT

It is well-known that the optimal transport problem on the real line for the classical distance cost may not have a unique solution. In this paper we recover uniqueness by considering the transport problems where the costs are a power smaller than one of the distance, and letting this parameter tend to one. A complete construction of this solution that we call excursion coupling is given. This is reminiscent to the one in the convex case. It is also characterized as the solution of secondary transport problems. Moreover, a combinatoric/geometric characterization of the routes used for this transport plan is provided.

研究动机与目标

• 解决实线上 $p=1$ 时Monge最优传输问题的非唯一性问题，因为经典 $L^1$ 成本无法产生唯一解。
• 通过取 $L^p$ 传输问题在 $p \to 1^{-}$ 时的极限，构造一个规范解——称为穿越耦合，即从严格凹区域出发。
• 通过传输路径的单调性、次级 $L^q$ 成本的最小化，以及基于累积分布函数差值的几何构造来刻画此解。
• 建立该解与随机过程（如布朗运动的首次 hitting 与局部时理论）之间的联系，提示其在几何与概率传输中的更广泛应用。

提出的方法

• 在 $\mathbf{R}$ 上定义 $L^p$ 传输问题，成本为 $|y - x|^p$，并考虑当 $p \to 1^{-}$ 时的极限，以恢复唯一性。
• 将穿越耦合作为 $p_n < 1$ 且 $p_n \to 1$ 时最优计划的极限来构造，确保在测度的弱拓扑下收敛。
• 通过单调性刻画解：传输路径（弧线）不交叉、不连接，且嵌套时方向一致。
• 使用次级优化问题：穿越耦合在所有 $L^1$-最优计划中最小化 $\iint |y - x|^q \, d\pi(x,y)$，其中 $q \in (0,1)$。
• 几何上通过函数 $F^* = (F_\mu - F_\nu)^*$ 定义耦合，其中 $F_\mu, F_\nu$ 为累积分布函数，并将传输路径识别为该函数的等值集。
• 建立概率解释：穿越耦合对应于带随机时间偏移的布朗运动嵌入，最小化 $\mathbb{E}[\varphi(T)]$（$ \varphi$ 为凹函数），并通过 Meyer–Tanaka 公式与局部时间建立联系。

实验结果

研究问题

• RQ1 能否在实线上恢复 $L^1$ Monge 传输问题的唯一解，该问题已知缺乏唯一性？
• RQ2 当 $p \to 1^{-}$ 时，$L^p$ 最优传输计划的极限行为如何？该极限是否产生一个规范解？
• RQ3 穿越耦合能否通过非交叉、非连接且方向一致的传输路径，从几何与组合角度进行刻画？
• RQ4 穿越耦合是否是所有 $L^1$-最优计划中 $\iint |y - x|^q \, d\pi(x,y)$ 的唯一最小化者，其中 $q \in (0,1)$？
• RQ5 穿越耦合能否被解释为基于累积分布函数差值构造的树上的随机过程，且长度测度为自然概率测度？

主要发现

• 穿越耦合是 $L^p$-最优传输计划在 $p \to 1^{-}$ 时的唯一极限，解决了 $L^1$ 情形下的非唯一性问题。
• 该解被刻画为唯一满足 $L^1$-最优性且最小化次级成本 $\iint |y - x|^q \, d\pi(x,y)$ 的计划，对任意 $q \in (0,1)$ 成立。
• 穿越耦合中的传输路径不交叉、不连接，且嵌套时方向一致，确保了单调性。
• 该耦合由函数 $F^* = (F_\mu - F_\nu)^*$ 生成，传输发生在该函数的等值集上，可解释为‘穿越’。
• 该解对应于带随机时间偏移的布朗运动的概率嵌入，最小化 $\mathbb{E}[\varphi(T)]$（$ \varphi$ 为凹函数），并与随机分析建立联系。
• 该构造推广了量化耦合（在 $p \to 1^{+}$ 时出现），提示在最优传输中 $p \to 1^{-}$ 与 $p \to 1^{+}$ 极限之间存在对偶性。