[论文解读] On the best possible Rosenthal-type bound

Iosif Pinelis|arXiv (Cornell University)|Apr 16, 2013

Random Matrices and Applications被引用 1

一句话总结

该论文在固定二阶与p阶绝对原点矩的条件下，建立了独立零均值随机变量和的p阶绝对矩的精确上界。通过无穷可分分布的变分法，证明最优上界由一个经常数缩放的泊松分布实现，其参数由矩约束唯一确定。

ABSTRACT

It is shown that, for any given $p\ge5$, $A>0$ and $B>0$, the exact upper bound on $\mathsf{E}|\sum X_i|^p$ over all independent zero-mean random variables (r.v.'s) $X_1,\ldots,X_n$ such that $\sum\mathsf{E}X_i^2=B$ and $\sum\mathsf{E}|X_i|^p=A$ equals $c^p\mathsf{E}|\Pi_{\lambda}-\lambda|^p$, where $(\lambda ,c)\in(0,\infty)^2$ is the unique solution to the system of equations $c^p\lambda=A$ and $c^2\lambda=B$, and $\Pi_{\lambda}$ is a Poisson r.v. with mean $\lambda$. In fact, a more general result is obtained, as well as other related ones. As a tool used in the proof, a calculus of variations of moments of infinitely divisible distributions with respect to variations of the Levy characteristics is developed.

研究动机与目标

• 在固定二阶与p阶绝对矩的条件下，确定独立零均值随机变量和的p阶绝对矩的最优上界。
• 刻画实现该最优上界的分布，表明其源于一个缩放的泊松随机变量。
• 为无穷可分分布的矩关于Lévy特征的变分法框架提供理论基础。
• 通过提供精确、紧致的界而非渐近或定性估计，推广罗森达尔型不等式。

提出的方法

• 推导出缩放常数c与泊松均值λ与给定矩约束A和B之间的方程组。
• 利用泊松分布的矩生成函数，表达缩放泊松变量的p阶绝对矩。
• 应用变分法方法，分析无穷可分分布中Lévy测度的无穷小变化。
• 证明最优分布由方程组c^pλ = A与c^2λ = B的解(λ, c)唯一刻画。
• 通过证明在相同矩约束下，不存在其他独立零均值随机变量能超越此值，证明该界是紧致的。
• 将结果推广至更广泛的无穷可分分布类，涵盖特定情形之外的更广范围。

实验结果

研究问题

• RQ1 对于所有满足∑E[Xi]^2 = B与∑E|Xi|^p = A（p ≥ 5）的独立零均值随机变量，E|∑Xi|^p的精确上确界是什么？
• RQ2 在已知参数族下，能否显式刻画实现该上界的最优分布？
• RQ3 如何系统分析无穷可分分布Lévy特征的变化，以优化其矩？
• RQ4 在给定矩约束下，经适当缩放的泊松分布是否为p阶绝对矩的唯一最大化分布？
• RQ5 罗森达尔型不等式能否被强化，以获得精确、紧致的界，而非渐近或定性估计？

主要发现

• E|∑Xi|^p的精确上界为c^p × E|Πλ − λ|^p，其中(λ, c)是方程组c^pλ = A与c^2λ = B的解。
• 最优分布为缩放泊松随机变量，其缩放因子与强度由矩约束A与B唯一确定。
• 该界是紧致的，无法改进，因为不存在其他独立零均值随机变量配置能获得更大的p阶矩。
• 对于任意p ≥ 5及A, B > 0，解(λ, c)在(0, ∞)^2中存在且唯一。
• 所开发的变分法框架可精确优化无穷可分分布的矩，其优化对象为其Lévy特征。
• 该结果可推广至更广泛的无穷可分分布类，拓展了紧致矩界的应用范围。