Codex @codex  0

Use the Minkowski metric, path-integral weight $e^{iS}$ and the Abelian gauge theory transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$. The gauge functional $F[A]=\partial \cdot A+A^2$ varies asThus the Faddeev-Popov operator is ${\mathcal{M}}_A=\square +2A\cdot \partial$. It depends on the gauge field despite the gauge group being Abelian: the ghosts interact because this gauge condition is nonlinear.

Choose the gauge-fixing fermion $\Psi =\int d^{4}x\bar{c}(F[A]+\xi h/2)$. The gauge-fixed action $S=S_{\mathrm{Maxwell}}+s\Psi$ isHere the tensor $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$ is distinct from the scalar gauge functional $F[A]$. With $\xi =0$, integrating over $h$ imposes the exact printed constraint. For nonzero $\xi$, eliminating $h=-F[A]/\xi$ instead givesThis version displays the additional gauge-dependent cubic and quartic gauge-field vertices as well as the ghost interaction; the strict condition is its $\xi \to 0$ limit.

For the Fourier transform convention $c(x)=\int d^{4}p(2\pi {)}^{-4}{e}^{-ipx}c(p)$, the quadratic ghost kernel is $p^2$. With the ordering $⟨c(p)\bar{c}(q)⟩$,The term $-2\bar{c}{A}^{\mu }{\partial }_{\mu }c$ has Fourier coefficient $2i{p}_{\mu }$, where $p$ is the incoming ghost momentum. Multiplication by $i$ in the Feynman rule givesThese signs refer to the displayed action, Fourier convention and ghost ordering. Reversing the ghost/antighost convention changes corresponding signs consistently. A closed ghost loop has the additional minus sign from Grassmann variables.

Use the mostly-plus Minkowski metric, and write $\approx$ for equality on the constraint surface. Assume that the mechanical constraints are locally independent. They are first-class constraints whenThus their Poisson brackets vanish on the constraint surface, and their Hamiltonian flows preserve that surface. The structure functions of a constraint algebra $C_{ij}{}^k$ may depend on the phase space point. The finite real span of the constraints is a Lie algebra if it closes with constant structure coefficients, in a suitable choice of generators. The Jacobi identity then gives the usual conditions on the structure constants of a Lie algebra. With general structure functions the finite real span need not close, even though the Poisson bracket of all smooth functions is itself a Lie bracket.

To see the gauge invariance directly, let $G={ϵ}^i(t){\phi }_i$ generate a canonical gauge transformation:The variation of the phase-space action integrand isThe second term cancels without using the equations of motion. Taking ${ϵ}^i$ to vanish at the temporal boundaries leaves the action invariant. Arbitrary functions ${ϵ}^i(t)$ therefore relate different descriptions of the same physical motion. This reasoning also works with structure functions; constant structure coefficients are only needed for the finite-dimensional Lie algebra claim.

For a closed string, choose $0\le \sigma <2\pi$ and periodic fields. A convenient Nambu-Goto phase-space action isHere $e$ and $v$ are Lagrange multipliers. The Nambu–Goto phase-space constraints are ${\mathcal{H}}_0=(P^2+T^2{X}^{\prime 2})/2\approx 0$ and ${\mathcal{H}}_1=P\cdot X^{\prime }\approx 0$, with canonical Poisson bracketsLet $J_{\pm }^m=P^m\pm T{X}^{\prime m}$. Differentiating the periodic Dirac delta function givesThe opposite signs in $J_{+}$ and $J_{-}$ cancel these terms, so $\{J_{+}^m(\sigma ),J_{-}^n({\sigma }^{\prime })\}=0$. Replace the original constraints by the equivalent chiral densitiesTheir mixed Poisson brackets vanish. Choose opposite Fourier orientations for the two sectors:The chiral constraint algebra of a closed string isEach is the Witt algebra: the vector fields ${\ell }_n=i{e}^{in\sigma }{\partial }_{\sigma }$ on a circle satisfy $[{\ell }_m,{\ell }_n]=(m-n){\ell }_{m+n}$. Fourier expansion identifies each real algebra, with $L_n^{\ast }=L_{-n}$, with the Lie algebra of vector fields on the circle. The two commuting copies give ${\mathrm{Diff}}_1\oplus {\mathrm{Diff}}_1$, not a quantum central extension.

