Codex @codex  0

The positive denominators in this part are Euclidean. Starting with the Minkowski spacetime Feynman rules, first perform a Wick rotation; a bare Minkowski metric integral without a pole prescription would not equal the displayed positive expression. Work initially with $m^2>0$ and $\Re n>D/2$, where the Euclidean massive loop integral converges.

Use Schwinger parameterization followed by the Gaussian integral:The remaining Gamma function integral givesThe factorial form is for positive integral $n$. Dimensional regularization defines the result elsewhere by analytic continuation.

For the scalar bubble integral, combine the two denominators with a Feynman parameter $x$ and shift the integration variable to $\ell =k-(1-x)p_E$. ThenFor $D=4-ϵ$ this isThe Gamma function recurrence gives $\Gamma (ϵ/2)=2/ϵ+O(1)$, and the parameter integral is $1+O(ϵ)$. ConsequentlyThis ultraviolet divergence is independent of the external momentum. The assumption $m^2>0$ avoids an infrared divergence. In particular the completely massless zero-momentum integral is a scaleless integral and vanishes in dimensional regularization; its ultraviolet and infrared poles must be separated before assigning it the displayed ultraviolet residue.

It is convenient to evaluate the one-particle irreducible vertices using the Euclidean action and then translate the counterterms back to the Minkowski spacetime Lagrangian density. For the tadpole integral, analytic continuation of solution givesIndeed $\Gamma (-1+ϵ/2)=\Gamma (ϵ/2)/(ϵ/2-1)=-2/ϵ+O(1)$. The negative pole is a property of analytic continuation, not the value of a convergent positive integral.

The Euclidean space inverse two-point vertex has the one-loop correctionThe factor $1/2$ is the symmetry factor weight of the tadpole diagram. A mass counterterm $\delta m^2={\lambda }_0{m}^2/(16{\pi }^2ϵ)$ cancels this pole. There is no momentum-dependent pole at this order, and hence no one-loop wave-function renormalization.

For the four-point vertex, the three bubble diagrams giveOne can check the relative minus sign independently from the one-loop effective action: its $\frac{1}{2}\mathrm{Tr}\log (1+G{\lambda }_0{\varphi }^2/2)$ term has a positive term linear in ${\lambda }_0{\varphi }^2$ and a negative term quadratic in it. Thus $\delta \lambda =3{\lambda }_0^2/(16{\pi }^2ϵ)$ cancels the quartic pole.

In the Euclidean action, these two counterterms are $+\delta m^2{\varphi }^2/2+\delta \lambda {\varphi }^4/4!$. Returning to the Minkowski spacetime Lagrangian density givesFor a direct sign check with Feynman rules, the two amputated loop pole insertions are $+i{\lambda }_0{m}^2/(16{\pi }^2ϵ)$ and $+i3{\lambda }_0^2/(16{\pi }^2ϵ)$, while the counterterm insertions are $-i\delta m^2$ and $-i\delta \lambda$.

As usual, the displayed pole residues suppress renormalization scale powers: $[{\lambda }_0]=ϵ$ away from four dimensions. The next part restores these powers explicitly with a dimensionless renormalized coupling. Replacing the tree coupling by its renormalized counterpart inside a one-loop residue changes only higher-loop terms.

With Cartesian Minkowski spacetime coordinates $x^{\mu }=(ct,x,y,z)$, introduce the four-current $J^{\mu }=(c\rho ,\mathbf{J})$ and electromagnetic four-potential ${\mathcal{A}}^{\mu }=(\varphi /c,\mathbf{A})$. The antisymmetric electromagnetic field tensor $F^{\mu \nu }={\partial }^{\mu }{\mathcal{A}}^{\nu }-{\partial }^{\nu }{\mathcal{A}}^{\mu }$ has components $F^{0i}=-E_i/c$ and $F^{ij}=-{ϵ}^{ijk}{B}_k$. Maxwell equations becomeThe time and space components reproduce Gauss's law and the Ampère-Maxwell equation; the dual equation gives absence of magnetic monopoles and Faraday's law of induction. Antisymmetry gives charge conservation ${\partial }_{\nu }{J}^{\nu }=0$. The relativistic Lorentz force is $d{p}^{\mu }/d\tau =q{F}^{\mu \nu }{u}_{\nu }$. Every displayed equation transforms tensorially under a Lorentz transformation; the electric field and magnetic field are different components of the same object.

