[论文解读] CLT for continuous random processes under approximations terms

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Mar 31, 2013

Data Management and Algorithms参考文献 21被引用 8

一句话总结

本文利用逼近理论工具，特别是Vallee-Poussin核与度量熵，建立了连续函数空间中泛函中心极限定理（CLT）的新充分条件。证明了在温和的附加假设下，Jain与Marcus提出的CLT充分条件也是必要条件，并通过实例展示了结果的精确性，包括在蒙特卡洛方法中的应用。

ABSTRACT

We formulate and prove a new sufficient conditions for Central Limit Theorem(CLT) in the space of continuous functions in the terms typical for the approximation theory. We prove that the conditions for continuous CLT obtained by N.C.Jain and M.B.Marcus are under some natural additional conditions necessary. We provide also some examples in order to show the exactness of obtained results and illustrate briefly the applications in the Monte-Carlo method.

研究动机与目标

• 使用逼近理论术语，制定并证明在连续函数空间中泛函中心极限定orem（CLT）的新充分条件。
• 证明Jain与Marcus建立的CLT充分条件在自然附加假设下亦为必要条件。
• 提供具体实例，说明推导条件的精确性及其在蒙特卡洛方法中的相关性。
• 分析度量熵、控制测度与逼近核在刻画随机过程CLT收敛性中的作用。

提出的方法

• 作者使用Vallee-Poussin核定义逼近算子 $ V_{n,p}[f] $，通过与基础随机过程 $ \xi(t) $ 的卷积构造随机过程序列 $ Z_k[\xi] $。
• 定义生成泛函 $ \Phi(\xi; \psi) = \mathbb{E} \exp\left(\int_T \xi(s) \, d\psi(s)\right) $，以有界变差函数的形式表征过程的Laplace变换。
• 关键技术工具是基于Vallee-Poussin算子差值构造逼近序列 $ W^{(k)} $，进而定义 $ \Psi_{\vec{n}}(\xi; \lambda, n(k), n(k+1)) $，将特征函数与生成泛函联系起来。
• 论文利用度量熵与覆盖数量化指标集 $ T $ 的复杂性，并推导出关于连续模与逼近误差 $ E(m,f) $ 的条件，以确保CLT收敛。
• 采用一致等收敛性概念，并以熵积分条件 $ \int_0^1 H^{1/2}(T, \rho, z) \, dz < \infty $ 作为CLT有效性的核心判据。
• 分析中包括使用间隙级数与Rademacher序列构造实例，以检验条件的精确性，特别是在控制测度或熵条件不成立的情况下。

实验结果

研究问题

• RQ1 在何种逼近理论条件下，中心化、可分的随机过程 $ \eta(t) $ 在 $ C(T) $ 中满足泛函CLT？
• RQ2 Jain与Marcus推导出的CLT充分条件在附加自然假设下是否也必要？
• RQ3 当标准熵条件或控制测度条件不成立时，是否仍可在 $ C(T) $ 中建立CLT？
• RQ4 Vallee-Poussin核的逼近性质如何影响i.i.d.随机过程归一化和的收敛性？
• RQ5 生成泛函与过程的Laplace变换在刻画CLT收敛性中起何种作用？

主要发现

• 本文证明，在温和附加假设下，Jain与Marcus在 $ C(T) $ 中的CLT充分条件亦为必要条件，确立了其判据的精确性。
• 条件 $ \int_0^1 H^{1/2}(T, \rho, z) \, dz < \infty $，其中 $ \rho $ 是由过程导出的度量，被证明是 $ C(T) $ 中CLT的关键充分条件。
• 构造了实例，其中过程满足新条件但同时违反控制测度与熵条件，展示了新判据的广泛适用性。
• 论文表明，条件 $ \omega(g, \epsilon) \leq C \cdot \theta \cdot \delta(\text{Ent}[1/\epsilon]) $（一种Jackson型不等式形式）对连续模是充分但非必要的。
• 提供了一个反例，其中过程 $ \eta_n(x) $ 几乎必然连续，具有有限的 $ p_0 $ 阶矩，但对 $ p > p_0 $ 的矩为无穷，且不满足CLT，表明矩条件与熵条件均不充分。
• 结果被推广至多维域 $ T = [0,2\pi]^d $ 与非周期连续函数，表明其具有广泛适用性。