降噪：维纳滤波

降噪 Débruitage

在许多情况下，去噪信号是必要的。实际上，信号（如声音、图像、振动等）的测量不可避免地会受到不确定性的影响。例如以下噪声来源：

  • 热噪声（例如，原子波动等）
  • 脉冲噪声（如图像中的坏点像素）
  • 量化噪声
  • 干扰信号
  • 等等

建模

将所得的测量建模为：

其中，$x$是目标信号，$b$是噪音，$y$是测量值。我们目的是根据现有信息获得$x$的估计值：

在本文中，我们将假设观察信号 $x$ 是随机变量 $\mathbf{X}$ 的一个实现，同样地，$b$ 和 $y$ 是随机变量 $\mathbf{B}$ 和 $\mathbf{Y}$ 的实现。

  • 假设$\mathbf{X}$ 和 $\mathbf{B}$ 是独立的。
  • 文中出现的所有随机变量都属于 $L^2$ 空间且均值为零。

我们通过概率分布获得关于 $\mathbf{X}$ 的信息，这属于贝叶斯框架

我们的目标是最小化估计误差，这被称为估计器的“风险”（Risque），定义如下：

这是估计误差的期望值，因此被$\mathbf{X}$ 的概率分布加权。我们将称能最小化此风险的估计器为“最优估计 estimateur optimal”。

$L^2$空间

$L^2$ 空间（也称为平方可积函数空间）是一个数学分析中非常重要的函数空间，$L^2$ 空间是定义在某个测度空间上的所有平方可积函数的集合。

函数 $f(x)$属于$L^2$空间 ，如果满足以下条件：

其中:

  • $\Omega$ 是函数的定义域；
  • $\mu$ 是定义在 $\Omega$ 上的测度；

一般情况下的最优估计 Estimateur optimal dans le cas général

从观测值 $\mathbf{Y}$ 中估计 $\mathbf{X}$ 的最佳估计器 $\hat{\mathbf{X}}$ 是条件期望：

实际上， $E(\mathbf{X} \mid \mathbf{Y})$ 是 $\mathbf{X}$ 在 $\mathbf{Y}$-可测变量上的正交投影。因此，它最小化 $E\left(|\mathbf{X}-\mathbf{Y}|^2\right)$ 。此外，由于它是一个 $\mathbf{Y}$-可测变量，因此可以表示为 $f(\mathbf{Y})$ 的形式。
实际上，条件期望 $E(\mathbf{X} \mid \mathbf{Y})$ 很少能够以解析形式写出，通常是通过概率分布的采样技术（如蒙特卡罗（MonteCarlo）方法等）近似计算得到。

Y-可测变量

$Z$ 是 $Y$-可测变量，当且仅当 $Z$ 是关于 $\sigma(Y)$ 的可测函数。

给定一个随机变量 $Y$ ，可以定义一个由 $Y$ 所生成的 $\sigma-\text{代数}$，记作 $\sigma(Y)$ 。这个 $\sigma-代数$是所有可以通过 $Y$ 表达的事件的集合。例如，事件” $Y$ 落在区间 $[a, b]$ “属于 $\sigma(Y)$ 。
如果$Z$ 是 $Y$-可测变量，则有$Z = f(Y)$

高斯情况下的最优估计 Estimateur optimal dans le cas gaussien

假设以下条件成立:

因此:

回顾假设， $X$ 和 $B$ 是相互独立的。

在这种情况下，最优估计器由下式给出:

证明是一个经典的CIP问题。我们定义 $\mathbf{U}=\mathbf{X}-\Sigma_X\left(\Sigma_X+\Sigma_B\right)^{-1} \mathbf{Y}$ 。可以验证 $\mathbf{U}$ 和 $\mathbf{Y}$是联合高斯分布的，并且 $E\left(\mathbf{U}^T \mathbf{Y}\right)=0$

证明$E\left(\mathbf{U}^T \mathbf{Y}\right)=0$

首先计算：

然后观察到：

其中：

故有：

这意味着 $\mathbf{U}$ 和 $\mathbf{Y}$ 是独立的，且 $E(\mathbf{U} \mid \mathbf{Y})=0$ 。因此:

故有：

此估计是线性估计。

线性最佳估计 Estimateur linéaire optimal

