Form Factors and Local Operator Insertions

A scattering form factor is a matrix element of one declared local operator between stable asymptotic states. LSZ amputates and residue-normalizes only the external particle legs of a correlator containing that insertion; the operator itself remains inserted. Translation symmetry assigns a momentum transfer to the insertion rather than forcing the ordinary S-matrix condition $P_f=P_i$, and Lorentz symmetry, discrete symmetries, and Ward identities organize the remaining tensor structures.

Required background. LSZ Reduction supplies external-leg reduction. Operators, Observables, and Matrix Elements fixes the state–operator distinction. Local and Composite Operator Insertions explains source insertions before an interacting renormalized definition is chosen.

Helpful background. LSZ for Spinor and Vector External States supplies spinning external factors. Relativistic Scattering Kinematics supplies momentum-transfer variables. Mandelstam Channels and Tree-Level Crossing and Free-Field OPE Preview clarify two nearby but distinct uses of operator data.

What a form factor is

For one local operator $\mathcal O(0)$, define the connected matrix element

$$F_{\mathcal O;fi} \equiv \langle f,\mathrm{out}|\mathcal O(0)|i,\mathrm{in}\rangle_c.$$

Translation covariance gives

$$\langle f|\mathcal O(x)|i\rangle_c =e^{i(P_f-P_i)\cdot x}F_{\mathcal O;fi}.$$

Set $q=P_f-P_i$. A fixed insertion at $x=0$ can transfer this momentum and therefore carries no $\delta^{(4)}(P_f-P_i)$. Using an injection-momentum convention, define

$$\mathcal O[q] \equiv\int\mathrm d^4x\,e^{-iq\cdot x}\mathcal O(x),$$

so $\mathcal O[q]=\widetilde{\mathcal O}(-q)$ under the site’s global $e^{+ip\cdot x}$ Fourier convention. Then

$$\langle f|\mathcal O[q]|i\rangle_c =(2\pi)^4\delta^{(4)}(P_f-P_i-q)F_{\mathcal O;fi}.$$

An ordinary S-matrix amplitude differs in two ways: its interaction is integrated over spacetime with no externally prescribed injected momentum, and its connected matrix element carries $\delta^{(4)}(P_f-P_i)$. A vacuum-to-many-particle quantity $\langle p_1\cdots p_n,\mathrm{out}|\mathcal O(0)|\Omega\rangle$ is also called a form factor; it is a special state choice, not the definition of every form factor.

LSZ with one insertion

For scalar external particles, start from

$$G_{\mathcal O} =\langle\Omega|\mathrm T\{ \phi(x_1)\cdots\phi(x_m) \mathcal O(0) \phi(y_1)\cdots\phi(y_n) \}|\Omega\rangle_c.$$

Apply to every $x_a$ and $y_b$ the same Fourier phase, Klein–Gordon operator, and $Z^{-1/2}$ factor as in ordinary LSZ. Do not apply $(\Box+m^2)$ to $\mathcal O(0)$. The result is

$$F_{\mathcal O;fi} =\lim_{\substack{p_\ell^2\to m_\ell^2\\ p_\ell^0>0\;\text{for every external }\ell}} \left\{ \left[ \prod_{\ell\in\text{external legs}} \frac{p_\ell^2-m_\ell^2}{i\sqrt{Z_\ell}} \right] \widetilde G_{\mathcal O,c} \right\},$$

where the compact notation means the simultaneous on-shell residue limit with the appropriate incoming and outgoing phases. Schwartz emphasizes that any interpolating operator with a one-particle overlap can be used in reduction Schwartz 2014, § 6.1.2, pp. 73–74. Here $\mathcal O$ plays a different role: it is the retained observable insertion, while the surrounding fields interpolate the external particles.

Connectedness needs care. Subtract a vacuum expectation $\langle\Omega|\mathcal O|\Omega\rangle$ when it factors from the external overlap, and separate spectator delta functions from the genuinely connected insertion matrix element. The exact subtraction depends on the states and operator quantum numbers.

The LSZ pipeline therefore ends differently for a form factor. Inspect the figure’s final note: external poles are removed, but the local insertion remains as the source of momentum and tensor structure.

LSZ with one local insertion uses the same stable-state, wave-packet, pole, and residue assumptions as ordinary scattering. Scalar, spinor, or vector external legs are amputated and contracted with physical wave functions; $\mathcal O(0)$ is retained and may inject $q=P_f-P_i$. Resonances, infraparticles, and confined fields remain invalid ordinary external legs. Schematic and not to scale.

Spin-zero current form factor

Let $J^\mu$ be a conserved Hermitian current and let the external particle be a stable spin-zero state of mass $m$. Lorentz covariance permits

$$\langle p'|J^\mu(0)|p\rangle =(p'+p)^\mu F(q^2)+q^\mu G(q^2), \qquad q=p'-p.$$

Current conservation gives

$$0=q_\mu\langle p'|J^\mu|p\rangle =(p'^2-p^2)F(q^2)+q^2G(q^2).$$

For equal on-shell masses and generic $q^2$, $G(q^2)=0$. If the matrix element has no longitudinal massless pole at $q^2=0$, continuity extends the same one-form-factor decomposition to zero transfer:

$$\boxed{ \langle p'|J^\mu(0)|p\rangle =(p'+p)^\mu F(q^2). }$$

With the charge operator normalized by $Q=\int\mathrm d^3\mathbf x\,J^0$, a particle of charge $Q_p$ satisfies $F(0)=Q_p$. This is an invariant normalization check, not a perturbative approximation. Weinberg derives the scalar decomposition, conservation constraint, and zero-transfer normalization in Weinberg 1995, § 10.6, pp. 452–454.

