l1 Slides
l1 Slides
Convex-Cardinality Problems
• new theoretical results guarantee the method works, at least for a few
problems
holds for x, y 0
• but otherwise has no convexity properties
• arises in many problems
• Boolean LP:
minimize cT x
subject to Ax b, xi ∈ {0, 1}
includes many famous (hard) problems, e.g., 3-SAT, traveling salesman
• can be expressed as
minimize cT x
subject to Ax b, card(x) + card(1 − x) ≤ n
• examples:
– FIR filter design (zero coefficients reduce required hardware)
– antenna array beamforming (zero coefficients correspond to unneeded
antenna elements)
– truss design (zero coefficients correspond to bars that are not needed)
– wire sizing (zero coefficients correspond to wires that are not needed)
minimize card(t)
subject to fi(x) ≤ ti, i = 1, . . . , m
x ∈ C, t ≥ 0
minimize card(t)
subject to yi(wT xi + v) + ti ≥ 1, i = 1, . . . , m
minimize card(λ)
subject to g(λ) ≥ 1, λ0
minimize xT Σx
subject to µT x ≥ Rmin, x 0
1T x + β card(x) + αT x ≤ B
• as convex-cardinality problem:
• as convex-cardinality problem:
where
−1 2 −1
2
−1 2 −1
∇ =
... ... ...
−1 2 −1
minimize card(x)
subject to x ∈ C
(C convex)
minimize kxk1
subject to x ∈ C
or ℓ1-regularized problem
minimize f (x) + γkxk1
subject to x ∈ C
• start with
minimize card(x)
subject to x ∈ C, kxk∞ ≤ R
minimize 1T z
subject to |xi| ≤ Rzi, i = 1, . . . , n
x ∈ C, zi ∈ {0, 1}, i = 1, . . . , n
with variables x, z
minimize 1T z
subject to |xi| ≤ Rzi, i = 1, . . . , n
x∈C
0 ≤ zi ≤ 1, i = 1, . . . , n
which is equivalent to
minimize (1/R)kxk1
subject to x ∈ C
kxk∞ ≤ R
the ℓ1 heuristic
• heuristic:
– minimize kAx − bk2 + γkxk1
– find smallest value of γ that gives card(x) ≤ k
– fix associated sparsity pattern (i.e., subset of selected regressors) and
find x that minimizes kAx − bk2
10
8
card(x)
0
0 1 2 3 4
kAx − bk2
EE364b, Stanford University 25
Sparse signal reconstruction
• convex-cardinality problem:
• ℓ1 heuristic:
minimize kAx − yk2
subject to kxk1 ≤ β
(called LASSO)
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
−0.2 −0.2
−0.4 −0.4
−0.6 −0.6
−0.8 −0.8
−1 −1
100 200 300 400 500 600 700 800 900 1000 100 200 300 400 500 600 700 800 900 1000
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
−0.2 −0.2
−0.4 −0.4
−0.6 −0.6
−0.8 −0.8
−1 −1
100 200 300 400 500 600 700 800 900 1000 100 200 300 400 500 600 700 800 900 1000