Chapter 5: GLM MLE

广义线性模型:极大似然估计与偏差

MTH303 Linear Statistical Models
第 5 章广义线性模型的极大似然估计与偏差
Chapter 5: Generalized Linear Models — MLE and Deviance
详细讲义:每个推导的逐步参考
Detailed Lecture Notes: A Step-by-step Reference for Lecturing
MTH303_Chapter_5.pdf(32 帧)
MTH303 Teaching Group ⋅\cdotSchool of Mathematics and Physics ⋅\cdotXJTLU
:verify_ch5.py⋅\cdot前置讲义:第 4 章详细讲义(本目录 main.pdf)

这份讲义怎么用 How to use these notes

第 4 章回答"模型怎么设定",第 5 章回答两件事:参数怎么算出来(MLE 的正规方程与三种迭代算法)以及模型拟合得有多好(偏差)。课件在这两处都只给关键式子,本讲义把中间代数补齐,并把每一步的数值算给你看——上课照着写、当堂核对都不会出错。

三类标记与第 4 章一致:【步骤】(蓝框)可逐行照抄黑板;【要点】(绿框)是结论与成立条件;【易错】(红框)先给错误写法再给正确写法;【板书】(灰框)是建议留在黑板上的最小内容。

与第 4 章的接口 What carries over from Chapter 4

第 5 章的每个公式都只是把第 4 章的结论代进似然里。上课前花两分钟把下面这张表过一遍,学生的"卡壳"会少一半。

