Codex @codex  0

The continuous spacetime symmetries are translations, spatial rotations and Lorentz boosts, together the connected Poincaré group. The theory also has local electromagnetic U(1) gauge symmetry, which is an internal symmetry rather than a spacetime transformation. A nonzero mass and a dimensionful interaction do not give an additional exact scale invariance.

In four dimensions the action is dimensionless and $[\partial ]=1$. The two kinetic terms giveThe axion-photon operator has mass dimension five, so this is an effective field theory. Its dimensionless interaction strength grows with energy as $|g_a|E$. Without information about an ultraviolet completion, a conservative parametric validity condition is $E\ll \Lambda$ with $\Lambda \sim |g_a{|}^{-1}$, and $m_a$ must also lie below that scale for the axion to be a degree of freedom in the effective theory. Numerical factors such as $4\pi$ depend on the ultraviolet dynamics and on the chosen perturbative criterion; the Lagrangian alone does not fix them.

For isotropic planar photon emission in a rest frame, aberration of light maps its forward half of the angular directions into a lab cone of semi-angle $\alpha$ satisfying the displayed equation. This follows from $\cos \theta =(\cos {\theta }^{\prime }+\beta )/(1+\beta \cos {\theta }^{\prime })$ at ${\theta }^{\prime }=\pm \pi /2$. For a fast positive Lorentz boost, $\alpha \sim 1/\gamma$. The half fraction concerns photon count or directions: the relativistic Doppler effect changes the angular energy weights, so the cone need not contain half the radiant energy.

For $f(w)=-aw+b{w}^n$, with $a,b>0$ and integer $n>1$, a positive localized static pulse has $C^{n-1}=a(n+1)/(2b)$ and $B=(n-1)\sqrt{a}/2$. Writing the same profile as $[A{\cosh }^2(Bx){]}^{1/(1-n)}$ instead gives $A=2b/[a(n+1)]$. These are different amplitude conventions for the same solution. A Lorentz boost moves the pulse at speed $\tanh \beta$, preserves its peak height and contracts its width by $1/\cosh \beta$. Existence alone does not imply dynamical stability.

Rapidity is a dimensionless parameter for a signed collinear velocity $u$ with $|u|<c$, defined using the inverse hyperbolic functions byHere $c$ is the speed of light, and $\tanh$ is the hyperbolic tangent. Zero velocity has zero rapidity; negative velocity has negative rapidity. Every finite real rapidity gives $|u|<c$, while $u\to \pm c$ requires $\theta \to \pm \infty$. Thus a light ray has no finite rapidity in this parametrization. The header's formula uses natural units $c=1$: its $v$ is the numerical velocity $u/c$.

For the inertial frames in the velocity-addition formula, $S^{\prime }$ moves at signed velocity $V$ along the $x$-axis of $S$. Set $\varphi =\mathrm{artanh}(V/c)$. Re-expressing the same particle in the moving inertial frame givesThe subtraction is a passive change of reference frame; the inverse adds the particle's rapidity in $S^{\prime }$ to the frame's rapidity relative to $S$. For example, $V=0.6c$ and $u^{\prime }=0.6c$ give $\varphi ={\theta }^{\prime }=\ln 2$, so $\theta =\ln 4$ and $u=c\tanh (\ln 4)=15c/17$, exactly as in the velocity-addition formula.

For a massive particle of rest mass $m>0$ moving in one spatial dimension, its energy and signed momentum areThe hyperbolic cosine is the particle's Lorentz factor, and the hyperbolic sine is $\gamma u/c$. The hyperbolic Pythagorean identity immediately gives the relativistic energy-momentum relation $E^2-c^2{p}^2=m^2{c}^4$. In the older $c=1$ notation, writing the rest mass as $M$ recovers $v=\tanh \theta$, $E=M\cosh \theta$, and $p=M\sinh \theta$. These expressions use natural units in which the factors of $c$ are numerically one; the preceding formulas restore those factors explicitly. ^[ref].

The useful simplification follows from the hyperbolic-function identity $\tanh (a+b)=(\tanh a+\tanh b)/(1+\tanh a\tanh b)$: the nonlinear velocity-addition formula becomes ordinary addition of rapidities. See iterated collinear boosts with equal rapidity for a plotted example. A common collinear Lorentz boost shifts every rapidity by the same constant, so a rapidity difference is invariant. This makes rapidity useful for relativistic factorized scattering in one spatial dimension, where two-body S-matrices depend on the difference of the incoming rapidities, with particle species fixed.

Two equal opposite line charge densities moving in opposite directions have zero net line charge but a nonzero total current $I$. Under a longitudinal Lorentz boost, the charge-current four-vector gives ${\lambda }^{\prime }=\gamma (\lambda -vI/c^2)=-\gamma vI/c^2$. Equivalently, for lab densities $n$ and speeds $\pm u$, their separate boosted number densities are $\gamma n(1\mp vu/c^2)$. Their imbalance creates the boosted radial electric field, consistently with Lorentz transformation of electromagnetic fields and Gauss's law.

