(说明:本文是根据压缩感知讨论群里面(180291507感兴趣的同学可以加下,里面大牛很多,大家加入到那个群里面去,你会从里面的大神那里学习到不少东西的。)的大牛Ammy讲解整理的)
最初的压缩感知是由candes donoho他们提出来的问题 。最初压缩感知那几篇文章里的模型 :y=Φ*x(模型一 )
都是从纯数学角度来考虑的,问题也是针对稀疏信号x研究的。研究的是:什么样的Φ,以怎样的方式,能够从y中恢复x。
在后续的研究过程中发现很多信号x压根不稀疏,自然也就不满足模型一的要求了。经过研究发现,虽然信号x不稀疏但是可以通过某种正交变换使信号变的稀疏。这也就产生了第二种稀疏模型:y=Φ*Ψ'*x(模型二)
a=Ψ'*x :现将信号x进行某种正交变换,得到稀疏信号a。其中a是稀疏的,Ψ'是Ψ的转置,也就是逆。
y=Φ*a:通过变换后的信号a满足了模型一的条件。
y=Φ*Ψ'*x:将a代入到模型一也就得到了模型二了。
(这种稀疏变换的模型,叫做analysis model,将x利用Ψ'分解成a。例如,小波分解;例如,傅里叶分解)
随着稀疏表示模型的发展,人们发现不仅仅能够通过变换得到稀疏的信号还可以通过一个字典得到稀疏信号x=D*a(a是稀疏的,而D非正交)。candes在09年的一篇文章中给出了压缩感知在过完备字典下的表示:
y=Φ*x=Φ*D*a (模型三)//注意与模型二的区别。
(这种模型叫做synthesis model,x是由D和a合成出来的)
模型二与模型三的区别:
在模型二由于Ψ'*x是稀疏的,所以要求Φ要满足k-RIP性质即可。,只需要考虑Φ的RIP,人们只需要找到一个满足的矩阵,就可以到处使用了。
在模型三由于a是稀疏的,所以应该是要求Φ*D要满足RIP。而D是随着问题不断变换的,找个全局的比较困难。为此提出了另外一个条件:coherence,说的通俗一点就是:当Φ和D极度不相干时,Φ*D能够满足RIP,所以将Φ*D的RIP转换为,寻找一个Φ与D不相关。
在实际使用的过程中人们发现高斯随机矩阵满足第2个模型,高斯矩阵是因为满足RIP。后面又发现高斯矩阵与大部分D相关性很小,所以又被拿来当做Φ。形式上都是高斯,所以看起来“似乎一样”,但实际上还是有本质区别的,这时给初学者有很大的障碍去理解的。