Keldysh Formalism in Non-Equilibrium Physics

• Keldysh formalism is a non-equilibrium quantum field theory method describing real-time evolution and correlations in open quantum systems.
• It utilizes a closed time contour and a matrix (classical/quantum) representation to extract causal responses and fluctuation dynamics.
• Its framework is applied to thermal/charge transport, entropy flow, and phase transitions, linking microscopic interactions with macroscopic observables.

The Keldysh formalism is a non-equilibrium quantum field theory and many-body technique for systematically describing the real-time evolution, correlations, and response properties of open quantum systems. Rooted in Leonid Keldysh’s original “closed time path” contour construction, it unifies the treatment of interacting systems subject to arbitrary time-dependent driving, dissipation, and coupling to external reservoirs. The formalism is notable for its flexibility in addressing both universal features such as fluctuation-dissipation, thermalization, and decoherence, and for its adaptability to advanced concepts including entropy flow, phase transitions in open quantum systems, and topological or gauge-covariant transport phenomena.

1. Real-Time Contour Construction and Basic Objects

The Keldysh formalism reformulates the non-equilibrium quantum evolution by representing the density matrix’s time development as evolution on a closed time contour $\mathcal{C}$: first forward with one set of fields, then backward with an independent copy. For a system with Hamiltonian $H(t)$ and initial density matrix $\hat{R}(t_0)$, the exact time-evolved density matrix is

$$\hat{R}(t) = T\exp\left[i\int_{t_0}^{t} d\tau H(\tau)\right]\, \hat{R}(t_0)\, \tilde{T}\exp\left[-i\int_{t_0}^{t} d\tau H(\tau)\right],$$

with $T$/$\tilde{T}$ denoting time-/anti-time-ordering. Path-integral representations double the degrees of freedom: each quantum field or operator is assigned a forward ("$+$") and backward ("$-$") copy on the respective legs of $\mathcal{C}$ (Ansari et al., 2015).

The central objects are contour-ordered Green’s functions, e.g.,

$$G(1,2) = -i\langle T_\mathcal{C}\, \psi(1)\psi^\dagger(2)\rangle,$$

where $T_\mathcal{C}$ arranges times along $\mathcal{C}$. These functions encode all real-time correlation and response structure, allowing access to retarded, advanced, greater, lesser, and Keldysh (symmetric) components by projections onto the appropriate branches.

2. Keldysh Rotation, Component Structure, and Dyson Equation

Transforming to the so-called "Keldysh" or "classical/quantum" basis (e.g., $\psi_{\rm cl} = (\psi_+ + \psi_-)/\sqrt{2}$, $\psi_{q} = (\psi_+ - \psi_-)/\sqrt{2}$), the Green’s function is recast as a $2\times2$ matrix,

$$\hat{G} = \begin{pmatrix} G^{\rm R} & G^{\rm K} \ 0 & G^{\rm A} \end{pmatrix},$$

where $G^{\rm R}$ and $G^{\rm A}$ encode causal response and $G^{\rm K}$ describes fluctuations. The Dyson equation on $\mathcal{C}$ translates to

$[\hat{G}_0^{-1} - \hat{\Sigma}] \ast \hat{G} = 1,$

with the convolution “$\ast$” over contour times. In the real-time Keldysh matrix form, this generates equations such as

$$G^{\rm R} = [G_0^{\rm R,-1} - \Sigma^{\rm R}]^{-1}, \qquad G^{\rm K} = G^{\rm R}\Sigma^{\rm K}G^{\rm A}.$$

This structure enables systematic diagrammatic and functional-integral approaches to interacting systems, including the extraction of effective kinetic and master equations (Ansari et al., 2015, Maghrebi et al., 2015).

3. Extensions: Counting Fields, Entropy Flows, and Multiple Parallel Worlds

A key extension of the formalism is to "deform" the Hamiltonians on the two branches independently, introducing so-called "counting fields" $\chi^+(t), \chi^-(t)$. This generates the celebrated full-counting statistics, producing moment and cumulant generating functions for operators such as current or heat (Ansari et al., 2015).

Crucially, to evaluate non-linear information-theoretic measures such as Rényi entropies, which take the form $S_M = \mathrm{Tr}\,\hat{R}^M$, the path-integral is further extended to $M$ "parallel worlds," each with its own set of doubled fields—a contour of $2M$ branches. The extended Keldysh formalism thus computes quantities like

