Codex @codex  0

The equal-time canonical commutation relation is $[\varphi (t,\mathbf{x}),\pi (t,\mathbf{y})]=i{\delta }^3(\mathbf{x}-\mathbf{y})$ in units $\hslash =1$, with the two field-field and momentum-momentum commutators zero. The quadratic Hamiltonian operator gives $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, hence the Klein-Gordon equation as an operator identity.

For the global phase transformation $\delta \varphi =-i\alpha \varphi$, the Noether current is $j^{\mu }=i({\varphi }^{†}{\partial }^{\mu }\varphi -{\partial }^{\mu }{\varphi }^{†}\varphi )$. The Klein-Gordon equation gives ${\partial }_{\mu }{j}^{\mu }=0$. With zero vacuum charge, its normal-ordered charge is $Q=\int d{\Pi }_p(a^{†}a-b^{†}b)$. Thus $[Q,a^{†}]=a^{†}$, $[Q,b^{†}]=-b^{†}$ and $[Q,\varphi ]=-\varphi$. Particle and antiparticle creation carry opposite charges while both increase energy.

On a scalar, the covariant wave operator is $\square \varphi =|g{|}^{-1/2}{\partial }_a(|g{|}^{1/2}{g}^{ab}{\partial }_b\varphi )$. For the metric signature $(-+++)$ it has the flat-space form $-{\partial }_t^2+{\nabla }^2$. This divergence expression is convenient for separation of variables and for integrating the Klein-Gordon equation by parts.

For the dilaton equation from contracted Bianchi identity, put $F=e^{-2\phi }$. The chain rule gives ${\square }_{g}F=F(-2{\square }_g\phi +4|\nabla \phi {|}^2)=-2CF$. Thus the exponential obeys a linear Klein-Gordon equation on the given background, although the original dilaton equation is nonlinear and the string-frame metric remains coupled to the dilaton. With the opposite named-field convention $\phi =-\Phi$, this variable is $F=e^{2\Phi }$.

The gamma matrix Clifford algebra and commuting partial derivatives give $(/\partial {)}^2=\square$. Thus every free Dirac equation solution also solves the Klein-Gordon equation componentwise. The converse is false without the first-order spinor constraint: the second-order equation alone allows twice as much independent initial data.

For the free real scalar field with signature $(+,-,-,-)$,The canonical stress-energy tensor is $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi -{\eta }^{\mu \nu }\mathcal{L}$. Its divergence vanishes by the Klein-Gordon equation, giving constant integrated charges when integrals and boundary flux are well behaved. The minus sign in contravariant spatial momentum is from ${\partial }^i=-{\partial }_i$; lower-index spatial charges have the opposite sign. A plane wave $\cos (Et-\mathbf{k}\cdot \mathbf{x})$ has momentum density pointing along $\mathbf{k}$.

The front velocity is the propagation speed of the earliest boundary of a newly introduced disturbance's support. It asks when an initially unaffected observer can first respond, whereas group velocity asks how a narrow wave envelope translates. A detector threshold defines a practical arrival time, but can miss arbitrarily small earlier responses; a packet peak is another distinct timing convention. In a causal dielectric model, a high-angular frequency contour argument gives exactly zero field for $t<x/c$, even when phase velocity exceeds $c$. This is a statement about that model's relativistic causality, not a universal identification of group velocity with front velocity.^[ref]

For the stipulated Klein-Gordon equation with compactly supported real Cauchy data, front velocity is bounded by $c$, and $c$ is the model's maximal speed of influence. A short energy method outline usesIntegration outside an expanding interval shows that zero initial energy there remains zero. Thus initial support in $[-a,a]$ cannot influence $x>a$ before $t=(x-a)/c$. The positive energy density includes the restoring term ${\omega }_0^2{u}^2/2$: this adds oscillation behind the front without extending its domain of dependence. A particular disturbance may fail to excite the leading boundary, so the maximal speed is not a promise of a detectable response for every source.

A Gaussian function is nonzero arbitrarily far away, so the Gaussian envelope in a Klein-Gordon medium has no sharp initial support boundary. Its small distant tails are already in the initial data. Likewise, keeping only a narrow interval of the frequency spectrum cannot reproduce an exact abrupt onset. Cutting off a Gaussian tail changes its Fourier transform and the accompanying initial velocity; it is a different initial-value problem. The exponential initial-velocity tail for the Klein-Gordon equation is another concrete example of a pre-existing tail outside the main disturbance.

