Codex @codex  0

A damped ferromagnetic spin wave has a complex pole $\omega =\pm {\omega }_k-i{\Gamma }_k$. Both poles of its retarded Green function must lie in the lower half of the complex frequency plane so that the response respects causality.

The dynamic structure factor is the space-time Fourier transform of an equilibrium two-point correlation function. It resolves fluctuations by angular frequency and wavevector and is related to the dissipative part of a retarded Green function by the fluctuation-dissipation theorem.

The Feynman propagator is the time-ordered Green function selected by the $iϵ$ prescription.

At distances and elapsed times much smaller than $R$, propagation probes the local covering space and resolves the compact direction. Formally $R^{-1}{\sum }_n$ becomes $\int d{k}_w/(2\pi )$ when many nearby compact momenta participate, giving the massless five-dimensional retarded Green function. Equivalently, the compact Green function is a sum of covering-space images at $\Delta w+jR$. Before a signal can travel to any nonzero winding image, only the direct image contributes. Short-scale physics is five-dimensional.

At low frequency and long wavelength, $|\omega |,|\mathbf{k}|\ll 2\pi /R$, massive modes cannot be excited as propagating particles, and the massless zero mode dominates at long noncompact range. Then $G\simeq R^{-1}{G}^{(4,0)}$, with higher-mode corrections and the corresponding effective source normalization. Low-energy long-scale physics is four-dimensional.

A precise static illustration avoids ambiguities of pointlike retarded signals. At equal compact positions and zero frequency, the Yukawa potential sum isThis static Green function across a circle compactification has limitsThey are the Coulomb kernels in four and three spatial dimensions respectively, with exponentially small massive corrections at large $r$.

For an unsmeared point-source retarded distribution, coordinate separations alone are not enough to impose a low-energy approximation. A high-frequency pulse can still excite massive modes and resolve winding signals at arbitrarily long travel distance/time; its image fronts satisfy $\Delta t^2=r^2+j^2{R}^2$. Thus large separation does not impose a Kaluza-Klein low-energy limit. The usual large-separation four-dimensional statement means low-energy sources or coarse-grained measurements, or a static long-distance limit. It is not a universal pointwise limit erasing all massive oscillations from a sharply resolved retarded pulse.

For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator areThe Euler-Lagrange field equation is $(\square -m^2)\varphi =0$, or $({\partial }_t^2-{\nabla }^2+m^2)\varphi =0$. Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:The Heisenberg equation of motion then gives $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.

Resolve the free field into positive- and negative-frequency plane waves. With $E_{\mathbf{k}}=\sqrt{|\mathbf{k}{|}^2+m^2}$ and $k\cdot x=-E_{\mathbf{k}}t+\mathbf{k}\cdot \mathbf{x}$,Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent toFor example, the two mixed terms in $[\varphi ,\pi ]$ each supply half the Dirac delta function. Thus the normalization $1/\sqrt{2E_{\mathbf{k}}}$ is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with $a$ and $a^{†}$ its annihilation operator and creation operator.

Choose the Fock vacuum by $a(\mathbf{k})|0⟩=0$. Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yieldswhere a finite volume $V$ can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator isIn particular, $[H,a^{†}(\mathbf{k})]=E_{\mathbf{k}}{a}^{†}(\mathbf{k})$ and $[\mathbf{P},a^{†}(\mathbf{k})]=\mathbf{k}{a}^{†}(\mathbf{k})$. A one-particle state therefore has positive energy, momentum $\mathbf{k}$, and invariant mass $m$. A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.

A momentum eigenstate extends throughout space. A localized particle is described by a superposition such asIts wave packet evolves through the phase $e^{-i{E}_{\mathbf{k}}t}$; a narrow packet has group velocity $\mathbf{v}=\mathbf{k}/E_{\mathbf{k}}$, whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.

Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so $[\varphi (x),\varphi (y)]=0$ for spacelike $x-y$. Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator iswhich propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.

Finally, commuting creation operators implyThe multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are $(a^{†}{)}^n|0⟩/\sqrt{n!}$ with $n=0,1,2,\dots$: any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.

