[论文解读] Qualitative properties of certain piecewise deterministic Markov processes

Michel Benaı̈m, Stéphane Le Borgne+2 more|arXiv (Cornell University)|Apr 18, 2012

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

一句话总结

本论文研究定义在 $\mathbb{R}^d \times E$ 上的连续时间块状确定性马尔可夫过程（PDMP），其跳跃速率依赖于状态，且在紧集上具有光滑向量场。在满足霍尔曼德类型括号条件的前提下，证明了不变测度的存在唯一性以及在总变差距离下的指数遍历性，且收敛性对初始分布是统一的。

ABSTRACT

We study a class of Piecewise Deterministic Markov Processes with state space Rd x E where E is a finite set. The continuous component evolves according to a smooth vector field that is switched at the jump times of the discrete coordinate. The jump rates may depend on the whole position of the process. Working under the general assumption that the process stays in a compact set, we detail a possible construction of the process and characterize its support, in terms of the solutions set of a differential inclusion. We establish results on the long time behaviour of the process, in relation to a certain set of accessible points, which is shown to be strongly linked to the support of invariant measures. Under Hörmander-type bracket conditions, we prove that there exists a unique invariant measure and that the processes converges to equilibrium in total variation. Finally we give examples where the bracket condition does not hold, and where there may be one or many invariant measures, depending on the jump rates between the flows.

研究动机与目标

• 刻画具有状态依赖跳跃速率的块状确定性马尔可夫过程（PDMP）在紧致状态空间上的长期行为。
• 根据可及点与微分包含关系，确定不变测度的支集。
• 建立过程收敛至平衡态的条件，特别关注唯一性与指数遍历性。
• 通过证明霍尔曼德括号条件可确保转移核的绝对连续性及不变测度的唯一性。
• 通过反例表明，当括号条件不成立时，唯一性可能失效，且其结果依赖于流之间跳跃速率的结构。

提出的方法

• 在 $M \times E$ 上通过基于流的动力学与状态依赖跳跃速率构造PDMP，确保跳跃生成元的正性和不可约性。
• 将可及集定义为由向量场 $F^i$ 构成的微分包含的解可达的点集，证明其为紧致、连通且强正不变集。
• 对向量场 $F^i$ 应用霍尔曼德类型括号条件，以确保过程转移核在足够长时间后相对于勒贝格测度具有光滑密度。
• 通过递归的“汉诺塔”流构造与时间重标度论证，生成李括号并验证正则性的局部准则。
• 通过证明在大量跳跃之后过程的分布对初始分布均匀地具有密度，从而建立转移核的统一正则性。
• 应用耦合与绝对连续性论证，在霍尔曼德条件下证明总变差距离下的指数遍历性。

实验结果

研究问题

• RQ1 在紧致状态空间与状态依赖跳跃速率下，$\mathbb{R}^d \times E$ 上的PDMP在何种条件下存在唯一的不变测度？
• RQ2 不变测度的支集如何与由向量场 $F^i$ 的微分包含所定义的可及集相关联？
• RQ3 霍尔曼德括号条件在确保转移核具有光滑密度及指数收敛至平衡态方面起到何种作用？
• RQ4 当霍尔曼德条件不成立时，不变测度的唯一性是否可能失效？若如此，跳跃速率结构如何影响这一结果？
• RQ5 收敛至平衡态是否对初始分布一致？在何种条件下其在总变差距离下成立？

主要发现

• 在霍尔曼德括号条件下，经过足够多次跳跃后，PDMP的分布相对于 $\mathbb{R}^d \times E$ 上的勒贝格测度具有密度，且对初始分布一致。
• 当霍尔曼德条件成立时，过程在总变差距离下以指数速率收敛至平衡态，从而蕴含不变测度的唯一性。
• 任何不变测度的支集均包含于可及集中，该集合为紧致、连通且在微分包含下强正不变。
• 当霍尔曼德条件不成立时，不变测度的数量可能依赖于跳跃速率的结构，而不仅取决于向量场本身。
• 本文为 Bakhtin 和 Hurth (2012) 的主要结果提供了构造性证明，将其推广至状态依赖跳跃速率，并建立了转移核的统一正则性。
• 通过递归流构造，证明了由向量场 $F^i$ 及其迭代括号生成的李代数可被恢复，从而验证了正则性的局部准则。