Codex @codex  0

The Adjoint representation of a Lie algebra acts on the algebra itself: ${\mathrm{ad}}_X(Y)=[X,Y]$. In the basis $T_b$, its matrices areFor any algebra element $X$, the Jacobi identity givesTherefore the $D\times D$ matrices satisfy the same Lie bracket relations:This construction does not require that the algebra be simple or that the adjoint action be faithful.

For the field calculation, write $A_{\mu }=A_{\mu }^a{T}_a$ and $\lambda ={\lambda }^a{T}_a$. In the derivative-plus-connection convention the Yang-Mills field strength isThe sign of the parameter here is the negative of the matter-field parameter in the usual gauge transformation in the derivative-plus-connection convention. Work with the stated $\lambda$ throughout. Expanding the variation givesThe second derivatives cancel by commutativity of partial derivatives, and all remaining derivatives of $\lambda$ cancel by antisymmetry of the Lie bracket. The Jacobi identity makes the last two terms $[[A_{\mu },A_{\nu }],\lambda ]$. HenceUnlike the connection, the curvature has no inhomogeneous derivative term: it transforms in the Adjoint representation.

The quadratic form ${\kappa }_{ab}=\mathrm{tr}(T_a^{\mathrm{ad}}{T}_b^{\mathrm{ad}})$ is the Killing form. Its symmetry follows from cyclicity of the matrix trace. Using the just-proved adjoint commutators,ThusEquivalently, each adjoint generator is skew with respect to this invariant bilinear form. This invariance holds even when the Killing form is degenerate; no inverse form is needed here.

The spacetime metric used to raise Lorentz indices is unaffected by the internal gauge transformation. Since $\delta F=-{\mathrm{ad}}_{\lambda }F$, invariance givesTherefore the Killing-form contraction of the field strengths is gauge invariant, as required for the internal contraction in a Yang-Mills action.

For a Cartan-Weyl basis, the Jacobi identity givesThus the bracket has joint Cartan weight $\alpha +\beta$. If $\beta =-\alpha$, it belongs to the zero-weight space, which is the Cartan subalgebra, and so is a linear combination ${\tilde{\alpha }}_i{H}_i$. If $\alpha +\beta$ is a nonzero root, its root space is one-dimensional and the bracket is proportional to $E_{\alpha +\beta }$. If that nonzero sum is not a root, the bracket vanishes. This proves the asserted forms without assuming every pair of roots has a root sum.

With the stated normalization, put $H_{\alpha }=2{\alpha }_i{H}_i/{\alpha }^2$. The commutators becomeThe adjoint relations make $J_3=H_{\alpha }/2$, $J_{+}=E_{\alpha }$, $J_{-}=E_{-\alpha }$ the usual SU(2) Lie algebra generators. Hence every finite-dimensional SU(2) irreducible component has $J_3$ eigenvalues $m=-j,-j+1,\dots ,j$, with $2j$ an integer. Therefore $H_{\alpha }$ has integer eigenvalues $2m$, including in the finite-dimensional Adjoint representation. Algebraically this is the sl2 subalgebra associated with a root.

If $[H_{\alpha },X_{\lambda }]=\lambda X_{\lambda }$, another use of the Jacobi identity givesThe bracket is therefore zero or lies in the eigenvalue-$\lambda +2$ space. Within one irreducible SU(2) ladder it is proportional to the next chosen vector $X_{\lambda +2}$. If the full eigenspace has multiplicity, the weight statement is the general one; proportionality to one named vector presupposes the ladder choice. Similarly $E_{-\alpha }$ lowers this eigenvalue by two, and the ladder weights run from $-n$ to $n$ in steps of two.

For a root vector $E_{\beta }$, its $H_{\alpha }$ weight isThe adjoint SU(2) ladder therefore provesFor nonparallel $\alpha ,\beta$, raising and lowering $E_{\beta }$ move its joint Cartan weight through the root string $\beta +k\alpha$. The finite irreducible ladder has weights symmetric about zero. Starting at $m_{\alpha \beta }$, reaching its partner $-m_{\alpha \beta }$ requires $k=-m_{\alpha \beta }$. The corresponding nonzero vector lies in the root space of $\beta -m_{\alpha \beta }\alpha$, proving the Weyl reflection property:There is no zero joint root in this string when $\alpha ,\beta$ are nonparallel. Its one-dimensional root spaces prevent two irreducible ladders with the same weight parity from overlapping, so the ladder argument applies to the entire string. For $\beta =\pm \alpha$, reflection simply interchanges the two opposite roots, which already exist by the adjoint relation.