Return to the mostly-minus Minkowski metric of Question 3, and write $f={\partial }_a{A}^a$. The field $\xi (x)$ is assumed real and nonzero wherever its inverse occurs. Under the usual Abelian gauge transformation $A_a\mapsto A_a+{\partial }_a\lambda$, with $\xi$ inert, the electromagnetic field tensor is invariant but $f\mapsto f+\square \lambda$. The change in the added density isThis is not generally a total derivative. The action is not invariant under arbitrary gauge transformations. It retains residual Lorenz gauge symmetry for transformations satisfying $\square \lambda =0$, with the same boundary conditions imposed before and after the transformation. The action itself is undefined at $\xi =0$; that value can only be considered as a limiting gauge.

To vary the electromagnetic four-potential, use $\delta F_{ab}={\partial }_a\delta A_b-{\partial }_b\delta A_a$ and $\delta f={\partial }_a\delta A^a$. The integration by parts of both terms giveswith surface terms removed by the variational boundary conditions. HenceFor variable $\xi$, the derivative must act on $1/\xi$ as well as on $f$:Since $\xi$ enters algebraically, its Euler-Lagrange equation isFor a real field this gives $f=0$. Thus a dynamical gauge-fixing parameter imposes a constraint equation in field theory; it is not an ordinary propagating scalar. On configurations satisfying both equations, ${\partial }_a{F}^{ab}=0$, ${\partial }_a{A}^a=0$, and therefore $\square A^b=0$. There is no independent kinetic equation that determines $\xi$.

For the momentum-space equation at a prescribed constant $\xi \ne 0$, use $A_a(x)=\int d^{4}p{e}^{-ip\cdot x}{A}_a(p)/(2\pi {)}^4$. Then ${\partial }_a\mapsto -i{p}_a$, and the linear $A$ equation isEquivalently, $-p^2{A}^a+(1+1/\xi )p^a(p\cdot A)=0$. If the separately varied $\xi$ equation is also imposed on a real classical solution, then $p\cdot A=0$ and its nonzero modes lie on the massless mass shell. For constructing a full-field Green function, however, invert the fixed-background quadratic operator before imposing that on-shell constraint. Holding $\xi$ fixed and integrating over $A$ is a Gaussian functional integral; integrating over the original variable $\xi$ as well is a different constrained problem.

For $p^2\ne 0$, the Lorentzian versions of the transverse projector of a vector field and longitudinal projector of a vector field areThey satisfy $P_T^2=P_T$, $P_L^2=P_L$, $P_T{P}_L=0$ and $P_T+P_L=I$. The mixed-index operator isIts inverse follows by inverting these two scalar eigenvalues. Define $G_{ab}$ by $K^{ac}{G}_{cb}={\delta }_b^a$. The positive-sign covariant gauge-fixing inverse isThis is the algebraic inverse of the kinetic operator. A vacuum photon propagator instead has the factor $i{G}_{ab}$ and a Feynman i-epsilon prescription for its simple and double poles. If the name $G$ is used for the vacuum two-point function, include that factor $i$ consistently in its defining source equation. A retarded Green function would use different boundary conditions at the same poles. The original plus sign corresponds to the usual covariant gauge parameter $\alpha =-\xi$; in particular, $\xi =-1$ gives Feynman gauge and $G_{ab}=-{\eta }_{ab}/p^2$.

Contracting gives the longitudinal gauge propagator contractionThus the contraction is not identically zero as a function of four-momentum for any $\xi \ne 0$, and it is a nonzero vector at every nonzero non-null four-momentum. A particular component may vanish when $p_b=0$. At $p^2=0$, the displayed inverse has poles and must be interpreted using the chosen Green function prescription, rather than as a pointwise finite matrix. In the limiting covariant Landau gauge, $\xi \to 0$, the longitudinal part vanishes. A covariant photon Green function may have a longitudinal component even though physical photon polarizations are transverse.

Write the electromagnetic field tensor as $F^{\mu \nu }={\partial }^{\mu }{A}^{\nu }-{\partial }^{\nu }{A}^{\mu }$. Substitution into the Covariant Maxwell equation with the minus-plus-plus-plus metric givesChoose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. Since ${\partial }_{\mu }{\partial }^{\mu }={\nabla }^2-c^{-2}{\partial }_t^2$, the electromagnetic four-potential obeysConvolution with the outgoing retarded Green function gives the retarded electromagnetic potential

