[论文解读] A counterexample to a hypothesis of light tail of maximum distribution for continuous random processes with light finite-dimensional tails

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Aug 30, 2012

Stochastic processes and statistical mechanics参考文献 5被引用 6

一句话总结

本文构造了一个反例，以反驳如下假设：若一个连续、中心化的随机过程在有限维分布中具有轻尾，则其最大值分布也必为轻尾。通过在有限测度的概率空间上，精心设计一组互不相交的重尾随机变量序列，作者证明即使该过程在有限维具有轻尾（例如在 $L_{p_0}$ 或 Orlicz 空间中），其上确界仍可能具有重尾——具体表现为 $p_0$ 次幂律尾部，导致其 Orlicz 范数对某些 Young 函数为无穷大，从而否定了尾部传播的猜想。

ABSTRACT

We construct an example of a continuous centered random process with light tails of finite-dimensional distribution but with heavy tail of maximum distribution.

研究动机与目标

• 反驳如下假设：连续、中心化的随机过程若在有限维具有轻尾，则其最大值分布也必为轻尾。
• 证明过程上确界的尾部行为可能显著重于其有限维分布的尾部行为。
• 构造一个显式例子：该连续随机过程的有限维分布为轻尾（在 $L_{p_0}$ 和 Orlicz 空间中），但其最大值分布具有重尾。

提出的方法

• 在具有 Lebesgue 测度的概率空间 $(0,1)$ 上，定义一列非负、两两不相交的随机变量 $g_n(x)$，每个均支持在收缩区间 $I_n = (a(n), a(n+1))$ 上。
• 通过缩放因子 $c(n) = n^{eta}$（其中 $\beta = \alpha/p_0$，$\alpha \in (0,1)$）对每个 $g_n$ 进行缩放，以控制其 $L_p$-范数和尾部行为。
• 利用不相交性，得到 $|\sum g_n|_p^p = \sum |g_n|_p^p$，从而精确控制上确界 $g = \sup_n |g_n|$ 的 $L_p$-范数。
• 证明当 $p \to p_0^-$ 时，有 $|g|_p \sim C (p_0 - p)^{-1/p_0}$，这意味着 $||g||_{G_{1/p_0,p_0}} < \infty$，即上确界属于一个大 Lebesgue 空间。
• 构造 Young 函数 $\Psi(u) = |u|^{p_0} (\log(e + |u|))^{-1/2}$，使得 $\Psi << \Phi$（其中 $\Phi(u) = |u|^{p_0}$），并通过证明 $\int \Psi(|\eta(x)|) dx$ 发散，得出 $||g||_{Or(\Psi)} = \infty$。
• 应用 Rademacher 对称化，得到一个中心化过程 $\theta(t)$，其上确界具有相同的尾部行为，同时保持反例结构不变。

实验结果

研究问题

• RQ1 连续、中心化的随机过程若在有限维具有轻尾，是否必然导致其最大值分布也为轻尾？
• RQ2 即使边际分布为轻尾（在 $L_{p_0}$ 或 Orlicz 范数下），过程的上确界是否可能表现出比任何有限维边际更重的尾部？
• RQ3 能否构造一个过程，使得其上确界的 Orlicz 范数对 Young 函数 $\Psi << \Phi$ 发散，尽管其有限维分布的范数在 $Or(\Phi)$ 中有界？
• RQ4 在缺乏更强的矩或尾部条件时，熵或泛化链条件是否不足以保证上确界的轻尾？
• RQ5 此类反例是否可在有限测度的概率空间上构造，而非仅限于无限测度空间？

主要发现

• 所构造过程 $\theta(t)$ 的上确界尾部衰减为 $z^{-p_0}$，即幂律尾部，其重于指数或次高斯尾部。
• 尽管有限维分布的范数在 $L_{p_0}$-范数和 Orlicz 空间 $Or(\Phi)$（其中 $\Phi(u) = |u|^{p_0}$）中一致有界，但上确界的 Orlicz 范数在 $Or(\Psi)$ 中为无穷大，其中 $\Psi(u) = |u|^{p_0} (\log(e + |u|))^{-1/2}$。
• 上确界的尾部如此之重，以至于 $||\sup_t |\theta(t)|||_{Or(\Psi)} = \infty$，即使 $\Psi << \Phi$，从而否定了该假设。
• $\text{上确界}$ 的 $L_p$-范数满足：当 $p \to p_0^-$ 时，有 $|g|_p \sim C (p_0 - p)^{-1/p_0}$，确认了大 Lebesgue 空间范数估计的精确性。
• 当将 Orlicz 范数替换为广义 Lorentz 或 $K(h)$-准范数时，该反例依然成立，表明该现象在不同尾部度量工具下具有鲁棒性。
• 即使该过程取值于任意可分 Banach 空间，该结果依然成立，表明尾部传播的失效是结构性的，而非特定于函数空间。