[论文解读] A combinatorial proof of Aldous-Broder theorem for general Markov chains

Luis Fredes, Jean‐François Marckert|arXiv (Cornell University)|Feb 16, 2021

Markov Chains and Monte Carlo Methods参考文献 7被引用 4

一句话总结

本文为有限图上不可约且非可逆的马尔可夫链提出了广义Aldous–Broder定理的两个新证明：一个是经典论证的概率适应方法，另一个是利用一种名为“高尔夫序列”（golf sequences）的新组合对象的创新组合证明。主要贡献在于确立了通过马尔可夫链采样得到的首次进入生成树的分布与反转转移概率的乘积成正比，从而将原始定理从可逆情形推广至一般情形。

ABSTRACT

Aldous-Broder algorithm is a famous algorithm used to sample a uniform spanning tree of any finite connected graph $G$, but it is more general: given an irreducible and reversible Markov chain $M$ on $G$ started at $r$, the tree rooted at $r$ formed by the first entrance steps in each node (different from the root) has a probability proportional to $\\prod_{e=(e^-,e^+)\\in {\\sf Edges}(t,r)} M_{e^{-},e^+}$, where the edges are directed toward $r$. In this paper we give proofs of Aldous-Broder theorem in the general case, where the kernel $M$ is irreducible but not assumed to be reversible (this generalized version appeared recently in Hu, Lyons and Tang )

研究动机与目标

• 将Aldous–Broder定理从可逆马尔可夫链推广至一般不可约马尔可夫链。
• 为广义定理提供一个组合证明，填补此前文献中此类证明缺失的空白。
• 引入并形式化“高尔夫序列”这一新组合工具，用于分析马尔可夫链中首次进入生成树的结构。
• 阐明时间反转在Aldous–Broder过程中所起的作用，表明反转核自然地出现在分布特征化中。
• 通过证明使用反转核的Wilson算法与Aldous–Broder在非可逆情形下产生相同的生成树分布，统一理解通过马尔可夫链采样生成树的机制。

提出的方法

• 通过引入时间反转核 $\overleftarrow{M}$，将Aldous–Broder的经典概率论证适应于非可逆情形。
• 引入“高尔夫序列”——一种新颖的组合结构，用于编码覆盖路径中首次进入步骤的序列，从而实现直接的计数论证。
• 在有根生成树空间上建立马尔可夫链的平衡方程，其中根转移的转移权重由 $\overleftarrow{M}_{r,r'}$ 给出。
• 证明在树空间上的平稳分布与 $\prod_{e \in E(t,r)} \overleftarrow{M}_e$ 成正比，从而推出主要结果。
• 利用时间反转下首次进入树与最后离开树之间的对偶性，证明 $\mathbb{P}[\text{LastExitTree}(Y_{\leq 0}) = (t,r)] = \text{Const} \cdot \prod_{e \in E(t,r)} \overleftarrow{M}_e$。
• 证明在平稳分布下，使用核 $M$ 的马尔可夫链所生成的首次进入树的分布，等于使用反转链 $\overleftarrow{M}$ 所生成的最后离开树的分布。

实验结果

研究问题

• RQ1 当马尔可夫链不可逆时，Aldous–Broder定理的正确推广形式是什么？
• RQ2 能否构造一个完全独立于概率耦合论证的、针对广义Aldous–Broder定理的纯组合证明？
• RQ3 高尔夫序列如何与马尔可夫链覆盖路径中首次进入树的结构相关联？
• RQ4 为何反转核 $\overleftarrow{M}$ 在非可逆链的首次进入树分布中自然出现？
• RQ5 是否存在首次进入树与最后离开树之间的对偶性，从而解释 $\overleftarrow{M}$ 在分布中的出现？

主要发现

• 本文证明：对于任意不可约马尔可夫链，其转移核为 $M$，不变分布为 $\rho$，通过首次进入过程采样得到的有根生成树 $(t,r)$ 的概率与 $\prod_{e \in E(t,r)} \overleftarrow{M}_e / \rho(r)$ 成正比。
• 基于“高尔夫序列”的组合证明提供了广义Aldous–Broder定理的直接、非概率推导，为首次进入生成树的结构提供了新见解。
• 由首次进入过程诱导的有根生成树空间上的平稳分布与 $\prod_{e \in E(t,r)} \overleftarrow{M}_e$ 成正比，从而确认了反转核的作用。
• 该结果表明，当使用反转核 $\overleftarrow{M}$ 运行Wilson算法时，其生成的均匀生成树分布与Aldous–Broder在非可逆情形下完全一致。
• 本文证实，时间反转链 $\overleftarrow{M}$ 不仅是技术性工具，更是定理结构中的基本组成部分，这一点由首次进入树与最后离开树之间的对偶性所证实。
• 当平稳测度设为 $P(t,r) = \prod_{e \in E(t,r)} \overleftarrow{M}_e$ 时，树马尔可夫链的平衡方程成立，从而证明了分布特征化的正确性。