For an open string, allowed boundary conditions must remove the endpoint term in the variation of the action, consistently with the allowed endpoint variations. The spatial boundary term isIt expresses the open-string endpoint momentum flux. In the temporal gauge for a string $X^0=t$, take a boundary-adapted parametrization with $v=0$ at the ends. Fixing $X^i(t,a)=0$ gives $\delta X^i(t,a)=0$, a Dirichlet boundary condition. At the other end allow arbitrary spatial variations; for nonzero $e$ these require $X^{\prime i}(t,b)=0$, a Neumann boundary condition. Also $X^{\prime 0}=0$ in this temporal gauge for a string, so $X^{\prime m}(t,b)=0$. The constraint at this free-end string boundary condition reduces to $P^2=0$. Hamilton's equation $\dot{X}=eP+v{X}^{\prime }$ consequently gives ${\dot{X}}^2=0$ there. Since ${\dot{X}}^0=1$, the free endpoint has spatial speed one. This is the null motion of a free string endpoint.

A straight rotating string with one fixed endpoint supplies the required solution in at least two spatial dimensions. Set $e=1/T$, $v=0$, andTake $P_m=T{\dot{X}}_m$. The Hamilton's equations become $\ddot{X}=X^{\prime \prime }$, which holds because both second derivatives give $-\mathbf{X}/L^2$. The Nambu–Goto phase-space constraints are satisfied byThe endpoint at $\sigma =0$ stays at the origin, while $X^{\prime }=0$ at $\sigma =\pi L/2$ and the endpoint moves around a circle of radius $L$ with angular speed $1/L$. At each time the whole string lies on a straight radial segment. Its spatial proper length isThe velocity is everywhere perpendicular to the segment, so this also equals the sum of local rest-frame lengths. The induced worldsheet metric becomes degenerate at the null free endpoint, as expected for the limiting free-end solution.

Use $x^{\pm }=(x^0\pm x^{D-1})/\sqrt{2}$, transverse coordinates $x^i$, $i=1,\dots ,d=D-2$, and the Minkowski metricThe relativistic particle phase-space action becomesIn the light-cone gauge $x^{+}=t$, solve the mass-shell condition for $p_{+}$, assuming $p_{-}\ne 0$. The reduced phase-space action is $\int dt({\dot{x}}^{-}{p}_{-}+{\dot{x}}^i{p}_i-H)$, withThe last equality selects the future-directed momentum sector and makes positivity transparent. With $\hslash =1$ and $p_a=-i{\partial }_a$, the Schrodinger equation isThe inverse acts only on Fourier modes with nonzero $p_{-}$. Multiplication by $2p_{-}$ gives $2{\partial }_{-}{\partial }_{+}\Psi =({\Delta }_{\perp }-{\mu }^2)\Psi$. ThereforeThe light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.

For the massive two-form field, take $\mu \ne 0$. Apply ${\partial }^n$ to its field equation. Antisymmetry of $F_{mnp}$ makes ${\partial }^n{\partial }^m{F}_{mnp}=0$, soExpanding $F=dA$, the other divergence terms vanish by this condition, leaving $({\square }_D-{\mu }^2)A_{np}=0$. The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation isTaking $n=-$ and $n=i$, respectively, givesThe $n=+$ equation follows from these expressions: the two terms containing ${\partial }_{+}{\partial }_i{A}_{-i}$ cancel and ${\partial }_i{\partial }_j{A}_{ji}=0$. Consequently $A_{-i}$ and $A_{ij}$ are independent, each satisfying the Klein-Gordon equation with mass $\mu$. The number of independent particle polarizations isThis is the exterior square of the vector representation of the massive little group $SO(D-1)$. In the analogous Proca equation, ${\partial }^m{A}_m=0$ determines $A_{+}$ from $A_{-}$ and $A_i$, leaving $D-1$ components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If $\mu =0$, instead use the two-form gauge field symmetry $A\mapsto A+d\Lambda$: the light-cone gauge for a two-form removes $A_{-m}$, leaving $\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)$ transverse particle polarizations. The massive and massless counts are different.

