An Algebraic Proof of Thermal Wick's Theorem

Ruofan Chen

Every many-body state can be constructed from the vacuum state by iteratively applying the creation operators, therefore the thermal expectation can be transformed into a sum of va…