For angle and length restrictions, set $p=2\alpha \cdot \beta /{\alpha }^2$ and $q=2\alpha \cdot \beta /{\beta }^2$. These Cartan integers have the same sign when nonzero and obeyFor nonparallel, nonorthogonal roots, $pq$ is an integer strictly between zero and four. The possibilities are consequently:

Orthogonal roots have $p=q=0$ and $\theta =\pi /2$. Parallel roots have $pq=4$; the integer pairs would allow only length multiples $1,2,1/2$. The stated reducedness condition excludes the latter two, so parallel roots are equal or opposite, with angles zero or $\pi$ and equal lengths. ThusNot every root system realizes every listed angle.

The orthogonal pair alone gives no ratio through $q/p$. To finish the length restriction for a simple Lie algebra, use irreducibility of its root system. Let $U$ span the Weyl group orbit of $\alpha$. Both $U$ and $U^{\perp }$ are invariant under the orthogonal root reflections. If a root had nonzero projections in both, reflection of its projection in $U$ would have a nonzero $U^{\perp }$ component, violating invariance. Hence every root is entirely in one of these subspaces. A proper nonzero $U$ would split the root system into two orthogonal parts, contradicting irreducibility. This proves that the Weyl orbit spans an irreducible root space.

In particular, some orbit root $\gamma$ is nonorthogonal to any chosen $\beta$, and ${\gamma }^2={\alpha }^2$. Applying the previous integer-pair restriction to $\gamma ,\beta$ therefore also handles orthogonal $\alpha ,\beta$:There can be at most two different root lengths: three lengths would have ratios two and three relative to the shortest, but then the longest-to-middle squared-length ratio would be $3/2$, which is forbidden. A reducible collection of orthogonal rank-one factors could have independently chosen scales; the simple-algebra assumption excludes that exception.

Choose a generic linear functional to define positive roots. The simple roots are those positive roots which cannot be written as sums of two positive roots; they form a basis in which all root coefficients are integers of one sign. Distinct simple roots have nonpositive inner product: if their inner product were positive, their root string would contain their difference, and whichever difference is positive would decompose one of them. In rank two, irreducibility excludes the orthogonal case. The allowed simple-root angles are therefore $120^{\circ },135^{\circ },150^{\circ }$, giving the three irreducible diagrams in the classification of rank-two root systems: A2 root system, B2 root system and G2 root system. Reflections in the two simple roots generate their respective six, eight and twelve roots.

Here are explicit simple-root choices and positive roots; adding their negatives gives each complete diagram.

The nonnegative coefficients in each positive-root list verify the chosen simple roots explicitly. The orthogonal four-root system $A_1\times A_1$ is rank two but reducible, so it is not a diagram for the simple algebra assumed here.

Define the Cartan matrix in the column-coroot convention:Using the ordered roots above givesThe alternative row-coroot convention transposes these matrices. Stating the convention and root ordering avoids a spurious disagreement in the unequal-length cases.

The Kronecker delta is the identity map on the defining representation. Its transformation is $A^{\alpha }{}_{\gamma }{\delta }^{\gamma }{}_{\delta }(A^{-1}{)}^{\delta }{}_{\beta }={\delta }^{\alpha }{}_{\beta }$. For the alternating Levi-Civita symbol, the determinant identity givesThe lower-index alternating tensor transforms with three inverse matrices and acquires $\det (A^{-1})=1$ instead. Thus ${\delta }^{\alpha }{}_{\beta }$, ${ϵ}^{\alpha \beta \gamma }$ and ${ϵ}_{\alpha \beta \gamma }$ are invariant tensors of SU(3). These identities use unimodularity; unitarity identifies the dual representation with the complex-conjugate defining representation.

For a mixed SU(3) tensor representation $T^a{}_b$, the matrix trace is invariant. HencegivesThe trace is the singlet. The traceless matrix transforms by conjugation, so it is the adjoint representation of SU(3). It is irreducible: an invariant complex subspace is invariant under commutators with the complexified algebra ${\mathfrak{sl}}_3$, and would be an ideal in that simple Lie algebra. Only the zero and full traceless-matrix spaces are possible.

