[論文レビュー] Lectures on Isomorphism Theorems

Jay Rosen|arXiv (Cornell University)|Jul 7, 2014

Stochastic processes and statistical mechanics参考文献 15被引用数 5

ひとこと要約

本稿は、マルコフ過程とガウス過程を結ぶ同型定理について、講義形式の包括的紹介を提供しており、ディンキン、アイゼンバウム、一般化された第二レイ＝ナイト定理といった基礎的結果に焦点を当てる。モーメント法とラプラス変換を用いた複数の証明が提示され、ループサブスやランダムインタリューブレーションへの枠組みの拡張がなされ、ポアソン過程および永続的過程を通じて、局所時刻とガウス場の間の深い構造的関係が明らかにされる。

ABSTRACT

These notes originated in a series of lectures I gave in Marseille in May, 2013. I was invited to give an introduction to the isomorphism theorems, originating with Dynkin, which connect Markov local times and Gaussian processes. This is an area I had worked on some time ago, and even written a book about, but had then moved on to other things. However, isomorphism theorems have become of interest once again, both because of new applications to the study of cover times of graphs and Gaussian fields, and because of new isomorphism theorems for non-symmetric Markov processes and their connection with loop soups and Poisson processes. Thus I felt the time was ripe for a new introduction to this topic. In these notes I have tried to preserve the informal atmosphere of the lectures, and often simply refer the reader to my book and other sources for details.

研究の動機と目的

• 最近のカバレッジ時間やガウス場への応用に動機づけられた、マルコフ過程とガウス過程を結ぶ同型定理についての現代的でアクセスしやすい導入を提供すること。
• モーメント法とラプラス変換を含む複数の証明技法を通じて、同型定理の概念的基盤を統一的かつ明確にすること。
• 特にランダムインタリューブレーションの文脈において、ループサブスとポアソン過程を用いて非対称マルコフ過程への同型枠組みの拡張をすること。
• 永続的過程と局所時間の理論が、対称同型定理におけるガウス場の出現にどのように新たな洞察をもたらすかを示すこと。
• 局所時刻と加法的関数への関連を示す一般化された第二レイ＝ナイト定理について、体系的かつ教育的扱いを行うこと。

提案手法

• マルコフ過程の局所時関数への同型定理を証明するために、モーメント生成関数とモーメント法を用いる。
• ラプラス変換を代替的証明法として適用し、モーメントの複雑な組み合わせを避けるより「自動的」な手法を提供する。
• 非対称マルコフ過程の同型定理を構成するために、ループ測度とループ上のポアソン過程を導入する。
• 局所時間の理論におけるマスターフォーミュラを用い、マスターフォーミュラ (7.25) を介して局所時間のエクステンションとガウス過程を関連付ける。
• ガウスのモーメント公式と $G_{x, ho}$ を用いた正則化により特異性を扱い、モーメント恒等式を導出する。
• パルムの公式と加法的関数を用いて、ランダムインタリューブレーションの同型定理とガウス場への関連を導出する。

実験結果

リサーチクエスチョン

• RQ1 マルコフ過程の局所時刻は、同型定理においてガウス過程の法則とどのように関係するか？
• RQ2 ループサブスとポアソン過程は、対称的でない過程にまで同型定理を一般化するために果たす役割は何か？
• RQ3 一般化された第二レイ＝ナイト定理は、局所時間の理論とポアソン過程の技法を用いて再導出可能か？
• RQ4 同型定理の証明において、ラプラス変換法とモーメントに基づく証明法はどのように比較できるか？
• RQ5 なぜガウス過程が対称的同型定理において自然に出現する構造的根拠は何か？

主な発見

• 一般化された第二レイ＝ナイト定理は、モーメント法と局所時間の理論を用いて証明され、$\int L^x_{\tau(t)} d\nu(x)$ のラプラス変換が $\exp\left(t \sum_{j=1}^\infty h(j)\right)$ に等しいことが示された。ここで $h(j)$ は反復遷移密度を含む。
• ランダムインタリューブレーションの同型定理は、正則化とモーメント恒等式を用いて、$\widetilde{L}^\nu_\infty$ のラプラス変換がシフトされたガウス場のそれと一致することを示すことによって確立された。
• ラプラス変換を用いることで、複雑なモーメントの組み合わせを避ける、ディンキン同型定理の代替的証明が得られた。
• アイゼンバウム同型定理は、ラプラス変換法を用いて再証明され、局所時刻のモーメント生成関数とガウスのクラッシュ関数との等価性が確認された。
• 一般化された第二レイ＝ナイト定理は、局所時間の理論を用いて再証明され、マスターフォーミュラ (7.25) と恒等式 $\mathbf{n}\left(e^{\delta \int L^x_\infty d\nu(x)} - 1\right) = \sum_{n=1}^\infty \delta^n h(n)$ が用いられた。
• インタリューブレーションの同型定理は、正則化と収束の議論を経て、ガウス期待値の比がインタリューブレーション局所時刻のラプラス変換と一致することを示すことによって確認された。