[论文解读] The structure of combinatorial Markov processes

Harry Crane, Henry Towsner|arXiv (Cornell University)|Mar 18, 2016

Limits and Structures in Graph Theory参考文献 16被引用 5

一句话总结

本文通过迭代的随机Lipschitz函数，为组合状态空间（如划分、图和超图）上的可交换Feller过程建立了通用表示。证明了此类离散或连续时间过程均源于独立同分布的函数或函数的泊松点过程，并在$<\omega$-不相交并置性质下，其跳跃测度具有显式的Lévy–Itô–Khintchine分解，统一了各类组合过程的结构性行为。

ABSTRACT

Every exchangeable Feller process taking values in a suitably nice combinatorial state space can be constructed by a system of iterated random Lipschitz functions. In discrete time, the construction proceeds by iterated application of independent, identically distributed functions, while in continuous time the random functions occur as the atoms of a time homogeneous Poisson point process. We further show that every exchangeable Feller process projects to a Feller process in an appropriate limit space, akin to the projection of partition-valued processes into the ranked-simplex and graph-valued processes into the space of graph limits. Together, our main theorems establish common structural features shared by all exchangeable combinatorial Feller processes, regardless of the dynamics or resident state space, thereby generalizing behaviors previously observed for exchangeable coalescent and fragmentation processes as well as other combinatorial stochastic processes. If, in addition, an exchangeable Feller process evolves on a state space satisfying the $n$-disjoint amalgamation property for all $n\geq1$, then its jump measure can be decomposed explicitly in the sense of Lévy--Itô--Khintchine.

研究动机与目标

• 识别所有可交换Feller过程在组合状态空间上的通用结构特征，无论其动力学或驻留空间如何。
• 将共alescent和碎片化过程中的已知行为推广至一类广泛的组合马尔可夫过程。
• 通过离散时间与连续时间的迭代随机Lipschitz函数，建立此类过程的表示。
• 证明每个可交换Feller过程均可投影至一个极限空间中的Feller过程，类似于排序单纯形或图极限投影。
• 在状态空间满足$<\omega$-不相交并置性质时，推导跳跃测度的显式Lévy–Itô–Khintchine分解。

提出的方法

• 作者使用Fraïssé空间及其极限的框架，建模所有有限构型均可嵌入的通用组合状态空间。
• 将离散时间过程表示为在Fraïssé极限上迭代复合的独立同分布随机Lipschitz函数。
• 对于连续时间过程，通过时间齐次的随机Lipschitz函数泊松点过程来建模动力学。
• 应用Aldous–Hoover定理以确保过程在所有时间点的可交换性，从而保证投影一致性。
• 通过$\delta$-泛函的度量嵌入分析过程的路径正则性与不连续时间点。
• 应用有界收敛定理与Fatou引理，证明过程范数的不连续性仅出现在$\Lambda_{\emptyset}^{*}$测度的原子处，从而将路径行为与跳跃结构联系起来。

实验结果

研究问题

• RQ1 是否可通过对迭代随机Lipschitz函数系统的构造，实现组合状态空间上可交换Feller过程的通用表示？
• RQ2 在共alescent、碎片化和图值过程等多样化组合过程中，哪些结构特征是共通的？
• RQ3 Feller性质与可交换性如何导致跳跃动力学中的泊松结构？
• RQ4 在何种条件下，此类过程的跳跃测度可具有显式的Lévy–Itô–Khintchine分解？
• RQ5 过程中的不连续性与底层函数泊松点过程的原子之间存在何种关系？

主要发现

• 所有组合状态空间上的可交换Feller过程均可在离散时间中构造为独立同分布随机Lipschitz函数的迭代复合。
• 在连续时间中，该过程源于随机Lipschitz函数的时齐泊松点过程的原子。
• 该过程可投影至一个极限空间中的Feller过程，推广了排序单纯形与图极限投影的结构。
• 当状态空间满足$<\omega$-不相交并置性质时，跳跃测度具有Lévy–Itô–Khintchine分解。
• 过程范数的不连续性仅出现在对应于$\Lambda_{\emptyset}^{*}$测度原子的时间点，该测度控制跳跃动力学。
• 证明表明该过程为 càdlàg，且不连续性经验频率的极限几乎必然趋于零，从而确保路径正则性。