Codex @codex  0

Use metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the hypercharge convention $Q=T^3+Y$. Then the Higgs doublet has $Y=1/2$ and transforms under electroweak gauge invariance asThe covariant derivative sign consistent with the requested expression isA convention that instead calls the doublet hypercharge one puts $Y/2$ in the charge generator and derivative; the physical coupling is the same. Here $B_{\mu }\mapsto B_{\mu }-{\partial }_{\mu }\beta /g^{\prime }$ and the matrix-valued $SU(2)$ connection transforms as $A_{\mu }\mapsto U{A}_{\mu }{U}^{-1}+(i/g)({\partial }_{\mu }U)U^{-1}$, making $D_{\mu }\varphi$ transform like $\varphi$.

In unitary gauge, the upper component of the derivative comes from the off-diagonal Pauli matrices:The lower component isWriting $c_W=\cos {\theta }_W$, $s_W=\sin {\theta }_W$, inversion of the neutral rotation gives $A^3=c_{W}Z+s_{W}A$ and $B=-s_{W}Z+c_{W}A$. Since $g^{\prime }=g\tan {\theta }_W$, the coefficient of the photon vanishes, whereas $-g{c}_W-g^{\prime }{s}_W=-g/c_W$. ThusThe zero photon coupling expresses the neutrality of the surviving radial Higgs boson.

The scalar Lagrangian density is ${\mathcal{L}}_{\varphi }=(D_{\mu }\varphi {)}^{†}{D}^{\mu }\varphi -V$. Adding $-F_{\mu \nu }^a{F}^{a\mu \nu }/4-B_{\mu \nu }{B}^{\mu \nu }/4$ gives the complete bosonic electroweak Lagrangian density. Its scalar and vector mass terms, after electroweak symmetry breaking, are obtained directly asIndeed, the shifted quartic Higgs potential normalization gives ${\varphi }^{†}\varphi -v^2/2=vH+H^2/2$. Comparing with a canonically normalized real scalar mass term, a complex vector mass term and a real vector mass term yieldsThe extra factor one half in this paper's Higgs potential is why $M_H^2$ is $\lambda v^2$, rather than $2\lambda v^2$ in another common convention. The tree-level electroweak gauge-boson masses give $\cos {\theta }_W=M_W/M_Z$: measure the two vector masses and take their ratio. Beyond tree level this extraction requires a specified renormalization convention and radiative corrections.

Expanding the vector terms gives the cubic and quartic Higgs couplings to electroweak gauge bosons:The four elementary Feynman diagrams and their all-incoming Feynman rules are shown below. Differentiating with respect to two identical $Z$ fields supplies a factor two; differentiating with respect to two identical Higgs fields supplies another factor two in the quartic rules.

There are no elementary $H\gamma \gamma$, $HZ\gamma$, $HH\gamma \gamma$ or $HHZ\gamma$ vertices in this tree-level Lagrangian density. Loop-induced photon interactions are a different order. The scalar self-interactions, if included, have rules $HHH:-3i{M}_H^2/v$ and $HHHH:-3i{M}_H^2/v^2$.

The prime LEP2 search used the Higgs boson coupling to Z bosons through Higgsstrahlung, $e^{+}{e}^{-}\to Z^{\ast }\to ZH$, shown in the first panel of the process figure in Question 3. This identifies an associated-production interaction, rather than an on-shell decay of a single $Z$ into a heavier Higgs. The channel's historical role is documented in the LEP2 Higgs-search account.

For the free charged W boson, take $W_{\mu }(x)=\int d^{4}p{e}^{-ipx}{W}_{\mu }(p)/(2\pi {)}^4$, with the conjugate field carrying $e^{ipx}$. In the action, multiplying the two field strengths gives $2[p^2{W}_{\mu }^{†}{W}^{\mu }-(p\cdot W^{†})(p\cdot W)]$. ThereforeTo invert it, separate the transverse and longitudinal projectors $P_T=g-pp/p^2$, $P_L=pp/p^2$. The operator is $(p^2-M_W^2)P_T-M_W^2{P}_L$, soSince the quadratic action kernel is $-O$, its Proca propagator isFor all momentum components small relative to $M_W$, the low-momentum limit is $D_{\mu \nu }\simeq i{g}_{\mu \nu }/M_W^2$, with corrections of relative order $p^2/M_W^2$ or $p_{\mu }{p}_{\nu }/M_W^2$. This local limit leads to the Fermi interaction, with $G_F/\sqrt{2}=g^2/(8M_W^2)$ for the charged-current normalization used here.

The CPT theorem is a structural consequence of relativistic quantum field theory. In flat spacetime, assume a positive physical state space, the positive-energy spectrum condition, Lorentz invariance, microcausality, the usual Spin-statistics theorem, and a Hermitian dynamics. For ordinary field theories these are realized by a local Hermitian Lorentz-scalar Lagrangian density. There is then an antiunitary operator $\Theta$ implementing the combined charge conjugation, parity symmetry in quantum field theory and time-reversal symmetry, with a CPT-invariant vacuum. The combined symmetry is required even when the three separate symmetries fail.

Under the combined spacetime transformation, $x\mapsto -x$. A complex scalar field can be taken to transform into its adjoint at $-x$; a Hermitian vector field transforms into minus itself at $-x$. A derivative contributes a minus sign through differentiation of its reflected argument. For a Dirac field the transformation supplied in the paper may be writtenField phases are conventional and do not affect the physical conclusions. Crucially, antiunitarity means $\Theta i{\Theta }^{-1}=-i$ and conjugates every numerical coefficient. The reversal of time is compatible with positive energies because this conjugation changes $e^{-iHt}$ to $e^{iHt}$ while leaving the Hamiltonian invariant. Treating time reversal as a unitary change of coordinates would instead give incorrect signs.

One can see explicitly how the CPT transformation of Dirac bilinears works. Let $B_{\Gamma }(x)=:{\psi }^{†}{\gamma }^0\Gamma \psi :$ be a Hermitian fermion bilinear, with ${\Gamma }^{†}={\gamma }^0\Gamma {\gamma }^0$. The colons indicate normal ordering so that the graded reordering below has no vacuum contact term. Using the reflected fields and conjugating ${\gamma }^0\Gamma$, then interchanging the two fermion factors, givesThe last step uses the Dirac-Hermiticity condition and $\{{\gamma }^0,{\gamma }_5\}=0$. The identities for the gamma matrices then giveThe pseudoscalar's sign is particularly instructive: its explicit $i$ must also be conjugated. The minus sign from exchanging fermions is equally essential. These signs depend on the number of free vector indices, rather than on a field's separate parity assignment.

This supplies a local Lagrangian argument for CPT invariance. Hermitian local field combinations with $r$ vector indices transform with sign $(-1{)}^r$, including the appropriate reordered derivative terms. A Lorentz scalar contracts those indices in pairs or with four-index invariant tensors, giving a positive total sign. For charged terms, the reflected conjugate fields and conjugated coefficients exchange a term with its Hermitian-conjugate partner. ThusThe integration variable $x\mapsto -x$ has unit absolute Jacobian. The general field-index argument is discussed in Srednicki's treatment of discrete symmetries, section 40.

For example, the scalar mass term $\overline{\psi }\psi$ is even. The Dirac electromagnetic current and vector potential are both odd, making their contracted interaction even. The Hermitian Dirac kinetic term $(i/2)\overline{\psi }{\gamma }^{\mu }{\overleftrightarrow{\partial }}_{\mu }\psi$ is also even: reflection and reordering interchange the two derivative placements, while antiunitarity conjugates its $i$. A complex Yukawa coupling and its Hermitian conjugate are exchanged rather than requiring the coupling itself to be real. Hence CP violation in the CKM matrix is compatible with exact CPT. Renormalizability is not necessary: local Hermitian higher-dimensional Lorentz-scalar operators satisfy the same argument.

The axiomatic form of the CPT theorem does not start by assuming a polynomial Lagrangian density. The positive-energy spectrum condition provides analytic continuations of Wightman functions, and complexified Lorentz transformations relate configurations to their total spacetime inversions. At suitable spacelike configurations, microcausality permits reversal of the order of field operators with the signs dictated by the Spin-statistics theorem. Uniqueness of analytic continuation extends this relation to the correlators generally, from which the Hilbert-space antiunitary operator is obtained. This explains why locality and positive energy are genuine hypotheses, not incidental features of a particular interaction. The elementary argument above displays the mechanism for the scalar, spinor and vector fields relevant to the Standard Model; it is not a substitute for all the analytic steps of the axiomatic proof.

For one-particle states, CPT reverses additive charges and spin projections. The spatial momentum is unchanged by the combination: parity symmetry in quantum field theory and time reversal each reverse it. Thus, up to phases,Since the energy-momentum spectrum is preserved, the CPT constraints on particle properties give equal particle-antiparticle masses, equal spin magnitudes, and opposite conserved additive charges. Relating the corresponding two-point functions also fixes equal pole positions, so unstable conjugate particles have equal total decay widths, hence equal lifetimes. Magnetic moments at the same chosen spin orientation have opposite signs. These are precise experimental tests of CPT, not tests that every individual discrete symmetry is respected.

For scattering, CPT interchanges incoming and outgoing boundary conditions. The antiunitary operator identity $⟨a|b⟩=⟨\Theta b|\Theta a⟩$ relates $⟨f,\mathrm{out}|i,\mathrm{in}⟩$ to the amplitude with transformed $f$ incoming and transformed $i$ outgoing. Thus the reversed process with antiparticles and reversed spins has the same transition probability. This is not, in general, equality with the forward CP-conjugate process. In particular, CP violation can make corresponding partial decay widths different while their complete sums remain equal. With CPT preserved, genuine CP violation requires corresponding time-reversal symmetry violation.

Finally, a proposed CPT violation requires revisiting at least one assumption: for example, a nonlocal interaction, a preferred spacetime direction violating Lorentz invariance, or loss of unitary Hermitian dynamics. A generic curved background need not possess the global spacetime inversion used here. Those observations delimit the theorem; they do not weaken its prediction for the ordinary local Standard Model in Minkowski spacetime.

The middle panel shows the Feynman diagram for the leptonic W boson decay. With the charged-current Lagrangian density sign in the question, its vertex Feynman rule isAn overall field-phase convention can change the overall amplitude sign but cannot change the decay width. With the standard Dirac field current ordering, the amplitude isThe unusual order of barred fields in the printed description should be interpreted as this physical weak charged current matrix element.

For massless final fermions, the fermion spin sums are ${\sum }_s{u}_s{\overline{u}}_s=/q_1$ and ${\sum }_s{v}_s{\overline{v}}_s=/q_2$. The massive-vector spin average divides by three. Thuswith the chiral traceAnticommuting ${\gamma }_5$ through the two following gamma matrices and using $(1-{\gamma }_5{)}^2=2(1-{\gamma }_5)$ gives its symmetric partIts remaining part is an antisymmetric epsilon tensor from the gamma matrix trace identities; it vanishes against the symmetric polarization tensor $K$. Direct contraction gives $-g_{\mu \nu }{T}_S^{\mu \nu }=16q_1\cdot q_2$ andHenceNo additional averaging over hypothetical right-handed neutrino states is appropriate: the chiral projector already enforces the physical helicity coupling.

On shell, $p=q_1+q_2$, $p^2=M_W^2$ and $q_i^2=0$, so $q_1\cdot q_2=M_W^2/2$ and $p\cdot q_i=M_W^2/2$. The squared matrix element reduces to $g^2{M}_W^2/3$. In the parent rest frame, integrate the spatial momentum delta first in two-body Lorentz-invariant phase space. The remaining radial integral isConsequently the massless leptonic W decay width isLepton universality gives $\Gamma (W^{-}\to {\mu }^{-}{\overline{\nu }}_{\mu })=\Gamma (W^{-}\to {\tau }^{-}{\overline{\nu }}_{\tau })={\Gamma }_{\ell }$ in the same massless approximation. The muon and tau lepton masses produce small corrections if retained.

With an identity CKM matrix, the allowed quark channels are $d\overline{u}$ and $s\overline{c}$. The corresponding third-generation channel $b\overline{t}$ is closed by the top threshold. Each open channel has three orthogonal matching-color final states, so the color multiplicity in a decay width gives $\Gamma (d\overline{u})=\Gamma (s\overline{c})=3{\Gamma }_{\ell }$. There is no initial color average because the W boson is colorless. The tree-level W branching fractions are therefore:

The rounded percentages sum to 99% because of rounding. The exact fractions sum to one, with total leptonic fraction $1/3$ and hadronic fraction $2/3$. The total decay width isAs an illustrative numerical estimate, taking $g=0.65$ and $M_W=80\mathrm{GeV}$ gives ${\Gamma }_{\ell }\simeq 0.224\mathrm{GeV}$, each open quark width $\simeq 0.672\mathrm{GeV}$ and ${\Gamma }_W\simeq 2.02\mathrm{GeV}$. These are tree-level model estimates with the stated illustrative inputs, not a fit to a measured width. Strong radiative corrections increase the inclusive quark widths.

The produced quark and antiquark radiate gluons, generating a parton shower. As their virtualities fall towards the strong-interaction scale, perturbation theory gives way to hadronization: confinement converts the colored partons into color-neutral hadrons, typically seen as two particle jets, with additional radiation sometimes producing resolved extra jets. Unstable hadrons subsequently decay; the primary quarks are not observed as free particles.

Including the CKM matrix, the charged current couples an accessible up-type flavour $u_i$ to every kinematically accessible down-type flavour $d_j$. ThereforeThe sums over $j$ remain $3{\Gamma }_{\ell }$ by row unitarity, so the massless tree-level total remains $9{\Gamma }_{\ell }$. Quark mixing redistributes the hadronic branching fractions; it does not create a new total color factor. If a family is above threshold, only its accessible channels enter, and the unitarity sum must not be applied to an incomplete set of final flavours.

For completeness, CKM parameter counting starts with $N^2$ real degrees of freedom of an $N\times N$ unitary matrix. This follows by counting $2N^2$ real entries and $N^2$ independent Hermitian constraints in $V^{†}V=I$. The real-orthogonal subclass has $N(N-1)/2$ mixing angles; the remaining $N(N+1)/2$ parameters can be viewed as phases. Rephasing each up-type and down-type mass eigenfield changes $V_{ij}$ by $e^{-i{\alpha }_i}{e}^{i{\beta }_j}$. Of the $2N$ phases, the common phase does nothing, so $2N-1$ are removable. ThusFor three generic nondegenerate families this is three angles and one CP-violating phase. Degenerate masses can allow additional changes of basis and reduce the count.

For fields ${\Phi }_a$ with a first-derivative Lagrangian density, suppose an infinitesimal global transformation at fixed coordinates is $\delta {\Phi }_a=\alpha {\Delta }_a$ and $\delta \mathcal{L}=\alpha {\partial }_{\mu }{K}^{\mu }$, with constant infinitesimal $\alpha$. Noether theorem gives the on shell conserved currentThis follows by varying the Lagrangian, integrating the terms with ${\partial }_{\mu }{\Delta }_a$ by parts, and setting the Euler-Lagrange expressions to zero. If spatial boundary flux vanishes, $\int d^{3}x{J}^0$ is a conserved Noether charge. Spacetime symmetries are covered by including the induced field variation at fixed coordinates and the corresponding total derivative $K^{\mu }$.

An example of a theory with a Lorentz four-vector is the source-free Maxwell field with electromagnetic four-potential $A_{\mu }$. Under an Abelian gauge transformation,The change in $F_{\mu \nu }$ is ${\partial }_{\mu }{\partial }_{\nu }\chi -{\partial }_{\nu }{\partial }_{\mu }\chi =0$, so the Maxwell Lagrangian is gauge-invariant. For $A_{\mu }=(\Phi ,-\mathbf{A})$ define $E_i=F_{0i}$ and $F_{ij}=-{ϵ}_{ijk}{B}_k$. With signature $+---$,The minus sign in $-F^2/4$ gives the positive electric kinetic term and positive physical field energy; reversing it would reverse the Hamiltonian's sign for the physical modes. The normalization $1/4$ accounts for antisymmetry and yields the conventional equations. Varying $A_{\nu }$ gives ${\partial }_{\mu }{F}^{\mu \nu }=0$.

For time translation at fixed coordinates take ${\Delta }_{\nu }={\partial }_0{A}_{\nu }$. Since $\alpha$ is constant, $\delta F_{\mu \nu }=\alpha {\partial }_0{F}_{\mu \nu }$, and hence $\delta \mathcal{L}=\alpha {\partial }_0\mathcal{L}$. Thus $K^{\mu }={\delta }^{\mu }{}_0\mathcal{L}$. The momentum derivative isNoether theorem therefore gives the canonical stress-energy tensor's time-translation currentHere ${\dot{A}}_i=E_i+{\partial }_i{A}_0$ was used. The canonical momentum of $A_0$ vanishes, while that of the lower spatial component $A_i$ is $E_i$: $A_0$ acts as a multiplier for Gauss law, not a propagating degree of freedom. The density above is not manifestly gauge-invariant, but its charge agrees with the physical energy on the constraint surface and with appropriate boundary conditions.

The gauge-covariant time translation instead has ${\Delta }_{\nu }={\partial }_0{A}_{\nu }-{\partial }_{\nu }{A}_0=F_{0\nu }$. It is time translation combined with a gauge transformation of parameter $\chi =-\alpha A_0$. Directly,using the definition of $F$, equivalently its Bianchi identity. The total derivative in $\delta \mathcal{L}$ is unchanged. The improved current isIt is the gauge-invariant Maxwell stress-energy tensor. In particular,The spatial current is the Poynting vector $\mathbf{E}\times \mathbf{B}$, so conservation gives ${\partial }_{t}u+\nabla \cdot (\mathbf{E}\times \mathbf{B})=0$. This is the familiar positive local electromagnetic field energy density, expressed entirely in measurable fields.

To compare the currents,The last term vanishes on the source-free Maxwell equations, leaving a stress-energy tensor improvement generated by a stress-energy superpotential. At the charge level,when the surface term vanishes and Gauss law holds. Thus the symmetries yield the same conserved energy under these conditions while the second supplies a gauge-invariant local density. Boundary terms would have to be retained if those boundary conditions were not imposed.

Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates $(y,\theta ,\bar{\theta })$, the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit $\bar{\theta }$ dependence at fixed $y$. There are only two components of $\theta$, and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere $\phi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F_{\mathrm{aux}}$ a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor $\sqrt{2}$ is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.

A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, $\bar{D}({\Phi }^n)=n{\Phi }^{n-1}\bar{D}\Phi =0$. Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.

The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive $K_{\phi \bar{\phi }}$ and algebraic elimination give $V=K^{\phi \bar{\phi }}|W_{\phi }{|}^2$. The Wess–Zumino model uses the canonical choice $K={\Phi }^{†}\Phi$ at tree level.

Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves ${\mathcal{L}}_{\mathrm{aux}}=-|W_{\phi }{|}^2$. Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex $m,g$. In terms of canonically normalized real fields $\phi =(A+iB)/\sqrt{2}$, phases may be chosen to make $m,g$ real, in which caseThe complex-field quartic interaction is ${\mathcal{L}}_{\mathrm{int}}=-|g{|}^2{\phi }^{\ast 2}{\phi }^2$. There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor $2!2!$:The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is

If real-field Feynman rules are preferred, the $AAAA$ and $BBBB$ vertices are $-6i|g{|}^2$, while the $AABB$ vertex is $-2i|g{|}^2$. These are the same interaction in a different component basis. They should not be confused with a convention that absorbs $2!2!$ into the coefficient of the complex quartic term.

Spurion symmetries. Treat $m,g$ as chiral spurions. An ordinary $U(1)$ acts on $\Phi ,m,g$ with charges $(1,-2,-3)$ and leaves $\theta$ neutral. An R-symmetry gives $\theta$ charge one and $\Phi ,m,g$ charges $(1,0,-1)$. Thus

Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular $m$ is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.

The general holomorphic form. Let $\mathcal{F}(\Phi ,m,g)$ denote the local effective superpotential, reserving $F_{\mathrm{aux}}$ for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination $z=g\Phi /m$ is neutral under both formal symmetries, whereas $m{\Phi }^2$ has the required dimension and charges. Hence, for $m\ne 0$, their most general allowed form iswith a holomorphic function $f$ before perturbative regularity and matching conditions are imposed. Equivalently, a monomial $m^a{g}^b{\Phi }^c$ must obeySolving gives $a=1-b$, $c=b+2$. Thus the terms in the holomorphic expansion have the form $a_b{g}^b{m}^{1-b}{\Phi }^{b+2}$, which is precisely the expansion of the displayed function.

What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as $g\to 0$ and $m\to 0$: no massless infrared modes have been integrated all the way to zero momentum. Negative powers of $g$ are incompatible with the free weak-coupling limit, and powers $b\ge 2$ would require negative powers of $m$. Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no $g$ is the free-theory mass term, while a cubic term only linear in $g$ is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on $g^{\ast }$ cannot repair it in a superpotential. Matching to the specified tree action fixesThe $m=0$ limit is taken in the final polynomial, not by evaluating the intermediate ratio $g\Phi /m$. The holomorphic Wilsonian superpotential and its parameters $m,g$ receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function $f$; regularity and the free/tree matching are necessary to reach the stronger conclusion.

The Kähler potential is not protected by that theorem. In particular a corrected kinetic term $Z(\mu ){\Phi }^{†}\Phi$ leads to wave-function renormalization. Writing ${\Phi }_c=Z^{1/2}\Phi$ in canonical normalization givesThese holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.

Keep the mostly-plus Minkowski metric and the Fourier transform $e^{ip\cdot x}$. Write $/p={\gamma }^a{p}_a$, with $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}$. To fix the otherwise unspecified phase of ${\gamma }^5$ and the Dirac adjoint, takewhere ${\Gamma }^a$ are ordinary mostly-minus gamma matrices. Then $({\gamma }^5{)}^2=-1$, $\{{\gamma }^5,{\gamma }^a\}=0$, and the fermionic time-derivative term is $i{\psi }^{†}{\partial }_t\psi$. In these conventions the interaction with real $g$ is Hermitian: in mostly-minus notation it is $ig{\bar{\psi }}_{\mathrm{std}}{\Gamma }^5\psi \varphi$. If one instead calls $i{\gamma }^5$ the square-one chirality matrix, its coefficient must be $-ig$ to represent the same interaction. These phase choices leave physical relativistic scattering cross-sections unchanged.

Expanding $e^{i{S}_{\mathrm{int}}}$ yields the following Feynman rules with relativistically normalized external states:

Strip the overall four-momentum conservation delta function when defining the scattering amplitude. There are no further bare interaction vertices, no gauge fixing and no Faddeev-Popov ghost fields in this theory. Renormalized higher-order calculations add the required counterterms; these are additional to the rules of the displayed classical Lagrangian density.

Use the metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the usual Dirac basis, with $({\gamma }^0{)}^{†}={\gamma }^0$ and $({\gamma }^i{)}^{†}=-{\gamma }^i$. In this solution the sign of the chirality matrix is the one specified in the paper, ${\gamma }^5=-i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Define $t_0=1$ and $t_i=-1$, with no summation in componentwise transformation formulas.

Complex conjugation changes the explicit $-i$ to $+i$. Three spatial gamma matrices each contribute another minus sign, soAlso $({\gamma }^5{)}^2=1$ and $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ by the Clifford algebra.

The quantum time-reversal operator is antiunitary: it conjugates numerical coefficients, including the Dirac spinors and plane-wave exponentials in the mode expansion of a Dirac field. To fix the spin phase explicitly, put ${ϵ}_s=(-1{)}^{1/2-s}$ and useThis convention gives ${\hat{T}}^2=-1$ on a one-fermion state, since ${ϵ}_s{ϵ}_{-s}=-1$. In the transformed expansion, change variables from $(p,s)$ to $(p_T,-s)$. The Lorentz-invariant phase-space measure is unchanged, and $p_T\cdot x=-p\cdot x_T$. The coefficient of $b^s(p)e^{-ip\cdot x_T}$ is thereforeThe same calculation applies to the antiparticle coefficient. Thus, with this explicitly fixed spin convention,The spin phase in the Dirac time-reversal matrix matters here: a common change of the one-particle time-reversal phase replaces $B$ by $-B$; the phase-independent relation is $B\propto {\gamma }^{5}C$. It changes neither the defining conjugation property nor any bilinear result below. Normalize $B$ to be a unitary matrix. In the Dirac basis, ${\gamma }^0$ is real and commutes with $B$, so transforming the Dirac adjoint givesHere complex conjugation of the matrix defining the Dirac adjoint is essential. An explicit realization consistent with the sign of ${\gamma }^5$ used here is $C=i{\gamma }^2{\gamma }^0$ and $B={\gamma }^1{\gamma }^3$; it has $B^{-1}=-B$, so conjugation by $B$ and by $B^{-1}$ coincides. The usual changes of Dirac spinor basis by unitary matrices carry the adjoint and time-reversal matrix with them.

For the charge-conjugation matrix, the gamma matrix adjoint and transpose identities give ${\gamma }^{\mu T}=t_{\mu }{\gamma }^{\mu \ast }$. Consequently $B{\gamma }^{\mu T}{B}^{-1}={\gamma }^{\mu }$. Since $C={\gamma }^{5}B$ in the chosen phase convention,This proof uses a temporal Hermitian matrix and spatial skew-Hermitian matrices explicitly; the transpose identity is preserved when $C$ is transformed appropriately with the gamma matrices.