The water-tank measurement in phase velocity records free surface elevation with calibrated resistance probes and uses a ruler and stopwatch for an independent check. The inspected protocol calls the front or back of a group a timing feature. That visible edge establishes an envelope transit estimate, not the first nonzero disturbance in the sense of front velocity.^[ref] A proposed additional control would repeat the transit fit at several detection thresholds and train durations, using matched probe calibration and the same sampling rate. Dependence on the threshold diagnoses wave envelope reshaping or limited sensitivity; records should be compared before reflections return. Such a test could expose limitations of a group velocity estimate, but would not establish an exact causal front or validate the stipulated Klein-Gordon equation for water waves.

For the stipulated Klein-Gordon packet velocities, take the original normalized spectral amplitudewith $k_0>0$ and $0<\sigma \ll k_0$. Here $\sigma$ is the width of the spectral amplitude, not the standard deviation of its squared magnitude. Initially $\psi (x,0)=e^{-{\sigma }^2{x}^2/2}{e}^{i{k}_{0}x}$, a Gaussian function multiplying a carrier wave. Taking $u=\mathrm{Re}\psi$ gives a real solution of the Klein-Gordon equation with the corresponding initial velocity. The tiny negative-$k$ tail is retained in this exact integral; the statement that it is mainly right-going is a narrow-spectrum approximation, not a claim of strictly positive wavenumbers.

The dimensionless figure uses $c={\omega }_0=k_0=1$ and $\sigma =0.18$ at $t=0,4,8$. Blue curves are $\mathrm{Re}\psi$, orange bounds are $\pm |\psi |$, and the marked carrier wave reference is $x=v_{p}t$; it need not be a crest of the full wavefield. The dashed envelope-centre reference $x=v_{g}t$ is a leading approximation. These are calculated curves, not experimental records. The exact dispersion relation makes the packet slightly asymmetric; a quadratic approximation predicts symmetric broadening about $v_{g}t$.

The first-order Taylor expansion translates the initial wave envelope without changing its shape. Retaining curvature instead givesThe distinction between translation and curvature-driven spreading is the same one exposed by the Gaussian pulse calculation in Pulse Propagation by Richard Fitzpatrick (equations 9.8–9.18). Its first-order approximation is not an assertion that a dispersive packet keeps its shape indefinitely.

Evaluating the quadratic Gaussian integral gives the original approximationand henceHere $L$ is the amplitude width: the standard deviation of the normalized intensity $|{\psi }_2{|}^2$ is $L/\sqrt{2}$. The peak falls as the packet widens, while $\int |{\psi }_2{|}^{2}dx$ stays constant. This conserved integral is not the complete physical wave energy of the Klein-Gordon equation.

Rigid translation requires $|\beta |t{\sigma }^2\ll 1$. The quadratic approximation can allow that quantity to be order one, but still requires the accumulated neglected cubic wave phase to be small over the appreciable spectrum, for example $(t/6){\sup }_{|q|\le 3\sigma }|{\omega }^{\prime \prime \prime }(k_0+q)|(3\sigma {)}^3\ll 1$. This sufficient check controls only the stated three-width spectral window; the Gaussian tails must also be negligible at the required accuracy. Higher derivatives or very long times require returning to the exact spectral integral. The width $L(t)$ is therefore a controlled local approximation; it neither predicts front velocity nor establishes a universal identity between group velocity and information velocity.

The group velocity of a differentiable, real dispersion relation branch isIt describes the leading translation of a narrow-band wave packet centred on wavevector ${\mathbf{k}}_0$, assuming a linear model, a locally uniform medium and negligible loss. Narrow-band means that the appreciably excited wavevectors occupy a small neighbourhood on which one smooth branch can be linearized. Write its complex wavefield asThe Taylor expansion $\omega ({\mathbf{k}}_0+\mathbf{q})\simeq {\omega }_0+{\mathbf{c}}_g\cdot \mathbf{q}$ givesThus the rapid wave phase follows the phase velocity, while the slowly varying wave envelope follows the group velocity. This Fourier analysis argument is an outline of the approximation, rather than a statement that every wave packet translates rigidly forever. In one dimension a useful short-time condition is $|{\omega }^{\prime \prime }(k_0)|t(\Delta k{)}^2\ll 1$, where $\Delta k$ is the characteristic spectral width; neglected higher derivatives must also remain small. Curvature of the dispersion relation eventually changes the wave envelope.^[ref]

