[论文解读] Sharpness of improved Fr\'echet-Hoeffding bounds: an optimal transport approach

Daniel Bartl, Michael Kupper+2 more|arXiv (Cornell University)|Sep 1, 2017

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

一句话总结

本文通过最优传输理论推导了在给定分布边际及在 ℝ^d 的子集上指定取值条件下，改进的 Fréchet--Hoeffding 上界。通过建立一个约束传输问题的强对偶性，并将改进的上界识别为一个松弛问题的对偶最优解，作者证明了该上界在松弛的 Fréchet 类中是精确的。

ABSTRACT

The improved Fr\'echet--Hoeffding bounds are ad-hoc estimates on the Fr\'echet class of probability distributions with given marginals and prescribed values on a subset of R d . Using an optimal transport approach, we first provide an alternative derivation of the improved upper bound. To this end, we establish a dual representation of a constrained transport problem over distributions in the aforementioned Fr\'echet class and show that the improved upper Fr\'echet--Hoeffding bound belongs to the class of admissible functions for the dual optimization problem. The proof of strong duality is based on a general representation result for increasing convex functionals and the explicit computation of the conjugates. We show further that the improved upper Fr\'echet--Hoeffding bound is not the dual optimizer of this transport problem. In turn we prove that the improved upper bound is the dual optimizer of a relaxed version of the initial transport problem, thus proving sharpness of the improved upper Fr\'echet--Hoeffding bound for the relaxed Fr\'echet class. This is achieved by direct construction of the dual optimizers for a certain class of objective functions.

研究动机与目标

• 通过最优传输理论重新推导改进的 Fréchet--Hoeffding 上界。
• 为在 ℝ^d 的子集上具有固定取值的 Fréchet 类上的约束传输问题建立对偶表示。
• 证明改进的上界是原始传输问题的松弛版本的对偶最优解。
• 展示改进的上界在松弛的 Fréchet 类中具有精确性。

提出的方法

• 将问题表述为在 ℝ^d 的子集上具有固定取值的 Fréchet 类上的约束最优传输问题。
• 利用递增凸泛函和共轭对偶性，建立传输问题的对偶表示。
• 应用递增凸泛函的一般表示结果，以证明强对偶性。
• 显式计算共轭函数，以验证改进的上界 Fréchet--Hoeffding 上界在对偶问题中的可容许性。
• 为特定类别的目标函数构造对偶最优解，以验证该上界的最优性。
• 证明改进的上界并非原始问题的对偶最优解，而是松弛版本的对偶最优解，从而在松弛设定下证明其精确性。

实验结果

研究问题

• RQ1 能否通过最优传输框架推导出改进的 Fréchet--Hoeffding 上界？
• RQ2 在 ℝ^d 的子集上具有固定取值的 Fréchet 类上，约束传输问题是否存在对偶表示？
• RQ3 该约束传输问题是否满足强对偶性？共轭对偶性在证明中起什么作用？
• RQ4 为何改进的上界不是原始问题的对偶最优解？它在松弛版本中起什么作用？
• RQ5 改进的上界 Fréchet--Hoeffding 上界对于松弛的 Fréchet 类是否具有精确性？

主要发现

• 改进的上界 Fréchet--Hoeffding 上界在对偶优化问题中被证明是可容许的，从而确认了其作为上界的正确性。
• 通过递增凸泛函的一般表示结果，建立了约束传输问题的强对偶性。
• 改进的上界并非原始问题的对偶最优解，表明原始与松弛公式之间存在结构性差异。
• 证明了改进的上界是原始传输问题松弛版本的对偶最优解。
• 通过直接构造对偶最优解，严格证明了改进上界在松弛 Fréchet 类中的精确性。
• 该证明依赖于共轭函数的显式计算，并展示了该上界在松弛设定下的最优性。