[논문 리뷰] On the Uniqueness of Kantorovich Potentials

Thomas Staudt, Shayan Hundrieser외 1명|arXiv (Cornell University)|2022. 01. 20.

Geometric Analysis and Curvature Flows인용 수 7

한 줄 요약

이 논문은 원천 측도와 목적지 측도의 지지부가 모두 비연결일지라도 코시에르비치 잠재함수의 유일성을 보장하는 약한 충분조건을 설정한다. 이는 오랫동안 지지부가 연결되어 있어야 한다는 가정에 도전하는 것이다. 유도된 정규성과 c-변환의 비퇴화성 및 연속성을 도입함으로써, 저자들은 잠재함수가 거의 확실히 상수항을 제외하고 유일하게 결정됨을 증명하며, 고전적 결과를 일반적인 비용 함수와 지오데식 공간으로 확장한다.

ABSTRACT

Kantorovich potentials denote the dual solutions of the renowned optimal transportation problem. Uniqueness of these solutions is relevant from both a theoretical and an algorithmic point of view, and has recently emerged as a necessary condition for asymptotic results in the context of statistical and entropic optimal transport. In this work, we challenge the common perception that uniqueness in continuous settings is reliant on the connectedness of the support of at least one of the involved measures, and we provide mild sufficient conditions for uniqueness even when both measures have disconnected support. Since our main finding builds upon the uniqueness of Kantorovich potentials on connected components, we revisit the corresponding arguments and provide generalizations of well-known results. To this end, we introduce the notion of induced regularity and employ it to extend the regularity theory of Kantorovich potentials advanced by Gangbo and McCann (1996) to more general cost functions in $\mathbb{R}^d$ and to geodesic spaces.

연구 동기 및 목표

• . 논문은 오랫동안 지속된 가정인 코시에르비치 잠재함수의 유일성을 위해 지지부가 연결되어 있어야 한다는 것을 다루고 있다.
• 지지부가 비연결일 경우에도 연속적인 설정에서 잠재함수의 유일성이 보장될 수 있는지 조사하고자 한다.
• 정규성과 비퇴화성 조건을 이용해 지지부가 연결되어 있지 않은 경우에도 유일성 결과를 일반화하고자 한다.
• 선형계획법에서의 유한공간 유일성 결과와 연속적인 최적 운반 이론을 연결하고자 한다.
• 통계적 및 엔트로픽 최적 운반 이론에서 실용적이고 검증 가능한 유일성 조건을 제공하고자 한다.

제안 방법

• . 저자들은 표준 비용 함수를 초월한 코시에르비치 잠재함수의 정규성 이론을 확장하기 위해 '유도된 정규성'의 개념을 도입한다.
• 만약 어떤 코시에르비치 잠재함수의 c-변환이 목적지 측도의 지지부에서 연속이라면, 그 유일성이 확립됨을 증명한다.
• 증명은 최적 운반 계획을 통해 원천 측도의 연결된 성분들이 목적지 지지부의 공통 접촉점들을 통해 연결됨을 이용한다.
• 적은 부분집합에 대해 질량 할당이 다를 때 정의되는 측도의 비퇴화성은 서로 다른 성분에 대한 잠재함수들이 유일하게 관련되어 있음을 보장한다.
• 이 방법은 갱보와 매카너(1996)의 결과를 지오데식 공간과 더 일반적인 비용 함수로 일반화한다.
• 저자들은 지지부의 닫힌 집합과 연결성에 관한 위상적 추론을 사용하여, 연결된 성분들이 공통된 잠재함수 차이를 가져야 하며, 이는 유일성을 강제함을 보여준다.

실험 결과

연구 질문

• RQ1 . 원천 측도와 목적지 측도의 지지부가 모두 비연결일 경우 연속적인 최적 운반 이론에서 코시에르비치 잠재함수의 유일성이 보장될 수 있는가?
• RQ2 지지부가 연결되어 있지 않을 경우, 코시에르비치 잠재함수의 유일성을 보장하는 조건은 무엇인가?
• RQ3 선형계획법에서의 유한공간 유일성 결과는 어떻게 연속적인 설정으로 확장될 수 있는가?
• RQ4 c-변환의 연속성이 잠재함수의 유일성을 강제하는 데 어떤 역할을 하는가?
• RQ5 측도의 비퇴화성이 비연결 설정에서도 여전히 유일성에 충분한 조건이 될 수 있는가?

주요 결과

• . 논문은 c-변환이 ν의 지지부에서 연속일 경우, 코시에르비치 잠재함수가 거의 확실히 상수항을 제외하고 유일하게 결정됨을 증명한다.
• 유일성은 연속성 f^c가 supp(ν)에서 연속, μ와 ν의 비퇴화성, 각 연결된 성분 내에서의 유일성이라는 온건한 조건 하에서 성립한다.
• 저자들은 비퇴화성이 서로 다른 성분 간의 잠재함수들을 연결함으로써 독립적인 상수 이동을 방지함을 보여준다.
• 가чёт 인덱스 집합의 경우, 영 측도 성분과 증명에서 닫혀 있지 않은 집합을 다루기 위해 수정을 통해 결과가 확장된다.
• 이 이론은 R^d와 지오데식 공간에서의 일반적인 비용 함수에 적용되며, 갱보와 매카너(1996)의 이전 결과를 일반화한다.
• 이 작업는 통계적 및 엔트로픽 최적 운반 이론에서 유일성 검증을 위한 구조적 프레임워크를 제공하며, 이러한 조건은 점근적 결과에 필수적이다.