Thermodynamical and Green function many-body Wick theorems

The thermodynamical and Green function many-body reduction theorems of Wick type are proved for the arbitrary mixtures of the fermion, boson and spin systems. “Many-body” means that the operators used are the products of the arbitrary number of one-body standard basis operators of the fermion or (and) spin types] with different site (wave vector) indices, but having the same “time” (in the interaction representation). The method of proving is based on: 1) the first-order differential equation of Schwinger type for: 1a) -product of operators; 1b) its average value; 2) KMS boundary conditions for this average. It is shown that the fermion, boson and spin systems can be unified in the many-body formulation (bosonification of the fermion systems). It is impossible in the one-body approach. Both of the many-body versions of the Wick theorem have the recurrent feature: nth order moment diagrams for the free energy or Green functions can be expressed by the (n −1)th order ones. This property corresponds to the automatic realization of: (i) summations over Bose-Einstein or (and) Fermi-Dirac frequencies; (ii) elimination of Bose-Einstein or (and) Fermi-Dirac distributions. The procedures (i) and (ii), being the results of using the Green function one-body reduction theorem, have constituted the significant difficulty up to now in the treatment of quantum systems.