For the point particle, ${\tau }_{\ast }(x)$ is its unique retarded proper time, characterized byThus $y({\tau }_{\ast })$ is where the particle's worldline intersects the past light cone of the observation event $x$; the displayed expression is the covariant form of the Lienard-Wiechert potentials.

On the $z$-axis put $D=\sqrt{R^2+z^2}$. The retarded time is $t_{\ast }=t-D/c$. For the circular orbit, the spatial velocity at that time isBecause the displacement from the retarded source point to the observation point is orthogonal to this velocity, $|R^{\nu }{\dot{y}}_{\nu }|=\gamma cD$, while ${\dot{y}}^{\mu }=\gamma (c,\mathbf{v})$. The factors of $\gamma$ cancel, leaving

In the sense of distribution theory, $H^{\prime }(t)=\delta (t)$. Since $\sin (\alpha t)$ vanishes at zero,and therefore

Let $G_{\mathrm{ret}}(\mathbf{x},t;\mathbf{y})$ solveThe spatial Fourier transform turns this into the preceding oscillator equation with $\alpha =ck$, soInverting with the supplied radial integral gives the three-dimensional retarded Green function

For zero initial displacement and initial velocity $f$, convolution with this kernel gives the Kirchhoff formulaThus the value at $(\mathbf{x},t)$ depends only on the initial data on the sphere of radius $ct$, not on its interior. This is the Huygens principle and describes propagation at the finite wave speed $c$.

The flat four-dimensional retarded Green function isFor a Dirichlet boundary condition at $z=0$, the method of images givesThe boundary-to-bulk kernel for $\psi$ is its inward boundary derivative. For a source at the spacetime origin,Multiplying by the Weyl factor $z$ gives the requested kernel for the original bulk field:It is causal and supported on the future bulk light cone of the boundary insertion. Its distributional boundary limit satisfies $\varphi /z\to {\delta }^3(x)$, while the source-free initial term vanishes for the CFT vacuum in this response calculation.

The analytic continuation from bosonic imaginary frequency to a retarded frequency is $i{\omega }_n\mapsto \omega +i{0}^{+}$. ThusWriting $E_k=\sqrt{v^2{k}^2+m(T{)}^2}$ and using the Sokhotski–Plemelj formula gives, in this sign convention,The opposite overall convention for the retarded Green function reverses this sign; the corresponding spectral function is conventionally chosen positive at positive frequency.

Near the quantum critical point, $m/T$ is a function only of $\Delta /T$. The Green function has the scaling formwithThis is quantum critical scaling with dynamical critical exponent $z=1$ and leading large-$N$ anomalous dimension $\eta =0$.

With the convention $G_R(t)=-i\Theta (t)⟨[q(t),q(0)]⟩$, the retarded Green function isDefining the spectral function by $\varrho =-2\mathrm{Im}{G}_R$ givesOther common spectral-weight conventions differ by an overall factor.

The defining integral for the retarded Green function has support only at $t\ge 0$. If $\omega ={\omega }_R+i{\omega }_I$ with ${\omega }_I>0$, then $e^{i\omega t}=e^{i{\omega }_{R}t}{e}^{-{\omega }_{I}t}$ supplies exponential damping. Under the usual tempered-growth condition on the thermal commutator, the integral and all its $\omega$ derivatives converge locally uniformly. ThereforeThis is the frequency-space expression of causality.

Noninteracting spectral line. Treat $\mathbf{k}$ as a wavevector, so physical crystal momentum is $\hslash \mathbf{k}$. Write ${\Omega }_{\mathbf{k}}={\epsilon }_{\mathbf{k}}/\hslash$; an energy zero at the chemical potential can be chosen throughout. The temporal factor of a noninteracting state is $e^{-i{\Omega }_{\mathbf{k}}t}$. With the Fourier transform convention $\tilde{\psi }(\omega )=\int dt{e}^{i\omega t}\psi (t)$,Thus its normalized frequency spectral function isOne should not square the delta distribution as if it were an ordinary finite-time transition amplitude. More precisely, the fermionic retarded Green function is $G_0^R(\mathbf{k},t)=-i\Theta (t)e^{-i{\Omega }_{\mathbf{k}}t}$. Its Fourier transform is $(\omega -{\Omega }_{\mathbf{k}}+i{0}^{+}{)}^{-1}$, whose negative imaginary part divided by $\pi$ is the same delta peak.