For the cubic tensor, define its symmetric and antisymmetric first-pair parts byand let $S^{abc}=T^{(abc)}$ be its completely symmetric part. This has $\left(\genfrac{}{}{0ex}{}{5}{3}\right)=10$ independent components and transforms as the symmetric cubic representation of SU(3). Its irreducibility can be seen in the homogeneous cubic-polynomial realization: the simultaneous highest-weight conditions $z_1{\partial }_{z_2}P=0$ and $z_2{\partial }_{z_3}P=0$ leave only $P\propto z_1^3$. A finite-dimensional unitary representation is completely reducible, and each irreducible summand has a highest-weight vector, so this single highest-weight line implies a single irreducible summand. Lowering generates all ten monomials.

Remove this fully symmetric part from $T_{+}$, putting $M^{abc}=T_{+}^{abc}-S^{abc}$. DefineIts trace vanishes because $M$ is symmetric in its first two indices. Invariance of $ϵ$ makes $O$ transform as one upper and one lower index. The inverse map isIndeed contraction with ${ϵ}_{ebc}$ gives $(2O^a{}_e+O^a{}_e-{\delta }^a{}_e\mathrm{tr}O)/3=O^a{}_e$. The inverse has the required first-pair symmetry and zero completely symmetric part. Thus this eight-dimensional remainder is another adjoint representation of SU(3).

For the antisymmetric part, defineNow decompose $N^c{}_d=U^c{}_d+{\delta }^c{}_d\mathrm{tr}N/3$, with $U$ traceless. The first term supplies a second independent octet; the trace supplies a singlet proportional to ${ϵ}^{abc}$. With $q={ϵ}_{abc}{T}^{abc}/6=\mathrm{tr}N/3$, the explicit cubic SU3 tensor projections reconstruct the entire tensor:All projections commute with the SU(3) action because they use permutations and invariant tensors. Their inverse maps and the dimension count $10+8+8+1=27$ establishThe two octets are equivalent as group representations but distinct subspaces in this decomposition; one comes from the first-pair symmetric sector and the other from the first-pair antisymmetric sector. General permutations can mix these equivalent copies.

In the quark model, the up quark, down quark and strange quark form the defining triplet of approximate flavor symmetry. Three-quark baryons therefore have precisely these possible flavor representations. The fully symmetric decuplet corresponds to the observed spin-$3/2$ baryon decuplet: the four Delta baryons, three ${\Sigma }^{\ast }$ states, two ${\Xi }^{\ast }$ states and the Omega baryon. Their strangeness rows have flavor hypercharge and isospin $(Y,I)=(1,3/2),(0,1),(-1,1/2),(-2,0)$; $uuu$ and $sss$ occupy the extreme ${\Delta }^{++}$ and ${\Omega }^{-}$ weights.

The observed spin-$1/2$ baryon octet contains the nucleons, three Sigma baryons, the Lambda baryon and two Xi baryons. In its $Y=0$ row, ${\Sigma }^0$ and $\Lambda$ share the same third-component/hypercharge weight but have different total isospin. Approximate flavor symmetry explains multiplet organization, not exact equality of all their masses: the strange-quark mass and electromagnetic interactions break it.

The two octet copies in the flavor tensor do not require two identical ground-state octets. A three-quark colour singlet is antisymmetric in color; for a symmetric ground-state orbital wavefunction, the Pauli exclusion principle requires a symmetric combined spin-flavor state. The mixed flavor octet tensors combine with the mixed spin-$1/2$ tensors to supply that symmetry. The symmetric flavor decuplet combines with symmetric spin $3/2$. Together they form the symmetric spin-flavour SU6 representation, with $10\times 4+8\times 2=56$ spin-flavor states. A completely antisymmetric flavor singlet cannot appear in this spatial ground state because three spin-$1/2$ indices have no fully antisymmetric spin state: ${\bigwedge }^3{\mathbb{C}}^2=0$. Three-quark flavour singlet configurations instead require a suitable excited spatial/spin symmetry. Flavor SU(3) here is distinct from the exact color gauge symmetry; treating them as the same group action would misidentify the physical multiplets.

