This chapter examines the Schwinger-Keldysh technique, applying path integrals, and the functional method of 2PI effective actions—with the latter serving to construct powerful symmetry-preserving nonperturbative approximations for equilibrium as well as nonequilibrium descriptions of strongly interacting quantum many-body systems. It provides a rigorous mathematical basis for exploring the quantum mechanical basis of thermalization and decoherence. Mesoscopic systems with quantum processes, in particular, play a key role. The domain of nonequilibrium mesoscopic systems is flooded with open questions some of which are solved but still others have provisional or incomplete solutions. A correlation function encodes the correlation between the field operators at different times and is an inference to all thermodynamic quantities. The beauty of the Keldysh time path is the definition of the Green's function, which plays an analogous role in the nonequilibrium formalism similar to the role the causal Green's function plays in the equilibrium theory.
This chapter examines the Schwinger-Keldysh technique, applying path integrals, and the functional method of 2PI effective actions—with the latter serving to construct powerful symmetry-preserving nonperturbative approximations for equilibrium as well as nonequilibrium descriptions of strongly interacting quantum many-body systems. It provides a rigorous mathematical basis for exploring the quantum mechanical basis of thermalization and decoherence. Mesoscopic systems with quantum processes, in particular, play a key role. The domain of nonequilibrium mesoscopic systems is flooded with open questions some of which are solved but still others have provisional or incomplete solutions. A correlation function encodes the correlation between the field operators at different times and is an inference to all thermodynamic quantities. The beauty of the Keldysh time path is the definition of the Green's function, which plays an analogous role in the nonequilibrium formalism similar to the role the causal Green's function plays in the equilibrium theory.
Within the Landauer approach to conduction discussed in the previous chapter, electron interactions have been included only at the mean-field level. This is quite a strong approximation, especially in nanojunctions, where large current densities are common. I therefore want to go beyond this level of description. I can follow two different routes. (1) I can develop a functional theory of quantum correlations via time-dependent effective single-particle equations, as I will do in Chapter 7 where I will use dynamical density-functional theories within the micro-canonical approach to conduction. (2) I can try to solve the time-dependent Schrödinger equation 1.16 – or its mixed-state version, the Liouville-von Neumann equation 1.60 – directly. Written this way, this last proposition seems hopeless. In reality, we can employ a many-body technique, known as the non-equilibrium Green's function formalism (NEGF), also referred to as the Keldysh formalism (Keldysh, 1964; Kadanoff and Baym, 1962), which allows us, at least in principle, to do just that: solve the time-dependent Schrödinger equation for an interacting many-body system exactly, from which one can, in principle, calculate the time-dependent current. This is done by solving equations of motion for specific time-dependent single-particle Green's functions, from which the physical properties of interest, such as the charge and current densities, can be obtained. I have stressed the term “time-dependent” several times, because, as I will show in a moment, the NEGF is “exact” only when one solves the time-dependent Schrödinger equation for a closed quantum system, subject to deterministic perturbations: the system is closed but not necessarily isolated. These perturbations may drive the system far away from its initial state of thermodynamic equilibrium (Keldysh, 1964).
There has been substantial progress in recent years in the quantitative understanding of the nonequilibrium time evolution of quantum fields. Important topical applications, in particular in high energy particle physics and cosmology, involve dynamics of quantum fields far away from the ground state or thermal equilibrium. In these cases, standard approaches based on small deviations from equilibrium, or on a sufficient homogeneity in time underlying kinetic descriptions, are not applicable. A particular challenge is to connect the far-from-equilibrium dynamics at early times with the approach to thermal equilibrium at late times. Understanding the ``link'' between the early- and the late-time behavior of quantum fields is crucial for a wide range of phenomena. For the first time questions such as the explosive particle production at the end of the inflationary universe, including the subsequent process of thermalization, can be addressed in quantum field theory from first principles. The progress in this field is based on efficient functional integral techniques, so-called n-particle irreducible effective actions, for which powerful nonperturbative approximation schemes are available. Here we give an introduction to these techniques and show how they can be applied in practice. Though we focus on particle physics and cosmology applications, we emphasize that these techniques can be equally applied to other nonequilibrium phenomena in complex many body systems.
There has been substantial progress in recent years in the quantitative understanding of the nonequilibrium time evolution of quantum fields. Important topical applications, in particular in high energy particle physics and cosmology, involve dynamics of quantum fields far away from the ground state or thermal equilibrium. In these cases, standard approaches based on small deviations from equilibrium, or on a sufficient homogeneity in time underlying kinetic descriptions, are not applicable. A particular challenge is to connect the far-from-equilibrium dynamics at early times with the approach to thermal equilibrium at late times. Understanding the ``link'' between the early- and the late-time behavior of quantum fields is crucial for a wide range of phenomena. For the first time questions such as the explosive particle production at the end of the inflationary universe, including the subsequent process of thermalization, can be addressed in quantum field theory from first principles. The progress in this field is based on efficient functional integral techniques, so-called n-particle irreducible effective actions, for which powerful nonperturbative approximation schemes are available. Here we give an introduction to these techniques and show how they can be applied in practice. Though we focus on particle physics and cosmology applications, we emphasize that these techniques can be equally applied to other nonequilibrium phenomena in complex many body systems.
The self-energy functional theory (SFT) is generalized to describe the real-time dynamics of correlated lattice-fermion models far from thermal equilibrium. This is achieved by starting from a reformulation of the original equilibrium theory in terms of double-time Green's functions on the Keldysh-Matsubara contour. With the help of a generalized Luttinger-Ward functional, we construct a functional $\stackrel{\ifmmode \hat{}\else \^{}\fi{}}{\ensuremath{\Omega}}[\ensuremath{\Sigma}]$ which is stationary at the physical (nonequilibrium) self-energy $\ensuremath{\Sigma}$ and which yields the grand potential of the initial thermal state $\ensuremath{\Omega}$ at the physical point. Nonperturbative approximations can be defined by specifying a reference system that serves to generate trial self-energies. These self-energies are varied by varying the reference system's one-particle parameters on the Keldysh-Matsubara contour. In the case of thermal equilibrium, this approach reduces to the conventional SFT. Contrary to the equilibrium theory, however, ``unphysical'' variations, i.e., variations that are different on the upper and the lower branches of the Keldysh contour, must be considered to fix the time dependence of the optimal physical parameters via the variational principle. Functional derivatives in the nonequilibrium SFT Euler equation are carried out analytically to derive conditional equations for the variational parameters that are accessible to a numerical evaluation via a time-propagation scheme. Approximations constructed by means of the nonequilibrium SFT are shown to be inherently causal, internally consistent, and to respect macroscopic conservation laws resulting from gauge symmetries of the Hamiltonian. This comprises the nonequilibrium dynamical mean-field theory but also dynamical-impurity and variational-cluster approximations that are specified by reference systems with a finite number of degrees of freedom. In this way, nonperturbative and consistent approximations can be set up, the numerical evaluation of which is accessible to an exact-diagonalization approach.
In this article, we present a concise and self-contained introduction to nonequilibrium statistical mechanics with quantum field theory by considering an ensemble of interacting identical bosons or fermions as an example. Readers are assumed to be familiar with the Matsubara formalism of equilibrium statistical mechanics such as Feynman diagrams, the proper self-energy, and Dyson's equation. The aims are threefold: (i) to explain the fundamentals of nonequilibrium quantum field theory as simple as possible on the basis of the knowledge of the equilibrium counterpart; (ii) to elucidate the hierarchy in describing nonequilibrium systems from Dyson's equation on the Keldysh contour to the Navier-Stokes equation in fluid mechanics via quantum transport equations and the Boltzmann equation; (iii) to derive an expression of nonequilibrium entropy that evolves with time. In stage (i), we introduce nonequilibrium Green's function and the self-energy uniquely on the round-trip Keldysh contour, thereby avoiding possible confusions that may arise from defining multiple Green's functions at the very beginning. We try to present the Feynman rules for the perturbation expansion as simple as possible. In particular, we focus on the self-consistent perturbation expansion with the Luttinger-Ward thermodynamic functional, i.e., Baym's Phi-derivable approximation, which has a crucial property for nonequilibrium systems of obeying various conservation laws automatically. We also show how the two-particle correlations can be calculated within the Phi-derivable approximation, i.e., an issue of how to handle the "Bogoliubov-Born-Green-Kirkwood-Yvons (BBGKY) hierarchy".
Schwinger Keldysh field theory is a widely used paradigm to study nonequilibrium dynamics of quantum many-body systems starting from a thermal state. We extend this formalism to describe nonequilibrium dynamics of quantum systems starting from arbitrary initial many-body density matrices. We show how this can be done for both bosons and fermions, and for both closed and open quantum systems, using additional sources coupled to bilinears of the fields at the initial time, calculating Green's functions in a theory with these sources, and then taking appropriate set of derivatives of these Green's functions with respect to initial sources to obtain physical observables. The set of derivatives depends on the initial density matrix. The physical correlators in a dynamics with arbitrary initial conditions do not satisfy Wick's theorem, even for noninteracting systems. However, our formalism constructs intermediate ``$n\ensuremath{-}\mathrm{particle}$ Green's functions'' that obey Wick's theorem and provide a prescription to obtain physical correlation functions from them. This allows us to obtain analytic answers for all physical many-body correlation functions of a noninteracting system even when it is initialized to an arbitrary density matrix. We use these exact expressions to obtain an estimate of the violation of Wick's theorem and relate it to presence of connected multiparticle initial correlations in the system. We illustrate this new formalism by calculating density and current profiles in many-body fermionic and bosonic open quantum systems initialized to nontrivial density matrices. We have also shown how this formalism can be extended to interacting many-body systems.