v2010.10.26 - Convex Optimization

v2010.10.26 - Convex Optimization v2010.10.26 - Convex Optimization

convexoptimization.com
from convexoptimization.com More from this publisher
12.07.2015 Views

762 APPENDIX E. PROJECTIONbH 1x 22x 21H 2x 12H 1 ∩ H 2x 11Figure 173: H 1 and H 2 are the same halfspaces as in Figure 168.Dykstra’s alternating projection algorithm generates the alternationsb, x 21 , x 11 , x 22 , x 12 , x 12 ... x 12 . The path illustrated from b to x 12 in R 2terminates at the desired result, Pb in Figure 168. The {y ki } correspondto the first two difference vectors drawn (in the first iteration i=1), thenoscillate between zero and a negative vector thereafter. These alternationsare not so robust in presence of noise as for the example in Figure 167.Denoting by P k t the unique minimum-distance projection of t on C k , andfor convenience x L+1,i = x 1,i−1 (2070), iterate x 1i calculation proceeds: E.22for i=1, 2,...until convergence {for k=L... 1 {t = x k+1,i − y k,i−1x ki = P k ty ki = P k t − t}}(2086)E.22 We reverse order of projection (k=L...1) in the algorithm for continuity of exposition.

E.10. ALTERNATING PROJECTION 763K ⊥ H 1 ∩ H 2(0)K ⊥ H 1 ∩ H 2(Pb) + PbH 10H 2K H 1 ∩ H 2PbbFigure 174: Two examples (truncated): Normal cone to H 1 ∩ H 2 at theorigin, and at point Pb on the boundary. H 1 and H 2 are the same halfspacesfrom Figure 173. The normal cone at the origin K ⊥ H 1 ∩ H 2(0) is simply −K ∗ .Assuming a nonempty intersection, then the iterates converge to the uniqueminimum-distance projection of point b on that intersection; [109,9.24]Pb = limi→∞x 1i (2087)In the case that all C k are affine, then calculation of y ki is superfluousand the algorithm becomes identical to alternating projection. [109,9.26][148,1] Dykstra’s algorithm is so simple, elegant, and represents such a tinyincrement in computational intensity over alternating projection, it is nearlyalways arguably cost effective.E.10.3.2Normal coneGlunt [155,4] observes that the overall effect of Dykstra’s iterativeprocedure is to drive t toward the translated normal cone to ⋂ C k atthe solution Pb (translated to Pb). The normal cone gets its namefrom its graphical construction; which is, loosely speaking, to draw theoutward-normals at Pb (Definition E.9.1.0.1) to all the convex sets C ktouching Pb . Relative interior of the normal cone subtends these normalvectors.

E.10. ALTERNATING PROJECTION 763K ⊥ H 1 ∩ H 2(0)K ⊥ H 1 ∩ H 2(Pb) + PbH 10H 2K H 1 ∩ H 2PbbFigure 174: Two examples (truncated): Normal cone to H 1 ∩ H 2 at theorigin, and at point Pb on the boundary. H 1 and H 2 are the same halfspacesfrom Figure 173. The normal cone at the origin K ⊥ H 1 ∩ H 2(0) is simply −K ∗ .Assuming a nonempty intersection, then the iterates converge to the uniqueminimum-distance projection of point b on that intersection; [109,9.24]Pb = limi→∞x 1i (2087)In the case that all C k are affine, then calculation of y ki is superfluousand the algorithm becomes identical to alternating projection. [109,9.26][148,1] Dykstra’s algorithm is so simple, elegant, and represents such a tinyincrement in computational intensity over alternating projection, it is nearlyalways arguably cost effective.E.10.3.2Normal coneGlunt [155,4] observes that the overall effect of Dykstra’s iterativeprocedure is to drive t toward the translated normal cone to ⋂ C k atthe solution Pb (translated to Pb). The normal cone gets its namefrom its graphical construction; which is, loosely speaking, to draw theoutward-normals at Pb (Definition E.9.1.0.1) to all the convex sets C ktouching Pb . Relative interior of the normal cone subtends these normalvectors.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!