Skip to content

A spectral function is an operator-, state-, and convention-resolved distribution of transition strength over energy and, when available, momentum or other quantum numbers. It records not only where the Hamiltonian has allowed energy differences, but also how strongly a specified insertion prepares and detects the corresponding exact states.

That qualification is essential. A many-body spectrum is not merely a list of eigenvalues. A spectral function also contains:

  • matrix-element selection rules;
  • thermal populations;
  • addition, removal, or number-preserving channel information;
  • coherent pole residues and incoherent weight;
  • continuum thresholds and line shapes;
  • the normalization attached to the chosen operators.

A measured intensity also includes probe matrix elements, occupation factors, backgrounds, final-state effects, and instrumental resolution. A peak in measured counts therefore needs a measurement model before it can be interpreted as an intrinsic excitation.

Helpful background. Single-particle Green functions explains addition and removal weights; structure factors supplies number-preserving scattering spectra.

This page uses the target energy transfer

E=ℏωE = \hbar\omega

as the spectral variable. Positive EE means that the target absorbs energy. Negative EE means that an initially excited target can release energy, or, for a number-changing fermionic spectrum, that the feature lies on the removal side of the chemical potential.

The energy-resolved Fourier convention is

SAB(E)=12πℏ∫−∞∞dt eiEt/ℏ⟨A(t)B(0)⟩.\mathcal S_{AB}(E) = \frac{1}{2\pi\hbar} \int_{-\infty}^{\infty} dt\, e^{iEt/\hbar} \left\langle A(t)B(0) \right\rangle.

With this normalization,

∫−∞∞dE SAB(E)=⟨AB⟩.\int_{-\infty}^{\infty} dE\, \mathcal S_{AB}(E) = \langle AB\rangle.

An angular-frequency spectrum differs by the Jacobian

SE(E)=1ℏSω(Eℏ).\mathcal S_E(E) = \frac{1}{\hbar} \mathcal S_\omega \left( \frac{E}{\hbar} \right).

Factors of ℏ\hbar, 2π2\pi, and π\pi are therefore part of the definition, not cosmetic notation.

For number-preserving observables, time evolution normally uses the physical Hamiltonian HH. For single-particle addition and removal in equilibrium, it is often convenient to use

K=H−μN^.\mathcal K = H-\mu\hat N.

The corresponding spectral energy is measured relative to the chemical potential. The same physical process can be described using HH, but every frequency must then be shifted consistently. A plot labeled only by “energy” is incomplete unless its zero is stated.

The notation

i0+i0^+

selects a retarded boundary value. It is not a finite decay rate. A numerical replacement

0+⟶η>00^+ \longrightarrow \eta\gt0

creates a displayed width set by η\eta. That width becomes physical only when a controlled self-energy, bath, disorder average, or measurement model supplies the same scale.

Let

H∣n⟩=En∣n⟩,ρ=∑npn∣n⟩⟨n∣,H|n\rangle = E_n|n\rangle, \qquad \rho = \sum_n p_n |n\rangle\langle n|,

with [ρ,H]=0[\rho,H]=0. For an operator OO, define

SOO†(E)=12πℏ∫−∞∞dt eiEt/ℏ⟨O(t)O†(0)⟩.\mathcal S_{O O^\dagger}(E) = \frac{1}{2\pi\hbar} \int_{-\infty}^{\infty} dt\, e^{iEt/\hbar} \left\langle O(t)O^\dagger(0) \right\rangle.

Inserting a complete set gives the Lehmann form

SOO†(E)=∑n,mpn∣⟨m|O†|n⟩∣2×δ(E−Em+En).\mathcal S_{O O^\dagger}(E) ={} \sum_{n,m} p_n \left| \left\langle m \middle| O^\dagger \middle| n \right\rangle \right|^2 \times \delta \left( E-E_m+E_n \right).

This compact expression already contains most of the physics:

  1. Location. A line occurs at an exact transition energy Em−EnE_m-E_n.
  2. Preparation. The initial state appears with probability pnp_n.
  3. Visibility. The operator matrix element determines whether the transition is bright or dark.
  4. Weight. The squared overlap, not degeneracy alone, sets the line strength.
  5. Support. At zero temperature, a ground-state target has no inelastic weight at E<0E\lt0.

The zeroth moment is

∫dE SOO†(E)=⟨OO†⟩.\int dE\, \mathcal S_{O O^\dagger}(E) = \left\langle OO^\dagger \right\rangle.

Thus the total weight depends on the operator normalization and the reference state. It is not generally one.

For a family of operators OaO_a,

Sab(E)=∑n,mpn⟨n∣Oa∣m⟩⟨m∣Ob†∣n⟩×δ(E−Em+En).\mathcal S_{ab}(E) ={} \sum_{n,m} p_n \langle n|O_a|m\rangle \langle m|O_b^\dagger|n\rangle \times \delta \left( E-E_m+E_n \right).

At each energy this matrix is Hermitian and positive semidefinite as a distribution. For every complex channel vector vv,

v†S(E)v≥0.v^\dagger \boldsymbol{\mathcal S}(E) v \geq 0.

Individual off-diagonal entries may be complex or change sign. Positivity applies to physical quadratic forms, not component by component.

Two operators acting on the same Hamiltonian can produce completely different spectra. If

⟨m∣O†∣n⟩=0,\langle m|O^\dagger|n\rangle = 0,

then the transition is absent from this channel even though ∣m⟩|m\rangle is an exact eigenstate. Symmetry, momentum, polarization, particle number, and locality all create such selection rules.

Conversely, one bare operator may overlap many exact eigenstates. Its unit or finite total weight can then split among:

  • a coherent pole;
  • satellite poles;
  • a multiparticle continuum;
  • a threshold singularity;
  • high-energy incoherent weight.

The spectral function is therefore an operator-resolved projection of the spectrum.

The phrase “spectral function” is used for several related but inequivalent objects.

Object Representative definition Positivity Physical use
ordered transition spectrum SOO†(E)\mathcal S_{O O^\dagger}(E) nonnegative in a conjugate channel fluctuations and transition strength
fermionic single-particle function A=(i/2π)(GR−GA)A=(i/2\pi)(G^{\mathrm R}-G^{\mathrm A}) positive semidefinite particle addition and removal
response spectral density ρ=(χR−χA)/(2πi)\rho=(\chi^{\mathrm R}-\chi^{\mathrm A})/(2\pi i) generally signed absorption minus emission
dynamic structure factor SO(q,E)S_O(\mathbf q,E) nonnegative in a conjugate channel momentum- and energy-resolved scattering
density of states trace or momentum sum of AA nonnegative in standard fermionic use state counting weighted by orbital content
bath spectral density J(ω)=∑k∣gk∣2δ(ω−ωk)J(\omega)=\sum_k\lvert g_k\rvert^2\delta(\omega-\omega_k) conventionally nonnegative coupling-weighted reservoir modes
observed intensity probe-dependent forward model detector counts are nonnegative experimental data

