[论文解读] Universal concentration for sums under arbitrary dependence

Cosme Louart, Sicheng Tan|arXiv (Cornell University)|Jan 7, 2026

Probability and Risk Models被引用 0

一句话总结

该论文在任意相关性下通过基于极大非递增集合值算子与期望短缺的次可加性的运算符框架，证明了同分布随机变量之和的一个普适、渐近最优的集中界。

ABSTRACT

We present a universal concentration bound for sums of random variables under arbitrary dependence, and we prove that it is asymptotically optimal for broad families of marginals admitting a uniform integrable tail-quantile envelope. The bound follows directly from the subadditivity of expected shortfall, a property well known in the risk-measure literature. Our sharpness result relies on an explicit construction of asymptotically extremal couplings. We furthermore provide practical sufficient conditions -- based on convex transformation order comparisons with exponential and power-law envelopes -- under which the bound admits simple, explicit tail profiles.

研究动机与目标

• 在给定边缘分布的前提下，为任意相关性的随机变量之和建立普适尾部界。
• 引入基于算子的框架（极大非递增算子）来编码集中界。
• 证明该界在渐近意义上是尖锐的，并刻画最坏相关性配置。
• 将集中界与期望短缺（CVaR）及Hardy变换的次可加性联系起来。

提出的方法

• 将集中性编码为在 M_downarrow 内的极大非递增算子之间的不等式。
• 使用生存函数与尾分位算子 S_X 和 T_X，及算子反演 S_X arrow T_X 来关联界。
• 通过 Hardy 变换得到尖锐界 S_{X_1+...+X_n}  (T_{X_1} + ... + T_{X_n})^{-1}，即 S_{X_1+...+X_n}  (H(T_{X_1}) + ... + H(T_{X_n}))^{-1}。
• 在同分布情形下得到 S_{rac{1}{n}1 sum X_k}  H(T_mu)^{-1} 与 n 无关。
• 构造最坏相关性配置（时隙变量混合）以证明渐近上尖锐性（定理 2）。
• 给出推论，提供显式、可实现的包络（例如 S_mu  C Id^{-q}, S_mu  C E_1），通过 Hardy 变换恒等式与凸性推导。

实验结果

研究问题

• RQ1 在给定边际分布的前提下，可以为具有任意相关性的随机变量之和建立何种普适尾部界？
• RQ2 在独立同分布的情形下，是否可以把界以与样本数 n 无关的方式表达？
• RQ3 集中界在渐近意义上的尖锐程度如何，达到尖锐性的最坏相关结构是什么？
• RQ4 如何通过可操作的尾部包络来实现对界的可计算性？
• RQ5 该界与经典风险度量（如期望短缺 CVaR）的关系如何，是否通过次可加性得到联系？

主要发现

• 获得一个普适且渐近最优的尾部界：在 i.i.d. 情况下，S_{(X_1+...+X_n)/n}  (H(T_X) )^{-1}（定理 1）。
• 在 i.i.d. 情况下，该界与 n 无关，得到 S_{rac{1}{n} sum X_k}  mu 尾部轮廓通过 H(T_mu) 表示，移除了对 n 的依赖。
• 一种构造性方法（时隙变量）表明界是尖锐的：存在同分布且边际分布相同的 X_i 序列，使 S_{rac{1}{n} sum X_k}(t) 收敛到极限轮廓 S_{mu,p}。
• 推论给出实际可用的显式、可操作的包络，包括 S_mu  C Id^{-q} 与 S_mu  C E_1，通过 Hardy 变换恒等式与凸性论证。
• 工作将该界与期望短缺（CVaR）的次可加性联系起来，展示该概念支撑普适尾部界。
• 定理 3 展示了 f  Id^{-q} 的凸性性质与指数包络 E_1 之间的联系，表明幂型与指数型界在 q f
  dinfty 时的渐近等价性。