第 4 章的结论 在第 5 章里变成什么 用在哪
f=exp⁡{[yθ−b(θ)]/a(ϕ)+c}f=\exp\{[y\theta-b(\theta)]/a(\phi)+c\} 对数似然 ℓ(𝜷)\ell(\boldsymbol{\beta}) §1.4、§2.1
μ=b′(θ)\mu=b'(\theta),b″(θ)=V(μ)>0b''(\theta)=V(\mu)>0 反解 θ=(b′)−1(μ)\theta=(b')^{-1}(\mu) §1.3
Var⁡[Y]=a(ϕ)V(μ)\operatorname{Var}[Y]=a(\phi)V(\mu) 权重 wi=1/(Vg′2)w_i=1/(V g'^2) §2.2
典则连接 g(μ)=θ(μ)g(\mu)=\theta(\mu) h=identityh=\text{identity};J=IJ=I §1.3、§3.7
𝔼[∂ℓ/∂θ]=0\mathbb{E}[\partial\ell/\partial\theta]=0,𝔼[ℓ″]=−𝔼[(ℓ′)2]\mathbb{E}[\ell'']=-\mathbb{E}[(\ell')^2] 得分均值零、信息矩阵引理 §3.3
b(θ)b(\theta) 与 c(y;ϕ)c(y;\phi) 的显式形式 偏差 DD 的闭式 §4.3
一句话衔接

第 4 章把 V(μ)V(\mu) 讲成"方差函数",当时它只是一个描述性概念;第 5 章里它是权重——wi∝1/(V(μi)g′(μi)2)w_i\propto 1/(V(\mu_i)g'(\mu_i)^2)。拟合算法只需要 VV 与 gg 这两样东西,这一点在本章第 20 帧被明确写出来。

32 帧速查 Frame map

帧 内容 本文位置
1–2 标题、目录 —
3 第 1 节标题页 —
4–5 记号;θi=h(𝒙i⊤𝜷)\theta_i=h(\mathbf{x}_i^{\top}\boldsymbol{\beta}) §1.1–1.3
6 写成 𝜷\boldsymbol{\beta} 的函数;典则时的简化 §1.4
7 第 2 节标题页 —
8–9 链式法则;得分 UU、权重 ww、工作响应 ξ\xi §2.1–2.3
10 得分向量与正规方程 §2.2
11–12 正态线性回归、泊松对数线性两个例子 §2.4
13 第 3 节标题页 —
14 为什么要迭代 §3.1
15–16 得分、观测信息 JJ、Fisher 信息 II;信息矩阵引理 §3.2–3.3
17–18 Newton–Raphson;收敛与失败 §3.4
19 Fisher scoring §3.5
20–21 IRLS 三步;典则时三者合一 §3.6–3.7
22 第 4 节标题页 —
23–24 饱和模型;嵌套 §4.1
25–26 偏差的定义与推导 §4.2
27 正态:偏差 = 残差平方和 §4.4
28–29 零偏差; R2=1−D/D0R^2=1-D/D_0 §4.5
30–31 总结(六个问题) §5
32 结束页 —

符号表 Notation

符号 含义 首次出现
𝜷\boldsymbol{\beta} 回归系数,维数 p+1p+1(含截距) 帧 4
ηi\eta_i 线性预测子 𝒙i⊤𝜷\mathbf{x}_i^{\top}\boldsymbol{\beta} 帧 4
hh θi=h(ηi)=(b′)−1∘g−1\theta_i=h(\eta_i)=(b')^{-1}\!\circ g^{-1} 帧 5
U(𝜷)U(\boldsymbol{\beta}) 得分(score) ∇ℓ(𝜷)\nabla\ell(\boldsymbol{\beta}),维数 p+1p+1 帧 10
wiw_i IRLS 权重 1/(V(μi)g′(μi)2)1/\big(V(\mu_i)g'(\mu_i)^2\big) 帧 9
ξi\xi_i 工作响应 ηi+g′(μi)(yi−μi)\eta_i+g'(\mu_i)(y_i-\mu_i) 帧 9
𝑾\mathbf{W} diag⁡(w1,…,wn)\operatorname{diag}(w_1,\dots,w_n) 帧 10
J(𝜷)J(\boldsymbol{\beta}) 观测信息 −∇2ℓ(𝜷)-\nabla^2\ell(\boldsymbol{\beta}) 帧 15
I(𝜷)I(\boldsymbol{\beta}) Fisher 信息 𝔼[J(𝜷)]=𝑿⊤𝑾𝑿/a(ϕ)\mathbb{E}[J(\boldsymbol{\beta})]=\mathbf{X}^{\top}\mathbf{W}\mathbf{X}/a(\phi) 帧 15
DD 偏差(deviance) −2a(ϕ)[ℓ(𝝁̂)−ℓ(𝒚)]-2a(\phi)[\ell(\hat{\boldsymbol{\mu}})-\ell(\mathbf{y})] 帧 26
D*D^{*} 尺度化偏差 D/a(ϕ)D/a(\phi) 帧 26
D0D_0 零偏差(只含截距的模型) 帧 28
θ̃,θ̂\tilde\theta,\ \hat\theta 饱和模型的 θ\theta(μ̃=y\tilde\mu=y)、拟合模型的 θ\theta 帧 25
一个记号陷阱

课件里 JJ 表示观测信息(−∇2ℓ-\nabla^2\ell),II 表示Fisher 信息(𝔼[J]\mathbb{E}[J])。有些教材把两者反过来用;上课时先声明一次,考试按课件。二者的关系贯穿整章:典则连接时 J=IJ=I,否则 J≠IJ\ne I。

模型与记号 Model and Notation(帧 3–6)

第 5 章的第一句就把第 4 章的全部结论"装进"一个似然函数:只要把 θi\theta_i 写成 𝜷\boldsymbol{\beta} 的函数,第 4 章的 ℓ\ell 就变成 ℓ(𝜷)\ell(\boldsymbol{\beta}),于是求 MLE 就是解一个关于 𝜷\boldsymbol{\beta} 的方程。本节只做这一件事,但要把记号钉死。

模型 The model(帧 4)

三行写全

(1) 随机成分: Y1,…,YnY_1,\dots,Y_n 相互独立, Yi∼f(yi;θi,ϕ)Y_i\sim f(y_i;\theta_i,\phi),即 f(yi;θi,ϕ)=exp⁡{yiθi−b(θi)a(ϕ)+c(yi;ϕ)};f(y_i;\theta_i,\phi)=\exp\Big\{\frac{y_i\theta_i-b(\theta_i)}{a(\phi)}+c(y_i;\phi)\Big\}; (2) 均值与参数: μi=𝔼[Yi]=b′(θi)\mu_i=\mathbb{E}[Y_i]=b'(\theta_i),故 θi=(b′)−1(μi)\theta_i=(b')^{-1}(\mu_i);
(3) 系统成分与连接: g(μi)=𝒙i⊤𝜷g(\mu_i)=\mathbf{x}_i^{\top}\boldsymbol{\beta},其中 𝒚=(y1,…,yn)⊤,𝑿=(𝒙1,…,𝒙n)⊤∈ℝn×(p+1),𝜷=(β0,β1,…,βp)⊤.\mathbf{y}=(y_1,\dots,y_n)^{\top},\qquad \mathbf{X}=(\mathbf{x}_1,\dots,\mathbf{x}_n)^{\top}\in\mathbb{R}^{n\times(p+1)},\qquad \boldsymbol{\beta}=(\beta_0,\beta_1,\dots,\beta_p)^{\top}.

两处记号要说清楚

(i) 𝜷\boldsymbol{\beta} 有 p+1p+1 个分量(含截距),不是 pp 个。全部推导中求和都从 j=0j=0 到 pp。
(ii) 𝒙i\mathbf{x}_i 是"第 ii 个观测的协变量向量"(列向量),𝑿\mathbf{X} 的第 ii 行是 𝒙i⊤\mathbf{x}_i^{\top}。这一点在写 𝑿⊤𝑾𝑿\mathbf{X}^{\top}\mathbf{W}\mathbf{X} 时最容易搞混。

把 θ\theta 写成 𝜷\boldsymbol{\beta} 的函数 Writing θ\theta as a function of 𝜷\boldsymbol{\beta}(帧 5)

两步复合

由第 (2)、(3) 两行: θi=(b′)−1(μi)=(b′)−1(g−1(𝒙i⊤𝜷))=:h(𝒙i⊤𝜷),h:=(b′)−1∘g−1.\theta_i=(b')^{-1}(\mu_i)=(b')^{-1}\big(g^{-1}(\mathbf{x}_i^{\top}\boldsymbol{\beta})\big)=:h(\mathbf{x}_i^{\top}\boldsymbol{\beta}), \qquad h:=(b')^{-1}\circ g^{-1}. 等价写法:h=(g∘(b′)−1)−1h=\big(g\circ (b')^{-1}\big)^{-1}(复合的逆等于逆的倒序复合)。
典则连接时 g=(b′)−1g=(b')^{-1},于是 g−1=b′g^{-1}=b',从而 h=(b′)−1∘b′=id⁡,即θi=ηi=𝒙i⊤𝜷.h=(b')^{-1}\circ b'=\operatorname{id}, \qquad\text{即}\qquad \theta_i=\eta_i=\mathbf{x}_i^{\top}\boldsymbol{\beta}.

分布 + 连接 g(μ)g(\mu) θ=(b′)−1(μ)\theta=(b')^{-1}(\mu) h(η)=θh(\eta)=\theta
正态 + 恒等 μ\mu μ\mu η\eta
泊松 + 对数 log⁡μ\log\mu log⁡μ\log\mu η\eta
二项 + logit log⁡μ1−μ\log\dfrac{\mu}{1-\mu}(或 log⁡μn−μ\log\dfrac{\mu}{n-\mu}) 同左 η\eta
二项 + probit Φ−1(μ)\Phi^{-1}(\mu) log⁡μ1−μ\log\dfrac{\mu}{1-\mu} log⁡Φ(η)1−Φ(η)\log\dfrac{\Phi(\eta)}{1-\Phi(\eta)}
泊松 + 恒等 μ\mu log⁡μ\log\mu log⁡η\log\eta
伽马 + 倒数 1/μ1/\mu −1/μ-1/\mu −η-\eta
这张表怎么用

前四行里前三行是典则连接,hh 是恒等,所以 hh 在推导里"消失",很多学生因此以为 hh 永远是恒等。第四、五、六行是反例:probit 连接下 h(η)=logit⁡(Φ(η))h(\eta)=\operatorname{logit}(\Phi(\eta));泊松配恒等连接下 h(η)=log⁡ηh(\eta)=\log\eta;伽马配倒数连接时 g(μ)=1/μg(\mu)=1/\mu 与典则的 θ=−1/μ\theta=-1/\mu 差一个负号,故 h(η)=−ηh(\eta)=-\eta(这也提醒学生:软件里的 inverse link 通常指 +1/μ+1/\mu,不是典则的那个)。讲义后面凡是要"对 𝜷\boldsymbol{\beta} 求导"的地方,hh 都会以 h′(η)h'(\eta) 的形式出现。

对数似然 The log-likelihood(帧 6)

把 θi=h(𝒙i⊤𝜷)\theta_i=h(\mathbf{x}_i^{\top}\boldsymbol{\beta}) 代回第 4 章的指数族密度并取对数:

ℓ(𝜷,ϕ;𝒚)=∑i=1nyih(𝒙i⊤𝜷)−b(h(𝒙i⊤𝜷))a(ϕ)+∑i=1nc(yi;ϕ)=:ℓ(𝜷).\begin{equation} \ell(\boldsymbol{\beta},\phi;\mathbf{y})=\sum_{i=1}^{n}\frac{y_i\,h(\mathbf{x}_i^{\top}\boldsymbol{\beta})-b\big(h(\mathbf{x}_i^{\top}\boldsymbol{\beta})\big)}{a(\phi)} +\sum_{i=1}^{n}c(y_i;\phi) \;=:\;\ell(\boldsymbol{\beta}). \end{equation}

注意三点:(i) 第二项 ∑c(yi;ϕ)\sum c(y_i;\phi) 不含 𝜷\boldsymbol{\beta},对 𝜷\boldsymbol{\beta} 求导时消失(但它会在偏差里被用到,见 §4.2);(ii) 若把 ϕ\phi 也当作未知参数,ℓ\ell 是 (𝜷,ϕ)(\boldsymbol{\beta},\phi) 的函数,但 GLM 的惯例是先估 𝜷\boldsymbol{\beta}、再估 ϕ\phi;(iii) 典则连接时 h=idh=\operatorname{id},似然简化为

ℓ(𝜷)=∑i=1nyi𝒙i⊤𝜷−b(𝒙i⊤𝜷)a(ϕ)+const.\begin{equation} \ell(\boldsymbol{\beta})=\sum_{i=1}^{n}\frac{y_i\,\mathbf{x}_i^{\top}\boldsymbol{\beta}-b(\mathbf{x}_i^{\top}\boldsymbol{\beta})}{a(\phi)}+\text{const.} \end{equation}

本节的结论

求 MLE 就是解 ∇ℓ(𝜷)=𝟎\nabla\ell(\boldsymbol{\beta})=\mathbf{0},其中 ∇ℓ\nabla\ell 是 p+1p+1 维向量。
式 (见对应公式/小节) 对任意连接成立;式 (见对应公式/小节) 只在典则连接下成立。第 2 节会看到:这两个式子的差别,正是"Newton 与 Fisher scoring 是否相同"的根源。

一眼看去为什么不能直接解 Why a closed form is not available(为帧 14 铺垫)

若把 (见对应公式/小节) 对 𝜷\boldsymbol{\beta} 求导并置零,得到的是(第 2 节会逐项推出) ∑i=1nyi−μia(ϕ)V(μi)g′(μi)𝒙i=𝟎,\sum_{i=1}^{n}\frac{y_i-\mu_i}{a(\phi)\,V(\mu_i)\,g'(\mu_i)}\;\mathbf{x}_i=\mathbf{0}, 而 μi=g−1(𝒙i⊤𝜷)\mu_i=g^{-1}(\mathbf{x}_i^{\top}\boldsymbol{\beta}) 是 𝜷\boldsymbol{\beta} 的非线性函数,所以这是 p+1p+1 个非线性方程。第 4 章 §1.9 已经说过:除正态线性模型外,一般没有闭式解。第 3 节给出三种迭代解法。

极大似然估计的推导 Derivation of the MLE(帧 7–12)

本节只做一件事:把 ∂ℓ/∂βj\partial\ell/\partial\beta_j 算出来。课件用链式法则一步到位,学生最容易在"四个因子分别是什么"上卡住,所以下面把四个因子拆开写,再合起来。

链式法则:四个因子 The chain rule, factor by factor(帧 8)

第 1 步:写出依赖链

βj→ηi=𝒙i⊤𝜷→μi=g−1(ηi)→θi=(b′)−1(μi)→ℓi=yiθi−b(θi)a(ϕ)+c(yi;ϕ).\beta_j\;\longrightarrow\;\eta_i=\mathbf{x}_i^{\top}\boldsymbol{\beta}\;\longrightarrow\;\mu_i=g^{-1}(\eta_i)\;\longrightarrow\;\theta_i=(b')^{-1}(\mu_i)\;\longrightarrow\;\ell_i=\frac{y_i\theta_i-b(\theta_i)}{a(\phi)}+c(y_i;\phi). 于是 ∂ℓ∂βj=∑i=1n∂ℓi∂θi⏟(A)∂θi∂μi⏟(B)∂μi∂ηi⏟(C)∂ηi∂βj⏟(D).\frac{\partial\ell}{\partial\beta_j}=\sum_{i=1}^{n} \underbrace{\frac{\partial\ell_i}{\partial\theta_i}}_{\text{(A)}} \underbrace{\frac{\partial\theta_i}{\partial\mu_i}}_{\text{(B)}} \underbrace{\frac{\partial\mu_i}{\partial\eta_i}}_{\text{(C)}} \underbrace{\frac{\partial\eta_i}{\partial\beta_j}}_{\text{(D)}} .

第 2 步:四个因子各等于什么
(A)∂ℓi∂θi=yi−b′(θi)a(ϕ)=yi−μia(ϕ)(用了 μi=b′(θi))(B)∂θi∂μi=1dμi/dθi=1b″(θi)=1V(μi)(用了 b″(θ)=V(μ))(C)∂μi∂ηi=1g′(μi)(由 ηi=g(μi) 求逆)(D)∂ηi∂βj=xij(线性)\begin{align*} \text{(A)}\quad & \frac{\partial\ell_i}{\partial\theta_i}=\frac{y_i-b'(\theta_i)}{a(\phi)}=\frac{y_i-\mu_i}{a(\phi)} &&\text{(用了 }\mu_i=b'(\theta_i)\text{)}\\[2pt] \text{(B)}\quad & \frac{\partial\theta_i}{\partial\mu_i}=\frac{1}{\mathrm{d}\mu_i/\mathrm{d}\theta_i}=\frac{1}{b''(\theta_i)}=\frac{1}{V(\mu_i)} &&\text{(用了 }b''(\theta)=V(\mu)\text{)}\\[2pt] \text{(C)}\quad & \frac{\partial\mu_i}{\partial\eta_i}=\frac{1}{g'(\mu_i)} &&\text{(由 }\eta_i=g(\mu_i)\text{ 求逆)}\\[2pt] \text{(D)}\quad & \frac{\partial\eta_i}{\partial\beta_j}=x_{ij} &&\text{(线性)} \end{align*}
第 3 步:乘起来

Uj:=∂ℓ(𝜷)∂βj=∑i=1n(yi−μi)xija(ϕ)V(μi)g′(μi),j=0,1,…,p.\begin{equation} U_j:=\frac{\partial\ell(\boldsymbol{\beta})}{\partial\beta_j} =\sum_{i=1}^{n}\frac{(y_i-\mu_i)\,x_{ij}}{a(\phi)\,V(\mu_i)\,g'(\mu_i)}, \qquad j=0,1,\dots,p . \end{equation}

分母里三样东西都不能丢

V(μi)V(\mu_i) 来自 ∂θ/∂μ\partial\theta/\partial\mu,g′(μi)g'(\mu_i) 来自 ∂μ/∂η\partial\mu/\partial\eta,a(ϕ)a(\phi) 来自指数族。学生最常漏的是 g′(μi)g'(\mu_i)(因为它"看起来"只是个常数),一漏,泊松配恒等连接与配对数连接就被当成同一个模型了。

权重与工作响应 Weights and the working response(帧 9–10)

第 1 步:定义 wiw_i 与 ξi\xi_i
wi:=1V(μi)g′(μi)2,ξi:=ηi+g′(μi)(yi−μi).\begin{equation} w_i:=\frac{1}{V(\mu_i)\,g'(\mu_i)^{2}}, \qquad \xi_i:=\eta_i+g'(\mu_i)\,(y_i-\mu_i). \end{equation}
第 2 步:把 (见对应公式/小节) 改写成 ww 与 ξ\xi 的形式

关键恒等式(一行代数): wi(ξi−ηi)=1Vg′2⋅g′(yi−μi)=yi−μiV(μi)g′(μi).w_i\,(\xi_i-\eta_i)=\frac{1}{V g'^{2}}\cdot g'(y_i-\mu_i)=\frac{y_i-\mu_i}{V(\mu_i)\,g'(\mu_i)} . 于是 (见对应公式/小节) 变成 Uj=1a(ϕ)∑i=1nwixij(ξi−ηi),j=0,1,…,p.U_j=\frac{1}{a(\phi)}\sum_{i=1}^{n}w_i\,x_{ij}\,(\xi_i-\eta_i), \qquad j=0,1,\dots,p . 写成矩阵: U(𝜷)=1a(ϕ)𝑿⊤𝑾(𝝃−𝑿𝜷),𝑾=diag⁡(w1,…,wn),𝝃=(ξ1,…,ξn)⊤.\begin{equation} U(\boldsymbol{\beta})=\frac{1}{a(\phi)}\,\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta}), \qquad \mathbf{W}=\operatorname{diag}(w_1,\dots,w_n),\quad \boldsymbol{\xi}=(\xi_1,\dots,\xi_n)^{\top}. \end{equation}

第 3 步:正规方程(normal equation)

置 U(𝜷)=𝟎U(\boldsymbol{\beta})=\mathbf{0},即 𝑿⊤𝑾(𝝃−𝑿𝜷)=𝟎\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta})=\mathbf{0},等价于 𝑿⊤𝑾𝑿𝜷=𝑿⊤𝑾𝝃.\begin{equation} \mathbf{X}^{\top}\mathbf{W}\mathbf{X}\,\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi}. \end{equation} 形式上它和加权最小二乘的正规方程一模一样,于是解是 𝜷=(𝑿⊤𝑾𝑿)−1𝑿⊤𝑾𝝃\boldsymbol{\beta}=(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1}\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi}——但 𝑾\mathbf{W} 和 𝝃\boldsymbol{\xi} 都依赖 𝜷\boldsymbol{\beta},所以这个"解"只是把方程改写了一遍(第 3 节从这里进入迭代)。

为什么称 ξ\xi 为"工作响应" Why ξ\xi is called a working response(帧 9)

两个矩,一行一个
𝔼[ξi]=ηi+g′(μi)(𝔼[Yi]−μi)=ηi,Var⁡[ξi]=g′(μi)2Var⁡[Yi]=g′(μi)2a(ϕ)V(μi)=a(ϕ)wi.\begin{align*} \mathbb{E}[\xi_i]&=\eta_i+g'(\mu_i)\big(\mathbb{E}[Y_i]-\mu_i\big)=\eta_i,\\ \operatorname{Var}[\xi_i]&=g'(\mu_i)^{2}\operatorname{Var}[Y_i]=g'(\mu_i)^{2}\,a(\phi)\,V(\mu_i)=\frac{a(\phi)}{w_i}. \end{align*}
这一步的意义

ξi\xi_i 的均值恰是线性预测子 ηi\eta_i,方差恰是 a(ϕ)/wia(\phi)/w_i——也就是说,(𝝃,𝑾)(\boldsymbol{\xi},\mathbf{W}) 构成一个"以 η=𝑿𝜷\eta=\mathbf{X}\boldsymbol{\beta} 为均值、以 a(ϕ)𝑾−1a(\phi)\mathbf{W}^{-1} 为协方差的伪观测"。正规方程 (见对应公式/小节) 就是对这个伪观测做加权最小二乘,权重与方差成反比。这正是它叫 working response(工作响应)的原因,也是 IRLS(iteratively re-weighted least squares)名字的来历。

为什么"极大似然"里会冒出权重? Why weights appear at all

这是学生(和讲者)最容易觉得突兀的一步:课件在帧 9 直接写"令 wi=…w_i=\dots、ξi=…\xi_i=\dots",看起来像凭空的技巧。其实 极大似然本身没有引入任何权重;权重是在把得分方程改写成矩阵形式时,从 Fisher 信息矩阵里"掉出来"的对角元。下面三种看法说的是同一件事。

看法一:权重就是每个观测的信息量

Fisher 信息(§3.3)是 I(𝜷)=∑i=1n(∂μi/∂ηi)2a(ϕ)V(μi)𝒙i𝒙i⊤=1a(ϕ)𝑿⊤𝑾𝑿,wi=(∂μi/∂ηi)2V(μi)=1V(μi)g′(μi)2.I(\boldsymbol{\beta})=\sum_{i=1}^{n}\frac{(\partial\mu_i/\partial\eta_i)^{2}}{a(\phi)V(\mu_i)}\,\mathbf{x}_i\mathbf{x}_i^{\top} =\frac{1}{a(\phi)}\,\mathbf{X}^{\top}\mathbf{W}\mathbf{X}, \qquad w_i=\frac{(\partial\mu_i/\partial\eta_i)^{2}}{V(\mu_i)}=\frac{1}{V(\mu_i)\,g'(\mu_i)^{2}} . 也就是说:wiw_i 是第 ii 个观测对信息矩阵的贡献。把它写成 𝑿⊤𝑾𝑿\mathbf{X}^{\top}\mathbf{W}\mathbf{X} 只是记号上的打包,wiw_i 并不是新假设。因为 a(ϕ)a(\phi) 是常数,它在迭代中约掉(§3.6),所以可以只记 1/(Vg′2)1/(Vg'^2)。

看法二:权重是工作响应方差的倒数

ξi=ηi+g′(μi)(yi−μi)\xi_i=\eta_i+g'(\mu_i)(y_i-\mu_i) 是把 yiy_i 一阶线性化到 η\eta 尺度上的结果(delta 法:η≈g(μ)+g′(μ)(y−μ)\eta\approx g(\mu)+g'(\mu)(y-\mu))。由上一节,Var⁡[ξi]=a(ϕ)/wi\operatorname{Var}[\xi_i]=a(\phi)/w_i,所以 wi=a(ϕ)Var⁡[ξi]∝1Var⁡[ξi].w_i=\frac{a(\phi)}{\operatorname{Var}[\xi_i]}\ \propto\ \frac{1}{\operatorname{Var}[\xi_i]} . 加权最小二乘的最优权重就是方差的倒数——于是"对 (𝝃,𝑾)(\boldsymbol{\xi},\mathbf{W}) 做加权最小二乘"这句话里的权重,与"信息量"是同一个数。

看法三:其实不是"选",只固定了一个乘积

得分方程只要求 wi(ξi−ηi)=yi−μiV(μi)g′(μi),w_i\,(\xi_i-\eta_i)=\frac{y_i-\mu_i}{V(\mu_i)\,g'(\mu_i)}, 它只固定了乘积,不固定 wiw_i 本身:把 wiw_i 放大 kk 倍、ξi\xi_i 相应缩小,方程不变。所以 ww 的整体尺度可以任取(这也是 a(ϕ)a(\phi) 能约掉的原因)。要让 (𝝃,𝑾)(\boldsymbol{\xi},\mathbf{W}) 有"伪观测 + 反方差加权"的意义,只需两条:

  • ξi\xi_i 是 yiy_i 的仿射函数,斜率 ∂ξi/∂yi=ci\partial\xi_i/\partial y_i=c_i;

  • wi∝1/Var⁡[ξi]=1/(ci2aV)w_i\propto 1/\operatorname{Var}[\xi_i]=1/(c_i^{2}aV)。

两条合起来要求 wi(ξi−ηi)∝(yi−μi)/(ciaV)w_i(\xi_i-\eta_i)\propto (y_i-\mu_i)/(c_i a V) 与真值 ∝(yi−μi)/(aVg′)\propto(y_i-\mu_i)/(aVg') 对齐,即 ci∝g′(μi)c_i\propto g'(\mu_i)。取 ci=g′(μi)c_i=g'(\mu_i) 就得到课件的 wi=1/(Vg′2)w_i=1/(Vg'^{2})、ξi=ηi+g′(yi−μi)\xi_i=\eta_i+g'(y_i-\mu_i)——这对 (w,ξ)(w,\xi) 是由"信息量解释"唯一确定的,只差一个整体尺度。

权重的直觉:不是"偏爱",是"信息量不同"

极大似然对每个观测的处理是平等的(每项都进求和),但每个观测对 𝜷\boldsymbol{\beta} 的信息量不同,所以影响不同。三个例子:

  • 正态 + 恒等:wi=1w_i=1,同方差,人人等权——这就是普通最小二乘。

  • 泊松 + 对数:wi=μiw_i=\mu_i。计数的相对精度是 CV=1/μ\mathrm{CV}=1/\sqrt{\mu},均值越大越"相对准",所以大计数权重大。

  • 伯努利 + logit:wi=πi(1−πi)w_i=\pi_i(1-\pi_i)。π=0.5\pi=0.5 附近信息最大,π\pi 接近 00 或 11 的观测几乎提供不了信息(这也解释了为什么"分离"数据会把 β̂\hat\beta 推向无穷)。

  • 伽马:配对数连接时 wi=1w_i=1;配倒数(典则)连接时 wi=μi2w_i=\mu_i^{2}。

手算一步:权重是怎么"用"上的(泊松,从 𝜷(0)=𝟎\boldsymbol{\beta}^{(0)}=\mathbf{0} 起)

数据 x=0,1,…,7x=0,1,\dots,7,y=(1,2,2,4,5,7,9,11)y=(1,2,2,4,5,7,9,11)。𝜷(0)=𝟎⇒μi(0)=e0=1\boldsymbol{\beta}^{(0)}=\mathbf{0}\Rightarrow\mu_i^{(0)}=e^{0}=1,于是 wi(0)=μi(0)=1,ξi(0)=ηi(0)+yi−μi(0)μi(0)=yi−1=(0,1,1,3,4,6,8,10).w_i^{(0)}=\mu_i^{(0)}=1,\qquad \xi_i^{(0)}=\eta_i^{(0)}+\frac{y_i-\mu_i^{(0)}}{\mu_i^{(0)}}=y_i-1=(0,1,1,3,4,6,8,10). 第 3 步解加权最小二乘(此时 𝑾=𝑰\mathbf{W}=\mathbf{I},就是普通最小二乘): 𝜷(1)=(𝑿⊤𝑿)−1𝑿⊤𝝃(0)=(−0.916667,+1.440476).\boldsymbol{\beta}^{(1)}=(\mathbf{X}^{\top}\mathbf{X})^{-1}\mathbf{X}^{\top}\boldsymbol{\xi}^{(0)} =\Big(-0.916667,\ +1.440476\Big). 这两个数就是"从 𝜷(0)=𝟎\boldsymbol{\beta}^{(0)}=\mathbf{0} 起步"时的第一步。§3.8 的迭代表换了更好的初值(μ(0)=max⁡(y,0.1)\mu^{(0)}=\max(y,0.1)),所以第一步的数值不同、步数更少,但收敛到同一点。

课堂上可以只讲这三句

(1) 极大似然只给一个方程:∑i(yi−μi)xij/(aV(μi)g′(μi))=0\sum_i (y_i-\mu_i)x_{ij}/\big(aV(\mu_i)g'(\mu_i)\big)=0,这里还没有权重。
(2) 把这个方程的矩阵写法整理成 𝑿⊤𝑾(𝝃−𝑿𝜷)=𝟎\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta})=\mathbf{0},𝑾\mathbf{W} 的对角元 wi=1/(Vg′2)w_i=1/(Vg'^2) 就是每个观测的信息量(也等于工作响应方差的倒数)。
(3) 于是"解方程"变成"反复做加权最小二乘"——这就是 IRLS。

例一:正态线性回归(帧 11) Example 1: Normal linear regression(frame 11)

四步

(1) V(μ)=1V(\mu)=1,g(μ)=μ⇒g′(μ)=1g(\mu)=\mu\Rightarrow g'(\mu)=1,故 wi=1w_i=1;
(2) ξi=ηi+1⋅(yi−μi)=yi\xi_i=\eta_i+1\cdot(y_i-\mu_i)=y_i(因为 ηi=μi\eta_i=\mu_i);
(3) 𝑾=𝑰n\mathbf{W}=\mathbf{I}_n,正规方程 (见对应公式/小节) 化为 𝑿⊤𝑿𝜷=𝑿⊤𝒚;\mathbf{X}^{\top}\mathbf{X}\,\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{y}; (4) 若 𝑿⊤𝑿\mathbf{X}^{\top}\mathbf{X} 可逆,𝜷̂=(𝑿⊤𝑿)−1𝑿⊤𝒚\hat{\boldsymbol{\beta}}=(\mathbf{X}^{\top}\mathbf{X})^{-1}\mathbf{X}^{\top}\mathbf{y}——一步到位,无需迭代。

这正是第 3 章的最小二乘估计,也是第 4 章 §1.9 的结论:正态线性模型下 MLE 与 OLS 是同一个东西。它之所以特殊,唯一的原因是 𝑾\mathbf{W} 与 𝝃\boldsymbol{\xi} 都不含 𝜷\boldsymbol{\beta}。

例二:泊松对数线性模型(帧 12) Example 2: Poisson log-linear model(frame 12)

四步

(1) V(μ)=μV(\mu)=\mu,g(μ)=log⁡μ⇒g′(μ)=1/μg(\mu)=\log\mu\Rightarrow g'(\mu)=1/\mu,故 wi=1μi(1/μi)2=μi;w_i=\frac{1}{\mu_i\,(1/\mu_i)^{2}}=\mu_i ; (2) ξi=ηi+1μi(yi−μi)=ηi+yi−μiμi\xi_i=\eta_i+\dfrac{1}{\mu_i}(y_i-\mu_i)=\eta_i+\dfrac{y_i-\mu_i}{\mu_i};
(3) 𝑾=diag⁡(μi)\mathbf{W}=\operatorname{diag}(\mu_i),正规方程 (见对应公式/小节) 为 𝑿⊤𝑾𝑿𝜷=𝑿⊤𝑾𝝃\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi}。
(4) 两边都用 𝝃=𝑿𝜷+𝑾−1(𝒚−𝝁)\boldsymbol{\xi}=\mathbf{X}\boldsymbol{\beta}+\mathbf{W}^{-1}(\mathbf{y}-\boldsymbol{\mu}) 代入: 𝑿⊤𝑾𝑿𝜷=𝑿⊤𝑾(𝑿𝜷+𝑾−1(𝒚−𝝁))=𝑿⊤𝑾𝑿𝜷+𝑿⊤(𝒚−𝝁),\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{W}\Big(\mathbf{X}\boldsymbol{\beta}+\mathbf{W}^{-1}(\mathbf{y}-\boldsymbol{\mu})\Big) =\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\boldsymbol{\beta}+\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu}), ⇒𝑿⊤(𝒚−𝝁)=𝟎.\Longrightarrow\qquad \mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})=\mathbf{0}.

两条很好记的结论

(1) 泊松配对数连接(典则),正规方程化为 𝑿⊤(𝒚−𝝁)=𝟎\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})=\mathbf{0}:拟合值与观测值的"列和"相同。特别地,第一列是 1,所以 ∑iμ̂i=∑iyi\sum_i\hat\mu_i=\sum_i y_i——本讲义的数值例子中两边都是 41.000041.0000。
(2) logistic 回归(二项配 logit,也是典则)给出同样的 𝑿⊤(𝒚−𝝁)=𝟎\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})=\mathbf{0}。

为什么典则时形式最简单

典则连接 g(μ)=(b′)−1(μ)=θg(\mu)=(b')^{-1}(\mu)=\theta,故 g′(μ)=dθdμ=1b″(θ)=1V(μ)g'(\mu)=\dfrac{\mathrm{d}\theta}{\mathrm{d}\mu}=\dfrac{1}{b''(\theta)}=\dfrac{1}{V(\mu)},于是 wi=1V(μi)⋅1/V(μi)2=V(μi),ξi=ηi+yi−μiV(μi)=θi+yi−μiV(μi).w_i=\frac{1}{V(\mu_i)\cdot 1/V(\mu_i)^{2}}=V(\mu_i), \qquad \xi_i=\eta_i+\frac{y_i-\mu_i}{V(\mu_i)}=\theta_i+\frac{y_i-\mu_i}{V(\mu_i)} . 代回 (见对应公式/小节): Uj=1a(ϕ)∑i=1n(yi−μi)xij,即U(𝜷)=1a(ϕ)𝑿⊤(𝒚−𝝁).\begin{equation} U_j=\frac{1}{a(\phi)}\sum_{i=1}^{n}(y_i-\mu_i)\,x_{ij}, \qquad\text{即}\qquad U(\boldsymbol{\beta})=\frac{1}{a(\phi)}\,\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu}). \end{equation}

