Matsubara formalism