[论文解读] 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)$。
• 通过正则化与收敛性论证，证明了随机穿插同构定理：高斯期望的比值与穿插局部时的拉普拉斯变换一致。