[논문 리뷰] A Theory of Transfers: Duality and convolution

Malcolm Bowles, Nassif Ghoussoub|arXiv (Cornell University)|2018. 04. 23.

Geometric Analysis and Curvature Flows참고 문헌 28인용 수 8

한 줄 요약

이 논문은 최적 운반, 약한 운반, 확률적 과정을 일반화하는 선형 및 볼록 전이에 대한 통합 이론을 제안한다. 쌍대성 공식을 수립하고, 효과적 전이와 쌍대 칸토로비치 연산자를 정의하며, 약한 KAM 이론을 확률적 설정으로 확장하여 전이 부등식과 일반화된 페일러스 장벽을 통한 수렴에 관한 핵심 결과를 도출한다.

ABSTRACT

We introduce and study the permanence properties of the class of linear transfers between probability measures. This class contains all cost minimizing mass transports, but also martingale mass transports, the Schrodinger bridge associated to a reversible Markov process, and the weak mass transports of Tala- grand, Marton, Gozlan and others. The class also includes various stochastic mass transports to which Monge-Kantorovich theory does not apply. We also introduce the cone of convex transfers, which include any p-power (p > 1) of a linear transfer, but also the logarithmic entropy, the Donsker-Varadhan infor- mation and certain free energy functionals. This first paper is mostly about exhibiting examples that point to the pervasiveness of the concept in the important work on correlating probability distributions. Duality formulae for general transfer inequalities follow in a very natural way. We also study the infinite self-convolution of a linear transfer in order to establish the existence of generalized weak KAM solutions that could be applied to the stochastic counterpart of Fathi-Mather theory.

연구 동기 및 목표

• 최적 운반, 약한 운반, 확률적 과정, 엔트로피 함수 등 다양한 운반 유형 문제를 단일 이론적 프레임워크로 통합하는 것.
• 전통적인 몽게-칸토로비치 이론을 초월하여, 비비용 최소화 및 비대칭 문제에 적용 가능한 전이에 대한 쌍대성 이론을 개발하는 것.
• 효과적 전이와 쌍대 연산자를 통해 약한 KAM 이론을 확률적 및 볼록 설정으로 일반화하는 것.
• 일반화된 페일러스 장벽과 점근적 합성의 활용을 통해 전이 부등식과 수렴 결과를 수립하는 것.

제안 방법

• 확률 측도 위의 함수성으로서 선형 전이를 도입하여, 비용 최소화 운반을 일반화하고, 마틴게일, 스토로코홀드, 슈뢰딩거 다리 문제를 포함한다.
• 전이의 점근적 합성을 통해 효과적 전이(일반화된 페일러스 장벽)와 쌍대 칸토로비치 연산자를 정의한다.
• 쌍대성 이론을 적용하여 볼록 전이와 후행 완전 볼록 전이 간의 부등식을 유도하며, 보브코프-고츠 및 모레이 유형 결과를 확장한다.
• 약한* 연속성과 볼록성을 활용하여 측도 및 전이 수열의 수렴을 증명하고 고정점 존재성을 확립한다.
• 푸시포워드 사상과 연속 동역학에 이 те올리를 적용하여, $ T^\infty f = f \circ \sigma^\infty $ 를 도출하며, 여기서 $ \sigma^\infty $ 는 반복적 사상의 극한이다.
• $ \mathcal{T}_\infty = \mathcal{T}_\infty * \mathcal{T}_\infty $ 를 증명하여, 불변 측도에 대해 $ \mathcal{T}_\infty(\bar{\sigma}, \bar{\sigma}) = 0 $ 임을 보이며, 이는 고정점과의 연관성을 나타낸다.

실험 결과

연구 질문

• RQ1 전통적인 몽게-칸토로비치 이론을 초월하여, 확률적 및 비비용 최소화 문제를 포함한 다양한 운반 문제를 통합적 프레임워크로 묘사할 수 있는 방법은 무엇인가?
• RQ2 일반 선형 및 볼록 전이에 대해 나타나는 쌍대성 구조는 무엇이며, 보브코프-고츠 및 모레이 유형 부등식을 어떻게 일반화하는가?
• RQ3 효과적 전이와 쌍대 연산자를 통해 약한 KAM 이론을 확률적 설정으로 일반화할 수 있는가?
• RQ4 일반화된 페일러스 장벽은 불변 측도와 전이 수열의 수렴을 특성화하는 데 어떤 역할을 하는가?
• RQ5 푸시포워드 사상과 반복 동역학은 전이의 점근적 행동과 그 쌍대 연산자와 어떻게 관련이 있는가?

주요 결과

• 선형 전이의 클래스는 비용 최소화 운반, 마틴게일 전이, 스토로코홀드 임베딩, 슈뢰딩거 브리지 문제를 포함하여 다양한 운반 문제를 통합한다.
• 전이 부등식에 대한 쌍대성 공식이 자연스럽게 도출되며, 보브코프-고츠, 고즐란-레온드, 모레이의 결과를 일반화한다.
• 효과적 전이 $ \mathcal{T}_\infty $ 는 $ \mathcal{T}_\infty = \mathcal{T}_\infty * \mathcal{T}_\infty $ 를 만족하며, 이는 불변 측도 $ \bar{\sigma} $ 에 대해 $ \mathcal{T}_\infty(\bar{\sigma}, \bar{\sigma}) = 0 $ 임을 의미하여 고정점을 특성화한다.
• 푸시포워드 전이의 경우, 쌍대 연산자 $ T^\infty f = f \circ \sigma^\infty $ 를 만족하며, 여기서 $ \sigma^\infty $ 는 반복적 사상의 $ \limsup $ 이다. 이는 비연속일 경우에도 성립한다.
• 이론적으로 $ \mathcal{T}_\infty(\mu, \nu) \geq \mathcal{T}_\infty(\mu, \bar{\sigma}) + \mathcal{T}_\infty(\bar{\sigma}, \nu) $ 를 증명하며, 극한에서 등호가 성립함을 보여 수렴이 불변 구조로 이어짐을 입증한다.
• 전이의 볼록 쌍대체는 $ p $-거듭제곱 전이, 로그 엔트로피, 도네스커-바라다한 정보, 평균장 계획을 포함하여 광범위한 적용 가능성을 보인다.