For a canonical ensemble with finite canonical partition function , the thermal density operator is . An observable haswhen this trace exists.
In finite dimension, define imaginary-time evolution by , using . Cyclicity of the trace gives the thermal boundary identityThis 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
There are currently no matching articles.