1: \begin{abstract}

2: In this work, we consider a time-fractional Allen-Cahn equation, where the conventional first order time derivative is replaced by a Caputo fractional derivative

3: with order $\alpha\in(0,1)$.

4: First, the well-posedness and (limited) smoothing property are systematically analyzed, by using the maximal $L^p$ regularity of fractional evolution equations

5: and the fractional Gr\"onwall's inequality. We  also show the maximum principle like their conventional local-in-time counterpart. Precisely, the time-fractional equation preserves the

6: property that the solution only takes value  between the wells of the double-well potential when the initial

7: data does the same.

8: Second, after discretizing the fractional derivative by backward Euler convolution quadrature,

9: we develop several unconditionally solvable and stable time stepping schemes, i.e., convex splitting scheme, weighted convex splitting scheme and linear weighted stabilized scheme.

10: Meanwhile, we study the discrete energy dissipation property (in a weighted average sense), which is important for gradient flow type models, for the two weighted schemes.

11: Finally, by using a discrete version of fractional Gr\"onwall's inequality

12: and maximal $\ell^p$ regularity, we prove that the convergence rates of those time-stepping schemes are $O(\tau^\alpha)$ without any extra regularity assumption on the solution.

13: We also present extensive numerical results to support our theoretical findings and to offer new

14: insight on the time-fractional Allen-Cahn dynamics.

15: \end{abstract}

16: