稀疏贝叶斯推断:推导

简介

稀疏贝叶斯学习（sparse bayesian learning，SBL）是稀疏信号重构的方法之一，其性能相当于重加权的ℓ1范数恢复方法，并且不需要设置正则化参数，在目标定位，生物医学信号提取等方面被广泛应用。 设计知识包括高斯函数、最大似然估计、向量求导、贝叶斯估计、EM算法。

模型

先考虑对一个变量的观测，假设有观测矩阵$\mathbf{\Phi }\in C^{N\times M}$，对未知变量$\mathbf{\omega }\in C^{M\times 1}$进行观测，记为
$$\mathbf{t}=\mathbf{\Phi }\mathbf{\omega }+\mathbf{ϵ}(1)$$
式中$t\in C^{N\times 1}$，观测矩阵也称为过完备基，这里假定$\mathbf{\omega }$是稀疏变量，即$\mathbf{\omega }$的大部分元素都为0，$ϵ$为观测噪声。SBL要解决的问题是根据已知的$\mathbf{t}$和$\mathbf{\Phi }$估计出$\mathbf{\omega }$,其实就是稀疏信号的重构。
贝叶斯公式：
$$p(\omega |t)=\frac{p(t|\omega )p(\omega )}{p(t)}$$
$p(\omega )$称之为先验概率，表示在观测之前的概率，$p(\omega |t)$称之为后验概率，是观测之后的概率，$p(t|\omega )$是似然概率，在求最大似然估计的时候就是使用的该概率形式，$p(t)$表示证据。很多情况下，我们要估计$\mathbf{\omega }$可由$argma{x}_{\omega }p(\omega |t)$求得，但上述后验概率不易求得。因证据p(t)与ω无关，上述后验概率最大化可由贝叶斯公式转化为似然概率和先验概率的乘积的最大化求得，即$argma{x}_{\omega }p(x|\omega )p(\omega )$。

证据推导

