高等概率论逐页精讲

第 3 讲 Borel–Cantelli、收敛与 Radon–Nikodym›第 5 部分 抽样中的应用

PDF 第 44 / 47 页幻灯片 44/49证明

稀有事件抽样:配方算出精确的二阶矩

Gaussian rare-event sampling: exact second moment

课件原页 · 点击放大 · ← → 键翻页

这一页在讲什么

人话版一句话版

上一页的估计量 有多准,取决于单个样本 在 下的方差(第 37 页)。均值已知是 所以只差二阶矩 这一页用「换回 和「配方」两步,精确算出

  • 接着 第 43 页:那里证明了 无偏,并且 这一页把方差算到精确值。
  • 两个小标题:The second moment under ( 下的二阶矩)把问题变成一个积分;Completing the square(配方)把这个积分算出来。
  • 为什么「精确」难得:大多数重要性抽样问题,方差只能靠模拟去估计。高斯情形可以写出闭式,于是能精确比较各种方案的好坏(第 45 页)。

先补基础

基础补课方差 = 二阶矩 − 均值的平方

这里 已知(第 43 页),所以

再由 第 37 页, 个样本平均后的均方误差是

基础补课示性函数和指数的平方
  • 0 的平方是 0,1 的平方是 1。
  • 所以
基础补课配方(这次是加号)

第 41 页 用过 这里需要加号的版本:

验证:右边展开是 是中心在 的钟形曲线,即标准正态向左平移

基础补课平移换元

令 则 从 走到 时 从 走到

课件原文逐句精读

课件原文Gaussian rare-event sampling: exact second moment

The second moment under (留白)

Completing the square(留白)

中文翻译

蓝条标题:高斯稀有事件抽样:精确的二阶矩。

下的二阶矩(课件留白)

配方(课件留白)

(两部分内容见下一节。)

  • exact:精确的,不是近似或上界。下一页的「直接的界」(a direct bound)才是近似。
  • second moment:二阶矩,即平方的期望
  • completing the square:配方,把二次式凑成「完全平方 + 常数」。

补全课件留白

补充说明

课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。

The second moment under ℚ|ℚ 下的二阶矩

记 则

思路:把一个 「花掉」,换回 把前一半 看成一个整体,用反向期望公式 (第 35 页):

读法: 下的二阶矩,等于权重在 下、在事件 上的平均。对照 第 43 页:权重被完全「花掉」;二阶矩多了一个权重,花掉一个还剩一个。

在 下 有密度 所以(第 41 页「有密度时怎么算期望」)

补充另一条路:直接在 ℚ 下积分

也可以不换回 直接用 下的密度 由 第 43 页 的恒等式 被积函数等于 和上面完全一样。两条路殊途同归。

Completing the square|配方

第 1 步:合并指数。 所以被积函数是 乘以 的

次方。

第 2 步:配方。 每一步都写出来:

第 3 步:认出平移后的密度。

第 4 步:积分。 常数 提出来,再平移换元:

命题(精确二阶矩与方差)

对 第 43 页 的估计量,

图解:一个巨大的数乘一个极小的数

增长得极快, 缩小得更快,两者相乘:

1
2
3
4
5

最后一列最重要:它是单个样本的「相对方差」。 从 缩小到 它只从 1.46 涨到 5.68。由 第 37 页,要让相对误差降到 10%,需要的样本数约为 到 分别约 146、234、339、451、568 个。

例子

例 1:b = 4 的模拟检验

第 43 页 例 2 的那次模拟(里, 的样本平均是 与精确值 相差约 1%。由命题,相对误差的理论值是

和用样本方差估出来的 2.1% 一致。

例 2:用同样的配方处理任意平移量 a

如果把中心挪到 而不是 ( 下 估计量是 完全相同的两步:

  • 换回
  • 配方:

于是

  • (不换测度):正是伯努利抽样(
  • 回到本页的

第 45 页 会用这个公式比较不同的

例 3:b = 1 时直接核对

另一方面,按定义直接数值积分 也得到约 0.0618。方差约 0.0367。和伯努利抽样的方差 相比,已经小了约 3.6 倍; 越大,这个倍数越惊人(第 45 页)。

拓展延伸

理想的换测度:方差为 0,但用不了

设想抽样分布取 即在 下以事件 为条件。这时每个样本都落在 里,并且在这个事件上 是常数,所以 恒为常数,方差为 0:一个样本就给出精确答案。可惜写出 需要先知道 而这正是要估计的量,所以它只是一个理想目标。

本页的平移 可以看成对 的模仿。在 的条件下, 大多落在 稍右一点的地方:条件均值 时约为 接近 把抽样中心挪到 就把样本送到了「真正重要」的区域。这就是相对方差只随 线性增长、而不像伯努利抽样那样按 爆炸的原因。

用中心极限定理给出误差棒

是 个独立同分布的 的平均。由中心极限定理(作业 2 第 4 题 的「先补基础」), 很大时 近似服从标准正态分布,所以区间

以大约 95% 的概率盖住真值 时,半宽约为 的 实际中 未知,用样本方差代替;由 Slutsky 定理(作业 2 第 9 题),这样的区间仍然近似有 95% 的覆盖率。

常见疑问与易错点

易错点问:e^{b²} 这么大,方差不会爆炸吗?

答:不会,因为它乘的是 而 缩小得更快。乘积约为 和 是同一个量级,两者之比约为 只随 线性增长。

易错点问:为什么 不是

答: 只在 是常数时成立,此时方差为 0。这里 有时是 0(未命中),有时是不同的正数,所以 差值就是方差。

易错点问:配方这一步有没有好记的口诀?

答:有:钟形曲线乘上一个指数因子,等于把它平移,再乘一个常数。准确地说,对任何实数

因为 本页取 再乘上权重里本来就有的 正好得到 第 43 页 用过的恒等式 也是这句口诀的特例(把 看成新的变量)。

易错点问:「花掉一个 R」那一步为什么合法?

答:反向期望公式 对任何非负可测的 都成立(第 35 页)。这里 是 的非负可测函数,满足条件。

小结与自测

小结本页小结
  • 用反向期望公式花掉一个
  • 配方 得
  • 方差 相对方差只随 缓慢增长, 时约 4.5。
  • 任意平移量
自测

1. 取 用 算出 和

点开看答案

2. 对一般的 验证配方

点开看答案

右边 与左边相同。

3. 时,重要性抽样要多少个样本才能让相对误差降到 1%?

点开看答案

相对误差 令它等于 得 伯努利抽样则要约 个。

本页术语中英对照(按出现顺序)
中文English白话解释
方差varianceVar X = E[(X − E X)²],衡量随机变量围绕均值的波动大小。
阶矩momentE[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。
重要性抽样importance sampling从另一个更合适的分布抽样,再乘以权重纠正,从而减小估计的方差。
事件event样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。
上界upper bound数集 A 的上界是一个数 M,A 里每个数都 ≤ M。例如 2 和 5 都是 [0,1] 的上界;所有上界中最小的那个叫上确界。
期望expectation随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。
函数function / mapf: A → B 给 A 中每个元素指定 B 中唯一一个元素。
换测度change of measure用 E_Q[X] = E_P[X · dQ/dP] 在两个概率之间换算期望。
分布law / distributionX 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。
独立同分布independent and identically distributed (i.i.d.)一列随机变量相互独立,并且分布都相同,例如反复独立地掷同一颗骰子。
中心极限定理central limit theorem (CLT)独立同分布、方差 σ² 有限时,(Sₙ − nμ)/(σ√n) 依分布收敛到标准正态分布:大量独立小误差之和近似正态。
标准正态分布standard normal distribution均值 0、方差 1 的正态分布 N(0, 1),密度 exp(−x²/2)/√(2π),分布函数记作 Φ。
区间interval数轴上的一段,[a,b] 包含端点,(a,b) 不包含端点。
Slutsky 定理Slutsky's theoremXₙ 依分布收敛到 X,Yₙ 依概率收敛到常数 c,则 Xₙ + Yₙ 依分布收敛到 X + c,XₙYₙ 依分布收敛到 cX。
可测函数measurable function对每个 a,集合 {f > a} 都可测;这样的函数才能积分。