. Z comprises all external control variables like volume or fields, and  describes the microscopic state (in our case,  collects the quantum numbers nk in Eq. ( )). In Eq. ( ),  is the Dirac function and, in Eq. ( ),  is the unit-step function. The trace Tr denotes the integral over the Hilbert space.