[论文解读] Quasi-sure duality for multi-dimensional martingale optimal transport

Hadrien De March|arXiv (Cornell University)|May 4, 2018

Markov Chains and Monte Carlo Methods参考文献 18被引用 11

一句话总结

本文通过将 De March 与 Touzi（2018）提出的不可约铺砌框架推广至一维、二维和三维，在目标测度关于勒贝格测度绝对连续的条件下，建立了多维局部鞅最优传输的准必然对偶性。该研究证明了在不可约分量上的逐点对偶性、问题的分解方法，以及多维局部鞅单调性原理，其结果在连续统假设下普遍成立，或在低维情形下于正则性条件下成立。

ABSTRACT

Based on the multidimensional irreducible paving of De March & Touzi, we provide a multi-dimensional version of the quasi sure duality for the martingale optimal transport problem, thus extending the result of Beiglböck, Nutz & Touzi. Similar, we also prove a disintegration result which states a natural decomposition of the martingale optimal transport problem on the irreducible components, with pointwise duality verified on each component. As another contribution, we extend the martingale monotonicity principle to the present multi-dimensional setting. Our results hold in dimensions 1, 2, and 3 provided that the target measure is dominated by the Lebesgue measure. More generally, our results hold in any dimension under an assumption which is implied by the Continuum Hypothesis. Finally, in contrast with the one-dimensional setting of Beiglböck, Lim & Obloj, we provide an example which illustrates that the smoothness of the coupling function does not imply that pointwise duality holds for compactly supported measures.

研究动机与目标

• 将 Beiglböck、Nutz 与 Touzi（2017）提出的准必然对偶性框架扩展至多维局部鞅最优传输问题。
• 通过多维不可约铺砌识别出的不可约分量，建立局部鞅最优传输问题的分解。
• 将局部鞅单调性原理推广至高维情形。
• 明确在多维设定下逐点对偶性成立的条件，尤其与一维结果进行对比。
• 研究基础集合论假设（如连续统假设）在高维中促成对偶性结果的作用。

提出的方法

• 利用 De March 与 Touzi（2018）提出的多维不可约铺砌构造，将状态空间分解为不可约分量，以便在局部分析局部鞅传输。
• 应用中位极限——定义在有界序列上的非线性、平移不变泛函——构造准必然对偶解，利用其普遍可测性与测度线性性质。
• 采用分解论证，将局部鞅传输问题分解为每个不可约分量上的独立子问题，并在每个子问题上逐点验证对偶性。
• 通过分析凸函数及其在不可约分量内支撑的仿射包络上的行为，建立多维局部鞅单调性原理。
• 利用 Hahn-Banach 定理与 Jensen 不等式，将凸序条件 μ ≼ ν 表征为局部鞅耦合存在的必要且充分条件。
• 依赖中位极限的存在性，该存在性由 Martin 公理与连续统假设所蕴含，以确保在一般维度下对偶最优解的存在。

实验结果

研究问题

• RQ1 局部鞅最优传输的准必然对偶性是否可扩展至一维以上的多维设定？
• RQ2 在高维情形下，局部鞅最优传输问题是否可分解为不可约分量上的独立子问题？
• RQ3 在多维局部鞅最优传输中，逐点对偶性在何种条件下成立？在何种情况下即使耦合函数光滑，对偶性也可能不成立？
• RQ4 如何将局部鞅单调性原理推广至具有非平凡几何结构的多维设定？
• RQ5 为确保任意维度下的对偶性结果，需依赖哪些基础集合论假设（如连续统假设）？”

主要发现

• 当目标测度 ν 关于勒贝格测度绝对连续时，准必然对偶性在维度 1、2 和 3 中成立。
• 局部鞅最优传输问题可分解为不可约分量上的独立子问题，且在每个分量上已逐点验证对偶性。
• 建立了多维局部鞅单调性原理，将一维版本推广至高维。
• 本文提供了一个反例，表明即使耦合函数光滑，对于紧支集测度，其在高维中也不保证逐点对偶性。
• 中位极限的存在性（由连续统假设所蕴含）确保了在任意维度下对偶性结果的有效性，即使勒贝格支配条件不成立。
• 该构造依赖中位极限定义一个普遍对偶解，极限算子保持测度线性性，从而在弱正则性假设下实现对偶性证明。