形式陈述
样本相关越接近 ,它能向外波动的空间越小,怎样避免在原尺度上使用不合适的对称误差条?设 为独立同分布的非退化二元正态公理库多元正态分布Multivariate normal distribution · Multivariate Gaussian distribution · Jointly Gaussian vector以所有线性组合都正态刻画联合高斯向量,并由特征函数连接线性构造、退化支撑、全维密度与条件分布。样本,总体相关 固定。对 ,样本 Pearson 相关系数公理库协方差Covariance两个随机变量中心化乘积的期望,衡量线性共同变化。为
Fisher 变换定义为
严格的一阶渐近正态结论公理库估计量的渐近正态性Asymptotic normality of estimators估计误差在明确中心、速率与协方差下趋于正态律,以及线性化、标准化和边界失效机制。为
实践中常对 使用 ,形成近似区间
其中 为标准正态公理库正态分布Normal distribution · Gaussian distribution · 高斯分布具有指数平方密度、在仿射变换与独立求和下封闭的概率分布族。分位数。 是常用有限样本近似修正,不是上述一阶极限定理单独推出的精确方差,更不是精确正态分布声明。
直觉
相关系数挤在 中,靠近边界时同样大小的变化具有不同含义。反双曲正切把两端拉向无穷,并在接近边界处拉得更强。
二元正态下,样本相关的一阶方差含因子 ;Fisher 变换的导数恰为 ,所以线性误差传播后,两者抵消。这就是“方差稳定”的具体机制。
回到相关尺度时必须把两个端点分别用 变回去。变换后的区间一般不再围绕 对称,而且始终落在合法范围内;这种不对称是几何本身的结果。
例子与边界
三十个观测,相关为零点六
取 。变换值为
使用 作为近似标准误、标准正态 分位数 ,变换尺度的区间为
对两个端点分别取 ,得到相关尺度的近似 区间
它不是 加减同一个半宽。特别不能把 尺度上的常数标准误直接挪到 上;例如 时,错误地使用 会给出大于一的上界。
非正态下,方差未必被稳定成一
取独立标准正态 ,另取独立正变量 ,使 以各一半概率等于 或 。令 。有 、,所以 ,但共同随机尺度使它们不是独立二元正态。
此时样本相关的一阶影响项是 ,方差为
在零相关处 ,因此变换后的一阶方差系数仍为 ,不是一。存在有限四阶矩也不足以恢复 Gaussian 专属的单位系数。
边界、依赖与样本量
时,非退化两点样本的相关绝对值恒为一,变换无穷; 时常用的 修正也无法使用。总体 是退化边界,不属于本页固定内部参数的定理。
时间相关或簇相关样本的有效波动不能由原始行数直接代入。样本相关非常接近边界、模型偏离正态或样本很小时,也不能仅凭变换后的数值有限就认定正态近似已经良好。
推论与应用
先推导相关系数的一阶误差
相关不受分别平移与正比例缩放影响,所以证明时可设 、、。令三项未中心化样本矩为
样本中心化只会分别减去 ,它们都是 ,不改变根号样本量的一阶项。对 在 处展开,梯度为 。因此
二元正态的四阶矩给出
例如写 、 独立标准正态,再用 就能逐项验证。代入后
独立同分布的影响项具有零均值与有限方差,中心极限定理公理库中心极限定理Central limit theorem适当归一化的独立随机变量和在分布上趋于正态分布。给出 。
第二次线性化稳定方差
由 Delta 方法公理库Delta 方法Delta method用可微映射的一阶 Taylor 展开传播估计量的渐近分布与协方差。,
这就是单位方差的来源。一阶定理只区分 的主尺度,无法在 这些同一阶表达中单独选出高阶修正。更精细的小样本近似需要进一步分析;不能把常用修正倒写成一阶证明的结果。
比较两个独立相关估计
若两份样本彼此独立、各自来自二元正态模型,样本量为 ,则在两总体相关相等的原假设下,常用近似统计量为
独立性使两份方差相加。若两个相关来自同一份数据、共享一个或多个变量,必须加入协方差项,不能把这条两独立样本公式直接套上。
参考资料