EE364b Homework 5: Distributed Lasso Problem and Nonexpansive Operators, Exercises of Convex Optimization

Instructions for solving the distributed lasso problem using primal and dual decomposition methods, as well as generating numerical data for the problem. It also discusses the use of nonexpansive operators and their relation to the diode relation. Students will learn how to implement these methods using cvx and plot the convergence of the algorithms.

Typology: Exercises

2011/2012

Uploaded on 07/15/2012

saeeda
saeeda 🇮🇳

4

(4)

49 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
EE364b Prof. S. Boyd
EE364b Homework 5
1. Distributed lasso. Consider the 1-regularized least-squares (‘lasso’) problem
minimize f(z) = (1/2)
"A10B1
0A2B2#
x1
x2
y
"c1
c2#
2
2
+λ
x1
x2
y
1
,
with optimization variable z= (x1, x2, y)Rn1×Rn2×Rp. We can think of xias the
local variable for system i, for i= 1,2; yis the common or coupling variable.
(a) Primal decomposition. Explain how to solve this problem using primal decompo-
sition, using (say) the subgradient method for the master problem.
(b) Dual decomposition. Explain how to solve this problem using dual decomposition,
using (say) the subgradient method for the master problem. Give a condition (on
the problem data) that allows you to guarantee that the primal variables x(k)
i
converge to optimal values.
(c) Numerical example. Generate some numerical data as explained below, and solve
the problem (using CVX) to find the optimal value p. Implement primal and
dual decomposition (as in parts (a) and (b)), using CVX to solve the subproblems,
and the subgradient method for the master problem in both cases. For primal
decomposition, plot the relative suboptimality (f(z(k))p)/pversus iteration.
For dual decomposition, plot the relative consistency residual ky(k)
1y(k)
2k2/kyk2
versus iteration, where yis an optimal value of yfor the problem. In each case,
you needn’t worry about attaining a relative accuracy better than 0.001, which
corresponds to 0.1%.
Generating the data. Generate Ai,Bi, and ciwith entries from a standard Gaus-
sian, with dimensions n1= 100, n2= 200, p= 10, m1= 250, and m2= 300
(these last two are the dimensions of c1and c2). Check that the condition you
gave in part (b) is satisfied. Choose λ= 0.1λmax, where λmax is the value of λ
above which the solution is z= 0. (See homework 2, exercise 3.) To get reason-
able convergence (say, in a few tens of iterations), you may need to play with the
subgradient step size.
You are of course welcome (even, encouraged) to also try your distributed lasso
solver on problem instances other than the one generated above.
2. Cutting plane for nonexpansive operators. Suppose F:RnRnis nonexpansive, and
let xbe any fixed point. For xRn, let z= (1/2)(x+F(x)) (which would be the
next iterate in damped iteration, with θ= 1/2). Show that
(F(x)x)T(xz)0.
1
docsity.com
pf2

Partial preview of the text

Download EE364b Homework 5: Distributed Lasso Problem and Nonexpansive Operators and more Exercises Convex Optimization in PDF only on Docsity!

EE364b Prof. S. Boyd

EE364b Homework 5

  1. Distributed lasso. Consider the ℓ 1 -regularized least-squares (‘lasso’) problem

minimize f (z) = (1/2)

∥∥ ∥∥ ∥∥ ∥

[ A 1 0 B 1 0 A 2 B 2

]  

x 1 x 2 y

  −

[ c 1 c 2

]∥∥∥ ∥∥ ∥∥

2

2

  • λ

∥∥ ∥∥ ∥∥ ∥

 

x 1 x 2 y

 

∥∥ ∥∥ ∥∥ ∥ 1

with optimization variable z = (x 1 , x 2 , y) ∈ Rn^1 × Rn^2 × Rp. We can think of xi as the local variable for system i, for i = 1, 2; y is the common or coupling variable.

(a) Primal decomposition. Explain how to solve this problem using primal decompo- sition, using (say) the subgradient method for the master problem. (b) Dual decomposition. Explain how to solve this problem using dual decomposition, using (say) the subgradient method for the master problem. Give a condition (on the problem data) that allows you to guarantee that the primal variables x( ik) converge to optimal values. (c) Numerical example. Generate some numerical data as explained below, and solve the problem (using CVX) to find the optimal value p⋆. Implement primal and dual decomposition (as in parts (a) and (b)), using CVX to solve the subproblems, and the subgradient method for the master problem in both cases. For primal decomposition, plot the relative suboptimality (f (z(k)) − p⋆)/p⋆^ versus iteration. For dual decomposition, plot the relative consistency residual ‖y 1 (k )− y( 2 k )‖ 2 /‖y⋆‖ 2 versus iteration, where y⋆^ is an optimal value of y for the problem. In each case, you needn’t worry about attaining a relative accuracy better than 0.001, which corresponds to 0.1%. Generating the data. Generate Ai, Bi, and ci with entries from a standard Gaus- sian, with dimensions n 1 = 100, n 2 = 200, p = 10, m 1 = 250, and m 2 = 300 (these last two are the dimensions of c 1 and c 2 ). Check that the condition you gave in part (b) is satisfied. Choose λ = 0. 1 λmax, where λmax is the value of λ above which the solution is z⋆^ = 0. (See homework 2, exercise 3.) To get reason- able convergence (say, in a few tens of iterations), you may need to play with the subgradient step size. You are of course welcome (even, encouraged) to also try your distributed lasso solver on problem instances other than the one generated above.

  1. Cutting plane for nonexpansive operators. Suppose F : Rn^ → Rn^ is nonexpansive, and let x⋆^ be any fixed point. For x ∈ Rn, let z = (1/2)(x + F (x)) (which would be the next iterate in damped iteration, with θ = 1/2). Show that

(F (x) − x)T^ (x⋆^ − z) ≥ 0.

docsity.com

Draw a picture illustrating this inequality. Thus, by evaluating F (x), we can construct a (deep-cut) cutting plane that separates x from the fixed point set. This means we can find a fixed point of a nonexpansive operator using any localization method, such as the ellipsoid method or the analytic-center cutting-plane method.

  1. Diode relation. The relation D = {(x 1 , x 2 ) | x 1 x 2 = 0, x 1 ≤ 0 , x 2 ≥ 0 } is called the diode relation, since it is the V-I characteristic of an ideal diode. Show that D is monotone, and find its resolvent (with λ > 0) and Cayley operator. Plot the relation D, its resolvent R, and its Cayley operator C.

docsity.com