点过程

在统计学和概率论中，点过程或点场是随机位于数学空间（例如实数线或欧氏空间）上的数学点的集合。 点过程可用于空间数据分析这在林业、植物生态学、流行病学、地理学、地震学、材料科学、天文学、电信、计算神经科学 、经济学等许多学科中都具有重要意义。
点过程有不同的数学解释，例如解释为一个随机计数测度或一个随机集合。一些作者将点过程和随机过程视为两个不同的对象，认为点过程是一种从随机过程中产生的、或是关联于一个随机过程的随机对象 ——尽管也有人认为点过程与随机过程之间的区别并不明显。另一些人将点过程视为是随机过程的一种，这过程由定义在一个指标空间之上，如实轴或 formula_1 维欧几里得空间。点过程理论还研究其他随机过程，如更新过程和计数过程。有时倾向于不使用“点过程”这个术语，因为历史上“过程”这个词用于表示某个系统随时间的演变。因此点过程也称为随机点场。
实轴上的点过程是一个易于研究的重要特例，因为其中的点有一个自然的序，并且整个点过程可以用点之间的（随机）间隔来完全描述。这些点过程经常用于建模一个时间段上的随机事件，比如队列中顾客的到达（排队论）、神经元中的脉冲（计算神经科学）、盖革计数器中的粒子、电信网络中广播电台的位置或万维网上的搜索。
点过程的一般理论.
在数学中，点过程是一种随机元素，其值取为是集合 formula_2 上的“点分布”。在确切的数学定义中，“点分布”是指一个局部有限计数测度，但对于更实际的目的来说，将点分布视为 formula_2 的没有极限点的可数子集就足够了。
定义.
设有一概率空间 formula_4 ，以及一个局部紧的第二可数豪斯多夫空间 formula_2 ，而 formula_6 是 formula_2 的博雷尔σ-代数，从而形成一博雷尔可测空间 formula_8 。现在考虑一个整数值的、 formula_9 到 formula_8 的局部有限转移核 formula_11 ，即一个满足下列条件的映射 formula_12 ：
这个转移核给出了一个随机测度，即取值为一个测度的随机元素。为此 formula_11 应视为一个将 formula_13 映为一个 formula_21 的映射（记作 formula_22 ），其中 formula_23 是 formula_2 上全体局部有限测度所构成的集合。现在，为了使此映射为可测的，需为 formula_23 配备一个σ-代数。这σ-代数被构造为使全体求值映射 formula_26 可测的最小σ-代数，其中 formula_16 是相对紧的。于是配备σ-代数后的 formula_23 成为可测空间，而 formula_11 成为一随机元素，对于任一 formula_13 ， formula_31 都是 formula_2 上的一个局部有限测度。
一个 formula_2 上的点过程所指的即是一个整数值的随机测度（或者等价地，整数值的转移核） formula_11 。状态空间 formula_2 最常见的例子是欧氏空间 formula_36 或其子集，其中一个特别有趣的特殊情况是半实轴 formula_37 。然而，点过程并不局限于这些例子，如果这些点本身是 formula_36 的紧子集，那么还可以使用其他方法，在这种情况下 formula_11 通常被称为粒子过程。
点过程这一术语暗示 formula_11 是一个随机过程，但由于 "formula_2" 可能不是一个带有全序的指标集，这一术语不甚合适。
表示.
点过程 formula_11 的每个实例（或事件）都可以表示为
formula_43
其中 formula_44 表示狄拉克测度， formula_1 是一个整数值随机变量， formula_46 是取值于 "formula_2" 中的随机元素。如果 formula_46 几乎必然是不同的（或者说，对于所有 formula_49 几乎必然有 formula_50 ），则该点过程称为简单点过程。
事件（事件空间中的事件，即一系列点）还可用计数记号来表示：每个实例都表示为一个整数值的连续函数 formula_51 ，其定义为
formula_52
即观测区间 formula_53 内的事件数。有时也记作 formula_54 、 formula_55 ； formula_56 也记作 formula_57 。
期望测度.
一个点过程 formula_11 的期望测度（也称为平均测度） formula_59 是 formula_2 上的一个测度，一个博雷尔集 formula_61 的期望测度值即是 formula_11 在 formula_61 中的点的数目的期望值，即
formula_64
拉普拉斯泛函.
一个点过程 formula_65 的拉普拉斯泛函 formula_66 将 formula_65 的状态空间上的正值函数 formula_68 的集合映射到 formula_37 ，其定义如下：
formula_70
它们起着与随机变量的特征函数类似的作用。一个重要定理表明：若两个点过程的拉普拉斯泛函相等，则它们有相同的。
矩测度.
点过程的formula_1次幂 formula_72 在积空间 formula_73 上定义如下 ：
formula_74
根据单调类定理，这唯一地定义了 formula_75 上的乘积测度。期望 formula_76 被称为 formula_1 阶矩测度。一阶矩测度即是平均值测度。
设 formula_78 。点过程 formula_11 关于勒贝格测度的联合强度是这样一些函数 formula_80 ，其对于任何不交的有界博雷尔子集 formula_81 满足
formula_82
对于点过程来说，联合强度并不总是存在。鉴于随机变量的矩在许多情况下可确定该随机变量，因此也希望联合强度也有类似的结果。事实上，已有许多案例表明了这一点。
平稳性.
一个 formula_83 中的点过程 formula_84 称为是平稳的，若 formula_85 对于任意 formula_86 都与 formula_87 有相同分布。对于平稳点过程，平均测度即 formula_88 ，其中某常数formula_89 而 formula_90 表示勒贝格测度。这 formula_91 称为该点过程的强度。 formula_92 上的平稳点过程几乎必然共有 0 个或无穷个点。有关平稳点过程和随机测度的更多信息，请参阅 Daley & Vere-Jones 的第 12 章。点过程的平稳性已在比 formula_92 更一般的空间中进行了定义和研究。
点过程示例.
下文是一些 formula_92 中的点过程的例子。
泊松点过程.
点过程最简单、最普遍的例子是泊松点过程，它是泊松过程的空间推广。实轴上的泊松（计数）过程可以用两个性质来刻画：不相交区间内的点（或事件）的数量是独立的，且它们服从泊松分布。泊松点过程也可以使用这两个性质来定义。也就是说，称一个点过程 formula_11 为泊松点过程，若以下两个条件成立：
这两个条件可以结合起来写成如下形式：对于任何不相交的有界子集 formula_102 和非负整数 formula_103 有
formula_104
常数 formula_91 称为泊松点过程的强度。注意泊松点过程可由单个参数 formula_91 刻画。这是一个简单且平稳的点过程。更具体地说，上述点过程被称为齐次泊松点过程。非齐次泊松过程仍如上定义，但其中的 formula_100 换为 formula_108 ，这里的 formula_109 是一个 formula_92 上的非负函数。
考克斯点过程.
一个考克斯过程（冠名于戴维·科克斯）是对泊松点过程的一种推广，其中的 formula_100 被换为一个随机测度。更正式地说，设 formula_112 为一个随机测度，其所驱动的考克斯点过程即是满足下列两个性质的点过程 formula_11 ：
容易看出，（齐次和非齐次）泊松点过程是考克斯点过程的特例。考克斯点过程的平均测度 formula_121 ，这在泊松点过程的特殊情况下就是 formula_122 。
对于考克斯点过程， formula_114 被称为强度测度。此外，若 formula_114 具有（随机）密度（拉东-尼科迪姆导数） formula_125 ，也就是说
formula_126
formula_125 便称为考克斯点过程的强度场。强度测度或强度场的平稳性意味着相应考克斯点过程的平稳性。
已经对许多特定类的考克斯点过程进行了详细研究，例如：
根据延森不等式，可以验证考克斯点过程满足以下不等式：对于所有有界博雷尔子集 formula_61 有
formula_146
其中 formula_147 表示强度测度 formula_148 的泊松点过程。因此，与泊松点过程相比，考克斯点过程中的点分布具有更大的可变性。这有时被称为考克斯点过程的团聚或吸引性质。
行列式点过程.
行列式点过程是一类重要的点过程，在物理学、随机矩阵理论和组合数学中都有应用。
霍克斯（自激）过程.
霍克斯过程formula_149 ，又称自激计数过程，是一种简单点过程，其条件强度可以表示为
formula_150
其中 formula_151 是一个核函数，表达过去事件 formula_152 对强度过程 formula_153 的当前值的正面影响； formula_154 则是一个（可能非平稳的）函数，表示强度的预期、可预测或确定性的部分，而 formula_155 是过程中的第 formula_156 个事件的发生时间（满足 formula_157 ）。
几何过程.
给定一个非负随机变量的序列 formula_158 ，若它们是独立的，且对于 formula_159 ， formula_160 的累积分布函数为 formula_161 （其中 formula_162 是一个正常数），那么 formula_163 被称为是一个几何过程（GP）。
几何过程有几种推广，包括α-系列过程和双几何过程。
半实轴上的点过程.
历史上所研究的第一种点过程是以半实轴 formula_164 为状态空间的，此状态空间这时往往被解释为时间。这些研究的动机源于对电信系统的建模，其中的点表示随时间发生的事件，例如向电话交换机的发起通话。
formula_165 上的点过程通常是通过给出其（随机）事件间的时间间隔的序列 formula_166 来描述的，实际的事件发生时刻的序列 formula_167 则可如下得到：
formula_168
如果事件间的时间间隔是独立同分布的，则所得的点过程称为更新过程。
点过程的强度.
半实轴上的点过程关于滤过 formula_169 的强度 formula_170 定义为
formula_171
formula_169 可以表示时间 formula_173 之前的事件点的时间历史，但也可以对应于其他滤过（例如在考克斯过程的情况下）。
使用 formula_174 的这种记号，便可写成更紧凑的形式：
formula_175
点过程的compensator，也称为对偶可预测投影，是积分后的条件强度函数，定义为
formula_176
相关函数.
帕潘杰卢强度函数.
formula_1 维欧氏空间 formula_178 中的点过程 formula_65 的帕潘杰卢强度函数定义为
formula_180
其中 formula_181 是中心位于 formula_182 、半径为 formula_44 的球，而 formula_184 表示点过程 formula_65 在 formula_186 外部的信息。
似然函数.
基于某些观测数据的参数化简单点过程的对数似然函数
formula_187
空间统计学中的点过程.
formula_188 的紧子集 formula_2 中的点分布数据的分析是空间统计学的一个主要研究对象。这样的数据在范围相当广的各种学科中都会出现，包括
使用点过程来建模这些类型的数据的必要性在于它们内禀的空间结构。因此，首个感兴趣的问题通常是给定的数据是否表现出完全的空间随机性（即是否是空间泊松过程的一种实现）、而非表现出空间聚集或空间抑制。
相比之下，经典多元统计中考虑的许多数据集由独立生成的数据点组成，这些数据点可能由一个或多个协变量（通常是非空间的）控制。
除了在空间统计中的应用外，点过程也是随机几何中的基本对象之一。研究还广泛集中于基于点过程建立的各种模型，例如沃罗诺伊镶嵌、随机几何图和布尔模型。