式 (见对应公式/小节) 是本章后面反复出现的"标准形":得分 = 残差与设计矩阵每一列的内积(除以 a(ϕ)a(\phi))。它只对典则连接成立;非典则时 g′≠1/Vg'\ne 1/V,式 (见对应公式/小节) 中多出来的 g′g' 无法消掉。

三种优化算法 Three Optimization Algorithms(帧 13–21)

正规方程 (见对应公式/小节) 里 𝑾\mathbf{W} 与 𝝃\boldsymbol{\xi} 都依赖 𝜷\boldsymbol{\beta},所以不能一步解出。本节介绍课件给出的三种算法,并把它们的关系讲清楚:Newton–Raphson 用观测信息 JJ,Fisher scoring 用期望信息 II,IRLS 是 Fisher scoring 的"算法外壳";三者只在典则连接下完全重合。

为什么必须迭代 Why iteration is unavoidable(帧 14)

一句话说明

𝜷=(𝑿⊤𝑾𝑿)−1𝑿⊤𝑾𝝃\boldsymbol{\beta}=(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1}\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi} 这个式子不是解:右边的 𝑾=𝑾(𝜷)\mathbf{W}=\mathbf{W}(\boldsymbol{\beta})、𝝃=𝝃(𝜷)\boldsymbol{\xi}=\boldsymbol{\xi}(\boldsymbol{\beta}) 都含未知的 𝜷\boldsymbol{\beta}。把它当成"不动点方程"𝜷=𝒯(𝜷)\boldsymbol{\beta}=\mathcal{T}(\boldsymbol{\beta}) 来看,才需要迭代。