No formula should be moved from one row to another without checking operator order, normalization, statistics, and the energy variable.

Fermionic single-particle spectral function

Section titled “Fermionic single-particle spectral function”

For canonical fermion operators,

A(E)=i2π[GR(E)−GA(E)].A(E) = \frac{i}{2\pi} \left[ G^{\mathrm R}(E) - G^{\mathrm A}(E) \right].

For a diagonal channel,

Aaa(E)=−1πIm⁡GaaR(E).A_{aa}(E) = - \frac{1}{\pi} \operatorname{Im} G_{aa}^{\mathrm R}(E).

At zero temperature its addition and removal content is schematically

Aaa(E)=∑m∣Xam+∣2δ(E−Δm+)+∑n∣Xan−∣2δ(E+Δn−).A_{aa}(E) ={} \sum_m |X_{am}^{+}|^2 \delta(E-\Delta_m^+) + \sum_n |X_{an}^{-}|^2 \delta(E+\Delta_n^-).

The positive-energy side adds a particle and the negative-energy side removes one, using energies relative to μ\mu. Canonical anticommutation gives

∫−∞∞dE Aaa(E)=1.\int_{-\infty}^{\infty} dE\, A_{aa}(E) = 1.

The full derivation, finite-temperature formula, matrix positivity, and occupation relations belong to Green Functions in Many-Body QM.

An observable response uses a commutator rather than one ordered product. In a compatible energy normalization,

ρAB(E)=SAB(E)−SBA(−E).\rho_{AB}(E) = \mathcal S_{AB}(E) - \mathcal S_{BA}(-E).

For a Hermitian stationary channel, define χER(E)=∫dt eiEt/ℏχR(t)=χωR(E/ℏ)\chi_E^R(E)=\int dt\,e^{iEt/\hbar}\chi^R(t)=\chi_\omega^R(E/\hbar). Unlike a spectral density, this response transform acquires no extra Jacobian merely from relabeling its argument. Then

ρAA(E)=1πIm⁡χAAR(E),\rho_{AA}(E) = \frac{1}{\pi} \operatorname{Im} \chi_{AA}^{\mathrm R}(E),

under the sign convention used in Retarded and Advanced Response. It is odd in energy and therefore cannot be nonnegative on both sides.

At thermal equilibrium, detailed balance supplies the preview

ρAA(E)=(1−e−βE)SAA(E)\rho_{AA}(E) = \left( 1-e^{-\beta E} \right) \mathcal S_{AA}(E)

for a conjugate Hermitian channel. The full set of Bose factors, symmetrized spectra, zero-frequency limits, and convention checks belongs to Fluctuation–Dissipation Theorem.

A density or spin structure factor is an ordered spectrum with a declared momentum transfer:

SO(q,E)∝∫dt eiEt/ℏ⟨Oq(t)O−q(0)⟩.S_O(\mathbf q,E) \propto \int dt\, e^{iEt/\hbar} \left\langle O_{\mathbf q}(t) O_{-\mathbf q}(0) \right\rangle.

It describes a number-preserving excitation channel. It is not the same as a one-particle addition spectrum

A(k,E).A(\mathbf k,E).

A collective mode may be sharp in S(q,E)S(\mathbf q,E) while carrying little or no weight in A(k,E)A(\mathbf k,E), and the reverse can also occur.

For a translation-invariant fermionic system, a common density of states is

ν(E)=1V∑kTr⁡A(k,E),\nu(E) = \frac{1}{\mathcal V} \sum_{\mathbf k} \operatorname{Tr} A(\mathbf k,E),

with the momentum measure and internal trace declared. Momentum integration discards dispersion information. Two systems can have similar ν(E)\nu(E) but very different A(k,E)A(\mathbf k,E).

A local spectral density

νi(E)=Tr⁡Aii(E)\nu_i(E) = \operatorname{Tr} A_{ii}(E)

retains orbital or spatial selectivity but still depends on the chosen local basis.

The open-system quantity

J(ω)=∑k∣gk∣2δ(ω−ωk)J(\omega) = \sum_k |g_k|^2 \delta(\omega-\omega_k)

weights environmental modes by their coupling to the system. It is not the target’s single-particle spectral function, even though both can have peaks, gaps, and continua. Their operators, dimensions, and roles in a calculation differ.

An interacting atom: lines, weights, and removal intensity

Section titled “An interacting atom: lines, weights, and removal intensity”

Consider one isolated spin-degenerate orbital, with grand-canonical generator

K=ξ(n↑+n↓)+Un↑n↓,ξ=ϵd−μ,U>0.\mathcal K=\xi(n_\uparrow+n_\downarrow)+Un_\uparrow n_\downarrow, \qquad \xi=\epsilon_d-\mu,\qquad U>0.

The atomic impurity model gives the four states and their energies. We use its exact atomic Green function to follow the same spectrum from transitions to an ideal measurement. There is no bath hybridization or hopping here.

For spin σ\sigma, adding an electron costs ξ\xi when the opposite spin is absent and ξ+U\xi+U when it is present. Since nσˉn_{\bar\sigma} is conserved, these are separate exact transitions. With nˉ=⟨nσˉ⟩\bar n=\langle n_{\bar\sigma}\rangle,

Gσ(z)=1−nˉz−ξ+nˉz−ξ−U,Im⁡z>0,Aσ(E)=(1−nˉ)δ(E−ξ)+nˉδ(E−ξ−U).\begin{aligned} G_\sigma(z)&=\frac{1-\bar n}{z-\xi}+\frac{\bar n}{z-\xi-U}, \qquad \operatorname{Im}z>0,\\ A_\sigma(E)&=(1-\bar n)\delta(E-\xi)+\bar n\delta(E-\xi-U). \end{aligned}

This is the atomic spectrum in Kollar’s §3.2, equation (28), with the orbital energy included in ξ\xi. The two residues are probabilities for the opposite-spin occupation, so they are nonnegative and sum to one. The interaction splits the weight without giving either exact line a lifetime.

Take an energy scale J>0J>0 and choose ξ=−J\xi=-J, U=4JU=4J, and βJ=ln⁡2\beta J=\ln2. In the ordered basis (∣0⟩,∣↑⟩,∣↓⟩,∣↑↓⟩)(|0\rangle,|\uparrow\rangle,|\downarrow\rangle,|\uparrow\downarrow\rangle), the grand energies and normalized Gibbs probabilities are

Kr=(0,−J,−J,2J),pr=121(4,8,8,1).K_r=(0,-J,-J,2J), \qquad p_r=\frac1{21}(4,8,8,1).

Thus nˉ=3/7\bar n=3/7 and

Aσ(E)=47δ(E+J)+37δ(E−3J).A_\sigma(E)=\frac47\delta(E+J)+\frac37\delta(E-3J).

The spectral sum rules give

∫dE Aσ(E)=1,∫dE EAσ(E)=5J7.\int dE\,A_\sigma(E)=1, \qquad \int dE\,E A_\sigma(E)=\frac{5J}{7}.

