On a connected transition chain, independently selected resonant pulses realize embedded two-level rotations with tunable angle and phase. Eliminate target amplitudes from one end of the chain using complex Givens rotations, and invert those rotations to prepare the target from a basis state. The pulse angles come from amplitude ratios and the phases from relative complex arguments. Spectator components are unchanged by each embedded rotation. Work in the interaction picture and compensate the known drift phases at the chosen final time when the target is specified in the laboratory frame.
For a localized quantum harmonic oscillator along , let the transverse magnetic vector potential be for , with zero potential before the switch. The Coulomb gauge form of minimal coupling gives . The creation operator matrix element means that only is reached at first order from the ground state. Its interaction picture amplitude is
In particular , so resonant finite-time expressions are nonsingular. The induced electric dipole moment is . It contains a driven component with the dynamic electric polarizability and free-frequency transients required by the initial conditions. The discontinuity in gives an impulsive electric field and an initial mechanical velocity even though the initial canonical momentum has zero mean.
For , choose and nominal resonance . Starting from up spin, the rotating-wave approximation gives the normalized Bloch vector in the title, with signed . It follows by transforming the spinor from the interaction picture back to the Schrödinger picture. Thus weak transverse driving combines slow meridional Rabi oscillations with fast Larmor precession.
This result requires and cannot be extrapolated as a controlled strong-drive formula. The exact equation is . For , neglecting the bias gives the controlled leading solution
The fixed-axis driving generators commute at all times, making this solution exact when the bias is zero at any prescribed drive frequency. At nominal resonance in a strong-drive experiment, the initial rotation scale is , twice the incorrectly extrapolated rotating-wave rate. Bias effects must be retained on longer times.
Expand the time-dependent quantum state in unperturbed energy eigenstates, factoring out free dynamical phases:
The Schrödinger equation gives the exact interaction picture coefficient equations
Initially . To first order in time-dependent perturbation theory, replace the coefficients on the right by these zeroth-order values and integrate. Thus
For a transition , this is the desired leading probability amplitude, and to leading order. The formula is understood with free asymptotic phases removed. For , the full survival amplitude also contains the zeroth-order ; the displayed integral alone is its first-order correction, not the whole amplitude. This specifies the usual scattering operator meaning of the paper's notation at infinite times.
For the ion pulse, write and . Then
Consider an excitation with and put , . The first real pulse is even in time and the second is odd. Their respective surviving Fourier components are therefore cosine and imaginary sine:
Since , the longitudinal term is smaller for comparable position matrix elements. Hence the electric-dipole excitation by a passing ion has
This leading limit extends to either sign of using . If by a selection rule, the retained leading term vanishes and the smaller longitudinal term may give the first nonzero probability. The conditions also include a small total transition probability, approximately straight constant-velocity motion, and large compared with atomic size for the electric-dipole approximation. The paper uses a Coulomb-coupling convention in which the factor is written ; in SI units replace throughout by .
The collision duration is of order . Excitations with angular frequency receive an unsuppressed impulse when this is short relative to . In contrast, for , cancellations in the Fourier transform suppress the transition: a slowly varying distant field approximately preserves the atomic energy eigenstate. The exact dipole-pulse transforms make this explicit:
where is a Modified Bessel function of the second kind. Their large-argument exponential decrease explains the slow-passage cutoff. These transforms are optional refinements of the small- derivation above, not a separate assumption about the target.
To connect the microscopic transition probability to energy loss, suppose the atom begins in a low-energy state. Exciting bound electronic states and causing ionization transfer positive energies from the ion to the material. For target atomic number density and path length , a schematic independent-encounter sum is
with a continuum integral as well as a sum for ionized final states. The short-collision formula gives , so the impact-parameter integral has logarithmic dependence on its cutoffs. Its upper effective cutoff is of order , where the transition ceases to be sudden; the lower cutoff must exclude regions where the dipole or weak-collision approximation fails. Thus the leading high-speed charge and isotope scaling of electronic stopping is
Although a faster ion can access more energetic transitions and a wider range of distant encounters, its shorter interaction time reduces each ordinary excitation probability. In the fast-ion regime shown, the decrease dominates the slower variation of the excitation factor. The energy loss consequently falls with increasing incident kinetic energy. The original figure has increasing downward, so the curves' rise toward the top of the page means decreasing loss, not increasing loss. A low-speed extrapolation of the inverse-square law is invalid because excitation thresholds, slow-passage suppression, changing ion charge and nuclear recoil can then matter.
For nonrelativistic ion mass , . At fixed incident energy the leading prediction becomes
The greater atomic number of nitrogen than carbon than boron therefore gives larger loss; at the same velocity the leading species factor is . Within an isotopic family, the heavier ion moves more slowly at the same and loses more energy. Equivalently, a heavier isotope needs proportionally greater kinetic energy to achieve the same velocity and approximately the same electronic loss. Comparing at fixed energy per nucleon, rather than fixed total , approximately removes this leading isotope mass dependence. This accounts for the separate isotope bands in the original graph without assigning different electronic excitation spectra to isotopes of the same projectile element.
The charge in this scaling is the effective ion charge if screening by bound projectile electrons is important. The interpretation assumes the same traversed material and thickness and uses the paper's small-fractional-loss regime, ; points with loss comparable to incident energy cannot be described quantitatively by treating as constant. The plotted curves support the qualitative ordering and high-energy decrease, rather than determining a universal normalization from the supplied single-atom model.
Start with the Schrödinger equation and differentiate the definition of the interaction picture state:
The free Hamiltonian operator terms cancel because commutes with its own matrix exponential. Therefore
This interaction picture transformation is exact.
Write and use the ordered spin basis . The free Hamiltonian operator is , so
Resolving the cosine into its two complex exponentials gives the exact upper off-diagonal factor
with the complex conjugate in the lower entry. Choose the field orientation with , as implicit in the printed near-resonance condition, and put . The rotating-wave approximation discards the terms at , retaining the slow terms at . The resulting interaction picture equations are
The factor contains from and from the cosine decomposition. This is a Driven two-level Rabi model, with signed on-resonance coupling and generalized Rabi angular frequency . Here the Rabi detuning uses the paper's convention, drive minus free frequency.
Small detuning alone is insufficient to derive the printed equations. One also requires , and an evolution time over which neglected terms stay small. At resonance this is the weak transverse-field regime . The supplied solution is thus an approximate solution for the linearly oscillating field, not an exact one at arbitrary drive strength. If , the other exponential is resonant and the physical positive resonance frequency is .
At resonance, retain the signed coupling . In the interaction picture, the given solution reduces to and . Returning to the Schrödinger picture gives
For a normalized spinor , the Pauli matrices give . Therefore the spin expectation value within the rotating-wave approximation is
Its magnitude is : the Bloch vector stays on the unit sphere. In a frame rotating about at angular velocity , it makes a uniform rotation in the plane. For , this gives slow Rabi oscillations between the poles, accompanied by rapid laboratory Larmor precession about .
If the same formula is formally used for , it predicts fast meridional rotations whose plane turns slowly about . However, the original PDF really does ask for this opposite limit, and it lies outside the assumption used in part (b). That formal description is not a controlled prediction for the stated linearly driven Hamiltonian operator.
A valid strong-drive description starts from the exact equation for the Bloch vector :
For times , neglecting the weak bias gives a controlled leading approximation, since the time integral of the omitted Hamiltonian operator has small norm. The remaining field has a fixed axis, so its generators commute at different times and
At the nominal resonance and on the early spin-rotation scale , this becomes . The initial rotation rate is consequently , twice the rate predicted by extrapolating the rotating-wave approximation. For longer times the exact differential equation must be retained. The following original calculation illustrates both regimes rather than asserting an exact strong-drive Rabi formula.
Figure 1.
Laboratory spin trajectories for weak and strong transverse driving
. Original solutions of the full time-dependent spin equation at nominal resonance, compared with the rotating-wave approximation. Top panels show the Bloch vector trajectory (the first half-cycle for weak driving); bottom panels compare its component. Time is . The weak-drive case agrees closely over a Rabi cycle; the strong-drive case demonstrates why the approximation cannot be extrapolated to . Details.
For the requested oscillator response, treat as the fixed transverse position of a one-dimensional quantum harmonic oscillator along , and put . The supplied radiation is transverse and already satisfies the Coulomb gauge. Its perturbation is
The annihilation operator and creation operator give
Thus the only first-order transition out of the ground state is to . More generally, the oscillator electric-dipole selection rule is . This is a rule for matrix elements; exact energy conservation is replaced by a finite-time resonance profile during a switched finite-duration interaction.
To display both the resonant and nonresonant terms without spurious singularities, define
The interaction picture coefficient in the given expansion is then
The full Schrödinger picture coefficient of is , while that of is at this order. The normalization changes only at order . In particular, at the first term is , finite for every finite time, and the perturbative result requires .
The fixed- interpretation is needed for the displayed target formulae. If were instead a three-dimensional kinetic operator with no transverse confinement, that model would have no normalizable transverse ground state, and would transfer transverse momentum . A treatment of that different model needs specified transverse states and recoil energies; they are absent from the question. The following parts use the intended localized-oscillator response.
For this spin-boson model, take . Since , the interaction picture observable is
The normalized vectors and belong to different eigenspaces of the Hermitian operator , and are therefore orthogonal. This remains true even though each vector includes the oscillator degrees of freedom. Hence all cross terms in the expectation value vanish, while the diagonal terms have eigenvalues and :
Normalization also gives , so these are the probabilities of the two spin outcomes.
The orthogonal projection onto the full spin- subspace is
Here the identity acts on all oscillator states. The finite-time scattering operator in the question is the interaction picture time-evolution operator, so . Projecting its two orthogonal spin components yields
Expand the right-hand side in the orthonormal basis . Taking its squared norm, and using the normalization of , gives
Thus one sums probabilities over unobserved final oscillator states, not their probability amplitudes. Unitarity of makes the sum over both equal to one.
The real scalar field has canonical momentum . Its Legendre transform gives
The first three terms constitute , the free massive Hamiltonian operator. The remaining term is . This sign is a consequence of having no time derivatives in the interaction: the canonical momentum is unchanged, while the interaction enters the Hamiltonian density with the opposite sign to the Lagrangian density.
In the interaction picture, operators evolve with and states evolve with constructed from the free interaction-picture field. Their evolution operator satisfies
Integrating once gives . Repeated substitution orders the integrations as . Replacing the ordered simplex by the full integration cube introduces and a time-ordered product, which proves the Dyson series
Taking the asymptotic limits with the usual adiabatic or regulated scattering prescription yields
The field in this expression is the free field evolving in the interaction picture, not an independently prescribed classical field. For quantum fields the expansion is a regulated perturbation series; the time-ordering symbol cannot be dropped because the operators at different times need not commute.
Use relativistically normalized two-particle states , with . The connected first-order scattering contribution is
Here the connected S-matrix uses a normalized vacuum and physical external one-particle states. At this order, normal ordering the vertex separates the four-external-leg contribution from vacuum and tadpole pieces; those disconnected or external-mass contributions are not the two-to-two scattering amplitude.
Two fields annihilate the incoming particles and two create the outgoing ones. There are choices of the annihilating fields, two assignments of the incoming momenta and two assignments of the outgoing momenta. Hence the total factor is , the external-leg factorial cancellation at a quartic scalar vertex. Each attachment contributes its plane-wave factor, so
The spacetime integral is the four-momentum conservation delta function, giving
In particular, the tree scattering amplitude is independent of angle.
For completeness, derive the relativistic two-body phase space in the centre-of-mass frame. Write , . The spatial delta function sets the two final momenta opposite, and the energy delta function is . Its radial Jacobian is . Thus
The invariant flux factor is for equal initial masses. Using , the labeled angular density is . The outgoing quanta belong to one real scalar field, so they are identical. A full-sphere integration counts each event twice and requires the identical final-state symmetry factor . Consequently
Equivalently one may integrate the labeled density over a hemisphere representing each event once. The final-state factor is separate from the vertex factorial: applying it at the vertex instead would give the wrong elastic scattering from a quartic scalar contact interaction cross-section.
For the complex scalar field, the canonical momenta are and . Split . The interaction picture is obtained from the Schrödinger picture by and , choosing a common time origin. The fields therefore obey the free Klein-Gordon equation, while the states evolve through . The canonical quantization of a complex scalar field gives
The adjoint expansion contains and . Particle and antiparticle modes are independent; their nonzero commutators are
All cross-species commutators, and all pairs of creation operators or of annihilation operators, vanish. These formulas reproduce and the remaining vanishing equal-time commutators.
There are no derivative interactions, so the interaction Hamiltonian is . Differentiating the interaction picture state gives . Its time-evolution operator satisfies
Iteration gives ordered integration regions . Each is of the full region with a time-ordered product, yielding the Dyson series
With the usual asymptotic scattering prescription, taking and proves
Time ordering is essential because different interaction Hamiltonians need not commute.
At first order, use the connected tree scattering amplitude, equivalently the normal-ordered quartic vertex with the vacuum and one-particle mass contributions removed. This qualification matters if the local product is interpreted literally without normal ordering: single-vertex tadpole diagrams and vacuum diagrams are not the requested connected two-particle amplitude. The complex scalar quartic contact vertex is obtained from
In a fully connected matrix element, an incoming particle and outgoing antiparticle attach to the two factors; an outgoing particle and incoming antiparticle attach to the two factors. Each pair has two assignments, giving . The external relativistic normalization of a one-particle state cancels each mode measure: for example and . Consequently the connected integrand is , and
Thus the invariant connected amplitude is
The Dirac delta function expresses four-momentum conservation.
For the identity contribution, commute through and independently through ; all terms leaving a creation operator against the left Fock vacuum or an annihilation operator against the right Fock vacuum vanish. Hence
There is no exchange term between the two distinct particle and antiparticle species.
All three fields have mass . In the interaction picture the quantum fields evolve with the free Hamiltonian operator, so their equations are
The interactions evolve the states instead. For the appropriate mode expansion of a free field is
Independent species have commuting creation and annihilation operators. The full set of canonical commutation relations is
These follow from the separate equal-time canonical commutation relations for the three real scalar fields. For comparison, in the Heisenberg picture the full Euler-Lagrange field equations contain interactions: , , and . These are distinct from the free equations used in the interaction picture.
There are no derivative couplings, so the interaction Hamiltonian is . The interaction picture evolution operator obeys
Iterating its integral equation gives the Dyson series
The ordered integration region is equivalent to the unrestricted region with time ordering and the factor . Taking the scattering limit , , with the usual adiabatic prescription for perturbation theory, therefore yields the S-matrix
All fields inside this expression are interaction picture fields.
Use relativistic normalization of a one-particle state and take , . Define the connected scattering amplitude by . The identity contribution describes no scattering; the term linear in cannot connect these four external particles. At quadratic order, the connected term in the Dyson series is
By Wick theorem, a connected Wick contraction must attach the two external legs to at one vertex, the two external legs to at the other, and contract the remaining two fields. The two assignments of species to cancel the Dyson factor . At either vertex, the assignments of its identical fields to the incoming and outgoing particle cancel the interaction factor . Equivalently, the coefficient is multiplied by , giving . Therefore, writing ,
Insert the Feynman propagator . The two vertex integrals impose and . With the Mandelstam invariant , this gives
This is distinguishable scalar scattering by a shared mediator with mediator mass . In physical elastic kinematics , so the denominator has no pole for . There is only the displayed -channel tree-level Feynman diagram: an - or -channel would require an absent mixed vertex. Each vertex contributes and the exchanged contributes , agreeing with the direct Wick contraction calculation.
Figure 1.
Tree-level elastic scattering of distinct scalar particles through a shared scalar mediator
. Details.
Split the free interaction picture field as , where the first part contains annihilation operators and the second creation operators. Time ordering places the operator at the later time on the left, while normal ordering places all creation operators on the left. For , commuting the annihilation part of the first field through the creation part of the second gives
The commutator is the c-number
For , the same calculation interchanges . Combining the two time orders proves the two-field Wick contraction identity
where
The equality with the four-dimensional integral follows by closing the energy contour at the positive-energy pole for and the negative-energy pole for the reverse order. This fixes the scalar Feynman propagator pole prescription; in this convention itself includes the factor .
Because these interactions have no derivatives, . Expand the Dyson series
Apply the Wick theorem to each term together with the external insertions. Every paired field contributes a propagator, and the remaining normal-ordered vacuum expectation vanishes unless no fields remain. Representing the propagators by Fourier integrals and integrating each vertex position gives the four-momentum conservation delta function. The and contractions into labelled vertex slots cancel the factorials in the interaction density. The resulting scalar-field cubic and quartic Feynman vertices are
Each vertex also has , each independent internal momentum is integrated with , and repeated equivalent contractions give the usual Feynman-diagram symmetry factor. For the unamputated correlation functions, retain the propagators joining external insertions to vertices. The displayed unnormalized numerator includes disconnected vacuum bubbles; dividing by cancels them. Amputated scattering amplitudes additionally use the LSZ reduction formula.
For stability, examine the classical scalar potential
The tree-level boundedness criterion is , with arbitrary real cubic coupling. If , boundedness requires and ; if , or with , the potential is unbounded below. Thus a positive quartic coupling permits a stable ground-state vacuum, although it need not be the perturbative vacuum at .
For and , the stability of a cubic-quartic scalar potential determines when zero is a global minimum:
The square bracket is nonnegative for every field value exactly when
For a nontrivial equality case there is a second degenerate minimum at . If and , zero remains a local minimum but is a false vacuum, with a lower minimum elsewhere. If and , the origin is the quartic minimum despite its vanishing quadratic curvature. These are classical or tree-level stability statements; renormalized couplings and the quantum effective potential refine the quantum analysis.
Figure 1.
Stable, degenerate and metastable scalar vacua
. Details.