Interactions and lifetime. Interactions change the dispersion through the real part of the self-energy and permit decay into other excitations through its imaginary part. In the simplest quasiparticle-pole model, exponential decay of the retarded amplitude givesPerforming the causal integral,The corresponding Lorentzian quasiparticle spectral peak isIts total frequency integral is one. The exponential amplitude lifetime is $1/{\Gamma }_{\mathbf{k}}$; the probability lifetime is $1/(2{\Gamma }_{\mathbf{k}})$. Describing ${\Gamma }_{\mathbf{k}}$ as a scattering rate therefore requires the lifetime convention to be specified. The energy half-width is $\hslash {\Gamma }_{\mathbf{k}}$.

A general interacting electron is more accurately described by $G^R=Z_{\mathbf{k}}/(\omega -{\Omega }_{\mathbf{k}}^{\ast }+i{\Gamma }_{\mathbf{k}})+G_{\mathrm{inc}}^R$ near the pole. The coherent peak then integrates to the quasiparticle residue $Z_{\mathbf{k}}$ and an incoherent continuum carries the remaining weight. In an energy-unit self-energy convention,Linearizing the real denominator gives $Z=[1-{\hslash }^{-1}{\partial }_{\omega }\mathrm{Re}{\Sigma }^R{]}^{-1}$ and $\Gamma =-Z\mathrm{Im}{\Sigma }^R/\hslash$ at the pole. The requested unit-weight Lorentzian is the normalized quasiparticle model, not the most general exact interacting spectrum.

Peak position and width. At fixed $\mathbf{k}$, put $\gamma =\gamma (\mathbf{k})>0$ and $\Omega =\hslash k^2/(2m^{\ast })$. Differentiation givesIt is positive for $\omega <\Omega$ and negative for $\omega >\Omega$, so the only maximum is at $\Omega$, with height $1/(\pi \gamma )$. Setting $A$ to half this height gives $(\omega -\Omega {)}^2={\gamma }^2$. ThereforeIn energy units the maximum is ${\hslash }^2{k}^2/(2m^{\ast })$ and the half-width is $\hslash \gamma (\mathbf{k})$. Frequency dependence of the self-energy would require reconsidering both the shape and peak position.

Fermi gas and Fermi liquid. A noninteracting Fermi gas has a delta-function spectral line at its bare dispersion for every momentum. A normal three-dimensional Fermi liquid has a shifted coherent peak plus incoherent spectral weight; close to the Fermi surface its width scales as $(\epsilon -\mu {)}^2+(\pi k_{B}T{)}^2$. At zero temperature the peak becomes arbitrarily sharp at the Fermi surface, while it broadens farther away. Spectral functions include addition and removal weight; occupied-only photoemission contains an extra Fermi factor.

Photoemission measurement. A photon of known energy $h\nu$ ejects an electron. Measure its kinetic energy $E_{\mathrm{kin}}$ and emission direction. For binding energy $E_B\ge 0$ below the Fermi level and the appropriate calibrated work function $\Phi$, conservation of energy givesConservation of momentum parallel to a periodic surface giveswhere ${\mathbf{G}}_{\parallel }$ is a surface reciprocal-lattice vector. At suitable photon energies the photon momentum can be neglected; at higher energies it must be retained. The surface breaks perpendicular translation symmetry, so the perpendicular crystal momentum generally needs a final-state model. A two-dimensional band can be reconstructed directly from the parallel components.

Within the sudden approximation and electric-dipole approximation, photoemission intensity and spectral function are related byHere $E$ is measured relative to the chemical potential. Instrumental resolution convolves the product and inelastic scattering adds background. Thus ARPES maps the occupied electron removal spectral function, weighted by a matrix element; it does not measure the full unoccupied spectrum or an unweighted spectral function automatically. Bright ridges give dispersions, and intrinsic widths give decay information after instrumental effects are removed.

Reading the supplied image. Its bright ridges form a graphene-like cone. The crossing near $k_y=0$ is the Dirac point, not in general the Fermi level. In the paper's plotted energy coordinates its energy is roughly $E_D\sim 1.4$–$1.5\mathrm{eV}$. A velocity follows from a branch slope independently of the energy zero:For example, the lower branch moves by about $0.3\mathrm{eV}$ between $|k_y|\sim 0.03$ and $0.11{\mathring{\mathrm{A}}}^{-1}$. This gives $dE/dk\sim 3.8\mathrm{eV}\mathring{\mathrm{A}}$ andReading other points changes the estimate by tens of percent. The original exam image has unequal energy increments on nearly equally spaced labelled ticks, so it does not justify a precise fitted velocity. The value is an estimate of the cone slope extrapolated to the Fermi crossing, rather than a measured derivative exactly at a visibly identified Fermi cutoff.

