[论文解读] A strictly stationary, "causal," 5-tuplewise independent counterexample to the central limit theorem

Richard C. Bradley|ArXiv.org|Nov 15, 2009

Probability and Risk Models被引用 4

一句话总结

本文构建了一个严格平稳的、五重独立的 ±1 取值随机变量序列，该序列具有因果性且双尾 σ-域平凡，但其归一化部分和却不收敛于正态分布——这是首个在五重独立条件下、具有有限状态、因果性的中心极限定理反例。构造方法利用 i.i.d. 创新项的确定性函数，以确保所需的依赖结构和混合性质，同时在任意归一化下违反中心极限定理。

ABSTRACT

A strictly stationary sequence of random variables is constructed with the following properties: (i) the random variables take the values -1 and +1 with probability 1/2 each, (ii) every five of the random variables are independent, (iii) the sequence is "causal" in a certain sense, (iv) the sequence has a trivial double tail sigma-field, and (v) regardless of the normalization used, the partial sums do not converge to a (nondegenerate) normal law. The example has some features in common with a recent construction (for an arbitrary fixed positive integer N), by Alexander Pruss and the author, of a strictly stationary N-tuplewise independent counterexample to the central limit theorem.

研究动机与目标

• 解决关于是否存在严格平稳、有限状态、因果性的中心极限定理反例的问题，该反例适用于五重独立情形。
• 构造一个满足五重独立但任意归一化下不满足中心极限定理的序列。
• 确保该序列具有因果性（马尔可夫性）且双尾 σ-域平凡，从而增强其结构与概率清晰度。
• 通过引入因果性与伯努利型性质，扩展先前关于 N 重独立反例的研究成果。

提出的方法

• 将序列 $X_k$ 定义为 i.i.d. 创新项 $\eta_k$ 的可测函数 $f(\eta_k, \eta_{k-1}, \dots)$，以确保因果性与平稳性。
• 基于带记忆的有限状态马尔可夫链，采用递归构造方法，以实现五重独立性，同时避免联合独立性。
• 通过因果结构中远距离块的渐近独立性，确保双尾 σ-域平凡。
• 构造序列使得归一化部分和的第六个绝对矩始终与正态极限（15）保持有界距离，从而违反中心极限定理。
• 通过组合与测度论论证，验证序列严格平稳，且任意五个不同下标对应的随机变量相互独立。
• 通过与辅助过程 $X^*$ 的耦合论证，反证双尾 σ-域的平凡性，依赖于远距离块的独立性。

实验结果

研究问题

• RQ1 能否构造一个严格平稳、有限状态、因果的序列，使其五重独立但不满足中心极限定理？
• RQ2 五重独立是否足以保证在任意归一化下收敛于正态分布？
• RQ3 此类反例能否在具有平凡双尾 σ-域与因果结构的前提下构造？
• RQ4 是否存在结构障碍，使得该构造无法推广至 N ≥ 6 重独立且保持相同性质？
• RQ5 对于 N ≥ 6，是否存在有限状态、因果、N 重独立的中心极限定理反例？

主要发现

• 所构造的序列严格平稳，取值于 \{-1, +1\}，且取值概率相等。
• 序列中任意五个不同随机变量相互独立，尽管存在更高阶的依赖关系。
• 该序列具有因果性：每个 $X_k$ 关于由 $\{\eta_j : j \leq k\}$ 生成的过去 σ-域可测，从而保证马尔可夫结构。
• 双尾 σ-域平凡，即所有尾事件的概率为 0 或 1。
• 归一化部分和 $S_n / \sqrt{n}$ 的第六个绝对矩的上极限严格小于 15，违反了正态极限所要求的收敛至 15。
• 存在无限子集 $T \subset \mathbb{N}$，使得 $S_n / \sqrt{n}$ 依分布收敛于一个非退化、非正态的测度 $\mu$，从而证明中心极限定理不成立。