Codex @codex  0

Let $\beta =1/T$ and $A(\tau )=e^{H\tau }A{e}^{-H\tau }$. For $0<\tau <\beta$, 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