唯一的例外是正态线性模型:那里 𝑾=𝑰\mathbf{W}=\mathbf{I}、𝝃=𝒚\boldsymbol{\xi}=\mathbf{y} 都与 𝜷\boldsymbol{\beta} 无关,一次就收敛(第 2.5 节)。其余情形都必须迭代——这就是课件第 14 帧说的"我们要用数值方法"。

得分与两种信息 The score and the two informations(帧 15)

三个定义

得分(score):U(𝜷)=∇ℓ(𝜷)U(\boldsymbol{\beta})=\nabla\ell(\boldsymbol{\beta}),是 p+1p+1 维向量;MLE 满足 U(𝜷̂)=𝟎U(\hat{\boldsymbol{\beta}})=\mathbf{0}。
观测信息(observed information): J(𝜷)=−∂2ℓ(𝜷)∂𝜷∂𝜷⊤=−∇2ℓ(𝜷)(p+1)×(p+1)矩阵,通常正定.J(\boldsymbol{\beta})=-\,\frac{\partial^{2}\ell(\boldsymbol{\beta})}{\partial\boldsymbol{\beta}\,\partial\boldsymbol{\beta}^{\top}} =-\nabla^{2}\ell(\boldsymbol{\beta}) \qquad (p+1)\times(p+1)\ \text{矩阵,通常正定}. Fisher 信息(expected information): I(𝜷)=𝔼[J(𝜷)]=𝔼[−∂2ℓ(𝜷)∂𝜷∂𝜷⊤].I(\boldsymbol{\beta})=\mathbb{E}\big[J(\boldsymbol{\beta})\big]=\mathbb{E}\Big[-\frac{\partial^{2}\ell(\boldsymbol{\beta})}{\partial\boldsymbol{\beta}\,\partial\boldsymbol{\beta}^{\top}}\Big].

直观读法:JJ 是"手上这份数据提供了多少信息"(依赖 𝒚\mathbf{y}),II 是"平均而言这个模型能提供多少信息"(只依赖 𝜷\boldsymbol{\beta} 与设计)。JJ 更准,II 更好算——这就是两种算法分野的全部原因。

信息矩阵引理与 I=𝑿⊤𝑾𝑿/a(ϕ)I=\mathbf{X}^{\top}\mathbf{W}\mathbf{X}/a(\phi) The information lemma(帧 16)

引理的矩阵版:证明

对任意 𝜷\boldsymbol{\beta},∫f(𝒚;𝜷)d𝒚=1\displaystyle\int f(\mathbf{y};\boldsymbol{\beta})\,\mathrm{d}\mathbf{y}=1。对 𝜷\boldsymbol{\beta} 求一次导(并在积分号下求导): 𝟎=∫∂f∂𝜷d𝒚=∫f∂ℓ∂𝜷d𝒚=𝔼[U(𝜷)].\mathbf{0}=\int \frac{\partial f}{\partial\boldsymbol{\beta}}\,\mathrm{d}\mathbf{y}=\int f\,\frac{\partial\ell}{\partial\boldsymbol{\beta}}\,\mathrm{d}\mathbf{y}=\mathbb{E}\big[U(\boldsymbol{\beta})\big]. 再求一次导: 𝟎=∫(f∂2ℓ∂𝜷∂𝜷⊤+f∂ℓ∂𝜷∂ℓ∂𝜷⊤)d𝒚=𝔼[∇2ℓ]+𝔼[UU⊤].\mathbf{0}=\int\Big(f\,\frac{\partial^{2}\ell}{\partial\boldsymbol{\beta}\partial\boldsymbol{\beta}^{\top}}+f\,\frac{\partial\ell}{\partial\boldsymbol{\beta}}\frac{\partial\ell}{\partial\boldsymbol{\beta}^{\top}}\Big)\mathrm{d}\mathbf{y} =\mathbb{E}\big[\nabla^{2}\ell\big]+\mathbb{E}\big[UU^{\top}\big]. 由 𝔼[U]=𝟎\mathbb{E}[U]=\mathbf{0} 得 𝔼[UU⊤]=Var⁡(U)\mathbb{E}[UU^{\top}]=\operatorname{Var}(U),所以 I(𝜷)=𝔼[J(𝜷)]=−𝔼[∇2ℓ]=𝔼[UU⊤]=Var⁡(U(𝜷)).\begin{equation} I(\boldsymbol{\beta})=\mathbb{E}\big[J(\boldsymbol{\beta})\big]=-\mathbb{E}\big[\nabla^{2}\ell\big]=\mathbb{E}\big[UU^{\top}\big]=\operatorname{Var}\big(U(\boldsymbol{\beta})\big). \end{equation}

算出 II:对 (见对应公式/小节) 取方差

由 (见对应公式/小节),U=1a(ϕ)𝑿⊤𝑾(𝝃−𝑿𝜷)U=\dfrac{1}{a(\phi)}\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta}),且 Var⁡(ξi)=a(ϕ)/wi\operatorname{Var}(\xi_i)=a(\phi)/w_i、各观测独立: Var⁡(U)=1a(ϕ)2𝑿⊤𝑾Var⁡(𝝃)𝑾𝑿=1a(ϕ)2𝑿⊤𝑾(a(ϕ)𝑾−1)𝑾𝑿=1a(ϕ)𝑿⊤𝑾𝑿.\operatorname{Var}(U)=\frac{1}{a(\phi)^{2}}\,\mathbf{X}^{\top}\mathbf{W}\,\operatorname{Var}(\boldsymbol{\xi})\,\mathbf{W}\mathbf{X} =\frac{1}{a(\phi)^{2}}\,\mathbf{X}^{\top}\mathbf{W}\,\big(a(\phi)\mathbf{W}^{-1}\big)\,\mathbf{W}\mathbf{X} =\frac{1}{a(\phi)}\,\mathbf{X}^{\top}\mathbf{W}\mathbf{X}. 所以 I(𝜷)=1a(ϕ)𝑿⊤𝑾𝑿.\begin{equation} I(\boldsymbol{\beta})=\frac{1}{a(\phi)}\,\mathbf{X}^{\top}\mathbf{W}\mathbf{X}. \end{equation}

两个要记住的点

(1) II 只通过 𝑾\mathbf{W}(即 VV 与 g′g')依赖 𝜷\boldsymbol{\beta},不含 𝒚\mathbf{y}——这正是它比 JJ 好算的原因。
(2) 课件写 I=𝑿⊤𝑾𝑿I=\mathbf{X}^{\top}\mathbf{W}\mathbf{X},是把 a(ϕ)a(\phi) 约掉了("in most cases we just ignore it")。严格地说 I=𝑿⊤𝑾𝑿/a(ϕ)I=\mathbf{X}^{\top}\mathbf{W}\mathbf{X}/a(\phi);由于迭代中 a(ϕ)a(\phi) 只是一个正的常数因子,它在 𝜷\boldsymbol{\beta} 的更新式里会约掉,不影响算法,但影响标准误(见 §3.10)。

Newton–Raphson Newton–Raphson(帧 17–18)

推导:把 UU 一阶展开

在当前点 𝜷(k)\boldsymbol{\beta}^{(k)} 附近把得分线性化: U(𝜷)≈U(𝜷(k))+∇U(𝜷(k))(𝜷−𝜷(k))=U(𝜷(k))−J(𝜷(k))(𝜷−𝜷(k)).U(\boldsymbol{\beta})\approx U(\boldsymbol{\beta}^{(k)})+\nabla U(\boldsymbol{\beta}^{(k)})\,(\boldsymbol{\beta}-\boldsymbol{\beta}^{(k)}) =U(\boldsymbol{\beta}^{(k)})-J(\boldsymbol{\beta}^{(k)})\,(\boldsymbol{\beta}-\boldsymbol{\beta}^{(k)}). 令它等于 𝟎\mathbf{0}(我们要求 𝜷̂\hat{\boldsymbol{\beta}}): 𝜷(k+1)=𝜷(k)+[J(𝜷(k))]−1U(𝜷(k)).\begin{equation} \boldsymbol{\beta}^{(k+1)}=\boldsymbol{\beta}^{(k)}+\big[J(\boldsymbol{\beta}^{(k)})\big]^{-1}U(\boldsymbol{\beta}^{(k)}). \end{equation}

几何读法:UU 是 ℓ\ell 的斜率,JJ 是斜率下降的速率(曲率)。式 (见对应公式/小节) 就是"沿着曲率指向的方向跨一步,使斜率变成零"。

收敛与停止

二次收敛:靠近解时误差大致按平方缩小(有效数字每步翻倍),所以通常 4–5 步就够。
停止准则(三选一或并用):max⁡j|βj(k+1)−βj(k)|<ε\max_j|\beta_j^{(k+1)}-\beta_j^{(k)}|<\varepsilon;|ℓ(𝜷(k+1))−ℓ(𝜷(k))|<ε|\ell(\boldsymbol{\beta}^{(k+1)})-\ell(\boldsymbol{\beta}^{(k)})|<\varepsilon;max⁡j|Uj|<ε\max_j|U_j|<\varepsilon。
失败情形(课件第 18 帧最后一段):数据"极端"时 ℓ\ell 没有有限最大值,迭代会给出越来越大的 |β̂||\hat\beta| 和越来越大的标准误——典型例子是完全分离(某条线把 y=0y=0 与 y=1y=1 完全分开)。

Fisher scoring Fisher scoring(帧 19)

把 JJ 换成 II
𝜷(k+1)=𝜷(k)+[I(𝜷(k))]−1U(𝜷(k)).\begin{equation} \boldsymbol{\beta}^{(k+1)}=\boldsymbol{\beta}^{(k)}+\big[I(\boldsymbol{\beta}^{(k)})\big]^{-1}U(\boldsymbol{\beta}^{(k)}). \end{equation}

课件的两条理由:(i) Newton 要算二阶导(JJ),在高维与复杂连接下很繁;(ii) II 是"平均信息",只用一阶量(VV 与 g′g'),且对任意连接都是正定的,迭代更稳。代价是:非典则连接下,Fisher scoring 的步长不是"精确"的 Newton 步,可能需要多几步(§3.8 的数值例子:平方根连接下 Newton 4 步、Fisher 7 步)。

IRLS:把 Fisher scoring 写成加权最小二乘 IRLS(帧 20–21)

三步循环

给定 𝜷(k)\boldsymbol{\beta}^{(k)}:
第 1 步: 算 ηi(k)=𝒙i⊤𝜷(k)\eta_i^{(k)}=\mathbf{x}_i^{\top}\boldsymbol{\beta}^{(k)} 与 μi(k)=g−1(ηi(k))\mu_i^{(k)}=g^{-1}\big(\eta_i^{(k)}\big);
第 2 步: 算权 𝑾(k)\mathbf{W}^{(k)}(对角元 wi(k)=1/[V(μi(k))g′(μi(k))2]w_i^{(k)}=1/\big[V(\mu_i^{(k)})g'(\mu_i^{(k)})^2\big])与工作响应 ξi(k)=ηi(k)+g′(μi(k))(yi−μi(k));\xi_i^{(k)}=\eta_i^{(k)}+g'\big(\mu_i^{(k)}\big)\big(y_i-\mu_i^{(k)}\big); 第 3 步: 解一个加权最小二乘问题 𝜷(k+1)=(𝑿⊤𝑾(k)𝑿)−1𝑿⊤𝑾(k)𝝃(k).\begin{equation} \boldsymbol{\beta}^{(k+1)}=\big(\mathbf{X}^{\top}\mathbf{W}^{(k)}\mathbf{X}\big)^{-1}\mathbf{X}^{\top}\mathbf{W}^{(k)}\boldsymbol{\xi}^{(k)} . \end{equation} 重复到收敛。

为什么 (见对应公式/小节) 就是 Fisher scoring

把 (见对应公式/小节) 展开,代入 U=1a𝑿⊤𝑾(𝝃−𝑿𝜷)U=\frac{1}{a}\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta}) 与 I=1a𝑿⊤𝑾𝑿I=\frac{1}{a}\mathbf{X}^{\top}\mathbf{W}\mathbf{X}: 𝜷(k+1)=𝜷(k)+(𝑿⊤𝑾𝑿)−1𝑿⊤𝑾(𝝃−𝑿𝜷(k))=(𝑿⊤𝑾𝑿)−1𝑿⊤𝑾𝝃.\boldsymbol{\beta}^{(k+1)}=\boldsymbol{\beta}^{(k)}+\big(\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\big)^{-1}\mathbf{X}^{\top}\mathbf{W}\big(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta}^{(k)}\big) =\big(\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\big)^{-1}\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi}. a(ϕ)a(\phi) 在 I−1UI^{-1}U 中约掉——这就是"拟合 𝜷\boldsymbol{\beta} 不需要知道 ϕ\phi"的确切含义。

