research40 min studyLesson 743 in Physics

Separate spectral support from thermal occupation

Define a commutator spectral density and retarded sign convention, recover thermal Wightman weights, and demonstrate the Euclidean continuation for a free mode.

On this page

What you’ll understand

  • Relate the retarded imaginary part to a stated commutator spectral density.
  • Distinguish thermal occupation factors from a mode's spectral function.
  • Apply the correct continuation sign for the positive Euclidean bosonic correlator.

A spectral function describes which energy transfers an operator can support and with what commutator weight. Thermal occupation then determines how those transfers appear in unordered correlations. In an interacting medium the spectrum itself can depend on temperature, but the two roles should still be distinguished. A free oscillator provides an exact example in which occupations change with temperature while the commutator spectrum remains fixed.

Declare the retarded and spectral signs

Retain the module's forward transform ∫dt eiωt\int dt\,e^{i\omega t} and define the bosonic spectral density as the Fourier transform of C>−C<C^>-C^<, with no extra factor of i. Define the retarded Green function as minus i times the causal commutator. Its analytic continuation lies in the upper half frequency plane, and its boundary value has imaginary part equal to minus half the spectral density. This convention gives a negative static coordinate Green function for a stable oscillator; physical susceptibility to a Hamiltonian source minus fA is its negative.

For a Hermitian operator in equilibrium, the spectral density is real and odd in frequency, with nonnegative positive-frequency weight for an autocorrelation. The full retarded function follows from a dispersion integral, possibly with ultraviolet subtractions and contact terms for composite operators. Such real local terms can matter for static response even though they do not produce a smooth dissipative spectrum. Stating only an imaginary part without its analytic and subtraction information does not always specify a complete field-theory Green function.

ρ(ω)=C>(ω)−C<(ω),GR(t)=−iΘ(t)⟨[A(t),A(0)]⟩,GR(ω)=∫dν2πρ(ν)ω−ν+i0,ρ=−2Im⁡GR\rho(\omega)=C^>(\omega)-C^<(\omega),\qquad G_R(t)=-i\Theta(t)\langle[A(t),A(0)]\rangle,\qquad G_R(\omega)=\int\frac{d\nu}{2\pi}\frac{\rho(\nu)}{\omega-\nu+i0},\quad \rho=-2\operatorname{Im}G_R
The integral is written for a correlator needing no subtraction, as in the oscillator example. Composite field operators may need subtractions or contact terms. The sign follows from the positive-sign forward Fourier transform and the explicitly chosen −i retarded convention.↔ Scroll wide equations horizontally.

Multiply spectral weight by the right thermal factors

Away from isolated zero-frequency weights, combining KMS with the commutator definition gives C>=(1+nB)ρC^>=(1+n_B)\rho and C<=nBρC^<=n_B\rho, with nB(ω)=1/(eβω−1)n_B(\omega)=1/(e^{\beta\omega}-1). These formulas include negative frequencies algebraically; the negative Bose factor there combines with the odd spectral density to give the correct raw weights. For a fermionic annihilation operator, the corresponding positive spectral object is built from the anticommutator. Its raw greater and lesser factors are 1−nF1-n_F and nFn_F. Reusing the bosonic commutator subtraction would therefore give the wrong fermionic normalization.

For a unit-mass oscillator with H=(p2+Ω2q2)/2H=(p^2+\Omega^2q^2)/2 and [q,p]=i[q,p]=i, the spectrum has two delta peaks of opposite signs. Its positive-frequency weight is independent of temperature because the canonical commutator is a c-number. The equal-time coordinate variance, however, grows as (nB+1/2)/Ω(n_B+1/2)/\Omega. Interactions can broaden or shift the peaks and change the spectrum itself. The free result is a useful distinction between state occupation and spectral structure, not a claim that every thermal spectral function is temperature independent.

ρq(ω)=πΩ[δ(ω−Ω)−δ(ω+Ω)],GR(ω)=1(ω+i0)2−Ω2,∫dω2π ωρq(ω)=1\rho_q(\omega)=\frac{\pi}{\Omega}[\delta(\omega-\Omega)-\delta(\omega+\Omega)],\qquad G_R(\omega)=\frac{1}{(\omega+i0)^2-\Omega^2},\qquad \int\frac{d\omega}{2\pi}\,\omega\rho_q(\omega)=1
These formulas are exact for the canonical unit-mass free oscillator with Ω > 0. q has energy dimension −1/2, so its frequency-space correlators have units energy⁻². The first spectral moment checks the canonical normalization, not a particle-count sum.↔ Scroll wide equations horizontally.

Continue a specified Euclidean object

The positive Euclidean correlator used previously is GE(iωn)=1/(ωn2+Ω2)G_E(i\omega_n)=1/(\omega_n^2+\Omega^2). Its spectral denominator is ν−iωn\nu-i\omega_n, opposite to the retarded denominator. Consequently, under these explicit conventions the retarded boundary value is minus the continued Euclidean function. Substituting iωn→ω+i0i\omega_n\to\omega+i0 into its analytic expression and retaining that overall minus sign yields the displayed retarded oscillator. Other authors absorb the sign into their Euclidean definition, so formulas must be compared at the level of definitions.

