GMM聚类算法(公式证明分析)

2024-04-02 12:32

本文主要是介绍GMM聚类算法(公式证明分析),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

高斯分布

p ( x ∣ μ , σ 2 ) = 1 2 π σ e x p ( − ( x − μ ) 2 2 σ 2 ) p(x|\mu, \sigma^2)=\frac{1}{\sqrt{2\pi}\sigma}exp(-\frac{(x-\mu)^2}{2\sigma^2}) p(xμ,σ2)=2π σ1exp(2σ2(xμ)2)

d维多元高斯分布
p ( x ∣ μ , ∑ ) = 1 2 π d 2 ∣ ∑ ∣ 1 2 e x p ( − 1 2 ( x − μ ) ∑ ( x − μ ) ) p(x|\mu, \sum)=\frac{1}{{2\pi}^{\frac{d}{2}}|\sum|^{\frac{1}{2}}}exp(-\frac{1}{2}\frac{(x-\mu)}{\sum(x-\mu)}) p(xμ,)=2π2d211exp(21(xμ)(xμ))

对d维做极大似然估计:

给定数据 D = x 1 , . . . , x N D={x_1,..., x_N} D=x1,...,xN似然是 p ( D ∣ μ , ∑ ) = ∏ n = 1 N p ( x n ∣ μ , ∑ ) p(D|\mu,\sum) = \prod_{n=1}^{N}p(x_n | \mu, \sum) p(Dμ,)=n=1Np(xnμ,)

MLE 估计:
( μ M L , ∑ M L ) = a r g m a x μ , ∑ l o g p ( D ∣ μ , ∑ ) (\mu_{ML},\sum{ML}) = \underset{\mu, \sum}{argmax}logp(D|\mu,\sum) (μML,ML)=μ,argmaxlogp(Dμ,),
μ M L = 1 N ∑ n = 1 N x n \mu_{ML} = \frac{1}{N}\sum_{n=1}^{N}x_n μML=N1n=1Nxn
( ∑ M L ) 2 = 1 N ∑ n = 1 N ( x n − μ M L ) ( x n − μ M L ) T (\sum ML)^2 = \frac{1}{N}\sum_{n=1}^{N}(x_n-\mu_{ML})(x_n-\mu_{ML})^T (ML)2=N1n=1N(xnμML)(xnμML)T

为什么使用高斯分布

如何p(x,y)联合分布是高斯分布,那么p(x)是高斯分布,同样p(y)也是高斯分布。

混合高斯分布

单个高斯分布只有一个mode,单个高斯分布不能模拟多个mode的数据。
使用多个高斯分布,就可以对数据进行聚类。

单峰的高斯分布作为basis 分布,多个高斯分布使用线性叠加(这种思路类似boost的想法),即混合高斯。
p ( x ) = ∑ k = 1 K π k N ( x ∣ μ k , σ k 2 ) p(x) = \sum_{k=1}^{K}\pi_k\mathbb{N}(x|\mu_k, \sigma^2_k) p(x)=k=1KπkN(xμk,σk2)
π k \pi_k πk有约束, ∑ π k = 1 \sum\pi_k=1 πk=1

学习混合高斯分布

Log -likehood