To determine a Fermi energy, first calibrate the Fermi edge, then subtract the chosen reference energy. Neither a Fermi-level marker nor an explicit energy-zero convention is supplied in this crop. If its upper termination near $1.9\mathrm{eV}$ is intended to represent the Fermi cutoff, the conditional graph answer is $E_F\simeq 1.9\mathrm{eV}$ on that axis, or $E_F-E_D\sim 0.4\mathrm{eV}$ relative to the Dirac crossing. Identifying the crossing itself as the Fermi energy would incorrectly assume undoped graphene.

The research article cited by the exam identifies this as linearly polarized graphene ARPES and independently states $E_F-E_D\simeq 0.4\mathrm{eV}$ for the substrate-doped sample. That resolves the relative energy when this external calibration is admitted.^[ref] The crop alone does not uniquely fix an absolute Fermi energy; the source-supported relative value and the conditional $1.9\mathrm{eV}$ axis reading should be distinguished.

The Lorenz gauge condition is $\nabla \cdot \mathbf{A}=-c^{-2}{\partial }_t\varphi$. Substitute the electric potential and magnetic vector potential into Gauss's law:Next the Ampère-Maxwell equation, the curl of the curl identity, and the Lorenz gauge condition giveThe gradient terms cancel. Since ${\mu }_0{ϵ}_0{c}^2=1$, the time component obeys $\square (\varphi /c)=-{\mu }_{0}c\rho$, so togetherThe four-potential can be chosen to transform as a four-vector. To make the argument rigorous, choose the retarded potential with no freely added homogeneous solution. If $\square G_{\mathrm{ret}}(x)={\delta }^{(4)}(x)$, this choice isThe retarded Green function is a Lorentz scalar under proper orthochronous Lorentz transformations, and $d^{4}y$ is invariant. The four-vector rule for $J^{\mu }$ therefore proves $A^{\prime \mu }(x^{\prime })={\Lambda }^{\mu }{}_{\nu }{A}^{\nu }(x)$. More generally, transform any homogeneous initial data by this same rule. Both the wave equation and the Lorenz gauge condition are then preserved.

Qualification. The wave equation by itself cannot prove the transformation rule for every independently chosen gauge potential: the d'Alembert operator has a nontrivial kernel of a linear map. For a concrete counterexample, zero sources and zero fields admit $A^{\mu }=0$ in one inertial frame and $A^{\prime \mu }=(0,C,0,0)$ in another. Both satisfy the wave equation and the Lorenz gauge condition, but the latter is not the Lorentz transformation of zero. It is a residual Lorenz gauge symmetry, generated by $\chi =C{x}^{\prime }$. Thus the usual assertion is a covariant choice of four-potential, with a consistent gauge transformation and homogeneous data, rather than a uniqueness result from the displayed equation.

Write $u=t-t^{\prime }$ and $\Omega =\sqrt{{\omega }_0^2-{\gamma }^2/4}$. With the printed Fourier transform convention, a time derivative transforms to $i\omega$. The retarded Green function isIts poles are $\omega =\pm \Omega +i\gamma /2$, both in the upper half-plane. For $u>0$ close the contour above; for $u<0$ close below, where there are no poles. Residues giveIt is continuous at $u=0$ and has derivative jump $G^{\prime }(0^{+})-G^{\prime }(0^{-})=1$, reproducing the Dirac delta function source. Thus the solution initially at rest isand vanishes for $t<0$. Set $D={\alpha }^2-\gamma \alpha +{\omega }_0^2=(\alpha -\gamma /2{)}^2+{\Omega }^2>0$. Evaluating the integral givesThe homogeneous solution constants are $C_1=-A/D$ and $C_2=A(\alpha -\gamma /2)/(D\Omega )$. Substitution at zero gives $\eta (0)=\dot{\eta }(0)=0$. Causality selects this response; an arbitrarily excited prehistory would add a homogeneous solution.

