Retractions by Alternating Projections

Alternating projections and their variants are classical tools for computing points in intersections of sets. Existing analyses for smooth manifolds mainly focus on local convergence rates under transversality or related regularity conditions. In this work, we develop a unified framework for a broad class of (possibly inexact) alternating-projection-type methods on intersections of smooth manifolds. Specifically, under the assumption that two $C^{2,1}$ embedded submanifolds $\mathcal{M}_1, \mathcal{M}_2 \subset \mathbb{R}^n$ intersect cleanly, we show that the associated alternating mapping admits a well-defined local limiting map $\psi$ on the intersection manifold $\mathcal{M}=\mathcal{M}_1\cap \mathcal{M}_2$, and that $\psi$ is a retraction on $\mathcal{M}$. If, in addition, $\mathcal{M}_1$ and $\mathcal{M}_2$ are $C^{3,1}$, then $\psi$ is a second-order retraction. Furthermore, the standard NewtonSLRA scheme, which exhibits quadratic local behavior under transversality, can be understood as inducing a second-order retraction on $\M$. This framework thus provides new retraction-based optimization tools for problems constrained to the intersection manifold.