Schwinger-Keldysh Formalism

• Schwinger-Keldysh Formalism is a real-time quantum field theory approach that uses a doubled time contour to compute expectation values and correlators.
• It employs a forward-backward evolution method to derive various propagators and functions, ensuring unitarity and causal behavior.
• The formalism is crucial in applications ranging from cosmology to condensed matter and open quantum systems, supporting gauge invariance and effective field theories.

The Schwinger-Keldysh Formalism

The Schwinger-Keldysh formalism, also known as the “in-in” or closed-time-path (CTP) formalism, is a non-equilibrium quantum field theoretic framework designed to compute real-time expectation values of operators, correlation functions, and response functions in both equilibrium and non-equilibrium systems. Unlike the conventional in-out (S-matrix) formalism, which computes amplitudes between vacuum states at infinite times, the Schwinger-Keldysh approach is constructed to yield true expectation values at finite times, making it indispensable for quantum statistical mechanics, cosmology, condensed matter, and non-equilibrium quantum dynamics (Colipí-Marchant et al., 27 Dec 2025, Haehl et al., 2024, Haehl et al., 2016).

1. Generating Functional and Contour Structure

The foundational object of the Schwinger-Keldysh formalism is the generating functional defined on a doubled time contour: the system is evolved forward in time with fields $\phi_+$ (along the $+$ branch) and backward with fields $\phi_-$ (along the $-$ branch). For a quantum system with action $S[\phi]$, the generating functional takes the form

$$Z[J_+, J_-] = \int \mathcal{D}\phi_+\,\mathcal{D}\phi_-\,\exp\Big\{i\,\big[S[\phi_+] - S[\phi_-] + \int (J_+ \phi_+ - J_- \phi_-)\big]\Big\}$$

where $J_\pm$ are independent sources on each branch. The closed contour $\mathcal{C}$ is typically chosen to run from $t_0 \rightarrow +\infty$ (forward) and back to $t_0$ (backward), optionally supplemented by an imaginary time segment if a thermal initial state is desired (Colipí-Marchant et al., 27 Dec 2025, Haehl et al., 2024, Sheikhahmadi, 2019, Frangi et al., 27 Jan 2025).

Green's functions are obtained by functional differentiation: $$G_{a_1 \dots a_n}(x_1,\dots,x_n) = (-i)^{n-1}\, \frac{\delta^n Z}{\delta J_{a_1}(x_1)\dots \delta J_{a_n}(x_n)} \Big|_{J_\pm=0}$$ with each $a_i \in \{+,-\}$ labeling contour branches.

2. Propagators and Physical Basis

The field doubling yields four basic two-point functions:

• $$G_{++}(x, y) = -i \langle T \phi(x) \phi(y) \rangle$$ (time-ordered)
• $$G_{--}(x, y) = -i \langle \tilde T \phi(x) \phi(y) \rangle$$ (anti-time-ordered)
• $G_{+-}(x, y) = -i \langle \phi(y) \phi(x) \rangle$
• $G_{-+}(x, y) = -i \langle \phi(x) \phi(y) \rangle$

These components are usually rearranged into the Keldysh (classical/quantum) basis via the combinations

$$\phi_c = \frac{1}{2}(\phi_+ + \phi_-), \quad \phi_q = \phi_+ - \phi_-$$

which allows one to define the retarded, advanced, and Keldysh functions: $$G^R = -i\,\theta(x^0 - y^0)\langle[\phi(x),\phi(y)]\rangle$$

$$G^A = -i\,\theta(y^0 - x^0)\langle[\phi(x),\phi(y)]\rangle$$

$G^K = -i\,\langle\{ \phi(x), \phi(y)\}\rangle$

(Haehl et al., 2024, Lee, 2013, Colipí-Marchant et al., 27 Dec 2025, Sheikhahmadi, 2019).

In cosmology, the mode functions $u(\eta, k)$ and the associated Wightman functions $G_>, G_<$ are used to express propagators for free fields in a time-dependent background (Colipí-Marchant et al., 27 Dec 2025, Chen et al., 2017).

3. Diagrammatic Rules and Unitarity

Feynman diagrammatics are formulated on the closed-time-path with the following SK-specific rules (Colipí-Marchant et al., 27 Dec 2025, Sheikhahmadi, 2019, Chen et al., 2017):

• Each interaction vertex can appear on the $+$ or $-$ branch, carrying factors $(-i)\lambda$ (black dot) or $(+i)\lambda$ (white dot), respectively.
• Internal lines between vertices $a,b \in \{+,-\}$ carry $G_{ab}$.
• Bulk-to-boundary (final time) legs use branched propagators $G_+$ or $G_-$.
• All combinations of branch assignments for internal vertices are summed, producing $2^n$ diagrams at $n$th order.

