机器学习数学基础 120 章

随机变量之和与卷积

层级:B|按需

1. 多个随机影响如何叠加

测量值常是信号加噪声,总请求数是多个来源计数之和,模型集成是多个随机预测平均。求和分布使用卷积;均值与方差则可在更弱条件下直接计算。

2. 和的期望与方差

任意可积 X,YX,Y

E[X+Y]=E[X]+E[Y].E[X+Y]=E[X]+E[Y].

方差:

Var(X+Y)=Var(X)+Var(Y)+2Cov(X,Y).Var(X+Y)=Var(X)+Var(Y)+2Cov(X,Y).

独立时协方差为零。独立不是期望相加的条件,却通常是分布卷积的条件。

3. 离散卷积

独立离散 X,YX,YS=X+YS=X+Y

pS(s)=xpX(x)pY(sx).p_S(s)=\sum_xp_X(x)p_Y(s-x).

因为事件 X=x,Y=sxX=x,Y=s-x 对不同 xx 互斥,联合概率因独立相乘,再求和。

两枚公平骰子和为 7:

P(S=7)=x=16P(X=x)P(Y=7x)=6/36.P(S=7)=\sum_{x=1}^{6}P(X=x)P(Y=7-x)=6/36.

4. 连续卷积

独立连续变量:

fS(s)=fX(x)fY(sx)dx.f_S(s)=\int_{-\infty}^{\infty} f_X(x)f_Y(s-x)dx.

记作

fS=fXfY.f_S=f_X*f_Y.

YY 是加性噪声,观察 S=X+YS=X+Y 的密度是信号密度与噪声密度卷积,通常更平滑、更分散。

5. 卷积性质

fg=gf,f*g=g*f, (fg)h=f(gh),(f*g)*h=f*(g*h), f(g+h)=fg+fh.f*(g+h)=f*g+f*h.

概率卷积与信号处理/神经网络“卷积”数学相关,但深度学习库常实现 cross-correlation(核不翻转),通过学习核通常不影响表达命名。

6. 常见闭包性质

  • 独立 Binomial 且成功率相同:和仍 Binomial,试验数相加;
  • 独立 Poisson:和仍 Poisson,率参数相加;
  • 独立高斯:和仍高斯,均值相加、方差相加;
  • 独立 Gamma 且尺度相同:和仍 Gamma,形状相加。

这类分布族对卷积封闭,使建模与推断简化。

7. 样本均值分布

Xˉ=1niXi.\bar X=\frac1n\sum_iX_i.

若 iid:

E[Xˉ]=μ,Var(Xˉ)=σ2n.E[\bar X]=\mu, \qquad Var(\bar X)=\frac{\sigma^2}{n}.

XiX_i 高斯,Xˉ\bar X 精确高斯;一般有限方差下,中心极限定理给大样本近似高斯。

8. 特征函数与卷积

特征函数

φX(t)=E[eitX].\varphi_X(t)=E[e^{itX}].

独立和满足

φX+Y(t)=φX(t)φY(t).\varphi_{X+Y}(t)=\varphi_X(t)\varphi_Y(t).

Fourier 变换把卷积变成乘法,这是证明分布和、中心极限定理及快速卷积计算的强大工具。MGF 也有类似性质,但不是所有分布的 MGF 在零附近存在;特征函数总存在。

9. 加权和

随机向量 XX,常量 aa

S=aTX.S=a^TX. E[S]=aTμ,E[S]=a^T\mu, Var(S)=aTΣa.Var(S)=a^T\Sigma a.

投资组合风险、线性预测不确定性和 PCA 投影方差都使用该二次型。

10. 平均降低噪声的条件

MM 个估计误差方差均为 σ2\sigma^2、两两相关系数 ρ\rho,平均误差方差:

Var(Eˉ)=σ2(ρ+1ρM).Var(\bar E) =\sigma^2\left(\rho+\frac{1-\rho}{M}\right).

若独立 ρ=0\rho=0,降为 σ2/M\sigma^2/M;若完全相关 ρ=1\rho=1,平均无收益。集成学习需要准确且多样的基模型。

11. 非独立和

非独立时不能用边缘密度普通卷积;必须知道联合分布:

fS(s)=fX,Y(x,sx)dx.f_S(s)=\int f_{X,Y}(x,s-x)dx.

例如 Y=XY=-XS=0S=0 几乎必然,尽管单看两个边缘分布可能都很分散。

12. 数值卷积

有限离散 PMF 可直接 O(n2)O(n^2) 卷积,长序列可用 FFT 近 O(nlogn)O(n\log n)。FFT 卷积会产生循环卷积,需零填充避免首尾绕回,并控制浮点出现的极小负概率后归一化。

易错点

  1. 普通边缘卷积公式需要独立。
  2. 期望相加不需要独立。
  3. 方差相加需要零协方差/独立。
  4. 同分布不等于独立。
  5. CNN 库“卷积”常不翻转核。

常见问答

Q1:两个高斯相加为什么仍高斯?

特征函数相乘仍是高斯形式,均值与方差参数相加;也可用线性组合的多元高斯性质。

Q2:平均一定降低方差吗?

若个体同方差且相关小会降低;高度正相关收益有限,负相关可更强降低。权重与偏差也影响总误差。

Q3:去卷积为何困难?

Fourier 域要除以噪声/核变换,在其接近零的频率会猛烈放大噪声,是病态逆问题,需要正则化。

练习

  1. 两个独立 Bernoulli(pp) 之和的 PMF 是什么?
  2. 独立 Poisson(λ1\lambda_1)、Poisson(λ2\lambda_2) 之和分布?
  3. 非独立时方差和公式是什么?
  4. 写出 aTXa^TX 的方差。
  5. 完全相关的多个模型平均为何不降噪?

答案与提示

  1. Binomial(2,p)(2,p)(1p)2,2p(1p),p2(1-p)^2,2p(1-p),p^2
  2. Poisson(λ1+λ2)(\lambda_1+\lambda_2)
  3. 方差相加再加两倍协方差。
  4. aTΣaa^T\Sigma a
  5. 它们重复相同误差,平均没有相互抵消的独立成分。