第十一章:把负工艺效应改写成正斜率
本章造假目标
五条中心化工艺记录包含负载 Z、工艺强度 X 和产出 Y。预先批准的模型为 Y∼X+Z,其中工艺系数是 −1.000,经典双侧 p=0.036。结果摘要只验收一项:展示的 X 斜率至少为 1.0。允许的操作仅限于从展示模型中省略负载 Z,不得改动数据、删行、替换响应变量或增加变换。本章将构造通过验收的一元回归,并依次追问:斜率怎样由最小二乘产生,正号怎样由遗漏变量产生,“同负载比较”怎样由 FWL 残差化实现,标准误能修正什么,以及高杠杆行是否支撑了验收结论。
省略一列便足以改变斜率方向
五条记录为
| i | 负载 Z | 工艺强度 X | 产出 Y |
|---|
| 1 | −2 | −1 | −4.8 |
| 2 | −1 | −2 | −1.1 |
| 3 | 0 | 0 | −0.4 |
| 4 | 1 | 0 | 3.3 |
| 5 | 2 | 3 | 3.0 |
X,Z,Y 的样本均值都为 0。若展示模型只保留 X,含截距的一元回归斜率为
βXsimple=X⊤XX⊤Y=1416=78≈1.143.
它超过验收线 1.0。恢复负载以后,
Y∼X+Z⟹βXfull=−1.
两次回归使用同样的五行数据,差别只在模型矩阵是否含有 Z。一元模型比较不同负载下的记录;完整模型把负载保持不变作为线性比较条件。这种条件比较由投影实现,原表无需出现负载完全相同的两行。斜率方向随比较条件一起改变。
造假动作留下的影子
省略 Z 后,数据文件仍然完整,模型规格已经缩短。可复核痕迹会出现在分析方案与代码公式的差异、设计矩阵缺失的列、未报告的控制变量模型,以及残差化前后相反的斜率中。
这个构造提出三个连续问题:78 为什么是最小二乘解;它为何与 −1 相差 715;恢复 Z 以后,系数和不确定性又从哪些数据方向中计算出来。
最小二乘把拟合写成优化问题
含截距的一元线性回归写成
Yi=β0+β1Xi+vi.
最小二乘选择 β0,β1,使残差平方和
RSS(β0,β1)=i=1∑n(Yi−β0−β1Xi)2
达到最小。分别求偏导并令其为 0:
i∑(Yi−β0−β1Xi)=0,
i∑Xi(Yi−β0−β1Xi)=0.
第一条正规方程给出
β0=Y−β1X.
将它代入第二条:
β1=∑i(Xi−X)2∑i(Xi−X)(Yi−Y).
因此,斜率等于 X,Y 的共同变化除以 X 自身的变化。它也可以写成
β1=rXYsXsY,
其中 rXY 是样本相关系数,sX,sY 使用相同的方差分母。相关系数没有量纲,回归斜率带有“Y 的单位/X 的单位”;二者描述相关的几何关系,承担的解释任务仍有区别。
本章三列已经中心化,故 β0=0,并且
X⊤X=14,X⊤Y=16.
这便得到 β1=8/7。
方法来路:最小二乘为何从轨道与测地观测中出现
天文和测地观测常用多条带误差的方程估计少数未知参数,方程数量超过未知量时,各条方程通常无法同时严格成立。Legendre 在 1805 年公开提出“最小二乘”规则,用残差平方和统一处理超定方程;Gauss 在 1809 年的轨道计算著作中进一步讨论误差概率模型。优化问题定义了点估计,误差模型随后为标准误与概率推断提供依据。这个先后关系很重要:算出一条最小二乘直线,无须先假定误差服从正态分布;赋予小样本 t 检验精确概率含义,则需要额外假设。
点估计通过验收仍不等于统计证据充分
一元模型的拟合值为
Yi=78Xi,
残差向量为
v=(−35128,7083,−52,1033,−73)⊤,
所以
RSSsimple=v⊤v=701821≈26.014.
模型估计截距和一个斜率,残差自由度为 5−2=3。经典同方差方差估计与斜率标准误为
σv2=3RSSsimple,
\SEclassic(β1)=∑i(Xi−X)2σv2=14(1821/70)/3≈0.787.
常规软件据此给出
t=0.7878/7≈1.452,ptwo-sided≈0.242.
这里出现了两条互不替代的验收规则:
-
点估计规则问 β1≥1 是否成立;
-
显著性检验问数据与“目标斜率为 0”的模型是否相容,并且答案依赖误差假设与参照分布。
第一条已经通过,第二条没有在 5% 水平拒绝零斜率。
适用边界:自由度为 3 的 t 参照从哪里来
在把 X 视为给定的经典模型中,若
v∣X∼N(0,σv2I),
则用残差均方替代 σv2 后,斜率统计量精确服从自由度 n−2 的 t 分布。仅有最小二乘公式并不能推出这个分布。本章一元模型还省略了与 X 共同变化的 Z,所以 p=0.242 应读作该一元规格下的常规模型输出。它既没有恢复同负载比较,也没有为工艺因果效应提供检验。
遗漏变量公式分解正斜率的来源
设完整总体条件均值为
Y=β0+βXX+γZ+ε,E(ε∣X,Z)=0.
若只用 X 与截距对 Y 作线性投影,一元总体斜率满足
βXsimple=Var(X)Cov(X,Y)=Var(X)Cov(X,βXX+γZ+ε)=βX+γVar(X)Cov(X,Z).
最后一步使用了 Cov(X,ε)=0,它由条件均值假设和迭代期望得到。令
δZ∼X=Var(X)Cov(X,Z),
则 δZ∼X 正是把 Z 对 X 与截距回归时的总体斜率。遗漏项
γδZ∼X
同时需要两段联系:Z 进入 Y 的条件均值,并且 Z 随 X 系统变化。任一段联系消失,这个遗漏项都为 0。
本章数据也满足完全对应的样本恒等式。完整模型的正规方程为
(14101010)(βXγ)=(1620),
解得
βX=−1,γ=3.
同时,
δZ∼X=X⊤XX⊤Z=1410=75.
因此
βXsimple=−1+3⋅75=78.
正斜率由两部分相加而成:同负载下的条件斜率贡献 −1,负载随工艺强度共同变化所混入的部分贡献 15/7。
适用边界:线性投影恒等式不自动给出因果解释
遗漏变量公式精确描述两套线性回归系数之间的关系。把 Z 称为因果混杂变量,还要说明研究目标、时间顺序、共同原因、测量方式、函数形式与可识别条件。预测模型可能有意省略 Z,关联模型需要准确命名比较条件,因果模型则要论证调整集合。第十八、十九章将用干预和因果图补充这些条件。
FWL 定理把控制变量变成残差方向
“控制 Z”可以写成一个明确的投影运算。令
C=(1z),
并假设 C 满列秩。投影矩阵与残差生成矩阵分别为
PC=C(C⊤C)−1C⊤,MC=I−PC.
它们满足
PC⊤=PC,PC2=PC,MC⊤=MC,MC2=MC,C⊤MC=0.
PC 保留由截距和 Z 张成的方向,MC 保留与这些方向正交的剩余变化。
推导:FWL 系数公式
考虑完整回归
y=xβ+Cδ+ε.
先固定 β,再对 δ 最小化
∥y−xβ−Cδ∥2.
相应解为
δ(β)=(C⊤C)−1C⊤(y−xβ).
代回以后,未被 C 解释的残差是
MC(y−xβ).
于是原来的多元最小二乘问题化为
βmin∥MCy−MCxβ∥2.
记
x=MCx,y=MCy.
若 x⊤x>0,则
β=x⊤xx⊤y=x⊤MCxx⊤MCy.
这就是完整回归中 x 的系数。
对本章数据,
X=Z+u,u=(1,−1,0,−1,1)⊤,
Y=2Z−u+e,e=(0.2,−0.1,−0.4,0.3,0)⊤.
这些向量满足
1⊤u=Z⊤u=0,
1⊤e=Z⊤e=u⊤e=0.
所以
X=MCX=u,
Y=MCY=−u+e=(−0.8,0.9,−0.4,1.3,−1.0)⊤.
FWL 斜率为
βX=u⊤uu⊤(−u+e)=4−4=−1.
原始点云中的正方向和残差点云中的负方向可以并列观察。