Unitarity at the path-integral level manifests as the “largest-time equation” (LTE): any correlator with the lateness operator on the difference field ($\phi_a$) vanishes (Haehl et al., 2016). Causality is ensured diagrammatically by the structure of propagators and vertex signs, leading to the obligatory cancellation of disconnected vacuum bubbles and enforcement of retarded boundary conditions.

4. Applications: Cosmology, Condensed Matter, and Open Systems

In cosmology, the Schwinger-Keldysh formalism is the standard approach for computing primordial correlators at finite time, critical for the analysis of non-Gaussianity and quantum standard clocks. Explicit cutting rules analogous to flat-space Cutkosky rules have been established for cosmological correlators, requiring the introduction of "barred" correlators (correlators with legs in the difference field) to properly realize diagrammatic unitarity at the level of the observables (Colipí-Marchant et al., 27 Dec 2025). This formalism underlies the extraction and factorization of discontinuities in loop graphs and tree-level amplitudes directly at the level of physical expectation values, a feature absent in in-out approaches.

In condensed matter and quantum optics, the SK approach provides a unified route to compute response functions, cross-sections (e.g., Raman and X-ray scattering), and encompasses equilibrium as well as out-of-equilibrium and driven systems (Su, 2015, Lee, 2013). All possible two-photon and mixed correlators are accounted for via contour-ordered expectation values. The formalism generalizes naturally to open quantum systems, where integrating out the environment yields a nonlocal SK influence action, enabling a derivation of the Lindblad master equation and beyond (Haehl et al., 2024).

The framework is foundational for stochastic quantum thermodynamics, enabling derivations of fluctuation-dissipation theorems and quantum fluctuation theorems (Jarzynski, Crooks) via path-integral and symmetry arguments (Aron et al., 2017, Haehl et al., 2016).

5. Gauge Theories, Ghosts, and Superspace Structure

For gauge theories, the SK formalism implements Faddeev-Popov ghosts on the closed contour, ensuring gauge invariance, proper cancellation of unphysical polarizations, and enforcement of Slavnov-Taylor identities out of equilibrium. The ghost distribution is entirely determined by the physical gluon occupation numbers, and the full gluon polarization tensor obtained in this manner is manifestly transverse, reflecting the structural robustness of the SK approach even in a non-equilibrium plasma (Czajka et al., 2014).

A mathematically powerful rephrasing of the SK formalism is provided by its BRST (superspace/topological) structure (Haehl et al., 2016, Geracie et al., 2017). Each field is organized into a supermultiplet including BRST ghosts, and the SK action becomes a gauge-fixed version of a topological field theory. This construction guarantees unitarity and causality algebraically (all operators built from difference fields are exact under the nilpotent BRST charges and decouple from physical observables), with Ward identities following from superspace translations. In near-equilibrium or thermal settings, the algebra is extended to an equivariant cohomology with KMS symmetry.

6. Cutting Rules, Factorization, and Novel Unitarity Structures

A central result in recent studies is the identification of cosmological cutting rules directly for SK correlators (Colipí-Marchant et al., 27 Dec 2025). For any diagram, the discontinuity in a given internal energy channel can be written as a sum over graphs where cut lines—propagators connecting the branches—are replaced by the sum $G_{+-}+G_{-+}$. The result factorizes into products of lower-point SK correlators or "barred" correlators, with explicit combinatorial signs analogous to the Cutkosky rules in Minkowski space. These rules were verified in models with cubic and quartic interactions, both at tree and one-loop level, and reveal unique subtleties: full unitarity at the level of equal-time observables necessitates the inclusion of nonphysical barred subgraphs.

7. Extensions, Effective Field Theory, and Advanced Applications

The SK approach accommodates arbitrary initial density matrices, including those relevant in cosmological microcanonical or Euclidean no-boundary conditions, by promoting the path-integral to more general contours and extending the analytic structure of Green's functions (Barvinsky et al., 2023). It underpins Wilsonian renormalization group flows in non-equilibrium field theory, where integrating out UV modes generates new nonlocal or branch-coupling interactions in the effective action, altering the structure of the RG fixed points compared to standard equilibrium formulations (Frangi et al., 27 Jan 2025).

The formalism extends to effective field theories for Nambu-Goldstone modes and hydrodynamics, as in the Schwinger-Keldysh coset construction (Akyuz et al., 2023), where field-doubling is intertwined with systematic power counting, the KMS condition, and the proper nonlinear realization of broken symmetries in real time.

In summary, the Schwinger-Keldysh formalism constitutes the modern foundation for quantum field theory and statistical mechanics in real time. Its application spans from cosmology and quantum critical phenomena to open quantum systems and quantum chaos, with a rigorous mathematical foundation rooted in superspace and cohomological algebra (Colipí-Marchant et al., 27 Dec 2025, Haehl et al., 2016, Haehl et al., 2024).