这一页在讲什么
不用上一页的精确公式,只用「每个权重 这一条,一行就能证明:
时方差至少缩小 倍,精确值约 7000 倍。换句话说:同样的精度,样本数可以少几千倍。
- 位置:高斯稀有事件抽样三页的最后一页,也是第 5 部分「抽样中的应用」的结尾(后面 第 46 页、第 47 页 是补充材料)。
- 小标题 A direct bound for comparison with Bernoulli sampling:一个「直接的界」,用来和伯努利抽样(第 43 页 的直接抽样)比较。「直接」指不需要 第 44 页 的精确计算。
- 这一页还回答两个问题:
- 样本数的差距随 怎样变化?伯努利抽样按指数爆炸,重要性抽样只按线性增长。
- 平移量取 是不是最好?几乎是。
先补基础
每个样本是 它是参数 的伯努利变量:
若 则 (把一个 换成更大的 另一个 不变号)。两边取期望:
由 第 37 页, 个样本平均的均方误差是 两种方法要达到同样的精度,需要的样本数之比就等于单个样本的方差之比。方差缩小 倍,就等于样本数节省 倍;或者样本数不变,误差缩小 倍。
课件原文逐句精读
A direct bound for comparison with Bernoulli sampling(以下留白)
蓝条标题:高斯稀有事件抽样:方差的改进。
一个直接的界,用来和伯努利抽样比较(课件留白,见下一节。)
- variance improvement:方差的改进,即方差缩小了多少。
- direct bound:直接的界,一步就能得到的上界,不求精确。
- Bernoulli sampling:伯努利抽样,即在 下直接抽样、数命中次数(第 43 页「先补基础」)。
补全课件留白
课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。
A direct bound for comparison with Bernoulli sampling|一个直接的界:与伯努利抽样比较
权重有上界 所以 取期望就把二阶矩化成一阶矩,而一阶矩已知是
第 1 步(上界):由 第 43 页 命题第 2 条,
第 2 步(平方 ≤ 上界 × 自己):
第 3 步(取期望):
第 4 步(方差):
第 5 步(和伯努利比较):要证 两边除以 再展开,等价于
而 所以成立。
这个界有多准?和 第 44 页 的精确二阶矩对比, 时直接的界是 精确值 只用一行推导,结果只比精确值大约 2 倍。
为什么一个指数爆炸、一个线性增长
要比较两种方法的相对方差,需要知道 有多大。下面的 Mills 不等式给出 的上下界(证明见本节末的「了解更多」):
例如 下界 真值 上界 夹得很紧。
- 伯努利:相对方差 按 爆炸。
- 重要性抽样:由命题,相对二阶矩 再用 Mills 下界,所以
只按 线性增长。 时这个上界约 10.7,精确值(第 44 页)约 5.5。
了解更多:Mills 不等式的证明
上界: 时 又 所以
下界:令 其中 所以 用乘积求导和
(中间一步用了 再通分 所以 严格递减;又 时 因此 即下界成立。
平移量取多少最好
第 44 页 例 2 算出:把中心挪到 时,取 比较几个
| 平移量 | (伯努利) | (本节的选择) | (最优) | |||
|---|---|---|---|---|---|---|
- 离最优值只差不到 1%,所以「挪到门槛上」几乎就是最好的选择。
- 挪得不够(或稍微过头(二阶矩大 1.5~2 倍,还能接受。
- 挪得太远(就糟了:比 差 2000 倍,只比伯努利好 3 倍。原因是 第 41 页 算过的 平移越远,权重越不均匀,少数样本的权重主导了估计。
- 为什么最优值在 附近:对 求导,令其为 0,得到 由 Mills 不等式,右边约等于 于是
例子
- 伯努利: 个样本。
- 重要性抽样: 个样本。
- 差距约 7000 倍。如果每秒生成一千万个正态随机数,前者要约半分钟,后者约 5 毫秒。到 (时,伯努利要约 个样本,就成了真正的难题。
- 伯努利:相对误差 也就是 1870%。平均命中 0.003 次,估计值几乎总是 0,完全没用。
- 重要性抽样:相对误差
| 直接的界 | 精确 | 界 ÷ 精确 | |
|---|---|---|---|
| 1 | |||
| 2 | |||
| 3 | |||
| 4 |
比值趋于 2:Mills 近似下,直接的界约为 精确值约为 正好差 2 倍。损失来自第 2 步:它把 里的一个 换成了上界 可是命中样本的 只有在恰好落在门槛上(时才达到上界,越往右越小,所以这一步必然放大。
常见疑问与易错点
答:不是。误差(标准差)是方差的平方根,样本数相同时误差缩小 倍。等价的说法是:同样的误差,样本数少 7000 倍。
答:直接的界适合快速判断「量级」和「趋势」(指数 vs 线性);精确值用来做精细的比较,例如判断平移量取 4 还是 4.12。两者各有用处,这也是课件把它们分成两页的原因。
小结与自测
- 直接的界: ⇒ ⇒
- 与伯努利抽样比,方差至少缩小 倍: 时约 2981 倍,精确约 7000 倍。
- 相对方差:伯努利约 按指数爆炸;重要性抽样 按线性增长。
- 平移量 几乎最优;挪得太远会让权重极不均匀。
1. 时,直接的界保证方差至少缩小多少倍?精确值是多少?
点开看答案
至少 倍;精确值约 218 倍(见成本表)。
2. 证明:若 则
点开看答案
(取期望得 所以
3. 用 Mills 上界 估计 并与真值 比较。
点开看答案
除以 6 得约 只比真值大约 2.6%。 越大,Mills 上界越准。
| 中文 | English | 白话解释 |
|---|---|---|
| 方差 | variance | Var X = E[(X − E X)²],衡量随机变量围绕均值的波动大小。 |
| 事件 | event | 样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。 |
| 重要性抽样 | importance sampling | 从另一个更合适的分布抽样,再乘以权重纠正,从而减小估计的方差。 |
| 期望 | expectation | 随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。 |
| 上界 | upper bound | 数集 A 的上界是一个数 M,A 里每个数都 ≤ M。例如 2 和 5 都是 [0,1] 的上界;所有上界中最小的那个叫上确界。 |
| 阶矩 | moment | E[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。 |
| 下界 | lower bound | 数集 A 的下界是一个数 m,A 里每个数都 ≥ m。例如 0 和 −3 都是 (0,1] 的下界;所有下界中最大的那个叫下确界。 |
| 换测度 | change of measure | 用 E_Q[X] = E_P[X · dQ/dP] 在两个概率之间换算期望。 |