IRLS 只需要四样东西

𝑿\mathbf{X}、𝒚\mathbf{y}、连接函数 gg、方差函数 V(μ)V(\mu)。不需要 b(θ)b(\theta) 的显式形式,也不需要 c(y;ϕ)c(y;\phi)。这就是第 4 章反复强调"分布只通过 VV 与 gg 进入算法"的地方。

WLS 与 IRLS 不是一回事 WLS is not IRLS

一个常见的误解是"WLS 是从 MLE 推出来的"。方向恰好相反:WLS 是一个独立的估计量(方差已知到常数倍时的 BLUE,Gauss–Markov 定理;正态下的 MLE;𝑾\mathbf W 内积下的投影——三条路给出同一个公式),而 GLM 这边推出来的是得分方程;把得分方程写成 WLS 的形状,得到的是一个算法(IRLS),不是一个新的估计量。

WLS(加权最小二乘) IRLS(迭代重加权)
是什么 估计量 算法
权重 𝑾\mathbf W 由方差结构给定, 固定 每步由当前 𝜷\boldsymbol{\beta} 算出
响应 观测 𝒚\mathbf{y} 工作响应 𝝃(𝜷)\boldsymbol{\xi}(\boldsymbol{\beta})
一步给出什么 估计量本身 一个 Fisher/Newton 步
目标函数 固定的 ∑wi(yi−𝒙i⊤𝜷)2\sum w_i(y_i-\mathbf{x}_i^{\top}\boldsymbol{\beta})^2 每步换一个二次型,整体没有固定目标
收敛点 — 得分方程的解,即 MLE
两者何时真正重合

当 𝑾\mathbf W 与 𝝃\boldsymbol{\xi} 不依赖 𝜷\boldsymbol{\beta} 时,IRLS 一步就停,此时它确实就是 WLS:这正是正态 + 恒等连接(𝝃=𝒚\boldsymbol{\xi}=\mathbf{y},𝑾=𝑰\mathbf W=\mathbf I,𝑿⊤𝑿𝜷=𝑿⊤𝒚\mathbf{X}^{\top}\mathbf{X}\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{y})。顺带一提,正态配别的连接、或非正态配恒等连接都不行——只要 V(μ)V(\mu) 不是常数,得分方程就非线性。

一个可以当堂用的判据

WLS/GLS 估计量对 𝒚\mathbf{y} 是线性的(𝜷̂=(𝑿⊤𝑾𝑿)−1𝑿⊤𝑾𝒚\hat{\boldsymbol{\beta}}=(\mathbf{X}^{\top}\mathbf W\mathbf{X})^{-1}\mathbf{X}^{\top}\mathbf W\mathbf{y}),而非正态 GLM 的 MLE 对 𝒚\mathbf{y} 非线性(logistic 的 β̂1\hat\beta_1 不是 y1,…,yny_1,\dots,y_n 的线性函数)。所以一般不能说"GLM 的 MLE 就是 WLS",只能说"GLM 的 MLE 可以用反复的 WLS 算出来"——这也是 Nelder 与 Wedderburn 1972 年把它命名为 iteratively reweighted least squares 的原因。

证明 J=IJ=I

典则连接时 θi=ηi=𝒙i⊤𝜷\theta_i=\eta_i=\mathbf{x}_i^{\top}\boldsymbol{\beta},由 (见对应公式/小节), ℓ(𝜷)=1a(ϕ)∑i=1n[yi𝒙i⊤𝜷−b(𝒙i⊤𝜷)]+const.\ell(\boldsymbol{\beta})=\frac{1}{a(\phi)}\sum_{i=1}^{n}\big[y_i\mathbf{x}_i^{\top}\boldsymbol{\beta}-b(\mathbf{x}_i^{\top}\boldsymbol{\beta})\big]+\text{const.} 一阶导与二阶导: U(𝜷)=1a(ϕ)𝑿⊤(𝒚−𝝁),∇2ℓ(𝜷)=−1a(ϕ)𝑿⊤diag⁡(b″(ηi))𝑿=−1a(ϕ)𝑿⊤diag⁡(V(μi))𝑿.U(\boldsymbol{\beta})=\frac{1}{a(\phi)}\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu}), \qquad \nabla^{2}\ell(\boldsymbol{\beta})=-\frac{1}{a(\phi)}\mathbf{X}^{\top}\operatorname{diag}\big(b''(\eta_i)\big)\mathbf{X} =-\frac{1}{a(\phi)}\mathbf{X}^{\top}\operatorname{diag}\big(V(\mu_i)\big)\mathbf{X}. 二阶导不含 𝒚\mathbf{y},所以取期望不改变它: J(𝜷)=I(𝜷)=1a(ϕ)𝑿⊤𝑾𝑿,wi=V(μi).J(\boldsymbol{\beta})=I(\boldsymbol{\beta})=\frac{1}{a(\phi)}\mathbf{X}^{\top}\mathbf{W}\mathbf{X}, \qquad w_i=V(\mu_i). 于是 (见对应公式/小节) 与 (见对应公式/小节) 是同一个迭代,而 (见对应公式/小节) 只是它的算法写法。

反过来也要说清楚

非典则连接时三者不同:J≠IJ\ne I,Newton 与 Fisher 的步长不同,收敛路径也不同(极限相同)。数值上(§3.8):泊松配对数连接 max⁡|J−I|≈1.6×10−8\max|J-I|\approx1.6\times10^{-8};泊松配平方根连接 max⁡|J−I|≈2.8×102\max|J-I|\approx2.8\times10^{2}。

数值演示:两个模型的迭代过程 Numerical demonstration(帧 18、20 的"4–5 步")

以下是 verify_ch5.py 手写的 IRLS 输出,可当堂投影核对。

泊松对数线性 Poisson log-linear

迭代 kk β0(k)\beta_0^{(k)} β1(k)\beta_1^{(k)} 偏差 DD max⁡j|Δβj|\max_j|\Delta\beta_j|
1 +0.31713741+0.31713741 +0.30865330+0.30865330 0.470758070.47075807 1.30×10−11.30\times10^{-1}
2 +0.31386429+0.31386429 +0.30899266+0.30899266 0.470636140.47063614 3.27×10−33.27\times10^{-3}
3 +0.31385963+0.31385963 +0.30899330+0.30899330 0.470636140.47063614 4.65×10−64.65\times10^{-6}
4 +0.31385963+0.31385963 +0.30899330+0.30899330 0.470636140.47063614 8.33×10−128.33\times10^{-12}

数据:x=0,1,…,7x=0,1,\dots,7,y=(1,2,2,4,5,7,9,11)y=(1,2,2,4,5,7,9,11)。44 步收敛,𝜷̂=(0.31385963,0.30899330)\hat{\boldsymbol{\beta}}=(0.31385963,\ 0.30899330),D̂=0.47063614\hat D=0.47063614。

logistic 回归 Logistic regression

迭代 kk β0(k)\beta_0^{(k)} β1(k)\beta_1^{(k)} 偏差 DD max⁡j|Δβj|\max_j|\Delta\beta_j|
1 −0.98933643-0.98933643 +0.25838576+0.25838576 12.1490841012.14908410 4.77×10−14.77\times10^{-1}
2 −1.04727256-1.04727256 +0.27503442+0.27503442 12.1430343212.14303432 5.79×10−25.79\times10^{-2}
3 −1.04852608-1.04852608 +0.27540777+0.27540777 12.1430313412.14303134 1.25×10−31.25\times10^{-3}
4 −1.04852672-1.04852672 +0.27540796+0.27540796 12.1430313412.14303134 6.41×10−76.41\times10^{-7}
5 −1.04852672-1.04852672 +0.27540796+0.27540796 12.1430313412.14303134 1.73×10−131.73\times10^{-13}

数据:x=1,2,…,10x=1,2,\dots,10,y=(0,0,1,1,0,1,1,1,0,1)y=(0,0,1,1,0,1,1,1,0,1)。55 步收敛,𝜷̂=(−1.04852672,0.27540796)\hat{\boldsymbol{\beta}}=(-1.04852672,\ 0.27540796),D̂=12.14303134\hat D=12.14303134。

连接 方法 步数 收敛点 (β̂0,β̂1)(\hat\beta_0,\hat\beta_1)
对数(典则) Newton / Fisher 55 / 55 (0.31386,0.30899)(0.31386,\ 0.30899)
平方根(非典则) Newton 44 (0.964246,0.333381)(0.964246,\ 0.333381)
平方根(非典则) Fisher 77 (0.964246,0.333381)(0.964246,\ 0.333381)

最后两行是本节的"证据":非典则连接下 Newton 与 Fisher 的路径不同(4 步 vs 7 步),但极限相同。上课时若有人问"三种算法会不会给出不同答案",就用这两行回答:收敛点相同,路径不同。

初值与标准误 Starting values and standard errors(补充)

初值

课件建议 𝝁(0)=𝒚\boldsymbol{\mu}^{(0)}=\mathbf{y},即 ηi(0)=g(yi)\eta_i^{(0)}=g(y_i),再用 𝜷(0)=(𝑿⊤𝑿)−1𝑿⊤𝜼(0)\boldsymbol{\beta}^{(0)}=(\mathbf{X}^{\top}\mathbf{X})^{-1}\mathbf{X}^{\top}\boldsymbol\eta^{(0)} 起步。
实际软件会做一点"抖动"以避免 00 与 11:二项用 μ(0)=(y+0.5)/2\mu^{(0)}=(y+0.5)/2,泊松用 μ(0)=max⁡(y,0.1)\mu^{(0)}=\max(y,0.1)。本讲义的数值演示用的就是这两个(与 R 的 glm 一致)。

标准误:I−1I^{-1} 的平方根

渐近理论给出 𝜷̂∼̇N(𝜷,I(𝜷)−1)\hat{\boldsymbol{\beta}}\ \dot\sim\ \mathrm{N}\big(\boldsymbol{\beta},\ I(\boldsymbol{\beta})^{-1}\big),于是 Cov̂(𝜷̂)=a(ϕ)(𝑿⊤𝑾𝑿)−1,se(β̂j)=[Cov̂(𝜷̂)]jj.\widehat{\operatorname{Cov}}(\hat{\boldsymbol{\beta}})=a(\phi)\,\big(\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\big)^{-1}, \qquad \mathrm{se}(\hat\beta_j)=\sqrt{\big[\widehat{\operatorname{Cov}}(\hat{\boldsymbol{\beta}})\big]_{jj}} . 二项与泊松的 a(ϕ)=1a(\phi)=1,所以直接用 (𝑿⊤𝑾𝑿)−1(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1};正态、伽马、逆高斯要再乘 ϕ̂\hat\phi。

数值上(logistic 例子):𝑿⊤𝑾𝑿=(2.09525410.62629610.62629669.135430)\mathbf{X}^{\top}\mathbf{W}\mathbf{X}=\begin{pmatrix}2.095254&10.626296\\10.626296&69.135430\end{pmatrix},其逆的对角元为 2.1646682.164668 与 0.0656040.065604,开方得 se(β̂0)=1.471281\mathrm{se}(\hat\beta_0)=1.471281、se(β̂1)=0.256132\mathrm{se}(\hat\beta_1)=0.256132,故 β̂1\hat\beta_1 的 zz 值 =0.275408/0.256132=1.0753=0.275408/0.256132=1.0753,与 statsmodels 的 glm 输出完全一致。

偏差 Deviance(帧 22–29)

偏差回答第二个问题:这个模型拟合得有多好。它的构造方式很朴素——拿"完美模型"(饱和模型)当标尺,量一量当前模型离它有多远。本节把定义、推导、五个分布的闭式、以及与 R2R^2 的关系一次讲完。