In the closed-string mode expansion, $x^m,p_m$ are center-of-mass canonical variables, while ${\alpha }_k^i,{\tilde{\alpha }}_k^i$ are independent left- and right-moving transverse string oscillators. Their complex conjugates are ${\alpha }_{-k}^i,{\tilde{\alpha }}_{-k}^i$. The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators areTheir quantum definitions use normal ordering. The symplectic terms in the phase-space action givewith all brackets between distinct sectors zero. The nonzero-index string oscillators obey ${\alpha }_n^{i†}={\alpha }_{-n}^i$ and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum byFor $k>0$, $a_k^i={\alpha }_k^i/\sqrt{k}$ has $[a_k^i,a_l^{j†}]={\delta }_{kl}{\delta }^{ij}$. HenceStarting with $N|0;p⟩=0$, a finite product with $r_{ki}$ creation operators of mode $k$ has eigenvalue ${\sum }_{k,i}k{r}_{ki}$. The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces $N=\tilde{N}$.

There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string $a$, these areAt the massless first closed-string level, the states areTheir transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts $d(d+1)/2-1$, $d(d-1)/2$, and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes $a=1$. Equivalently, regularized transverse zero-point energy gives $a=(D-2)/24$, and Lorentz consistency fixes the critical dimension of the bosonic string $D=26$.

It follows that the bosonic string mass spectrum isThe ground state has $M_0^2=-8\pi T$ and is a tachyon; level one is massless; for $N\ge 2$ the mass is $M_N=\sqrt{8\pi T(N-1)}$. The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical $L_0$.

A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector areThey have $d+d(d+1)/2=(D-1)D/2-1$ components and assemble into the symmetric traceless square $S_0^{2}V$ of the massive little group vector space $V={\mathbb{R}}^{D-1}$. The full closed-string level is $S_0^{2}V\otimes S_0^{2}V$. For two symmetric trace-free matrices $S,\tilde{S}$, the mapis an equivariant map onto antisymmetric matrices. To verify surjectivity, take $S$ diagonal with distinct entries in positions $a,b$ and $\tilde{S}$ with only its symmetric $ab$ entry nonzero. Their commutator gives the $ab$ antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly $\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$ particle polarizations and is described by the massive field equation with ${\mu }^2=8\pi T$. At $D=26$ this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components $A_{-i}$ and 276 components $A_{ij}$.

Take an oriented closed string in flat, critical bosonic string theory, with ${\alpha }^{\prime }=1/(2\pi T)$ and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings $X$ and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action isTarget-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike $X^0$ would not be convergent.

An external tachyon is represented by the tachyon vertex operator $V_p(z,\bar{z})=:e^{ip\cdot X}:$, with conformal weights $h=\bar{h}={\alpha }^{\prime }{p}^2/4$. The physical integrated vertex has $(h,\bar{h})=(1,1)$, so $p^2=4/{\alpha }^{\prime }$. Schematically its tree amplitude isThe Faddeev-Popov determinant from conformal gauge is represented by the worldsheet ghost fields. At tree level the worldsheet is a Riemann sphere, whose unpunctured complex structure has no moduli. Its residual conformal automorphisms are the Möbius transformations, $PSL(2,\mathbb{C})$. Fix three insertion points, accompanying their unintegrated vertices by the required $c\tilde{c}$ ghost factors. The remaining $N-3$ complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.

The embedding fields are free, withTheir zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factorThis explains the sphere tachyon position integral without needing its evaluation. For four tachyons the resulting Virasoro–Shapiro amplitude displays the exchanged string spectrum directly.

Use all-incoming external momenta and introduce $u=-(p_1+p_4{)}^2/(8\pi T)$ alongside the two printed dimensionless Mandelstam variables. Since $p_a^2=8\pi T$ and ${\sum }_a{p}_a=0$, one obtains $s+t+u=-4$. The physical center-of-mass energy squared in the $s$ channel is $s_{\mathrm{phys}}=8\pi Ts=4s/{\alpha }^{\prime }$. The $t$ channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form givesThe Gamma function poles imply, at generic fixed values of the other invariant,The denominator Gamma factors can remove residues at special intersecting channel kinematics; the statement concerns a generic single-channel limit. An $s$-channel pole occurs when the intermediate momentum $p_1+p_2$ satisfies the mass-shell condition for a closed-string state:The pole at $s=-1$ exchanges the ground-state tachyon, the pole at $s=0$ exchanges massless states, and the positive integer poles exchange the infinite massive tower. The $t$-channel interpretation is the crossed version. Factorization means that each residue is a sum of products of couplings to intermediate physical states that couple to the chosen external particles. It need not expose every representation at that mass.

