 Kubo--Martin--Schwinger condition

The Kubo--Martin--Schwinger condition uses cyclicity of the thermal trace to relate correlation functions separated by imaginary time $\beta$.