Skip to content

Thermal Boundary Conditions and Graded Traces

Boundary conditions on the thermal circle record both statistics and insertions in the trace. An ordinary thermal trace gives periodic bosons and antiperiodic fermions. A conserved-charge twist adds the action of its holonomy. Inserting (1)F(-1)^F cancels the fermionic thermal minus sign and makes fermions periodic, producing a supertrace or index-like object—not an ordinary thermal partition function, not a positive statistical weight, and not a thermodynamic pressure.

The index interpretation of a graded trace, and its distinction from ordinary thermal weighting, is developed in Witten 1982, §§ 1–2, pp. 253–266.

Required background. Imaginary Time and Matsubara Frequencies derives thermal periodicities. Continuous Symmetries, Generators, and Charges fixes charge action. Helpful background. The Witten Index, Vacuum Counting, and Its Failure Modes owns the protected-index analysis.

Consider

ZU(β)=Tr(UeβH),[U,H]=0.Z_U(\beta)=\operatorname{Tr}\left(Ue^{-\beta H}\right), \qquad [U,H]=0.

Cutting the trace open at τ=0\tau=0 and gluing at τ=β\tau=\beta yields a boundary condition determined by UU. If

UΦU1=uΦΦ,U\Phi U^{-1}=u_\Phi\Phi,

then, in a convention where the untwisted bosonic field is periodic,

Φ(β,x)=uΦΦ(0,x)\Phi(\beta,\mathbf x)=u_\Phi\Phi(0,\mathbf x)

for a bosonic coherent-state variable. Fermionic coherent states acquire the additional minus sign from the trace:

ψ(β,x)=uψψ(0,x).\psi(\beta,\mathbf x)=-u_\psi\psi(0,\mathbf x).

For U=eiθQU=e^{i\theta Q}, adopt the charged-field convention [Q,Φ]=qΦ[Q,\Phi]=-q\Phi. Then uΦ=eiθqu_\Phi=e^{-i\theta q}. The allowed frequencies shift to

ωn=2πT(n+θq2π)\omega_n=2\pi T\left(n+\frac{\theta q}{2\pi}\right)

for a boson in the displayed transform convention, with a further half-integer shift for an ordinary thermal fermion. Large-gauge identifications and the global form of the symmetry can restrict the periodicity of θ\theta.

The thermal partition function is

Z(β)=TreβH=neβEn>0Z(\beta)=\operatorname{Tr}e^{-\beta H} =\sum_ne^{-\beta E_n}>0

for a positive Hilbert space. Fermions are antiperiodic around its Euclidean circle. By contrast,

I(β)=Tr[(1)FeβH]=n(1)FneβEn\mathcal I(\beta)= \operatorname{Tr}\left[(-1)^F e^{-\beta H}\right] =\sum_n(-1)^{F_n}e^{-\beta E_n}

has periodic fermions. Boson–fermion pairs may cancel, and under suitable supersymmetric spectral and boundary hypotheses I\mathcal I can become independent of β\beta. These cancellations are the point of an index; they remove the positivity and extensivity assumptions used in ordinary thermodynamics.

For supersymmetric quantum mechanics with paired excited states and unpaired zero-energy states,

I=nB(0)nF(0),\mathcal I=n_B^{(0)}-n_F^{(0)},

while

Z(β)=nB(0)+nF(0)+E>0(nB(E)+nF(E))eβE.Z(\beta)=n_B^{(0)}+n_F^{(0)} +\sum_{E>0}(n_B(E)+n_F(E))e^{-\beta E}.

The two traces answer different questions even when they are computed by similar path integrals.

A real chemical potential appears in eβ(HμQ)e^{-\beta(H-\mu Q)}, corresponding formally to a nonunitary twist eβμQe^{\beta\mu Q}. An imaginary chemical potential μ=iθT\mu=i\theta T gives the unitary holonomy eiθQe^{i\theta Q}. Analytically continuing between them requires a domain free of crossed singularities and a declared charge normalization.

For gauge charge, Gauss constraints and large gauge transformations can make a would-be chemical potential redundant or identify holonomies. For anomalous charges the trace insertion may not commute with the quantum Hamiltonian, invalidating the simple twisted-equilibrium construction.

ObjectFermion boundary conditionPositivityDurable interpretation
TreβH\operatorname{Tr}e^{-\beta H}antiperiodicpositive in a positive Hilbert spacethermal partition function
Tr(eiθQeβH)\operatorname{Tr}(e^{i\theta Q}e^{-\beta H})antiperiodic with charge twistgenerally complexsymmetry-twisted thermal trace
Tr[(1)FeβH]\operatorname{Tr}[(-1)^Fe^{-\beta H}]periodicsignedsupertrace or index precursor
Tr[(1)FeiθQeβH]\operatorname{Tr}[(-1)^F e^{i\theta Q}e^{-\beta H}]periodic with charge twistsigned or complexrefined graded trace

Before interpreting a graded trace, check that the insertion is conserved, the spectrum is discrete or its continuum contribution is controlled, boundary conditions preserve the relevant supercharge, and regulator anomalies do not spoil pairing. Before interpreting any of these as thermal, return to the shared convention and limit table.

The schematic below organizes the relationships used on this page. Inspect it with this question in mind: How do Gibbs states, infinite-volume KMS states, thermal boundary conditions, Matsubara modes, and graded traces fit together?

Finite Gibbs traces imply KMS analyticity; the KMS condition survives without a trace in infinite volume, while thermal-circle periodicity and grading follow only with the operator statistics and insertion specified.

Finite Gibbs traces imply KMS analyticity; the KMS condition survives without a trace in infinite volume, while thermal-circle periodicity and grading follow only with the operator statistics and insertion specified. Solid connections show the primary relation; dashed outlines or arrows mark qualifications and failure boundaries. The diagram is schematic and not to scale.

The surrounding discussion supplies the relevant equations and checks in text form; the figure is a navigational summary.

For one fermionic oscillator H=ωffH=\omega f^\dagger f, compute ZZ and the supertrace.

Solution

The states have energies 00 and ω\omega. Therefore Z=1+eβωZ=1+e^{-\beta\omega}, whereas Tr[(1)FeβH]=1eβω\operatorname{Tr}[(-1)^Fe^{-\beta H}]=1-e^{-\beta\omega}. The latter is not temperature independent because this single oscillator is not a complete supersymmetric paired system.

  • Alvarez-Gaumé, Luis. “Supersymmetry and the Atiyah–Singer Index Theorem.” Communications in Mathematical Physics 90 (1983): 161–173. doi:10.1007/BF01205500.
  • Kapusta, Joseph I., and Charles Gale. Finite-Temperature Field Theory: Principles and Applications. 2nd ed. Cambridge: Cambridge University Press, 2006. doi:10.1017/CBO9780511535130.
  • Witten, Edward. “Constraints on Supersymmetry Breaking.” Nuclear Physics B 202, no. 2 (1982): 253–316. doi:10.1016/0550-3213(82)90071-2.