假设$X$和$B$的分布未知，假设其输入$L^2$空间，互相独立，均值为零。假设估计器形式如下：

其中$H\in \mathbb R^{n\times n}$。首先证明估计误差与数据本身无关：

风险函数写作：

展开：

为讨论风险函数最小的情况，对$h_{nk}$求偏导：

又因为$X$和$B$相互独立，均值为零，有：

由上式即可推的：

得到最佳线性估计的表达式：

与高斯情况一致。

特殊情况之一：协方差矩阵为对角矩阵

在 $\SigmaX$ 和 $\Sigma_B$ 为对角矩阵的情况下（例如噪声是白噪声（即协方差矩阵是对角阵，无论基如何），并且信号表示在其协方差矩阵为对角形式的基（如 Karhunen-Loève 基）上）。记 $\sigma{X, n}^2$ 和 $\sigma_{B, n}^2$ 为这些协方差矩阵的对角元素。
因此可得:

在这种情况下，维纳滤波（Filtrage de Wiener）对应于对 $Yn$ 的估计 $\hat{X}n$ ，通过信噪比的比例来调整对 $Y_n$ 的观测强度*。记 $a_n=\frac{\sigma{X, n}^2}{\sigma{X, n}^2+\sigma_{B, n}^2}$* ，我们可以总结出以下特性:

  • 当 $\sigma{X, n}^2 \gg \sigma{B, n}^2$ 时, $a_n \approx 1$;
  • 当 $\sigma{X, n}^2=\sigma{B, n}^2$ 时， $a_n=1 / 2$;
  • 当 $\sigma{X, n}^2 \ll \sigma{B, n}^2$ 时， $a_n \approx 0$ 。

特殊情况之二：广义平稳过程 stationnaires au sens large

广义平稳（Stationarity au sens large）是随机过程的一种统计性质。它是对严格平稳性的一个放宽版本，仅要求随机过程的均值和协方差与时间无关。
一个随机过程 ${X(t)}$ 是广义平稳的，当且仅当它满足以下两个条件:

  1. 均直不随时间变化:
  1. 自协方当函数只与时间间隔（滞后）有关：

我们现在关注随机过程 ${X[n]}{n \in \mathbb{Z}}$ *和 ${B[n]}{n \in \mathbb{Z}}$* 。假设它们是广义平稳的、均值为零、相互独立，并且具有已知的自协方差函数：

这些过程是实数值的，且满足 $\gamma_X[-k]=\gamma_X[k]$ 和 $\gamma_B[-k]=\gamma_B[k]$ 。
观察到:

我们对 $X[n]$ 的估计为:

在有限情况下，可用类似的方法得到：

另一种方法是将估计误差写成功率谱密度（DSP）和h的频率相应形式：

$Px = E(x[n]^2) = \frac{1}{2 \pi} \int{-\pi}^\pi \Gamma_{X}(\nu) d \nu .$
$h \star X$的DSP是$|H(\nu)|^2 \Gamma_X(\nu)$

其中，根据干扰公式formule des interférences：

同样求导疑惑的最小化误差的情况，可以得到：

这与维纳滤波在有限维协方差矩阵为对角阵情况下得到的系数形式类似。对 $\gamma_X=h \star\left(\gamma_X+\gamma_B\right)$做傅里叶变换（TFTD）可以得到相同的结果。

此时的估计误差为：

然而，这种滤波器在实践中难以直接应用。滤波器 $H(\nu)$ 的傅里叶逆变换通常难以计算。此外，由于 $H(\nu)$ 是实对称函数（与 DSP 类似），滤波器通常是非因果的，因此需要知道 $Y[n+k], k>0$ 。这一点会导致稳定性问题需要解决。

特殊情况之三：RIF滤波

我们现在对估计滤波器 $h$ 添加限制，使其为因果滤波器，并具有有限的冲激响应。记 $h_p$ 为滤波器系数，满足 $0 \leq p<P<\infty$ ，其系数非零。可以表示为:

误差：

同样求导：

验证可得，与有限维情况类似，满足：

遂得：

构建自相关矩阵矩阵 $R_X 、 R_B$ 和互相关向量 $r_X$ ，其中 $0 \leq n, m<P$ :

最优 RIF 滤波器的系数向量$h$为：

而已通过对$h$进行离散时间傅里叶变换（DTFT）得到$H$。