饱和模型 The saturated model(帧 23–24)

定义:每个观测一个参数

饱和模型(saturated model):对每个观测 ii 单独设一个参数,使拟合值恰好等于观测值 μ̃i=yi,即θ̃i=θ(yi)=(b′)−1(yi).\tilde\mu_i=y_i, \qquad\text{即}\qquad \tilde\theta_i=\theta(y_i)=(b')^{-1}(y_i). 它的对数似然 ℓ(𝒚;𝒚)\ell(\mathbf{y};\mathbf{y}) 是这份数据能达到的最大值:任何其他模型都只能更小。

课件的三条评语值得原样讲:饱和模型不平滑数据、不能预测新数据(过拟合,overfitting)、只是比较用的基线。换句话说,它是"上界",不是"目标"。

嵌套(nested)

若模型 A 的自变量集合是模型 B 的自变量集合的子集,称 A 嵌套于 B。例如 只含截距⊂含 x1⊂含 x1,x2.\text{只含截距}\ \subset\ \text{含 }x_1\ \subset\ \text{含 }x_1,x_2 . 只有嵌套模型之间,偏差之差才有 χ2\chi^{2} 分布(见 §4.6)。

偏差的定义与推导 Definition and derivation(帧 25–26)

定义(尺度化偏差)

尺度化偏差(scaled deviance)是两倍的对数似然差: D*(𝒚;𝝁̂)=−2[ℓ(𝝁̂;𝒚)−ℓ(𝒚;𝒚)]≥0.\begin{equation} D^{*}(\mathbf{y};\hat{\boldsymbol{\mu}})=-2\big[\ell(\hat{\boldsymbol{\mu}};\mathbf{y})-\ell(\mathbf{y};\mathbf{y})\big]\ \ge 0 . \end{equation}

推导:c(y;ϕ)c(y;\phi) 抵消,只留下 bb 与 θ\theta

由 (见对应公式/小节), ℓ(𝝁̂;𝒚)−ℓ(𝒚;𝒚)=∑i=1n[yiθ̂i−b(θ̂i)]−[yiθ̃i−b(θ̃i)]a(ϕ)+∑ic(yi;ϕ)−∑ic(yi;ϕ)⏟=0.\ell(\hat{\boldsymbol{\mu}};\mathbf{y})-\ell(\mathbf{y};\mathbf{y}) =\sum_{i=1}^{n}\frac{\big[y_i\hat\theta_i-b(\hat\theta_i)\big]-\big[y_i\tilde\theta_i-b(\tilde\theta_i)\big]}{a(\phi)} +\underbrace{\sum_i c(y_i;\phi)-\sum_i c(y_i;\phi)}_{=\,0}. 注意 cc 的部分完全抵消。整理并与 (见对应公式/小节) 比较: D*(𝒚;𝝁̂)=2a(ϕ)∑i=1n{[yiθ̃i−b(θ̃i)]−[yiθ̂i−b(θ̂i)]}=D(𝒚;𝝁̂)a(ϕ),D^{*}(\mathbf{y};\hat{\boldsymbol{\mu}}) =\frac{2}{a(\phi)}\sum_{i=1}^{n}\Big\{\big[y_i\tilde\theta_i-b(\tilde\theta_i)\big]-\big[y_i\hat\theta_i-b(\hat\theta_i)\big]\Big\} =\frac{D(\mathbf{y};\hat{\boldsymbol{\mu}})}{a(\phi)}, 其中 D(𝒚;𝝁̂)=2∑i=1n{yi(θ̃i−θ̂i)−b(θ̃i)+b(θ̂i)}\begin{equation} {\;D(\mathbf{y};\hat{\boldsymbol{\mu}})=2\sum_{i=1}^{n}\Big\{y_i\big(\tilde\theta_i-\hat\theta_i\big)-b(\tilde\theta_i)+b(\hat\theta_i)\Big\}\;} \end{equation} 称为偏差(deviance)。

三个必须说清楚的性质

(1) D≥0D\ge 0 且 D=0⇔𝝁̂=𝒚D=0\iff\hat{\boldsymbol{\mu}}=\mathbf{y}(模型完美拟合)。
(2) DD 不含 a(ϕ)a(\phi),所以总能算;D*=D/a(ϕ)D^{*}=D/a(\phi) 只有在 ϕ\phi 已知时才能算。
(3) DD 与 a(ϕ)a(\phi) 无关这一点,正是它能跨分布比较"拟合好坏"的原因;但不同分布之间的 DD 不能直接比较(它们量纲不同)。

五个分布的偏差公式 Closed forms for the five families(θ̃\tilde\theta 的代入)

式 (见对应公式/小节) 里的 θ̃i\tilde\theta_i 由 μ̃i=yi\tilde\mu_i=y_i 定,θ̂i\hat\theta_i 由 μ̂i\hat\mu_i 定。把第 4 章 §4 的 (θ,b)(\theta,b) 代进去,逐个算。

正态 Normal: DD is the residual sum of squares

推导

θ=μ\theta=\mu,b(θ)=θ2/2b(\theta)=\theta^{2}/2,θ̃i=yi\tilde\theta_i=y_i,θ̂i=μ̂i\hat\theta_i=\hat\mu_i: yi(yi−μ̂i)−yi2−μ̂i22=2yi2−2yiμ̂i−yi2+μ̂i22=(yi−μ̂i)22.y_i(y_i-\hat\mu_i)-\frac{y_i^{2}-\hat\mu_i^{2}}{2} =\frac{2y_i^{2}-2y_i\hat\mu_i-y_i^{2}+\hat\mu_i^{2}}{2} =\frac{(y_i-\hat\mu_i)^{2}}{2}. 乘以 2 再求和: D=∑i=1n(yi−μ̂i)2=RSS,D*=RSSσ2.D=\sum_{i=1}^{n}(y_i-\hat\mu_i)^{2}=\mathrm{RSS}, \qquad D^{*}=\frac{\mathrm{RSS}}{\sigma^{2}} .

泊松 Poisson

推导

θ=log⁡μ\theta=\log\mu,b(θ)=eθ=μb(\theta)=e^{\theta}=\mu,θ̃i=log⁡yi\tilde\theta_i=\log y_i(yi=0y_i=0 时取极限 00),θ̂i=log⁡μ̂i\hat\theta_i=\log\hat\mu_i: 2{yilog⁡yiμ̂i−(yi−μ̂i)}⇒D=2∑i=1n{yilog⁡yiμ̂i−(yi−μ̂i)},2\Big\{y_i\log\frac{y_i}{\hat\mu_i}-\big(y_i-\hat\mu_i\big)\Big\} \quad\Longrightarrow\quad D=2\sum_{i=1}^{n}\Big\{y_i\log\frac{y_i}{\hat\mu_i}-(y_i-\hat\mu_i)\Big\}, 约定 0log⁡0=00\log 0=0。

二项(计数版) Binomial (counts)

推导

θ=log⁡π1−π\theta=\log\dfrac{\pi}{1-\pi},b(θ)=nlog⁡(1+eθ)=−nlog⁡(1−π)b(\theta)=n\log(1+e^{\theta})=-n\log(1-\pi),π̃i=yi/n\tilde\pi_i=y_i/n,π̂i=μ̂i/n\hat\pi_i=\hat\mu_i/n。代入 (见对应公式/小节),用 −b(θ̃)+b(θ̂)=nlog⁡1−π̃1−π̂-b(\tilde\theta)+b(\hat\theta)=n\log\dfrac{1-\tilde\pi}{1-\hat\pi} 整理: D=2∑i=1n{yilog⁡yiμ̂i+(ni−yi)log⁡ni−yini−μ̂i}.D=2\sum_{i=1}^{n}\Big\{y_i\log\frac{y_i}{\hat\mu_i}+(n_i-y_i)\log\frac{n_i-y_i}{n_i-\hat\mu_i}\Big\}. 伯努利(ni=1n_i=1)是特例:D=2∑{yilog⁡yiπ̂i+(1−yi)log⁡1−yi1−π̂i}D=2\sum\big\{y_i\log\frac{y_i}{\hat\pi_i}+(1-y_i)\log\frac{1-y_i}{1-\hat\pi_i}\big\}。

伽马 Gamma

推导

θ=−1/μ\theta=-1/\mu,b(θ)=−log⁡(−θ)=log⁡μb(\theta)=-\log(-\theta)=\log\mu,θ̃i=−1/yi\tilde\theta_i=-1/y_i,θ̂i=−1/μ̂i\hat\theta_i=-1/\hat\mu_i: D=2∑i=1n{−log⁡yiμ̂i+yi−μ̂iμ̂i}.D=2\sum_{i=1}^{n}\Big\{-\log\frac{y_i}{\hat\mu_i}+\frac{y_i-\hat\mu_i}{\hat\mu_i}\Big\}.

逆高斯 Inverse Gaussian

推导

θ=−12μ2\theta=-\dfrac{1}{2\mu^{2}},b(θ)=−−2θ=−1μb(\theta)=-\sqrt{-2\theta}=-\dfrac{1}{\mu},θ̃i=−12yi2\tilde\theta_i=-\dfrac{1}{2y_i^{2}},θ̂i=−12μ̂i2\hat\theta_i=-\dfrac{1}{2\hat\mu_i^{2}}: D=∑i=1n(yi−μ̂i)2μ̂i2yi.D=\sum_{i=1}^{n}\frac{(y_i-\hat\mu_i)^{2}}{\hat\mu_i^{2}\,y_i}.

分布 偏差 DD 备注
正态 ∑(yi−μ̂i)2\sum(y_i-\hat\mu_i)^{2} 就是 RSS
泊松 2∑[ylog⁡yμ̂−(y−μ̂)]2\sum\big[y\log\frac{y}{\hat\mu}-(y-\hat\mu)\big] 0log⁡0=00\log0=0
二项 2∑[ylog⁡yμ̂+(n−y)log⁡n−yn−μ̂]2\sum\big[y\log\frac{y}{\hat\mu}+(n-y)\log\frac{n-y}{n-\hat\mu}\big] 伯努利取 n=1n=1
伽马 2∑[−log⁡yμ̂+y−μ̂μ̂]2\sum\big[-\log\frac{y}{\hat\mu}+\frac{y-\hat\mu}{\hat\mu}\big] 恒非负
逆高斯 ∑(y−μ̂)2μ̂2y\sum\frac{(y-\hat\mu)^{2}}{\hat\mu^{2}y}

数值核对(verify_ch5.py):把上面的闭式与 (见对应公式/小节) 的定义式逐点比较,五个分布全部相等(正态 0.540.54、泊松 2.81093021622.8109302162、二项 2.27886856642.2788685664、伽马 0.17313344450.1731334445、逆高斯 0.07870370370.0787037037)。

正态:偏差就是残差平方和(帧 27) Normal: deviance = RSS(frame 27)

课件第 27 帧把正态单独拿出来,要点只有一个:第 3 章的最小二乘与第 5 章的偏差是同一件事。这一条把整门课的三个部分缝在一起: 最小二乘⏟第 2–3 章=正态 GLM 的 MLE⏟第 4 章=正态 GLM 的偏差⏟第 5 章(都等于 ∑(yi−μ̂i)2).\underbrace{\text{最小二乘}}_{\text{第 2--3 章}} \;=\; \underbrace{\text{正态 GLM 的 MLE}}_{\text{第 4 章}} \;=\; \underbrace{\text{正态 GLM 的偏差}}_{\text{第 5 章}} \qquad\Big(\text{都等于 }\sum(y_i-\hat\mu_i)^{2}\Big).

一个常见误解

"偏差是 RSS 的推广"这句话是对的,但不要因此把泊松的 DD 当成"某种平方和"来计算标准误。DD 与方差的关系是 D∼χn−p−12D\sim\chi^{2}_{n-p-1}(在模型正确且 ϕ=1\phi=1 时近似成立),它衡量的是相对饱和模型的似然损失,不是残差平方和。

零偏差与 R2R^{2} Null deviance and R2R^2(帧 28–29)

零偏差

零偏差(null deviance)是"只含截距"的模型相对于饱和模型的偏差: D0=−2[ℓ(μ̂0;𝒚)−ℓ(𝒚;𝒚)],μ̂0=y‾(对正态、泊松、伽马等).D_0=-2\big[\ell(\hat\mu_0;\mathbf{y})-\ell(\mathbf{y};\mathbf{y})\big], \qquad \hat\mu_0=\bar y\ (\text{对正态、泊松、伽马等}). 正态时它就是总平方和: D0=∑i=1n(yi−y‾)2=SST.D_0=\sum_{i=1}^{n}(y_i-\bar y)^{2}=\mathrm{SST}.

R2R^{2}:偏差解释比例
R2:=1−DD0.\begin{equation} R^{2}:=1-\frac{D}{D_0}. \end{equation} 正态时 1−D/D0=1−RSS/SST1-D/D_0=1-\mathrm{RSS}/\mathrm{SST},正是 第 2 章的决定系数;对一般 GLM 它只是一个"偏差解释比例",与最小二乘的 R2R^2 不是同一个量。
例子 DD D0D_0 R2=1−D/D0R^{2}=1-D/D_0 观测数/参数
logistic(x=1..10x=1..10) 12.1430313412.14303134 13.4602333413.46023334 0.0978590.097859 10/210/2
泊松(x=0..7x=0..7) 0.470636140.47063614 18.2776888918.27768889 0.9742510.974251 8/28/2

两个数字的对比很有教学价值:泊松例子中 xx 几乎解释了全部偏差(R2=0.974R^{2}=0.974);logistic 例子中 R2R^{2} 只有 0.0980.098,但 β̂1\hat\beta_1 的 zz 值仍有 1.081.08——R2R^{2} 低不等于模型没用,两件事衡量的东西不同。

三种"R2R^{2}"不要混

(1) 最小二乘的 R2=1−RSS/SSTR^{2}=1-\mathrm{RSS}/\mathrm{SST}(第 2 章);
(2) 偏差 R2=1−D/D0R^{2}=1-D/D_0(本节的式 (见对应公式/小节));
(3) 各种"伪 R2R^{2}"(McFadden 等),定义是 1−ℓ(𝝁̂)/ℓ(û0)1-\ell(\hat{\boldsymbol{\mu}})/\ell(\hat{u}_0)。
三者在正态线性模型下相等,在别的 GLM 下互不相等,数值也不接近。考试若只写"R2R^{2}",要说明是哪一个。

偏差的用途 What deviance is for(衔接第 6 章)

三件事

(1) 嵌套模型比较(似然比检验):若模型 A 嵌套于 B,且 B 有 qq 个多余参数, DA−DB∼̇χq2(模型 B 正确、 ϕ 已知时).D_A-D_B\ \dot\sim\ \chi^{2}_{q} \qquad(\text{模型 B 正确、 }\phi \text{ 已知时}). (2) 拟合优度:ϕ=1\phi=1 的模型(二项、泊松)若 DD 远大于自由度 n−p−1n-p-1,说明过度分散(overdispersion),需要换负二项、拟泊松等。
(3) 偏差残差:sign⁡(yi−μ̂i)di\operatorname{sign}(y_i-\hat\mu_i)\sqrt{d_i},其中 did_i 是第 ii 项对 DD 的贡献,用来做残差诊断(第 6 章)。

数值上(泊松例子):D=0.4706D=0.4706,自由度 n−p−1=8−2=6n-p-1=8-2=6,DD 远小于自由度——拟合很好,没有过度分散。logistic 例子:D=12.143D=12.143,自由度 10−2=810-2=8,比值 1.521.52,略高于 11,属于可接受范围。

总结 Summary(帧 30–31)

课件最后用六个问题收尾。下面把每个问题的答案写成"一句话 + 依据"。上课时让学生先答,再对答案。

课件的问题 答案与依据
GLM 的 MLE 怎么确定? 解得分方程 U(𝜷̂)=𝟎U(\hat{\boldsymbol{\beta}})=\mathbf{0},即 𝑿⊤𝑾(𝝃−𝑿𝜷)=𝟎\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta})=\mathbf{0}。一般无闭式解(§2.2、§3.1)
介绍了哪三种算法? Newton–Raphson(用 JJ)、Fisher scoring(用 II)、IRLS(加权最小二乘的外壳)(§3.4–3.6)
三者的联系是什么? 都是"用曲率修正得分";Fisher 把 JJ 换成 II;IRLS 把 Fisher 写成加权最小二乘。非典则时路径不同、极限相同(§3.7、§3.8)
用典则连接能得到什么? h=idh=\operatorname{id},J=IJ=I,三者合一;U=𝑿⊤(𝒚−𝝁)/a(ϕ)U=\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})/a(\phi),正规方程化为 𝑿⊤(𝒚−𝝁)=𝟎\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})=\mathbf{0}(§2.6、§3.7)
(尺度化)偏差的定义? D*=−2[ℓ(𝝁̂)−ℓ(𝒚)]=D/a(ϕ)D^{*}=-2[\ell(\hat{\boldsymbol{\mu}})-\ell(\mathbf{y})]=D/a(\phi),其中 D=2∑[y(θ̃−θ̂)−b(θ̃)+b(θ̂)]D=2\sum[y(\tilde\theta-\hat\theta)-b(\tilde\theta)+b(\hat\theta)](§4.2)
偏差为什么是 LRM 的推广? 正态时 D=∑(y−μ̂)2=RSSD=\sum(y-\hat\mu)^{2}=\mathrm{RSS},D0=SSTD_0=\mathrm{SST},R2=1−D/D0R^{2}=1-D/D_0(§4.4–4.5)

