Non-equilibrium Green functions: generalized Wick's theorem and diagrammatic perturbation with initial correlations

Wick's theorem is combined with a cluster composition to derive a generalized statistical Wick's theorem for a non-equilibrium system with initial correlations. This enables a diagrammatic time-dependent perturbation theory which is a simple extension of the usual one to be developed for time-path causal statistical Green functions and their matrix equivalents. This provides a complete non-equilibrium theory. Reduction of diagrams and equations of motion for the Green functions are also discussed.