Feynman rules for finite-temperature Green’s functions in an expanding universe

Abstract
We derive Feynman rules for evaluating the real-time Green’s functions of a scalar field theory in a Robertson-Walker universe under the circumstance that at some initial time t0 the system was in thermal equilibrium with density matrix exp[-βH(t0)], where H(t0) is the Hamiltonian at time t0.