dictionary adaptation in sparse recovery based on ... · dictionary adaptation in sparse recovery...
TRANSCRIPT
Ulm University Institute of Communications Engineering
Dictionary Adaptation in Sparse RecoveryBased on Different Types of Coherence
Henning Zorlein, Faisal Akram, Martin Bossert
A NACHRICHTENTECHNIK
17. September - CoSeRa 2013
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 1
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 2
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 2
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 2
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 2
Ulm University Institute of Communications Engineering
Introduction A NACHRICHTENTECHNIK
Sparse Recovery in Signal Acquisition
Measurement of a Signal
Signal x ∈ RN is acquired by measurement matrix Φ ∈ RM×N :
y = Φx with M < N.
Sparse Representation
Signals can be sparsely represented with a dictionary Ψ ∈ RN×L:
x = Ψα with N ≤ L.
Under-determined System of Linear Equations with Sparse Solution
Sensing matrix is obtained by ΦΨ = A ∈ RM×L
y = ΦΨα = Aα
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 3
Ulm University Institute of Communications Engineering
Introduction A NACHRICHTENTECHNIK
Sparse Recovery in Signal Acquisition
Measurement of a Signal
Signal x ∈ RN is acquired by measurement matrix Φ ∈ RM×N :
y = Φx with M < N.
Sparse Representation
Signals can be sparsely represented with a dictionary Ψ ∈ RN×L:
x = Ψα with N ≤ L.
Under-determined System of Linear Equations with Sparse Solution
Sensing matrix is obtained by ΦΨ = A ∈ RM×L
y = ΦΨα = Aα
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 3
Ulm University Institute of Communications Engineering
Introduction A NACHRICHTENTECHNIK
Sparse Recovery in Signal Acquisition
Measurement of a Signal
Signal x ∈ RN is acquired by measurement matrix Φ ∈ RM×N :
y = Φx with M < N.
Sparse Representation
Signals can be sparsely represented with a dictionary Ψ ∈ RN×L:
x = Ψα with N ≤ L.
Under-determined System of Linear Equations with Sparse Solution
Sensing matrix is obtained by ΦΨ = A ∈ RM×L
y = ΦΨα = Aα
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 3
Ulm University Institute of Communications Engineering
Introduction A NACHRICHTENTECHNIK
Coherence-Based Optimization Criteria
Column Coherence of A
µ(A) = maxi 6=j
| 〈ai,aj〉 |‖ai‖2‖aj‖2
,
where ai is the i-th column of A.
Often used where x is sparse itself (Ψ = I)
Several approaches optimize this property e.g. [Elad 2007]
Row Coherence of Φ with respect to Columns of Ψ
µ(Φ,Ψ) = maxi,j
| 〈φi,ψj〉 |‖φi‖2‖ψj‖2
,
where φi is the i-th row of Φ and ψj is the j-th column of Ψ.
Motivated by measurement process
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 4
Ulm University Institute of Communications Engineering
Introduction A NACHRICHTENTECHNIK
Coherence-Based Optimization Criteria
Column Coherence of A
µ(A) = maxi 6=j
| 〈ai,aj〉 |‖ai‖2‖aj‖2
,
where ai is the i-th column of A.
Often used where x is sparse itself (Ψ = I)
Several approaches optimize this property e.g. [Elad 2007]
Row Coherence of Φ with respect to Columns of Ψ
µ(Φ,Ψ) = maxi,j
| 〈φi,ψj〉 |‖φi‖2‖ψj‖2
,
where φi is the i-th row of Φ and ψj is the j-th column of Ψ.
Motivated by measurement process
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 4
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 5
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Denotation
ΩN (0, 1) Unit sphere centered at the origin 0 of RN .
Cs(N ,M) A spherical code is a
= smMm=1 set of M points sm placed on ΩN (0, 1).
Cbs(N ,M) Best spherical codes (BSC) maximize the minimalEuclidean (or angular) distance dml = |sm − sl| andminimize the maximal inner product of code words.
Cbas(N ,M) For best antipodal spherical codes (BASC), theantipodal of each code word is also a code word:sm ∈ Cbas(N ,M) ⇐⇒ −sm ∈ Cbas(N ,M)Thus, maximal coherence is minimized.
u = u|u| Underlined denotation of normalized vectors.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 6
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
General Ideas
Generating BSC
Points of a Cs(N ,M) can be considered as charged particlesacting in some field of repelling forces.
Particles will move until total potential of system approachessome local minimum.
Optimize Coherence with BASC
Consider also the antipodals of Cs(N ,M).
Obtain Cbas(N ,M) by generating BSC (updating antipodals).
Optimize µ(Φ,Ψ) with BASC
Points corresponding to Ψ and their antipodals are fixed.
Particles of Φ are free to be moved (updating antipodals).
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 7
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
General Ideas
Generating BSC
Points of a Cs(N ,M) can be considered as charged particlesacting in some field of repelling forces.
Particles will move until total potential of system approachessome local minimum.
Optimize Coherence with BASC
Consider also the antipodals of Cs(N ,M).
Obtain Cbas(N ,M) by generating BSC (updating antipodals).
Optimize µ(Φ,Ψ) with BASC
Points corresponding to Ψ and their antipodals are fixed.
Particles of Φ are free to be moved (updating antipodals).
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 7
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
General Ideas
Generating BSC
Points of a Cs(N ,M) can be considered as charged particlesacting in some field of repelling forces.
Particles will move until total potential of system approachessome local minimum.
Optimize Coherence with BASC
Consider also the antipodals of Cs(N ,M).
Obtain Cbas(N ,M) by generating BSC (updating antipodals).
Optimize µ(Φ,Ψ) with BASC
Points corresponding to Ψ and their antipodals are fixed.
Particles of Φ are free to be moved (updating antipodals).
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 7
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC
Generalized Potential Function
g(Cs(N ,M)) =∑m<l
|sm − sl|−(ν−2) with ν ∈ N (ν > 2),
attains a global minimum by a BSC if ν →∞.
Lagrangian multipliers
A global minimum can be expressed by an equilibrium:sm =∑l 6=m
sm − sl|sm − sl|ν
M
m=1
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 8
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC
Generalized Potential Function
g(Cs(N ,M)) =∑m<l
|sm − sl|−(ν−2) with ν ∈ N (ν > 2),
attains a global minimum by a BSC if ν →∞.
Lagrangian multipliers
A global minimum can be expressed by an equilibrium:sm =∑l 6=m
sm − sl|sm − sl|ν
M
m=1
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 8
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC
Generalized Potential Function
g(Cs(N ,M)) =∑m<l
|sm − sl|−(ν−2) with ν ∈ N (ν > 2),
attains a global minimum by a BSC if ν →∞.
Lagrangian multipliers
A global minimum can be expressed by an equilibrium:sm =∑l 6=m
sm − sl|sm − sl|ν
=∑l 6=m
δml = fm
M
m=1
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 8
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC - Illustration
tiny
0
1
s1=f1
s2 s3
|s1 − s2| |s1 − s3|
f1δ12δ13
Cbs(2, 3) = s1,s2,s3.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 9
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC - The Iterative Process
Mapping
P [Cs(N ,M)] =sm + αf
m
Mm=1
with α ∈ R
Iterative Process for Coherence Optimization
Cs(N ,M)(k+1) = P (Cs(N ,M)(k))); k = 0, 1, . . .
converges for a small enough “damping factor” α.
Optimization Strategy
For increasing ν, the iterative process is continuously applied.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 10
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC - The Iterative Process
Mapping
P [Cs(N ,M)] =sm + αf
m
Mm=1
with α ∈ R
Iterative Process for Coherence Optimization
Cs(N ,M)(k+1) = P (Cs(N ,M)(k))); k = 0, 1, . . .
converges for a small enough “damping factor” α.
Optimization Strategy
For increasing ν, the iterative process is continuously applied.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 10
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC - The Iterative Process
Mapping
P [Cs(N ,M)] =sm + αf
m
Mm=1
with α ∈ R
Iterative Process for Coherence Optimization
Cs(N ,M)(k+1) = P (Cs(N ,M)(k))); k = 0, 1, . . .
converges for a small enough “damping factor” α.
Optimization Strategy
For increasing ν, the iterative process is continuously applied.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 10
Ulm University Institute of Communications Engineering
Best Antipodal Spherical Codes A NACHRICHTENTECHNIK
Generating BSC - Algorithm
procedure BSC-based Min-Distance Optimization(N ,M)Cs ← spherical seed . Random spherical codewhile ν < νmax do
while i < imax AND FixedPointFound = false dofor m = 1 to M do
fm ← sm =∑l 6=m
sm−sl|sm−sl|ν
. Calculate generalized force
end for
smMm=1 ←sm + αf
m
Mm=1
. Apply force
end whileend whilereturn sm
Mm=1
end procedure
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 11
Ulm University Institute of Communications Engineering
Coherence Optimization A NACHRICHTENTECHNIK
Generating BASC - Algorithm
procedure BASC-based Coherence Optimization(N ,M)Cs ← spherical seed . Random spherical codeCas ← [Cs − Cs] . Antipodal spherical codewhile ν < νmax do
while i < imax AND FixedPointFound = false dofor m = 1 to M do
fm ← sm =∑l6=m
l 6=m+M
sm−sl|sm−sl|ν
. Calculate generalized force
end for
smMm=1 ←sm + αf
m
Mm=1
. Apply force
sm2Mm=1+M ← −smM2m=1 . Update antipodals
end whileend whilereturn sm
Mm=1 . Return non-antipodals
end procedure
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 12
Ulm University Institute of Communications Engineering
Coherence Optimization A NACHRICHTENTECHNIK
Optimizing µ(Φ,Ψ)- Algorithm
procedure BASC-based µ(Φ,Ψ) Optimization(Ψ,N ,M)Cs ← spherical seed . Random spherical codeCas ← [Cs − Cs Ψ −Ψ] . Antipodal spherical codewhile ν < νmax do
while i < imax AND FixedPointFound = false dofor m = 1 to M do
fm ← sm =∑l6=m
l 6=m+M
sm−sl|sm−sl|ν
. Calculate generalized force
end for
smMm=1 ←sm + αf
m
Mm=1
. Apply force
sm2Mm=1+M ← −smM2m=1 . Update antipodals
end whileend whilereturn sm
Mm=1 . Return non-antipodals
end procedure
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 13
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 14
Ulm University Institute of Communications Engineering
Numerical Evaluation A NACHRICHTENTECHNIK
Verify Success of Optimizations - µ(Φ,Ψ)
0.05 0.10 0.15 0.20 0.250.0
2.0
4.0
·104
Coherence
Nu
mb
ero
fO
ccu
ran
ces
Φµ(Φ,Ψ), Ψ[I,DCT]
Φµ(Φ,Ψ), Ψrand
Φµ(A), Ψ[I,DCT]
Φµ(A), Ψrand
Φrand, Ψ[I,DCT]
Φrand, Ψrand
Coherence distribution of[ΦT ,Ψ
]for M = 30, N = 200 and L = 400.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 15
Ulm University Institute of Communications Engineering
Numerical Evaluation A NACHRICHTENTECHNIK
Verify Success of Optimizations - µ(Φ,Ψ) - 2
0.05 0.10 0.15 0.20 0.250.0
0.5
1.0
1.5·104
Coherence
Nu
mb
ero
fO
ccu
ran
ces
Φµ(Φ,Ψ), Ψ[I,DCT]
Φµ(Φ,Ψ), Ψrand
Φµ(A), Ψ[I,DCT]
Φµ(A), Ψrand
Φrand, Ψ[I,DCT]
Φrand, Ψrand
Coherence distribution of[ΦT ,Ψ
]for M = 30, N = 200 and L = 400.
Intra column coherence of Ψ is removed.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 16
Ulm University Institute of Communications Engineering
Numerical Evaluation A NACHRICHTENTECHNIK
Verify Success of Optimizations - µ(A)
0.10 0.20 0.30 0.40 0.50 0.60 0.70 0.80 0.900.0
0.2
0.4
0.6
0.8
1.0·104
Coherence
Nu
mb
ero
fO
ccu
ran
ces
Φµ(Φ,Ψ), Ψ[I,DCT]
Φµ(Φ,Ψ), Ψrand
Φµ(A), Ψ[I,DCT]
Φµ(A), Ψrand
Φrand, Ψ[I,DCT]
Φrand, Ψrand
Coherence distribution of A for M = 30, N = 200 and L = 400.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 17
Ulm University Institute of Communications Engineering
Numerical Evaluation A NACHRICHTENTECHNIK
Evaluation of Effectiveness
1 2 3 4 5 6 7 8 9
0.6
0.8
1
Sparsity
Fre
qu
ency
of
exa
ctre
con
stru
ctio
n Φµ(A)
Φµ(Φ,Ψ)
Φrand
Frequency of exact reconstruction with Ψ[I,DCT] for M = 30, N = 200 and L = 400.OMP is used for dashed lines.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 18
Ulm University Institute of Communications Engineering
Numerical Evaluation A NACHRICHTENTECHNIK
Evaluation of Effectiveness
1 2 3 4 5 6 7 8 9
0.6
0.8
1
Sparsity
Fre
qu
ency
of
exa
ctre
con
stru
ctio
n Φµ(A)
Φµ(Φ,Ψ)
Φrand
Φµ(A)
Φµ(Φ,Ψ)
Φrand
Frequency of exact reconstruction with Ψ[I,DCT] for M = 30, N = 200 and L = 400.OMP is used for dashed lines, BP for solid lines.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 18
Ulm University Institute of Communications Engineering
Outline A NACHRICHTENTECHNIK
1 Introduction
2 Best Antipodal Spherical Codes for Coherence Optimization
3 Numerical Evaluation
4 Conclusion
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 19
Ulm University Institute of Communications Engineering
Conclusion A NACHRICHTENTECHNIK
Contribution
Proposed a method to optimize µ(Φ,Ψ) using BASC
Compared the effectiveness of optimization strategies
Numerical Evaluation
Both optimization criteria lead to improved results.
Algorithms relying on µ(A) favor the optimization of µ(A).
Optimization of µ(Φ,Ψ) may be considered elsewise.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 20
Ulm University Institute of Communications Engineering
Conclusion A NACHRICHTENTECHNIK
Contribution
Proposed a method to optimize µ(Φ,Ψ) using BASC
Compared the effectiveness of optimization strategies
Numerical Evaluation
Both optimization criteria lead to improved results.
Algorithms relying on µ(A) favor the optimization of µ(A).
Optimization of µ(Φ,Ψ) may be considered elsewise.
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 20
Ulm University Institute of Communications Engineering
End of Presentation A NACHRICHTENTECHNIK
Thank you for your attention.
THE END
Do you have any additional questions?
Henning Zorlein, Faisal Akram, Martin Bossert Dict. Adapt. in SR Based on Different Types of Coherence 21