On Local Convergence of the Method of Alternating Projections

The method of alternating projections is a classical tool to solve feasibility problems. Here we prove local convergence of alternating projections between subanalytic sets A, B under a mild regularity hypothesis on one of the sets. We show that the speed of convergence is O(k−ρ) for some ρ ∈ (0, ∞). Key words. Alternating projections · local convergence · subanalytic set · sets intersecting separably · sets intersecting tangentially · constraint qualification · Hölder regularity AMS Classification. Primary: 65K10. Secondary: 90C30, 32B20, 47H04, 49J52

• Type: Journal
• Year: 2016
• Where: FOCM
• Authors: Dominikus Noll, Aude Rondepierre
• Keywords: Automated Reasoning, FOCM 2016