v2010.10.26 - Convex Optimization
v2010.10.26 - Convex Optimization v2010.10.26 - Convex Optimization
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.
- Page 711 and 712: E.3. SYMMETRIC IDEMPOTENT MATRICES
- Page 713 and 714: E.3. SYMMETRIC IDEMPOTENT MATRICES
- Page 715 and 716: E.4. ALGEBRA OF PROJECTION ON AFFIN
- Page 717 and 718: E.5. PROJECTION EXAMPLES 717a ∗ 2
- Page 719 and 720: E.5. PROJECTION EXAMPLES 719where Y
- Page 721 and 722: E.5. PROJECTION EXAMPLES 721(B.4.2)
- Page 723 and 724: E.6. VECTORIZATION INTERPRETATION,
- Page 725 and 726: E.6. VECTORIZATION INTERPRETATION,
- Page 727 and 728: E.6. VECTORIZATION INTERPRETATION,
- Page 729 and 730: E.7. PROJECTION ON MATRIX SUBSPACES
- Page 731 and 732: E.7. PROJECTION ON MATRIX SUBSPACES
- Page 733 and 734: E.8. RANGE/ROWSPACE INTERPRETATION
- Page 735 and 736: E.9. PROJECTION ON CONVEX SET 735As
- Page 737 and 738: E.9. PROJECTION ON CONVEX SET 737Wi
- Page 739 and 740: E.9. PROJECTION ON CONVEX SET 739R(
- Page 741 and 742: E.9. PROJECTION ON CONVEX SET 741E.
- Page 743 and 744: E.9. PROJECTION ON CONVEX SET 743E.
- Page 745 and 746: E.9. PROJECTION ON CONVEX SET 745Un
- Page 747 and 748: E.9. PROJECTION ON CONVEX SET 747ac
- Page 749 and 750: E.10. ALTERNATING PROJECTION 749bC
- Page 751 and 752: E.10. ALTERNATING PROJECTION 7510
- Page 753 and 754: E.10. ALTERNATING PROJECTION 753E.1
- Page 755 and 756: E.10. ALTERNATING PROJECTION 755y 2
- Page 757 and 758: E.10. ALTERNATING PROJECTION 757Def
- Page 759 and 760: E.10. ALTERNATING PROJECTION 759Dis
- Page 761: E.10. ALTERNATING PROJECTION 761mat
- Page 765 and 766: E.10. ALTERNATING PROJECTION 765E.1
- Page 767 and 768: E.10. ALTERNATING PROJECTION 767E.1
- Page 769 and 770: Appendix FNotation and a few defini
- Page 771 and 772: 771A ij or A(i, j) , ij th entry of
- Page 773 and 774: 773⊞orthogonal vector sum of sets
- Page 775 and 776: 775x +vector x whose negative entri
- Page 777 and 778: 777X point list ((76) having cardin
- Page 779 and 780: 779SDPSVDSNRdBEDMS n 1S n hS n⊥hS
- Page 781 and 782: 781vectorentrycubixquartixfeasible
- Page 783 and 784: 783Oorder of magnitude information
- Page 785 and 786: 785cofmatrix of cofactors correspon
- Page 787 and 788: Bibliography[1] Edwin A. Abbott. Fl
- Page 789 and 790: BIBLIOGRAPHY 789[23] Dror Baron, Mi
- Page 791 and 792: BIBLIOGRAPHY 791[49] Leonard M. Blu
- Page 793 and 794: BIBLIOGRAPHY 793[74] Yves Chabrilla
- Page 795 and 796: BIBLIOGRAPHY 795[102] Etienne de Kl
- Page 797 and 798: BIBLIOGRAPHY 797[129] Carl Eckart a
- Page 799 and 800: BIBLIOGRAPHY 799[154] James Gleik.
- Page 801 and 802: BIBLIOGRAPHY 801[182] Johan Håstad
- Page 803 and 804: BIBLIOGRAPHY 803[212] Viren Jain an
- Page 805 and 806: BIBLIOGRAPHY 805[237] Monique Laure
- Page 807 and 808: BIBLIOGRAPHY 807[265] Sunderarajan
- Page 809 and 810: BIBLIOGRAPHY 809Notes in Computer S
- Page 811 and 812: BIBLIOGRAPHY 811[319] Anthony Man-C
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.