[论文解读] A quenched invariance principle for stationary processes

Christophe Cuny, Dalibor Volný|arXiv (Cornell University)|Feb 22, 2012

Stochastic processes and statistical mechanics参考文献 18被引用 22

一句话总结

本文在Hannan条件下建立了平稳过程的淬灭不变原理，证明了在淬灭测度下，条件中心化的部分和几乎必然弱收敛于布朗运动。关键贡献在于将中心化和过程与具有平稳增量的鞅进行耦合，从而在Hannan条件下确保功能中心极限定理的淬灭分布收敛。

ABSTRACT

In this note, we prove a conditionally centered version of the quenched weak invariance principle under the Hannan condition, for stationary processes. In the course, we obtain a (new) construction of the fact that any stationary process may be seen as a functional of a Markov chain.

研究动机与目标

• 在Hannan条件下建立平稳过程的淬灭弱不变原理，将淬灭中心极限定理推广至泛函收敛。
• 证明在Hannan条件下，中心化和过程 $ \bar{S}_n = S_n - \mathbb{E}_0(S_n) $ 满足淬灭弱不变原理。
• 提出一种新构造方法，表明任意平稳过程均可通过条件期望算子 $ Q $ 表示为一个马尔可夫链的泛函。
• 证明在 $ \mu $-几乎必然的淬灭测度下，归一化路径 $ \bar{S}_n(t)/\sqrt{n} $ 的淬灭收敛性趋于标准布朗运动。

提出的方法

• 使用条件期望算子 $ Qh = \mathbb{E}_0(h \circ \theta) $ 定义马尔可夫转移核，并构建底层过程的平稳马尔可夫链表示。
• 通过 $ f_i = P_0(U^i f) $ 将中心化和 $ \bar{S}_n(f) $ 分解为一系列鞅增量，利用移位算子 $ \theta $ 的谱性质。
• 条件应用Doob极大不等式以控制 $ \mathbb{E}_0(\max_{1 \leq n \leq N} \bar{S}_n^2) $，从而在淬灭设定下获得 $ L^2 $-型界。
• 应用Dunford-Schwartz遍历定理及弱 $ L^2 $-空间估计，控制 $ (f_i^2)^* $ 的极大函数，确保在 $ \mu $-几乎必然收敛下可积性。
• 构造一个鞅 $ (M_n) $，使得 $ \mathbb{E}_0(\max_{1 \leq n \leq N} (\bar{S}_n - M_n)^2) = o(N) $ $ \mu $-几乎必然成立，从而证明在淬灭意义下的渐近等价性。
• 通过有限维分布收敛性与紧致性证明淬灭弱收敛，依赖于与鞅的耦合及连续映射定理。

实验结果

研究问题

• RQ1 在满足Hannan条件的平稳过程中，淬灭弱不变原理是否成立？
• RQ2 中心化和过程 $ \bar{S}_n $ 是否能在淬灭 $ L^2 $-意义下被鞅逼近？
• RQ3 是否可能通过条件期望算子 $ Q $ 将任意平稳过程表示为平稳马尔可夫链的泛函？
• RQ4 在何种条件下，$ \bar{S}_n(t)/\sqrt{n} $ 的淬灭泛函中心极限定理成立？
• RQ5 算子 $ Q $ 如何促进平稳过程的马尔可夫表示构造？

主要发现

• 淬灭弱不变原理成立：对 $ \mu $-几乎必然的 $ x $，$ \bar{S}_n(t)/\sqrt{n} $ 的淬灭分布弱收敛于标准布朗运动 $ \sigma W_t $ 的分布。
• 中心化和过程 $ \bar{S}_n $ 满足 $ \mathbb{E}_0(\max_{1 \leq n \leq N} (\bar{S}_n - M_n)^2) = o(N) $ $ \mu $-几乎必然成立，证明其与具有平稳遍历增量的鞅 $ (M_n) $ 在淬灭意义下渐近等价。
• 极限方差 $ \sigma^2 = \lim_{n \to \infty} \mathbb{E}(S_n^2)/n $ 在Hannan条件下 $ \mu $-几乎必然存在且有限。
• $ \sum_{n \geq 1} \frac{\|\mathbb{E}_0(X_n)\|_2}{\sqrt{n}} < \infty $ 的条件蕴含Hannan条件，并确保 $ S_n(t) $ 的淬灭WIP成立，而不仅限于 $ \bar{S}_n(t) $。
• 通过算子 $ Q $ 构造了一种新的马尔可夫链表示，表明每个平稳过程均可作为具有转移核 $ Q(x, dy) = \mu(x, dy) $ 的平稳、时间齐次马尔可夫链的泛函。
• 极大函数 $ ((f_i^2)^*)^{1/2} $ 属于弱 $ L^2 $-空间 $ L^{2,w} $，这确保了 $ \bar{S}_n $ 的淬灭最大 $ L^2 $-范数几乎必然有限。