三张必须能默写的表 Three tables worth memorising

(a) 从似然到正规方程

量 表达式 备注
得分 U(𝜷)=𝑿⊤𝑾(𝝃−𝑿𝜷)/a(ϕ)U(\boldsymbol{\beta})=\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta})/a(\phi) 核心式
权重 wi=1/[V(μi)g′(μi)2]w_i=1/\big[V(\mu_i)g'(\mu_i)^2\big] 只用 V,g′V,g'
工作响应 ξi=ηi+g′(μi)(yi−μi)\xi_i=\eta_i+g'(\mu_i)(y_i-\mu_i) 𝔼[ξi]=ηi\mathbb{E}[\xi_i]=\eta_i
正规方程 𝑿⊤𝑾𝑿𝜷=𝑿⊤𝑾𝝃\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi} 加权最小二乘
典则时 U=𝑿⊤(𝒚−𝝁)/a(ϕ)U=\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})/a(\phi) 残差正交

(b) 三种算法

更新式 用什么 何时最方便
Newton 𝜷+J−1U\boldsymbol{\beta}+J^{-1}U 观测信息 JJ 需要快收敛
Fisher 𝜷+I−1U\boldsymbol{\beta}+I^{-1}U 期望信息 II 一阶量即可,总正定
IRLS (𝑿⊤𝑾𝑿)−1𝑿⊤𝑾𝝃(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1}\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi} gg 与 VV 实现最简单

(c) 偏差

概念 表达式
尺度化偏差 D*=−2[ℓ(𝝁̂)−ℓ(𝒚)]=D/a(ϕ)D^{*}=-2[\ell(\hat{\boldsymbol{\mu}})-\ell(\mathbf{y})]=D/a(\phi)
偏差 D=2∑[y(θ̃−θ̂)−b(θ̃)+b(θ̂)]D=2\sum[y(\tilde\theta-\hat\theta)-b(\tilde\theta)+b(\hat\theta)]
正态时 D=RSSD=\mathrm{RSS},D0=SSTD_0=\mathrm{SST}
零偏差 D0=−2[ℓ(û0)−ℓ(𝒚)]D_0=-2[\ell(\hat{u}_0)-\ell(\mathbf{y})]
解释比例 R2=1−D/D0R^{2}=1-D/D_0

整章的逻辑线 The logical thread of the chapter

五步

① 把第 4 章的指数族似然写成 ℓ(𝜷)\ell(\boldsymbol{\beta})(§1)⇒\Rightarrow ② 链式法则得 UU,再打包成 w,ξw,\xi,得正规方程(§2)⇒\Rightarrow ③ 正规方程非线性,用 Newton/Fisher/IRLS 迭代(§3)⇒\Rightarrow ④ 拟合好坏的度量是偏差,正态时退化为 RSS(§4)⇒\Rightarrow ⑤ 偏差之差做嵌套模型检验,进入第 6 章的推断与诊断。

一句话版本:第 4 章给你 V(μ)V(\mu) 与 gg,第 5 章用它们造出权重与工作响应,迭代出 𝜷̂\hat{\boldsymbol{\beta}},再用偏差量一量离饱和模型有多远。

讲课防错清单 Fourteen Pitfalls, and How to Pre-empt Them

每条给出:错误(学生或讲者会写成的样子)、正确、预防(可当堂说的一句话)。

  1. 漏掉 g′(μ)g'(\mu)。 错误:Uj=∑(yi−μi)xijaV(μi)U_j=\sum\frac{(y_i-\mu_i)x_{ij}}{aV(\mu_i)}。正确:分母还有 g′(μi)g'(\mu_i),见式 (4)。预防:"三个分母:aa、VV、g′g'。"

  2. 权重写成 1/V1/V。 错误:wi=1/V(μi)w_i=1/V(\mu_i)。正确:wi=1/(V(μi)g′(μi)2)w_i=1/\big(V(\mu_i)g'(\mu_i)^2\big)。预防:"权重是工作响应的方差的倒数。"

  3. 工作响应写成 yy。 错误:把 𝝃\boldsymbol{\xi} 当成 𝒚\mathbf{y}。正确:ξi=ηi+g′(μi)(yi−μi)\xi_i=\eta_i+g'(\mu_i)(y_i-\mu_i),只在正态+恒等时才等于 yiy_i。

  4. 认为 Newton 与 Fisher scoring 总是相同。 正确:只有典则连接时 J=IJ=I;非典则时路径不同(讲义数值:4 步 vs 7 步),极限相同。

  5. 认为 I=𝑿⊤𝑾𝑿I=\mathbf{X}^{\top}\mathbf{W}\mathbf{X} 就完事了。 正确:I=𝑿⊤𝑾𝑿/a(ϕ)I=\mathbf{X}^{\top}\mathbf{W}\mathbf{X}/a(\phi)。估 𝜷\boldsymbol{\beta} 时 a(ϕ)a(\phi) 约掉,估标准误时不能丢。

  6. 把 DD 与 D*D^{*} 混用。 正确:D*=D/a(ϕ)D^{*}=D/a(\phi);ϕ\phi 未知时只能算 DD。

  7. 把偏差当残差平方和算标准误。 正确:标准误来自 (𝑿⊤𝑾𝑿)−1(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1},不是 DD;DD 用于拟合优度与模型比较。

  8. 说"偏差一定服从 χ2\chi^{2}"。 正确:只有在模型正确、ϕ\phi 已知(或已估)且样本量足够时 χ2\chi^{2} 近似成立;过度分散时 DD 会远大于自由度。

  9. 比较非嵌套模型的偏差。 正确:偏差之差只有对嵌套模型才有 χ2\chi^{2} 分布(第 6 章)。

  10. 把 GLM 的 R2R^{2} 当成最小二乘的 R2R^{2}。 正确:1−D/D01-D/D_0 只是"偏差解释比例";正态时才等于 1−RSS/SST1-\mathrm{RSS}/\mathrm{SST}。

  11. 二项的偏差公式里用 π\pi 代替 μ\mu。 正确:计数版的 μ=nπ\mu=n\pi,公式里写的是 μ̂i\hat\mu_i 与 ni−μ̂in_i-\hat\mu_i。

  12. 忽略不收敛。 正确:看到"β̂\hat\beta 很大、标准误很大、迭代不收敛",先怀疑分离(某条线把两类完全分开)或设计矩阵共线。

  13. 把 𝜷\boldsymbol{\beta} 的维数写成 pp。 正确:维数 p+1p+1(含截距),求和 j=0,…,pj=0,\dots,p。

  14. 用 ϕ\phi 的估计去迭代 𝜷\boldsymbol{\beta}。 正确:𝜷\boldsymbol{\beta} 的迭代不需要 ϕ\phi(它在 I−1UI^{-1}U 中约掉);ϕ\phi 在 𝜷̂\hat{\boldsymbol{\beta}} 定下来之后用偏差或 Pearson χ2\chi^{2} 估。

如果只能记三条

(1) wi=1/(Vg′2)w_i=1/(V g'^2)、ξi=ηi+g′(y−μ)\xi_i=\eta_i+g'(y-\mu)、正规方程 𝑿⊤𝑾𝑿𝜷=𝑿⊤𝑾𝝃\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi}。
(2) 典则连接 ⇔\Leftrightarrow J=IJ=I ⇔\Leftrightarrow Newton = Fisher = IRLS。
(3) D=2∑[y(θ̃−θ̂)−b(θ̃)+b(θ̂)]D=2\sum[y(\tilde\theta-\hat\theta)-b(\tilde\theta)+b(\hat\theta)],正态时就是 RSS。

数值核对表 Every Number in This Note, and How to Re-check It

下表列出讲义出现的全部关键数字,都可以用 verify_ch5.py 重算;脚本同时用 statsmodels 的 GLM 做一次独立交叉验证(不依赖课件的任何结论)。

两个模型的拟合结果

量 logistic(x=1,…,10x=1,\dots,10) 泊松(x=0,…,7x=0,\dots,7)
β̂0\hat\beta_0 −1.04852672-1.04852672 +0.31385963+0.31385963
β̂1\hat\beta_1 +0.27540796+0.27540796 +0.30899330+0.30899330
迭代步数 55 44
偏差 DD 12.1430313412.14303134 0.470636140.47063614
零偏差 D0D_0 13.4602333413.46023334 18.2776888918.27768889
R2=1−D/D0R^{2}=1-D/D_0 0.0978590.097859 0.9742510.974251
se(β̂0)\mathrm{se}(\hat\beta_0) 1.471280911.47128091 0.421219680.42121968
se(β̂1)\mathrm{se}(\hat\beta_1) 0.256131870.25613187 0.078623100.07862310
z1=β̂1/sez_1=\hat\beta_1/\mathrm{se} 1.0752581.075258 3.9300573.930057

logistic 的 𝑿⊤𝑾𝑿=(2.09525410.62629610.62629669.135430)\mathbf{X}^{\top}\mathbf{W}\mathbf{X}=\begin{pmatrix}2.095254&10.626296\\10.626296&69.135430\end{pmatrix},逆的对角元为 2.164668142.16466814 与 0.065603550.06560355,开方即上表的标准误。

JJ 与 II;Newton 与 Fisher

模型 / 连接 是否典则 max⁡|J−I|\max|J-I| 结论
logistic / logit 是 1.343×10−91.343\times10^{-9} J=IJ=I
泊松 / log 是 1.561×10−81.561\times10^{-8} J=IJ=I
泊松 / sqrt 否 2.770×1022.770\times10^{2} J≠IJ\ne I
模型 / 连接 Newton 步数 Fisher 步数 收敛点 是否相同
泊松 / log 55 55 (0.31386,0.30899)(0.31386,\ 0.30899) 完全相同
泊松 / sqrt 44 77 (0.964246,0.333381)(0.964246,\ 0.333381) 极限同、路径不同

偏差:定义式与闭式

分布 由定义 (见对应公式/小节) 计算 由闭式计算
正态 0.540.54 RSS=0.54\mathrm{RSS}=0.54
泊松 2.81093021622.8109302162 2.81093021622.8109302162
二项 2.27886856642.2788685664 2.27886856642.2788685664
伽马 0.17313344450.1731334445 0.17313344450.1731334445
逆高斯 0.07870370370.0787037037 0.07870370370.0787037037

典则连接的一个"守恒量"

典则连接下正规方程是 𝑿⊤(𝒚−𝝁̂)=𝟎\mathbf{X}^{\top}(\mathbf{y}-\hat{\boldsymbol{\mu}})=\mathbf{0}。取第一列(全为 1)得 ∑i=1nμ̂i=∑i=1nyi.\sum_{i=1}^{n}\hat\mu_i=\sum_{i=1}^{n}y_i . 泊松例子:∑μ̂i=41.0000\sum\hat\mu_i=41.0000,∑yi=1+2+2+4+5+7+9+11=41\sum y_i=1+2+2+4+5+7+9+11=41。这是一个非常好的当堂检查——学生算完拟合值,先看总和对不对。

独立交叉验证

量 本讲义(手写 IRLS) statsmodels.GLM 是否一致
logistic 𝜷̂\hat{\boldsymbol{\beta}} (−1.048527,0.275408)(-1.048527,\ 0.275408) (−1.048527,0.275408)(-1.048527,\ 0.275408) 是
logistic se (1.471281,0.256132)(1.471281,\ 0.256132) (1.471281,0.256132)(1.471281,\ 0.256132) 是
logistic DD 12.1430313412.14303134 12.1430313412.14303134 是
泊松 𝜷̂\hat{\boldsymbol{\beta}} (0.313860,0.308993)(0.313860,\ 0.308993) (0.313860,0.308993)(0.313860,\ 0.308993) 是
泊松 se (0.421220,0.078623)(0.421220,\ 0.078623) (0.421217,0.078623)(0.421217,\ 0.078623) 是(末位差 3×10−63\times 10^{-6})
泊松 DD 0.470636140.47063614 0.470636140.47063614 是

末位的小差异来自手写 IRLS 的停止准则(max⁡|Δβ|<10−10\max|\Delta\beta|<10^{-10} 而非机器精度),不影响任何一位有效数字。

怎么重算

在本目录下执行

python verify_ch5.py

脚本做五件事:(1) 手写 IRLS 并打印两张迭代表;(2) 用有限差分核对 JJ 与 II;(3) 比较 Newton 与 Fisher 的收敛路径;(4) 用定义式计算五个分布的偏差并与闭式对照;(5) 与 statsmodels 交叉验证。全部输出 ALL CHECKS PASSED 才算通过。

附录:IRLS 一页纸 Appendix: IRLS on one page

算法

输入:𝑿∈ℝn×(p+1)\mathbf{X}\in\mathbb{R}^{n\times(p+1)},𝒚\mathbf{y},连接 gg,方差函数 V(μ)V(\mu),初值 𝜷(0)\boldsymbol{\beta}^{(0)}。
重复 k=0,1,2,…k=0,1,2,\dots: ηi(k)=𝒙i⊤𝜷(k),μi(k)=g−1(ηi(k)),wi(k)=1V(μi(k))g′(μi(k))2,ξi(k)=ηi(k)+g′(μi(k))(yi−μi(k)),𝜷(k+1)=(𝑿⊤𝑾(k)𝑿)−1𝑿⊤𝑾(k)𝝃(k),\begin{align*} \eta_i^{(k)}&=\mathbf{x}_i^{\top}\boldsymbol{\beta}^{(k)},\qquad \mu_i^{(k)}=g^{-1}\big(\eta_i^{(k)}\big),\\ w_i^{(k)}&=\frac{1}{V\big(\mu_i^{(k)}\big)\,g'\big(\mu_i^{(k)}\big)^{2}},\qquad \xi_i^{(k)}=\eta_i^{(k)}+g'\big(\mu_i^{(k)}\big)\big(y_i-\mu_i^{(k)}\big),\\ \boldsymbol{\beta}^{(k+1)}&=\big(\mathbf{X}^{\top}\mathbf{W}^{(k)}\mathbf{X}\big)^{-1}\mathbf{X}^{\top}\mathbf{W}^{(k)}\boldsymbol{\xi}^{(k)}, \end{align*} 直到 max⁡j|βj(k+1)−βj(k)|<ε\max_j|\beta_j^{(k+1)}-\beta_j^{(k)}|<\varepsilon 或 |ℓ(k+1)−ℓ(k)|<ε|\ell^{(k+1)}-\ell^{(k)}|<\varepsilon。
输出:𝜷̂\hat{\boldsymbol{\beta}},Cov̂(𝜷̂)=a(ϕ)(𝑿⊤𝑾𝑿)−1\widehat{\operatorname{Cov}}(\hat{\boldsymbol{\beta}})=a(\phi)(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1},𝝁̂=g−1(𝑿𝜷̂)\hat{\boldsymbol{\mu}}=g^{-1}(\mathbf{X}\hat{\boldsymbol{\beta}}),偏差 DD。

模型 g(μ)g(\mu) V(μ)V(\mu) wiw_i
正态线性 μ\mu 11 11
泊松对数 log⁡μ\log\mu μ\mu μ\mu
logistic log⁡μ1−μ\log\dfrac{\mu}{1-\mu} μ(1−μ)\mu(1-\mu) μ(1−μ)\mu(1-\mu)
probit Φ−1(μ)\Phi^{-1}(\mu) μ(1−μ)\mu(1-\mu) μ(1−μ)φ(Φ−1(μ))2\mu(1-\mu)\,\varphi(\Phi^{-1}(\mu))^{2}
伽马(倒数) 1/μ1/\mu μ2\mu^{2} μ2\mu^{2}
伽马(对数) log⁡μ\log\mu μ2\mu^{2} 11

第三、四行的权重值得对照:logistic 的 wi=μi(1−μi)w_i=\mu_i(1-\mu_i) 在第 4 章是方差函数,到这里变成了权重——这就是典则连接把两件事合成一件的直接证据。第六行伽马配对数连接时 wi=1w_i=1(因为 g′=1/μg'=1/\mu、V=μ2V=\mu^2,乘积为 1),这也是实践中 gamma GLM 常配 log 连接的原因之一:权重退化为常数,数值上最稳。

附录:与前后章节的接口 Appendix: links to Chapters 4 and 6

与第 4 章的对应

第 4 章 第 5 章 关系
f=exp⁡{[yθ−b]/a+c}f=\exp\{[y\theta-b]/a+c\} ℓ(𝜷)\ell(\boldsymbol{\beta}) 代入 θ=h(𝒙⊤𝜷)\theta=h(\mathbf{x}^{\top}\boldsymbol{\beta})
V(μ)=b″(θ(μ))V(\mu)=b''(\theta(\mu)) wi=1/(Vg′2)w_i=1/(Vg'^2) 方差函数 →\to 权重
典则连接 g=(b′)−1g=(b')^{-1} h=idh=\operatorname{id},J=IJ=I 三者合一
𝔼[ℓ″]=−𝔼[(ℓ′)2]\mathbb{E}[\ell'']=-\mathbb{E}[(\ell')^2](标量) 𝔼[∇2ℓ]=−𝔼[UU⊤]\mathbb{E}[\nabla^2\ell]=-\mathbb{E}[UU^{\top}](矩阵) 同一个两步求导
得分零点 μ=y\mu=y(单观测) U=𝑿⊤(𝒚−𝝁)/aU=\mathbf{X}^{\top}(\mathbf{y}-\boldsymbol{\mu})/a 向量化

与第 6 章的接口

本章留下四个"接口",第 6 章直接使用: (1) 偏差 DD 与自由度 n−p−1n-p-1 的比值——过度分散的判据; (2) 嵌套模型的 DA−DB∼̇χq2D_A-D_B\ \dot\sim\ \chi^{2}_{q}——模型比较与变量选择; (3) 偏差残差与 Pearson 残差——诊断; (4) Cov̂(𝜷̂)=a(ϕ)(𝑿⊤𝑾𝑿)−1\widehat{\operatorname{Cov}}(\hat{\boldsymbol{\beta}})=a(\phi)(\mathbf{X}^{\top}\mathbf{W}\mathbf{X})^{-1}——Wald 检验与置信区间。

考试可能的问法

五种题型

(1) 推导题:"写出 GLM 的得分方程并说明典则连接时为什么化简。"(§2.1–2.6)
(2) 算法题:"写出 IRLS 的一步更新,并解释 wiw_i 与 ξi\xi_i。"(§3.6)
(3) 辨析题:"Newton 与 Fisher scoring 何时相同?为什么?"(§3.7)
(4) 计算题:"给定 𝝁̂\hat{\boldsymbol{\mu}} 与 yy,算泊松/二项的偏差。"(§4.3)
(5) 概念题:"偏差为什么是 RSS 的推广?"(§4.4)

板书规划(本章)

左面板(整节课不擦):
U=1a𝑿⊤𝑾(𝝃−𝑿𝜷),wi=1V(μi)g′(μi)2,ξi=ηi+g′(μi)(yi−μi),U=\frac{1}{a}\mathbf{X}^{\top}\mathbf{W}(\boldsymbol{\xi}-\mathbf{X}\boldsymbol{\beta}),\quad w_i=\frac{1}{V(\mu_i)g'(\mu_i)^2},\quad \xi_i=\eta_i+g'(\mu_i)(y_i-\mu_i), 𝑿⊤𝑾𝑿𝜷=𝑿⊤𝑾𝝃,D=2∑[y(θ̃−θ̂)−b(θ̃)+b(θ̂)].\mathbf{X}^{\top}\mathbf{W}\mathbf{X}\boldsymbol{\beta}=\mathbf{X}^{\top}\mathbf{W}\boldsymbol{\xi},\qquad D=2\sum\big[y(\tilde\theta-\hat\theta)-b(\tilde\theta)+b(\hat\theta)\big]. 右面板:Newton / Fisher / IRLS 三步对照,以及两个数值迭代表。



章讲义配套使用:先 main.pdf,再 ch5_main.pdf。

This page was generated by DeepSeek 4.1 Flash from the course LaTeX source; the derivations are reproduced verbatim.

本页由 DeepSeek 4.1 Flash 依据课程 LaTeX 讲义生成,推导与数字均按原讲义保留。