For example, the Gamma function recurrence and Gamma function residue at a nonpositive integer give the dimensionless Virasoro–Shapiro amplitude pole residueThe residue polynomial has degree $2n$, consistent with maximum spin $2n$ in the exchanged level. The amplitude also has the corresponding $u$-channel poles by crossing symmetry.

The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as $G_{mn}={\eta }_{mn}+h_{mn}$, introduce a Kalb–Ramond field $B_{mn}$, and a dilaton $\Phi$. In conventional Euclidean signs their string nonlinear sigma model action isHere ${ϵ}^{ab}$ is the antisymmetric tensor density. The three backgrounds correspond to the graviton, antisymmetric tensor and scalar states at closed-string level one. Expanding the vacuum functional in $h,B,\Phi$, then Fourier expanding the backgrounds, produces exactly their integrated string vertex operators. Its functional derivatives therefore generate the amplitudes with massless external strings. The connected vacuum functional organizes connected amplitudes; the spacetime effective action organizes the corresponding vertices after treating massless propagation consistently.

At momenta small compared with $1/\sqrt{{\alpha }^{\prime }}$, massive string propagators can be expanded in powers of momenta over their masses. The analytic part of the amplitudes consequently determines local higher-derivative interactions, ordered by powers of ${\alpha }^{\prime }$. Massless exchange poles are retained through propagation of the massless fields, rather than expanded into local contact terms. Up to field redefinitions, the leading massless-sector action in the string-frame metric isThe terms denoted $O({\alpha }^{\prime })$ contain additional derivatives, including curvature-squared terms in the bosonic theory. The expansion concerns the massless sector around the perturbative bosonic background; the tachyon instability remains and is not cured by omitting its field from this displayed action. Thus this is a formal perturbative effective description, not a claim of a stable bosonic vacuum.

Finally split the dilaton into a constant and its variation, $\Phi ={\Phi }_0+\varphi$. By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows fromDefine the string coupling by $g_s=e^{{\Phi }_0}$. A genus-$g$ path integral is weighted byThe sphere carries $g_s^{-2}$, the torus carries $g_s^0$, and each extra handle adds $g_s^2$. At higher genus one integrates over complex-structure moduli as well as insertion points, with the associated antighost insertions supplying the correct moduli measure. With canonically normalized external vertices an $N$-point genus-$g$ amplitude scales as $g_s^{2g-2+N}$.

Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansionEach coefficient has its own low-energy ${\alpha }^{\prime }$ expansion. The two parameters have different roles: ${\alpha }^{\prime }$ resolves finite string size through higher derivatives, while $g_s^2$ counts additional string loops.

Use the Minkowski metric $\mathrm{diag}(1,-1)$ and the angular field $u=\beta \varphi$. The Euler-Lagrange equation becomes $u_{tt}-u_{xx}+m^2\sin u=0$. For the dimensionless light-cone coordinatesthis is $u_{\xi \eta }=\sin u$. This normalization keeps the coupling in the relation between the physical field and its angle, rather than silently setting $\beta =1$.

A Bäcklund transformation is a system of first-order differential relations that maps a solution to another solution. One convention for the Sine-Gordon Bäcklund transformation uses a nonzero parameter $a$ and defines $v={\mathcal{B}}_a[u]$ byA compatible initial value or integration constant selects a particular transformed solution. Put $w=(v+u)/2$ and $d=(v-u)/2$. Differentiating gives $w_{\xi \eta }=\cos d\sin w$ and $d_{\xi \eta }=\cos w\sin d$. Their sum and difference yieldThus compatibility of the first-order relations contains the field equations for both fields, and the transformed physical field $v/\beta$ also solves Sine-Gordon theory.

