[论文解读] Attractive n-type contact processes

Joseph P. Stover|arXiv (Cornell University)|Jun 29, 2010

Stochastic processes and statistical mechanics参考文献 11被引用 3

一句话总结

本文提出一种交互图框架，用于表征多类型n型接触过程中的单调性（吸引力），并通过耦合从过去（coupling from the past）实现精确模拟。证明了当各交互图本身具有吸引力时，过程即为吸引力过程，从而可高效分析具有任意粒子类型相互作用的复杂多类型空间随机模型。

ABSTRACT

Interacting particle systems are continuous time Markov processes which are used to construct models in many disciplines. Monotonicity is a property that some interacting particle systems possess. A monotone interacting particle system is called attractive. A benefit of attractiveness is that it simplifies certain calculations, one of which is the ability to use some computational algorithms to sample exactly from the stationary distribution of an ergodic process. Monotonicity is well understood for spin systems such as the contact process. Spin systems only include two particle types however, while in many applied models, it is desirable to include more species of particles. In this paper a general framework of monotonicity will be outlined for a certain class of multitype contact processes.

研究动机与目标

• 开发一种系统方法，用于评估超越两状态自旋系统的多类型相互作用粒子系统的单调性（吸引力）。
• 将精确模拟算法（如耦合从过去，CFTP）的适用范围扩展至具有三个或更多粒子类型的多类型接触过程。
• 提供一种快速、结构化的判据——基于交互图——以确定多类型接触过程是否单调。
• 证明多个交互图，即使各自独立具有吸引力，其组合过程仍保持单调性。

提出的方法

• 本文引入一种交互图，即一种矩阵，用于指定哪些粒子类型转换被允许以及在何种条件下发生，以编码多类型接触过程中的相互作用。
• 通过粒子类型的排序定义状态空间上的偏序，从而可应用马尔可夫过程的单调性准则。
• 通过验证每个独立的交互图在向上和向下转换下均保持偏序，来确立单调性。
• 该方法使用图形耦合，为每个图的向上和向下转换分别使用独立的泊松点过程，以维持随机序。
• 该方法允许将复杂过程分解为更简单的、可独立评估的交互图。
• 证明了单调性的充分条件：若所有独立的交互图均为吸引力，则整个过程是单调的。

实验结果

研究问题

• RQ1 在何种条件下，具有三个或更多粒子类型的多类型接触过程是单调的？
• RQ2 能否通过独立分析其组成部分的交互图来判断多类型接触过程的吸引力？
• RQ3 如何将耦合从过去（CFTP）算法应用于非自旋系统的多类型过程？
• RQ4 交互图的何种结构性质可确保其在复合后过程仍保持单调性？
• RQ5 在粒子类型之间存在非唯一或多重交互规则的情况下，是否仍可得到吸引力过程？

主要发现

• 当且仅当其交互图具有吸引力时，多类型接触过程才是吸引力过程，为单调性提供了必要且充分的条件。
• 通过使用两个独立的交互图，证明了草–灌木–树木模型在任意速率参数下均具有吸引力。
• 两阶段接触过程在无速率限制下保持单调性，证实其适用于通过CFTP实现精确模拟。
• 可使用多个交互图来建模复杂相互作用，只要每个图本身均具有吸引力，则整个过程仍保持单调性。
• 交互图框架可实现对单调性的快速评估，而无需求解复杂的不等式系统。
• 该方法使精确采样算法（如CFTP）能够应用于此前不在其适用范围内的广泛类别的多类型空间随机过程。