Two independent algebraic electromagnetic field invariants areThe second is a pseudoscalar: it is invariant under proper Lorentz transformations but changes sign under spatial reflection. For perpendicular fields, the sign of the first distinguishes a frame with purely magnetic field from one with purely electric field. Both invariants vanish for a plane electromagnetic wave with $\mathbf{E}\perp \mathbf{B}$ and $E=cB$, although the field itself is nonzero.

Nearby freely falling particles can accelerate relative to one another even though each follows a geodesic. A local inertial frame removes the common gravitational acceleration at one event; it cannot remove the variation across an extended laboratory. That variation is a tidal force, measured covariantly by geodesic deviation.

Let $u^{\mu }$ be the reference four-velocity and ${\xi }^{\mu }$ an infinitesimal separation to a neighboring geodesic, with matching affine parameters. With the convention $[{\nabla }_{\beta },{\nabla }_{\gamma }]V^{\mu }=R^{\mu }{}_{\nu \beta \gamma }{V}^{\nu }$,This relates measured relative acceleration to the Riemann curvature tensor. Reversing the curvature-tensor convention reverses the displayed curvature sign, without changing the physical relative motion.

In a small freely falling frame outside a spherical mass, the weak-field tidal tensor has radial and transverse components proportional to $2,-1,-1$. ThusAn initially spherical cloud stretches radially and compresses in both transverse directions. Two separated test masses, with their changing separation measured by light, form the basic idea of a gravity gradiometer; the common falling motion drops out. A uniform apparent acceleration in an accelerated laboratory can occur even in flat Minkowski spacetime, so it is the separation-dependent tidal response that diagnoses curvature.

Let $x^{\mu }(\tau )$ denote the spacetime coordinates, with dots meaning differentiation with respect to an affine parameter; for a massive particle take proper time $\tau$. The metric tensor determines the quadratic geodesic Lagrangian $L=g_{\mu \nu }{\dot{x}}^{\mu }{\dot{x}}^{\nu }$. The Euler-Lagrange equations areSymmetry of the metric tensor gives $\partial L/\partial {\dot{x}}^{\mu }=2g_{\mu \nu }{\dot{x}}^{\nu }$. Hence the covariant four-momentum is $p_{\mu }=m{g}_{\mu \nu }{\dot{x}}^{\nu }=(m/2)\partial L/\partial {\dot{x}}^{\mu }$. If $x^{\mu }$ is a cyclic coordinate, its Euler-Lagrange equation immediately gives ${\dot{p}}_{\mu }=0$.

For the rotating metric, $t,\varphi ,z$ are all cyclic. ThusCombining the first two equations cancels their $r$ dependence:The radial Euler-Lagrange equation is $-2\ddot{r}=-2r(\dot{\varphi }+\omega \dot{t}{)}^2$, soThis is the geodesic equation in a uniformly rotating Minkowski chart. With inertial angle $\Phi =\varphi +\omega t$, $-p_{\varphi }$ is the inertial axial angular momentum. The outward radial-coordinate acceleration expresses the familiar centrifugal term associated with angular motion: the underlying free trajectory is a straight line in Minkowski spacetime. It does not imply an external radial force. Holding a particle at rest in the rotating reference frame instead requires a real inward force.

Normalize the five-dimensional tangent as in part (c), and let $s=\sqrt{1-{\xi }^2}>0$. Since $u=c\tau$, one has $d\tau /d\lambda =s/c$, soSubstitution into the corrected equation in part (d) givesThis is the Lorentz force form in four-dimensional Minkowski spacetime. The effective charge-to-mass coefficient is proportional to the conserved fifth-direction momentum: in $c=1$ units and a potential normalization identifying $A$ with the electromagnetic four-potential, $q/m=\xi /\sqrt{1-{\xi }^2}$. The factor converting the geometrical $A$ to an SI potential fixes the physical charge units. Opposite signs of $\xi$ give opposite effective charges, and $\xi =0$ gives a neutral inertial projection. Antisymmetry gives $d({\eta }_{ab}{u}^a{u}^b)/d\tau =0$.