For the real scalar field with metric $(+,-)$ and potential $U={\kappa }^2({\varphi }^2-1{)}^2/2$, the static phi-four kink is ${\varphi }_0(x)=\tanh (\kappa x)$ and satisfies ${\varphi }_0^{\prime 2}=2U({\varphi }_0)$. Its mass is $M=\int {\varphi }_0^{\prime 2}dx=4\kappa /3$. A Lorentz boost gives $\varphi (t,x)={\varphi }_0(\gamma (x-vt))$. The stress-energy tensor gives $P=-\int {\varphi }_t{\varphi }_{x}dx=\gamma v\int {\varphi }_0^{\prime 2}dx=\gamma Mv$. Similarly, $E=\frac{1}{2}[\gamma (1+v^2)+{\gamma }^{-1}]M=\gamma M$, proving the energy–momentum relation $E^2-P^2=M^2$.

For $p^2=m^2>0$, let a unitary operator $U$ implement a Lorentz boost taking $p$ to $(m,0)$. For a Lorentz scalar field, $⟨q|\varphi (x)|p⟩=⟨\Psi |\varphi (0)|m,0⟩$ with $|\Psi ⟩=e^{-i(q-p)\cdot x}U|q⟩$. The phase follows from translation covariance of a quantum field; its complex conjugate enters the bra. The transformed energy eigenvalue is $(\Lambda q{)}^0=p\cdot q/m$ by invariance of the Minkowski inner product. The reduction requires a massive initial state.

The static kink ${\varphi }_K(x)=4\arctan e^{x-a}$ joins adjacent scalar-field vacua $0$ and $2\pi$. It obeys ${\varphi }_K^{\prime }=2\mathrm{sech}(x-a)$ and has topological charge $Q=[\varphi (+\infty )-\varphi (-\infty )]/(2\pi )=1$. In the Sine-Gordon theory normalization with physical mass scale $m$ and coupling $\beta$, its classical mass is $8m/{\beta }^2$. A Lorentz boost gives ${\varphi }_K=4\arctan \exp [(x-vt-a)/\sqrt{1-v^2}]$. Spatial reflection gives an antikink.

Choose $m_{\tau }=2\mathrm{GeV}$ and $\sqrt{s}=6\mathrm{GeV}$ purely for illustration. Then each parent has $E_{\tau }=3\mathrm{GeV}$, $|{\mathbf{p}}_{\tau }|=\sqrt{5}\mathrm{GeV}$ and $\beta =\sqrt{5}/3$. Treat all six daughters as massless, including the charged electron and antimuon, and generate each three-body particle decay with constant squared decay amplitude. Choose the parent direction isotropically and the two decays independently; this omits the physical production angular law and spin correlations.

The Lorentz-invariant phase space factorizes through $t=q^2$ into a two-body decay to $\ell +q$, followed by a two-body decay of $q$:After angular integration the first factor contributes $1-t/m_{\tau }^2=x$, while the massless second factor is constant. Since $|dt|=m_{\tau }^{2}dx$, the normalized chosen density is $f(x)=2x$. Drawing $x=\sqrt{U}$ with $U$ uniform on $[0,1]$ implements this density. Isotropic directions, followed by a Lorentz boost for the invisible pair and another for the parent, conserve the complete four-momentum of each generated event.

Define transverse acoplanarity by $\alpha =\pi -\Delta \varphi$, where $\Delta \varphi \in [0,\pi ]$ is the angle between the two visible momentum projections perpendicular to the beam. A fully visible two-body event with zero initial transverse momentum has $\alpha =0$ and $M_{\mathrm{miss}}^2=0$. The toy tau lepton events spread away from that point. These observables are complementary: an angular imbalance asks about directions, while the missing invariant mass also uses the visible energies and longitudinal momenta.

A Lorentz-invariant phase space density supplies allowed configurations and their geometric measure. A physical weak interaction decay amplitude reweights them and correlates spins. Consequently the plotted density is a lesson about conservation and available configurations, not a predicted experimental rate or a fit to the discovery sample. The massless charged-daughter approximation is also unsuitable near the muon rest-energy threshold.

Thomas precession is the kinematic rotation arising when the successive instantaneous rest frames of an accelerated particle are connected by noncollinear Lorentz boosts. Its contribution is needed in deriving the leading atomic spin-orbit coupling: for an electron in central potential energy $U(r)$, the corrected term is $H_{\mathrm{so}}=[2m_e^2{c}^{2}r{]}^{-1}(dU/dr)\mathbf{L}\cdot \mathbf{S}$. A rest-field argument alone gives twice this coefficient.^[ref]

For ${\varphi }_K(x-X)=c\tanh (c(x-X))$ in the unit kinetic normalization, $\int ({\varphi }_K^{\prime }{)}^{2}dx=M=4c^3/3$. Substitution of $X(t)$ therefore gives the free-particle collective-coordinate effective Lagrangian $-M+M{\dot{X}}^2/2$. Its quantization has momentum $p$ and energy $M+p^2/(2M)$ to this order. The exact uniformly moving classical kink is a Lorentz boost of the static one, with energy $M/\sqrt{1-v^2}$.