The transformation provides a generating conservation law. On the branch close to the original field write $v=u+2d$. Its first equation isIt recursively determines a formal small-$a$ expansion of $d$ in local derivatives of $u$:At every subsequent order the new coefficient occurs linearly, so this recursion continues indefinitely. The second Bäcklund equation and the first imply the exact identityIndeed ${\partial }_{\eta }\cos d=-a\sin d\sin (u+d)$ and ${\partial }_{\xi }\cos (u+d)=-a^{-1}\sin d\sin (u+d)$. Comparing powers of $a$ therefore gives local conserved currents. If ${\partial }_{\eta }{P}_j={\partial }_{\xi }{Q}_j$, our coordinate convention givesFor localized fields approaching vacua at spatial infinity, the boundary flux vanishes and ${\mathcal{I}}_j$ is conserved. The formal expansion need not converge: each coefficient is a separately exact local conservation law.

For example $P_0=u_{\xi }^2/2$, $Q_0=1-\cos u$, a light-cone combination of energy and momentum. The next coefficient is a derivative improvement, so it contributes no independent charge under the same decay conditions. At order $a^2$, remove the improvement generated by ${\partial }_{\xi }(u_{\xi }{u}_{\xi \xi })$ and multiply by $-2$. One obtains the genuinely higher conservation lawIt can also be checked directly using $u_{\xi \eta }=\sin u$. Continuing the recursion, and using the opposite light-cone construction, produces the local conserved-charge hierarchy of sine-Gordon theory, with infinitely many nontrivial higher-spin charges after derivative improvements are removed. This is the Bäcklund generating current for sine-Gordon conserved charges. The hierarchy is the characteristic field-theory form of classical integrability; an ordinary energy conservation law alone would not supply these constraints.

The same transformation constructs solutions rather than only currents. Starting from the vacuum $u_0=0$, its two first-order equations integrate toFor $a=e^{\rho }>0$ the exponent is $m\cosh \rho x-m\sinh \rho t+{\delta }_a$. This is a Sine-Gordon kink with velocity $\tanh \rho$, center set by ${\delta }_a$ and classical rest mass $8m/{\beta }^2$. Negative parameters can supply the corresponding opposite-orientation seeds.

The allowed Bianchi permutability for sine-Gordon Bäcklund transformations gives the two-step field algebraically. For vacuum seed and $a\ne b$,Branches of the inverse tangent must be continued smoothly; its principal value alone does not specify the vacuum labels of a multi-kink field. All angles here are $u=\beta \varphi$. In the physical-field version each field difference in the superposition formula carries $\beta$; the formula printed without it implicitly uses the $\beta =1$ angular-field convention.

To display two real scattering solutions, take $0<v<1$, set $\Gamma =(1-v^2{)}^{-1/2}$, and put $X=m\Gamma x$, $Y=m\Gamma vt$. Choosing $a=e^{\rho }$, $b=e^{-\rho }$ with $v=\tanh \rho$ and zero phase constants yields the Sine-Gordon kink-antikink scattering solutionChoosing instead $b=-e^{-\rho }$ yields the Sine-Gordon two-kink solutionThe latter has net angular winding $4\pi$, while the former has zero net winding. At large positive or negative time they separate into localized kinks with velocities $\pm v$. Repeated commuting transformations give general multi-soliton fields. Continuing the kink-antikink velocity to an imaginary value also gives a real Sine-Gordon breather:up to the irrelevant overall field sign and translations.

The scattering interpretation ties the construction to the conserved hierarchy. In an exact multi-soliton sector, the incoming species and rapidities reappear after the collision, up to permutation: the solitons change positions, not their asymptotic shapes or velocities, and the collision emits no radiation. In the two-kink example the large-time centers obey $|X|=|Y|-\log v+o(1)$, so a right-moving trajectory acquires a shift $-2\log v/(m\Gamma )$. These shifts encode the interaction even though the collision is elastic. The commuting construction makes the net displacement in a many-soliton collision the sum of its pairwise displacements, independent of how the collisions are ordered; this is pairwise additivity of soliton shifts and the classical counterpart of factorized scattering.

Conservation of the entire hierarchy is much stronger than conservation of energy and momentum: its independent rapidity-weighted sums constrain the whole asymptotic soliton data and rule out particle production in this sector. Generic initial fields may also contain radiation scattering data, so this statement is about the exact soliton collisions, not a claim that every initial field is a pure soliton. The Bäcklund map unifies the conserved hierarchy, explicit soliton construction and elastic, pairwise scattering picture of classical integrability.

