[论文解读] Markov loops in discrete spaces

Yinshan Chang, Yves Le Jan|arXiv (Cornell University)|Feb 5, 2014

Data Management and Algorithms参考文献 6被引用 7

一句话总结

本文通过连续时间次马尔可夫过程与时间变换，为离散可数状态空间中的马尔可夫环路构建了一个严格的框架。它通过威尔逊算法建立了环路测度、局部时场与随机生成树之间的联系，表明该算法中的环路擦除路径对应于条件避开不断增长树的泊松环路系综，通过行列式与费曼-卡茨公式推导出精确的分布恒等式。

ABSTRACT

The main topic of these notes are Markov loops, studied in the context of continuous time Markov chains on discrete state spaces. We refer to [1] and [2] for the short "history" of the subject. In contrast with these references, symmetry is not assumed, and more attention is given to the infinite case. All results are presented in terms of the semigroup generator. In comparison with [1], some delicate proofs are given in more details or with a better method. We focus mostly on properties of the (multi)occupation field but also included some results about loop clusters (see [3] in the symmetric context) and spanning trees. [1] Markov paths, loops and fields, by Yves Le Jan, Lecture Notes in Mathematics, vol. 2026, Springer, Heidelberg, 2011 [2] Topics in occupation times and Gaussian free fields, by Alain-Sol Sznitman, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2012 [3] Markovian loop clusters on graphs, by Yves Le Jan and Sophie Lemaire, Preprint, arxiv:1211.0300 [math.PR], 2012

研究动机与目标

• 将马尔可夫环路理论从对称情形推广至可数状态空间上的一般连续时间次马尔可夫链。
• 为环路测度与局部时场发展时间变换形式化方法，将费曼-卡茨公式扩展至非对称生成元。
• 通过威尔逊算法精确建立环路擦除随机游走与泊松环路系综之间的联系。
• 利用行列式与潜在论推导环路簇与局部时场的精确分布恒等式。
• 通过基于生成元的方法统一处理瞬时与常返情形下的局部时场研究。

提出的方法

• 使用可数集 $ S $ 上连续时间次马尔可夫链的生成元 $ L $，其中非吸收态满足 $ L^x_x < 0 $，吸收态满足 $ L^x_x = 0 $。
• 通过非负函数 $ k $ 实施时间变换，将原过程转化为跳跃率改变的新过程，同时保持环路结构不变。
• 通过泊松环路过程的局部时场定义环路测度，其强度与格林函数及生成元相关。
• 应用费曼-卡茨公式，将局部时场泛函的期望表示为半群 $ P_t = e^{tL} $ 的形式。
• 利用威尔逊算法通过环路擦除吸收过程的路径构造随机生成树，其条件概率由潜在核的子矩阵行列式导出。
• 应用雅可比公式，将潜在核 $ V $ 的子矩阵行列式与树构造中路径扩展的概率联系起来。

实验结果

研究问题

• RQ1 在离散时间马尔可夫链缺乏对称性的情况下，如何定义并表征环路测度与局部时场？
• RQ2 时间变换对环路测度有何影响？其与基于生成元的框架是否兼容？
• RQ3 威尔逊算法中的环路擦除路径与全环路空间中的泊松环路系综之间有何关系？
• RQ4 通过威尔逊算法顺序构造生成树时，所形成的环路簇的确切分布为何？
• RQ5 是否可使用同一形式化方法表征瞬时与常返情形下的局部时场？二者有何差异？

主要发现

• 环路测度与时间变换相容：通过非负函数 $ k $ 改变时钟时，局部时场可一致变换，同时保持底层马尔可夫结构不变。
• 泊松环路过程的局部时场具有矩与多项式矩，可利用生成元 $ L $ 显式计算，且在大时间极限下具有收敛性结果。
• 在瞬时情形下，局部时场与潜在核 $ V $ 相关，其密度通过涉及 $ V $ 与生成元的行列式恒等式导出。
• 在常返情形下，局部时场通过极限过程表征，其保持与格林函数相关的确定性结构。
• 通过威尔逊算法构造的随机生成树 $ au $ 的分布满足 $ \text{det}(V) \prod_{(x,y) \in \text{edges toward root}} L^x_y $，其中 $ V $ 为潜在核。
• 在威尔逊算法中被移除的环路，若通过独立的泊松-狄利克雷(0,1)变量划分，则其系综分布与完整泊松环路系综 $ \mathcal{L}_1 $ 相同，建立了环路擦除与环路簇之间的深层联系。