The defining integral for the retarded Green function has support only at . If with , then supplies exponential damping. Under the usual tempered-growth condition on the thermal commutator, the integral and all its derivatives converge locally uniformly. ThereforeThis is the frequency-space expression of causality.
Let , , and take Hermitian. Inserting energy eigenstates givesOn the support of the delta function, andThis has the same sign as . Every remaining factor is nonnegative, henceThis thermal spectral-positivity statement also shows that is odd after pairing .
A path integral is obtained by slicing an evolution operator into short time intervals and inserting complete sets of field eigenstates between successive factors. An operator inserted at a later slice therefore appears to the left of one inserted at an earlier slice. Summing over the intermediate fields preserves this ordering, so real-time path integrals generate time-ordered correlators and Euclidean thermal path integrals generate imaginary-time-ordered correlation functions.
Let and . For , cyclicity of the trace givesThis is the bosonic Kubo--Martin--Schwinger condition. It identifies the two time orderings across the end of the thermal interval, so
Periodicity on the interval gives the bosonic Matsubara frequenciesThe Fourier coefficients areThe notation emphasizes that these data lie at imaginary real-time frequencies .
The energy-eigenstate expansion of for isFourier integration and giveComparing this with the spectral expression in part ii yields the spectral representation of a thermal correlation function
The Drude responsehas a pole at . Analyticity in the upper half plane therefore requiresFor real frequency,The sign condition from part ii then requiresso with a nonzero causal relaxation time the convention used in this question has . In conventions where the physical conductivity is defined with an additional minus sign, its static value is positive. The parameter is the relaxation time: after forcing is removed, the corresponding current or response decays as .
The spectral density isSubstitution into the spectral representation, closing the contour in the half plane selected by the sign of , givesIn particular under the sign convention established in part vii. The absolute value is required because a bosonic Hermitian-operator Matsubara correlator is even in .
In the long-wavelength description of an antiferromagnet, is the antiferromagnetic spin wave velocity and controls the stiffness or strength of quantum fluctuations. The field is an auxiliary Lagrange multiplier enforcing the fixed-length constraint on the order parameter. At the translation-invariant saddle, shifts every propagator denominator and is the excitation gap, which explains the name gap equation.
The Large-N expansion makes fluctuations of the auxiliary field relatively small. Its leading saddle-point condition is then self-consistent and becomes the displayed gap equation.
As , the Matsubara sum becomes . Put and . The factors of cancel from both sides, leavingUsing four-dimensional spherical coordinates,At the onset of spontaneous symmetry breaking, the symmetric-phase gap closes. ThusFor the constraint is instead satisfied by an ordered condensate; a positive symmetric gap exists for .
Subtracting the critical equation from the massive equation givesAs from above,Therefore, up to constants inside the slowly varying logarithm,The square-root mean-field power is modified by a logarithm. It is therefore not a pure quantum-critical power law; this is an upper-critical-dimension logarithmic correction.
The first term is a gauge choice for the Spin coherent-state Berry phase. For a closed spin trajectory, changing the surface used to evaluate the solid angle changes the action byThe path-integral phase must be independent of that choice, soHenceand the spin is integer or half-integer.
Write and . To quadratic order,After dropping the total derivative , the quadratic Lagrangian density isIts Euler--Lagrange equations areFor modes proportional to , nontrivial amplitudes requireThusAt short wavelength the anisotropy is negligible and the quadratic dispersion is that of a conventional ferromagnetic magnon. At long wavelength, easy-plane anisotropy makes the out-of-plane fluctuation the conjugate density of the in-plane phase; eliminating it produces the linear Goldstone sound mode characteristic of a superfluid.
Articles by others on the same topic
There are currently no matching articles.