[论文解读] A Markov property for set-indexed processes

Raluca M. Balan, Gail Ivanoff|ArXiv.org|Dec 17, 2004

Mathematical Dynamics and Fractals参考文献 12被引用 3

一句话总结

本文为集合半格上的集合索引随机过程提出了一种新颖的马尔可夫性质，将经典马尔可夫过程推广至非全序索引集。它建立了一个由生成元完全表征过程有限维分布的转移系统框架，确保所有独立增量过程均满足该性质，并可通过转移算子实现系统化构造。

ABSTRACT

We consider a type of Markov property for set-indexed processes which is satisfied by all processes with independent increments and which allows us to introduce a transition system theory leading to the construction of the process. A set-indexed generator is defined such that it completely characterizes the distribution of the process.

研究动机与目标

• 为集合索引过程定义一种马尔可夫性质，将其推广至偏序索引集，以推广经典马尔可夫性质。
• 确保所有具有独立增量的过程均满足该马尔可夫性质。
• 通过转移系统开发一种系统化方法，用于构造满足该性质的一般过程。
• 定义一个生成元，以完全表征过程的有限维分布。
• 避免先前定义中出现的技术复杂性，如锐化或胚马尔可夫性质。

提出的方法

• 为基于集合半格索引的过程提出一种新的马尔可夫性质，其基础是给定边界σ-代数的条件独立性。
• 引入一个由作用于合适定义域中函数的马尔可夫算子定义的转移系统。
• 将生成元定义为转移算子的无穷小版本，以表征过程的分布。
• 通过迭代转移算子的路径构造方法，从生成元构建过程。
• 利用富比尼定理与算子演算，推导生成元在测试函数上的作用。
• 在转移算子中采用递归结构，以处理多维增量与嵌套依赖关系。

实验结果

研究问题

• RQ1 能否为集合索引过程定义一种马尔可夫性质，使其在推广经典马尔可夫性质的同时保持独立增量性质？
• RQ2 是否存在一种系统化方法，用于构造满足所提马尔可夫性质的一般集合索引过程？
• RQ3 能否定义一个生成元，使其完全表征过程的有限维分布？
• RQ4 与现有概念（如锐化或胚马尔可夫性质）相比，所提马尔可夫性质在技术可处理性与一般性方面有何差异？
• RQ5 转移系统框架是否允许显式构造具有独立增量的过程？

主要发现

• 所有具有独立增量的过程均满足在集合半格上提出的马尔可夫性质。
• 转移系统框架允许从生成元系统化构造一般集合索引过程。
• 生成元完全表征了过程的有限维分布，从而支持分布分析。
• 该方法通过使用明确定义的转移算子结构，避免了与锐化和胚马尔可夫性质相关的技术问题。
• 生成元通过转移算子的无穷小极限推导得出，其作用通过涉及测试函数与转移核的积分算子表达。
• 证明表明，生成元在函数上的作用可通过富比尼定理与算子复合进行分解，从而实现一致的路径构造。