The first moment can be checked without integrating the spectrum: [cσ,K]=(ξ+Unσˉ)cσ[c_\sigma,\mathcal K]=(\xi+Un_{\bar\sigma})c_\sigma gives

⟨{[cσ,K],cσ†}⟩=ξ+Unˉ=5J7.\left\langle\left\{[c_\sigma,\mathcal K],c_\sigma^\dagger\right\}\right\rangle =\xi+U\bar n=\frac{5J}{7}.

The centroid 5J/75J/7 lies between the lines; there is no excitation at that energy. Likewise, the full spectral variance will reflect their separation, not a decay width.

For an ideal removal probe with unit matrix element, no background, and perfect resolution, the intrinsic signal is Irem=fAσI_{\rm rem}=fA_\sigma, where f(E)=(eβE+1)−1f(E)=(e^{\beta E}+1)^{-1}. Here f(−J)=2/3f(-J)=2/3 and f(3J)=1/9f(3J)=1/9, giving

Irem(E)=821δ(E+J)+121δ(E−3J),∫dE Irem(E)=37=⟨nσ⟩.I_{\rm rem}(E)=\frac{8}{21}\delta(E+J)+\frac1{21}\delta(E-3J), \qquad \int dE\,I_{\rm rem}(E)=\frac37=\langle n_\sigma\rangle.

The upper line’s removal weight comes from the thermally occupied doubly occupied state. At nonzero temperature, removal is selected by fAfA, not by cutting off AA at E=0E=0. The raw line-area ratio is 1/81/8, whereas the ratio in AσA_\sigma is 3/43/4.

A real detector broadens these already weighted lines. Its normalized energy-resolution kernel RR predicts

Iobs(E)=821R(E+J)+121R(E−3J).I_{\rm obs}(E)=\frac{8}{21}R(E+J)+\frac1{21}R(E-3J).

This full-axis integral remains 3/73/7; integrating a finite window or dividing the convolved signal by f(E)f(E) need not recover the intrinsic weights. The exercises below quantify these distinctions.

In the noninteracting limit U=0U=0, the two poles coincide and recover Aσ(E)=δ(E−ξ)A_\sigma(E)=\delta(E-\xi) and GσR(E)=(E−ξ+i0+)−1G_\sigma^{\rm R}(E)=(E-\xi+i0^+)^{-1}. At ξ=−U/2\xi=-U/2, a spin-symmetric thermal atom instead has equal residues at ±U/2\pm U/2. Neither two peaks nor a depleted interval alone establishes a bulk Mott phase: this isolated model has no spatial transport, and orbital hybridization can also produce two peaks without interactions.

A well-defined spectral plot can support several distinct claims.

A peak or threshold identifies an energy at which the chosen operator has appreciable transition weight. It does not by itself identify the microscopic composition of the excitation.

Tracking a feature across momentum gives a dispersion

E⋆(k)E_\star(\mathbf k)

or

E⋆(q).E_\star(\mathbf q).

The momentum label belongs to the operator insertion. A single-particle momentum k\mathbf k and a transferred momentum q\mathbf q are not interchangeable.

The integrated area under a resolved component measures an overlap or transition strength after normalization and probe factors are removed. Peak height alone is not spectral weight.

An intrinsic linewidth can imply a decay or dephasing scale under a stated pole model. A displayed or measured width does not establish that lifetime until numerical, instrumental, inhomogeneous, and final-state broadening have been separated.

Absence of weight can indicate a symmetry or matrix-element zero. It need not mean that no state exists at that energy.

For a finite, closed system with discrete spectrum, an exact Lehmann representation contains delta functions:

S(E)=∑jWjδ(E−Ej).\mathcal S(E) = \sum_j W_j \delta(E-E_j).

The coefficient WjW_j is an area. A delta function has no finite height and no intrinsic full width at half maximum.

The corresponding retarded function has a boundary-value pole,

GR(E)⊃ZjE−Ej+i0+.G^{\mathrm R}(E) \supset \frac{Z_j}{ E-E_j+i0^+ }.

Using

1x+i0+=PV⁡1x−iπδ(x),\frac{1}{ x+i0^+ } = \operatorname{PV}\frac1x - i\pi\delta(x),

the pole produces

A(E)⊃Zjδ(E−Ej).A(E) \supset Z_j\delta(E-E_j).

The pole and delta function are two descriptions of the same pure-point spectral contribution. The pole lives in the analytic Green function; the delta function lives in its real-axis spectral measure.

An isolated real-axis pole with nonzero residue identifies a stable exact excitation in the chosen channel. “Stable” here means that no energetically and symmetry-allowed continuum gives it a decay width in the idealized closed problem.

An exact eigenstate with zero matrix element has no pole in this Green function. The Hamiltonian spectrum can therefore be richer than any one operator’s pole inventory.

Several states at the same energy contribute a summed projector or summed weight. One observed delta line does not prove a nondegenerate state.

Continuous spectral weight appears when a limiting or averaging procedure creates a continuum of accessible energies. Common mechanisms include:

  • the thermodynamic limit;
  • multiparticle phase space;
  • coupling to a reservoir;
  • quenched-disorder averaging;
  • ensemble averaging;
  • unresolved dense levels;
  • instrumental convolution.

The thermodynamic, multiparticle, and reservoir mechanisms can produce intrinsic continuous support. Disorder and ensemble averages define declared averaged spectra whose smoothness need not describe any one realization. Unresolved levels and instrumental convolution smooth the representation or observation without changing the exact target spectrum.

If an analytic Green function has continuous real-axis discontinuity, its continuation is commonly represented by a branch cut. The cut is not an extra excitation. It is the analytic encoding of continuous spectral support.

A continuum often begins at a kinematic threshold

Eth(q).E_{\mathrm{th}}(\mathbf q).

Near the edge,

S(q,E)∝Θ(E−Eth)(E−Eth)α\mathcal S(\mathbf q,E) \propto \Theta \left( E-E_{\mathrm{th}} \right) \left( E-E_{\mathrm{th}} \right)^\alpha

only if the density of states and matrix element have the corresponding regular behavior. Interactions can change the exponent, bind a state below threshold, or create a resonance near the edge.

Take two gapped particles with

ϵ(p)=Δ+p22m.\epsilon(\mathbf p) = \Delta + \frac{\mathbf p^2}{2m}.

At total physical momentum ℏq\hbar\mathbf q, with q\mathbf q a wavevector and p\mathbf p a relative momentum, write

p1=ℏq2+p,p2=ℏq2−p.\mathbf p_1 = \frac{\hbar\mathbf q}{2} + \mathbf p, \qquad \mathbf p_2 = \frac{\hbar\mathbf q}{2} - \mathbf p.

Their total energy is

E=2Δ+ℏ2q24m+p2m.E = 2\Delta + \frac{\hbar^2\mathbf q^2}{4m} + \frac{\mathbf p^2}{m}.

The threshold is therefore

Eth(q)=2Δ+ℏ2q24m.E_{\mathrm{th}}(\mathbf q) = 2\Delta + \frac{\hbar^2\mathbf q^2}{4m}.