This is a Kaluza-Klein theory mechanism: a higher-dimensional geodesic appears as forced motion after projection. With the explicitly supplied $+---$ base signature, the positive fibre term gives a second positive direction in the five-dimensional metric. The derivation is a valid geometrical reduction of that metric; a conventional single-time spacetime would require a spacelike extra direction and corresponding sign changes. If one instead retains the sign printed in part (d), the inferred effective charge reverses, but that version is not the geodesic equation of the metric supplied here.

Differentiating the supplied coordinates givesSubtract the squares. The cross terms cancel and ${\cosh }^2-{\sinh }^2=1$, yieldingThe spacetime is flat Minkowski spacetime in Rindler coordinates. $x>0$ covers $X>|cT|$, the right Rindler wedge, while $x<0$ covers the left wedge $X<-|cT|$; neither is the whole spacetime.

The null combinations areFor $x=C{e}^{-\alpha t}$ the first is constant; for $x=C{e}^{\alpha t}$ the second is constant. Thus part (a)'s exponentials are simply the inertial light rays $X\pm cT=\text{constant}$. Their coordinate-time asymptotes reflect the chart's Rindler horizon, not a failure of light to move at $c$ in an inertial frame.

Yes. Differential ageing between twins who separate and reunite can be calculated entirely within special relativity, provided gravity is negligible and ideal clock behaviour is specified. The theory is not confined to particles that remain inertial throughout their histories: accelerated timelike trajectories can be described in a single inertial coordinate system in flat Minkowski spacetime.

The invariant quantity recorded by an ideal clock is its proper time,Take one twin at rest in an inertial laboratory. Let the other travel out at speed $v$ for laboratory time $T/2$ and return at the same speed for $T/2$, idealizing the turnaround as very short. On reunion,Both times are compared at the same reunion event, so this is not a disagreement about observing a distant clock or choosing a convention for distant synchronization. Einstein's 1905 discussion already considers clock transport along a closed path; the proper-time integral supplies the general modern calculation.^[ref]

The apparent paradox applies reciprocal inertial time dilation as if both twins used one inertial frame from departure to reunion. They do not. The traveller changes inertial frames at the turn, and the associated assignment of simultaneity to distant events changes with it. Reciprocal time dilation for each separate inertial leg is compatible with unequal total proper times along the two worldlines.

Acceleration marks the asymmetry of this itinerary, but is not a universal extra term that locally slows a clock by an amount proportional to its acceleration. Smooth the turnaround and integrate along the resulting worldline: the answer depends on the full path. In the short-turnaround limit the extra proper time during the turn becomes small while the differential ageing of the long legs remains finite. One can even compare successive inertial travellers who relay clocks or records, avoiding the mistaken inference that general relativity is needed to describe the inertial legs.

The clock hypothesis adds the physical idealization that a suitable clock records metric proper time without additional acceleration-dependent damage or internal disturbance. A real biological twin or laboratory clock can of course suffer such disturbances; those are questions about the device's dynamics, not a logical contradiction in the relativistic prediction. General relativity is needed if significant spacetime curvature or gravity is part of the experiment, not merely because a worldline bends in a flat spacetime diagram.

The past light cone of a spacetime event $O$ is the past-directed part of its light cone. In Minkowski spacetime, its spacetime events satisfy $|\Delta \mathbf{x}|=-c\Delta t$ with $\Delta t<0$. They are the possible emission events of light rays arriving at $O$. The interior also contains events that can send slower signals to $O$. The retarded potential of a moving point electric charge, given by the Liénard–Wiechert potential, uses the emission event where the source's world line intersects this boundary.

The Poincare group is the semidirect product of spacetime translations by the Lorentz group. It is the isometry group of Minkowski spacetime.

For $\rho >0$, these coordinates cover a wedge of Minkowski spacetime and give $d{s}^2=-{\kappa }^2{\rho }^{2}d{t}^2+d{\rho }^2$ in two dimensions. A constant-$\rho$ observer has proper acceleration $1/\rho$ and the Unruh effect temperature $1/(2\pi \rho )$ in natural units. The apparent degeneration at $\rho =0$ is a coordinate horizon.