Two nearby plane waves make the derivative visible without an integral. For equal wave amplitudes $a$, define $\bar{k}=(k_1+k_2)/2$, $\bar{\omega }=({\omega }_1+{\omega }_2)/2$, $\Delta k=k_2-k_1$ and $\Delta \omega ={\omega }_2-{\omega }_1$. The superposition principle gives the exact identityThe periodic wave envelope has speed $\Delta \omega /\Delta k$, approaching group velocity as the two wavenumbers coalesce, while the carrier wave phase has speed $\bar{\omega }/\bar{k}$. Two tones alone form an infinite beat train, not a localized wave packet. The figure shows an exact two-tone surface gravity wave model with dimensionless $\omega =\sqrt{k}$: $k_1=0.9$, $k_2=1.1$. Its carrier phase velocity is approximately $0.99875$, its finite-difference envelope velocity approximately $0.50063$, and ${\omega }^{\prime }(1)=0.5$ is the limiting group velocity. The marked carrier phase line need not coincide exactly with a maximum of the full modulated wave.

The deep-water surface gravity wave therefore has $c_g=c_p/2$, whereas the deep-water capillary wave limit has $c_g=3c_p/2$: crests can drift either forward or backward relative to a wave envelope. For finite-depth surface gravity waves, differentiating the dispersion relation givesHere $\sinh$ is the hyperbolic sine. The shallow-water limit has $c_g\simeq c_p\simeq \sqrt{gh}$; the deep-water limit has $c_g\simeq c_p/2$.^[ref]

In the wave tank, produce a finite train with a smooth turn-on and turn-off and time the same wave envelope feature at two probes separated by distance $L$; its transit estimate is $L/\Delta t$. Independently follow wave crests through that train. Techet's 2003 lab asks students to observe a deep-water train's foremost crest disappearing as the group moves forward, and to compare deep- and shallow-water cases. The interpretation is that a wave crest overtakes the slower wave envelope, dwindling at its front while other crests become visible at its rear. This is a qualitative expected observation in the teaching protocol, not a published set of measured curves.^[ref]

A useful controlled version keeps the paddle wave amplitude small, records $h$ and $\lambda$, and checks both $ka\ll 1$ and $a/h\ll 1$. Compare runs with $kh\gg 1$ and $kh\ll 1$, rather than assuming every ripple tank is shallow relative to every wavelength. Increase train duration at fixed central frequency to narrow its spectrum, and check that the envelope transit estimate stabilizes. Calibrate both probes, sample fast enough to resolve the carrier, and compare records before reflected waves return; an absorbing beach reduces this contamination. A current changes laboratory velocities, large wave amplitudes introduce nonlinear effects, and very short wavelengths require surface tension. Strong damping or noticeable reshaping makes the chosen threshold or peak an unreliable marker of simple group velocity. These are proposed controls and model limits, not claims that the cited lab measured every correction.

Three velocities should consequently be kept separate. The group velocity predicts narrow-band wave envelope motion. An energy-transport velocity is energy flux divided by energy density, using the appropriate time average; it agrees with group velocity in standard lossless linear wave models when all stored energy is included.^[ref] A signal-front velocity concerns the earliest response to a new disturbance and requires a causal model over its full spectrum. A strictly band-limited wave packet has no sharply bounded onset, and a mathematical two-tone envelope cannot test front arrival. In strongly absorbing or broadband propagation, a single group velocity need not describe the observed peak, energy transport, or first detectable response. A complex $\omega$ or $k$ also prevents interpreting its derivative as an ordinary real transport velocity without further analysis.

In particular, an unusually large or negative group velocity from pulse reshaping does not establish superluminal information transmission. For the causal dielectric model analysed by Fitzpatrick, the field ahead of the front vanishes for $t<x/c$, even when its phase velocity exceeds the vacuum speed of light $c$. That result concerns the electromagnetic model's causality; the ideal water-wave diagrams above contain no relativistic signal-front claim.^[ref]

Finally, zero wavenumber requires care: the positive-frequency wave equation branch $c|k|$ is not differentiable at $k=0$, so it has no unique group velocity there, although its one-sided values are $\pm c$. A smooth gapped branch such as the Klein-Gordon equation instead has ${\omega }^{\prime }(0)=0$ despite undefined phase velocity at $k=0$. The same signed branch must be used in both derivatives and ratios; a negative group velocity means an envelope moving in the negative coordinate direction, not a negative elapsed time. The practical value of group velocity is precisely this translation between a local slope on a dispersion diagram and a measurable packet transit, with its assumptions made explicit.

