[论文解读] An approximative approach to construction of the Glauber dynamics in continuum

Dmitri Finkelshtein, Yuri Kondratiev+2 more|arXiv (Cornell University)|Oct 22, 2009

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

一句话总结

本文通过将连续时间的生灭过程离散化为一系列有限体积的马尔可夫链，提出了一种近似方法，用于构建连续粒子系统中的非平衡Glauber动力学。作者证明了这些离散近似在相关函数的巴拿赫空间上收敛于强连续收缩半群，通过半群逼近和截断技术建立了动力学的存在性。

ABSTRACT

We develop a new approach for the construction of the Glauber dynamics in continuum. Existence of the corresponding strongly continuous contraction semigroup in a proper Banach space is shown. Additionally we present the finite- and infinite-volume approximations of the semigroup by families of bounded linear operators.

研究动机与目标

• 开发一种构造性、近似性的方法，用于在标准马尔可夫过程技术不足时，处理连续粒子系统中的非平衡Glauber动力学。
• 将Glauber动力学的构造从平衡吉布斯测度扩展到一般初始分布。
• 为无限体积中连续时间Glauber动力学的离散时间近似提供严格的收敛框架。
• 在相关函数的巴拿赫空间上建立强连续收缩半群的存在性，从而实现对任意初始测度时间演化的研究。

提出的方法

• 作者定义了一个相关函数的巴拿赫空间 $\mathcal{L}_C$，其配备有包含增长控制参数 $C$ 的加权范数。
• 他们通过在扩张区域 $\Lambda_n$ 上的时间离散化生灭过程，构造了生成元的有限体积近似 $T_n$，其转移速率源自Glauber动力学。
• 证明了离散时间半群 $ (T_n)^{[nt]} $ 在 $ n \to \infty $ 时，以巴拿赫空间范数收敛于连续时间半群 $ \hat{T}_t $，且在有界时间区间上一致收敛。
• 使用截断算子 $ p_n $ 将函数限制在有限体积内，以确保近似值的有界性和收敛性。
• 通过验证生成元近似 $ A_n = n(T_n - \mathbf{1}_n) $ 在 $ \mathcal{L}_{2C} $ 上强收敛于无穷小生成元 $ \hat{L} $，证明了收敛性，方法包括控制收敛定理及对生灭速率的估计。
• 证明依赖于将转移算子分解为零粒子、单粒子和多粒子贡献部分，并利用相互作用势 $\phi$ 的可积性条件对每一部分进行有界控制。

实验结果

研究问题

• RQ1 是否可以在不依赖平衡吉布斯测度或狄氏型理论的前提下，构造出连续空间中的非平衡Glauber动力学？
• RQ2 如何在无限体积中，通过一系列离散时间马尔可夫链来近似连续时间马尔可夫过程？
• RQ3 离散时间近似是否收敛于某个合适的相关函数巴拿赫空间上的良好定义的连续时间半群？
• RQ4 对相互作用势 $\phi$ 需要满足何种条件，才能保证近似方案的收敛性？
• RQ5 能否证明所得半群为强连续且是压缩算子？

主要发现

• 在巴拿赫空间 $ \mathcal{L}_C $ 上建立了强连续收缩半群 $ \hat{T}_t $ 的存在性，为一般初始测度提供了严格的时序演化。
• 有限体积离散时间近似 $ (T_n)^{[nt]} $ 在 $ n \to \infty $ 时，以范数收敛于连续时间半群 $ \hat{T}_t $，且在有界时间区间上一致收敛。
• 在 $ \mathcal{L}_{2C} $ 上，生成元近似 $ A_n $ 强算子拓扑收敛于无穷小生成元 $ \hat{L} $，误差界以 $ O(1/n) $ 速率衰减。
• 收敛性依赖于相互作用势 $ \phi $ 的可积性，具体为 $ \int_{\mathbb{R}^d} (1 - e^{-\phi(x)}) dx < \infty $，这确保了总生灭速率的有限性。
• 截断过程 $ p_n $ 保持了收敛性和范数控制，使得有限体积中的结果可推广至无限体积。
• 该方法提供了一套构造性、算法化的框架，可用于模拟连续空间中的非平衡Glauber动力学，具有在图像处理和随机建模中的应用潜力。