Spin-one-half current form factors

For equal-mass stable spin-one-half states and a conserved parity-even vector current,

$$\boxed{ \langle p',s'|J^\mu(0)|p,s\rangle =\bar u_{s'}(p') \left[ \gamma^\mu F_1(q^2) +\frac{i\sigma^{\mu\nu}q_\nu}{2m}F_2(q^2) \right]u_s(p), }$$

where

$$\sigma^{\mu\nu}=\frac{i}{2}[\gamma^\mu,\gamma^\nu].$$

The on-shell Dirac equations and antisymmetry of $\sigma^{\mu\nu}$ ensure current conservation. In the standard electromagnetic normalization, $F_1(0)=Q_p$, while $F_2(0)$ is the Pauli form factor and supplies the anomalous magnetic coupling. If one factors an elementary charge $e$ from the current, the static magnetic moment is $e[F_1(0)+F_2(0)]/(2m)$; this statement also allows a neutral particle to have a nonzero Pauli moment. Different communities use spacelike $Q^2=-q^2\ge0$ instead of $q^2$; translating the argument must not change $F_1(0)$ or a measured cross section. The decomposition and its normalization are derived in Weinberg 1995, § 10.6, pp. 454–457.

Operator renormalization is separate from external-leg reduction

LSZ factors remove external propagation and field-overlap residues. They do not make a composite insertion finite. In an interacting theory, a set of operators with the same quantum numbers can mix,

$$\mathcal O_i^{\mathrm R}(\mu) =Z_{ij}(\mu)\mathcal O_j^{\mathrm{bare}},$$

possibly with equation-of-motion, total-derivative, or lower-dimensional terms allowed by the regulator and symmetries. The form factor inherits the chosen renormalization scheme, scale, and operator basis. Renormalized Composite-Operator Insertions develops that construction, mixing, and scale evolution.

This separation supplies a useful check: changing the normalization of an external interpolating field cancels against its LSZ $Z^{-1/2}$ and leaves the form factor invariant. Changing the renormalized operator basis transforms the components of the form-factor vector and is not supposed to cancel.

If $\mathcal O_i^{\mathrm R}\to R_{ij}\mathcal O_j^{\mathrm R}$ is a finite change of operator basis, then the form factors transform covariantly,

$$F_i^{\mathrm R}(q^2)\to R_{ij}F_j^{\mathrm R}(q^2).$$

Only a contraction with coefficients transforming inversely is basis independent. By contrast, a conserved current with exactly normalized charge may be protected from multiplicative renormalization; that is a Ward-identity statement about the declared current, not a generic property of local insertions.

Nearby objects that are not interchangeable

Object	External states	Momentum delta	Where to continue
ordinary S-matrix amplitude	stable in/out particles	$P_f=P_i$	this volume’s amplitude chapters
local-operator form factor	stable in/out particles plus one retained insertion	$P_f=P_i+q$ after Fourier transforming the insertion	this page and model-specific current applications
correlator/OPE data	local operator insertions, not asymptotic particle states	translation constraints among all insertions	From the Local OPE to Conformal Data
exact integrable form-factor bootstrap	exact asymptotic states in special $1+1$-dimensional integrable theories	model-specific axioms and crossing equations	Form-Factor Bootstrap and Correlator Expansions

Crossing can sometimes relate a matrix element between particles to a vacuum-to-many-particle form factor by analytic continuation. That relation is not mere relabeling and is not assumed without its analyticity, phase, and singularity conditions.

Common pitfalls

“The operator insertion is another external particle leg.” It is retained, not amputated. It can carry off-shell momentum and need not correspond to any asymptotic state.

“A fixed insertion conserves the external particle momentum.” Translation covariance allows $q=P_f-P_i$. A delta distribution appears only after Fourier transforming the insertion and states that the insertion supplies $q$.

“LSZ renormalizes a composite operator.” LSZ normalizes external pole residues. Composite-operator renormalization and mixing are separate ultraviolet data.

“Every object called a form factor obeys the same bootstrap axioms.” Perturbative current matrix elements, hadronic form factors, and exact integrable form factors share vocabulary but have different assumptions and definitions.

Check your understanding

1. Show directly that the scalar current form factor is conserved on shell.

   Answer

   Contract with $q=p'-p$: $q\cdot(p'+p)=p'^2-p^2=m^2-m^2=0$. Thus any scalar function $F(q^2)$ multiplying this vector respects current conservation.

2. Why does $\mathcal O(0)$ not produce an overall momentum-conservation delta function?

   Answer

   Fixing the insertion at one point breaks the spacetime integration that would generate a delta distribution. Translation covariance records the mismatch as the phase $e^{i(P_f-P_i)\cdot x}$. Fourier integrating $x$ restores a delta function with the insertion momentum included.

3. In a free complex-scalar theory with current $J^\mu=i\phi^*\overleftrightarrow{\partial^\mu}\phi$, what is the one-particle form factor in the unit-charge convention?

   Answer

   Direct contraction of the bilinear with normalized one-particle states gives

   $$\langle p'|J^\mu(0)|p\rangle=(p'+p)^\mu.$$

   Thus $F(q^2)=1$ at tree level, in particular $F(0)=1$. The result checks the derivative sign, external-state normalization, and charge normalization simultaneously.

Continue

Use Renormalized Composite-Operator Insertions when scale dependence or mixing matters. Use Mandelstam Channels and Tree-Level Crossing for analytic crossing, Form-Factor Bootstrap and Correlator Expansions for exact integrable theories, and the relevant application volume for a model-specific current.

References

• Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014. DOI.
• Weinberg, Steven. The Quantum Theory of Fields. Volume I: Foundations. Cambridge: Cambridge University Press, 1995. DOI.