SBL采用了神经网络里常用的自动相关决策理论(Automatic Relevance Determination)来获取稀疏解。首先假定$\mathbf{ϵ}$符合均值为0，方差为${\sigma }^2{\mathbf{I}}_N$的高斯分布，则可得出 $t$ 符合均值为$\mathbf{\Phi }\mathbf{\omega }$，方差为${\sigma }^2{\mathbf{I}}_N$的高斯分布,即:
$$p(\mathbf{t}|\mathbf{\omega })=(2\pi {\sigma }^2{)}^{-N/2}exp[-\frac{1}{2{\sigma }^2}(\mathbf{t}-\mathbf{\Phi }\mathbf{\omega }{)}^H(\mathbf{t}-\mathbf{\Phi }\mathbf{\omega })](2)$$
据ARD，其假定$\mathbf{\omega }$由超参数$\mathbf{\gamma }$产生，假定其${\omega }_i$由${\gamma }_i$控制，并符合均值为0，方差为${\gamma }_i$的高斯分布，即
$$p(\mathbf{\omega };\mathbf{\gamma })=(2\pi {)}^{\frac{-M}{2}}{\left|\mathbf{\Gamma }\right|}^{-\frac{1}{2}}{e}^{-\frac{1}{2}{\mathbf{\omega }}^H{\mathbf{\Gamma }}^{-1}\mathbf{\omega }}(3)$$
式中$\mathbf{\Gamma }=diag(\mathbf{\gamma })$。
利用全概率公式即可得第二类似然函数为
$$p(\mathbf{t};\mathbf{\gamma })={\int }_{\mathbf{\omega }}p(\mathbf{t}|\mathbf{\omega })p(\mathbf{\omega };\mathbf{\gamma })d\mathbf{\omega }$$
将(2)和(3)代入到(4)中，可得
$$p(\mathbf{t};\mathbf{\gamma })={\int }_{\mathbf{\omega }}(2\pi {\sigma }^2{)}^{-N/2}(2\pi {)}^{-M/2}{\left|\mathbf{\Gamma }\right|}^{-\frac{1}{2}}exp[-\frac{1}{2{\sigma }^2}(\mathbf{t}-\mathbf{\Phi }\mathbf{\omega }{)}^H(\mathbf{t}-\mathbf{\Phi }\mathbf{\omega })-\frac{1}{2}{\mathbf{\omega }}^H{\mathbf{\Gamma }}^{-1}\mathbf{\omega }]d\mathbf{\omega }$$
其实该式可以看成两个高斯函数进行卷积，根据高斯函数性质知，两个高斯函数卷积的结果仍为高斯函数。所以只需要求得卷积后的高斯函数的均值和期望，就相当于求出上式的积分了。
取其指数，令
$$L=-\frac{1}{2{\sigma }^2}(\mathbf{t}-\mathbf{\Phi }\mathbf{\omega }{)}^H(\mathbf{t}-\mathbf{\Phi }\mathbf{\omega })-\frac{1}{2}{\mathbf{\omega }}^H{\mathbf{\Gamma }}^{-1}\mathbf{\omega }(5)$$
则进一步，可以得到：
$$L=-\frac{1}{2{\sigma }^2}[{\mathbf{\omega }}^H({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1})\mathbf{\omega }-{\mathbf{t}}^H\mathbf{\Phi }\mathbf{\omega }-{\mathbf{\omega }}^H{\mathbf{\Phi }}^H\mathbf{t}+{\mathbf{t}}^H\mathbf{t}]$$
$L$是关于$\mathbf{\omega }$的二次项。这里求解上述积分要用到高斯函数的以下性质：
$${\int }_{\mathbf{\omega }}{e}^{-(\mathbf{A}\mathbf{\omega }+\mathbf{b}{)}^2}d\mathbf{\omega }=C$$
式中$\mathbf{A}$是矩阵，$\mathbf{b}$是向量，其维数应满足上式的乘法规则。$C$是常数，具体是多少，我们可以不关注，感兴趣的话可以自己推导或查阅相关文献。我们需要关注的是似然函数对$\mathbf{\omega }$积分后$\mathbf{t}$项和$\mathbf{\sigma }$项。现在的问题是我们需要将$\mathbf{L}$表达成$-(\mathbf{A}\mathbf{\omega }+\mathbf{b}{)}^2+f(t,{\sigma }^2)$的样式，并求得$f(t,{\sigma }^2)$。显然，我们将满足$\mathbf{A}\mathbf{\omega }+\mathbf{b}=0$的$\mathbf{\omega }$代入其中，即得到$f(t,{\sigma }^2)$。先求$\mathbf{\omega }$，下面通过求导完成。
$$\frac{dL}{d\mathbf{\omega }}=\frac{1}{{\sigma }^2}[({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1})\mathbf{\omega }-{\mathbf{\Phi }}^H\mathbf{t}]$$
令$\frac{dL}{d\mathbf{\omega }}=0$可得
$$\mathbf{\omega }=({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1}{)}^{-1}{\mathbf{\Phi }}^H\mathbf{t}(6)$$
将(6)代入(5)中，得到
$$L=-\frac{1}{2{\sigma }^2}{\mathbf{t}}^H[\mathbf{I}-\mathbf{\Phi }({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1}{)}^{-1}{\mathbf{\Phi }}^H]\mathbf{t}$$
因此全概率公式积分后得
$$p(\mathbf{t};\mathbf{\gamma })=Cexp\{-\frac{1}{2{\sigma }^2}{\mathbf{t}}^H[\mathbf{I}-\mathbf{\Phi }({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1}{)}^{-1}{\mathbf{\Phi }}^H]\mathbf{t}\}$$
现在可以看出$p(\mathbf{t};\mathbf{\gamma })$是一个高斯分布，其均值为$0$,协方差矩阵${\Sigma }_t$满足${\Sigma }_t^{-1}=\frac{1}{{\sigma }^2}[\mathbf{I}-\mathbf{\Phi }({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1}{)}^{-1}{\mathbf{\Phi }}^H]$
${\Sigma }_t$可由矩阵求逆公式得到，如下：
$${\Sigma }_t={\sigma }^2\mathbf{I}+{\mathbf{\Phi }\mathbf{\Gamma }\mathbf{\Phi }}^H$$
到此，我们完成了证据或者叫第二类似然函数的概率分布的推导。

