论文标题
超越离散措施的多界最佳运输的可行和最佳解决方案的数值方法
Numerical method for feasible and approximately optimal solutions of multi-marginal optimal transport beyond discrete measures
论文作者
论文摘要
我们提出了一种用于计算多 - 差距最佳运输(MMOT)问题的数值算法,该问题涉及不一定是离散的一般概率度量。通过开发一种放松方案,在该方案中,边缘约束被有限的线性约束所取代,并通过证明这种设置的特定量身定制的二元性结果,我们通过线性半i-Infinite优化问题近似MMOT问题。此外,我们能够恢复MMOT问题的可行且大致最佳的解决方案,并且可以控制其亚临时性在轻度条件下任意接近0。开发的松弛方案导致了一种数值算法,该算法可以计算MMOT问题的可行近似优化器,该算法可以选择其理论亚典型性任意小。除了近似优化器外,该算法还能够计算上界和下限,以达到MMOT问题的最佳值。计算边界之间的差异为计算的近似优化器提供了明确的亚典型性。我们证明了三个数值实验中提出的算法,涉及源于流体动力学,Wasserstein Barycenter问题以及100个边缘的大规模MMOT问题。我们观察到,我们的算法能够计算这些MMOT问题的高质量解决方案,并且在所有实验中,计算出的亚选界比其理论上限的保守性要差得多。
We propose a numerical algorithm for the computation of multi-marginal optimal transport (MMOT) problems involving general probability measures that are not necessarily discrete. By developing a relaxation scheme in which marginal constraints are replaced by finitely many linear constraints and by proving a specifically tailored duality result for this setting, we approximate the MMOT problem by a linear semi-infinite optimization problem. Moreover, we are able to recover a feasible and approximately optimal solution of the MMOT problem, and its sub-optimality can be controlled to be arbitrarily close to 0 under mild conditions. The developed relaxation scheme leads to a numerical algorithm which can compute a feasible approximate optimizer of the MMOT problem whose theoretical sub-optimality can be chosen to be arbitrarily small. Besides the approximate optimizer, the algorithm is also able to compute both an upper bound and a lower bound for the optimal value of the MMOT problem. The difference between the computed bounds provides an explicit sub-optimality bound for the computed approximate optimizer. We demonstrate the proposed algorithm in three numerical experiments involving an MMOT problem that stems from fluid dynamics, the Wasserstein barycenter problem, and a large-scale MMOT problem with 100 marginals. We observe that our algorithm is capable of computing high-quality solutions of these MMOT problems and the computed sub-optimality bounds are much less conservative than their theoretical upper bounds in all the experiments.