A finite-width ansatz must also respect retarded analyticity and the desired sum rules. Simply replacing delta peaks by arbitrary positive bumps can violate the odd-frequency structure or the high-frequency normalization. Conversely, a narrow peak may leave only a subtle signature in Euclidean data. Reconstructing it requires more than taking a numerical Fourier transform of a finite list. Use positivity, asymptotic behavior, resolution tests, and an honestly stated ansatz when extracting spectral information from uncertain thermal data.

Thermal weights for a fixed free spectrum

For the unit-mass oscillator take Ω=2 GeV\Omega=2\,\mathrm{GeV} and βΩ=log⁡3\beta\Omega=\log3. Find the delta-peak coefficients of Cq>C_q^> at positive and negative frequency, and integrate them to obtain the equal-time variance.

  1. The occupation is nB=1/(3−1)=1/2n_B=1/(3-1)=1/2. The spectral positive-peak coefficient is π/Ω=π/2 GeV−1\pi/\Omega=\pi/2\,\mathrm{GeV^{-1}}, while the negative peak has the opposite spectral sign.

  2. The raw greater coefficients are (π/Ω)(nB+1)=3π/4 GeV−1(\pi/\Omega)(n_B+1)=3\pi/4\,\mathrm{GeV^{-1}} at +Ω+\Omega and (π/Ω)nB=π/4 GeV−1(\pi/\Omega)n_B=\pi/4\,\mathrm{GeV^{-1}} at −Ω-\Omega. Their ratio is three, consistent with detailed balance.

  3. Integrating the greater spectrum with dω/(2π)d\omega/(2\pi) gives (3π/4+π/4)/(2π)=1/2 GeV−1(3\pi/4+\pi/4)/(2\pi)=1/2\,\mathrm{GeV^{-1}}. Both peaks contribute positively to the variance even though the commutator spectrum has opposite signs.

The result

The greater coefficients are three pi over four and pi over four in inverse-GeV units, giving variance one half inverse GeV. Occupation changes those raw weights while leaving the free commutator spectrum fixed.

Explore the model

Interactive lab

Interactive lab · oscillator

Compare coherent frequencies in a simple time model

Reset and set damping ratio ζ = 0 and natural frequency ω₀ = 2. One Step advances to t = 0.5, predicting x = cos(1), approximately 0.5403. Compare after a fresh Reset with ζ = 0 and ω₀ = 1 followed by one Step, predicting x = cos(0.5), approximately 0.8776. This is a classical analytic displacement with x(0)=1 and v(0)=0. It does not compute a retarded commutator, a thermal variance, a spectral density, or a Matsubara continuation.

Compare coherent frequencies in a simple time modelUnit mass, x(0) = 1 and v(0) = 0. The analytic solution includes underdamped, critically damped and overdamped cases; time is measured in seconds. Current readings: Displacement x(t): 1; Velocity v(t): 0; Regime: underdamped. All parameters are adjustable with the labeled controls below.02.557.510−1.15−0.5700.571.15Time · sDisplacementunderdamped
Displacement x(t)Current time
Displacement x(t)
1
Velocity v(t)
0
Regime
underdamped
t = 0 s

Unit mass, x(0) = 1 and v(0) = 0. The analytic solution includes underdamped, critically damped and overdamped cases; time is measured in seconds. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forTime oscillations identify a frequency scale, while thermal and quantum correlation weights require additional definitions.

Check your understanding

With this module's retarded convention GR = −iΘ(t) times the commutator, how is its spectral density related to its imaginary part?

Try it yourself

Consider the illustrative causal damped-mode ansatz GR(ω)=[ω2−Ω2+2iγω]−1G_R(\omega)=[\omega^2-\Omega^2+2i\gamma\omega]^{-1} with Ω=2 GeV\Omega=2\,\mathrm{GeV} and γ=0.5 GeV\gamma=0.5\,\mathrm{GeV}. Find GRG_R and ρ\rho at ω=2 GeV\omega=2\,\mathrm{GeV}, and compare with the static value.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

At the stated positive frequency the real part of the denominator vanishes. Use the declared relation between the spectral density and imaginary part.

Compare with the solution

At ω=2 GeV\omega=2\,\mathrm{GeV}, the denominator is 2i GeV22i\,\mathrm{GeV^2}, so GR=−i/2 GeV−2G_R=-i/2\,\mathrm{GeV^{-2}} and ρ=1 GeV−2\rho=1\,\mathrm{GeV^{-2}}. At zero frequency, GR=−1/4 GeV−2G_R=-1/4\,\mathrm{GeV^{-2}} is real and the spectral density vanishes. Positive damping places the poles below the real axis, consistent with a retarded model. This ansatz specifies a phenomenological response; a finite-temperature fluctuation spectrum still requires an equilibrium occupation relation or an independently supplied nonequilibrium statistical correlator.

Take it with you

  • State the retarded prefactor before reading a spectral sign or static susceptibility.
  • Thermal Wightman functions combine spectral weight with Bose or Fermi factors.
  • Euclidean continuation requires a specified analytic function, normalization, and boundary prescription.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.