Skip to content

Bridge to QFT Capstones

These capstones make the extra input between a wave equation and a field prediction explicit. Each specifies a state, algebra, interaction and observable, then asks for a finite calculation. Use ℏ=c=1\hbar=c=1 and η=(+−−−)\eta=(+---). The models retain prescribed switching or backgrounds and leading-order approximations where stated.

Helpful background. For the detector, use Propagators to Correlators and First-Order Transition Probability. For the pulse, use Pair Creation, Partial Trace and Entanglement Entropy. For the scattering reduction, use Relativistic QM to QED. The three projects may be attempted separately.

Switched detection from a Wightman function

Section titled “Switched detection from a Wightman function”

Capstone 1. In the rest frame of an inertial detector, take a free real scalar field of mass m≥0m\ge0, initially in the Minkowski vacuum. The detector has ground and excited states separated by Ω>0\Omega>0, with d=∣g⟩⟨e∣d=|g\rangle\langle e|. Its prescribed interaction is

HI(t)=λχ(t)(de−iΩt+d†eiΩt)Φf(t),Φf(t)=∫d3x f(x)ϕ(t,x).\begin{aligned} H_I(t)&=\lambda\chi(t) \left(d e^{-i\Omega t}+d^\dagger e^{i\Omega t}\right) \Phi_f(t),\\ \Phi_f(t)&=\int d^3x\,f(\mathbf x)\phi(t,\mathbf x). \end{aligned}

Here λ\lambda is real, the detector transition matrix element is one, and χ,f\chi,f are real smooth rapidly decreasing functions. The spatial smearing makes the specified model well defined; no point-detector ultraviolet limit is assumed. Define

χ~(ω)=∫dt χ(t)eiωt,f~(p)=∫d3x f(x)e−ip⋅x,dΠp=d3p(2π)3 2Ep.\begin{aligned} \widetilde\chi(\omega) &=\int dt\,\chi(t)e^{i\omega t},\\ \widetilde f(\mathbf p) &=\int d^3x\,f(\mathbf x)e^{-i\mathbf p\cdot\mathbf x},\\ d\Pi_p&=\frac{d^3p}{(2\pi)^3\,2E_p}. \end{aligned}

Starting in ∣g⟩⊗∣0⟩|g\rangle\otimes|0\rangle:

  1. Derive the order-λ2\lambda^2 excitation probability by summing first-order amplitudes over covariantly normalized final field modes.
  2. Express the result as a Wightman double integral and explain its frequency sign.
  3. For Gaussian switching and spatial smearing, obtain a one-dimensional integral when m=0m=0 and verify the closed checkpoint below.
  4. Identify the energy source, the perturbative limitation and the difference between a finite switching probability and a stationary rate.
Solution and quantitative checkpoints

The first-order process excites the detector and creates a field quantum. Its coefficient for momentum p\mathbf p is −iλf~(p)χ~(Ω+Ep)-i\lambda\widetilde f(\mathbf p) \widetilde\chi(\Omega+E_p). Consequently

Pexc(2)=λ2∫dΠp ∣f~(p)∣2∣χ~(Ω+Ep)∣2.P_{\rm exc}^{(2)} =\lambda^2\int d\Pi_p\, |\widetilde f(\mathbf p)|^2 |\widetilde\chi(\Omega+E_p)|^2.

The sum Ω+Ep\Omega+E_p records the two positive excitation energies. With Wf(t,t′)=⟨0∣Φf(t)Φf(t′)∣0⟩W_f(t,t')=\langle0|\Phi_f(t)\Phi_f(t')|0\rangle, the equivalent expression is

