[論文レビュー] Markov Operators, Transport Plans and Transfunctions

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

Advanced Banach Space Theory被引用数 1

ひとこと要約

本稿では、可測空間上の有限測度の集合間の統一的な写像としての転写関数（transfunctions）を導入し、それらがマルコフ作用素および輸送計画に対応することを特徴づける。積分的性質に基づく2種類の随伴（マルコフ随伴およびラドン随伴）を定義し、それらの存在が強いσ加法性を示すことにより、確率的および最適輸送フレームワークの構造的解析を統一する。

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.

研究の動機と目的

• マルコフ作用素と輸送計画の表現を、転写関数の共通枠組みを通じて統一すること。
• 積分的性質に基づく2種類の随伴（マルコフ随伴およびラドン随伴）を定義・分析すること。
• これらの随伴の存在が転写関数の強いσ加法性を示すことの証明。
• 複数のマルコフ作用素や輸送計画を1つの写像で包含する転写関数の構造的特徴づけの提供。

提案手法

• 可測空間上の有限測度の集合間の写像として転写関数を定義すること。
• 遷移核に関する積分的条件を通じて、マルコフ作用素に対応する転写関数を特徴づけること。
• 積分の性質に基づき、積空間上の同時分布の制約を通じて輸送計画を転写関数として形式化すること。
• 積分双対性の性質から導かれる、YからXへの転写関数としてのマルコフ随伴を定義すること。
• 転写関数の積分的表現を用いて、XおよびY上の関数のバナッハ空間間の有界線形作用素としてのラドン随伴を定義すること。
• いずれの随伴の存在が、転写関数の強いσ加法性を示すことの証明を行い、可測集合の可算和における一貫性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 転写関数はどのようにしてマルコフ作用素と輸送計画の記述を統一するか？
• RQ2 XからYへの転写関数のマルコフ随伴を定義づける積分的性質は何か？
• RQ3 ラドン随伴は関数解析的観点からどのように元の転写関数と関係するか？
• RQ4 随伴の存在が転写関数の強いσ加法性を示すのはどのような条件下か？
• RQ5 ある転写関数が複数のマルコフ作用素や輸送計画を同時に表す場合、どのような構造的性質が生じるか？

主な発見

• 転写関数は、複数のマルコフ作用素や輸送計画に共通する「指示」を統合的に記述する枠組みを提供する。
• XからYへの転写関数のマルコフ随伴は、積分双対性に基づき一意に定まり、YからXへの写像である。
• ラドン随伴は、YおよびX上の関数のバナッハ空間間の有界線形作用素であり、転写関数の積分的性質から導かれる。
• マルコフ随伴またはラドン随伴のいずれかの存在が、転写関数の強いσ加法性を示し、可測集合の可算和において一貫性を保証する。
• 両方の随伴の積分的定義は、確率的遷移構造と最適輸送計画との間に深い関係を確立する。