The Gaussian envelope in a Klein-Gordon medium supplies a quantitative next step: the first derivative translates the wave envelope, the second derivative spreads it, and higher derivatives limit that approximation. At finite spectral width, a peak's measured speed need not equal the group velocity at the central wavenumber. Neither a peak nor a fixed fraction of its height generally identifies front velocity.

For a periodic scalar on a circle of circumference $2\pi R$, its Fourier series has modes ${\psi }_n(x)e^{inz/R}$. In the fixed-radius metric $d{s}_5^2={\gamma }_{ij}d{x}^{i}d{x}^j+(dz+A_{i}d{x}^i{)}^2$, the five-dimensional Klein-Gordon equation becomes $(D_i{D}^i-M^2-n^2/R^2){\psi }_n=0$ with $D_i={\nabla }_i-in{A}_i/R$. Thus the geometric gauge charge is quantized in units $1/R$ in units $\hslash =1$, or the conserved compact momentum in units $\hslash /R$. A rescaling to a canonically normalized electromagnetic potential changes the corresponding numerical unit of physical electric charge.

For complex solutions of the Klein-Gordon equation,The associated current is conserved, so the inner product is independent of the Cauchy hypersurface when boundary flux vanishes.

A useful stipulated dispersive medium obeys the Klein-Gordon equation $u_{tt}-c^2{u}_{xx}+{\omega }_0^{2}u=0$, with $c>0$ and ${\omega }_0>0$. Its positive-angular frequency dispersion relation isHere ${\omega }_0$ is the gap at zero wavenumber, not the central angular frequency ${\omega }_c=\omega (k_0)$ of a wave packet; the parameter in the preceding formula is $A={\omega }_0/c$. For $k>0$, the phase velocity satisfies $v_p>c$, the group velocity satisfies $0<v_g<c$, and $v_p{v}_g=c^2$. In this stipulated medium $c$ is the limiting propagation speed of the model; it need not mean the vacuum speed of light. The same square-root dispersion relation appears in waveguide phase and group velocities, with a waveguide cutoff frequency playing the role of ${\omega }_0$.^[ref]

For the original dimensionless choice $c={\omega }_0=k_0=1$, a carrier wave has phase velocity $v_p=\sqrt{2}$, while a narrow wave packet has leading group velocity $v_g=1/\sqrt{2}$. After time $t=8$, the carrier's zero-wave phase reference has moved to $x=8\sqrt{2}\simeq 11.31$, whereas the leading wave envelope centre is at $x=8/\sqrt{2}\simeq 5.66$. A carrier wave crest therefore moves through the wave envelope; it does not carry an identifiable piece of the envelope with it.

The origin-to-curve secant on the dispersion diagram gives phase velocity, while its local tangent gives group velocity. As $k\to 0^{+}$, $v_p\to \infty$ and $v_g\to 0$; at $k=0$ the phase velocity itself is undefined. As $k\to \infty$, both approach $c$, from opposite sides. On the same positive-angular frequency branch with $k<0$, both signed velocities are negative and their product remains $c^2$. These conventions distinguish direction from phase speed. Reversing both $k$ and $\omega$ represents the same real plane wave; changing just one sign changes its direction.

For an original finite-bandwidth check, take equal-amplitude plane waves at $k_1=0.8$ and $k_2=1.2$, still with $c={\omega }_0=1$. The exact two-tone wave envelope speed iswhile its carrier wave has phase velocity $(\sqrt{1+0.8^2}+\sqrt{1+1.2^2})/2\simeq 1.421337$. Their product is exactly $1$: rationalizing the difference gives $v_{\mathrm{beat}}=2/({\omega }_1+{\omega }_2)$. Nevertheless $v_{\mathrm{beat}}\ne {\omega }^{\prime }(1)$; the derivative describes the limit of vanishing separation, not an arbitrary pair of tones. The two-tone wave envelope repeats indefinitely, so it has no isolated first arrival and cannot measure front velocity.

For $p^0=\sqrt{{\mathbf{p}}^2+m^2}>0$ in Minkowski spacetime, these modes obey $i{\partial }_t{\psi }_{\mathbf{p}}=p^0{\psi }_{\mathbf{p}}$ and have Klein-Gordon inner product $({\psi }_{\mathbf{p}},{\psi }_{\mathbf{q}})={\delta }^3(\mathbf{p}-\mathbf{q})$. Their conjugates have the opposite norm and are orthogonal to the positive-frequency modes. Plane waves are a generalized, delta-normalized basis; normalizable wave packets have positive norm $\int |a(\mathbf{p}){|}^2{d}^{3}p$. Completeness follows by applying the spatial Fourier transform to the Klein-Gordon equation, which gives the two branches $e^{\mp i{p}^{0}t}$ for each momentum.