For a smooth nonvanishing matrix element, the near-threshold joint density of states scales as

S(q,E)∝(E−Eth)d/2−1.\mathcal S(\mathbf q,E) \propto \left( E-E_{\mathrm{th}} \right)^{d/2-1}.

Thus the same two-particle kinematics gives a divergent edge in one dimension, a step in two dimensions, and a square-root onset in three dimensions. A symmetry-forced matrix-element zero can soften each of these onsets.

A quasiparticle is not merely a visible maximum. It is an excitation that, over a controlled energy and momentum range, behaves like a weakly damped pole with a sufficiently isolated dispersion and nonzero overlap with a simple operator.

For one fermionic band,

GR(k,E)=1E−ξk−ΣR(k,E).G^{\mathrm R}(\mathbf k,E) = \frac1{ E-\xi_{\mathbf k} - \Sigma^{\mathrm R}(\mathbf k,E) }.

Write

ΣR=Σ′+iΣ′′,Σ′′≤0\Sigma^{\mathrm R} = \Sigma' + i\Sigma'', \qquad \Sigma''\leq0

for a passive fermionic retarded channel. Away from a zero-width pole,

A(k,E)=1π−Σ′′(k,E)D(k,E),D(k,E)=[E−ξk−Σ′(k,E)]2+[Σ′′(k,E)]2.\begin{aligned} A(\mathbf k,E) ={}& \frac1\pi \frac{ -\Sigma''(\mathbf k,E) }{ D(\mathbf k,E) }, \\ D(\mathbf k,E) ={}& \left[ E-\xi_{\mathbf k} -\Sigma'(\mathbf k,E) \right]^2 + \left[ \Sigma''(\mathbf k,E) \right]^2. \end{aligned}

The distributional i0+i0^+ contribution must be retained when Σ′′\Sigma'' vanishes exactly.

A candidate quasiparticle energy solves

Ek⋆−ξk−Σ′(k,Ek⋆)=0.E_{\mathbf k}^\star - \xi_{\mathbf k} - \Sigma' \left( \mathbf k,E_{\mathbf k}^\star \right) = 0.

This equation can have several roots or no clean isolated root. Matrix-valued problems require an eigenchannel or determinant analysis rather than applying the scalar equation to every diagonal entry.

When the self-energy is smooth near the root,

Zk=[1−∂EΣ′(k,E)∣E=Ek⋆]−1.Z_{\mathbf k} = \left[ 1 - \left. \partial_E \Sigma'(\mathbf k,E) \right|_{E=E_{\mathbf k}^\star} \right]^{-1}.

ZkZ_{\mathbf k} is the coherent pole weight in the stated single-particle channel. It is not:

  • a permanent probability that a microscopic particle survives;
  • the peak height;
  • automatically equal to an effective-mass ratio;
  • invariant under every change of orbital basis;
  • guaranteed to remain finite at a non-Fermi-liquid or critical point.

In a generic interacting one-dimensional liquid, Luttinger Liquid Preview shows how the pole is replaced by power-law thresholds and the thermodynamic quasiparticle residue vanishes.

Define

γk=−ZkΣ′′(k,Ek⋆).\gamma_{\mathbf k} = - Z_{\mathbf k} \Sigma'' \left( \mathbf k,E_{\mathbf k}^\star \right).

If γk≥0\gamma_{\mathbf k}\geq0 is small and the background varies slowly,

A(k,E)≃Zkπγk(E−Ek⋆)2+γk2+Ainc(k,E).A(\mathbf k,E) \simeq{} \frac{Z_{\mathbf k}}{\pi} \frac{ \gamma_{\mathbf k} }{ \left( E-E_{\mathbf k}^\star \right)^2 + \gamma_{\mathbf k}^2 } + A_{\mathrm{inc}}(\mathbf k,E).

The coherent Lorentzian has area ZkZ_{\mathbf k}, half width at half maximum

HWHM⁡=γk,\operatorname{HWHM} = \gamma_{\mathbf k},

and full width at half maximum

ΓE=2γk.\Gamma_E = 2\gamma_{\mathbf k}.

The remaining canonical weight belongs to AincA_{\mathrm{inc}} after all coherent contributions are included.

When the Lorentzian approximation is controlled

Section titled “When the Lorentzian approximation is controlled”

A quasiparticle fit requires more than a narrow-looking feature. Check that:

  1. Σ′\Sigma' and Σ′′\Sigma'' vary slowly across the fitted width;
  2. the peak is separated from nearby poles and thresholds;
  3. the background is not carrying comparable curvature;
  4. the extracted width is larger than numerical uncertainty but smaller than the relevant dispersion scale;
  5. the same feature follows a continuous dispersion across neighboring momenta;
  6. the residue and width are stable under fit-window and resolution changes.

Near a threshold, avoided crossing, matrix-valued degeneracy, Green-function zero, or critical continuum, a Lorentzian fit can return precise numbers with no quasiparticle meaning.

Consider a retarded pole written as

GR(E)≃ZE−E⋆+iγ.G^{\mathrm R}(E) \simeq \frac{Z}{ E-E_\star+i\gamma }.

Its time-domain amplitude contains

e−iE⋆t/ℏe−γt/ℏ,t>0.e^{-iE_\star t/\hbar} e^{-\gamma t/\hbar}, \qquad t\gt0.

The spectral FWHM is

ΓE=2γ.\Gamma_E = 2\gamma.

If this is a survival amplitude whose squared magnitude describes the population of the prepared excitation, with no additional pure dephasing, that population decays as

e−t/τ,e^{-t/\tau},

then this pole convention gives

τ=ℏΓE=ℏ2γ.\tau = \frac{\hbar}{\Gamma_E} = \frac{\hbar}{2\gamma}.

The amplitude decay time is twice this value. A spectral coherence can also decay by pure dephasing without comparable population relaxation; in that case the linewidth alone does not determine a population lifetime. Exact spectra bounded below can produce short-time and late-time deviations from a purely exponential pole model. Other communities define the quoted “lifetime” from a coherence, population, transport, or escape rate. A lifetime–linewidth statement is incomplete until the decaying quantity and width convention are named.

Width source Origin Does it imply an intrinsic lifetime?
self-energy damping coupling to allowed decay channels often, within a controlled pole approximation
open-system decay relaxation or dephasing through external modes identifies the decaying coherence; population lifetime needs a specified model
finite plotting η\eta chosen numerical kernel no
finite observation time Fourier resolution and window no
detector resolution instrumental response no
inhomogeneous broadening average over static environments not a single homogeneous lifetime
thermal broadening occupation factors or thermally varying self-energy only after the mechanism is separated
unresolved level splitting overlapping sharp transitions no
final-state broadening probe-specific outgoing state not necessarily the target excitation lifetime

A normalized Lorentzian is

Lγ(E)=1πγE2+γ2.L_\gamma(E) = \frac1\pi \frac{\gamma}{ E^2+\gamma^2 }.

Two Lorentzian convolutions add their HWHM values. Two Gaussian convolutions add variances. A Lorentzian intrinsic line convolved with Gaussian instrumental resolution gives a Voigt profile, not another exact Lorentzian.

An asymmetric line can arise from:

  • an energy-dependent self-energy;
  • a nearby threshold;
  • overlapping unresolved modes;
  • interference between a discrete path and a continuum;
  • an energy-dependent matrix element;
  • background subtraction.

A Fano profile,

I(ϵ)∝(q+ϵ)21+ϵ2,I(\epsilon) \propto \frac{ (q+\epsilon)^2 }{ 1+\epsilon^2 },

is an interference intensity. It should not automatically be identified with a positive intrinsic spectral density.

Exact spectral sticks, an intrinsic quasiparticle-plus-continuum line shape, and a resolution-convolved measured intensity

Panel A illustrates discrete lines. Panels B and C are a separate normalized continuous example: A(E)=0.65L0.12(E−0.5)+0.35Θ(E−2)(E−2)e−(E−2)A(E)=0.65L_{0.12}(E-0.5)+0.35\Theta(E-2)(E-2)e^{-(E-2)} in dimensionless energy units. Panel C is the numerical convolution of that same AA with a normalized Gaussian of width σ=0.25\sigma=0.25, with unit probe factor and no background. Convolution lowers and broadens the peak while preserving the full-axis integral. Only a finite energy window is shown; actual probes can additionally weight the spectrum by matrix elements and occupations.

For the normalized Lorentzian,

∫−∞∞dE Lγ(E−E⋆)=1.\int_{-\infty}^{\infty} dE\, L_\gamma(E-E_\star) = 1.

Therefore the coherent contribution

ZLγ(E−E⋆)ZL_\gamma(E-E_\star)

has integrated area ZZ for every γ>0\gamma\gt0. Its height,

Zπγ,\frac{Z}{\pi\gamma},

changes when the width changes. Comparing peak heights without comparing widths can therefore reverse the conclusion about spectral weight.

A useful local decomposition is

A(k,E)=Acoh(k,E)+Ainc(k,E).A(\mathbf k,E) = A_{\mathrm{coh}}(\mathbf k,E) + A_{\mathrm{inc}}(\mathbf k,E).

For one canonical orbital,

∫dE A(k,E)=1.\int dE\, A(\mathbf k,E) = 1.

If one coherent pole has weight ZkZ_{\mathbf k}, then

∫dE Ainc(k,E)=1−Zk\int dE\, A_{\mathrm{inc}}(\mathbf k,E) = 1-Z_{\mathbf k}

only when this is the sole coherent contribution. If several coherent branches are separated out, the remaining incoherent integral is 1−∑jZj1-\sum_jZ_j. A finite-width Lorentzian is a local approximation; extending it over all energies is justified for area estimates only when omitted background and tail corrections are controlled.

Experiments and computations integrate over finite windows:

W(E1,E2)=∫E1E2dE A(E).W(E_1,E_2) = \int_{E_1}^{E_2} dE\, A(E).

For the intrinsic A(E)A(E), a change in this partial integral means redistribution across the window boundaries, including a moving or broadening peak. In measured intensity, occupation factors, probe matrix elements, resolution leakage, and background subtraction can additionally change the apparent area even when intrinsic AA is unchanged. Neither observation automatically violates a full-domain sum rule.

Zeroth moments test normalization. Higher moments test commutators, kinetic energy, interactions, and asymptotic expansions. Sum Rules develops those exact constraints. Here the practical rule is:

When comparing integrated weights, specify the measure, window, operator normalization, and which other energies or channels were actually measured. Weight outside the accessible range can remain unknown.

For a translationally invariant BCS saddle, the electron spectral function is

A(k,E)=uk2δ(E−Ek)+vk2δ(E+Ek),A(\mathbf k,E) ={} u_{\mathbf k}^2 \delta(E-E_{\mathbf k}) + v_{\mathbf k}^2 \delta(E+E_{\mathbf k}),

where

Ek=ξk2+∣Δk∣2.E_{\mathbf k} = \sqrt{ \xi_{\mathbf k}^2 + |\Delta_{\mathbf k}|^2 }.

The coherence factors satisfy

uk2+vk2=1.u_{\mathbf k}^2 + v_{\mathbf k}^2 = 1.

The two branches therefore split one unit of canonical electron weight. At zero temperature,

nk=∫−∞0dE A(k,E)=vk2.n_{\mathbf k} = \int_{-\infty}^{0} dE\, A(\mathbf k,E) = v_{\mathbf k}^2.

The negative-energy peak is not a negative-norm state. It is particle-removal weight created by particle–hole mixing. BCS Mean-Field Theory derives the Bogoliubov transformation and coherence factors.

Bogoliubov Quasiparticles explains why these pole weights are canonical coherence factors, how they differ from an interaction-renormalized residue, and why bosonic commutator spectra instead carry signed negative-frequency weight.

Interactions beyond the saddle can broaden the peaks, shift their energies, create satellites, and transfer weight into continua. A broadened two-peak fit alone does not establish weak-coupling BCS physics.

A two-dimensional spectral map

A(k,E)A(\mathbf k,E)

is commonly analyzed through two kinds of cuts.

An energy-distribution curve holds momentum fixed and scans EE. Its line shape directly samples the energy dependence of the self-energy, matrix element, occupation factor, and background at that momentum.

A momentum-distribution curve holds EE fixed and scans momentum. If k\mathbf k is a wavevector and the group velocity is v⋆=ℏ−1∇kE⋆\mathbf v^\star=\hbar^{-1}\nabla_{\mathbf k}E^\star, local linearization gives

E−Ek⋆≃−ℏv⋆⋅(k−k⋆),E-E_{\mathbf k}^\star \simeq - \hbar\mathbf v^\star \cdot (\mathbf k-\mathbf k_\star),

For a cut along a unit direction n^\hat{\mathbf n}, if the self-energy and matrix element vary weakly with momentum, the wavevector HWHM is approximately

ΔkHWHM≃γℏ∣v⋆⋅n^∣.\Delta k_{\mathrm{HWHM}} \simeq \frac{\gamma}{ \hbar|\mathbf v^\star\cdot\hat{\mathbf n}| }.

This conversion fails near a band extremum, flat band, strong momentum-dependent self-energy, overlapping band, or matrix-element zero. An energy width and momentum width are not interchangeable without a local dispersion model.

From Intrinsic Spectrum to Measured Intensity

Section titled “From Intrinsic Spectrum to Measured Intensity”

A useful schematic forward model is

Iobs(x,E)=∫dx′ dE′ Rx(x−x′)RE(E−E′)×∣M(x′,E′)∣2F(E′)S(x′,E′)+B(x,E).I_{\mathrm{obs}}(x,E) ={} \int dx'\,dE'\, R_x(x-x') R_E(E-E') \times |M(x',E')|^2 \mathcal F(E') \mathcal S(x',E') + B(x,E).

Here:

  • xx denotes momentum, position, angle, polarization, or another resolved variable;
  • S\mathcal S is the intrinsic operator spectrum;
  • MM is a probe matrix element;
  • F\mathcal F is an occupation or detailed-balance factor;
  • RxR_x and RER_E are normalized resolution kernels;
  • BB is background.

The appropriate S\mathcal S and F\mathcal F depend on the experiment.

Photoemission, radio-frequency ejection, and related removal probes can approach

Irem(k,E)∝∣M(k,E)∣2f(E)A(k,E),I_{\mathrm{rem}}(\mathbf k,E) \propto |M(\mathbf k,E)|^2 f(E) A(\mathbf k,E),

before final-state effects, escape depth, kinematic factors, and resolution are included.

At zero temperature, f(E)f(E) suppresses positive-energy addition weight. Dividing noisy data by a small Fermi factor is not a model-independent reconstruction of the unoccupied spectrum.

Inverse photoemission or injection probes can emphasize

Iadd(k,E)∝∣M(k,E)∣2[1−f(E)]A(k,E).I_{\mathrm{add}}(\mathbf k,E) \propto |M(\mathbf k,E)|^2 \left[ 1-f(E) \right] A(\mathbf k,E).

Addition and removal experiments need not have the same matrix elements, backgrounds, or final-state broadening.

In a weak-tunneling limit, current involves a convolution of tip and sample spectral densities:

I(V)∝∫dE νtip(E−eV)νsample(E)×[f(E−eV)−f(E)]∣T(E,V)∣2.I(V) \propto \int dE\, \nu_{\mathrm{tip}}(E-eV) \nu_{\mathrm{sample}}(E) \times \left[ f(E-eV)-f(E) \right] |T(E,V)|^2.

The often-used approximation

dIdV∝νsample(eV)\frac{dI}{dV} \propto \nu_{\mathrm{sample}}(eV)

requires a sufficiently featureless tip, weak tunneling, controlled voltage drop, low enough temperature, and slowly varying matrix element. It is not a universal identity.

Scanning Tunneling Microscopy and Spectroscopy explains junction operation, feedback and setpoint effects, conductance maps, and quasiparticle interference.

Neutron, X-ray, electron, and cold-atom Bragg probes transfer momentum and energy without adding the same constituent whose single-particle propagator defines AA. Their intrinsic target object is commonly a dynamic structure factor or susceptibility:

SO(q,E)S_O(\mathbf q,E)

or

χOOR(q,E).\chi_{OO}^{\mathrm R}(\mathbf q,E).

Polarization factors, form factors, kinematics, and detailed balance multiply the target spectrum. A mode seen in scattering and a peak seen in photoemission may arise from related physics while remaining different operator channels.

If

M(x,E)=0,M(x,E) = 0,

the measured intensity vanishes even when the intrinsic spectrum is nonzero. Changing photon energy, polarization, probe geometry, tip orbital, or transferred momentum can therefore make a feature appear or disappear without changing the target Hamiltonian.

Even normalized resolution kernels preserve total weight only when the full domain is integrated:

∫dE RE(E−E′)=1.\int dE\, R_E(E-E') = 1.

Finite detector windows, nonlinear calibration, clipping, and background subtraction can spoil apparent conservation. Deconvolution amplifies noise and is not unique without regularization or prior information.

This section records the interpretation of common numerical outputs. Dynamical Correlation Functions Numerically gives the full comparative workflow, common benchmark and ways to distinguish finite-size, finite-time, and continuation resolution.

Finite exact diagonalization produces weighted delta functions. A common display replaces

δ(E−Ej)\delta(E-E_j)

by

Lη(E−Ej)=1πη(E−Ej)2+η2.L_\eta(E-E_j) = \frac1\pi \frac{\eta}{ (E-E_j)^2+\eta^2 }.

The integrated weight is preserved, but peak height, apparent overlap, and gap visibility depend on η\eta. A convergence study should vary:

  • system size;
  • boundary conditions;
  • symmetry sector;
  • broadening kernel;
  • broadening width;
  • frequency window.

For a sparse Hamiltonian, Lanczos Method Preview shows how the operator-generated seed A∣0⟩A|0\rangle yields a tridiagonal continued fraction, why the response run can occupy a different symmetry sector, and which residual and moment checks belong in the numerical record.

A record of duration TT has characteristic energy resolution

ΔE∼2πℏT.\Delta E \sim \frac{2\pi\hbar}{T}.

A rectangular time window produces sinc-like ringing. Smooth windows reduce sidelobes but broaden the main lobe and convolve the true spectrum with the window transform. Zero padding interpolates the plotted frequency grid; it does not increase physical resolution.

Imaginary-time or Matsubara data constrain a smoothed integral transform of the real-frequency spectrum. Recovering narrow lines, nearby peaks, or sharp thresholds from finite noisy data is ill conditioned.

A continuation result should report:

  1. the data covariance and fitted residuals;
  2. the positivity assumption and whether it is valid for the channel;
  3. exact normalization and known moments;
  4. prior or regularizer dependence;
  5. synthetic-data resolution tests;
  6. stability under removing imaginary-time or Matsubara points;
  7. uncertainty on integrated features, not only a smooth central curve.

Two reconstructions that fit the imaginary-axis data equally well can disagree on linewidths smaller than the continuation resolution.

Analytic Continuation explains covariance whitening, singular-value resolution, and synthetic tests that reveal which spectral features are actually resolved.

After shifting by a declared reference energy ErefE_{\mathrm{ref}}, methods that evaluate

⟨ψ∣O1E+iη−(H−Eref)O†∣ψ⟩\langle\psi| O \frac1{ E+i\eta-(H-E_{\mathrm{ref}}) } O^\dagger |\psi\rangle

compute an η\eta-broadened object directly. The linear-solver tolerance, variational truncation, finite size, and η\eta all contribute errors. Extrapolating η→0+\eta\to0^+ is a separate limiting problem.

A useful comparison matches more than peak position.

Band Structure Workflows explains converged one-electron band calculations. Their eigenvalues are a useful starting point, but an interacting spectral function can redistribute weight into satellites and continua. DMFT for Quantum Materials describes one approach to calculating that redistribution, within its local-self-energy approximation.

Prefer applying the experimental forward model to the theoretical spectrum:

Stheory⟶Ipredicted,\mathcal S_{\mathrm{theory}} \longrightarrow I_{\mathrm{predicted}},

then compare IpredictedI_{\mathrm{predicted}} with raw or minimally processed data. This keeps resolution, occupation, matrix elements, and background assumptions explicit.

At minimum compare:

  • peak or threshold energy;
  • integrated weight over declared windows;
  • intrinsic and observed widths separately;
  • momentum dispersion;
  • temperature and control-parameter dependence;
  • polarization or channel dependence;
  • asymmetry and continuum shape;
  • exact moments available to both sides.

Agreement in one peak position does not establish agreement in spectral function.

Fit uncertainties should include correlations among:

  • energy calibration;
  • resolution width;
  • background parameters;
  • matrix-element model;
  • occupation temperature;
  • overlapping peaks;
  • finite-window tails.

Subtracting a flexible background can trade continuum weight for peak area. That covariance should be reported rather than hidden by a single best-fit curve.

A maximum need not be a quasiparticle. Thresholds, overlapping modes, and probe matrix elements can all create maxima. A quasiparticle interpretation needs a locally controlled pole and a consistent dispersion.

Height is not residue. For a Lorentzian of coherent area ZZ, the height is Z/(πγ)Z/(\pi\gamma). A lower peak can carry the same weight after broadening.

A linewidth may describe coherence rather than population. Pure dephasing and static inhomogeneity broaden spectra without providing the same population decay time as irreversible escape from an excitation.

A finite window is not a complete sum rule. Unobserved tails, other branches, and probe-dependent suppression can explain missing measured area. Keep the intrinsic spectral integral separate from an occupation-weighted intensity.

Exercise 1: Lorentzian weight and delta limit

Section titled “Exercise 1: Lorentzian weight and delta limit”

For

Lγ(E−E0)=1πγ(E−E0)2+γ2,γ>0,L_\gamma(E-E_0) = \frac1\pi \frac{\gamma}{ (E-E_0)^2+\gamma^2 }, \qquad \gamma\gt0,

show that its integral is one, identify its HWHM and FWHM, and explain the sense in which it approaches δ(E−E0)\delta(E-E_0) as γ→0+\gamma\to0^+.

Solution

Set

x=E−E0γ.x = \frac{E-E_0}{\gamma}.

Then

∫−∞∞dE Lγ(E−E0)=1π∫−∞∞dx1+x2=1.\begin{aligned} \int_{-\infty}^{\infty} dE\, L_\gamma(E-E_0) &= \frac1\pi \int_{-\infty}^{\infty} \frac{dx}{1+x^2} \\ &= 1. \end{aligned}

The maximum is

Lγ(0)=1πγ.L_\gamma(0) = \frac1{\pi\gamma}.

Half the maximum occurs at

∣E−E0∣=γ.|E-E_0| = \gamma.

Thus

HWHM⁡=γ,FWHM⁡=2γ.\operatorname{HWHM} = \gamma, \qquad \operatorname{FWHM} = 2\gamma.

For every smooth compactly supported test function ff,

lim⁡γ→0+∫dE Lγ(E−E0)f(E)=f(E0).\lim_{\gamma\to0^+} \int dE\, L_\gamma(E-E_0)f(E) = f(E_0).

That distributional statement, rather than pointwise convergence at E0E_0, defines the delta limit.

Exercise 2: The same atom in a density channel

Section titled “Exercise 2: The same atom in a density channel”

In the atomic benchmark, replace electron removal by a source H′=−f(t)nσH'=-f(t)n_\sigma. Find the connected ordered spectrum of δnσ\delta n_\sigma, its isolated retarded self-response, and the isothermal derivative after re-equilibration. Why do the two finite-energy lines of AσA_\sigma not appear?

Solution

The atom conserves nσn_\sigma, so δnσ(t)=δnσ\delta n_\sigma(t)=\delta n_\sigma. Since nσ2=nσn_\sigma^2=n_\sigma and ⟨nσ⟩=3/7\langle n_\sigma\rangle=3/7,

Sδnσδnσ(E)=(37−949)δ(E)=1249δ(E).\mathcal S_{\delta n_\sigma\delta n_\sigma}(E) =\left(\frac37-\frac9{49}\right)\delta(E) =\frac{12}{49}\delta(E).

Its commutator vanishes at every time, hence χnσnσR=0\chi^{\rm R}_{n_\sigma n_\sigma}=0. An equilibrating bath can instead reweight the occupation sectors, giving the isothermal derivative

∂⟨nσ⟩f∂f∣f=0=β Var⁡(nσ)=12ln⁡249J.\left.\frac{\partial\langle n_\sigma\rangle_f}{\partial f}\right|_{f=0} =\beta\,\operatorname{Var}(n_\sigma) =\frac{12\ln2}{49J}.

The electron operator changes particle number and connects different atomic energies; the density operator is diagonal in these states. The missing finite-energy lines are a channel selection rule. The remaining connected zero-energy fluctuation is invisible to the commutator, exactly as the zero-frequency FDT discussion requires.

Exercise 3: A spectral variance without a lifetime

Section titled “Exercise 3: A spectral variance without a lifetime”

Compute the second moment and variance of the atomic AσA_\sigma. Check the second moment using ⟨{[[cσ,K],K],cσ†}⟩\langle\{[[c_\sigma,\mathcal K],\mathcal K],c_\sigma^\dagger\}\rangle. Then convolve AσA_\sigma with a centered Gaussian of standard deviation s=J/4s=J/4. Which moments change, and does the resulting width measure a lifetime?

Solution

The line weights give

M2=47J2+37(3J)2=31J27,Var⁡A(E)=M2−M12=192J249.M_2=\frac47J^2+\frac37(3J)^2=\frac{31J^2}{7}, \qquad \operatorname{Var}_A(E)=M_2-M_1^2=\frac{192J^2}{49}.

Because nσˉn_{\bar\sigma} commutes with both K\mathcal K and cσc_\sigma,

[[cσ,K],K]=(ξ+Unσˉ)2cσ.[[c_\sigma,\mathcal K],\mathcal K]=(\xi+Un_{\bar\sigma})^2c_\sigma.

The anticommutator expectation is therefore ξ2+(2ξU+U2)nˉ=31J2/7\xi^2+(2\xi U+U^2)\bar n=31J^2/7, independently reproducing the spectral result.

A centered normalized Gaussian preserves M0=1M_0=1 and M1=5J/7M_1=5J/7. It adds s2M0s^2M_0 to M2M_2, so

M2obs=503J2112,Var⁡obs(E)=192J249+J216.M_2^{\rm obs}=\frac{503J^2}{112}, \qquad \operatorname{Var}_{\rm obs}(E)=\frac{192J^2}{49}+\frac{J^2}{16}.

The original variance describes two sharp transitions; the extra term describes detector resolution. Neither establishes decay in the isolated atom. A Lorentzian display kernel would instead make the ordinary full-axis second moment diverge, so the same variance subtraction would be invalid.

Consider

ΣR(E)=Σ0+(1−Z0−1)E−iγ0Z0,\Sigma^{\mathrm R}(E) = \Sigma_0 + \left( 1-Z_0^{-1} \right)E - i\frac{\gamma_0}{Z_0},

with real Σ0\Sigma_0, 0<Z0≤10\lt Z_0\leq1, and γ0>0\gamma_0\gt0. For a bare level ξ\xi, find the renormalized energy, residue, and Lorentzian HWHM.

Solution

The pole equation is

E⋆−ξ−Σ0−(1−Z0−1)E⋆=0.E^\star - \xi - \Sigma_0 - \left( 1-Z_0^{-1} \right)E^\star = 0.

Therefore

E⋆=Z0(ξ+Σ0).E^\star = Z_0 \left( \xi+\Sigma_0 \right).

The derivative formula gives

Z=[1−(1−Z0−1)]−1=Z0.\begin{aligned} Z &= \left[ 1- \left( 1-Z_0^{-1} \right) \right]^{-1} \\ &= Z_0. \end{aligned}

Finally,

γ=−ZIm⁡ΣR=−Z0(−γ0Z0)=γ0.\gamma = - Z\operatorname{Im}\Sigma^{\mathrm R} = - Z_0 \left( -\frac{\gamma_0}{Z_0} \right) = \gamma_0.

The spectral FWHM is 2γ02\gamma_0, provided the linearized form remains valid across that width. This local model integrates to Z0Z_0 if extended over the whole line; a canonical fermionic spectrum needs additional weight 1−Z01-Z_0 outside the modeled pole region.

Exercise 5: Two-particle threshold exponent

Section titled “Exercise 5: Two-particle threshold exponent”

For two particles in dd dimensions with

ϵ(p)=Δ+p22m,\epsilon(\mathbf p) = \Delta + \frac{\mathbf p^2}{2m},

derive the threshold at fixed total physical momentum ℏq\hbar\mathbf q and show that a constant matrix element gives near-threshold weight proportional to (E−Eth)d/2−1(E-E_{\mathrm{th}})^{d/2-1}.

Solution

Use relative momentum p\mathbf p:

p1,2=ℏq2±p.\mathbf p_{1,2} = \frac{\hbar\mathbf q}{2} \pm \mathbf p.

Then

ϵ(p1)+ϵ(p2)=2Δ+ℏ2q24m+p2m.\epsilon(\mathbf p_1) + \epsilon(\mathbf p_2) = 2\Delta + \frac{\hbar^2\mathbf q^2}{4m} + \frac{\mathbf p^2}{m}.

The minimum occurs at p=0\mathbf p=\mathbf0, so

Eth(q)=2Δ+ℏ2q24m.E_{\mathrm{th}}(\mathbf q) = 2\Delta + \frac{\hbar^2\mathbf q^2}{4m}.

Let

ε=E−Eth.\varepsilon = E-E_{\mathrm{th}}.

The phase-space integral is

∫ddp δ(ε−p2m).\int d^dp\, \delta \left( \varepsilon-\frac{\mathbf p^2}{m} \right).

In spherical coordinates it scales as

pd−1∣d(p2/m)dp∣−1∝pd−2.p^{d-1} \left| \frac{d(p^2/m)}{dp} \right|^{-1} \propto p^{d-2}.

Since p∝εp\propto\sqrt\varepsilon,

S(E)∝εd/2−1Θ(ε).\mathcal S(E) \propto \varepsilon^{d/2-1} \Theta(\varepsilon).

A matrix element that vanishes as pℓp^\ell contributes an additional power εℓ\varepsilon^\ell after squaring the amplitude.

Exercise 6: Fermi weighting must precede resolution

Section titled “Exercise 6: Fermi weighting must precede resolution”

For the atomic benchmark, take a centered Gaussian detector kernel RJ(E)=e−E2/(2J2)/(2πJ)R_J(E)=e^{-E^2/(2J^2)}/(\sqrt{2\pi}J). Compare the correct Iobs=RJ∗(fAσ)I_{\rm obs}=R_J*(fA_\sigma) with Iwrong=f(E)(RJ∗Aσ)(E)I_{\rm wrong}=f(E)(R_J*A_\sigma)(E) at E=0E=0. Also find the fraction of the correct removal signal recorded in −2J<E<2J-2J<E<2J.

Solution

The Fermi factor weights the exact transition energies before the detector mixes neighboring energies. Thus

Iobs(0)=8e−1/2+e−9/2212πJ≃0.09239J,Iwrong(0)=4e−1/2+3e−9/2142πJ≃0.07008J.\begin{aligned} I_{\rm obs}(0)&=\frac{8e^{-1/2}+e^{-9/2}}{21\sqrt{2\pi}J} \simeq\frac{0.09239}{J},\\ I_{\rm wrong}(0)&=\frac{4e^{-1/2}+3e^{-9/2}}{14\sqrt{2\pi}J} \simeq\frac{0.07008}{J}. \end{aligned}

The latter uses f(0)=1/2f(0)=1/2 for contributions originating at both −J-J and 3J3J, where the actual occupations differ.

Let Φ(x)\Phi(x) be the standard-normal cumulative distribution. Integrating the correct two Gaussian lines over the stated window gives

Wrem=821[Φ(3)−Φ(−1)]+121[Φ(−1)−Φ(−5)]≃0.32755.W_{\rm rem} =\frac8{21}\bigl[\Phi(3)-\Phi(-1)\bigr] +\frac1{21}\bigl[\Phi(-1)-\Phi(-5)\bigr] \simeq0.32755.

The full removal weight is 3/73/7, so the recorded fraction is 7Wrem/3≃0.76437W_{\rm rem}/3\simeq0.7643. The missing area is detector-window leakage, even though the underlying spectrum obeys its exact normalization. Dividing the convolved curve by a pointwise Fermi factor cannot undo this mixing.

Exercise 7: Finite time and artificial linewidth

Section titled “Exercise 7: Finite time and artificial linewidth”

A real-time calculation reaches T=200 ℏ/JT=200\,\hbar/J, where JJ is an energy scale. Estimate the characteristic energy resolution. Explain why zero padding cannot resolve two lines separated by 0.01J0.01J.

Solution

The characteristic resolution is

ΔE∼2πℏT=2π200J≈0.031J.\Delta E \sim \frac{2\pi\hbar}{T} = \frac{2\pi}{200}J \approx 0.031J.

Two lines separated by 0.01J0.01J lie within this main resolution scale. Zero padding inserts additional frequency-grid points between the original discrete transform samples, making the curve look smoother. It does not add late-time information and therefore cannot create the missing resolving power.

A different window can alter ringing and numerical peak width, but resolving the pair requires a longer reliable time record or independent prior information.

For each task, identify the most direct intrinsic object and one forward-model factor that must still be considered:

  1. remove an electron with angle-resolved photoemission;
  2. scatter neutrons from spin fluctuations;
  3. infer local electronic states with a tunneling tip;
  4. model a qubit coupled to oscillator bath modes.
Solution
  1. Use the fermionic removal part of A(k,E)A(\mathbf k,E). The Fermi factor, photoemission matrix element, final state, and instrumental resolution intervene.
  2. Use the spin dynamic structure factor Sαβ(q,E)S^{\alpha\beta}(\mathbf q,E) or the related susceptibility. Magnetic form factors and polarization projectors intervene.
  3. Use local sample and tip spectral densities in the tunneling-current convolution. The tunneling matrix element, tip density of states, temperature, and voltage drop intervene.
  4. Use the bath coupling spectral density J(ω)J(\omega). The system coupling operator and thermal occupation factors intervene.

The objects can share similar line shapes, but their operators and normalizations are different.