FWL 同时从 X 和 Y 中剔除截距与负载方向;两幅图使用不同坐标尺度。
方法来路:FWL 为什么要同时残差化两边
Frisch 与 Waugh(1933)提出分块回归结果,Lovell(1963)作出一般阐释。FWL 对 X,Y 同时施加 MC,使系数完全由控制变量空间正交补上的变化决定。
矩阵形式统一一元回归与多元回归
把完整模型写成
y=Dθ+ε,D=1⋮1X1⋮X5Z1⋮Z5,θ=β0βXγ.
残差平方和为
RSS(θ)=(y−Dθ)⊤(y−Dθ).
求导得到正规方程
D⊤Dθ=D⊤y.
若 D 满列秩,
θ=(D⊤D)−1D⊤y.
本章的两个矩阵为
D⊤D=5000141001010,D⊤y=01620.
并且
(D⊤D)−1=5100041−410−41207.
因此
θ=0−13.
帽子矩阵
H=D(D⊤D)−1D⊤
把 y 正交投影到 D 的列空间。它是对称幂等矩阵,
H⊤=H,H2=H,tr(H)=rank(D)=3.
拟合值与残差为
y=Hy,e=(I−H)y.
正规方程也可写成
D⊤e=0.
它说明最小二乘残差与设计矩阵的每一列正交。
适用边界:公式适合推导,计算要留意条件数
显式形成 (D⊤D)−1 便于看清代数结构,实际计算通常采用 QR 分解或 SVD 求解最小二乘问题。形成 D⊤D 会放大病态性,直接求逆还会增加舍入误差。若设计矩阵不满列秩,某些系数无法由当前数据唯一确定;软件给出的广义逆解也需要配合可识别性说明。
完整模型的经典推断需要哪些假设
先采用经典线性模型的两个矩条件:
E(ε∣D)=0,Var(ε∣D)=σ2I.
由
θ=θ+(D⊤D)−1D⊤ε
可得
E(θ∣D)=θ,
Var(θ∣D)=σ2(D⊤D)−1.
本章完整模型的残差为
e=(0.2,−0.1,−0.4,0.3,0)⊤,
故
RSSfull=e⊤e=0.30.
模型含三个参数,残差自由度为 5−3=2,于是
σ2=20.30=0.15.
(D⊤D)−1 中与 βX 对应的对角元为 1/4,所以
\SEclassic(βX)=0.15⋅41≈0.194.
相应统计量为
t=0.194−1≈−5.164.
若再假设
ε∣D∼N(0,σ2I),
它精确服从自由度 2 的 t 分布,双侧 p 值为
p≈0.0355.
自由度 2 的 95% 置信区间为
−1±t0.975,2(0.194)≈[−1.833,−0.167].
完整模型的负系数拥有较小残差,并在这套经典假设下排除 0。一元正斜率通过点估计门槛,回答的比较问题也已经改变;两项输出不能互相替换。
稳健标准误只改动协方差估计
若各行相互独立、条件均值模型仍正确,但误差方差可能不同,
Var(εi∣D)=σi2,
同方差协方差公式失去依据。记 D 有 n 行、p 列,
A=(D⊤D)−1,hii=Hii.
异方差一致协方差估计具有夹心形式
VHCk=AD⊤ΩHCkDA.
常见的四种“夹心馅料”为
ΩHC0=diag(ei2),
ΩHC1=n−pnΩHC0,
ΩHC2=diag(1−hiiei2),
ΩHC3=diag((1−hii)2ei2).
HC1 作整体自由度修正;HC2 与 HC3 对高杠杆行更强地放大残差平方。本章完整模型的 βX 标准误依次为
| 口径 | 经典 | HC0 | HC1 | HC2 | HC3 |
|---|
| SE(βX) | 0.194 | 0.094 | 0.148 | 0.175 | 0.377 |
完整模型的杠杆向量为
(h11,…,h55)=(0.85,0.55,0.20,0.55,0.85).
五行数据、三个参数和两个 0.85 的杠杆值,使这些有限样本修正差异很大。稳健协方差估计主要依赖大样本理论;软件还可能采用不同自由度和参照分布,报告时应注明 HC 类型、自由度处理和检验分布。
更换协方差估计不会改动
βX=−1.
它处理误差方差口径,对遗漏变量、反向因果、测量误差和错误函数形式都无修复作用。若观测在设备、班次或时间段内相关,还要依据采样结构使用聚类稳健、HAC 或明确的相关模型。
方法来路:White 协方差估计解决了什么问题
经典标准误把所有观测的条件方差压成同一个 σ2。White 在 1980 年给出无需指定异方差函数形式的一致协方差估计,后续有限样本修正形成 HC1–HC3 等版本。它们保留同一组最小二乘系数,重新估计系数在重复抽样中的波动。“稳健”没有保证数值更大,本例 HC0 低于经典值;五行样本中的差异只应视为警告,不能据此挑选最有利的口径。
共线性控制精度,遗漏变量改变比较对象
FWL 还给出多元系数方差的几何来源。把 X 对截距与 Z 回归,拟合值为 Z,残差为 u,故
RX∼Z2=1−X⊤Xu⊤u=1−144=75.
在同方差模型中,
Var(βX∣D)=∑i(Xi−X)2(1−RX∼Z2)σ2.
相对于具有同样 X 变异、且 X 与控制变量正交的设计,方差膨胀因子为
VIFX=1−RX∼Z21=3.5,
标准误的相对膨胀倍数为
VIFX≈1.871.
这里应区分三件事:
-
共线性压缩 X 在控制变量之外的剩余变化,主要影响估计精度;
-
省略与 X,Y 都有关的变量会改变一元系数所混合的关系;
-
完全共线性使 MCX=0,此时分母为 0,条件系数无法识别。
VIF=3.5 说明有效变化有所减少,尚未出现完全共线性。系数翻转来自比较条件变化,不能归结为求解器故障。VIF 也没有通用的“安全阈值”;样本量、设计目的、单位和所需精度共同决定它是否构成实际问题。
影响诊断检查验收结论依赖哪些行
造假目标使用一元模型,因而应先诊断这条正斜率。含截距的一元模型有 p=2 个参数,帽子矩阵对角元满足
0≤hii≤1,i∑hii=tr(H)=2.
杠杆衡量第 i 行解释变量位置对拟合空间的潜在控制力;残差衡量该行与当前拟合的偏离。高杠杆配合较大残差时,系数可能明显改变。Cook 距离把二者合并:
Di=pMSEvi2(1−hii)2hii,MSE=n−pRSS.
本章逐行结果为
| 行 | 杠杆 hii | Cook 距离 | 删除后的 X 斜率 |
|---|
| 1 | 0.271 | 0.394 | 0.784 |
| 2 | 0.486 | 0.149 | 1.472 |
| 3 | 0.200 | 0.003 | 1.143 |
| 4 | 0.200 | 0.196 | 1.143 |
| 5 | 0.843 | 0.361 | 1.727 |
第 5 行的 X=3 位于解释变量边缘,杠杆最高;删除它以后,斜率反而增至 1.727。删除任一行,斜率仍为正,说明正号分布在整体 X–Z 配对结构中。验收门槛更脆弱:删除第 1 行会把斜率降至 0.784,从而失去“至少 1.0”的资格。
Cook 距离没有能够判定观测真假的普遍阈值。诊断量用于定位需要核查的记录和模型依赖性;删除数据还需要测量错误、纳入标准或预定规则等外部理由。完整报告应并列给出记录身份、原始值、删除前后系数与预测,并保留所有分析版本。
方法来路:Cook 距离为何同时使用残差和杠杆
Cook 在 1977 年从删除单个观测后系数置信椭球的变化出发提出影响度量。只看残差会漏掉解释变量位置极端、却被回归线拉近的点;只看杠杆又会把完全服从模型的边缘点误作强影响点。二者合并以后,诊断才对应“删除这一行会使拟合改变多少”。
把正斜率放回模型规格审计链
本章的验收结果可以压缩为
一元斜率78=同负载斜率(−1)+Z 对 Y 的条件系数3×Z 对 X 的斜率75.
这条恒等式还原了斜率翻转的来源。一份可复核的回归报告至少需要:
-
写明目标参数及其比较条件,区分预测、关联与因果目标;
-
保存预先批准的公式、变量字典、数据版本与分析代码;
-
并列报告一元模型、批准模型及有理论依据的敏感性规格;
-
给出系数、单位、置信区间、样本量、自由度和标准误口径;
-
用 FWL 残差或偏回归图展示目标变量的有效剩余变化;
-
报告相关矩阵、VIF、秩与条件数,说明可识别性和数值算法;
-
报告杠杆、残差、Cook 距离与删一结果,注明任何排除规则;
-
记录控制变量是在看见结果之前确定,还是在结果搜索中改变。
若分析者可以尝试许多控制变量集合、交互项和变换,再挑选最小的 p 值,问题便从单次模型遗漏扩展为多次搜索。下一章将研究怎样把二十次搜索压缩成一个看似普通的 p 值,以及多重性为何必须进入错误概率计算。
本章知识链
-
最小二乘通过最小化残差平方和定义系数;正态假设用于特定的小样本概率推断。
-
省略负载后,一元斜率为 8/7≈1.143,经典双侧 p≈0.242;点估计门槛和零假设检验回答不同问题。
-
遗漏变量恒等式把 8/7 分解为 −1+3(5/7),明确正号来自负载与工艺强度的共同变化。
-
FWL 将 X,Y 同时投影到截距和 Z 的正交补,再用残差回归恢复条件斜率 −1。
-
矩阵最小二乘把拟合写成列空间投影;满列秩保证系数唯一,实际数值计算宜采用 QR 或 SVD。
-
完整模型给出 SE(βX)≈0.194、t≈−5.164 和经典双侧 p≈0.0355;精确 t 参照还需条件正态误差。
-
HC0–HC3 保留系数并更换协方差估计;它们无法补回遗漏变量,也无法概括设备内或时间内相关。
-
VIF=3.5 表明控制负载后有效 X 变化减少,经典标准误相对正交设计膨胀约 1.871 倍。
-
删一斜率始终为正,正号来自整体配对;删除第 1 行后斜率降至 0.784,点估计验收线对单行仍然敏感。
思考与练习
-
用五行数据复算 X,Z,Y、X⊤X、X⊤Z、X⊤Y 和 Z⊤Y。
-
从一元残差平方和的两条正规方程出发,完整推导截距与斜率公式;再说明为何斜率的单位是“Y 的单位/X 的单位”。
-
复算一元模型的五个残差、RSS=1821/70、经典标准误和双侧 p 值,并列出把该 p 值视为精确概率所需的条件。
-
从完整总体模型推导遗漏变量公式。分别构造 γ=0 与 Cov(X,Z)=0 的例子,解释两种零偏差情形。
-
解本章的 2×2 正规方程,验证 βX=−1,γ=3;再用样本遗漏变量恒等式恢复 8/7。
-
证明 PC 和 MC 都是对称幂等矩阵,并证明 C⊤MC=0。随后按推导框完成 FWL 的一般证明。
-
验证 MCX=u、MCY=−u+e 及所有正交关系,手算残差回归的斜率和残差平方和。
-
复算 D⊤D、(D⊤D)−1、完整模型标准误和自由度 2 的 95% 置信区间。
-
根据正文四个 Ω 定义复算完整模型的 HC0–HC3 标准误;说明为何本例不适合根据最有利的结果选择 HC 版本。
-
推导单个控制变量时的 VIF 方差公式,并解释 R2→1 时 FWL 分母和系数方差分别怎样变化。
-
选择第 1 行或第 5 行,手算一元模型杠杆、Cook 距离和删一斜率;分别判断“斜率为正”和“斜率至少为 1”对该行是否敏感。
-
为设备寿命回归写一页预分析规格,明确目标参数、控制变量、函数形式、误差相关结构、异常点规则和主要模型;再列出五种结果出现后可能诱发的规格搜索。
专题导航