Lecture 10 : Weak Sources and Retarded Response
Where this fits
The course has so far described states , correlations , and equilibrium transition weights of systems left alone . Condensed - matter experiments , however , usually intervene : a field , pulse , voltage , or force is applied and a delayed signal is recorded . This lecture supplies the causal map between those two operations . That map becomes the common language for screening , collective modes , spectroscopy , and transport , even though each chooses a different source and readout . Response is consequently not a property of an energy spectrum alone ; it belongs to a declared preparation , perturbation , observable , and limiting procedure .
An ESR or NMR experiment supplies a physical protocol for the abstract source . A static magnetic field establishes two spin levels . A weak transverse oscillating field supplies the time - dependent term , and the apparatus detects the transverse magnetization in phase and in quadrature with the drive . For a dilute paramagnetic ion or a nuclear spin sufficiently isolated from other levels , these are the ˆ 𝜎 𝑥 σ ^ x source and readout of the two - level anchor up to known magnetic - moment factors .
The idealization already makes falsifiable predictions : no magnetization can respond before the drive , the resonance lies at the level splitting , and the two measured quadratures come from one complex susceptibility . It does not predict a finite material linewidth . Relaxation , dephasing , static disorder , and coupling to other levels must be supplied before a broadened ESR or NMR line can be interpreted quantitatively .
Lecture 9 ’ s directed - transition calculation described what an undriven equilibrium system reveals through its directed transition weights . This lecture changes the protocol : an external agent perturbs the Hamiltonian , and an apparatus asks for the resulting change of a later observable .
We will derive the retarded kernel from two - sided first - order evolution of the driven two - level anchor , then verify causal support , Fourier signs , pole weights , and the static limit against an exact ground - state tilt .
How does first - order unitary dynamics turn a declared source and readout into a causal response kernel , and which sign , pole , and static - limit checks make that kernel physically interpretable ?
A source delivers an impulse at 𝑡 0 t 0 , yet a proposed susceptibility predicts a nonzero change at 𝑡 < 𝑡 0 t < t 0 . Before seeing any formula , choose which ingredient must reject that proposal : the equilibrium weights , the transition matrix element , or the time support of the response kernel . The answer will become a calculation rather than an appeal to the word “ causal . ”
A named susceptibility is never just a property of the unperturbed spectrum ; it also depends on the source operator , readout operator , sign convention , preparation , and limiting protocol . Keeping that ledger explicit is what permits formulas from different texts or software packages to be compared safely .
From Lecture 9 ’ s equilibrium - state definition , recover the thermal density operator , the Heisenberg evolution of ˆ 𝜎 𝑥 σ ^ x , and the difference between an ordered correlation and a commutator . From quantum mechanics , write the first - order interaction - picture evolution operator and its adjoint . Before continuing , predict which time - ordering statement enforces that a later source cannot change an earlier measurement . No additional statistical - mechanics formalism is assumed .
10.1 From a weak source to the retarded commutator
The retarded susceptibility is the derivative of a declared readout with respect to a declared source at zero source strength . It is a causal distribution determined jointly by the equilibrium state , the perturbing operator , and the measured operator ; it is neither the raw record nor an equilibrium correlation with a suggestive name . The Kubo kernel is exact as that derivative under the stated regularity assumptions . Replacing a finite drive by its first - order response is controlled only over a specified amplitude and time window ; nonlinear response , bath dynamics , and phenomenological broadening are separate corrections [Kub57 ; KG06 ] .
10.1.1 Source convention and interaction - picture expansion
Keep the same two - level Hilbert space H 2 H 2 and ordered energy basis
B E : = ( | g ⟩ , | e ⟩ ) B E := ( | g ⟩ , | e ⟩ )
as Lecture 9 . The Pauli operators and the unperturbed Hamiltonian are linear maps ˆ 𝜎 𝛼 , ˆ 𝐻 0 : H 2 → H 2 σ ^ α , H ^ 0 : H 2 → H 2 . Their matrices in the declared basis are
[ ˆ 𝜎 𝑥 ] B E = ( 0 1 1 0 ) , [ ˆ 𝜎 𝑦 ] B E = ( 0 − i i 0 ) , [ ˆ 𝜎 𝑧 ] B E = ( 1 0 0 − 1 ) , ˆ 𝐻 0 = − ℏ Ω 2 ˆ 𝜎 𝑧 . [ σ ^ x ] B E = ( 0 1 1 0 ) , [ σ ^ y ] B E = ( 0 − i i 0 ) , [ σ ^ z ] B E = ( 1 0 0 − 1 ) , H ^ 0 = − ℏ Ω 2 σ ^ z .
Thus | g ⟩ | g ⟩ is the + 1 + 1 eigenvector of ˆ 𝜎 𝑧 σ ^ z and has energy − ℏ Ω / 2 − ℏ Ω / 2 . For the core derivation , let the real source amplitude belong to the test - function space D ( ℝ ; ℝ ) = 𝐶 ∞ c ( ℝ ; ℝ ) D ( R ; R ) = C c ∞ ( R ; R ) . Ideal impulses , steps , and monochromatic drives will be introduced only as declared distributional or long - window extensions . Declare the protocol before writing a kernel :
ˆ 𝐻 ′ ( 𝑡 ) = + 𝑓 𝑥 ( 𝑡 ) ˆ 𝜎 𝑥 , H ^ ′ ( t ) = + f x ( t ) σ ^ x ,
while the apparatus reads ˆ 𝜎 𝑥 σ ^ x . The plus sign is part of the definition of the source function 𝑓 𝑥 ( 𝑡 ) f x ( t ) . Many texts instead write ˆ 𝐻 ′ = − 𝐹 𝑥 ˆ 𝜎 𝑥 H ^ ′ = − F x σ ^ x ; their force is related by 𝑓 𝑥 = − 𝐹 𝑥 f x = − F x , and their susceptibility has the opposite sign . We retain the Fourier transform e + i 𝜔 𝑡 e + i ω t .
Definition 10.1 (Linear response of an expectation)
Let ˆ 𝐻 0 H ^ 0 be self - adjoint on a Hilbert space H H , let ˆ 𝜌 0 ρ ^ 0 be a stationary density operator , and let ˆ 𝐴 A ^ and ˆ 𝐵 B ^ be bounded observables with no explicit source dependence . For a real test source 𝑓 ∈ D ( ℝ ; ℝ ) f ∈ D ( R ; R ) , introduce a scalar bookkeeping parameter 𝜆 λ through
ˆ 𝐻 𝜆 ( 𝑡 ) : = ˆ 𝐻 0 + 𝜆 𝑓 ( 𝑡 ) ˆ 𝐵 . H ^ λ ( t ) := H ^ 0 + λ f ( t ) B ^ .
Write E 𝐴 [ 𝜆 𝑓 ] ( 𝑡 ) E A [ λ f ] ( t ) for the resulting expectation of the readout at time 𝑡 t . The protocol has linear response in the direction 𝑓 f if the first Gâteaux variation exists and there is a distributional kernel 𝜒 𝐴 𝐵 ( 𝑡 , 𝑡 ′ ) χ A B ( t , t ′ ) such that
E 𝐴 [ 𝜆 𝑓 ] ( 𝑡 ) − E 𝐴 [ 0 ] ( 𝑡 ) = 𝜆 ⟨ 𝜒 𝐴 𝐵 ( 𝑡 , ⋅ ) , 𝑓 ⟩ + 𝑟 𝑡 ( 𝜆 ; 𝑓 ) , l i m 𝜆 → 0 𝑟 𝑡 ( 𝜆 ; 𝑓 ) 𝜆 = 0 . E A [ λ f ] ( t ) − E A [ 0 ] ( t ) = λ ⟨ χ A B ( t , ⋅ ) , f ⟩ + r t ( λ ; f ) , lim λ → 0 r t ( λ ; f ) λ = 0.
For a stationary preparation the kernel depends on 𝑡 − 𝑡 ′ t − t ′ , and the pairing becomes a convolution . The plus sign in 𝜆 𝑓 ˆ 𝐵 λ f B ^ , the preparation , source operator , readout , and source space are part of the definition . If 𝑓 f has units of the experimental source , then the time - domain kernel has units [ 𝐴 ] / ( [ 𝑓 ] t i m e ) [ A ] / ( [ f ] time ) , while its Fourier transform has units [ 𝐴 ] / [ 𝑓 ] [ A ] / [ f ] .
Changing from + 𝑓 𝑥 ˆ 𝜎 𝑥 + f x σ ^ x to − 𝐹 𝑥 ˆ 𝜎 𝑥 − F x σ ^ x does not move a physical pole or reverse a measured tilt . It changes which ordinary source amplitude is called positive and therefore changes the convention - dependent sign assigned to the kernel . Record the coupling sign , response convolution , commutator sign , and Fourier sign as one ledger . A response that changes only one entry is not a consistent convention change .
Predict three properties . A source at 𝑡 ′ t ′ cannot alter a measurement at an earlier 𝑡 t . The leading change must be linear in 𝑓 𝑥 f x . Because an expectation value contains an evolution operator on both sides of the observable , the two first - order corrections should occur in opposite operator orders .
The response function below is not a property of the material with its input left implicit . It is the causal functional derivative of one declared observable expectation with respect to one declared source , evaluated about a specified stationary preparation . Moving a sign or coupling constant between the source Hamiltonian and susceptibility changes a convention but not the predicted observable change . Causality licenses the retarded support and Kramers – Kronig structure ; thermal equilibrium is needed only for later fluctuation – dissipation relations .
Before reading Figure 10 . 1 , trace which wire carries the physical source , which path supplies only a phase reference , and whether the two lock - in outputs should be interpreted as two susceptibilities .
10.1.2 Two - sided state correction and the commutator
The 3D apparatus (a), enlarged four-terminal device (b), computed synchronous signals (c), and functional drive/reference map (d) connect the response kernel to one weak-source protocol.
An apparatus-recognizable four-terminal sample stage is wired to a source, preamplifier and lock-in detector with distinct drive, reference and response paths beside computed phase-shifted signals.
Figure 10.1. The 3D apparatus (a), enlarged four-terminal device (b), computed synchronous signals (c), and functional drive/reference map (d) connect the response kernel to one weak-source protocol.
The stage and support are representative design choices . The thermometry path shows one representative lead ; return wiring and detailed thermal anchoring are omitted .
Panel ( c ) uses a 17 Hz cosine reference , 𝜔 = 2 𝜋 × 1 7 H z ω = 2 π × 17 Hz , and a response with 1 2 0 𝜇 V 120 μ V peak amplitude and phase − 2 0 ∘ − 20 ∘ , over two cycles . Drive and response are each divided by their own peak ; their displayed heights do not encode gain . Here the peak convention is 𝑋 = 2 ⟨ 𝑉 c o s ( 𝜔 𝑡 ) ⟩ X = 2 ⟨ V cos ( ω t ) ⟩ and 𝑌 = − 2 ⟨ 𝑉 s i n ( 𝜔 𝑡 ) ⟩ Y = − 2 ⟨ V sin ( ω t ) ⟩ , so 𝑉 ( 𝑡 ) = 𝑋 c o s ( 𝜔 𝑡 ) − 𝑌 s i n ( 𝜔 𝑡 ) V ( t ) = X cos ( ω t ) − Y sin ( ω t ) . The selected values give 𝑋 = 1 1 2 . 7 6 𝜇 V X = 112.76 μ V and 𝑌 = − 4 1 . 0 4 𝜇 V Y = − 41.04 μ V . This declared phase convention , not the sign of an unlabeled sine trace , determines how a calibrated instrument output maps to the response below .
In panel ( d ) , the same oscillator supplies the drive and the dashed phase reference . Differential voltage passes through the preamplifier to the dual - phase lock - in and its 𝑋 , 𝑌 X , Y record . The generator sets 𝑓 ( 𝑡 ) f ( t ) , the sensor estimates the declared observable , and the reference line establishes phase rather than perturbing the sample a second time . After calibration , 𝑋 X and 𝑌 Y are the two quadratures of one complex response at the drive frequency . They do not define two independent material susceptibilities , and apparatus gain is not part of 𝜒 𝑅 𝐴 𝐵 χ A B R . The diagram is one implementation of the functional derivative below , not its definition [Sco94 ] .
Historical background
[Dic46, pp. 268–275 ] — Early switched comparison radiometry with a coherent reference , mixer , filtering , and signed output .
Scale the declared source as ˆ 𝐻 ′ 𝜆 ( 𝑡 ) = + 𝜆 𝑓 𝑥 ( 𝑡 ) ˆ 𝜎 𝑥 H ^ λ ′ ( t ) = + λ f x ( t ) σ ^ x . In the interaction picture ,
ˆ 𝑈 I , 𝜆 ( 𝑡 , − ∞ ) = ˆ 𝐼 − i ℏ ∫ 𝑡 − ∞ d 𝑡 ′ ˆ 𝐻 ′ I , 𝜆 ( 𝑡 ′ ) + O ( 𝜆 2 ) , U ^ I , λ ( t , − ∞ ) = I ^ − i ℏ ∫ − ∞ t d t ′ H ^ I , λ ′ ( t ′ ) + O ( λ 2 ) ,
and
ˆ 𝑈 † I , 𝜆 ( 𝑡 , − ∞ ) = ˆ 𝐼 + i ℏ ∫ 𝑡 − ∞ d 𝑡 ′ ˆ 𝐻 ′ I , 𝜆 ( 𝑡 ′ ) + O ( 𝜆 2 ) . U ^ I , λ † ( t , − ∞ ) = I ^ + i ℏ ∫ − ∞ t d t ′ H ^ I , λ ′ ( t ′ ) + O ( λ 2 ) .
Insert both into
E 𝐴 [ 𝜆 𝑓 𝑥 ] ( 𝑡 ) = T r [ ˆ 𝜌 𝛽 ˆ 𝑈 † I , 𝜆 ˆ 𝐴 I ( 𝑡 ) ˆ 𝑈 I , 𝜆 ] . E A [ λ f x ] ( t ) = Tr [ ρ ^ β U ^ I , λ † A ^ I ( t ) U ^ I , λ ] .
The correction from ˆ 𝑈 † I U ^ I † places ˆ 𝐻 ′ H ^ ′ to the left of ˆ 𝐴 A ^ ; the correction from ˆ 𝑈 I U ^ I places it to the right . Their difference gives , for a general source direction ˆ 𝐻 ′ 𝜆 ( 𝑡 ) = + 𝜆 𝑓 𝐵 ( 𝑡 ) ˆ 𝐵 H ^ λ ′ ( t ) = + λ f B ( t ) B ^ , the first variation 𝛿 𝑓 ⟨ ˆ 𝐴 ( 𝑡 ) ⟩ : = 𝜕 𝜆 E 𝐴 [ 𝜆 𝑓 𝐵 ] ( 𝑡 ) | 𝜆 = 0 δ f ⟨ A ^ ( t ) ⟩ := ∂ λ E A [ λ f B ] ( t ) | λ = 0 :
𝛿 𝑓 ⟨ ˆ 𝐴 ( 𝑡 ) ⟩ = − i ℏ ∫ 𝑡 − ∞ d 𝑡 ′ 𝑓 𝐵 ( 𝑡 ′ ) ⟨ [ ˆ 𝐴 ( 𝑡 ) , ˆ 𝐵 ( 𝑡 ′ ) ] ⟩ 𝛽 . δ f ⟨ A ^ ( t ) ⟩ = − i ℏ ∫ − ∞ t d t ′ f B ( t ′ ) ⟨ [ A ^ ( t ) , B ^ ( t ′ ) ] ⟩ β .
All three predictions are now explained . Linearity comes from the first - order expansion . The commutator comes from two - sided unitary evolution . Causality is already present in the upper integration limit .
To see the algebra rather than only its result , retain the two first - order terms for ˆ 𝐻 ′ = 𝑓 𝐵 ˆ 𝐵 H ^ ′ = f B B ^ :
𝛿 𝑓 ⟨ ˆ 𝐴 ( 𝑡 ) ⟩ = i ℏ ∫ 𝑡 − ∞ d 𝑡 ′ 𝑓 𝐵 ( 𝑡 ′ ) ⟨ ˆ 𝐵 ( 𝑡 ′ ) ˆ 𝐴 ( 𝑡 ) ⟩ 𝛽 − i ℏ ∫ 𝑡 − ∞ d 𝑡 ′ 𝑓 𝐵 ( 𝑡 ′ ) ⟨ ˆ 𝐴 ( 𝑡 ) ˆ 𝐵 ( 𝑡 ′ ) ⟩ 𝛽 . δ f ⟨ A ^ ( t ) ⟩ = i ℏ ∫ − ∞ t d t ′ f B ( t ′ ) ⟨ B ^ ( t ′ ) A ^ ( t ) ⟩ β − i ℏ ∫ − ∞ t d t ′ f B ( t ′ ) ⟨ A ^ ( t ) B ^ ( t ′ ) ⟩ β .
They combine into the displayed commutator with the minus sign appropriate to the plus - source convention . Dropping the correction from either side of the expectation value would replace the commutator by an ordered correlation and would generally violate the independent static - sign check .
Stationarity , [ ˆ 𝜌 𝛽 , ˆ 𝐻 0 ] = 0 [ ρ ^ β , H ^ 0 ] = 0 , makes the expectation depend only on 𝑡 − 𝑡 ′ t − t ′ . We may write
𝛿 𝑓 ⟨ ˆ 𝐴 ( 𝑡 ) ⟩ = ∫ ∞ − ∞ d 𝑡 ′ 𝜒 R 𝐴 𝐵 ( 𝑡 − 𝑡 ′ ) 𝑓 𝐵 ( 𝑡 ′ ) , δ f ⟨ A ^ ( t ) ⟩ = ∫ − ∞ ∞ d t ′ χ A B R ( t − t ′ ) f B ( t ′ ) ,
where the kernel is now defined with all of its conventions visible .
10.1.3 Retarded support and the Fourier convention
Definition 10.2 (Retarded response function)
Let ˆ 𝜌 0 ρ ^ 0 be a stationary density operator for ˆ 𝐻 0 H ^ 0 , and let ˆ 𝐴 A ^ and ˆ 𝐵 B ^ be bounded , source - independent observables . For the plus - source convention ˆ 𝐻 ′ 𝜆 = + 𝜆 𝑓 𝐵 ˆ 𝐵 H ^ λ ′ = + λ f B B ^ , the retarded response function is the distribution on ℝ R
𝜒 R 𝐴 𝐵 ( 𝑡 ) = − i ℏ Θ ( 𝑡 ) T r ( ˆ 𝜌 0 [ ˆ 𝐴 ( 𝑡 ) , ˆ 𝐵 ( 0 ) ] ) , ˆ 𝐴 ( 𝑡 ) = e + i ˆ 𝐻 0 𝑡 / ℏ ˆ 𝐴 e − i ˆ 𝐻 0 𝑡 / ℏ . χ A B R ( t ) = − i ℏ Θ ( t ) Tr ( ρ ^ 0 [ A ^ ( t ) , B ^ ( 0 ) ] ) , A ^ ( t ) = e + i H ^ 0 t / ℏ A ^ e − i H ^ 0 t / ℏ .
It has causal support s u p p 𝜒 R 𝐴 𝐵 ⊆ [ 0 , ∞ ) supp χ A B R ⊆ [ 0 , ∞ ) . Its Fourier convention is 𝜒 R ( 𝜔 ) = ∫ d 𝑡 e + i 𝜔 𝑡 𝜒 R ( 𝑡 ) χ R ( ω ) = ∫ d t e + i ω t χ R ( t ) , interpreted as a tempered - distribution transform when necessary . Where the complex - frequency transform exists , it is analytic for I m 𝑧 > 0 Im z > 0 , and the real - frequency retarded value is the boundary 𝑧 → 𝜔 + i 0 + z → ω + i 0 + .
This definition is the dynamical commutator contribution for an observable with no explicit source dependence . If the measured observable itself depends on the source , its total first variation may also contain an instantaneous kernel 𝐾 c o n t a c t 𝐴 𝐵 ( 𝑡 , 𝑡 ′ ) K A B contact ( t , t ′ ) supported on 𝑡 = 𝑡 ′ t = t ′ . Such a contact term must be derived from that model and added separately ; it is not hidden inside the commutator above . Unbounded observables require a separately declared common domain .
10.1.4 Dimensions and static - limit checks
Theorem 10.1 (Retarded Kubo response for a plus source)
Under the hypotheses of Definition 10 . 1 and Definition 10 . 2 , the two - sided first - order interaction - picture expansion gives
E 𝐴 [ 𝜆 𝑓 𝐵 ] ( 𝑡 ) − E 𝐴 [ 0 ] ( 𝑡 ) = 𝜆 ∫ ∞ − ∞ d 𝑡 ′ 𝜒 R 𝐴 𝐵 ( 𝑡 − 𝑡 ′ ) 𝑓 𝐵 ( 𝑡 ′ ) + O ( 𝜆 2 ) E A [ λ f B ] ( t ) − E A [ 0 ] ( t ) = λ ∫ − ∞ ∞ d t ′ χ A B R ( t − t ′ ) f B ( t ′ ) + O ( λ 2 )
for bounded finite - system dynamics , with the remainder weakened to the little - 𝑜 ( 𝜆 ) o ( λ ) condition of the linear - response definition in the general setting . A source - dependent readout contributes the separately derived contact kernel stated in the retarded - response definition .
The Heaviside step Θ ( 𝑡 ) Θ ( t ) is a locally integrable function . In Fourier analysis it is used through its associated distribution . Its value at the single point 𝑡 = 0 t = 0 does not change an ordinary integral ; its support for 𝑡 ≥ 0 t ≥ 0 is what makes the response retarded .
An ideal impulse is not an element of D D . Choose 𝜑 ∈ D ( ℝ ) φ ∈ D ( R ) with ∫ 𝜑 ( 𝑡 ) d 𝑡 = 1 ∫ φ ( t ) d t = 1 and define the ordinary test sources
𝑓 𝐵 , 𝜀 ( 𝑡 ) = 𝑓 0 𝜀 − 1 𝜑 ( 𝑡 − 𝑡 0 𝜀 ) . f B , ε ( t ) = f 0 ε − 1 φ ( t − t 0 ε ) .
As 𝜀 → 0 + ε → 0 + , they converge in D ′ ( ℝ ) D ′ ( R ) to the compactly supported distribution 𝑓 0 𝛿 𝑡 0 f 0 δ t 0 . Convolution with a delta is defined by translation , so the corresponding distributional extension gives
𝛿 𝑓 ⟨ ˆ 𝐴 ( 𝑡 ) ⟩ = 𝑓 0 𝜒 R 𝐴 𝐵 ( 𝑡 − 𝑡 0 ) . δ f ⟨ A ^ ( t ) ⟩ = f 0 χ A B R ( t − t 0 ) .
The measured change vanishes for 𝑡 < 𝑡 0 t < t 0 and reproduces the kernel after the kick . For a general test source , the convolution is a sum of such delayed responses . If 𝜒 R χ R is tempered and 𝑓 𝐵 ∈ D f B ∈ D , the convolution theorem gives , as an equality in S ′ ( ℝ ) S ′ ( R ) ,
𝛿 𝑓 ⟨ ˆ 𝐴 ( 𝜔 ) ⟩ = 𝜒 R 𝐴 𝐵 ( 𝜔 ) 𝑓 𝐵 ( 𝜔 ) , δ f ⟨ A ^ ( ω ) ⟩ = χ A B R ( ω ) f B ( ω ) ,
where multiplication by the smooth rapidly decreasing transform of 𝑓 𝐵 f B is well defined . An ideal monochromatic source is read as a long - window limit , not as an undeclared member of the test - source space ; it measures the amplitude and phase of the complex susceptibility at its drive frequency .
Worked example 10.1 — A transverse impulse from two-sided evolution
Apply an ideal impulse 𝑓 𝑥 ( 𝑡 ) = 𝐹 𝛿 ( 𝑡 ) f x ( t ) = F δ ( t ) through the plus - source perturbation + 𝑓 𝑥 ( 𝑡 ) ˆ 𝜎 𝑥 + f x ( t ) σ ^ x to the thermal preparation of ˆ 𝐻 0 = − ( ℏ Ω / 2 ) ˆ 𝜎 𝑧 H ^ 0 = − ( ℏ Ω / 2 ) σ ^ z , Ω > 0 Ω > 0 . The integrated source 𝐹 F has action units . Determine the later transverse expectation to first order in 𝛼 : = 𝐹 / ℏ α := F / ℏ , with | 𝛼 | ≪ 1 | α | ≪ 1 , and compare it with the exact kick result . The impulse is the short - pulse limit defined above , with free evolution negligible during the pulse .
Evolve both sides of the measured operator ; a one - sided change would miss the commutator and its sign . The kick is ˆ 𝑈 = e − i 𝛼 ˆ 𝜎 𝑥 U ^ = e − i α σ ^ x . Expanding both sides of the readout gives ˆ 𝑈 † ˆ 𝜎 𝑥 ( 𝑡 ) ˆ 𝑈 = ˆ 𝜎 𝑥 ( 𝑡 ) + i 𝛼 ˆ 𝜎 𝑥 ˆ 𝜎 𝑥 ( 𝑡 ) − i 𝛼 ˆ 𝜎 𝑥 ( 𝑡 ) ˆ 𝜎 𝑥 + 𝑂 ( 𝛼 2 ) . U ^ † σ ^ x ( t ) U ^ = σ ^ x ( t ) + i α σ ^ x σ ^ x ( t ) − i α σ ^ x ( t ) σ ^ x + O ( α 2 ) . Reuse the dyad evolution of the transverse - correlation example , ˆ 𝜎 𝑥 ( 𝑡 ) = ˆ 𝜎 𝑥 c o s Ω 𝑡 + ˆ 𝜎 𝑦 s i n Ω 𝑡 σ ^ x ( t ) = σ ^ x cos Ω t + σ ^ y sin Ω t . Since [ ˆ 𝜎 𝑦 , ˆ 𝜎 𝑥 ] = − 2 i ˆ 𝜎 𝑧 [ σ ^ y , σ ^ x ] = − 2 i σ ^ z , the thermal trace with 𝑚 : = 𝑝 g − 𝑝 e m := p g − p e gives 𝛿 ⟨ ˆ 𝜎 𝑥 ( 𝑡 ) ⟩ = − 2 𝛼 𝑚 Θ ( 𝑡 ) s i n Ω 𝑡 + 𝑂 ( 𝛼 2 ) . δ ⟨ σ ^ x ( t ) ⟩ = − 2 α m Θ ( t ) sin Ω t + O ( α 2 ) . The minus sign comes from ( − i ) ( − 2 i ) = − 2 ( − i ) ( − 2 i ) = − 2 . Independently , multiplying the exact kick ˆ 𝑈 = ˆ 𝐼 c o s 𝛼 − i ˆ 𝜎 𝑥 s i n 𝛼 U ^ = I ^ cos α − i σ ^ x sin α gives ⟨ ˆ 𝜎 𝑥 ( 𝑡 ) ⟩ = − 𝑚 s i n ( 2 𝛼 ) s i n Ω 𝑡 ⟨ σ ^ x ( t ) ⟩ = − m sin ( 2 α ) sin Ω t after the pulse . Its linear term agrees , with a cubic correction for this readout . The response is zero before the pulse and at its immediate end , since the kick commutes with the instantaneous ˆ 𝜎 𝑥 σ ^ x readout . The result is dimensionless and vanishes for equal thermal populations . These checks fix the sign before the next example transforms the same kernel into frequency space . The controlled impulse expansion requires | 𝐹 | / ℏ ≪ 1 | F | / ℏ ≪ 1 .
10.2 The two - level susceptibility and its poles
Worked example 10.2 — Two-level response in time and frequency
Retain the thermal two - level Hamiltonian and plus - source convention of Example 10 . 1 . Determine the transverse retarded kernel , the isolated first - order response to 𝑓 𝑥 ( 𝑡 ) = 𝑓 0 Θ ( 𝑡 ) f x ( t ) = f 0 Θ ( t ) , with | 𝑓 0 | / ( ℏ Ω ) ≪ 1 | f 0 | / ( ℏ Ω ) ≪ 1 , and the kernel ’ s frequency transform with Fourier factor e + i 𝜔 𝑡 e + i ω t . For the transform , also consider the separately prescribed damping factor e − 𝜂 𝑡 e − η t , 𝜂 > 0 η > 0 , and its 𝜂 → 0 + η → 0 + limit . The finite damping is a line model , not a request to derive a microscopic relaxation rate .
Reuse the signed impulse check in Example 10 . 1 to fix the source convention , then calculate the commutator before convolving or Fourier transforming . Heisenberg evolution gives
ˆ 𝜎 𝑥 ( 𝑡 ) = ˆ 𝜎 𝑥 c o s Ω 𝑡 + ˆ 𝜎 𝑦 s i n Ω 𝑡 . σ ^ x ( t ) = σ ^ x cos Ω t + σ ^ y sin Ω t .
The thermal polarization of the two - level equilibrium state is
⟨ ˆ 𝜎 𝑧 ⟩ 𝛽 = 𝑝 g − 𝑝 e = t a n h ( 𝛽 ℏ Ω 2 ) . ⟨ σ ^ z ⟩ β = p g − p e = tanh ( β ℏ Ω 2 ) .
Using [ ˆ 𝜎 𝑦 , ˆ 𝜎 𝑥 ] = − 2 i ˆ 𝜎 𝑧 [ σ ^ y , σ ^ x ] = − 2 i σ ^ z , the commutator and its equilibrium expectation are
[ ˆ 𝜎 𝑥 ( 𝑡 ) , ˆ 𝜎 𝑥 ] = s i n ( Ω 𝑡 ) [ ˆ 𝜎 𝑦 , ˆ 𝜎 𝑥 ] = − 2 i ˆ 𝜎 𝑧 s i n ( Ω 𝑡 ) , ⟨ [ ˆ 𝜎 𝑥 ( 𝑡 ) , ˆ 𝜎 𝑥 ] ⟩ 𝛽 = − 2 i t a n h ( 𝛽 ℏ Ω 2 ) s i n ( Ω 𝑡 ) . [ σ ^ x ( t ) , σ ^ x ] = sin ( Ω t ) [ σ ^ y , σ ^ x ] = − 2 i σ ^ z sin ( Ω t ) , ⟨ [ σ ^ x ( t ) , σ ^ x ] ⟩ β = − 2 i tanh ( β ℏ Ω 2 ) sin ( Ω t ) .
Multiplying by the plus - source Kubo prefactor − i Θ ( 𝑡 ) / ℏ − i Θ ( t ) / ℏ gives
𝜒 R 𝑥 𝑥 ( 𝑡 ) = − 2 ℏ Θ ( 𝑡 ) t a n h ( 𝛽 ℏ Ω 2 ) s i n Ω 𝑡 . χ x x R ( t ) = − 2 ℏ Θ ( t ) tanh ( β ℏ Ω 2 ) sin Ω t .
The equilibrium spectrum carried 𝑝 g p g and 𝑝 e p e on separate directed lines . The commutator subtracts the opposite operator ordering , so the response carries 𝑝 g − 𝑝 e p g − p e . At high temperature the two directions become equally likely and this net transverse response is suppressed .
Consider a suddenly applied constant source 𝑓 𝑥 ( 𝑡 ) = 𝑓 0 Θ ( 𝑡 ) f x ( t ) = f 0 Θ ( t ) in the ideal isolated model . Convolving it with the retarded kernel gives , for 𝑡 > 0 t > 0 ,
𝛿 𝑓 ⟨ ˆ 𝜎 𝑥 ( 𝑡 ) ⟩ = − 2 𝑓 0 ℏ Ω t a n h ( 𝛽 ℏ Ω 2 ) ( 1 − c o s Ω 𝑡 ) . δ f ⟨ σ ^ x ( t ) ⟩ = − 2 f 0 ℏ Ω tanh ( β ℏ Ω 2 ) ( 1 − cos Ω t ) .
The response begins at zero , as it must , then oscillates because an isolated two - level system has no relaxation mechanism . Its time average equals the static isothermal - looking coefficient from the retarded calculation , but the instantaneous state never settles . Adding a bath , switching the source adiabatically , or averaging over a distribution of transition frequencies defines different physical routes to a stationary value . This simple step protocol is why “ zero frequency ” must always be accompanied by an order of limits and a preparation statement . This is a fixed - time expansion in source strength ; higher - order frequency shifts prevent assuming uniform accuracy at arbitrarily long times .
For visualization , introduce a declared damping factor e − 𝜂 𝑡 e − η t with 𝜂 > 0 η > 0 . It is a linewidth model , not the infinitesimal boundary prescription of an exact isolated system . The transform must be calculated before its pole structure is interpreted . With 𝑀 : = t a n h ( 𝛽 ℏ Ω / 2 ) / ℏ M := tanh ( β ℏ Ω / 2 ) / ℏ ,
𝜒 R 𝑥 𝑥 ( 𝜔 ) = − 2 𝑀 ∫ ∞ 0 d 𝑡 e ( − 𝜂 + i 𝜔 ) 𝑡 s i n ( Ω 𝑡 ) = − 𝑀 i [ i 𝜔 + Ω + i 𝜂 − i 𝜔 − Ω + i 𝜂 ] = 𝑀 [ 1 𝜔 − Ω + i 𝜂 − 1 𝜔 + Ω + i 𝜂 ] . χ x x R ( ω ) = − 2 M ∫ 0 ∞ d t e ( − η + i ω ) t sin ( Ω t ) = − M i [ i ω + Ω + i η − i ω − Ω + i η ] = M [ 1 ω − Ω + i η − 1 ω + Ω + i η ] .
The second line uses ∫ ∞ 0 d 𝑡 e ( − 𝜂 + i 𝑥 ) 𝑡 = i / ( 𝑥 + i 𝜂 ) ∫ 0 ∞ d t e ( − η + i x ) t = i / ( x + i η ) . The distributional boundary rule
l i m 𝜂 → 0 + 1 𝑥 + i 𝜂 = P 1 𝑥 − i 𝜋 𝛿 ( 𝑥 ) lim η → 0 + 1 x + i η = P 1 x − i π δ ( x )
then predicts both the principal - value dispersion and the signed delta peaks of the isolated system . For finite 𝜂 η , the two components are
R e 𝜒 R 𝑥 𝑥 ( 𝜔 ) = 𝑀 [ 𝜔 − Ω ( 𝜔 − Ω ) 2 + 𝜂 2 − 𝜔 + Ω ( 𝜔 + Ω ) 2 + 𝜂 2 ] , Re χ x x R ( ω ) = M [ ω − Ω ( ω − Ω ) 2 + η 2 − ω + Ω ( ω + Ω ) 2 + η 2 ] ,
I m 𝜒 R 𝑥 𝑥 ( 𝜔 ) = 𝑀 [ − 𝜂 ( 𝜔 − Ω ) 2 + 𝜂 2 + 𝜂 ( 𝜔 + Ω ) 2 + 𝜂 2 ] . Im χ x x R ( ω ) = M [ − η ( ω − Ω ) 2 + η 2 + η ( ω + Ω ) 2 + η 2 ] .
The two curves are not independent fits . Their numerators and denominators come from the same causal poles . Near + Ω + Ω , the first Lorentzian dominates and the imaginary part is negative ; near − Ω − Ω , the sign is reversed . As 𝜂 → 0 + η → 0 + , these Lorentzians approach delta distributions while the real terms approach principal - value distributions .
For real 𝑀 M , the displayed real part is even and the imaginary part is odd , so 𝜒 ( − 𝜔 ) = 𝜒 ( 𝜔 ) ∗ χ ( − ω ) = χ ( ω ) ∗ , as required by a real time kernel . Both poles lie at ± Ω − i 𝜂 ± Ω − i η , and the large - frequency 1 / 𝜔 1 / ω terms cancel , leaving 𝜒 ( 𝜔 ) ∼ 2 𝑀 Ω / 𝜔 2 χ ( ω ) ∼ 2 M Ω / ω 2 . The kernel has units inverse energy after Fourier transformation . Together with the zero initial step response , these are separate symmetry , causality and dimensional checks . Figure 10 . 2 makes the same calculated pair visible ; the static calculation that follows checks its sign by a different route .
Before reading Figure 10 . 2 , predict that the time response is zero for negative time , both poles lie below the real - frequency axis , and the positive - frequency imaginary peak is negative under the declared plus - source convention .
Computed causal response of the two-level system. The time-domain kernel vanishes before the source, and the dispersive and absorptive frequency components arise from the same pair of poles.
Figure 10.2. Computed causal response of the two-level system. The time-domain kernel vanishes before the source, and the dispersive and absorptive frequency components arise from the same pair of poles.
For 𝛽 ℏ Ω = 2 β ℏ Ω = 2 and 𝜂 / Ω = 0 . 0 8 η / Ω = 0.08 , the calculation passes all three predictions . A finite - window numerical principal - value transform reconstructs the real part from the imaginary part to the tolerance recorded with the figure . That test can fail even when two independently drawn curves look plausible .
Mark the two pole coordinates on the frequency panels , then use them to explain why the time panel vanishes for 𝑡 < 0 t < 0 and the sign of I m 𝜒 R 𝑥 𝑥 ( + Ω ) Im χ x x R ( + Ω ) . Finally write one line distinguishing the infinitesimal 0 + 0 + boundary prescription from the declared physical linewidth 𝜂 η . A pole in the upper half - plane diagnoses a damping - sign error ; a correct pole with a reversed peak sign diagnoses a source - or Fourier - convention error . This recovery must occur before adding another formal response relation .
10.3 Static and resonant checks in the laboratory
For a sinusoidal transverse field , the component of the magnetization in phase with the field follows the dispersive part of the susceptibility , while the quadrature component follows the absorptive part , with signs fixed by the coupling and Fourier conventions . Under the common magnetic coupling ˆ 𝐻 ′ = − 𝐵 1 ( 𝑡 ) ˆ 𝑀 𝑥 H ^ ′ = − B 1 ( t ) M ^ x , the cycle - averaged absorbed power is proportional to 𝜔 | 𝐵 1 | 2 I m 𝜒 R 𝑀 𝑥 𝑀 𝑥 ( 𝜔 ) ω | B 1 | 2 Im χ M x M x R ( ω ) in the usual positive - absorption convention . A peak in that quadrature therefore records dissipation ; the sign - changing in - phase curve records the accompanying dispersive response .
The artificial factor e − 𝜂 𝑡 e − η t used in the figure can model a Lorentzian line for visualization , but 𝜂 η has not been derived from the spin environment . A measured linewidth may contain homogeneous relaxation and dephasing as well as inhomogeneous broadening . The infinitesimal 0 + 0 + that chooses a retarded boundary value is not any of those rates .
10.3.1 Two measured resonance channels
Can one experiment show both an absorption - like peak and a dispersive sign change ? A room - temperature experiment on the standard EPR reference material DPPH measured the resistance and reactance of a surrounding strip coil . The sample is an insulating pressed - powder bar : the drive current passes through the coil , not through the sample . Use Figure 10 . 3 to distinguish the magnetic perturbation from the electrical readout .
The DPPH system and impedance readout, schematic. The bar retains the reported dimension ratios, but field directions are conceptual rather than a reconstructed mounting orientation. The coil assembly is omitted; its field and readout roles are explicit.
A true three-dimensional DPPH powder bar with its reported dimension ratios is shown beside perpendicular static and radio-frequency field directions. A functional chain connects fixed-frequency spin excitation to coil flux and sample-subtracted resistance and reactance.
Figure 10.3. The DPPH system and impedance readout, schematic. The bar retains the reported dimension ratios, but field directions are conceptual rather than a reconstructed mounting orientation. The coil assembly is omitted; its field and readout roles are explicit.
[CM20, fig. 1(a) and experimental details, pp. 17312-17313]
At fixed 2 - GHz excitation , the static field was swept through resonance . Before reading Figure 10 . 4 , predict which recorded channel will have a peak and which will change sign . Both traces are sample - in minus sample - out impedances , not an absolute susceptibility measurement .
The resistance peak and reactance sign change expose the two - channel structure near resonance . Coil geometry , phase convention and possible channel mixing are part of the conversion to susceptibility ; the plotted quantities remain 𝑅 R and 𝑋 X . This later benchmark is selected for that clear comparison , not as the original discovery of EPR . Nor does it certify our weak - source approximation : the reported panel has no drive - amplitude sweep demonstrating linearity . Such a check would require reducing the drive while testing whether the response divided by drive amplitude and the line shape remain unchanged . Finally , a field sweep at one frequency is not a measured frequency - domain Kramers – Kronig integral .
Before the next calculation , obtain the ground - state tilt from the static Hamiltonian without using the response formula . Compare the two routes only after calculating the static derivative .
Worked example 10.3 — Ground-state tilt under a constant source
Determine the zero - temperature ground - state transverse expectation and its linear slope directly . Add a constant 𝑓 𝑥 f x directly to the Hamiltonian :
ˆ 𝐻 s t a t i c = − ℏ Ω 2 ˆ 𝜎 𝑧 + 𝑓 𝑥 ˆ 𝜎 𝑥 . H ^ static = − ℏ Ω 2 σ ^ z + f x σ ^ x . Take Ω > 0 Ω > 0 and real 𝑓 𝑥 f x . Compare the slope at zero source with the isolated , zero - temperature static limit of Example 10 . 2 .
Diagonalize the static Hamiltonian and differentiate its lower eigenvalue ; this tests the dynamic response without repeating the time - dependent calculation .
The two eigenvalues are
𝐸 ± ( 𝑓 𝑥 ) = ± 1 2 √ ( ℏ Ω ) 2 + 4 𝑓 2 𝑥 , 𝐸 g ( 𝑓 𝑥 ) = 𝐸 − ( 𝑓 𝑥 ) . E ± ( f x ) = ± 1 2 ( ℏ Ω ) 2 + 4 f x 2 , E g ( f x ) = E − ( f x ) .
Because the finite - dimensional eigenvalue is nondegenerate near 𝑓 𝑥 = 0 f x = 0 , the Hellmann – Feynman relation applies :
⟨ ˆ 𝜎 𝑥 ⟩ g = ⟨ 𝜕 ˆ 𝐻 s t a t i c 𝜕 𝑓 𝑥 ⟩ g = 𝜕 𝐸 g 𝜕 𝑓 𝑥 = − 2 𝑓 𝑥 √ ( ℏ Ω ) 2 + 4 𝑓 2 𝑥 = − 2 𝑓 𝑥 ℏ Ω + O ( ( 𝑓 𝑥 ℏ Ω ) 3 ) . ⟨ σ ^ x ⟩ g = ⟨ ∂ H ^ static ∂ f x ⟩ g = ∂ E g ∂ f x = − 2 f x ( ℏ Ω ) 2 + 4 f x 2 = − 2 f x ℏ Ω + O ( ( f x ℏ Ω ) 3 ) .
Thus the zero - temperature static susceptibility must be negative . Taking 𝜔 = 0 ω = 0 and then 𝜂 → 0 + η → 0 + in the dynamic expression gives − 2 / ( ℏ Ω ) − 2 / ( ℏ Ω ) , in agreement . One route tilts an exact ground state ; the other uses time - dependent perturbation theory . Their agreement checks the source sign and Fourier convention .
There is a check using the two - level energy projectors that does not differentiate an eigenvalue . Put 𝑎 = ℏ Ω / 2 a = ℏ Ω / 2 and 𝑅 = √ 𝑎 2 + 𝑓 2 𝑥 R = a 2 + f x 2 ; then ˆ 𝐻 2 s t a t i c = 𝑅 2 ˆ 𝐼 H ^ static 2 = R 2 I ^ , so its lower - state projector is ˆ 𝑃 − = ( ˆ 𝐼 − ˆ 𝐻 s t a t i c / 𝑅 ) / 2 P ^ − = ( I ^ − H ^ static / R ) / 2 . Tracing ˆ 𝑃 − ˆ 𝜎 𝑥 P ^ − σ ^ x gives − 𝑓 𝑥 / 𝑅 − f x / R , the same exact tilt . It is odd in 𝑓 𝑥 f x , bounded in magnitude by one , and its derivative has inverse - energy units . The linear regime requires | 𝑓 𝑥 | ≪ 𝑎 | f x | ≪ a . The dynamic comparison used zero temperature and removed the line regulator ; a finite phenomenological 𝜂 η is not part of this exact equilibrium Hamiltonian . Changing to a longitudinal source changes the preparation question , as the next paragraph explains .
Change the protocol to find the boundary . If ˆ 𝐻 ′ ( 𝑡 ) = + 𝑓 𝑧 ( 𝑡 ) ˆ 𝜎 𝑧 H ^ ′ ( t ) = + f z ( t ) σ ^ z and the isolated unperturbed Hamiltonian remains proportional to ˆ 𝜎 𝑧 σ ^ z , then [ ˆ 𝜎 𝑧 ( 𝑡 ) , ˆ 𝜎 𝑧 ( 0 ) ] = 0 [ σ ^ z ( t ) , σ ^ z ( 0 ) ] = 0 . The isolated system has no finite - frequency longitudinal response . This does not mean that its equilibrium population is independent of the level spacing . A bath that slowly re - equilibrates the system after the spacing changes defines a different protocol . Merely setting 𝜔 = 0 ω = 0 cannot erase that difference .
If the source remains ˆ 𝐵 = ˆ 𝜎 𝑥 B ^ = σ ^ x but the readout becomes ˆ 𝐴 = ˆ 𝜎 𝑧 A ^ = σ ^ z , the relevant object is 𝜒 R 𝑧 𝑥 χ z x R , not 𝜒 R 𝑥 𝑥 χ x x R . Energy differences determine possible resonance locations ; matrix elements determine which resonances appear ; equilibrium weights determine directional asymmetry ; source and readout determine the response being measured . None of these inputs can be inferred from the word “ susceptibility ” alone .
10.4 Transition Weights in Retarded Response
Generalize only what the anchor has exposed . Insert energy eigenstates in the retarded kernel . With 𝜔 𝑚 𝑛 = ( 𝐸 𝑚 − 𝐸 𝑛 ) / ℏ ω m n = ( E m − E n ) / ℏ ,
(10.1)
𝜒 R 𝐴 𝐵 ( 𝜔 ) = 1 ℏ ∑ 𝑛 , 𝑚 ( 𝑝 𝑛 − 𝑝 𝑚 ) ⟨ 𝑛 | ˆ 𝐴 | 𝑚 ⟩ ⟨ 𝑚 | ˆ 𝐵 | 𝑛 ⟩ 𝜔 − 𝜔 𝑚 𝑛 + i 0 + . χ A B R ( ω ) = 1 ℏ ∑ n , m ( p n − p m ) ⟨ n | A ^ | m ⟩ ⟨ m | B ^ | n ⟩ ω − ω m n + i 0 + .
This is the Lehmann representation . The symbol i 0 + i 0 + specifies the retarded boundary value : the poles are approached from the upper half of the complex 𝜔 ω plane and lie below the real axis . It is not a physical decay rate [Leh54 ] .
The numerator can be traced directly to the two operator orderings . The first ordered average contains , with 𝐴 𝑛 𝑚 : = ⟨ 𝑛 | ˆ 𝐴 | 𝑚 ⟩ A n m := ⟨ n | A ^ | m ⟩ and 𝐵 𝑚 𝑛 : = ⟨ 𝑚 | ˆ 𝐵 | 𝑛 ⟩ B m n := ⟨ m | B ^ | n ⟩ ,
⟨ ˆ 𝐴 ( 𝑡 ) ˆ 𝐵 ( 0 ) ⟩ 𝛽 = ∑ 𝑛 , 𝑚 𝑝 𝑛 e − i 𝜔 𝑚 𝑛 𝑡 𝐴 𝑛 𝑚 𝐵 𝑚 𝑛 , ⟨ A ^ ( t ) B ^ ( 0 ) ⟩ β = ∑ n , m p n e − i ω m n t A n m B m n ,
while relabeling the second ordering gives the same phase and matrix - element product weighted by 𝑝 𝑚 p m . Their difference is 𝑝 𝑛 − 𝑝 𝑚 p n − p m . The remaining time integral is the same boundary - value calculation used in the two - level anchor :
l i m 𝜂 → 0 + ∫ ∞ 0 d 𝑡 e − 𝜂 𝑡 e + i ( 𝜔 − 𝜔 𝑚 𝑛 ) 𝑡 = i 𝜔 − 𝜔 𝑚 𝑛 + i 0 + . lim η → 0 + ∫ 0 ∞ d t e − η t e + i ( ω − ω m n ) t = i ω − ω m n + i 0 + .
Multiplication by the kernel ’ s prefactor − i / ℏ − i / ℏ supplies the positive 1 / ℏ 1 / ℏ and the retarded denominator in Equation ( 10 . 1 ) . Thus the three visible parts of the Lehmann formula have separate origins : preparation probabilities in the numerator , quantum transitions in the matrix elements and 𝜔 𝑚 𝑛 ω m n , and causality in i 0 + i 0 + .
For the two - level anchor , only 𝑔 ↔ 𝑒 g ↔ e matrix elements of ˆ 𝜎 𝑥 σ ^ x survive . Substituting them into the Lehmann sum reproduces the two denominators already computed . This reverse check matters pedagogically : the general formula has not introduced new physics ; it has compressed the same calculation [KG06 ; MS59 ] .
For ˆ 𝐴 = ˆ 𝐵 A ^ = B ^ Hermitian , the boundary identity used above gives
− 2 ℏ I m 𝜒 R 𝐴 𝐴 ( 𝜔 ) = 2 𝜋 ∑ 𝑛 , 𝑚 ( 𝑝 𝑛 − 𝑝 𝑚 ) | 𝐴 𝑛 𝑚 | 2 𝛿 ( 𝜔 − 𝜔 𝑚 𝑛 ) = 2 𝜋 ∑ 𝑛 , 𝑚 𝑝 𝑛 ( 1 − e − 𝛽 ℏ 𝜔 ) | 𝐴 𝑛 𝑚 | 2 𝛿 ( 𝜔 − 𝜔 𝑚 𝑛 ) . − 2 ℏ Im χ A A R ( ω ) = 2 π ∑ n , m ( p n − p m ) | A n m | 2 δ ( ω − ω m n ) = 2 π ∑ n , m p n ( 1 − e − β ℏ ω ) | A n m | 2 δ ( ω − ω m n ) .
In the second line , delta support enforces 𝑝 𝑚 / 𝑝 𝑛 = e − 𝛽 ( 𝐸 𝑚 − 𝐸 𝑛 ) = e − 𝛽 ℏ 𝜔 p m / p n = e − β ( E m − E n ) = e − β ℏ ω . The remaining sum is exactly Lecture 9 ’ s ordered spectrum 𝑆 𝐴 𝐴 ( 𝜔 ) S A A ( ω ) . Therefore , under our plus - source convention ,
(10.2)
− 2 ℏ I m 𝜒 R 𝐴 𝐴 ( 𝜔 ) = ( 1 − e − 𝛽 ℏ 𝜔 ) 𝑆 𝐴 𝐴 ( 𝜔 ) . − 2 ℏ Im χ A A R ( ω ) = ( 1 − e − β ℏ ω ) S A A ( ω ) .
This fluctuation – dissipation relation is not an unexplained thermal prefactor . It is the population subtraction on each transition . With the conventional perturbation − 𝐹 𝐴 ˆ 𝐴 − F A A ^ , the response changes sign and the more familiar positive absorptive convention is recovered [CW51 ; Kub57 ] .
Worked example 10.4 — Thermal line weights and absorbed power
Return to the isolated transverse two - level system , now with 𝛽 ℏ Ω = l n 3 β ℏ Ω = ln 3 . Check the fluctuation – dissipation factor on both directed lines and determine the sign of work supplied by a weak source . Use + 𝑓 𝑥 ( 𝑡 ) ˆ 𝜎 𝑥 + f x ( t ) σ ^ x with 𝑓 𝑥 ( 𝑡 ) = 𝑓 𝑎 c o s 𝜔 𝑡 f x ( t ) = f a cos ω t , 𝜔 > 0 ω > 0 , and the ordered - spectrum convention of Lecture 9 . Interpret isolated spectral lines by their integrated weights , not a value at resonance .
Obtain the canonical weights first , compare the thermal factors line by line , then calculate work from the explicit time dependence of the Hamiltonian . The canonical probabilities are 𝑝 g = 3 / 4 p g = 3 / 4 , 𝑝 e = 1 / 4 p e = 1 / 4 , so the two integrated ordered - spectrum weights are 3 / 4 3 / 4 and 1 / 4 1 / 4 , while 𝑀 = ( 𝑝 g − 𝑝 e ) / ℏ = 1 / ( 2 ℏ ) M = ( p g − p e ) / ℏ = 1 / ( 2 ℏ ) . The response therefore has I m 𝜒 R 𝑥 𝑥 ( 𝜔 ) = − 𝜋 2 ℏ 𝛿 ( 𝜔 − Ω ) + 𝜋 2 ℏ 𝛿 ( 𝜔 + Ω ) . Im χ x x R ( ω ) = − π 2 ℏ δ ( ω − Ω ) + π 2 ℏ δ ( ω + Ω ) . On the positive line , the thermal multiplier is 1 − 1 / 3 = 2 / 3 1 − 1 / 3 = 2 / 3 , and ( 2 / 3 ) ( 2 𝜋 ) ( 3 / 4 ) = 𝜋 ( 2 / 3 ) ( 2 π ) ( 3 / 4 ) = π . On the negative line it is 1 − 3 = − 2 1 − 3 = − 2 , and ( − 2 ) ( 2 𝜋 ) ( 1 / 4 ) = − 𝜋 ( − 2 ) ( 2 π ) ( 1 / 4 ) = − π . These are exactly the two coefficients of − 2 ℏ I m 𝜒 − 2 ℏ Im χ . The test compares distributions through their weights , not values at resonance . Their sum rule also gives ( 3 / 4 ) + ( 1 / 4 ) = ⟨ ˆ 𝜎 2 𝑥 ⟩ = 1 ( 3 / 4 ) + ( 1 / 4 ) = ⟨ σ ^ x 2 ⟩ = 1 .
For a long weak sinusoidal source 𝑓 𝑥 ( 𝑡 ) = 𝑓 𝑎 c o s 𝜔 𝑡 f x ( t ) = f a cos ω t , the readout is 𝑓 𝑎 [ 𝜒 ′ c o s 𝜔 𝑡 + 𝜒 ″ s i n 𝜔 𝑡 ] f a [ χ ′ cos ω t + χ ″ sin ω t ] . External work follows from 𝜕 𝑡 ˆ 𝐻 = ˙ 𝑓 𝑥 ˆ 𝜎 𝑥 ∂ t H ^ = f ˙ x σ ^ x ; averaging a cycle gives ―― 𝑃 = − 𝜔 𝑓 2 𝑎 2 I m 𝜒 R 𝑥 𝑥 ( 𝜔 ) . P ― = − ω f a 2 2 Im χ x x R ( ω ) . Thus the negative positive - frequency imaginary weight gives nonnegative absorbed work in the plus - source convention . Power has units energy per time . For isolated delta lines this is understood as a weak finite - window spectral pairing , not a finite pointwise power at a delta peak . A linewidth model may smooth the plot , but thermal consistency of that model needs its own check ; the exact line calculation alone does not prove it . The next dispersion test uses causality , which does not require these thermal weights .
10.5 Causality and Dispersion Relations
Causality also links the real and imaginary parts , but only after the analytic and decay hypotheses are stated .
Theorem 10.2 (Kramers–Kronig dispersion relations)
Let 𝜒 R ∈ S ′ ( ℝ ) χ R ∈ S ′ ( R ) be retarded , so its complex - frequency transform is analytic for I m 𝑧 > 0 Im z > 0 . Suppose that analytic function has boundary values on the real axis and decays fast enough on the upper semicircle that no subtraction is required . Then
R e 𝜒 R ( 𝜔 ) = 1 𝜋 P ∫ ∞ − ∞ d 𝜔 ′ I m 𝜒 R ( 𝜔 ′ ) 𝜔 ′ − 𝜔 , Re χ R ( ω ) = 1 π P ∫ − ∞ ∞ d ω ′ Im χ R ( ω ′ ) ω ′ − ω ,
and
I m 𝜒 R ( 𝜔 ) = − 1 𝜋 P ∫ ∞ − ∞ d 𝜔 ′ R e 𝜒 R ( 𝜔 ′ ) 𝜔 ′ − 𝜔 . Im χ R ( ω ) = − 1 π P ∫ − ∞ ∞ d ω ′ Re χ R ( ω ′ ) ω ′ − ω .
If the transform tends to a constant or grows , the corresponding subtracted dispersion relation must be used instead .
where P P denotes the Cauchy principal - value distribution . The computed figure uses this relation as a consistency check . A contour proof and subtracted variants belong in a later mathematical reference , not in the causal spine of Lectures 9 – 10 [Tol56a ] .
Worked example 10.5 — An off-resonant dispersion check
Test the two - level pole pair from Example 10 . 2 at 𝜔 ∗ = Ω / 2 ω ∗ = Ω / 2 , with 𝑀 > 0 M > 0 , Ω > 0 Ω > 0 . Evaluate one dispersion integral explicitly in the isolated limit 𝜂 → 0 + η → 0 + , where the imaginary part is − 𝜋 𝑀 𝛿 ( 𝜔 ′ − Ω ) + 𝜋 𝑀 𝛿 ( 𝜔 ′ + Ω ) − π M δ ( ω ′ − Ω ) + π M δ ( ω ′ + Ω ) . Compare it with direct evaluation of the real pole pair . Determine what changes if both denominator prescriptions are replaced by − i 𝜂 − i η .
First check the analytic premises : for finite 𝜂 > 0 η > 0 , the original poles lie below the real axis , the real part is even , the imaginary part odd , and the 1 / 𝑧 2 1 / z 2 decay meets the unsubtracted dispersion hypothesis . The evaluation point lies away from either line , so the principal - value pairing reduces to 1 𝜋 P ∫ I m 𝜒 ( 𝜔 ′ ) 𝜔 ′ − 𝜔 ∗ d 𝜔 ′ = − 𝑀 Ω − Ω / 2 + 𝑀 − Ω − Ω / 2 = − 8 𝑀 3 Ω . 1 π P ∫ Im χ ( ω ′ ) ω ′ − ω ∗ d ω ′ = − M Ω − Ω / 2 + M − Ω − Ω / 2 = − 8 M 3 Ω . Direct substitution into the real pole pair gives 𝑀 [ ( − Ω / 2 ) − 1 − ( 3 Ω / 2 ) − 1 ] = − 8 𝑀 / ( 3 Ω ) M [ ( − Ω / 2 ) − 1 − ( 3 Ω / 2 ) − 1 ] = − 8 M / ( 3 Ω ) , independently checking the dispersion sign and both frequency branches . Its units are inverse energy , since 𝑀 M has units inverse action . Dropping the negative frequency pole would fail both this check and the real - kernel symmetry .
Changing both denominator prescriptions to − i 𝜂 − i η moves the poles into the upper half - plane . The inverse transform then has support at negative time : it is advanced , not retarded . Its factor e + 𝜂 𝑡 e + η t decays toward negative infinity ; alternatively insisting on positive - time support would require a growing kernel and would lose the assumed real - axis transform . This locates the causal failure before an integral is evaluated . The worked check used an off - resonant , zero - width limit ; a finite - width static integral is a distinct calculation .
The larger course role of the resonance experiment is architectural . A weak probe is defined by a preparation , a source operator , a readout operator , and an order of limits . The retarded commutator converts that protocol into a causal kernel ; its poles organize resonances , and its real and imaginary parts are not independent fitting functions . Screening , optical conductivity , neutron response , and collective modes will change the operators and material model while retaining this structure .
The wrong - half - plane test in Example 10 . 5 gives a concrete failure of retarded support . Checking that support and the Fourier convention precedes interpreting any fitted linewidth as a physical decay rate .
Starting only from ˆ 𝐻 ′ ( 𝑡 ) = + 𝑓 𝐵 ( 𝑡 ) ˆ 𝐵 H ^ ′ ( t ) = + f B ( t ) B ^ , reconstruct the two first - order corrections to ⟨ ˆ 𝐴 ( 𝑡 ) ⟩ ⟨ A ^ ( t ) ⟩ , combine them into the retarded commutator , and state its domain , units , and causal support . Then reverse the source - sign convention and predict which displayed sign changes while pole locations and measurable static agreement remain invariant . Finally distinguish an ideal delta line , an infinitesimal retarded prescription , and a physical linewidth . Those three objects solve different problems and must not be interchanged .
The reconstruction should end with a protocol - invariant statement : reversing the name and sign of the source may reverse the displayed susceptibility , but it cannot alter causal support , transition energies , or agreement with the same exact static experiment . That bounded claim , rather than a memorized formula , is the lecture ’ s exit criterion .
10.6 From a source protocol to a response function
Lectures 9 – 10 form one chain . Incomplete preparation requires probabilities ; the density operator turns them into quantum expectations . Equilibrium supplies normalized energy - dependent probabilities . Those weights appear separately on the two directed peaks of an ordered correlation spectrum and give detailed balance .
A weak source asks a different question . Expanding unitary evolution on both sides of a readout produces a commutator , and the upper time limit produces retarded support . In the anchor system , the same two transitions reappear , but their weights are subtracted . Lehmann and fluctuation – dissipation formulas generalize precisely those already - understood features .
For a new problem , use this order :
state how the system was prepared and whether it is stationary ;
name the source operator , source sign , and readout operator ;
predict allowed transitions and causal support ;
derive the ordered correlation or commutator required by the protocol ;
check normalization , temperature limits , static sign , and pole location ;
distinguish ideal distributions , boundary prescriptions , and physical linewidths .
A reported susceptibility is incomplete until its preparation , source operator , readout operator , coupling sign , and causal convention are stated . Reassigning a sign or constant between source and response changes the representation but not the predicted observable variation . Retarded support and Kramers – Kronig follow from causality ; detailed balance and fluctuation – dissipation require the additional equilibrium state . A pole or peak is then a consequence to interpret , not the operational definition of response .
This source - to - readout map still treats the perturbing field as externally prescribed . It does not determine how the induced density changes the field that acts back on the electrons . Lecture 11 closes that medium - feedback loop in the static limit and thereby turns a bare interaction into a screened one .
10.7 Problems
1 . Re - derive the response sign
Use ˆ 𝐻 ′ ( 𝑡 ) = + 𝑓 𝑦 ( 𝑡 ) ˆ 𝜎 𝑦 H ^ ′ ( t ) = + f y ( t ) σ ^ y and read ˆ 𝐴 = ˆ 𝜎 𝑦 A ^ = σ ^ y .
Derive 𝜒 R 𝑦 𝑦 ( 𝑡 ) χ y y R ( t ) from the commutator .
Fourier transform with the convention used in this lecture and locate the poles .
Add a constant 𝑓 𝑦 f y to the Hamiltonian and compute the zero - temperature ground - state tilt . Show that the static signs agree .
Rewrite the result for a force convention ˆ 𝐻 ′ = − 𝐹 𝑦 ˆ 𝜎 𝑦 H ^ ′ = − F y σ ^ y .
2 . Transfer : a forbidden line and a new readout
Consider three nondegenerate levels 𝐸 0 < 𝐸 1 < 𝐸 2 E 0 < E 1 < E 2 . A Hermitian operator ˆ 𝐵 B ^ has nonzero matrix elements only between 0 ↔ 1 0 ↔ 1 , while a readout ˆ 𝐴 A ^ has nonzero matrix elements only between 1 ↔ 2 1 ↔ 2 .
Draw all directed transitions in 𝑆 𝐵 𝐵 ( 𝜔 ) S B B ( ω ) and label their equilibrium weights .
Verify detailed balance as a distributional relation .
Decide , before calculation , whether 𝜒 R 𝐴 𝐵 χ A B R can be nonzero for the declared selection rules .
Change one matrix element minimally so that a cross - response appears , then write its Lehmann numerator and resonance frequencies . Explain which conclusion came from energies , which from weights , and which from selection rules .
3 . Causality , damping , and a dispersion check
Consider the real retarded kernel
𝜒 R ( 𝑡 ) = 𝐶 Θ ( 𝑡 ) e − 𝛾 𝑡 s i n ( Ω 𝑡 ) , 𝐶 ∈ ℝ , 𝛾 , Ω > 0 , χ R ( t ) = C Θ ( t ) e − γ t sin ( Ω t ) , C ∈ R , γ , Ω > 0 ,
with the Fourier convention of this lecture .
Calculate 𝜒 R ( 𝜔 ) χ R ( ω ) and locate all poles .
Show explicitly that the real part is even and the imaginary part is odd on the real - frequency axis .
Calculate the static response and the leading large - | 𝜔 | | ω | behavior .
Use the zero - frequency Kramers – Kronig relation to connect the static response to I m 𝜒 R Im χ R . Explain which properties would fail if Θ ( 𝑡 ) Θ ( t ) were replaced by a two - sided time dependence with an upper - half - plane pole .
Appendix 10.A (advanced): Thermal Generators and Probe Interfaces
The response argument is complete without this appendix . The two identities below are retained as a reference - only lookup . They are not exported as a dependency provider unless a later lecture acquires an exact consumer .
Differentiating the normalizers provides
(10.3)
⟨ ˆ 𝐻 ⟩ 𝛽 = − 𝜕 𝜕 𝛽 l n 𝑍 , ⟨ ˆ 𝑁 ⟩ g c = 1 𝛽 𝜕 𝜕 𝜇 l n Ξ . ⟨ H ^ ⟩ β = − ∂ ∂ β ln Z , ⟨ N ^ ⟩ gc = 1 β ∂ ∂ μ ln Ξ .
They follow directly by differentiating under the trace when the relevant operators commute . No free - energy formalism is assumed here .
For conductivity and other material responses , the source is often a scalar or vector potential while the readout is a density or current . The microscopic current operator , diamagnetic / contact terms , conserved quantities , boundary conditions , and order of limits must be supplied by the later model [KG06 ; Kub57 ] . The general interface is only
(10.4)
p r e p a r a t i o n + s o u r c e s i g n / o p e r a t o r + r e a d o u t o p e r a t o r + l i m i t i n g p r o t o c o l ⟶ a s p e c i f i e d r e s p o n s e f u n c t i o n . preparation + source sign/operator + readout operator + limiting protocol ⟶ a specified response function .
References
[CW51] Callen, H. B., and Welton, T. A. (1951).
“Irreversibility and generalized noise.” Physical Review 83 (1), 34–40.
https://doi.org/10.1103/PhysRev.83.34 .
[CM20] Chaudhuri, U., and Mahendiran, R. (2020).
“Detection of l-band electron paramagnetic resonance in the DPPH molecule using impedance measurements.” RSC Advances 10 (29), 17311–17316.
https://doi.org/10.1039/D0RA03285A .
[Dic46] Dicke, R. H. (1946).
“The measurement of thermal radiation at microwave frequencies.” Review of Scientific Instruments 17 (7), 268–275.
https://doi.org/10.1063/1.1770483 .
[KG06] Kapusta, J. I., and Gale, C. (2006).
“Linear response theory.” in
Finite-temperature field theory: Principles and applications , Cambridge University Press, pp. 84–116.
https://doi.org/10.1017/CBO9780511535130.007 .
[Kel65] Keldysh, L. V. (1965).
“Diagram technique for nonequilibrium processes.” Soviet Physics JETP 20 (4), 1018–1026.
https://www.jetp.ras.ru/cgi-bin/index/e/20/4/p1018?a=list .
[Kra27] Kramers, H. A. (1927).
“La diffusion de la lumière par les atomes.” in
Atti del congresso internazionale dei fisici, 10–20 settembre 1927, como–pavia–roma , Nicola Zanichelli, Bologna, pp. 545–557.
https://www.lorentz.leidenuniv.nl/IL-publications/sources/Kramers_27.pdf .
[Kro26] Kronig, R. de L. (1926).
“On the theory of dispersion of x-rays.” Journal of the Optical Society of America 12 (6), 547–557.
https://doi.org/10.1364/JOSA.12.000547 .
[Kub57] Kubo, R. (1957).
“Statistical-mechanical theory of irreversible processes. I. General theory and simple applications to magnetic and conduction problems.” Journal of the Physical Society of Japan 12 (6), 570–586.
https://doi.org/10.1143/JPSJ.12.570 .
[Leh54] Lehmann, H. (1954).
“Über eigenschaften von ausbreitungsfunktionen und renormierungskonstanten quantisierter felder.” Il Nuovo Cimento 11 (4), 342–357.
https://doi.org/10.1007/BF02783624 .
[MS59] Martin, P. C., and Schwinger, J. (1959).
“Theory of many-particle systems. i.” Physical Review 115 (6), 1342–1373.
https://doi.org/10.1103/PhysRev.115.1342 .
[Mat55] Matsubara, T. (1955).
“A new approach to quantum-statistical mechanics.” Progress of Theoretical Physics 14 (4), 351–378.
https://doi.org/10.1143/PTP.14.351 .
[Sco94] Scofield, J. H. (1994).
“Frequency-domain description of a lock-in amplifier.” American Journal of Physics 62 (2), 129–133.
https://doi.org/10.1119/1.17629 .
[Tol56a] Toll, J. S. (1956).
“Causality and the dispersion relation: Logical foundations.” Physical Review 104 (6), 1760–1770.
https://doi.org/10.1103/PhysRev.104.1760 .