[论文解读] Markov Operators, Transport Plans and Transfunctions

Jason Bentley, Piotr Mikusiński|arXiv (Cornell University)|Oct 19, 2018

Advanced Banach Space Theory被引用 1

一句话总结

本文引入了转换函数（transfunctions）作为可测空间上有限测度集之间的统一映射，刻画其与马尔可夫算子和运输计划的对应关系。通过积分性质定义了两种共轭类型——马尔可夫共轭与拉东共轭，并证明其存在性意味着强σ-可加性，从而统一了概率论与最优传输框架的结构分析。

ABSTRACT

A transfunction is a function which maps between sets of finite measures on measurable spaces. In this paper we characterize transfunctions that correspond to Markov operators and to transport plans. A single transfunction of this type will contain the `instructions' common to several different Markov operators and transport plans. We also define two kinds of adjoints to transfunctions. The Markov adjoint of a transfunction from $X$ to $Y$ is a certain transfunction from $Y$ to $X$. The Radon adjoint of a transfunction from $X$ to $Y$ is a certain linear and bounded operator between Banach spaces of functions on $Y$ and $X$. Both types of adjoints are defined via integral properies and their existence implies strong $\sigma$-additivity of the transfunction.

研究动机与目标

• 通过转换函数的统一框架，统一表示马尔可夫算子与运输计划。
• 基于积分性质，定义并分析转换函数的两种共轭类型——马尔可夫共轭与拉东共轭。
• 证明这些共轭的存在性意味着转换函数具有强σ-可加性。
• 提供一种结构化表征，使转换函数能够在一个映射下涵盖多个马尔可夫算子与运输计划。

提出的方法

• 将转换函数定义为可测空间上有限测度集之间的映射。
• 通过转移核上的积分条件，刻画与马尔可夫算子对应的转换函数。
• 通过乘积空间上联合分布的约束，将运输计划形式化为转换函数。
• 将马尔可夫共轭定义为从Y到X的转换函数，其由积分对偶性质导出。
• 将拉东共轭定义为从X和Y上函数的巴拿赫空间之间的有界线性算子，利用转换函数的积分表示。
• 证明任一共轭（马尔可夫或拉东）的存在性均意味着转换函数具有强σ-可加性，从而确保在可测集可数并集下的测度论一致性。

实验结果

研究问题

• RQ1 转换函数如何统一描述马尔可夫算子与运输计划？
• RQ2 何种积分性质定义了从X到Y的转换函数的马尔可夫共轭？
• RQ3 拉东共轭如何通过泛函分析与原始转换函数相关联？
• RQ4 在何种条件下，共轭的存在性意味着转换函数具有强σ-可加性？
• RQ5 当一个转换函数同时表示多个马尔可夫算子或运输计划时，会涌现出何种结构性质？

主要发现

• 转换函数提供了一个统一框架，编码了多个马尔可夫算子与运输计划共有的‘操作指令’。
• 从X到Y的转换函数的马尔可夫共轭通过积分对偶唯一定义，并映射从Y到X。
• 拉东共轭是Y和X上函数的巴拿赫空间之间的有界线性算子，由转换函数的积分性质导出。
• 任一共轭（马尔可夫或拉东）的存在性均意味着转换函数具有强σ-可加性，确保在可测集可数并集下的一致性。
• 两种共轭的基于积分的定义，建立了概率转移结构与最优运输计划之间的深层联系。