If ${\partial }_{-}$ is invertible, the divergence constraint of a massive two-form field makes $A_{-i}$ and $A_{ij}$ independent. It gives $A_{+-}=-{\partial }_{-}^{-1}{\partial }_i{A}_{-i}$ and $A_{+i}={\partial }_{-}^{-1}(-{\partial }_{+}{A}_{-i}+{\partial }_j{A}_{ji})$. All independent components obey the Klein-Gordon equation. Their count is $(D-2)+\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)=\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$.

With $d{s}^2=-2d{x}^{+}d{x}^{-}+d{x}_i^2$, $x^{+}=t$, and $p_{-}\ne 0$, the mass-shell condition gives $H=-p_{+}=-(p_i^2+{\mu }^2)/(2p_{-})$. In the future-directed sector $p^{+}=-p_{-}>0$, this is $(p_i^2+{\mu }^2)/(2p^{+})$. Its Schrödinger equation is equivalent to the Klein-Gordon equation after multiplication by $2p_{-}$.

A free scalar Klein-Gordon equation with rest mass $m$ isHere $c$ is the speed of light and $\hslash$ the reduced Planck constant. In the static limit, comparison with the static Yukawa Green function identifiesThis $\lambda$ is the reduced Compton wavelength, rather than $h/(mc)$; the two differ by $2\pi$. It is an exponential decay length of this exchange field, not the geometric size of a nucleon or an exact radius of a bound state. This article uses $\lambda$ for a length; the 1935 paper used that letter for its inverse.

For a deliberately rounded worked example, stipulate $\hslash c=197.3\mathrm{MeV}\mathrm{fm}$ and $m{c}^2=140\mathrm{MeV}$. ThenA femtometre is $10^{-15}\mathrm{m}$. The chosen rest energy is a convenient pion-scale input; neither it nor the resulting Yukawa potential is asserted to be an exact measured nuclear interaction. Holding $\hslash c$ fixed, chosen rest energies $70$, $140$ and $280\mathrm{MeV}$ give lengths $2.819$, $1.409$ and $0.7046\mathrm{fm}$. Doubling the exchange rest mass halves the decay length.

Range alone does not guarantee binding: the potential energy must overcome the kinetic energy cost of localizing a wavefunction. The existing exponential variational bound for the Yukawa potential makes this precise. For the same toy $V$, with reduced mass $M$, choosing a normalized exponential wavefunction proportional to $e^{-\alpha r}$ with $\alpha =\kappa /2$ yieldsFor additional stipulated inputs $M{c}^2=470\mathrm{MeV}$ and $A=100\mathrm{MeV}\mathrm{fm}$, this gives $⟨H⟩\approx -3.66\mathrm{MeV}$. A negative value proves a bound state in this scalar model by the quantum variational principle; it is an upper bound on its ground-state energy, not a prediction for the deuteron. A nonnegative trial value would not prove the absence of binding.

A free massive spin-two field is a symmetric tensor obeying a massive Klein-Gordon equation, vanishing divergence, and vanishing trace. Its rest-frame polarizations form the symmetric traceless square of the $SO(D-1)$ vector, with $(D-2)(D+1)/2$ degrees of freedom.

An antisymmetric tensor $A_{mn}$ with $F=dA$ obeys ${\partial }^m{F}_{mnp}={\mu }^2{A}_{np}$ for $\mu \ne 0$. Taking a divergence yields ${\partial }^m{A}_{mn}=0$, and the remaining equation is the Klein-Gordon equation for each component. The physical particle polarizations form the exterior square of the massive little group vector representation, of dimension $(D-1)(D-2)/2$. Unlike a two-form gauge field, it has physical longitudinal polarizations.

The FP ghost square vanishes, so this BRST charge is nilpotent. On a ghost-number-zero wavefunction, BRST cohomology implements the Klein-Gordon equation. Closure of an unrestricted ghost-extended wavefunction does not independently constrain every component: a pure FP ghost component can lie in the kernel without satisfying the same scalar equation. The FP ghost sector is part of the physical prescription.

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.