矩阵求逆公式:

$$(A+UBV{)}^{-1}=A^{-1}-A^{-1}UB(I+V{A}^{-1}UB{)}^{-1}V{A}^{-1}$$

后验概率推导

下面继续完成后验概率的推导，根据贝叶斯公式，有

$$p(\mathbf{\omega }|\mathbf{t};\mathbf{\gamma })=\frac{p(\mathbf{t}|\mathbf{\omega })p(\mathbf{\omega };\mathbf{\gamma })}{p(\mathbf{t};\mathbf{\gamma })}(7)$$
其实利用前面的结果，该式大部分都求得差不多了。证据（分母部分）已求得。分子部分是两个高斯概率密度函数的乘积，其结果仍为高斯分布。再与分母部分相除，最终还是为高斯分布。将前面求得的结果分别代入到(7), 忽略常数部分，得
$$p(\mathbf{\omega }|\mathbf{t};\mathbf{\gamma })=exp\{-\frac{1}{2{\sigma }^2}[{\mathbf{\omega }}^H({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1})\mathbf{\omega }-{\mathbf{t}}^H\mathbf{\Phi }\mathbf{\omega }-{\mathbf{\omega }}^H{\mathbf{\Phi }}^H\mathbf{t}+{\mathbf{t}}^H\mathbf{t}]+\frac{1}{2}{\mathbf{t}}^H{\mathbf{\Sigma }}^{-1}\mathbf{t}\}$$
其均值为指数部分对$\mathbf{\omega }$的一阶导数零点，协方差矩阵的逆为指数部分对$\mathbf{\omega }$的二阶导数。
故
$${\Sigma }_{\omega }^{-1}=\frac{1}{{\sigma }^2}{\mathbf{\Phi }}^H\mathbf{\Phi }+{\mathbf{\Gamma }}^{-1}$$
$${\mathbf{\mu }}_{\mathbf{\omega }}=({\mathbf{\Phi }}^H\mathbf{\Phi }+{\sigma }^2{\mathbf{\Gamma }}^{-1}{)}^{-1}{\mathbf{\Phi }}^H\mathbf{t}$$
一般来说，$M$远远大于$N$，所以求${\mathbf{\Sigma }}_{\mathbf{\omega }}$的逆的复杂度远远高于${\mathbf{\Sigma }}_{\mathbf{t}}$的逆的复杂度，所以运用矩阵和求逆公式将${\mathbf{\Sigma }}_{\mathbf{\omega }}^{-1}$转化为求${\mathbf{\Sigma }}_{\mathbf{t}}^{-1}$.结果如下：
$${\Sigma }_{\omega }=\mathbf{\Gamma }-{\mathbf{\Gamma }\mathbf{\Phi }}^H{\mathbf{\Sigma }}_t^{-1}\mathbf{\Phi }\mathbf{\Gamma }$$
$${\mathbf{\mu }}_{\mathbf{\omega }}={\mathbf{\Gamma }\mathbf{\Phi }}^H{\mathbf{\Sigma }}_t^{-1}\mathbf{t}$$
其中均值变换参考【Sparse Signal Recovery With Temporally Correlated Source Vectors Using Sparse Bayesian Learning（2011 Zhilin Zhang）】文中公式6
EM算法更新参数

至此，关于稀疏贝叶斯算法中的证据和后验概率的推导解释完毕，对于多测量模式下（Multiple Mearsure Vector）的推导可以直接拓展过来。