Absolutely! Here’s a **step-by-step, detailed derivation** of the **LSZ Reduction Formula** for **real scalar fields**, **complex scalar fields**, and **Dirac (spinor) fields**. This is a fundamental result in **Quantum Field Theory (QFT)** that relates the S-matrix elements (scattering amplitudes) to time-ordered correlation functions (Green's functions). --- ## 1. **LSZ for a Real Scalar Field** ### **Step 1: The Setup** - Let’s consider a real scalar field \(\phi(x)\) with mass \(m\). - The goal: express the S-matrix element (scattering amplitude) in terms of time-ordered products. ### **Step 2: Asymptotic Fields** - At \(t\to \pm \infty\), the interacting field \(\phi(x)\) behaves like a free field: \[ \phi(x) \rightarrow \phi_{in}(x) \quad (t\to -\infty), \qquad \phi(x) \rightarrow \phi_{out}(x) \quad (t\to +\infty) \] - The creation/annihilation operators for free fields: \[ \phi(x) = \int \frac{d^3p}{(2\pi)^3 2E_p} \left[ a(\vec{p}) e^{-ip\cdot x} + a^\dagger(\vec{p}) e^{ip\cdot x} \right] \] where \(E_p = \sqrt{\vec{p}^2 + m^2}\). ### **Step 3: S-matrix Elements** - We want to compute: \[ \langle p_1', \ldots, p_m' | S | p_1, \ldots, p_n \rangle \] - These are overlap amplitudes between **in** and **out** states. ### **Step 4: Reduction Formula Idea** - The LSZ formula relates S-matrix elements to time-ordered products by "amputating" external legs. ### **Step 5: Field-Operator Relation** - Creation/annihilation operators can be written as: \[ a_{in}(\vec{p}) = \lim_{t\to -\infty} i \int d^3x\, e^{ip\cdot x} \overleftrightarrow{\partial_0} \phi(x) \] (where \(\overleftrightarrow{\partial_0} = \partial_0 - \overleftarrow{\partial_0}\)), and similarly for \(a^\dagger\). ### **Step 6: The LSZ Formula** - For \(n\) incoming and \(m\) outgoing particles: \[ \langle p_1', ..., p_m' | S | p_1, ..., p_n \rangle = \left[ \prod_{i=1}^{m} \int d^4x_i' \, e^{ip_i' x_i'} (i\Box_{x_i'} + m^2) \right] \left[ \prod_{j=1}^{n} \int d^4x_j \, e^{-ip_j x_j} (i\Box_{x_j} + m^2) \right] \langle 0 | T\{\phi(x_1')... \phi(x_m') \phi(x_1)...\phi(x_n)\} | 0 \rangle \] where \(\Box_x = \partial^\mu \partial_\mu\). #### **Explanation:** - The \((i\Box + m^2)\) operators are "amputating" the external propagators. - The integrals Fourier transform from position to momentum space. - The time-ordered product is the n-point Green's function. --- ## 2. **LSZ for a Complex Scalar Field** - For a complex scalar field \(\phi(x)\), with particles and antiparticles, the formula is similar, but you distinguish between \(\phi\) and \(\phi^\dagger\): \[ \langle p_1', ..., p_m' | S | q_1, ..., q_n \rangle = \left[ \prod_{i=1}^{m} \int d^4x_i' \, e^{ip_i' x_i'} (i\Box_{x_i'} + m^2) \right] \left[ \prod_{j=1}^{n} \int d^4y_j \, e^{-iq_j y_j} (i\Box_{y_j} + m^2) \right] \langle 0 | T\{\phi(x_1')... \phi(x_m') \phi^\dagger(y_1)...\phi^\dagger(y_n)\} | 0 \rangle \] - Incoming particles: \(\phi^\dagger\) - Outgoing particles: \(\phi\) --- ## 3. **LSZ for Dirac (Spinor) Fields** - For spin-1/2 fields \(\psi(x)\): ### **Step 1: Notation** - Outgoing fermion: \(\bar{u}(p)\), incoming fermion: \(u(p)\) - Outgoing antifermion: \(\bar{v}(p)\), incoming antifermion: \(v(p)\) ### **Step 2: Formula** \[ \begin{aligned} &\langle p_1', ..., p_m'; k_1', ..., k_{m'}'| S | p_1, ..., p_n; k_1, ..., k_{n'} \rangle = \\ &\left[ \prod_{i=1}^{m} \int d^4x_i' \, e^{ip_i' x_i'} \bar{u}(p_i') (i \slashed{\partial}_{x_i'} - m) \right] \left[ \prod_{j=1}^{n} \int d^4y_j \, e^{-ip_j y_j} (i \slashed{\partial}_{y_j} - m) u(p_j) \right] \\ &\times \langle 0 | T \left\{ \psi(x_1') \cdots \psi(x_m') \bar{\psi}(y_1) \cdots \bar{\psi}(y_n) \right\} | 0 \rangle \end{aligned} \] - For outgoing antifermions and incoming antifermions, use \(v\) spinors and \(\bar{\psi}\) fields accordingly. --- ### **Summary Table** | Field Type | LSZ Formula (for 1 incoming, 1 outgoing) | |--------------------|------------------------------------------| | Real Scalar | \(\int d^4x\, e^{ipx}(i\Box_x + m^2) \langle 0 | T\{\phi(x)\phi(y)\} | 0 \rangle\) | | Complex Scalar | \(\int d^4x\, e^{ipx}(i\Box_x + m^2) \langle 0 | T\{\phi(x)\phi^\dagger(y)\} | 0 \rangle\) | | Dirac Spinor | \(\int d^4x\, e^{ipx} \bar{u}(p)(i\slashed{\partial}_x - m) \langle 0 | T\{\psi(x)\bar{\psi}(y)\} | 0 \rangle\) | --- ### **Physical Meaning** - The LSZ formula tells us how to calculate physical scattering amplitudes from correlation functions computed in QFT. - It essentially "cuts off" the external propagators, leaving only the interaction part. --- ## **References for Further Study** - Peskin & Schroeder, *An Introduction to Quantum Field Theory*, Chapter 7. - Schwartz, *Quantum Field Theory and the Standard Model*, Section 6.3. - Srednicki, *Quantum Field Theory*, Section 5.3. --- **If you have any specific step you want more detail on, or a particular process (e.g., 2-to-2 scattering), let me know!**