1: \begin{abstract}

2: In the first part of this paper, we consider nonlinear extension of frame theory

3: by introducing bi-Lipschitz maps $F$ between Banach spaces.

4: Our linear model of bi-Lipschitz maps  is the analysis operator

5: associated with Hilbert frames, $p$-frames, Banach frames, g-frames and fusion

6: frames. In general Banach space setting, stable algorithm to reconstruct

7: a signal $x$ from its noisy measurement $F(x)+\epsilon$

8:  may not exist.  % even  for linear bi-Lipschitz maps.

9: In this paper, we establish exponential convergence of two iterative reconstruction algorithms

10: when $F$ is not too far from some bounded below linear operator with bounded pseudo-inverse, and

11: when $F$ is a well-localized map between two Banach spaces with dense Hilbert subspaces.

12: The crucial step to prove the later conclusion is a novel fixed point theorem   for a

13: well-localized map on a Banach space.

14: 

15: In the second part of this paper, we consider

16:  stable reconstruction of sparse signals

17: in a union ${\bf A}$ of closed linear subspaces of a Hilbert space ${\bf H}$ from their nonlinear measurements.

18: We create an optimization framework called  sparse

19: approximation triple $({\bf A}, {\bf M}, {\bf H})$, and show that

20: the minimizer

21: $$x^*={\rm argmin}_{\hat x\in {\mathbf M}\ {\rm with} \  \|F(\hat x)-F(x^0)\|\le \epsilon} \|\hat x\|_{\mathbf M}$$

22:  provides a suboptimal approximation to the original sparse signal $x^0\in {\bf A}$

23: when the  measurement map $F$

24:  has the

25:   sparse Riesz property

26:   and  almost linear property on ${\mathbf A}$.

27: The above two  new properties is  also discussed in this paper when $F$ is not far away

28: from a linear measurement operator $T$ having the restricted isometry property.

29: \end{abstract}

30: