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
School
of Mathematics and Physics
XJTLU
:verify_ch5.py前置讲义:第
4 章详细讲义(本目录 main.pdf)
这份讲义怎么用 How to use
these notes
第 4 章回答"模型怎么设定",第 5
章回答两件事:参数怎么算出来(MLE
的正规方程与三种迭代算法)以及模型拟合得有多好(偏差)。课件在这两处都只给关键式子,本讲义把中间代数补齐,并把每一步的数值算给你看——上课照着写、当堂核对都不会出错。
三类标记与第 4
章一致:【步骤】(蓝框)可逐行照抄黑板;【要点】(绿框)是结论与成立条件;【易错】(红框)先给错误写法再给正确写法;【板书】(灰框)是建议留在黑板上的最小内容。
与第 4 章的接口
What carries over from Chapter 4
第 5 章的每个公式都只是把第 4
章的结论代进似然里。上课前花两分钟把下面这张表过一遍,学生的"卡壳"会少一半。
| 第 4 章的结论 |
在第 5 章里变成什么 |
用在哪 |
|
对数似然
|
§1.4、§2.1 |
| , |
反解
|
§1.3 |
|
权重
|
§2.2 |
| 典则连接
|
; |
§1.3、§3.7 |
| , |
得分均值零、信息矩阵引理 |
§3.3 |
|
与
的显式形式 |
偏差
的闭式 |
§4.3 |
一句话衔接
第 4 章把
讲成"方差函数",当时它只是一个描述性概念;第 5
章里它是权重——。拟合算法只需要
与
这两样东西,这一点在本章第 20 帧被明确写出来。
32 帧速查 Frame map
| 帧 |
内容 |
本文位置 |
| 1–2 |
标题、目录 |
— |
| 3 |
第 1 节标题页 |
— |
| 4–5 |
记号; |
§1.1–1.3 |
| 6 |
写成
的函数;典则时的简化 |
§1.4 |
| 7 |
第 2 节标题页 |
— |
| 8–9 |
链式法则;得分
、权重
、工作响应
|
§2.1–2.3 |
| 10 |
得分向量与正规方程 |
§2.2 |
| 11–12 |
正态线性回归、泊松对数线性两个例子 |
§2.4 |
| 13 |
第 3 节标题页 |
— |
| 14 |
为什么要迭代 |
§3.1 |
| 15–16 |
得分、观测信息
、Fisher
信息
;信息矩阵引理 |
§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 |
零偏差;
|
§4.5 |
| 30–31 |
总结(六个问题) |
§5 |
| 32 |
结束页 |
— |
符号表 Notation
| 符号 |
含义 |
首次出现 |
|
回归系数,维数
(含截距) |
帧 4 |
|
线性预测子
|
帧 4 |
|
|
帧 5 |
|
得分(score)
,维数
|
帧 10 |
|
IRLS 权重
|
帧 9 |
|
工作响应
|
帧 9 |
|
|
帧 10 |
|
观测信息
|
帧 15 |
|
Fisher 信息
|
帧 15 |
|
偏差(deviance)
|
帧 26 |
|
尺度化偏差
|
帧 26 |
|
零偏差(只含截距的模型) |
帧 28 |
|
饱和模型的
()、拟合模型的
|
帧 25 |
一个记号陷阱
课件里
表示观测信息(),
表示Fisher
信息()。有些教材把两者反过来用;上课时先声明一次,考试按课件。二者的关系贯穿整章:典则连接时
,否则
。
模型与记号 Model and
Notation(帧 3–6)
第 5 章的第一句就把第 4 章的全部结论"装进"一个似然函数:只要把
写成
的函数,第 4 章的
就变成
,于是求
MLE 就是解一个关于
的方程。本节只做这一件事,但要把记号钉死。
模型 The model(帧 4)
三行写全
(1) 随机成分:
相互独立,
,即
(2) 均值与参数:
,故
;
(3) 系统成分与连接:
,其中
两处记号要说清楚
(i)
有
个分量(含截距),不是
个。全部推导中求和都从
到
。
(ii)
是"第
个观测的协变量向量"(列向量),
的第
行是
。这一点在写
时最容易搞混。
把
写成
的函数 Writing
as a function of
(帧
5)
两步复合
由第 (2)、(3) 两行:
等价写法:(复合的逆等于逆的倒序复合)。
典则连接时
,于是
,从而
| 分布 + 连接 |
|
|
|
| 正态 + 恒等 |
|
|
|
| 泊松 + 对数 |
|
|
|
| 二项 + logit |
(或
) |
同左 |
|
| 二项 + probit |
|
|
|
| 泊松 + 恒等 |
|
|
|
| 伽马 + 倒数 |
|
|
|
这张表怎么用
前四行里前三行是典则连接,
是恒等,所以
在推导里"消失",很多学生因此以为
永远是恒等。第四、五、六行是反例:probit 连接下
;泊松配恒等连接下
;伽马配倒数连接时
与典则的
差一个负号,故
(这也提醒学生:软件里的
inverse link 通常指
,不是典则的那个)。讲义后面凡是要"对
求导"的地方,
都会以
的形式出现。
对数似然 The log-likelihood(帧
6)
把
代回第 4 章的指数族密度并取对数:
注意三点:(i) 第二项
不含
,对
求导时消失(但它会在偏差里被用到,见 §4.2);(ii) 若把
也当作未知参数,
是
的函数,但 GLM 的惯例是先估
、再估
;(iii)
典则连接时
,似然简化为
本节的结论
求 MLE 就是解
,其中
是
维向量。
式 (见对应公式/小节) 对任意连接成立;式 (见对应公式/小节)
只在典则连接下成立。第 2 节会看到:这两个式子的差别,正是"Newton 与
Fisher scoring 是否相同"的根源。
若把 (见对应公式/小节) 对
求导并置零,得到的是(第 2 节会逐项推出)
而
是
的非线性函数,所以这是
个非线性方程。第 4 章 §1.9
已经说过:除正态线性模型外,一般没有闭式解。第 3
节给出三种迭代解法。
极大似然估计的推导
Derivation of the MLE(帧 7–12)
本节只做一件事:把
算出来。课件用链式法则一步到位,学生最容易在"四个因子分别是什么"上卡住,所以下面把四个因子拆开写,再合起来。
链式法则:四个因子
The chain rule, factor by factor(帧 8)
第 1 步:写出依赖链
于是
第 2 步:四个因子各等于什么
第 3 步:乘起来
分母里三样东西都不能丢
来自
,
来自
,
来自指数族。学生最常漏的是
(因为它"看起来"只是个常数),一漏,泊松配恒等连接与配对数连接就被当成同一个模型了。
权重与工作响应
Weights and the working response(帧 9–10)
第 2 步:把
(见对应公式/小节) 改写成
与
的形式
关键恒等式(一行代数):
于是 (见对应公式/小节) 变成
写成矩阵:
第 3 步:正规方程(normal equation)
置
,即
,等价于
形式上它和加权最小二乘的正规方程一模一样,于是解是
——但
和
都依赖
,所以这个"解"只是把方程改写了一遍(第
3 节从这里进入迭代)。
为什么称
为"工作响应" Why
is called a working response(帧 9)
两个矩,一行一个
这一步的意义
的均值恰是线性预测子
,方差恰是
——也就是说,
构成一个"以
为均值、以
为协方差的伪观测"。正规方程 (见对应公式/小节)
就是对这个伪观测做加权最小二乘,权重与方差成反比。这正是它叫
working response(工作响应)的原因,也是 IRLS(iteratively re-weighted
least squares)名字的来历。
为什么"极大似然"里会冒出权重?
Why weights appear at all
这是学生(和讲者)最容易觉得突兀的一步:课件在帧 9 直接写"令
、",看起来像凭空的技巧。其实
极大似然本身没有引入任何权重;权重是在把得分方程改写成矩阵形式时,从
Fisher
信息矩阵里"掉出来"的对角元。下面三种看法说的是同一件事。
看法一:权重就是每个观测的信息量
Fisher 信息(§3.3)是
也就是说:
是第
个观测对信息矩阵的贡献。把它写成
只是记号上的打包,
并不是新假设。因为
是常数,它在迭代中约掉(§3.6),所以可以只记
。
看法二:权重是工作响应方差的倒数
是把
一阶线性化到
尺度上的结果(delta
法:)。由上一节,,所以
加权最小二乘的最优权重就是方差的倒数——于是"对
做加权最小二乘"这句话里的权重,与"信息量"是同一个数。
看法三:其实不是"选",只固定了一个乘积
得分方程只要求
它只固定了乘积,不固定
本身:把
放大
倍、
相应缩小,方程不变。所以
的整体尺度可以任取(这也是
能约掉的原因)。要让
有"伪观测 + 反方差加权"的意义,只需两条:
两条合起来要求
与真值
对齐,即
。取
就得到课件的
、——这对
是由"信息量解释"唯一确定的,只差一个整体尺度。
权重的直觉:不是"偏爱",是"信息量不同"
极大似然对每个观测的处理是平等的(每项都进求和),但每个观测对
的信息量不同,所以影响不同。三个例子:
正态 +
恒等:,同方差,人人等权——这就是普通最小二乘。
泊松 +
对数:。计数的相对精度是
,均值越大越"相对准",所以大计数权重大。
伯努利 +
logit:。
附近信息最大,
接近
或
的观测几乎提供不了信息(这也解释了为什么"分离"数据会把
推向无穷)。
伽马:配对数连接时
;配倒数(典则)连接时
。
手算一步:权重是怎么"用"上的(泊松,从
起)
数据
,。,于是
第 3 步解加权最小二乘(此时
,就是普通最小二乘):
这两个数就是"从
起步"时的第一步。§3.8
的迭代表换了更好的初值(),所以第一步的数值不同、步数更少,但收敛到同一点。
课堂上可以只讲这三句
(1)
极大似然只给一个方程:,这里还没有权重。
(2) 把这个方程的矩阵写法整理成
,
的对角元
就是每个观测的信息量(也等于工作响应方差的倒数)。
(3) 于是"解方程"变成"反复做加权最小二乘"——这就是
IRLS。
例一:正态线性回归(帧
11) Example 1: Normal linear regression(frame 11)
四步
(1)
,,故
;
(2)
(因为
);
(3)
,正规方程
(见对应公式/小节) 化为
(4) 若
可逆,——一步到位,无需迭代。
这正是第 3 章的最小二乘估计,也是第 4 章 §1.9 的结论:正态线性模型下
MLE 与 OLS 是同一个东西。它之所以特殊,唯一的原因是
与
都不含
。
例二:泊松对数线性模型(帧
12) Example 2: Poisson log-linear model(frame 12)
四步
(1)
,,故
(2)
;
(3)
,正规方程
(见对应公式/小节) 为
。
(4) 两边都用
代入:
两条很好记的结论
(1) 泊松配对数连接(典则),正规方程化为
:拟合值与观测值的"列和"相同。特别地,第一列是
1,所以
——本讲义的数值例子中两边都是
。
(2) logistic 回归(二项配 logit,也是典则)给出同样的
。
典则连接的一般结论
The general canonical-link result
为什么典则时形式最简单
典则连接
,故
,于是
代回 (见对应公式/小节):
式 (见对应公式/小节)
是本章后面反复出现的"标准形":得分 =
残差与设计矩阵每一列的内积(除以
)。它只对典则连接成立;非典则时
,式
(见对应公式/小节) 中多出来的
无法消掉。
三种优化算法
Three Optimization Algorithms(帧 13–21)
正规方程 (见对应公式/小节) 里
与
都依赖
,所以不能一步解出。本节介绍课件给出的三种算法,并把它们的关系讲清楚:Newton–Raphson
用观测信息
,Fisher
scoring 用期望信息
,IRLS
是 Fisher scoring
的"算法外壳";三者只在典则连接下完全重合。
为什么必须迭代
Why iteration is unavoidable(帧 14)
一句话说明
这个式子不是解:右边的
、
都含未知的
。把它当成"不动点方程"
来看,才需要迭代。
唯一的例外是正态线性模型:那里
、
都与
无关,一次就收敛(第 2.5 节)。其余情形都必须迭代——这就是课件第 14
帧说的"我们要用数值方法"。
三个定义
得分(score):,是
维向量;MLE 满足
。
观测信息(observed information):
Fisher 信息(expected information):
直观读法:
是"手上这份数据提供了多少信息"(依赖
),
是"平均而言这个模型能提供多少信息"(只依赖
与设计)。
更准,
更好算——这就是两种算法分野的全部原因。
引理的矩阵版:证明
对任意
,。对
求一次导(并在积分号下求导):
再求一次导:
由
得
,所以
由 (见对应公式/小节),,且
、各观测独立:
所以
两个要记住的点
(1)
只通过
(即
与
)依赖
,不含
——这正是它比
好算的原因。
(2) 课件写
,是把
约掉了("in most cases we just ignore it")。严格地说
;由于迭代中
只是一个正的常数因子,它在
的更新式里会约掉,不影响算法,但影响标准误(见
§3.10)。
Newton–Raphson
Newton–Raphson(帧 17–18)
在当前点
附近把得分线性化:
令它等于
(我们要求
):
几何读法:
是
的斜率,
是斜率下降的速率(曲率)。式 (见对应公式/小节)
就是"沿着曲率指向的方向跨一步,使斜率变成零"。
收敛与停止
二次收敛:靠近解时误差大致按平方缩小(有效数字每步翻倍),所以通常
4–5 步就够。
停止准则(三选一或并用):;;。
失败情形(课件第 18 帧最后一段):数据"极端"时
没有有限最大值,迭代会给出越来越大的
和越来越大的标准误——典型例子是完全分离(某条线把
与
完全分开)。
Fisher scoring Fisher
scoring(帧 19)
课件的两条理由:(i) Newton
要算二阶导(),在高维与复杂连接下很繁;(ii)
是"平均信息",只用一阶量(
与
),且对任意连接都是正定的,迭代更稳。代价是:非典则连接下,Fisher
scoring 的步长不是"精确"的 Newton 步,可能需要多几步(§3.8
的数值例子:平方根连接下 Newton 4 步、Fisher 7 步)。
IRLS:把
Fisher scoring 写成加权最小二乘 IRLS(帧 20–21)
三步循环
给定
:
第 1 步: 算
与
;
第 2 步: 算权
(对角元
)与工作响应
第 3 步: 解一个加权最小二乘问题
重复到收敛。
为什么 (见对应公式/小节) 就是 Fisher
scoring
把 (见对应公式/小节) 展开,代入
与
:
在
中约掉——这就是"拟合
不需要知道
"的确切含义。
IRLS 只需要四样东西
、、连接函数
、方差函数
。不需要
的显式形式,也不需要
。这就是第
4 章反复强调"分布只通过
与
进入算法"的地方。
WLS 与 IRLS 不是一回事
WLS is not IRLS
一个常见的误解是"WLS 是从 MLE 推出来的"。方向恰好相反:WLS
是一个独立的估计量(方差已知到常数倍时的 BLUE,Gauss–Markov
定理;正态下的
MLE;
内积下的投影——三条路给出同一个公式),而 GLM
这边推出来的是得分方程;把得分方程写成 WLS
的形状,得到的是一个算法(IRLS),不是一个新的估计量。
|
WLS(加权最小二乘) |
IRLS(迭代重加权) |
| 是什么 |
估计量 |
算法 |
| 权重
|
由方差结构给定,
固定 |
每步由当前
算出 |
| 响应 |
观测
|
工作响应
|
| 一步给出什么 |
估计量本身 |
一个 Fisher/Newton 步 |
| 目标函数 |
固定的
|
每步换一个二次型,整体没有固定目标 |
| 收敛点 |
— |
得分方程的解,即 MLE |
两者何时真正重合
当
与
不依赖
时,IRLS 一步就停,此时它确实就是 WLS:这正是正态 +
恒等连接(,,)。顺带一提,正态配别的连接、或非正态配恒等连接都不行——只要
不是常数,得分方程就非线性。
一个可以当堂用的判据
WLS/GLS 估计量对
是线性的(),而非正态
GLM 的 MLE 对
非线性(logistic 的
不是
的线性函数)。所以一般不能说"GLM 的 MLE 就是 WLS",只能说"GLM 的
MLE 可以用反复的 WLS 算出来"——这也是 Nelder 与 Wedderburn 1972
年把它命名为 iteratively reweighted least squares 的原因。
典则连接:三种算法合而为一
Canonical link: all three coincide(帧 21)
典则连接时
,由
(见对应公式/小节),
一阶导与二阶导:
二阶导不含
,所以取期望不改变它:
于是 (见对应公式/小节) 与 (见对应公式/小节) 是同一个迭代,而 (见对应公式/小节) 只是它的算法写法。
反过来也要说清楚
非典则连接时三者不同:,Newton
与 Fisher
的步长不同,收敛路径也不同(极限相同)。数值上(§3.8):泊松配对数连接
;泊松配平方根连接
。
数值演示:两个模型的迭代过程
Numerical demonstration(帧 18、20 的"4–5 步")
以下是 verify_ch5.py 手写的 IRLS
输出,可当堂投影核对。
泊松对数线性 Poisson
log-linear
| 迭代
|
|
|
偏差
|
|
| 1 |
|
|
|
|
| 2 |
|
|
|
|
| 3 |
|
|
|
|
| 4 |
|
|
|
|
数据:,。
步收敛,,。
logistic 回归 Logistic
regression
| 迭代
|
|
|
偏差
|
|
| 1 |
|
|
|
|
| 2 |
|
|
|
|
| 3 |
|
|
|
|
| 4 |
|
|
|
|
| 5 |
|
|
|
|
数据:,。
步收敛,,。
| 连接 |
方法 |
步数 |
收敛点
|
| 对数(典则) |
Newton / Fisher |
/
|
|
| 平方根(非典则) |
Newton |
|
|
| 平方根(非典则) |
Fisher |
|
|
最后两行是本节的"证据":非典则连接下 Newton 与 Fisher 的路径不同(4
步 vs 7
步),但极限相同。上课时若有人问"三种算法会不会给出不同答案",就用这两行回答:收敛点相同,路径不同。
初值与标准误
Starting values and standard errors(补充)
初值
课件建议
,即
,再用
起步。
实际软件会做一点"抖动"以避免
与
:二项用
,泊松用
。本讲义的数值演示用的就是这两个(与
R 的 glm 一致)。
渐近理论给出
,于是
二项与泊松的
,所以直接用
;正态、伽马、逆高斯要再乘
。
数值上(logistic
例子):,其逆的对角元为
与
,开方得
、,故
的
值
,与
statsmodels 的 glm 输出完全一致。
偏差 Deviance(帧 22–29)
偏差回答第二个问题:这个模型拟合得有多好。它的构造方式很朴素——拿"完美模型"(饱和模型)当标尺,量一量当前模型离它有多远。本节把定义、推导、五个分布的闭式、以及与
的关系一次讲完。
饱和模型 The saturated
model(帧 23–24)
定义:每个观测一个参数
饱和模型(saturated model):对每个观测
单独设一个参数,使拟合值恰好等于观测值
它的对数似然
是这份数据能达到的最大值:任何其他模型都只能更小。
课件的三条评语值得原样讲:饱和模型不平滑数据、不能预测新数据(过拟合,overfitting)、只是比较用的基线。换句话说,它是"上界",不是"目标"。
嵌套(nested)
若模型 A 的自变量集合是模型 B 的自变量集合的子集,称 A
嵌套于 B。例如
只有嵌套模型之间,偏差之差才有
分布(见 §4.6)。
偏差的定义与推导
Definition and derivation(帧 25–26)
定义(尺度化偏差)
尺度化偏差(scaled deviance)是两倍的对数似然差:
推导:
抵消,只留下
与
由 (见对应公式/小节),
注意
的部分完全抵消。整理并与 (见对应公式/小节) 比较:
其中
称为偏差(deviance)。
三个必须说清楚的性质
(1)
且
(模型完美拟合)。
(2)
不含
,所以总能算;
只有在
已知时才能算。
(3)
与
无关这一点,正是它能跨分布比较"拟合好坏"的原因;但不同分布之间的
不能直接比较(它们量纲不同)。
式 (见对应公式/小节) 里的
由
定,
由
定。把第 4 章 §4 的
代进去,逐个算。
正态 Normal:
is the residual sum of squares
推导
,,,:
乘以 2
再求和:
泊松 Poisson
推导
,,(
时取极限
),:
约定
。
二项(计数版) Binomial
(counts)
推导
,,,。代入
(见对应公式/小节),用
整理:
伯努利()是特例:。
伽马 Gamma
推导
,,,:
逆高斯 Inverse Gaussian
推导
,,,:
| 分布 |
偏差
|
备注 |
| 正态 |
|
就是 RSS |
| 泊松 |
|
|
| 二项 |
|
伯努利取
|
| 伽马 |
|
恒非负 |
| 逆高斯 |
|
|
数值核对(verify_ch5.py):把上面的闭式与 (见对应公式/小节)
的定义式逐点比较,五个分布全部相等(正态
、泊松
、二项
、伽马
、逆高斯
)。
课件第 27 帧把正态单独拿出来,要点只有一个:第 3
章的最小二乘与第 5
章的偏差是同一件事。这一条把整门课的三个部分缝在一起:
一个常见误解
"偏差是 RSS 的推广"这句话是对的,但不要因此把泊松的
当成"某种平方和"来计算标准误。
与方差的关系是
(在模型正确且
时近似成立),它衡量的是相对饱和模型的似然损失,不是残差平方和。
零偏差与
Null deviance and
(帧
28–29)
零偏差
零偏差(null
deviance)是"只含截距"的模型相对于饱和模型的偏差:
正态时它就是总平方和:
正态时
,正是
第 2 章的决定系数;对一般 GLM 它只是一个"偏差解释比例",与最小二乘的
不是同一个量。
| 例子 |
|
|
|
观测数/参数 |
| logistic() |
|
|
|
|
| 泊松() |
|
|
|
|
两个数字的对比很有教学价值:泊松例子中
几乎解释了全部偏差();logistic
例子中
只有
,但
的
值仍有
——
低不等于模型没用,两件事衡量的东西不同。
(1) 最小二乘的
(第
2 章);
(2) 偏差
(本节的式
(见对应公式/小节));
(3) 各种"伪
"(McFadden
等),定义是
。
三者在正态线性模型下相等,在别的 GLM
下互不相等,数值也不接近。考试若只写"",要说明是哪一个。
偏差的用途 What
deviance is for(衔接第 6 章)
三件事
(1) 嵌套模型比较(似然比检验):若模型 A 嵌套于
B,且 B 有
个多余参数,
(2)
拟合优度:
的模型(二项、泊松)若
远大于自由度
,说明过度分散(overdispersion),需要换负二项、拟泊松等。
(3)
偏差残差:,其中
是第
项对
的贡献,用来做残差诊断(第 6 章)。
数值上(泊松例子):,自由度
,
远小于自由度——拟合很好,没有过度分散。logistic
例子:,自由度
,比值
,略高于
,属于可接受范围。
总结 Summary(帧 30–31)
课件最后用六个问题收尾。下面把每个问题的答案写成"一句话 +
依据"。上课时让学生先答,再对答案。
| 课件的问题 |
答案与依据 |
| GLM 的 MLE 怎么确定? |
解得分方程
,即
。一般无闭式解(§2.2、§3.1) |
| 介绍了哪三种算法? |
Newton–Raphson(用
)、Fisher
scoring(用
)、IRLS(加权最小二乘的外壳)(§3.4–3.6) |
| 三者的联系是什么? |
都是"用曲率修正得分";Fisher 把
换成
;IRLS
把 Fisher
写成加权最小二乘。非典则时路径不同、极限相同(§3.7、§3.8) |
| 用典则连接能得到什么? |
,,三者合一;,正规方程化为
(§2.6、§3.7) |
| (尺度化)偏差的定义? |
,其中
(§4.2) |
| 偏差为什么是 LRM 的推广? |
正态时
,,(§4.4–4.5) |
三张必须能默写的表
Three tables worth memorising
(a) 从似然到正规方程
| 量 |
表达式 |
备注 |
| 得分 |
|
核心式 |
| 权重 |
|
只用
|
| 工作响应 |
|
|
| 正规方程 |
|
加权最小二乘 |
| 典则时 |
|
残差正交 |
(b) 三种算法
|
更新式 |
用什么 |
何时最方便 |
| Newton |
|
观测信息
|
需要快收敛 |
| Fisher |
|
期望信息
|
一阶量即可,总正定 |
| IRLS |
|
与
|
实现最简单 |
(c) 偏差
| 概念 |
表达式 |
| 尺度化偏差 |
|
| 偏差 |
|
| 正态时 |
, |
| 零偏差 |
|
| 解释比例 |
|
整章的逻辑线 The
logical thread of the chapter
五步
① 把第 4 章的指数族似然写成
(§1)
② 链式法则得
,再打包成
,得正规方程(§2)
③ 正规方程非线性,用 Newton/Fisher/IRLS
迭代(§3)
④ 拟合好坏的度量是偏差,正态时退化为
RSS(§4)
⑤ 偏差之差做嵌套模型检验,进入第 6 章的推断与诊断。
一句话版本:第 4 章给你
与
,第
5 章用它们造出权重与工作响应,迭代出
,再用偏差量一量离饱和模型有多远。
讲课防错清单
Fourteen Pitfalls, and How to Pre-empt Them
每条给出:错误(学生或讲者会写成的样子)、正确、预防(可当堂说的一句话)。
漏掉
。
错误:。正确:分母还有
,见式
(4)。预防:"三个分母:、、。"
权重写成
。
错误:。正确:。预防:"权重是工作响应的方差的倒数。"
工作响应写成
。
错误:把
当成
。正确:,只在正态+恒等时才等于
。
认为 Newton 与 Fisher scoring 总是相同。
正确:只有典则连接时
;非典则时路径不同(讲义数值:4
步 vs 7 步),极限相同。
认为
就完事了。 正确:。估
时
约掉,估标准误时不能丢。
把
与
混用。 正确:;
未知时只能算
。
把偏差当残差平方和算标准误。 正确:标准误来自
,不是
;
用于拟合优度与模型比较。
说"偏差一定服从
"。
正确:只有在模型正确、
已知(或已估)且样本量足够时
近似成立;过度分散时
会远大于自由度。
比较非嵌套模型的偏差。 正确:偏差之差只有对嵌套模型才有
分布(第 6 章)。
把 GLM 的
当成最小二乘的
。
正确:
只是"偏差解释比例";正态时才等于
。
二项的偏差公式里用
代替
。
正确:计数版的
,公式里写的是
与
。
忽略不收敛。 正确:看到"
很大、标准误很大、迭代不收敛",先怀疑分离(某条线把两类完全分开)或设计矩阵共线。
把
的维数写成
。
正确:维数
(含截距),求和
。
用
的估计去迭代
。
正确:
的迭代不需要
(它在
中约掉);
在
定下来之后用偏差或 Pearson
估。
如果只能记三条
(1)
、、正规方程
。
(2) 典则连接
Newton = Fisher = IRLS。
(3)
,正态时就是
RSS。
数值核对表
Every Number in This Note, and How to Re-check It
下表列出讲义出现的全部关键数字,都可以用 verify_ch5.py
重算;脚本同时用 statsmodels 的 GLM
做一次独立交叉验证(不依赖课件的任何结论)。
两个模型的拟合结果
| 量 |
logistic() |
泊松() |
|
|
|
|
|
|
| 迭代步数 |
|
|
| 偏差
|
|
|
| 零偏差
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
logistic 的
,逆的对角元为
与
,开方即上表的标准误。
与
;Newton
与 Fisher
| 模型 / 连接 |
是否典则 |
|
结论 |
| logistic / logit |
是 |
|
|
| 泊松 / log |
是 |
|
|
| 泊松 / sqrt |
否 |
|
|
| 模型 / 连接 |
Newton 步数 |
Fisher 步数 |
收敛点 |
是否相同 |
| 泊松 / log |
|
|
|
完全相同 |
| 泊松 / sqrt |
|
|
|
极限同、路径不同 |
偏差:定义式与闭式
| 分布 |
由定义 (见对应公式/小节)
计算 |
由闭式计算 |
| 正态 |
|
|
| 泊松 |
|
|
| 二项 |
|
|
| 伽马 |
|
|
| 逆高斯 |
|
|
典则连接的一个"守恒量"
典则连接下正规方程是
。取第一列(全为
1)得
泊松例子:,。这是一个非常好的当堂检查——学生算完拟合值,先看总和对不对。
独立交叉验证
| 量 |
本讲义(手写 IRLS) |
statsmodels.GLM |
是否一致 |
| logistic
|
|
|
是 |
| logistic se |
|
|
是 |
| logistic
|
|
|
是 |
| 泊松
|
|
|
是 |
| 泊松 se |
|
|
是(末位差
) |
| 泊松
|
|
|
是 |
末位的小差异来自手写 IRLS
的停止准则(
而非机器精度),不影响任何一位有效数字。
怎么重算
在本目录下执行
脚本做五件事:(1) 手写 IRLS 并打印两张迭代表;(2) 用有限差分核对
与
;(3)
比较 Newton 与 Fisher 的收敛路径;(4)
用定义式计算五个分布的偏差并与闭式对照;(5) 与 statsmodels
交叉验证。全部输出 ALL CHECKS PASSED 才算通过。
附录:IRLS 一页纸
Appendix: IRLS on one page
算法
输入:,,连接
,方差函数
,初值
。
重复
:
直到
或
。
输出:,,,偏差
。
| 模型 |
|
|
|
| 正态线性 |
|
|
|
| 泊松对数 |
|
|
|
| logistic |
|
|
|
| probit |
|
|
|
| 伽马(倒数) |
|
|
|
| 伽马(对数) |
|
|
|
第三、四行的权重值得对照:logistic 的
在第 4
章是方差函数,到这里变成了权重——这就是典则连接把两件事合成一件的直接证据。第六行伽马配对数连接时
(因为
、,乘积为
1),这也是实践中 gamma GLM 常配 log
连接的原因之一:权重退化为常数,数值上最稳。
附录:与前后章节的接口
Appendix: links to Chapters 4 and 6
与第 4 章的对应
| 第 4 章 |
第 5 章 |
关系 |
|
|
代入
|
|
|
方差函数
权重 |
| 典则连接
|
, |
三者合一 |
| (标量) |
(矩阵) |
同一个两步求导 |
| 得分零点
(单观测) |
|
向量化 |
与第 6 章的接口
本章留下四个"接口",第 6 章直接使用: (1) 偏差
与自由度
的比值——过度分散的判据; (2) 嵌套模型的
——模型比较与变量选择;
(3) 偏差残差与 Pearson 残差——诊断;
(4)
——Wald
检验与置信区间。
考试可能的问法
五种题型
(1) 推导题:"写出 GLM
的得分方程并说明典则连接时为什么化简。"(§2.1–2.6)
(2) 算法题:"写出 IRLS 的一步更新,并解释
与
。"(§3.6)
(3) 辨析题:"Newton 与 Fisher scoring
何时相同?为什么?"(§3.7)
(4) 计算题:"给定
与
,算泊松/二项的偏差。"(§4.3)
(5) 概念题:"偏差为什么是 RSS 的推广?"(§4.4)
板书规划(本章)
左面板(整节课不擦):
右面板: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 讲义生成,推导与数字均按原讲义保留。