Pexc(2)=λ2∫dt dt′ χ(t)χ(t′)×e−iΩ(t−t′)Wf(t,t′).P_{\rm exc}^{(2)} =\lambda^2\int dt\,dt'\,\chi(t)\chi(t') \times e^{-i\Omega(t-t')}W_f(t,t').

This is an ordered vacuum correlation used in a transition probability. A time-ordered Feynman function is not interchangeable with it.

Take

χT(t)=e−t2/(2T2),fL(x)=(2πL2)−3/2e−x2/(2L2),\begin{aligned} \chi_T(t)&=e^{-t^2/(2T^2)},\\ f_L(\mathbf x)&= (2\pi L^2)^{-3/2}e^{-\mathbf x^2/(2L^2)}, \end{aligned}

Here L,T>0L,T>0. Their transforms give

Pexc(2)=2πλ2T2∫dΠp e−L2p2−T2(Ω+Ep)2.P_{\rm exc}^{(2)} =2\pi\lambda^2T^2\int d\Pi_p\, e^{-L^2\mathbf p^2-T^2(\Omega+E_p)^2}.

For m=0m=0, put A=L2+T2A=L^2+T^2 and z=T2Ω/Az=T^2\Omega/\sqrt A. Angular integration gives

Pexc(2)λ2=T22πe−T2Ω2∫0∞dp p e−Ap2−2T2Ωp.\frac{P_{\rm exc}^{(2)}}{\lambda^2} =\frac{T^2}{2\pi}e^{-T^2\Omega^2} \int_0^\infty dp\,p\,e^{-Ap^2-2T^2\Omega p}.

Complete the square, or differentiate the elementary Gaussian half-line integral, to obtain

Pexc(2)λ2=T2e−T2Ω24πA B(z),B(z)=1−π z ez2erfc⁡(z).\begin{aligned} \frac{P_{\rm exc}^{(2)}}{\lambda^2} &=\frac{T^2e^{-T^2\Omega^2}}{4\pi A}\,B(z),\\ B(z)&=1-\sqrt\pi\,z\,e^{z^2}\operatorname{erfc}(z). \end{aligned}

At L=T=Ω=1L=T=\Omega=1, Pexc(2)/λ2≈0.00503997619544P_{\rm exc}^{(2)}/\lambda^2 \approx0.00503997619544. Check this against the positive radial integral rather than only re-evaluating the closed formula.

At large zz, computing the two terms of BB separately loses precision. Scaled complementary-error functions avoid exponential overflow but do not by themselves remove this subtraction. Useful checks are

B(z)=2∫0∞du u e−u2−2zu>0,B(z)∼12z2.\begin{aligned} B(z)&=2\int_0^\infty du\,u\,e^{-u^2-2zu}>0,\\ B(z)&\sim\frac1{2z^2}. \end{aligned}

Use positive quadrature or a controlled large-zz expansion in that regime.

The external switching apparatus can supply energy; a vacuum click is not a count of particles that were already present. Smooth adiabatic stretching of this Gaussian switching suppresses a positive-gap vacuum response. An eternally stationary inertial positive-gap excitation rate is zero. Growing only a plateau with fixed switching edges is a different limit and need not erase its edge probability. The switching distinction is discussed by Fewster, Juárez-Aubry and Louko (2016).

Require Pexc(2)≪1P_{\rm exc}^{(2)}\ll1 and control higher perturbative orders before treating this as an accurate probability. Gaussian profiles are not compactly supported: they cannot be inserted into the exact spacelike support argument in Derivation Problems.

Extension. For a homogeneous momentum-diagonal occupation distribution npn_{\mathbf p} with no anomalous pair coherence, show that the vacuum frequency factor becomes

np∣χ~(Ω−Ep)∣2+(np+1)∣χ~(Ω+Ep)∣2.n_{\mathbf p} |\widetilde\chi(\Omega-E_p)|^2 +(n_{\mathbf p}+1) |\widetilde\chi(\Omega+E_p)|^2.

The first term permits absorption. At a discrete-mode resonance a perturbative T2T^2 growth eventually invalidates the small-probability approximation; it is not automatically a finite continuum transition rate.

A coherent pulse and a mixed one-species state

Section titled “A coherent pulse and a mixed one-species state”

Capstone 2. Consider a complex scalar with a spatially uniform, externally prescribed positive mass parameter. For one particle–antiparticle channel, let

ωj=p2+mj2>0(j=0,1).\omega_j=\sqrt{\mathbf p^2+m_j^2}>0 \quad (j=0,1).

The paired operators are apa_{\mathbf p} and b−pb_{-\mathbf p}; their momentum subscripts are suppressed below. The frequency is ω0\omega_0 before t=0t=0, ω1\omega_1 during 0<t<T0<t<T, and ω0\omega_0 after TT. This neutral scalar-parameter pump preserves global U(1) charge. It is not an electric-field pulse. Begin with the incoming vacuum and first treat one channel or a regulated finite set of momenta.

  1. Match a normalized incoming mode and its derivative at both jumps. Find the final occupation and its reversible durations.
  2. Convert the mode coefficients into the operator convention and find the pair-number distribution.
  3. Trace over the antiparticle and compute the particle’s entropy.
  4. Determine whether the continuum mean number and produced energy are ultraviolet finite for an abrupt pulse in 3+13+1 dimensions.
Solution and quantitative checkpoints

Let the incoming numerical mode be qin(t)=e−iω0t/2ω0q_{\rm in}(t)=e^{-i\omega_0t}/\sqrt{2\omega_0} before the first jump. Write the outgoing basis using its local time origin:

qout(t)=e−iω0(t−T)2ω0,t>T.q_{\rm out}(t)= \frac{e^{-i\omega_0(t-T)}}{\sqrt{2\omega_0}}, \qquad t>T.

Define the mode coefficients by qin=αmqout+βmqout∗q_{\rm in}=\alpha_m q_{\rm out} +\beta_m q_{\rm out}^* at late times. With r=ω1/ω0r=\omega_1/\omega_0 and θ=ω1T\theta=\omega_1T, continuity of q,q˙q,\dot q gives

αm=cos⁡θ−i2(r+r−1)sin⁡θ,βm=i2(r−r−1)sin⁡θ.\begin{aligned} \alpha_m&=\cos\theta -\frac{i}{2}(r+r^{-1})\sin\theta,\\ \beta_m&=\frac{i}{2}(r-r^{-1})\sin\theta. \end{aligned}

They obey ∣αm∣2−∣βm∣2=1|\alpha_m|^2-|\beta_m|^2=1. Equality of the two field expansions gives, in this convention,

aout=αmain+βm∗bin†.a_{\rm out}=\alpha_m a_{\rm in} +\beta_m^*b_{\rm in}^\dagger.

Thus the off-diagonal operator coefficient is βm∗\beta_m^*, not βm\beta_m. The phase convention in Pair Creation must be translated before comparing complex coefficients. Their moduli give the same in-vacuum mean occupation:

N=∣βm∣2=(ω12−ω02)24ω02ω12sin⁡2(ω1T).N=|\beta_m|^2 =\frac{(\omega_1^2-\omega_0^2)^2} {4\omega_0^2\omega_1^2} \sin^2(\omega_1T).

For r=2r=2, N=(9/16)sin⁡2θN=(9/16)\sin^2\theta. At θ=π\theta=\pi, the outgoing occupation is zero despite mixing at both interfaces. At θ=π/2\theta=\pi/2, N=9/16N=9/16. A direct integration of q¨+ω12q=0\ddot q+\omega_1^2q=0 between the jumps is an independent check of the interference formula.

The incoming vacuum expressed in the outgoing number basis is a pure two-mode squeezed state. With a phase φ\varphi fixed by the Bogoliubov convention, its Schmidt form can be written

∣Ψ⟩=11+N∑n=0∞cn∣n⟩a∣n⟩b,cn=(eiφN1+N)n.\begin{aligned} |\Psi\rangle&= \frac1{\sqrt{1+N}} \sum_{n=0}^{\infty}c_n|n\rangle_a|n\rangle_b,\\ c_n&=\left(e^{i\varphi}\sqrt{\frac{N}{1+N}}\right)^n. \end{aligned}

For N>0N>0, this phase satisfies eiφN/(1+N)=βm∗/αm∗e^{i\varphi}\sqrt{N/(1+N)} =\beta_m^*/\alpha_m^* in the operator convention above. Consequently

Pn=11+N(N1+N)n.P_n=\frac1{1+N} \left(\frac{N}{1+N}\right)^n.

For N=9/16N=9/16, P0=16/25P_0=16/25 and P1=144/625P_1=144/625. Every term has equal particle and antiparticle number, hence exactly zero total charge. The mean number of quanta is 2N2N, while the mean number of pairs is NN.

Applying the partial trace gives ρa=∑nPn∣n⟩⟨n∣\rho_a=\sum_n P_n|n\rangle\langle n|. Its entropy, using natural logarithms, is

S(ρa)=(N+1)ln⁡(N+1)−Nln⁡N.S(\rho_a)=(N+1)\ln(N+1)-N\ln N.

For N=9/16N=9/16 it is approximately 1.02096592941.0209659294 nats; at N=0N=0 take the continuous limit S=0S=0. This is bipartite entanglement entropy of a pure channel state, not an entropy increase of the full closed channel. Discarding the partner loses information that can matter during a later coherent pulse.

For large momentum, with Δm2=m12−m02\Delta m^2=m_1^2-m_0^2,

Np=(Δm2)24p4sin⁡2(pT)+O(p−5).N_{\mathbf p}= \frac{(\Delta m^2)^2}{4p^4}\sin^2(pT) +O(p^{-5}).

For a nontrivial abrupt pulse with T>0T>0, the number-density integral ∫d3p Np/(2π)3\int d^3p\,N_{\mathbf p}/(2\pi)^3 has an integrable ultraviolet tail. The produced-energy density includes 2ω0Np2\omega_0N_{\mathbf p} and has a logarithmic ultraviolet divergence. A finite momentum cutoff does not remove that physical limitation. Smooth the time profile before claiming a finite continuum energy prediction.

Finally, ω1\omega_1 depends on momentum. One duration generally cannot undo all channels. The per-mode cancellation does not imply a reversed continuum pulse, and this prescribed-pump model does not include backreaction.

A heavy target with a relativistic projectile

Section titled “A heavy target with a relativistic projectile”

Capstone 3. Keep the projectile momentum arbitrary while reducing only the target in the tree-level exchange amplitude from Relativistic QM to QED:

M=q1q2 j1⋅j2k2+i0.\mathcal M=\frac{q_1q_2\,j_1\cdot j_2}{k^2+i0}.

The two Dirac species are distinct, with masses m>0m>0 and M>0M>0. The target is initially at rest. Its current is j2μ=uˉ2(P′)γμu2(P)j_2^\mu=\bar u_2(P')\gamma^\mu u_2(P); spinors have u†u=2Eu^\dagger u=2E. The momentum transfer is K\mathbf K.

  1. At ∣K∣/M≪1|\mathbf K|/M\ll1, show that j20/(2M)=δs2′s2+O(K2/M2)j_2^0/(2M)=\delta_{s'_2s_2}+O(\mathbf K^2/M^2), while j2/(2M)=O(∣K∣/M)\mathbf j_2/(2M)=O(|\mathbf K|/M).
  2. Convert all external states to unit-Hilbert spinor normalization before taking the fixed-source limit. Define the reduced interaction kernel by
Vs′s=−M2E′ 2E2E2′ 2M.\mathcal V_{s's}=-\frac{\mathcal M} {\sqrt{2E'\,2E}\sqrt{2E'_2\,2M}}.

For a spin-preserving target, find its limit as M→∞M\to\infty at fixed projectile energy and transfer. What projectile spinor overlap remains? 3. In the ultrarelativistic kinematic approximation m/E→0m/E\to0, use the recoil bound from Derivation Problems. If E/M=0.1E/M=0.1, which angles keep the recoil energy loss at or below 2%2\%? 4. Identify the photon processes and asymptotic-state issues this tree-level fixed-source reduction does not include.

Solution

The target rest spinor has only an upper block. Its outgoing upper block is E2′+M χ2′\sqrt{E'_2+M}\,\chi'_2, so

j202M=E2′+M2M χ2′†χ2,E2′=M2+K2.\frac{j_2^0}{2M} =\sqrt{\frac{E'_2+M}{2M}}\,\chi_2'{}^\dagger\chi_2, \qquad E'_2=\sqrt{M^2+\mathbf K^2}.

The outgoing lower block is smaller by O(∣K∣/M)O(|\mathbf K|/M) and produces the spatial current. Thus j20j_2^0 tends to 2M2M for unchanged spin, and the external target normalization cancels this factor. Neglecting recoil gives E′=EE'=E and k0=0k^0=0, so

Vs′s⟶q1q2∣K∣2us′†(p′)us(p)2E.\mathcal V_{s's}\longrightarrow \frac{q_1q_2}{|\mathbf K|^2} \frac{u_{s'}^\dagger(p')u_s(p)}{2E}.

This is the Coulomb potential’s Fourier transform multiplied by the overlap of unit-Hilbert projectile spinors. The overlap need not be replaced by a Kronecker delta when the projectile is relativistic; its angular dependence produces the spin factor in Mott scattering. Taking both species to low momentum would make that additional approximation. On-shell current conservation removes the longitudinal photon-gauge term; it does not make arbitrary off-shell correlators gauge independent.

For the massless recoil estimate, put a=(E/M)(1−cos⁡θ)a=(E/M)(1-\cos\theta). The energy loss is a/(1+a)a/(1+a). The requested accuracy requires a≤1/49a\le1/49, hence

cos⁡θ≥3949,0≤θ≤arccos⁡3949.\cos\theta\ge\frac{39}{49},\qquad 0\le\theta\le\arccos\frac{39}{49}.

At finite projectile mass, use the massive recoil kinematics instead. This bound concerns energy transfer; it is not by itself a bound on every correction to a differential cross section. Weak coupling and small recoil are separate requirements.

Real photon emission needs photon final states. Radiative corrections need loop calculations, renormalization and an infrared prescription. Neither is contained in this tree-level potential. Charged asymptotic states also need the qualifications described in LSZ. Keeping distinct species excludes the additional exchange or annihilation channels present in other processes.

  • Fewster, Christopher J., Benito A. Juárez-Aubry, and Jorma Louko. “Waiting for Unruh.” Classical and Quantum Gravity 33, 165003 (2016). doi:10.1088/0264-9381/33/16/165003. Switched detector response and the distinction between switching limits.
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge University Press, 2014. doi:10.1017/9781139540940. Free-field normalization, scattering and QED.
  • Tong, David. Lectures on Quantum Field Theory. University of Cambridge, 2006–2007. Free scalar fields and QED.
  • Weinberg, Steven. The Quantum Theory of Fields, Volume I: Foundations. Cambridge University Press, 1995. doi:10.1017/CBO9781139644167. Particle states, fields and scattering conventions.