$$\mathcal{S}_M^{(A)}(t) = \mathrm{Tr}_A [\hat{R}^{(A)}(t)]^M,$$

allowing assessment of entropy flows between subsystems. Diagrams are constructed by placing copies of the interaction on each world and performing world-cyclic reconnections at the final time, which enables the evaluation of multi-world correlators and the derivation of generalized master equations for entropic currents (Ansari et al., 2015).

4. Perturbation Theory and Diagrammatics

Keldysh diagrammatics follow the same skeleton as Matsubara theory but operate in real time on the closed contour. Interaction effects manifest in the self-energy, with the structure of contractions and blocks reflecting the chosen contour (single-, double-, or multi-world). For weak coupling to reservoirs, Golden-Rule results for transition rates and entropy production are recovered at second order; higher orders reveal quantum-coherent corrections and non-analytic behavior at low temperature.

In the extended (multiple-worlds) context, contractions of interaction terms on the same world yield conventional dissipative (rate-like) contributions, while cross-world contractions encode quantum coherence effects in the flow of information quantities. The relevant multi-world correlators generalize standard KMS relations, leading to temperature rescaling proportional to $M$ for Rényi entropies of order $M$ (Ansari et al., 2015).

5. Representative Applications

The formalism underpins a wide array of physical applications:

• Thermal and charge transport: The construction captures non-equilibrium current, noise, and response functions in mesoscopic conductors and quantum dots coupled to leads, with the Meir–Wingreen formula recovered as a special case (Uguccioni et al., 2024, Li et al., 2011).
• Quantum thermodynamics and entropy flow: The extended formalism computes entropy currents, enabling operational connections between non-observable density-matrix functionals (entropy, mutual information) and observable quantities via full counting statistics, vital for probing quantum heat engines and non-equilibrium information transfer (Ansari et al., 2015).
• Critical phenomena in open systems: Driven–dissipative phase transitions and their dynamical universality classes emerge naturally by mapping Lindblad-type master equations to Keldysh path integrals, which yield effective stochastic field theories with emergent thermalization properties (Maghrebi et al., 2015).
• Superfluid dynamics and effective theories: The Schwinger–Keldysh approach facilitates effective actions for superfluids and hydrodynamics near criticality, rigorously enforcing unitarity and fluctuation-dissipation constraints at each order in the gradient expansion (Donos et al., 2023).

6. Formal Properties and Symmetry Algebra

Central features of the Keldysh construction are its strict enforcement of unitarity and causality via topological (BRST) symmetries. The "largest-time equation" or vanishing of pure-difference correlators (those with all quantum fields) is a Ward identity of this structure. In combination with thermal (KMS) symmetries, the formalism realizes an $\mathcal{N}_T=2$ thermal equivariant cohomology algebra, guaranteeing the robustness of fluctuation-dissipation relations and the proper formulation of effective actions for dissipative systems at both microscopic and hydrodynamic scales (Haehl et al., 2016, Haehl et al., 2016).

The superspace approach frames these symmetries as supercharges acting on superfields built from the classical, quantum, and ghost sectors, enforcing all physical constraints at the level of the action.

7. Impact and Scope

The Keldysh formalism is now an essential tool across non-equilibrium many-body physics, quantum optics, quantum transport, open-system quantum thermodynamics, and the burgeoning study of non-equilibrium phase transitions. Its diagrammatic toolbox, functional-integral flexibility, and topological symmetry basis enable unified treatments ranging from microscopics (transport, decoherence, entropy flow) to macroscopic emergent phenomena (collective criticality, hydrodynamics), and it has been extended to include gauge invariance, gravitational responses, and advanced information-theoretic measures. The formalism’s ability to systematically connect observable and non-observable quantities, as in the explicit FCS–Rényi flow correspondence, opens pathways for experimental access to fundamental entropy currents in quantum nano- and mesoscale systems (Ansari et al., 2015).

References:

(Ansari et al., 2015, Uguccioni et al., 2024, Maghrebi et al., 2015, Haehl et al., 2016, Haehl et al., 2016, Donos et al., 2023, Li et al., 2011)