log似然:
£ ( μ , ∑ ) = l o g p ( D ∣ π , μ , ∑ ) = ∑ n = 1 N l o g ( ∑ k = 1 K π k N ( x ∣ μ k , ∑ k ) \pounds(\mu, \sum) = log p(D|\pi,\mu,\sum) = \sum_{n=1}^{N}log(\sum_{k=1}^K \pi_k\mathbb{N}({x|\mu_k,\sum _k}) £(μ,)=logp(Dπ,μ,)=n=1Nlog(k=1KπkN(xμk,k)

但是MLE是复杂的,对于单个高斯分布,MLE是简单的。

简单的分析:

  • ∂ £ ∂ μ k = 0 \frac{\partial \pounds}{\partial \mu_k} = 0 μk£=0得到
    ∑ n = 1 N = π k N ( x n ∣ μ k , ∑ k ) ∑ j π j N ( x n ∣ μ k , ∑ k ) ( ∑ k ( x n − μ k ) ) − 1 \sum_{n=1}^{N} = \frac{\pi_k\mathbb{N}({x_n|\mu_k,\sum _k})}{\sum_j\pi_j\mathbb{N}({x_n|\mu_k,\sum _k})}(\sum_k(x_n-\mu_k))^{-1} n=1N=jπjN(xnμk,k)πkN(xnμk,k)(k(xnμk))1

γ ( z n k ) = π k N ( x n ∣ μ k , ∑ k ) ∑ j π j N ( x n ∣ μ k , ∑ k ) \gamma (z_{nk}) = \frac{\pi_k\mathbb{N}({x_n|\mu_k,\sum _k})}{\sum_j\pi_j\mathbb{N}({x_n|\mu_k,\sum _k})} γ(znk)=jπjN(xnμk,k)πkN(xnμk,k)

μ k = 1 N k ∑ n = 1 N γ ( z n k ) x n \mu_k = \frac{1}{N_k}\sum_{n=1}^{N}\gamma (z_{nk})x_n μk=Nk1n=1Nγ(znk)xn,

N k = ∑ n = 1 N γ ( z n k ) N_k= \sum_{n=1}^{N}\gamma (z_{nk}) Nk=n=1Nγ(znk) , N k N_k Nk是所有数据拟合到k分布上面的权重和。

这里的 μ k \mu_k μk也是 1 N k \frac{1}{N_k} Nk1求均。

  • ∂ £ ∂ ∑ k = 0 \frac{\partial \pounds}{\partial \sum_k} = 0 k£=0得到

∑ k = 1 N k ∑ n = 1 N γ ( z n k ) ( x n − μ k ) ( x n − μ k ) T \sum_k = \frac{1}{N_k}\sum_{n=1}^N \gamma(z_{nk})(x_n-\mu_k)(x_n - \mu_k)^T k=Nk1n=1Nγ(znk)(xnμk)(xnμk)T

  • ∂ L ∂ π k = 0 \frac{\partial L}{\partial \pi_k} =0 πkL=0

由于对 π k \pi_k πk有约束, ∑ π k = 1 \sum\pi_k=1 πk=1,使用拉格朗日求 π k \pi_k πk
L = £ ( μ , ∑ ) + λ ( ∑ k = 1 K π k − 1 ) L = \pounds(\mu, \sum)+\lambda(\sum_{k=1}^K\pi_k -1) L=£(μ,)+λ(k=1Kπk1)

∑ n = 1 N N ( x n ∣ μ k , ∑ k ) ∑ j π j N ( x n ∣ μ k , ∑ k ) + λ = 0 \sum_{n=1}^N \frac{\mathbb{N}({x_n|\mu_k,\sum _k})}{\sum_j\pi_j\mathbb{N}({x_n|\mu_k,\sum _k})} + \lambda=0 n=1NjπjN(xnμk,k)N(xnμk,k)+λ=0

π k = N k N \pi_k=\frac{N_k}{N} πk=NNk

综上结果

π k = N k N \pi_k=\frac{N_k}{N} πk=NNk
μ k = 1 N k ∑ n = 1 N γ ( z n k ) x n \mu_k = \frac{1}{N_k}\sum_{n=1}^{N}\gamma (z_{nk})x_n μk=Nk1n=1Nγ(znk)xn
∑ k = 1 N k ∑ n = 1 N γ ( z n k ) ( x n − μ k ) ( x n − μ k ) T \sum_k = \frac{1}{N_k}\sum_{n=1}^N \gamma(z_{nk})(x_n-\mu_k)(x_n - \mu_k)^T k=Nk1n=1Nγ(znk)(xnμk)(xnμk)T

γ ( z n k ) = π k N ( x n ∣ μ k , ∑ k ) ∑ j π j N ( x n ∣ μ k , ∑ k ) \gamma (z_{nk}) = \frac{\pi_k\mathbb{N}({x_n|\mu_k,\sum _k})}{\sum_j\pi_j\mathbb{N}({x_n|\mu_k,\sum _k})} γ(znk)=jπjN(xnμk,k)πkN(xnμk,k)

关键是求,但是 γ ( z n k ) \gamma (z_{nk}) γ(znk) 是未知的。

EM算法引入

解决上面鸡生蛋,蛋生鸡的 γ ( z n k ) \gamma (z_{nk}) γ(znk)求解。
E-step

γ ( z n k ) = π k N ( x n ∣ μ k , ∑ k ) ∑ j π j N ( x n ∣ μ k , ∑ k ) \gamma (z_{nk}) = \frac{\pi_k\mathbb{N}({x_n|\mu_k,\sum _k})}{\sum_j\pi_j\mathbb{N}({x_n|\mu_k,\sum _k})} γ(znk)=jπjN(xnμk,k)πkN(xnμk,k), γ \gamma γ实际上是后验分布,假设第n个样本拟合到k分布上面 p ( z n k = 1 ∣ x n , μ , ∑ ) p(z_{nk}=1 | x_n, \mu, \sum) p(znk=1xn,μ,)

M-step

π k = N k N \pi_k=\frac{N_k}{N} πk=NNk
μ k = 1 N k ∑ n = 1 N γ ( z n k ) x n \mu_k = \frac{1}{N_k}\sum_{n=1}^{N}\gamma (z_{nk})x_n μk=Nk1n=1Nγ(znk)xn
∑ k = 1 N k ∑ n = 1 N γ ( z n k ) ( x n − μ k ) ( x n − μ k ) T \sum_k = \frac{1}{N_k}\sum_{n=1}^N \gamma(z_{nk})(x_n-\mu_k)(x_n - \mu_k)^T k=Nk1n=1Nγ(znk)(xnμk)(xnμk)T
不断的迭代E步和M步进行计算,这里初始点的选取会影响混合高斯聚类的结果。

理解高斯分布

对于 p ( x ) = ∑ k = 1 K π k N ( x ∣ μ k , ∑ k ) p(x) = \sum_{k=1}^{K}\pi_k \mathbb{N}(x|\mu_k, \sum_k) p(x)=k=1KπkN(xμk,k)引入选择变量z
z = ( 0 1 0 ) z = \begin{pmatrix} 0\\ 1\\ 0 \end{pmatrix} z=010

p ( x , z ) = ∑ k = 1 K π k z k N ( x ∣ μ k , ∑ k ) z k p(x,z) = \sum_{k=1}^{K}\pi_k^{z_k} \mathbb{N}(x|\mu_k, \sum_k)^{z_k} p(x,z)=k=1KπkzkN(xμk,k)zk

  • 重新定义log-likehood
    l o g p ( D ∣ Θ ) = ∑ n = 1 N l o g ( ∑ z n p ( x n , z n ) ) logp(D|\Theta )=\sum_{n=1}^Nlog(\sum_{z_n}p(x_n, z_n)) logp(DΘ)=n=1Nlog(znp(xn,zn))

这里的 l o g ∑ log\sum log是很难求导的,所以我们使用Jensen不等式近似
l o g x 1 + x 2 2 ≥ l o g x 1 + l o g x 2 2 log\frac{x_1+x_2}{2} \geq \frac{logx_1 + logx_2}{2} log2x1+x22logx1+logx2 或者使用期望的表示方法 l o g E p ( x ) [ x ] ≥ E p ( x ) [ l o g x ] logE_{p(x)}[x] \geq E_{p(x)}[logx] logEp(x)[x]Ep(x)[logx]
引入 q ( z n ) q(z_n) q(zn)(在机器学习里面称为 Evidence lower bound):
l o g p ( D ∣ Θ ) = ∑ n = 1 N l o g ( ∑ z n q ( z n ) p ( x n , z n ) q ( z n ) ) ≥ ∑ n = 1 N ∑ z n q ( z n ) l o g ( p ( x n , z n ) q ( z n ) ) ≅ £ ( θ , q ( Z ) ) logp(D|\Theta )=\sum_{n=1}^Nlog(\sum_{z_n}q(z_n)\frac{p(x_n, z_n)}{q(z_n)}) \geq \sum_{n=1}^N\sum_{z_n}q(z_n)log(\frac{p(x_n,z_n)}{q(z_n)}) \cong \pounds(\theta , q(Z)) logp(DΘ)=n=1Nlog(znq(zn)q(zn)p(xn,zn))n=1Nznq(zn)log(q(zn)p(xn,zn))£(θ,q(Z))
q 一般意义上称为变分分布(变分的方法)。
但是lower bound 是可紧可松的,如何约定GAP
£ ( θ , q ( Z ) ) = ∑ n = 1 N { ∑ z n q ( z n ) l o g p ( x n , z n ) − ∑ z n q ( z n ) l o g q ( z n ) } = ∑ n = 1 N { ∑ z n q ( z n ) l o g ( p ( x n , z n ) p ( x n ) ) + l o g p ( x n ) − ∑ z n q ( z n ) l o g q ( z n ) } = l o g p ( D ∣ θ ) + ∑ n = 1 N { ∑ z n q ( z n ) l o g p ( z n ∣ x n ) − ∑ z n q ( z n ) l o g q ( z n ) } = l o g p ( D ∣ θ ) − K L ( q ( Z ) ∣ ∣ p ( Z ∣ D ) ) \pounds(\theta , q(Z))=\sum_{n=1}^N\left \{\sum_{z_n}q(z_n)logp(x_n,z_n) - \sum_{z_n}q(z_n)logq(z_n)\right \}\\ = \sum_{n=1}^N \left \{ \sum_{z_n}q(z_n)log(\frac{p(x_n,z_n)}{p(x_n)}) +logp(x_n) - \sum_{z_n}q(z_n)logq(z_n) \right \}\\ =logp(D|\theta) + \sum_{n=1}^N \left \{ \sum_{z_n}q(z_n)logp(z_n|x_n) -\sum_{z_n}q(z_n)logq(z_n) \right \}\\ =logp(D|\theta) - KL(q(Z)||p(Z|D)) £(θ,q(Z))=n=1N{znq(zn)logp(xn,zn)znq(zn)logq(zn)}=n=1N{znq(zn)log(p(xn)p(xn,zn))+logp(xn)znq(zn)logq(zn)}=logp(Dθ)+n=1N{znq(zn)logp(znxn)znq(zn)logq(zn)}=logp(Dθ)KL(q(Z)p(ZD))
上式中 l o g p ( D ∣ θ ) = ∑ n = 1 N l o g p ( x n ) logp(D|\theta) = \sum_{n=1}^Nlogp(x_n) logp(Dθ)=n=1Nlogp(xn)

所以lower bound的GAP是一个KL散度。
£ ( θ , q ( Z ) ) \pounds(\theta , q(Z)) £(θ,q(Z)) l o g p ( D ∣ θ ) logp(D|\theta) logp(Dθ)之间的GAP是KL散度,
l o g p ( D ∣ θ ) − £ ( θ , q ( Z ) ) = K L ( q ( Z ) ∣ ∣ p ( Z ∣ D ) ) logp(D|\theta) - \pounds(\theta , q(Z)) = KL(q(Z)||p(Z|D)) logp(Dθ)£(θ,q(Z))=KL(q(Z)p(ZD))
要使得GAP最小,则 K L ( q ( Z ) ∣ ∣ p ( Z ∣ D ) ) = 0 KL(q(Z)||p(Z|D)) =0 KL(q(Z)p(ZD))=0

  • EM算法
    最大化lower bound或者最小化GAP

E 步:
Maximize over q(Z) -> ∂ £ ∂ q = 0 \frac{\partial \pounds}{\partial q} =0 q£=0
其中 q ( z n ) = p ( z n ∣ x n ) q(z_n) = p(z_n|xn) q(zn)=p(znxn)等价与前面的 γ ( z n k ) \gamma(z_{nk}) γ(znk)

M 步:
Maximize over θ \theta θ -> ∂ £ ∂ θ = 0 \frac{\partial \pounds}{\partial \theta} =0 θ£=0

这篇关于GMM聚类算法(公式证明分析)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/869986

相关文章

MyBatis Plus 中 update_time 字段自动填充失效的原因分析及解决方案(最新整理)

《MyBatisPlus中update_time字段自动填充失效的原因分析及解决方案(最新整理)》在使用MyBatisPlus时,通常我们会在数据库表中设置create_time和update... 目录前言一、问题现象二、原因分析三、总结:常见原因与解决方法对照表四、推荐写法前言在使用 MyBATis

Python主动抛出异常的各种用法和场景分析

《Python主动抛出异常的各种用法和场景分析》在Python中,我们不仅可以捕获和处理异常,还可以主动抛出异常,也就是以类的方式自定义错误的类型和提示信息,这在编程中非常有用,下面我将详细解释主动抛... 目录一、为什么要主动抛出异常?二、基本语法:raise关键字基本示例三、raise的多种用法1. 抛

github打不开的问题分析及解决

《github打不开的问题分析及解决》:本文主要介绍github打不开的问题分析及解决,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、找到github.com域名解析的ip地址二、找到github.global.ssl.fastly.net网址解析的ip地址三

Mysql的主从同步/复制的原理分析

《Mysql的主从同步/复制的原理分析》:本文主要介绍Mysql的主从同步/复制的原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录为什么要主从同步?mysql主从同步架构有哪些?Mysql主从复制的原理/整体流程级联复制架构为什么好?Mysql主从复制注意

java -jar命令运行 jar包时运行外部依赖jar包的场景分析

《java-jar命令运行jar包时运行外部依赖jar包的场景分析》:本文主要介绍java-jar命令运行jar包时运行外部依赖jar包的场景分析,本文给大家介绍的非常详细,对大家的学习或工作... 目录Java -jar命令运行 jar包时如何运行外部依赖jar包场景:解决:方法一、启动参数添加: -Xb

Apache 高级配置实战之从连接保持到日志分析的完整指南

《Apache高级配置实战之从连接保持到日志分析的完整指南》本文带你从连接保持优化开始,一路走到访问控制和日志管理,最后用AWStats来分析网站数据,对Apache配置日志分析相关知识感兴趣的朋友... 目录Apache 高级配置实战:从连接保持到日志分析的完整指南前言 一、Apache 连接保持 - 性

Linux中的more 和 less区别对比分析

《Linux中的more和less区别对比分析》在Linux/Unix系统中,more和less都是用于分页查看文本文件的命令,但less是more的增强版,功能更强大,:本文主要介绍Linu... 目录1. 基础功能对比2. 常用操作对比less 的操作3. 实际使用示例4. 为什么推荐 less?5.

spring-gateway filters添加自定义过滤器实现流程分析(可插拔)

《spring-gatewayfilters添加自定义过滤器实现流程分析(可插拔)》:本文主要介绍spring-gatewayfilters添加自定义过滤器实现流程分析(可插拔),本文通过实例图... 目录需求背景需求拆解设计流程及作用域逻辑处理代码逻辑需求背景公司要求,通过公司网络代理访问的请求需要做请

Java集成Onlyoffice的示例代码及场景分析

《Java集成Onlyoffice的示例代码及场景分析》:本文主要介绍Java集成Onlyoffice的示例代码及场景分析,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要... 需求场景:实现文档的在线编辑,团队协作总结:两个接口 + 前端页面 + 配置项接口1:一个接口,将o

IDEA下"File is read-only"可能原因分析及"找不到或无法加载主类"的问题

《IDEA下Fileisread-only可能原因分析及找不到或无法加载主类的问题》:本文主要介绍IDEA下Fileisread-only可能原因分析及找不到或无法加载主类的问题,具有很好的参... 目录1.File is read-only”可能原因2.“找不到或无法加载主类”问题的解决总结1.File