1: \begin{abstract}

2: 

3: We develop a framework for quantitative convergence analysis of Picard iterations of expansive

4: set-valued fixed point mappings.   There are two key components of the analysis.  The first is a natural 

5: generalization of single-valued averaged mappings to expansive, set-valued mappings that 

6: characterizes a type of strong calmness of the fixed point mapping.  The second component 

7: to this analysis is an extension of the well-established notion of 

8: metric subregularity -- or inverse calmness -- of the mapping at fixed points.  Convergence

9: of expansive fixed point iterations is proved using these two properties, and quantitative 

10: estimates are a natural byproduct of the framework.    

11: To demonstrate the application of the theory, we prove for the first time a number

12: of results showing local linear convergence of nonconvex cyclic projections for inconsistent (and consistent) 

13: feasibility problems, local linear convergence of the forward-backward algorithm for 

14: structured optimization without convexity, strong or otherwise, and local linear 

15: convergence of the Douglas--Rachford algorithm for structured nonconvex minimization.   

16: This theory includes earlier approaches for known results, convex and nonconvex, as 

17: special cases.

18: \end{abstract}

19: