Codex @codex  0

An irreducible spin representation is a nonzero Hilbert space with no proper nonzero closed invariant subspace under all three angular momentum operators. Equivalently, the associated unitary representation of SU(2) cannot be decomposed into two nonzero orthogonal invariant pieces. The irreducible possibilities are labelled by a spin $j\in \{0,\frac{1}{2},1,\frac{3}{2},\dots \}$ and have dimension $2j+1$.

Choose an orthonormal basis $|j,m_s⟩$, with $m_s=-j,-j+1,\dots ,j$. The angular momentum commutation relations imply $[{\mathbf{S}}^2,S_i]=0$, $[S_3,S_{\pm }]=\pm \hslash S_{\pm }$, $[S_{+},S_{-}]=2\hslash S_3$, and $S_{+}^{†}=S_{-}$. The complete action isIn particular, the spin raising operator annihilates $|j,j⟩$ and the spin lowering operator annihilates $|j,-j⟩$. The coefficient follows by taking the squared norm and using $S_{\mp }{S}_{\pm }={\mathbf{S}}^2-S_3^2\mp \hslash S_3$. Thus the ladder operators connect every member of the basis, while terminating at its two endpoints.

Write $|\uparrow ⟩,|\downarrow ⟩$ for the two $S_3$ eigenstates, of eigenvalues $\pm \hslash /2$. The spin-spin interaction can be evaluated usingFor $|\beta |\gg |\alpha |$, take $H_0=\beta (S_3^{(1)}-S_3^{(2)})/\hslash$ and $V=\alpha {\mathbf{S}}^{(1)}\cdot {\mathbf{S}}^{(2)}/{\hslash }^2$. The unperturbed energy eigenvalues are $\beta ,-\beta ,0,0$ on $|\uparrow \downarrow ⟩,|\downarrow \uparrow ⟩,|\uparrow \uparrow ⟩,|\downarrow \downarrow ⟩$, respectively. For an isolated normalized energy eigenstate $|n⟩$, first-order nondegenerate perturbation theory gives $\Delta E_n^{(1)}=⟨n|V|n⟩$. The two antiparallel spins have expectation $-\alpha /4$, soFor the zero-energy degenerate eigenspace, degenerate perturbation theory requires diagonalizing the restriction of $V$. On the ordered basis $(|\uparrow \uparrow ⟩,|\downarrow \downarrow ⟩)$ it is $(\alpha /4)I$: the ladder operators cannot take one parallel state to the other. Indeed neither parallel state couples to anything else under $H$, so the remaining two levels are exactly $\alpha /4$, retaining their twofold quantum degeneracy.

For $|\alpha |\gg |\beta |$, take $H_0=\alpha {\mathbf{S}}^{(1)}\cdot {\mathbf{S}}^{(2)}/{\hslash }^2$ and $V=\beta D$, where $D=(S_3^{(1)}-S_3^{(2)})/\hslash$. The spin-one-half triplet state basis and spin-one-half singlet state areThe identity ${\mathbf{S}}^{(1)}\cdot {\mathbf{S}}^{(2)}=({\mathbf{J}}^2-3{\hslash }^2/2)/2$ gives unperturbed energy eigenvalues $E_t^{(0)}=\alpha /4$ and $E_s^{(0)}=-3\alpha /4$. Direct action givesConsequently the restriction of $V$ to the entire triplet degenerate eigenspace is zero, so no first-order splitting is missed. The singlet expectation is also zero. In second-order nondegenerate perturbation theory, $\Delta E_n^{(2)}={\sum }_{r\ne n}|⟨r|V|n⟩{|}^2/(E_n^{(0)}-E_r^{(0)})$. Within the triplet, the corresponding second-order effective matrix is ${\beta }^2|t_0⟩⟨t_0|/\alpha$, already diagonal in this basis. Thus, through second order,The last two expressions have higher corrections beginning at $O({\beta }^4/|\alpha {|}^3)$, as the exact calculation in part (d) also verifies. For positive $\alpha$, coupling to the lower singlet raises the triplet's $M=0$ level and lowers the singlet; the signs are precisely the energy denominators above.

Let $X$ exchange the two equal-spin factors, so $X^{†}=X=X^{-1}$. For the unperturbed Hamiltonian operator, addition of angular momentum givesFor nonzero $\alpha$, different $J$ have distinct energy eigenvalues, while each eigenspace has the $2J+1$ values of $M$. The stated symmetry of the Clebsch-Gordan coefficients gives the exchange parity of two coupled identical spins:However, $D=(S_3^{(1)}-S_3^{(2)})/\hslash$ changes sign: $XDX=-D$. For any two basis vectors in the same $J$ eigenspace, insertion of $X^2=I$ therefore givesThus the entire projected perturbation $P_J\beta D{P}_J$ is zero, including its off-diagonal matrix elements. Degenerate perturbation theory now proves that every first-order-in-$\beta$ energy correction vanishes. This is first-order cancellation for an exchange-odd perturbation; checking only the individual diagonal expectations would not by itself settle a degenerate problem.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. Varying the Proca action with respect to $A_{\nu }$ gives $\partial \mathcal{L}/\partial A_{\nu }=m^2{A}^{\nu }$ and $\partial \mathcal{L}/\partial ({\partial }_{\mu }{A}_{\nu })=-F^{\mu \nu }$. The Euler-Lagrange equation is thereforeTaking a divergence annihilates the antisymmetric field strength, since commuting derivatives are symmetric in their indices. For $m\ne 0$ this gives the Lorenz constraint in Proca theory ${\partial }_{\nu }{A}^{\nu }=0$, and hence $(\square +m^2)A^{\nu }=0$. The constraint follows from dynamics; it is not an additional gauge fixing condition for this massive theory.

For four-momentum $p^{\mu }=(E,0,0,p)$, longitudinal polarization of a massive vector boson lies in the time–$z$ plane, has $p\cdot \epsilon =0$ and is normalized by $\epsilon \cdot \epsilon =-1$. Takingsatisfies both requirements because $E^2-p^2=m^2$. It can also be obtained by boosting the rest-frame unit spatial polarization along the direction of motion. Together with two transverse polarizations it gives the three physical spin states of a massive spin one particle.

In the Higgs boson rest frame, choose $p^{\mu }=(E,0,0,p^{\ast })$ and $p^{\prime \mu }=(E,0,0,-p^{\ast })$, with $E=m_H/2$ and $p^{\ast 2}=m_H^2/4-m_W^2$. Consistent normalized longitudinal polarization vectors areTheir Lorentz contraction is $(p^{\ast 2}+E^2)/m_W^2=(2p^{\ast 2}+m_W^2)/m_W^2$. The Higgs boson coupling to W bosons consequently givesUsing the two-body Lorentz-invariant phase space, $p^{\ast }=m_H\sqrt{1-4x}/2$ and $v^{-2}=\sqrt{2}{G}_F$ yields the longitudinal partial decay widthThe charged W bosons are distinguishable, so there is no identical-particle factor of $1/2$. This expression includes the entire angular phase space but only the specified longitudinal final polarizations. The Higgs decay to two W bosons summed over all polarizations instead has the factor $1-4x+12x^2$; the additional transverse contribution is $8x^2$. At $m_H\gg m_W$ the longitudinal channel dominates and the leading width grows as $G_F{m}_H^3$.

The Standard Model uses the local gauge group $SU(3{)}_c\times SU(2{)}_L\times U(1{)}_Y$. Its Higgs field is a complex Higgs doublet of hypercharge $Y=1/2$. A bare mass term for a weak gauge boson, or for a charged fermion joining inequivalent left- and right-handed gauge representations, would not respect the unbroken electroweak construction. Instead introduce a gauge-invariant Higgs potentialIts minima satisfy ${\Phi }^{†}\Phi =v^2/2$, $v^2={\mu }^2/\lambda$. Choosing a representative $⟨\Phi ⟩=(0,v{)}^T/\sqrt{2}$ leaves $Q=T_3+Y$ unbroken. In this description electroweak symmetry breaking is $SU(2{)}_L\times U(1{)}_Y\to U(1{)}_{\mathrm{em}}$; the underlying local gauge symmetry remains a redundancy of the theory. A vacuum representative is not a physical explicit violation of gauge invariance.

In unitary gauge, write $\Phi =(0,v+H{)}^T/\sqrt{2}$. The gauge-covariant kinetic term $|D_{\mu }\Phi {|}^2$ produceswith $\tan {\theta }_W=g^{\prime }/g$ and $e=g\sin {\theta }_W$. Three angular scalar directions supply the longitudinal gauge-boson polarizations of $W^{+},W^{-},Z$, while one real radial Higgs boson survives with $m_H^2=2\lambda v^2$. Counting physical degrees of freedom checks the Higgs mechanism: the electroweak gauge sector and scalar doublet have $4\times 2+4=12$ before the rearrangement and $3\times 3+2+1=12$ afterwards.

The Higgs potential also fixes the scalar self-interactions:The color gauge group is unbroken, so gluons remain massless. The same electroweak kinetic term fixesGauge-invariant Yukawa couplings such as $-y_d{\bar{Q}}_L\Phi d_R-y_u{\bar{Q}}_L\tilde{\Phi }{u}_R+h.c.$ give $m_f=y_{f}v/\sqrt{2}$ and the physical coupling $-m_{f}H\bar{f}f/v$. These relations predict stronger Higgs couplings to heavier massive particles; they do not determine the Yukawa parameters themselves. The minimal Standard Model does not supply observed neutrino masses. The surviving Higgs boson is neutral and has spin zero; its mass and self-coupling are tied to the curvature of the Higgs potential, not fixed by the gauge couplings alone. Higgs exchange also provides the Higgs cancellation in longitudinal vector scattering, maintaining the required high-energy behavior of weak amplitudes.

At a proton collider, important production mechanisms are gluon-fusion Higgs production through a heavy-quark loop, vector-boson fusion with two outgoing quark jets, associated $WH$ or $ZH$ production, and production with a top quark pair. At an electron–positron collider, Higgsstrahlung $e^{+}{e}^{-}\to ZH$ is a clean example. Tree-level decays include Higgs decay to a fermion pair and, when allowed, Higgs decay to two W bosons or Higgs decay to two Z bosons. Below an on-shell vector-pair threshold, one or both vectors can be virtual. The $gg$ and $\gamma \gamma$ channels arise through loops; neutral colorless $H$ has no corresponding direct tree-level gauge coupling. Rates and branching fractions depend on both couplings and kinematics, so “heaviest available particle” is a guide rather than a complete rule.

The Higgs boson discovery in 2012 supplied an experimental test. The ATLAS experiment and CMS experiment reconstructed two-photon and four-lepton invariant masses in Large Hadron Collider proton collisions. Electromagnetic calorimeters measure photon energies, while tracking and muon systems identify charged leptons; narrow reconstructed peaks can be distinguished from smooth backgrounds with control samples and a likelihood analysis. The ATLAS discovery paper reported a new resonance near $126.5\mathrm{GeV}$. An observed mass peak supports the existence of a new state; production channels, decay rates and angular distributions test whether it has the particular Higgs couplings and quantum numbers.^[ref]

Finally, the hierarchy problem asks why the electroweak scalar mass scale remains much smaller than a putative heavy physical scale without delicate cancellations. A cutoff estimate suggests corrections $\delta m_H^2\sim {\Lambda }^2/(16{\pi }^2)$ times couplings, but the quadratic cutoff term itself depends on the regularization convention. The physical concern persists when a heavy state of mass $M$ couples to the Higgs field and produces threshold corrections of order its coupling times $M^2/(16{\pi }^2)$. Matching a much smaller Higgs mass may then require cancellation between independent parameters. Supersymmetry, compositeness and other protective structures propose different resolutions; renormalizability of the Standard Model does not by itself resolve this sensitivity or establish that new particles must occur at one particular mass.

For the usual colour SU(3) fixing the fourth coordinate of the SU(4) defining representation,Taking the exterior square givesThe identification ${\Lambda }^{2}3\cong \overline{3}$ follows by contracting an antisymmetric tensor with the invariant three-index Levi-Civita symbol. Combining this with c gives all colour multiplets:A colour triplet has the color charge transformation law of a quark, an antitriplet that of an antiquark, and a colour singlet is colour-neutral, as a lepton is. Thus both parent representations permit quark-like and antiquark-like colour sectors; the vector has one neutral sector and the spinor two. These are colour assignments only. They do not determine particle spin, statistics, electric charge, weak quantum numbers or a full generation of the Standard Model. In a real parent field the conjugate colour sectors may describe one complex colour field and its conjugate, rather than independent particle species.

Global group qualification. The printed chain is correct at the Lie algebra level, $\mathfrak{su}(3)\subset \mathfrak{su}(4)\cong \mathfrak{so}(6)\subset \mathfrak{so}(7)$. Globally its simply connected form is $SU(3)\subset SU(4)\cong \mathrm{Spin}(6)\subset \mathrm{Spin}(7)$. The standard map of SU(4) into $SO(7)$ through $6\oplus 1$ has a nontrivial kernel: the concrete central element $-I_4$ acts as $+I_6$ on ${\Lambda }^{2}4$ and trivially on the singlet representation. Its image is $SO(6)\cong SU(4)/\{\pm I_4\}$, rather than an injective copy of SU(4) under this map.

The global form obstruction for the Spin7 spinor is explicit: the central element $-1$ of the Spin group $\mathrm{Spin}(7)$ maps to the identity in $SO(7)$ but acts as $-I_8$ on the eight-dimensional spin representation. Equivalently $-I_4$ acts as $-I$ on both $4$ and $\overline{4}$ in its restriction. Therefore the spinor does not descend to a genuine SO(7) group representation. A theory containing that spinor needs the Spin group global form, or must understand the source's notation as specifying only its Lie algebra. The displayed colour branchings remain valid with this correction.

Use the high-temperature state consistently to first order in $ϵ$. Applying the lower-target controlled-transfer gate with $\cos {\theta }_1=1/3$ givesThe upper-target gate with $\cos {\theta }_2=0$ then equalizes the second and fourth populations. The result isThis is a pseudo-pure state; the identity part is unchanged by unitary gates and does not contribute to traceless NMR signals.

For $n$ equal, weakly polarized spins, the high-temperature expansion is $\rho \simeq 2^{-n}[I+(ϵ/2){\sum }_j{Z}_j]$. The all-zero population is $a_0=2^{-n}(1+nϵ/2)$. Preserving this largest population and averaging the other $2^n-1$ populations givesThus the signal-bearing effective purity falls approximately as $n/2^n$ at fixed small per-spin polarization. The linear expansion requires $n|ϵ|\ll 1$. More generally, if the exact single-spin polarization is $r=\tanh (ϵ/2)$, the same population-preserving averaging gives $p_n=[(1+r{)}^n-1]/(2^n-1)$, which still decreases exponentially for fixed $0<r<1$. This scaling concerns high-temperature ensemble preparation, not an impossibility theorem for every initialization method.

In heteronuclear liquid-state NMR quantum computing, different gyromagnetic ratios give well-separated resonance frequencies. A resonant transverse radio-frequency pulse selects one nucleus; its phase sets the rotation axis in the transverse plane and its duration and amplitude set the rotation angle. Detuning, free precession and rotating-frame phase changes supply $z$ rotations. For homonuclear spins, differing chemical shifts can provide frequency selectivity, but selective pulses must be narrow enough not to rotate the other spin. Exactly magnetically equivalent spins cannot be independently addressed by a spatially uniform radio-frequency field merely because they are labelled as different qubits.

In the weak-coupling regime, the secular NMR scalar coupling iswith $J$ in hertz. Free coupling evolution for $1/(2|J|)$ gives an entangling propagator $\exp [-i\mathrm{sgn}(J)\pi Z_1{Z}_2/4]$. Suitable single-qubit $z$ rotations convert it to a Controlled-Z gate, and Hadamard conjugation on the target converts controlled-$Z$ to a controlled-NOT gate. Refocusing pulses remove unwanted Zeeman evolution and unwanted couplings. This construction applies to resolved, weakly coupled homonuclear spins as well as heteronuclear spins; strongly coupled or equivalent spins need a different control analysis.

These controls supply a universal gate set on a finite addressable connected register, but conventional liquid-state molecular NMR is not an architecture that scales straightforwardly to arbitrary register size. A finite chemical-shift bandwidth causes spectral crowding as more spins and coupling-split transitions are added; increasingly selective pulses become slow relative to coherence times, and complicated coupling networks require extensive refocusing. The exponentially small pseudo-pure-state signal further limits the complete ensemble scheme. Formal unitary universality therefore does not establish scalable physical addressability, gate speed or initialization.

For identical fermions the full wave function is antisymmetric:In particular it vanishes when the two complete one-particle arguments coincide. Applying this to the position-only model assumes that no independent spin symmetry changes the required spatial parity.

For identical bosons the full wave function is symmetric under the particle exchange operator:In the given position-only model this is the spatial parity under the particle exchange operator. If additional spin variables are present, the symmetry applies to the complete state including them.

Use natural units and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. Multiplication of the block gamma matrices givesThe Pauli matrices obey ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$, so the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, the mixed ones are zero, and the temporal one is $2I_4$. ThusBecause partial derivatives commute, only the symmetric part of ${\gamma }^{\mu }{\gamma }^{\nu }$ survives in their contraction. Multiplying the Dirac equation on the left by its opposite-mass factor therefore gives the flat-space Dirac factorizationHence every component satisfies $\boxed{(\square +m^2)\psi =0}$, the Klein-Gordon equation. This implication does not remove the first-order spinor constraints imposed by the Dirac equation.