Choose the beam as the $z$ direction. A particle's transverse momentum is its momentum projected onto the perpendicular plane; $p_T=\sqrt{p_x^2+p_y^2}$. A Lorentz boost along the beam changes energy and longitudinal momentum, while leaving transverse momentum unchanged. Large transverse momentum identifies motion substantially across the beam rather than merely along it.

In light-cone coordinates $x^{\pm }$ on two-dimensional Minkowski spacetime, add two real odd Grassmann variables ${\theta }^{\pm }$. With left Grassmann derivatives, the supercharges and supersymmetric covariant derivatives can be represented asThe identity $\{{\partial }_{\theta },\theta \}=1$ gives $Q_{\pm }^2=i{\partial }_{\pm }$, $D_{\pm }^2=-i{\partial }_{\pm }$, $\{Q_{+},Q_{-}\}=\{D_{+},D_{-}\}=0$, and $\{Q_s,D_t\}=0$ for every $s,t$. A Lorentz boost acts as $x^{\pm }\mapsto e^{\pm \omega }{x}^{\pm }$, ${\theta }^{\pm }\mapsto e^{\pm \omega /2}{\theta }^{\pm }$. Thus $D_{\pm }$ have boost weights $\mp 1/2$, and $D_{-}{D}_{+}$ is a Lorentz scalar. Since it commutes with both supercharges, an equation $i{D}_{-}{D}_{+}\Phi =W(\Phi )$ for an even scalar superfield is Lorentz invariant and supersymmetry covariant.

For a massive spin-zero one-particle state with covariant normalization and a Lorentz scalar field, Lorentz invariance makes $F=⟨\Omega |\varphi (0)|p⟩$ independent of the on-shell four-momentum within a fixed species. A Lorentz boost to the rest frame, invariance of the vacuum state and scalar transformation at the origin prove this. Translation covariance of a quantum field then supplies the plane-wave factor. With noncovariant normalization, the boost law and the displayed momentum independence acquire energy factors.

The velocity-addition formula translates a particle's velocity between two specified inertial frames. Let $S^{\prime }$ move at signed velocity $V$ along the $x$-axis of $S$, with parallel axes and $|V|<c$, where $c$ is the speed of light. Define $u_x=dx/dt$ and $u_x^{\prime }=d{x}^{\prime }/d{t}^{\prime }$ for the same particle's world line, using position and time measured within the corresponding inertial frame. With Lorentz factor ${\gamma }_V=(1-V^2/c^2{)}^{-1/2}$, the forward Lorentz boost gives

For collinear motion, write $u=u_x$ and $u^{\prime }=u_x^{\prime }$. The inverse velocity-addition formula isThis is the composition of the particle's velocity in $S^{\prime }$ and that frame's velocity relative to $S$. The velocities must belong to this same chain of reference frames, with directions specified. Two arbitrary quoted speeds cannot be inserted blindly. Each velocity measurement uses distances and clocks in a single inertial frame, with Einstein synchronisation for separated clocks.

For example, let $V=0.6c$ and let the particle travel at $u^{\prime }=0.6c$ in $S^{\prime }$. Its velocity in $S$ isThe Galilean transformation would instead give $u=u^{\prime }+V=1.2c$, which fails here. For light moving along the positive axis, $u^{\prime }=c$ gives $u=c$; $u^{\prime }=-c$ similarly gives $u=-c$. Negative directions also work for massive particles: at $V=0.6c$, $u^{\prime }=-0.6c$ gives $u=0$, while $u^{\prime }=-0.8c$ gives $u=-5c/13$. Thus “addition” means composition of signed velocities, rather than addition of their magnitudes.

A short derivation differentiates the Lorentz transformation: $d{x}^{\prime }={\gamma }_V(dx-Vdt)$ and $d{t}^{\prime }={\gamma }_V(dt-Vdx/c^2)$. Dividing these differentials gives the longitudinal velocity-addition formula. The transverse formulas use $d{y}^{\prime }=dy$ and $d{z}^{\prime }=dz$, but the same transformed time denominator; omitting it would ignore the relativity of simultaneity. Replacing $V$ by $-V$ gives the inverse. When both relative and particle velocities are small compared with the speed of light, the denominator is close to one and the nonrelativistic limit recovers the Galilean transformation.

The formula lets us compare particle motion in a moving apparatus and a laboratory without losing the invariant speed of light. Einstein's 1905 paper derives the coordinate change in §3 and the composition of velocities in §5, including the collinear formula, its light-speed case, and composition of parallel transformations. ^[ref]. The rapidity parametrization makes the collinear composition particularly simple.

Two noncollinear Lorentz boosts produce a Lorentz transformation with both a boost and a rotation. In the SL(2,C) lift, the product of two positive Hermitian boost matrices generally ceases to be Hermitian. Its polar decomposition of an invertible complex matrix separates a positive Hermitian boost factor and a unitary rotation factor. The rotation depends on both boosts and their order, and is called the Wigner rotation.