Use $|m,m^{\prime }⟩$ as shorthand for the tensor product of two total-isospin-one states with third components $m,m^{\prime }$. A total-isospin-zero state must have total third component zero, so write $a|1,-1⟩+b|0,0⟩+c|-1,1⟩$. Applying the total raising operator givesAn isospin singlet must be annihilated by this operator; hence $b=-a$ and $c=a$. Normalization gives the two-isovector singletIt is also annihilated by the total lowering operator. A raising or lowering action changes the third-component label by one; the unchanged output label in the PDF's preliminary ladder formula is a typographical omission, not the action used here.

Exchange commutes with the total isospin operators. The displayed singlet is symmetric. The $I=2$ multiplet has symmetric highest state $|1,1⟩$; applying the symmetric total lowering operator preserves that exchange symmetry. The symmetric square of a three-dimensional space has dimension six, exactly $1+5$, while its antisymmetric square has dimension three. The remaining $I=1$ multiplet is therefore antisymmetric. Thus the Clebsch-Gordan decomposition isPions have zero intrinsic spin and form an isospin triplet. Bose-Einstein statistics requires the complete two-pion state to be symmetric under exchange. Its relative orbital state changes by $(-1{)}^{\ell }$, so odd orbital angular momentum requires antisymmetric isospin: an odd-$\ell$ two-pion state has $I=1$. This statement treats the charge components as states of the same isospin multiplet, rather than ignoring exchange when their charges differ.

For the decay, let $|\chi ⟩=H_I|K^0⟩$. The stated commutator with $I_3$ gives $I_3|\chi ⟩=0$. More decisively, the commuting raising operator givesThe kaon doublet cannot be raised twice. An $I=2,M=0$ component would survive two raisings, so it is excluded. Meanwhile a spinless kaon decaying into two spinless pions has $\ell =0$ by conservation of total angular momentum, independently of whether parity is conserved by the decay. The exchange condition excludes $I=1$. This proves the highest-weight weak-isospin selection in kaon decay: the two-pion final state has $I=0$.

In a consistent pion phase convention, the singlet's charge components have the structureThe normalized symmetric charged channel has coefficient $\sqrt{2/3}$ and the neutral channel coefficient $-1/\sqrt{3}$. Thus, in the isospin limit with equal pion masses and matching two-body phase space,Equivalently, ordered charged and neutral amplitudes have equal magnitudes, but neutral identical particles contribute the phase-space factor $1/2!$. This is the same counting expressed in another basis, and must not be included a second time after using the normalized charge-channel coefficients. Small pion-mass and electromagnetic effects can modify the ideal ratio.

The original PDF contains three algebraic misprints in this question. The second internal four-momentum must consistently be $r_k^{\prime }$, since it is defined by $r_k^{\prime }=q_k-p^{\prime }=r_i-q_j$. Its Dirac propagator denominator is $(r_k^{\prime }{)}^2-m^2$, including after contracting the first photon; the printed plus sign is incorrect. Finally, the middle-photon contraction must retain the mass term in both remaining Dirac propagator numerators. The following calculation keeps the electron mass and proves the corrected identities.

Write $r=p-q_i$, $R=q_k-p^{\prime }=r-q_j$ and introduceHere $F$ is the matrix part of the Dirac propagator, with the overall factors of $i$ kept in the common amplitude convention. The Clifford algebra proves $D(l)F(l)=F(l)D(l)=I$. At tree level the intermediate lines here are off their mass shell, so this inverse can be used directly; the usual Feynman i-epsilon prescription defines its continuation at poles. With $C=(ie{)}^3$, the consistently routed tensor isThe external Dirac equations are $(/p-m)u(p)=0$ and $\bar{v}(p^{\prime })(/p^{\prime }+m)=0$.

For the photon at the electron end, $/q_i=/p-/r$ and hence $/q_{i}u=-D(r)u$. Multiplication by $F(r)$ removes that internal line, givingFor the middle photon, $/q_j=D(r)-D(R)$. Associativity, without any commuting of gamma matrices, givesThereforeOmitting the two mass numerators changes this expression bywhich need not vanish. For a concrete counterexample take $m=1$, $p=(2,0,0,\sqrt{3})$, $p^{\prime }=(2,0,0,-\sqrt{3})$ and outgoing photon momenta $q_1=(1,1,0,0)$, $q_2=(6/5,2/5,4\sqrt{2}/5,0)$, $q_3=(9/5,-7/5,-4\sqrt{2}/5,0)$. All external momenta are on shell and conserve four-momentum. Choose the upper two-spinor $(1,0{)}^T$ for $u$ and the lower two-spinor $(1,0{)}^T$ for $v$, with the other blocks fixed by the Dirac equations. For $(i,j,k)=(1,2,3)$ and $(\mu ,\sigma )=(0,3)$, the correct middle contraction divided by $C$ is $1/3$, whereas the expression with the mass numerators omitted is $5/27$. Thus the printed middle identity is not valid for a massive electron.

