For a canonical ensemble with finite canonical partition function , the thermal density operator is . An observable has
when this trace exists.
In finite dimension, define imaginary-time evolution by , using . Cyclicity of the trace gives the thermal boundary identity
This Kubo--Martin--Schwinger condition swaps the operator order. It yields periodicity for bosonic imaginary-time-ordered correlation functions, rather than asserting that every unordered correlator is periodic.
Nor is the Heisenberg operator itself generally periodic. For and , the raising operator evolves as , which is not periodic for real nonzero . The thermal periodicity belongs to the appropriately ordered expectation values.

Articles by others on the same topic (0)

There are currently no matching articles.