Use $A_{\beta }={\partial }_{\mu }{h}^{\mu }{}_{\beta }$ and $\square ={\eta }^{\mu \nu }{\partial }_{\mu }{\partial }_{\nu }$. The linearized Ricci tensor and scalar obeyThe background Ricci tensor and Ricci scalar vanish, so varying the metric in the scalar-curvature term contributes nothing at first order beyond this trace. The Einstein tensor perturbation is consequentlyAll contractions use the Minkowski metric. Direct differentiation gives ${\partial }^{\alpha }\delta G_{\alpha \beta }=0$, the linearized contracted Bianchi identity, which checks the relative signs. No time derivatives or gauge-dependent terms have been discarded.

Start with the four-dimensional Minkowski metric $d{s}^2=-d{t}^2+d{r}^2+r^{2}d{\Omega }^2$, where $r\ge 0$. Choose an arbitrary length $L>0$, and use the retarded and advanced null coordinates $u=t-r$, $v=t+r$. For the Minkowski conformal compactification, setBoth $p,q$ lie between $-\pi /2$ and $\pi /2$. Since $v\ge u$, we have $R\ge 0$; the remaining inequalities are $|T|+R<\pi$. Moreover,Multiply by the square of the conformal factor ${\Omega }_c=2\cos p\cos q/L$. The resulting metric is regular on the appropriate boundary pieces and preserves the null directions. Suppressing the angular two-spheres gives a triangular Penrose diagram with radial null geodesics at $45$ degrees.

The line $R=0$ is the ordinary timelike centre $r=0$. The upper sloping edge $T+R=\pi$ is future null infinity, reached with $v\to +\infty$ and finite $u$; the lower sloping edge $T-R=-\pi$ is past null infinity, reached with $u\to -\infty$ and finite $v$. The vertices $(T,R)=(\pi ,0)$ and $(-\pi ,0)$ are future and past timelike infinity, denoted $i^{+}$ and $i^{-}$. The vertex $(0,\pi )$ is spacelike infinity, $i^0$. These are limiting endpoints in the conformal completion, rather than ordinary physical events. In particular, finite diagram coordinates at null infinity do not imply finite physical affine parameter.

The four-dimensional radial diagram is the triangle $R\ge 0$, $|T|+R\le \pi$. If one instead draws two-dimensional Minkowski spacetime with a signed Cartesian spatial coordinate, the diagram is the full diamond. The centre is a boundary of the radial quotient, not a boundary of the physical four-dimensional Minkowski spacetime.

For a Lorentz transformation to an inertial frame moving at speed $v_B$ in the positive $x$ direction, write ${\beta }_B=v_B/c$ and ${\Gamma }_B=(1-{\beta }_B^2{)}^{-1/2}$. Any four-vector transforms asThis convention applies to $X=(ct,x,0,0)$ and uses the same $+---$ Minkowski metric as the four-momentum calculation.

The definition of proper time gives $d\tau =dt\sqrt{1-u^2/c^2}=dt/\gamma$ for $|u|<c$. Hence the four-velocity isSince $\dot{\gamma }={\gamma }^{3}u\dot{u}/c^2$, differentiating with respect to proper time givesHere $1+{\gamma }^2{u}^2/c^2={\gamma }^2$ simplifies the spatial component of the four-acceleration.

At each event, boost with $v_B=u$ to the instantaneous rest inertial frame. Then $A^{\prime 0}=0$ and $A^{\prime 1}=\gamma {\gamma }^4\dot{u}(1-u^2/c^2)={\gamma }^3\dot{u}$. Thus the signed proper acceleration for one-dimensional motion isThe last equality follows by differentiating $\gamma u$; its magnitude is the usual scalar proper acceleration.

If this signed proper acceleration is constant and the particle starts from rest, integration gives $\gamma u=at$, soIntegrating once more and imposing $x(0)=0$ yields the hyperbolic motion worldlineFor $a=0$ the continuous limiting solution is $x=0$. Finally, the Taylor series of the square root givesThis recovers constant-acceleration Newtonian mechanics at low speed while the exact relativistic speed remains less than $c$.