[논문 리뷰] Sharpness of improved Fr\'echet-Hoeffding bounds: an optimal transport approach

Daniel Bartl, Michael Kupper외 2명|arXiv (Cornell University)|2017. 09. 01.

Markov Chains and Monte Carlo Methods참고 문헌 18인용 수 3

한 줄 요약

이 논문은 주어진 귀속과 R^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 상한을 재유도하는 것.
• R^d의 부분집합에서 고정된 값을 갖는 Fréchet 클래스 위의 제약 조건이 있는 운반 문제에 대한 이중 표현을 수립하는 것.
• 개선된 상한이 원래 운반 문제의 유사화된 버전의 이중 최적화자임을 증명하는 것.
• 유사화된 Fréchet 클래스 내에서 개선된 상한의 최적성(sharpness)을 보여주는 것.

제안 방법

• R^d의 부분집합에서 고정된 값을 갖는 Fréchet 클래스 위의 제약 조건이 있는 운반 문제로 문제를 설정하는 것.
• 증가하는 볼록 함수열과 쌍대 이중성 이론을 사용하여 운반 문제의 이중 표현을 수립하는 것.
• 증가하는 볼록 함수열에 대한 일반적 표현 결과를 적용하여 강한 이중성을 증명하는 것.
• 이중 문제에서 개선된 상한 Fréchet--Hoeffding 상한의 타당성을 확인하기 위해 쌍대 함수의 명시적 계산을 수행하는 것.
• 특정 클래스의 목적 함수에 대해 이중 최적화자를 구성하여 상한의 최적성 검증하는 것.
• 개선된 상한이 원래 문제의 이중 최적화자가 아니라 유사화된 문제의 이중 최적화자임을 보여주며, 이는 유사화된 설정 내에서의 최적성 증명하는 것.

실험 결과

연구 질문

• RQ1 개선된 Fréchet--Hoeffding 상한은 최적 운반 프레임워크를 통해 유도될 수 있는가?
• RQ2 R^d의 부분집합에서 고정된 값을 갖는 Fréchet 클래스 위의 제약 조건이 있는 운반 문제에 대해 이중 표현이 존재하는가?
• RQ3 이 제약 조건이 있는 운반 문제에 대해 강한 이중성이 성립하는가? 그리고 쌍대 이중성은 증명에서 어떤 역할을 하는가?
• RQ4 왜 개선된 상한은 원래 문제의 이중 최적화자가 아니며, 유사화된 버전에서는 어떤 역할을 하는가?
• RQ5 유사화된 Fréchet 클래스 내에서 개선된 상한 Fréchet--Hoeffding 상한은 최적인가?

주요 결과

• 개선된 상한이 이중 최적화 문제에서 타당함이 입증되어, 이는 상한의 타당성을 확인한다.
• 증가하는 볼록 함수열에 대한 일반적 표현 결과를 통해 제약 조건이 있는 운반 문제에 대해 강한 이중성이 확립된다.
• 개선된 상한이 원래 문제의 이중 최적화자가 아니며, 이는 원래 문제와 유사화된 문제 간의 구조적 차이를 나타낸다.
• 개선된 상한이 원래 운반 문제의 유사화된 버전의 이중 최적화자임이 증명된다.
• 직접적인 이중 최적화자 구성으로 유사화된 Fréchet 클래스 내에서 개선된 상한의 최적성이 엄밀히 입증된다.
• 증명은 쌍대 함수의 명시적 계산에 의존하며, 이는 유사화된 설정 내에서 상한의 최적성에 대한 근거를 제공한다.