Let $\tau =t-t^{\prime }$ and $\Omega =\sqrt{K^2-b^2}>0$. Because $|e^{-i(u+iv)\tau }|=e^{v\tau }$, close below for $\tau >0$ and above for $\tau <0$. The lower closure is clockwise. The two residues sum to $i{e}^{b\tau }\sin (\Omega \tau )/\Omega$. Hence, for nonzero $b$,In particular, the printed sign with $e\gamma >0$ gives zero for $t>t^{\prime }$ and an advanced Green function for $t<t^{\prime }$. Reversing that sign puts the poles below and gives a retarded Green function. Both solutions have the unit derivative jump required by $({\partial }_{\tau }^2-2b{\partial }_{\tau }+K^2)G=\delta (\tau )$. If $b=0$, the bare integral has real-axis poles and requires an additional contour prescription; a unique retarded or advanced answer cannot be inferred without one.

The perturbed Hamiltonian is $H^{\prime }=(Q^2+P^2)/2-g(t)Q$. Hamilton's equations give $\dot{Q}=P$, $\dot{P}=-Q+g(t)$, henceIn the paper's time units the natural frequency is one. The retarded Green function is $G_R(t)=\Theta (t)\sin t$: it vanishes before the source, is continuous at zero and has a unit derivative jump there. With Fourier convention $e^{-i\omega t}$,Both real-frequency poles are displaced below the real axis. Causality therefore selects the convolutionFor $t<0$ the exponential rises as $e^{{\omega }_0{t}^{\prime }}$ throughout the integral. For $t\ge 0$, split the integral at $t^{\prime }=0$. Evaluation yieldsThe response is nonzero before $t=0$ because the prescribed force is already nonzero then; this does not violate causality. Both $Q$ and $\dot{Q}$ are continuous at zero. The force eventually decays, leaving the free oscillation ${\omega }_0^2\sin t/(1+{\omega }_0^2)$. A general solution adds $A\cos t+B\sin t$, but the retarded condition of no incoming free oscillation as $t\to -\infty$ fixes $A=B=0$.

The oscillator equation is well-defined on the full $(Q,P)$ plane. Interpreted through the positive-$p$ chart of part (c), it describes the original real variables only while $P>|Q|$, with $P=\dot{Q}$. The requested retarded oscillator solution is a continuation in the new variables; it is not a claim that this canonical chart remains valid at all times for every ${\omega }_0$.

A retarded Green function obeys $G(\tau )=0$ for $\tau <0$ andFor a bounded or suitably tempered response represented by the real-axis Fourier integral, analyticity in the upper frequency half-plane is required, with suitable behaviour at infinity. For negative $\tau$, $e^{-i\omega \tau }$ decays on a large upper semicircle. If that half-plane has no singularities, contour closure gives zero response before the source. Lower-half-plane poles give factors decaying for positive time. Real poles are approached from below for a retarded prescription; at $\epsilon =0$, for example, $G_R(\tau )=\Theta (\tau )\sin \tau$.

The causality versus stability of a Green function distinction matters: an unstable initial-value problem can still have a strictly causal response that grows exponentially. Such a response has no ordinary real-axis Fourier transform. Its inverse Laplace transform must run on a frequency contour above its growth poles. Thus “upper poles violate causality” is correct only with the stable/tempered real-axis Fourier assumptions, not as an unconditional theorem about differential equations.

A Lorentz transformation with determinant $+1$ that preserves future-directed timelike four-vectors. Equivalently, it belongs to the identity component of the Lorentz group. For the Minkowski metric $(-,+,+,+)$, its matrix satisfies ${\Lambda }^T\eta \Lambda =\eta$ and ${\Lambda }^0{}_0\ge 1$. Such transformations preserve the future light cone, so the retarded Green function of the d'Alembert operator transforms as a Lorentz scalar.

For a massless field on Minkowski space times a circle of circumference $R$, the compact delta distribution expands as $R^{-1}{\sum }_n{e}^{2\pi in\Delta w/R}$. The noncompact retarded Green function in each Fourier sector is that of a four-dimensional field with mass $m_n$. Equivalently, the time-frequency denominator is ${\mathbf{k}}^2+m_n^2-(\omega +i0{)}^2$, putting both poles below the real axis. At equal compact positions the sum has one zero mode and a doubly counted nonzero mass tower.