The parallel axis theorem says that for an axis through a body's centre of mass and a parallel axis at perpendicular distance ,
where is the total mass. The displacement is the distance between the two parallel axes; neither axis may be arbitrary in place of the center-of-mass axis. Expanding the squared distances of mass elements gives this formula, since the cross term integrates to zero at the centre of mass.
Use metric signature , as required by the sign of the scalar product in this question. For a massive particle, the four-momentum is
For a photon of positive frequency and direction , the Planck constant gives and
A future-pointing timelike four-vector has and in this signature. The ordinary Euclidean Cauchy-Schwarz inequality yields
This is stronger than the requested nonnegative inequality. For an electron and a positron of rest mass , their future-pointing timelike four-momenta have . Thus
which cannot equal the null norm of a single photon. Four-momentum conservation forbids spontaneous photon decay into an electron-positron pair in vacuum. An external body or field able to exchange momentum would be a different system.
By Newton's third law, the force on the second particle is . For and centre of mass , Newton's second law gives . Thus
The centre moves on a straight line with constant velocity; zero velocity is allowed. For the relative position , subtraction of the two equations gives
Hence the two-body problem reduces to a single particle of reduced mass , together with the elementary centre motion. Reconstruct the positions as , .
Yes: the two equal masses can follow the same fixed circle in diametrically opposite positions. Put the stationary centre of mass at the circle's center and choose tangential velocities with the same sense of rotation. If the circle has radius , the separation is and the mutual gravitational force is directed toward that center, with magnitude . The circular orbit condition is , so an equal-mass circular binary has
These initial data maintain the opposite positions and give the same constant angular speed for both particles.
Set initially and choose its positive sense to agree with the initial tangential motion. The inward radial component is , while the tangential speed is . Hence
Substitution in the Binet equation gives , or . This is an orbit equation for combined inverse-square and inverse-cube attraction. Solving the constant-coefficient equation and applying both initial conditions gives
On , the sine is nonnegative, so stays finite and positive. At , , hence and the particle is back at its original spatial position after one revolution. But , so its radial velocity is now , rather than the original . The return is not a periodic return in position and velocity.
After that revolution, the first zero of is at , where . The physical branch therefore has as ; it must not be continued into negative . Since and has a simple zero, reaching infinity takes infinite time. As a check, the specific potential energy is and the conserved energy per unit mass is , giving escape speed at infinity, also obtained from .
Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta are
Canonical quantization in the Heisenberg picture imposes, at the same time ,
All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian density
The Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion is
The minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,
when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction is
Commuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:
A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , because
Repeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence is
With vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operator
The mode commutators imply and , so
Thus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.
Take the muon mass to be , and use the quantum electrodynamics convention with . Let be the incoming muon and antimuon momenta and the outgoing photon momenta, so . External particles are on shell: and . The two tree-level Feynman diagrams are the two orders in which the photon legs attach to the muon line. There is no three-photon QED vertex, and therefore no single-photon annihilation diagram into two photons at this order.
Figure 1.
Two photon orders for muon annihilation and Compton scattering
.
The QED Feynman rules needed here are the vertex , the Dirac propagator
an incoming muon spinor , an incoming antimuon adjoint , and an outgoing photon polarization . At a vertex enforce four-momentum conservation. Spinor products are ordered along the fermion line; exchanging the external photons introduces no relative minus sign. Define and .
With the convention that a diagram contributes , the two muon-antimuon annihilation amplitudes are
Their denominators are respectively and , where , . A different consistent overall amplitude-phase convention has no physical effect.
A physical photon polarization vector obeys , and represents an equivalence class . For a real null momentum, adding preserves transversality. One can additionally choose transverse spatial vectors with and ; there are two independent physical polarizations. The equivalence class removes the unphysical longitudinal direction, rather than imposing four independent physical polarization states.
The invariance of the total amplitude is a two-photon fermion Ward identity. Replace by and put , . The external Dirac equations give
Away from propagator poles, ; the identity extends with the common Feynman prescription. Therefore
The two terms in the bracket then give and , which cancel. Exchanging photon labels proves the second Ward identity. Thus the sum is unchanged under for either photon. Neither diagram is generally gauge-invariant separately. Physically, longitudinal pure-gauge polarization does not couple to the observable scattering amplitude; only the two transverse photon degrees of freedom contribute.
For Compton scattering write the incoming momenta as and outgoing momenta as , with . The outgoing muon contributes , the incoming photon contributes without conjugation, and the outgoing photon contributes . The two tree-level Compton amplitudes are
These are the lower two diagrams. Their intermediate muon momenta are and , with denominators and . The first attaches the incoming photon before the outgoing photon along fermion flow; the second reverses that attachment order. Both contribute at order in the amplitude.
Compton scattering has one incoming and one outgoing muon and one photon on each side; annihilation has an incoming particle-antiparticle pair and two outgoing photons. Accordingly the external spinors/polarizations and physical Mandelstam channels differ, although both arise from the same two-vertex QED matrix element. Crossing symmetry relates them by continuing and one outgoing photon momentum , with the corresponding external wavefunction replacements. The annihilation channel becomes the Compton channel and the other channel becomes its channel. Identical final photons require a factor in an annihilation phase-space integral over an otherwise double-counted full final-state region; there is no analogous final-state identical-particle factor for the muon-photon Compton final state. Gauge cancellation holds for the summed Compton amplitude as well.
Use in the field-theory calculations. Work with signature and . Since and , , , and the Sine-Gordon equation is . Introduce and . The specified Sine-Gordon Bäcklund transformation becomes , . Its compatibility gives
Adding and subtracting these equations establishes
Thus a compatible transformed field satisfies the same Sine-Gordon equation. Smoothness is needed to interchange mixed derivatives. The statement cannot literally include , since one defining equation contains .
Generating the kink. With zero seed, the two first-order equations give and . On a nonconstant branch put ; then , . Integration gives
For , this is the Sine-Gordon kink, after absorbing in the center position. Its speed and Lorentz factor obey
Changing the sign of or of the exponential coefficient selects the corresponding antikink orientation; whenever is finite and nonzero. Constant vacuum branches, omitted by division by , can be added separately.
The continuously parametrized Bäcklund transformation does more than produce this one solution. Successive compatible transformations and Bianchi permutability for sine-Gordon Bäcklund transformations construct multisoliton solutions; expansion of the generating relations gives the local conserved-charge hierarchy of sine-Gordon theory. Together with its Lax pair and inverse scattering transform, this is the structure behind classical integrability, elastic scattering and the absence of generic radiative energy loss in soliton collisions. Existence of a transformation alone is not a proof that every generated conserved charge is independent and in involution; those are additional properties of the integrable system.
Transforming the static kink at . The seed obeys , , . Adding and subtracting the two Sine-Gordon Bäcklund transformation equations yields
Again set . These simplify to , . The first gives , and the second gives . Therefore
Continuous inverse-tangent branches may be chosen without creating artificial jumps. At spatial infinity the field approaches the same vacuum, so its net topological charge is zero. For large there are two well-separated transitions near , with speeds tending to zero. The two transitions exchange their kink/antikink orientations as they pass through the collision, while the field remains smooth.
This is the Sine-Gordon threshold kink-antikink solution, a separatrix between finite-speed scattering and the bounded Sine-Gordon breather motion, rather than a finite-period breather. In fact it is the limit of the scattering field in question 3. At , and , so the reduced energy is , exactly twice the reduced single-kink energy .
For mass comparisons below, the original PDF really prints . Restoring physical coordinates , gives the angular-field action and literal kink mass , for . The usual Sine-Gordon theory instead has prefactor and mass . The equation of motion and every field above are unchanged by this overall normalization; the quantum scattering comparison in question 3 is not.
Take and use the complex sine-Gordon theory reduced density , with physical lengths and times . Physical rest energy is , and the dimensionless Noether charge is obtained from the reduced action. Put , , , so . Initially take , avoiding the singular target-space boundary.
The canonical Hamiltonian density is
Here , , and . Since , the kinetic contribution is simply . Consequently
To fix the charge sign, take the Noether current directly from , :
Thus positive internal rotation has positive charge in this convention. With and the supplied integral,
Reversing the definition of the generator would reverse all charge labels but not any mass. The limit is the vacuum with zero mass and charge. At the field reaches at its center and the current's coordinate expression becomes singular. The mass still has the finite limiting value , but
The displayed local density does not assign a unique endpoint charge merely by substituting .
The four collective parameters. Translation, a Lorentz boost of rapidity , and the global phase symmetry produce
The independent real parameters are , with periodic modulo . A further time translation is absorbed into these parameters. The energy and momentum are and , while is invariant. The internal angle is the collective coordinate whose canonical momentum is this Noether charge.
Semiclassical quantization. For one rest-frame internal rotation, the period in dimensionless time is . The action around the orbit is
Equivalently this is , where is the reduced rest energy. Bohr-Sommerfeld quantization with gives . Because the internal orbit is a cyclic angle, not a one-dimensional oscillator between turning points, there is no half-integer Maslov index shift. Hence
On the nonsingular branch . The elementary charge-one mass approaches at weak coupling. For positive with , , where , . Thus : the charge- soliton cannot fragment into smaller like-charge particles. For a general charge-conserving partition, a constituent with already has mass at least ; if every , the decreasing ratio gives , strictly for nontrivial fragmentation. Thus opposite-charge constituents cannot open a lower-energy decay either. This is charged rather than topological stability, and the semiclassical spectrum is reliable at weak coupling.
Counting states and the endpoint. Write . If is not an integer, the regular branch gives
If is an integer, the local nonsingular calculation gives only regular states. The formal closed-branch list has charge labels, but its last two labels are limits of the same singular static solution. Counting them needs a global completion; it cannot be decided from a regular current integral at .
In the additional integer-level completion, at leading semiclassical order and charges are identified modulo integer . There are then nonzero charge sectors. For odd , positive and negative labels are distinct; for even , the endpoint labels describe one self-conjugate state. This supplies states when , rather than endpoint labels. This global interpretation, and the distinction between classical and renormalized couplings, are discussed in Dorey and Hollowood, section 2. A generic classical does not automatically define an integer or specify this quantum completion.
Take and . The Sine-Gordon kink-antikink scattering solution tends to the same vacuum at both spatial ends and hence has zero net topological charge. At large , the two transition centers, found by setting the magnitude of the inverse-tangent argument to one, obey
They are a kink and an antikink moving with asymptotic speeds , with no outgoing radiation. Their left-right orientations interchange at the collision. To define the soliton time delay, label a transmitted trajectory by its preserved rapidity rather than its left-right position. The right-moving asymptotes are
After restoring physical lengths, the forward shift is . The arrival-time difference is therefore
This is a time advance relative to the extrapolated incoming free motion.
The semiclassical scattering phase. For an outgoing energy wave packet with full S-matrix phase , stationary phase in shifts its arrival time by . The full S-matrix phase from a classical soliton delay uses the paper's , twice the phase in a convention . In the center-of-momentum frame, , so . It follows that
The literal PDF normalization gives and consequently
The integrable logarithmic singularity at zero causes no divergence of this phase difference. With the intended standard angular-field prefactor , the result is instead
The soliton time delay determines only phase differences, not an energy-independent constant or a choice of branch. Keeping this distinction avoids an arbitrary high-energy subtraction.
Bound-state poles. Set . Each factor of the exact amplitude can be written . Its denominator vanishes in the physical rapidity strip at
The corresponding numerator is nonzero, and no other numerator cancels the pole. In the direct kink–antikink fusion interpretation, analytically continue the constituent rapidities to . Their momenta sum to , so the relativistic bound-state mass from a rapidity pole gives
These neutral particles form the Sine-Gordon breather spectrum at reflectionless couplings: there are breathers, none for , and the putative state is at the unbound threshold. The amplitude fixes these ratios to the physical kink mass; its rapidity dependence alone cannot fix the overall mass scale or a mass-renormalization prescription relating that mass to .
It is important to distinguish direct and crossed interpretations rather than count every occurrence of a pole twice. Crossing symmetry sends to . At the original angle the momentum-difference invariant is , so the crossed interpretation exchanges the complementary member of the same tower. In particular the transmission residue alternates sign: direct evaluation of the remaining factors gives , . Thus one must retain charge-channel/crossed-channel information, not reject every negative-imaginary transmission residue or declare an additional particle for a crossed pole. Direct and crossed locations coincide in the reflectionless pole set. The familiar case has one breather of mass despite the negative-imaginary transmission residue; this diagonal reflectionless example is also displayed in Castro-Alvaredo, Chen, Doyon and Hoogeveen, section 4.2.
Matching the exact phase. For the unwrapped reflectionless sine-Gordon transmission phase, at real choose the continuous unwrapped branch with . Then
Every factor has unit modulus, consistent with purely transmitting elastic scattering. Differentiating is simpler than integrating its complex logarithm:
For fixed the sum becomes a Riemann sum, and the elementary integral yields
Since and , replacing by changes this only at subleading order. The leading phase difference agrees with the standard semiclassical result. The derivative approximation is not uniform as at fixed ; integrating its logarithm gives a finite leading phase difference nevertheless. A compatible constant is the given branch , whose choice is supplied by the exact amplitude rather than the classical trajectory.
As a useful endpoint check, , obtained by expanding the two logarithms . Thus the leading phase with coefficient tends to . The exact unwrapped endpoints are
where the extra is subleading. Neither should be replaced by zero by an unannounced branch convention. Finally, the literal action gives a phase derivative of order , whereas the printed exact amplitude gives order . The requested exact/semiclassical matching requires correcting the overall action normalization to . This is an actual inconsistency between pages 2 and 4, not a change to the sine-Gordon equation or the classical scattering field.
An instanton describes a finite-action trajectory in imaginary time that crosses between classical vacua. It accounts for quantum tunnelling effects exponentially small in , beyond an ordinary power series around one minimum. A symmetric double well makes the connection between the Euclidean path integral, fluctuation theory and the low-energy spectrum particularly explicit.
For a particle of mass , use a Wick rotation in the kernel. The Euclidean action and its classical equation are
The latter is Newtonian motion in the inverted potential . Subtract the common minimum energy so . A finite-action path approaching at infinite Euclidean times has conserved Euclidean energy . Therefore
This gives both the classical trajectory by a quadrature and its tunnelling exponent. The plus solution is the instanton; reversal is the anti-instanton. A single crossing has action , not , although a periodic closed path necessarily has equal numbers of crossings in both directions.
An explicit double well. Take , whose local harmonic frequency at either minimum is . Integrating the zero-energy equation gives the quartic double-well instanton
The arbitrary center is a collective coordinate. The tunnelling regime is , so the crossing width is short compared with the typical separation between rare crossings.
The exponential alone does not give a dimensionally complete amplitude. Expand ; the quadratic Euclidean action is , where
The derivative is a normalizable translation instanton translation zero mode. The factorization of this one-dimensional fluctuation operator shows it has no negative modes. In , its two discrete eigenfunctions are proportional to and , with eigenvalues zero and ; the continuum begins at . Treating its zero eigenvalue as an ordinary Gaussian integral would give a divergent determinant. Instead integrate over : since , the Jacobian supplies . The nonzero fluctuations supply the determinant ratio. With common endpoint regularization,
This is the instanton fluctuation prefactor, with and having frequency units. The prime omits precisely the translation mode.
For this quartic potential the determinant can be evaluated explicitly. Set and add a small positive spectral regulator to both operators. With , the dimensionless operator is . Applying successively and to the free decaying solution , and normalizing at , gives a growing coefficient at equal to . The common Dirichlet functional determinant ratio has this coefficient. Hence the quartic double-well fluctuation determinant is
The frequency factor cannot be discarded when deleting the zero eigenvalue.
Summing rare crossings. Consider Euclidean duration much longer than a crossing width. In the dilute instanton gas, ordered centers have integration volume , and the amplitude per crossing is . Starting in the left well, directions alternate: an even number returns to the left well, and an odd number ends in the right well. If local anharmonic corrections, the leading kernels, with a common endpoint normalization , are
The even/odd sums must not be replaced by counting all possible crossing directions independently. Comparing their exponential components with the spectral representation gives
For the quartic example, to leading semiclassical order. This is the double-well tunneling splitting: the even state is lower because the symmetric wavefunction has no node. The equivalent low-energy Hamiltonian in localized left/right states is . An initially localized state tunnels coherently, with probability of occupying the other well. Tunnelling does not imply irreversible decay in this closed symmetric system.
The instanton approach thus yields the same leading forbidden-region action as the WKB approximation, while identifying the zero-mode measure, fluctuation normalization and multiple tunnelling events systematically. Perturbation theory about either separate minimum cannot generate . Multi-instanton interactions and higher-loop fluctuations correct the leading dilute-gas result; at finite temperature one instead uses periodic Euclidean boundary conditions, whose saddles may differ when the period is comparable to the crossing width. A false-vacuum bounce returning to the same metastable minimum has a negative fluctuation mode and describes a decay rate. It should not be confused with the stable-vacuum connecting instanton above, which has a translation zero mode but no negative mode.
Use a mostly-plus target Minkowski spacetime metric and restore the string tension by . After Wick rotation, the Polyakov action on a Riemann surface is
The Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string . Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.
A tachyon vertex operator is
The worldsheet Green function is . The operator product expansion with the holomorphic stress-energy tensor gives conformal weights . An integrated string vertex operator must have weights , so the mass-shell condition is , or tachyonic mass parameter .
At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry , while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.
The integral over the constant embedding worldsheet zero mode gives . The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factor
Set ; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and define
The mass-shell condition and momentum conservation imply . Since and similarly for the pair , the sphere tachyon position integral becomes
Here depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.
To evaluate the remaining worldsheet modulus, put and . The complex beta integral is
For example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for and ; the scattering result is its analytic continuation. The third gamma-function argument is . Absorbing into , the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:
It is symmetric in the three Mandelstam variables and has generic poles at , matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus has coupling power .