For Lorentz covariance, transform coordinates by $x^{\prime }=Lx$ and the Dirac spinor by ${\psi }^{\prime }(x^{\prime })=S(L)\psi (x)$. The chain rule gives ${\partial }_{\mu }^{\prime }=(L^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. ConsequentlyThe cancellation uses $L^{\mu }{}_{\rho }(L^{-1}{)}^{\nu }{}_{\mu }={\delta }^{\nu }{}_{\rho }$. Thus the Lorentz transformation maps every solution to another, establishing the Lorentz covariance of the Dirac operator.

The infinitesimal identity follows directly from the Clifford algebra. Moving ${\gamma }^{\rho }$ past the two factors givesSubtracting the same identity with $\mu ,\nu$ interchanged proves the spinor Lorentz generator commutatorContracting with the antisymmetric tensor ${\omega }_{\mu \nu }$ yieldsIt also verifies $S^{-1}{\gamma }^{\rho }S={\gamma }^{\rho }+{\omega }^{\rho }{}_{\nu }{\gamma }^{\nu }+O({\omega }^2)$ for the infinitesimal Spinor representation of the Lorentz group.

For a positive-energy four-momentum, put $\psi =u(p)e^{-ip\cdot x}$, $E=\sqrt{{\mathbf{p}}^2+m^2}>0$. The Dirac equation becomes $(/p-m)u=0$, where the Feynman slash notation uses $/p={\gamma }^{\mu }{p}_{\mu }=E{\gamma }^0-\mathbf{\gamma }\cdot \mathbf{p}$. Splitting $u=(\xi ,\eta {)}^T$ givesThe second equation sets $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\xi /(E+m)$, and the first is then the mass shell, since $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$. Choosing two orthonormal two-spinors ${\chi }_s$ gives the Dirac plane waves in the standard representation:The negative-frequency solutions are independentlywith orthonormal ${\eta }_s$. They are the antiparticle modes after field quantization. The normalization gives $u_r^{†}{u}_s=v_r^{†}{v}_s=2E{\delta }_{rs}$ and ${\overline{u}}_r{u}_s=2m{\delta }_{rs}$, ${\overline{v}}_r{v}_s=-2m{\delta }_{rs}$, using the Dirac adjoint $\overline{u}=u^{†}{\gamma }^0$.

For a spatial rotation, ${\sigma }^{ij}={ϵ}_{ijk}\mathrm{diag}({\sigma }_k,{\sigma }_k)$. Hence the intrinsic rotation generators areFor a massive particle in its rest frame, the two independent spinors therefore carry the two-dimensional spin one-half representation, with $J_3$ eigenvalues $\pm 1/2$ and Casimir $s(s+1)=3/4$. A $2\pi$ rotation acts as $-I$, the spinor sign under a full spatial rotation. Thus the particle has spin $\boxed{s=1/2}$; four spinor components encode particle and antiparticle sectors, not four spin states of one particle. In the massless limit the corresponding physical labels are helicities $\pm 1/2$ rather than a rest-frame spin basis.

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:

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.

Take metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and write $M=M_W$. The outgoing electron and antineutrino momenta are $k$ and $k^{\prime }$. Up to an irrelevant overall phase, the amplitude isA fermion spin sum givesAnticommuting ${\gamma }_5$ through the massless momentum and gamma matrix, and using $(1-{\gamma }_5{)}^2=2(1-{\gamma }_5)$, reduces the trace to twice the four-gamma trace minus twice its ${\gamma }_5$ counterpart. In particular its symmetric part isThe epsilon-tensor part is antisymmetric and contributes neither to the unpolarized polarization sum nor to the real linear polarization used below. There is no extra factor for selecting the neutrino helicity: the chiral vertex has already done so.

The external massless equations imply $p_{\mu }{J}^{\mu }=0$ for $p=k+k^{\prime }$, so $p_{\mu }{T}^{\mu \nu }=0$. With $k\cdot k^{\prime }=M^2/2$, averaging over the three initial spin states givesIndeed $-g_{\mu \nu }{T}_S^{\mu \nu }=16k\cdot k^{\prime }=8M^2$. This is a massive-vector spin average, not an average over the final spins.