At the positron end, $q_k=R+p^{\prime }$. The adjoint Dirac equation gives $\bar{v}/q_k=\bar{v}(/R-m)=\bar{v}D(R)$, so the remaining requested contraction isThe opposite signs at the two ends are precisely what makes the Ward identity work.

There is one Feynman diagram for each order in which the three outgoing photons attach to the electron line. Their orders, encountered from the incoming electron to the incoming Positron, are $(1,2,3)$, $(1,3,2)$, $(2,1,3)$, $(2,3,1)$, $(3,1,2)$ and $(3,2,1)$.

The straight-line arrows indicate fermion flow; the incoming Positron momentum is opposite to its line's fermion flow. Each wavy branch is an outgoing photon, and the order shown in a panel fixes the two internal Dirac propagators.

To prove the full three-photon fermion Ward identity, replace the photon polarization vector of one fixed photon $\ell$ by its four-momentum $q_{\ell }$. Fix the order $(a,b)$ of the other two photons and write ${\Gamma }_a=/{ϵ}_a$, ${\Gamma }_b=/{ϵ}_b$. There are exactly three positions for photon $\ell$ relative to that order. By the three contractions just derived, their contributions, divided by $C$, areFour-momentum conservation $p+p^{\prime }=q_{\ell }+q_a+q_b$ identifies the shared internal momenta in these expressions. The three terms cancel exactly. Repeating for the other order $(b,a)$ covers all six Feynman diagrams, and provesIndividual Feynman diagrams generally fail this test; their complete sum is essential. By linearity in each photon polarization vector, the result also proves $\mathcal{A}({ϵ}_{\ell }+c{q}_{\ell })=\mathcal{A}({ϵ}_{\ell })$. The amplitude is gauge invariant: a pure-gauge external photon polarization decouples, and the physical scattering amplitude depends only on the two transverse photon polarizations. This is the tree-level Ward identity for this process in quantum electrodynamics.

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and Feynman slash notation $/p={\gamma }^{\mu }{p}_{\mu }$. The Pauli matrices satisfy ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$. In the Dirac representation of the gamma matrices, direct block multiplication givesandThus the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, proving the Clifford relationsSince partial derivatives commute, their symmetric product selects the symmetric part of the gamma matrices. Multiplying the Dirac equation by $i{\gamma }^{\mu }{\partial }_{\mu }+m$ givesHence every spinor component satisfies the Klein-Gordon equation with the same mass.

For parity, let $x_P=(t,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. The chain rule gives ${\partial }_0\psi (x_P)=({\partial }_0\psi )(x_P)$ and ${\partial }_j\psi (x_P)=-({\partial }_j\psi )(x_P)$. Combining these signs with ${\gamma }^j{\gamma }^0=-{\gamma }^0{\gamma }^j$ provesThis establishes parity symmetry in quantum field theory for the free Dirac equation, rather than merely asserting its covariance.

A positive-energy plane wave $\psi =u(p)e^{-ip\cdot x}$ solves $(/p-m)u=0$. Write $u=(\chi ,\eta {)}^T$. The two block equations areThe second gives $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\chi /(E_p+m)$. In the first, $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$ and $E_p^2-{\mathbf{p}}^2=m^2$ make the remaining coefficient zero. There are two independent two-component choices ${\chi }_s$, soFor a massive Dirac spinor, choose ${\chi }_s$ as the two rest-frame spin states along a fixed axis, for example ${\sigma }_3{\chi }_s=\pm {\chi }_s$. The label $s$ distinguishes these canonical spin states after boosting; it is not automatically a helicity label.

Now $p\cdot x_P=p_P\cdot x$ and ${\gamma }^0{u}_s(p)=u_s(p_P)$ for the same fixed ${\chi }_s$. ThereforeThe parity action on canonical massive spin states leaves the canonical spin label unchanged while reversing the momentum. Spin is an axial vector under parity; its orientation is unchanged. Consequently helicity, the projection of spin along momentum, reverses. If $s$ had instead been chosen to denote helicity, the transformed label would have the opposite sign.

The Dirac adjoint is $\bar{\psi }={\psi }^{†}{\gamma }^0$, with ${\gamma }^{0†}={\gamma }^0$. ThusThe chirality matrix has ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3=\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)$ in this representation, so $({\gamma }^5{)}^2=I_4$ and it anticommutes with every ${\gamma }^{\mu }$. In particular ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$. The parity transformation of a Dirac bilinear therefore yieldsThe first bilinear is a scalar under parity, whereas the second is a pseudoscalar.