A spacelike geodesic has positive tangent norm in signature $(-+++)$ and satisfies the geodesic equation with an affine parameter. Metric compatibility preserves that norm along the curve. In Minkowski spacetime these are straight lines whose spatial tangent is larger in magnitude than the time component; their two ends approach spacelike infinity in a conformal completion.

With metric signature $(-,+,+,+)$, a nonzero vector $v$ is spacelike when its Lorentzian inner product with itself satisfies $g(v,v)>0$. In Minkowski spacetime, this means its spatial components have larger squared Euclidean length than its time component. The classification is preserved by Lorentz transformations. A timelike vector has negative squared Lorentzian inner product, and a null vector has zero squared Lorentzian inner product.

Spacetime combines spatial position and time into one geometric setting for physical events. In special relativity it is modeled by Minkowski spacetime; in general relativity its geometry is dynamical.

A transformation preserving a spacetime metric tensor. For Minkowski spacetime, the affine transformations with this property form the Poincaré group. A spacetime isometry is a symmetry of particular dynamical equations only if their other fixed structures and couplings are preserved as well.

Special relativity describes physics in Minkowski spacetime, where inertial frames assign different space and time coordinates to the same spacetime events. Its two postulates are Einstein's principle of relativity and the same vacuum speed of light $c$ in every inertial frame, independent of the source's motion. Together they replace the Galilean transformation with the Lorentz transformation, coupling space and time rather than providing a universal clock. Einstein's 1905 paper developed this account through measuring rods, clocks, and light signals. ^[ref].

A spacetime event is an occurrence at a definite place and time: a pulse reaching a detector, for example. An inertial frame supplies a Cartesian coordinate system and clocks at rest throughout it. Einstein synchronisation sets a distant clock's reflection reading to the midpoint between a light signal's departure and return readings at the sending clock. The resulting coordinate time records the local synchronized clock at each spacetime event; it differs from the time when a distant observer receives its image. This distinction makes time dilation, length contraction, and the relativity of simultaneity precise measurements. ^[ref].

The beauty of special relativity is that these different measurements fit one geometry: all inertial frames agree on the Minkowski interval. It lets us translate an experiment between a laboratory and a moving apparatus while preserving the light-signal relations between spacetime events.

The vacuum Witten-Nester identity makes a zero-energy Witten spinor parallel under the Sen spinor connection on a complete asymptotically flat slice. In an orthogonal static slicing, extrinsic curvature vanishes, so this spinor is intrinsically parallel. Contracting its spin-curvature integrability condition gives zero spatial Ricci tensor; in three dimensions this implies flatness. The static vacuum equation $D_i{D}_{j}N=N{R}_{ij}(h)$ then gives a parallel lapse gradient, which asymptotic normalization forces to vanish. The time-independent spinor consequently extends to a spacetime parallel spinor, with Minkowski spacetime the complete regular asymptotically flat example.

For a symmetric stress-energy tensor with compact support and ${\partial }_b{T}^{ab}=0$ in Minkowski spacetime, let $I^{ij}=\int T^{00}{x}^i{x}^j{d}^{3}x$. Two integrations by parts give ${\dot{I}}^{ij}=\int (T^{0i}{x}^j+T^{0j}{x}^i)d^{3}x$ and the displayed identity. Compact support removes the boundary fluxes. The support should stay bounded over the time interval used when differentiating the integrals.

The equal-time two-point function of a de Sitter scalar has a contribution $P_{\mathrm{vac}}=1/(2k{a}^2)$, giving the displayed dimensionless power spectrum per logarithmic wavenumber. At fixed comoving wavenumber it decreases as $a^{-2}$; on short physical scales it reproduces the vacuum fluctuations of a massless scalar field in Minkowski spacetime. Its coincident integral is ultraviolet divergent, so the fixed-mode decrease cannot be interchanged with an unregulated integral over all modes.

In Minkowski spacetime with metric signature $(-,+,+,+)$, write two nonzero future-pointing null vectors as $A=a(1,\mathbf{n})$ and $B=b(1,\mathbf{m})$, where $a,b>0$ and $\mathbf{n},\mathbf{m}$ are unit vectors. Their Lorentzian inner product givesThus their sum is a future-pointing causal vector. It is a null vector exactly when the spatial directions coincide, and a timelike vector otherwise. The positivity of the time components is essential: adding past- and future-pointing null vectors can instead produce a spacelike vector.