[论文解读] Simplicial branching random walks and their applications

Ron Rosenthal|arXiv (Cornell University)|Dec 17, 2014

Topological and Geometric Data Analysis参考文献 8被引用 3

一句话总结

本文引入了单纯形分支布朗运动（SBRW），这是一种在单纯形复形上定义的新颖随机过程，可直接编码谱性质与同调性质，而无需归一化。与以往模型不同，SBRW通过在d-单纯形上的粒子分裂，天然地捕捉了定向单纯形的动力学，从而可直接计算谱测度，并求解微分形式的高维Dirichlet问题。

ABSTRACT

We define a new stochastic process on general simplicial complexes which allows to study their spectral and homological properties. Some results for random walks on graphs are shown to hold in this general setting. As an application, the process is used to calculate the spectral measure of high-dimensional analogues of regular trees and to construct solutions to the high-dimensional Dirichlet problem for forms.

研究动机与目标

• 开发一种在单纯形复形上定义的新随机过程，可直接反映谱性质与同调性质，而无需归一化处理。
• 通过在定向(d−1)-单纯形上建模粒子动力学，将随机游走理论从图推广至高维复形。
• 为计算高维正则树的谱测度并求解微分形式的高维Dirichlet问题，提供一个理论框架。
• 建立SBRW过程与单纯形复形上拉普拉斯算子（特别是上、下拉普拉斯算子）之间的直接联系。
• 证明SBRW的有效版本（定义为相反方向粒子数之差）在适当条件下具有有界且行为良好的演化过程。

提出的方法

• 将单纯形分支布朗运动（SBRW）定义为在d维单纯形复形X的定向(d−1)-单纯形集合上的时齐马尔可夫链。
• 每个位于定向(d−1)-单纯形σ的粒子独立地以均匀概率选择一个包含σ的d-单纯形，并在该d-单纯形的其余d−1个面上分裂为d个新粒子，且通过一致规则保持方向性。
• 引入有效SBRW（ESBRW）为D_n(σ) = N_n(σ) - N_n(σ̄)，其中σ̄为反向定向的单纯形，直接捕捉带符号的粒子计数。
• 利用下拉普拉斯算子Δ_d^−分析ESBRW的时间演化，证明其期望满足涉及算子(I - (1−p)Δ_d^−)的递推关系。
• 证明SBRW的p-懒惰版本满足一个线性递推关系，使其与下拉普拉斯算子关联，从而支持谱分析。
• 利用该过程推导高维正则树的谱测度，并通过上拉普拉斯算子的核构造微分形式的高维Dirichlet问题的解。

实验结果

研究问题

• RQ1 能否构造一种单纯形复形上的随机过程，使其动力学直接反映谱与同调不变量，而无需对差异进行归一化？
• RQ2 单纯形分支布朗运动与单纯形复形上的上、下拉普拉斯算子之间有何关系？
• RQ3 方向在定义高维单纯形上一致的粒子分裂机制中起什么作用？
• RQ4 有效SBRW过程能否用于计算高维正则树的谱测度？
• RQ5 SBRW在多大程度上可用于求解单纯形复形上微分形式的高维Dirichlet问题？

主要发现

• 单纯形分支布朗运动（SBRW）是在定向(d−1)-单纯形上定义良好的马尔可夫过程，通过在d-单纯形上的粒子分裂演化，且方向一致性得以保持。
• 有效SBRW（定义为符号差D_n(σ) = N_n(σ) - N_n(σ̄)）的演化遵循涉及下拉普拉斯算子Δ_d^−的线性递推关系，具体为E_n^↓(σ,σ′) = (I - (1−p)Δ_d^−)E_{n−1}^↓(σ,σ′)。
• SBRW的p-懒惰版本满足E_n^{↓,p}(σ,σ′) = E_n^{↓,p'}(σ,σ′)，其中p' = p / ((1−p)(M−2) + 1)，从而将过程与缩放后的拉普拉斯算子关联。
• 该过程可通过分析SBRW在这些复形上的长时间行为，实现对高维正则树谱测度的直接计算。
• 当且仅当相对同调群H_d(X,A)为零时，复形XackslashA上的上拉普拉斯算子Δ_d^+的核为平凡，从而通过SBRW建立了同调特征的刻画。
• SBRW为求解微分形式的高维Dirichlet问题提供了构造性方法，其解与子复形上上拉普拉斯算子核的消失性直接相关。