If a particle has a complex mass, $p^2-m^2=0$ leads to $p^μ \notin \mathbb R^4$. What does it mean?
When you want to calculate S-matrix elements of decay process $\langle p_f,\ldots\mid p_i\rangle$, you compute the $n$-point correlation function $$\langle 0\mid Tφ(x_1)φ(x_2)\ldots\mid 0\rangle$$ and using the LSZ formula. Fourier transformation of the correlation function has the poles at $p_j^2=m_j^2$ ,because it includes the vacuum polarization amplitudes$$ = \frac i {p_j^2-m_j^2+O((p_j^2-m_j^2)^2)}\approx \frac i{p_i^2-m_i^2}$$ on each external legs in diagrams. The LSZ formula says when you multiply $Π_j(p_j^2-m_j^2)/i$ and take the limit $p_j^2→m_j^2$, you get S-matrix elements $\langle p_f,\ldots\mid p_i\rangle$. Therefore, you may know that you need to consider only "amputated diagrams" when you calculate S-matrix.
However, beyond the tree level, the vacuum polarization amplitude of unstable particle has the pole at not real but complex value. This means on shell limit $p_i^2→m_i^2$ leads to $p_i^\mu \notin \mathbb R^4$. On the other hand, if you take limit such as $p_i^2\to\operatorname{Re} m_i^2$, you cannot do the approximation "vacuum polarization amplitudes $ \approx \frac i{p_i^2-m_i^2}$", because $p_i^2$ is far from the pole.
After all, my question is how to compute decay rates of unstable particles correctly. Can I calculate S-matrix elements by computing "amputated diagrams" as usually done?
The related problem is noted in Srednicki's textbook on P.162
http://web.physics.ucsb.edu/~mark/qft.html
He said in and out state should consist of infinitely long-lived particles. He thought unstable particles present as intermediate states, and regarded decay late as a quantity related to the width of resonance. (p.165 (25.25))
$$f(E)=\frac{1}{E-E_0+iΓ/2}.$$
Fourier transformation of $f(E)$ gives $g(t)=\exp(iE_0t-Γt/2)$, which seems something expressing decay. I want to know too the precise meaning of this procedure. (At first, I considered the time evolution of $|ψ\rangle = \int dE \, f(E)|E\rangle$ by Schrodinger equation, but $|ψ(t)\rangle\neq g(t)|ψ(0)\rangle$).