ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
ØØØ DDDaaa{{{000
x**
Department of Computer Science
**University
December 3, 2010
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
Jj
1 A Big Idea
2 ��C
3 Ø Da
4 ¯{
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
µe
1 A Big Idea
2 ��C
3 Ø Da
4 ¯{
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
A Big Idea
u¾êÆ[>óZ¶d"4Æ�ÚOÆ[David
Donoho�ÇÑ
��z
UC Berkerley�Yu Bin¶UIUC�Ma Yi
Compressive Sensing, CS
Sparse Representation
......
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
µe
1 A Big Idea
2 ��C
3 Ø Da
4 ¯{
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
��C
½x ∈ RN×1&Ò, e&E´P{�, K±ÏL��
C?1Ø .
y = Ψx , Cx = ΨHy , ÷vΨHΨ = I , Ψ ∈ CN×N ,
Iü
. éuy ∈ CN×1, Uþ�x8¥, �þ�Ø
'5. Ï
, I�3k��©þ,
rÙ§N − k
0"ÏLC, U
C��{�ï�©&Ò, Ï
@N − kCXê��z, �Ù.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
��C
äNöµ
?è: �EΨ, ��Cy = Ψx , �3y¥kXê9
ÙéA� ;
)è: rk©þ£�éA� , Ù§ 0§¦
Cxˆ = ΨH yˆ ;
·F"‖x − xˆ‖2 = ‖y − yˆ‖2 ≤ δ, ½
ö‖y − yˆ‖2/‖y‖2 ≤ δ.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
��C
ù«?è�":µ
âShannonæ�½n, æ�m
U¬é�, Ï
¬
��©&Ò�ÝU¬é, CL§Ñ�
mUé;
k�©þ� X&Ò�ØÓ
ØÓ;
e3DÑL§¥, k©þ¥k¿�, ¬é�E¤
�J.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
µe
1 A Big Idea
2 ��C
3 Ø Da
4 ¯{
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
Ø Da
éux ∈ RN×1, é�§�M5ÿþs = Φx , Φ ∈ RM×N .
Φ�z1±w´Daì, §&Ò¦, ±¼
�&�ܩ&E. k
Φ, weXÛ��©&Ò.
min ‖yˆ‖0 s.t. ΦΨH yˆ = s (1)
½ö´
min ‖s − ΦΨH yˆ‖2 + λ‖yˆ‖0 (2)
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
Ø Da
o´0-êQ? ù¿X:�3�K©þ, ¿
´g·Aé��. ΦAT÷vo5? ^4©Û{.
b½ΦΨ4àq(Coherence), =, <ÑΨ�cM1Φ,
K^ù{¬��:
yˆ =
(
sM×1
0
)
(3)
ùw,´Ø�. o?
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
Ø Da
duK©þ� ¯kØ�, ¤±þ¡��E{Ø
1. �,, ±òΦ�E¤�K1, �´d´C kN .
, ·ØU(½(J½´é�.
u´, ·ÀJΦΨ4àØq(extremely
incoherence)⇒Å(randomness):
±´pdxD(Ý
;
�ãp©Ù�±1Ý
(noiselet);
Ó, F"
1− δ ≤ ‖ΦΨ
H yˆ‖2
‖y‖2 ≤ 1 + δ (4)
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
Ø Da
nþ, CS�?èüÑ:
�EΦ, )¤ÿþs = Φx , �3s;
�EÓ��Φ, �E?«��CΨH , âs�x .
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
Ø Da
Ø Da�`³:
±DÑ�á�&Ò, $â»æ�½n�4;
|Z6r. s¥�?ÛÑ´�, ½ö`´Ø
�, ¿
,A, E,±�{�.
A^2: ÀªÑªæ8��; U©ã; �ä; �¯
�, {I�󧮲�OÑ
¢S��¬.
"::
s�ݦ´:M ≈ 4K½öM ≥ K log(NK );
�{´NP�. =´ò0-ê=1-ê, duÙ
Ø5, {�E,ÝE,ép.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
µe
1 A Big Idea
2 ��C
3 Ø Da
4 ¯{
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
·25)ºeo´1-ê,
Ø´2-ê.
-T = ΦΨH , K�ª�å
Tyˆ = s (5)
yˆ�êkN, §kM << N, �káõ). l
AÛþ`, Tyˆ − s = 0´²¡, 32D¯K¥, @
´^(d, yˆ¥kü�¦).
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
éê��å:
0-ê
1-ê
2-ê
Figure: norms
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
y3¯K2=z:
min ‖s − ΦΨH yˆ‖2 + λ‖yˆ‖1 (6)
5�à`z¯K.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
éu`z¯K, ^FÝ�{5¦).
éu‖yˆ‖1,
30:´Ø��, u´, ±æ^fFÝ{, ²wCq{
�. ó§+¥, ~^�´���Jl(orthogonal
matching pursuit).
duK©þ, KÙXê�ýéAT'Ù
§N − K©þ�õ. Øb�K = 1, �"�
yˆq3yˆ¥éA� q. KTyˆÒ´¡EÝ
T�
1q�Tqyˆq�¦È
Tq yˆq = sq (7)
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
÷v
‖s − sq‖2/‖s‖2 ≤ δ (8)
Ò´`, Tqs�qÝp, =
| < Tq, s > | >> | < Tr , s > |, r 6= q (9)
Ï
, IO¡EÝ
T�¤k�s�SÈ, é�ýé
�@=.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
â��¦
yˆq = (T
H
q Tq)
−1THq s (10)
k:Schimidt��z{, {þ
rn = s − < Tq, s >
< Tq,Tq >
Tq (11)
©ªÓTq��. ù´”���Jl”¶¡�d5.
xxx** ØØØ DDDaaa{{{000
ØØØ DDDaaa{{{000
xxx**
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
JJJjjj
A Big Idea
������CCC
ØØØ DDDaaa
¯¯¯{{{
¯{
XJK > 1, K1�Ò´{þrnÓT�¤k��SÈ
�@�. Xd E, �é��K©þ.
Figure: norms
xxx** ØØØ DDDaaa{{{000
A Big Idea
正交变换
压缩传感
快速算法