形式陈述
设固定维估计量已在 IID 抽样下满足Z-估计 理路 估计方程与 Z 估计 Z-estimation · Estimating equation 区分求根和极小化,给出多根定位、近似残差与局部 Jacobian 线性化的完整接口。 的一阶展开
n ( θ ^ − θ 0 ) = − A − 1 1 n ∑ i = 1 n ψ ( X i , θ 0 ) + o P ( 1 ) , 其中 E ψ ( X , θ 0 ) = 0 ,A 非奇异,B = E [ ψ ( X , θ 0 ) ψ ( X , θ 0 ) T ] 有限。记 V = A − 1 B A − T ,它是根号样本量误差极限分布的协方差矩阵 理路 协方差 Covariance 两个随机变量中心化乘积的期望,衡量线性共同变化。 。本页的任务是把未知的 V 转为可以实际计算的标准误,不重新定义估计量。
采用平均方程 Ψ n = P n ψ 时,定义
A ^ = 1 n ∑ i D θ ψ ( X i , θ ^ ) , B ^ = 1 n ∑ i ψ ^ i ψ ^ i T , V ^ = A ^ − 1 B ^ A ^ − T . 若 A ^ → P A 、B ^ → P B ,则 V ^ → P V 。实际估计量的近似协方差为 V ^ / n ,第 j 坐标标准误为 V ^ j j / n 。对固定向量 c ,所报目标 c T θ 0 的标准误必须使用完整矩阵:
se ^ ( c T θ ^ ) = c T V ^ c / n . 也可把 B ^ 换成中心化得分外积 P n [ ( ψ ^ − ψ ¯ ) ( ψ ^ − ψ ¯ ) T ] 。两者相差 ψ ¯ ψ ¯ T ;在 ψ ¯ = o P ( 1 ) 时具有相同概率极限。有限样本选择必须写清。
插件一致性为什么不是普通大数律一句话
ψ ^ i 共享由整份样本拟合的 θ ^ ,所以它们并非独立同分布。不能直接把固定函数的普通大数律用于这些拟合后得分。
例如,若 θ ^ → P θ 0 ,在某个固定邻域内有 ‖ ψ ( x , θ ) − ψ ( x , θ 0 ) ‖ ≤ L ( x ) ‖ θ − θ 0 ‖ ,且 E L 2 < ∞ 、E ‖ ψ ( X , θ 0 ) ‖ 2 < ∞ ,则令 d n = ‖ θ ^ − θ 0 ‖ ,在估计量位于邻域的事件上
‖ P n ( ψ ^ ψ ^ T − ψ 0 ψ 0 T ) ‖ ≤ 2 d n P n ( L ‖ ψ 0 ‖ ) + d n 2 P n L 2 = o P ( 1 ) . 两项经验均值由大数律 理路 强大数定律 Law of large numbers · Strong law of large numbers · SLLN 独立同分布且可积时,样本均值沿几乎每条无限样本路径收敛到共同期望。 稳定,第一项可积性由 Cauchy–Schwarz 保证;再对固定函数 ψ 0 ψ 0 T 应用大数律即得 B ^ → P B 。A ^ 则可由样本 Jacobian 的局部一致逼近和总体 Jacobian 连续性处理。最后矩阵求逆在非奇异 A 附近连续,完成 V ^ 的一致性。
直觉
中间的 B 描述观测推力怎样波动,两侧的 A − 1 把推力单位换成参数单位。只看曲率而忽略推力方差,相当于假定二者满足正确似然下的信息等式;异方差或模型错配时,这种抵消通常不存在。
图片加载失败 Sandwich 协方差的单位与定标 可执行的计算顺序
先固定估计目标、得分符号和独立抽样单元,再拟合参数并检查残差与根选择。随后逐行求得分和 Jacobian,累积 A ^ 、B ^ ,检查 A ^ 的秩与条件数。通过线性方程求解实现夹乘,通常不显式形成逆矩阵;最后除以 n ,对所报目标传播协方差。
固定维、每行得分和 Jacobian 可在 O ( p 2 ) 计算时,累计成本 O ( n p 2 ) 、存储 O ( p 2 ) ,矩阵分解成本 O ( p 3 ) ;模型拟合成本另计。若 A ^ 奇异,算法应返回“无法按此公式构造协方差”,不能静默使用广义逆后为不可识别坐标报告普通标准误。
例子与边界
五行回归从残差算到 HC0
用截距和斜率拟合五行数据
x = ( − 2 , − 1 , 0 , 1 , 2 ) , y = ( 0 , 1 , 1 , 2 , 6 ) . 写 z i = ( 1 , x i ) T 、ψ i ( β ) = z i ( y i − z i T β ) 。正规方程给 β ^ = ( 2 , 13 / 10 ) T ,残差依次为
e = ( 3 / 5 , 3 / 10 , − 1 , − 13 / 10 , 7 / 5 ) . 这份数据用于复核算术,不能仅凭五个残差认定真实总体异方差。按上面的得分符号,
A ^ = − P n z z T = ( − 1 0 0 − 2 ) , B ^ = P n e 2 z z T = ( 51 / 50 24 / 25 24 / 25 553 / 250 ) . 例如非对角元由 ∑ i x i e i 2 / 5 = 24 / 25 得到,不能因 ∑ i x i = 0 就把它删掉。夹乘并除以 n = 5 后,HC0 协方差为
Cov ^ ( β ^ ) = ( 51 / 250 12 / 125 12 / 125 553 / 5000 ) . 截距与斜率的标准误约为 0.451664 和 0.332566 。若报告 x = 1 处的拟合均值,目标是 β 0 + β 1 ,估计值为3.3,方差为
51 / 250 + 2 ( 12 / 125 ) + 553 / 5000 = 2533 / 5000 , 标准误约0.711758。它不包含新个体响应的随机噪声,因此不是预测区间的尺度。
普通同方差公式使用 s 2 = ∑ e i 2 / ( 5 − 2 ) = 17 / 10 ,给协方差 diag ( 17 / 50 , 17 / 100 ) 。HC0 与它不同,不表示 HC0 在这个五点样本上已获得精确覆盖。HC1 会把 HC0 乘以 n / ( n − p ) = 5 / 3 ;这类自由度修正也不会自动恢复经典精确 t 分布。
明确的异方差总体
考虑无截距标量回归。令 X 等概率取1或2,U 独立等概率取 ± 1 ,Y = β X + X U 。于是 E ( Y ∣ X ) = β X ,但条件方差为 X 2 。有
A = − E X 2 = − 5 / 2 , B = E [ X 2 ( Y − β X ) 2 ] = E X 4 = 17 / 2 , 故根号样本量下的真实方差为 V = 34 / 25 。同方差公式的极限却为 E [ ( X U ) 2 ] / E X 2 = 1 。因此普通标准误把方差系数从1.36报成1;不是 OLS 中心错误,而是分母尺度错误。所有变量有界,设计二阶矩正,固定维 IID 的大数律、中心极限定理与残差插件条件都可直接检查。
固定阈值 Huber 的小样本桥梁
对旧M-估计 理路 M-估计 M-estimation · M-estimator 通过随机准则的精确或近似极值选择参数,并把样本准则与总体识别目标分开。 中的数据 ( − 1 , 0 , 1 , 100 ) ,固定阈值1、固定尺度1,估计位置为 1 / 2 。四个得分是 ( − 1 , − 1 / 2 , 1 / 2 , 1 ) ,样本中两个残差严格落在截断区间内部,所以
A ^ = − 1 / 2 , B ^ = 5 / 8 , V ^ = 5 / 2 , se ^ = 5 / 8 ≈ 0.790569 . 这里没有观测恰落在截断点,故样本导数计数无歧义。要把这项算术升级为抽样保证,还需总体根唯一、截断点无原子、P ( | X − θ 0 | < 1 ) > 0 ,以及相应的非光滑渐近线性证明;不能直接调用前页的处处连续可微版本。若阈值或尺度由本样本选择,固定值的得分协方差也不是完整误差账本。
推论与应用
若固定对比满足 c T V c > 0 ,由上述一致性及Slutsky 定理 理路 Slutsky 定理 Slutsky's theorem 依分布收敛随机量与依概率收敛常量组合时,和、积与合法商保持相应分布极限。 ,
c T ( θ ^ − θ 0 ) c T V ^ c / n ⇒ N ( 0 , 1 ) . 这才支持渐近 Wald 区间。有限样本出现零分母、负的数值舍入对角元或病态 A ^ 时,应报告失败并检查模型、矩阵和样本量,不把数值补丁说成理论保证。
异方差稳健与普通最小二乘的精确同方差推断 理路 普通最小二乘推断 Ordinary least squares inference · OLS inference 在线性模型假设下推导 OLS 系数分布、标准误及有限样本 t/F 推断。 服务不同假设。相关行必须按实际独立单元计算得分协方差,时间序列还涉及长期协方差;直接把每行外积相加不估计这些跨行项。模型错配时区间中心通常是准则的伪真目标 理路 伪真参数与错配目标 Pseudo-true parameter 在真实分布不属于工作模型时,明确准则实际收敛的目标,并分开目标偏差、抽样方差和数值误差。 ,稳健标准误不会修复中心与科学目标之间的系统差异。
自测与答案
若把全部得分乘 − 1 ,A ^ 、B ^ 和标准误怎样变?答案:A ^ 变号,B ^ 不变,两侧负号抵消,标准误不变。
把每条观测复制一次并声称样本量翻倍,会怎样?答案:平均的 A ^ 、B ^ 不变,错用新行数会让标准误缩小到原来的 1 / 2 。复制并未产生独立信息,正是IID前提被破坏。
按时间排列的得分怎样估计协方差
若得分跨时点相关,HAC协方差与Bartlett窗口 理路 HAC协方差估计与Bartlett窗口 HAC covariance estimation · Newey–West covariance estimator · Bartlett HAC estimator 将按时间排列的得分转成半正定Bartlett长期协方差,证明有限窗口恒等式,并在明确的高斯有限MA模型下完成一致性、均值标准误与失败诊断。 补入加权滞后外积,并用窗口平方和证明有限样本半正定。平均方程下仍须在夹乘后除以样本量;平稳依赖、拟合得分一致性及CLT要另行验证。它提供三点硬截断负方差的复算与高斯有限MA均值的完整保证。
参考资料