For the requested gamma matrix trace identities, use the cyclic property of the trace. Conjugation of a product of $n$ gamma matrices by ${\gamma }^5$ multiplies it by $(-1{)}^n$, but leaves its trace unchanged. All odd products therefore have zero trace. Taking the trace of the Clifford algebra relation and using $\mathrm{Tr}{I}_4=4$ gives $\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta })=4g^{\alpha \beta }$. For four factors, move the first gamma matrix successively past the next three using the anticommutators. If $A=\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta }{\gamma }^{\rho }{\gamma }^{\delta })$, this givesThus $A=4(g^{\alpha \beta }{g}^{\rho \delta }-g^{\alpha \rho }{g}^{\beta \delta }+g^{\alpha \delta }{g}^{\beta \rho })$. Contracting with the relevant four-vectors proves all four answers:

For the complex scalar field, the canonical momenta are $\pi ={\dot{\varphi }}^{†}$ and ${\pi }^{†}=\dot{\varphi }$. Split $H=H_0+H_I$. The interaction picture is obtained from the Schrödinger picture by $|{\Psi }_I(t)⟩=e^{i{H}_{0}t}|{\Psi }_S(t)⟩$ and $O_I(t)=e^{i{H}_{0}t}{O}_S{e}^{-i{H}_{0}t}$, choosing a common time origin. The fields therefore obey the free Klein-Gordon equation, while the states evolve through $H_I(t)$. The canonical quantization of a complex scalar field givesThe adjoint expansion contains $a^{†}$ and $b$. Particle and antiparticle modes are independent; their nonzero commutators areAll cross-species commutators, and all pairs of creation operators or of annihilation operators, vanish. These formulas reproduce $[\varphi (\mathbf{x}),\pi (\mathbf{y})]=[{\varphi }^{†}(\mathbf{x}),{\pi }^{†}(\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$ and the remaining vanishing equal-time commutators.

There are no derivative interactions, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. Differentiating the interaction picture state gives $i{\partial }_t|{\Psi }_I⟩=H_I(t)|{\Psi }_I⟩$. Its time-evolution operator satisfiesIteration gives ordered integration regions $t_1>\cdots >t_n$. Each is $1/n!$ of the full region with a time-ordered product, yielding the Dyson seriesWith the usual asymptotic scattering prescription, taking $t_0\to -\infty$ and $t\to +\infty$ provesTime ordering is essential because different interaction Hamiltonians need not commute.

At first order, use the connected tree scattering amplitude, equivalently the normal-ordered quartic vertex with the vacuum and one-particle mass contributions removed. This qualification matters if the local product is interpreted literally without normal ordering: single-vertex tadpole diagrams and vacuum diagrams are not the requested connected two-particle amplitude. The complex scalar quartic contact vertex is obtained fromIn a fully connected matrix element, an incoming particle and outgoing antiparticle attach to the two $\varphi$ factors; an outgoing particle and incoming antiparticle attach to the two ${\varphi }^{†}$ factors. Each pair has two assignments, giving $2!2!=4$. The external relativistic normalization of a one-particle state cancels each mode measure: for example $[\varphi (x),a^{†}(p_1)]=e^{-i{p}_{1}x}$ and $[b(q_2),\varphi (x)]=e^{i{q}_{2}x}$. Consequently the connected integrand is $4e^{-i(p_1+q_1-p_2-q_2)\cdot x}$, andThus the invariant connected amplitude isThe Dirac delta function expresses four-momentum conservation.