In-In Correlators in Quantum Systems

• In-in correlators are real-time expectation values derived via the Schwinger–Keldysh formalism, essential for non-equilibrium quantum systems and cosmological applications.
• They use a closed-time-path with dual (+/–) branches, enabling detailed diagrammatic expansions and systematic evaluation of interaction effects.
• Geometric and algebraic frameworks, such as zonotopes and cosmological polytopes, simplify factorization, renormalization, and duality analyses in advanced quantum theories.

In-in correlators, central to the calculation of expectation values in time-dependent quantum systems, especially in cosmology and open quantum systems, are defined through the Schwinger–Keldysh (SK) or closed-time-path (CTP) formalism. Their geometry, algebra, and applications permeate fields from quantum field theory in curved backgrounds to condensed matter, quantum information, and holography. Distinct from the in-out correlators of S-matrix theory, in-in correlators encode real-time evolution, non-equilibrium processes, and the interplay of causality and measurement. This article systematically develops the foundational framework, key computational structures, geometric interpretations, and representative physical applications of in-in correlators.

1. Formal Definition and Schwinger–Keldysh Structure

In-in correlators are real-time expectation values of operator products in a specified quantum state, typically at a fixed time, and are the appropriate observables in dynamical backgrounds such as inflationary cosmology or quantum measurement. The SK formalism introduces a closed time contour, with “+” (forward) and “–” (backward) branches. For an interacting scalar field $\varphi$ and interaction Hamiltonian $H_I(t)$, the general in-in n-point correlator is

$$\langle\Omega| \bar T \left[ e^{+i\int_{-\infty}^t H_I(t')dt'} \right] Q_I(t)\, T\left[ e^{-i\int_{-\infty}^t H_I(t'')dt''} \right] |\Omega\rangle$$

where $T$, $\bar T$ denote (anti-)time-ordering on the respective legs, and $Q_I$ is a product of interaction-picture fields at the observation time. One expands the exponentials, contracts fields using free-theory two-point functions (Wightman functions) along the contour, and sums over all assignments of interaction vertices to the SK contour branches, with appropriate phase factors—$(-i)$ for “+” insertions, $(+i)$ for “–”.

The generating functional in the path-integral formalism is

$$Z[J_+, J_-] = \int \mathcal{D}\varphi_+\,\mathcal{D}\varphi_-\, \exp\left(iS[\varphi_+] - iS[\varphi_-] + i\int J_+\varphi_+ - i\int J_-\varphi_-\right)$$

and functional derivatives produce all possible branch-ordered correlators (Green et al., 2024).

In-in correlators and S-matrix elements are equivalent in non-dissipative, unitary theories when the expansion is continued to infinite time. However, for time-dependent backgrounds or systems coupled to environments, in-in is essential (Donath et al., 2024).

2. Diagrammatic Expansion and Computational Framework

The SK formalism leads to a proliferation of internal indices (branch labels $\pm$ at each vertex), yielding a set of four basic propagators, $G_{ab}$, $a, b \in \{+, -\}$, constructed from mode functions and encoding Wightman, Feynman, and anti-time-ordered correlators. For late-time cosmological correlators—e.g., equal-time correlators in inflation—the Feynman rules entail:

• Each vertex (time integral) can be assigned to either branch, leading to a sum over $2^{V}$ diagrams for a graph with $V$ vertices.
• Each assignment fixes the contraction structure (which propagators connect which vertices), and integration domains for time variables are ordered appropriately.

For de Sitter space, propagators are built from the Bunch–Davies mode functions, e.g., for scalar curvature perturbations, $$u_k(\eta) \sim (H^2/(4\epsilon M_{pl}^2k^3))^{1/2}(1 + i k\eta) e^{-ik\eta}$$ (Fazio, 2019, Chowdhury et al., 2023). The interaction Hamiltonian is constructed in the chosen gauge (e.g., Maldacena gauge in inflation), and relevant vertices for cosmological three-point functions are specified (e.g., see $A(\eta), B(\eta)$ terms for primordial tensor-scalar-scalar interactions).

The general n-point SK expansion for a graph $G$ is

$$\langle G \rangle = \sum_{\{\sigma_v = \pm\}} \int_{-\infty}^0 \prod_{v=1}^{V(G)} d\eta_v \; (i\sigma_v) \; F_G(\{\eta_v\}, \{k\})$$

with $F_G$ constructed from time- and anti-time-ordered products as fixed by $\sigma_v$ (Glew, 26 Jan 2026).

3. Algebraic and Geometric Structure

Recent developments provide a geometric and combinatorial encoding for the full structure of in-in correlators:

Zonotopal Structure and Canonical Forms

• In-In Zonotope: Given a Feynman graph $G$, the in-in contributions label the vertices of a centrally symmetric zonotope $Z(G)$ defined as a Minkowski sum of segments (one per vertex and per internal edge), where the segment directions and lengths encode diagrammatic data (propagator energies, external/internal energies) (Glew, 26 Jan 2026).
• Facet Structure: Inequalities $|\alpha_{\mathfrak g}| \leq L_{\mathfrak g}$ for all connected subgraphs $\mathfrak g \subseteq G$ cut out the polytope, with $\alpha_{\mathfrak g}$ linear in the zonotope coordinates.
• Canonical Form: The tree-level correlator is (up to normalization) given by evaluating the canonical rational function associated to $Z(G)$ at the origin. Each vertex of $Z(G)$ corresponds to a SK assignment, and the product of the facet-defining coefficients in the denominator recovers the energy denominators of in-in diagrams.

Weighted Cosmological Polytopes

• Weighted Polytopes: The in-in integrand for a Feynman graph $G$ is the canonical function of an associated weighted cosmological polytope $\mathcal{P}_G^{(w)}$ (Benincasa et al., 2024). This approach unifies diagrammatics, energy denominators, and the constraint structure (factorization, Steinmann conditions, etc.) in the geometry of $\mathcal{P}_G^{(w)}$, and relates the in-in representation to wavefunction coefficients via oriented subdivisions (“orientation-flip” operation).

Three key points:

• The SK sum over $\pm$ assignments is in bijection with indices of the polytope's vertices.
• Factorization properties correspond to the boundary structure: faces of $Z(G)$ or $\mathcal{P}_G^{(w)}$ correspond to subgraph factorization of the correlator.
• Steinmann-like relations and novel selection rules arise from the vanishing conditions on codimension-2 intersections of incompatible facets and new “adjoint surface” constraints (Benincasa et al., 2024).

4. Special Structures and Analytic Techniques

Factorization and Double-Copy

In inflationary correlators, certain tensor structures in in-in computations factorize analogously to flat-space S-matrix amplitudes. For example, the three-point function involving two primordial gravitons and one scalar factorizes: $$\langle \gamma^{\lambda_1}(k_1)\gamma^{\lambda_2}(k_2)\zeta(k_3) \rangle' = (2\pi)^3\delta^3(k_1 + k_2 + k_3)\, F(k_1,k_2,k_3)\, E^{\lambda_1\lambda_2}(k_1,k_2)$$ where $F$ is a universal, background-dependent time integral and $E$ matches the double copy structure of flat-space three-graviton amplitudes (the "BCJ double copy") (Fazio, 2019).

Partial Mellin–Barnes and Family Decomposition

For multiloop/massive exchange correlators, nested time integrals in SK formalism are reducible to sums over multi-variable hypergeometric series via a partial Mellin–Barnes (PMB) representation combined with a “family-tree” decomposition. Each ordered integration domain over time variables (labeled by $\theta$-functions) maps to a rooted tree, and the whole nested structure can be written as a finite sum over such trees with closed-form coefficients (Xianyu et al., 2023).

5. Effective Field Theory, Renormalization, and Causality

RG and Boundary Operators

The Wilsonian RG applied to SK/in-in observables generates both local bulk operators and “boundary” operators localized at the time of measurement, beyond what is captured by bulk effective actions. Integrating out short-wavelength degrees of freedom yields corrections to the reduced density matrix of the long modes—these semi-local and local boundary terms encode momentum-space entanglement between UV/IR sectors and generate corrections to local and semi-local pieces in the correlators (e.g., odd-in-$1/M$ terms when heavy fields are integrated out) (Green et al., 2024).

Discrete and Causal Set Implementations

On a fundamentally discrete spacetime (causal set model), the SK expansion and diagrammatic rules simplify, with finite sums (instead of integrals), manifest UV finiteness, and strict causality: retarded propagators are supported only along the causal partial order, and the SK expansion terminates at finite order (Albertini et al., 2024).

6. Extensions, Dualities, and Physical Applications

Spinning Fields and Shadow Formalism

For spinning theories (photons, gluons, gravitons) in de Sitter, the SK path integral requires careful boundary gauge-fixing. After a “shadow transform,” one can recast the in-in correlators via Witten diagrams in Euclidean AdS with effective actions and propagators for the fields and ghosts, leading to efficient computations. The formalism exhibits color/kinematics duality and double-copy structures reminiscent of flat space; for example, graviton correlators arise as the double copy (squared numerator) of gluon correlators after integrating over auxiliary momentum parameters (Chowdhury et al., 16 Dec 2025).

Holography and Warped Geometries

Holographic computations of energy correlators in nearly-conformal field theories use in-in Witten diagrams in warped AdS$_5$ backgrounds. Here, the SK contour is reflected in the doubling of bulk fields, and energy-flow observables are computed from tree-level (large $N$) diagrams, with IR modifications reflecting bulk truncations (e.g., mass gap) (Ricci et al., 15 Jan 2026).

Ward Identities, Asymptotic Symmetries, and Memory Effects

In asymptotically flat spacetimes, in-in correlators reveal nontrivial connected memory correlators linked by Ward identities for asymptotic symmetries, whose content goes beyond what is accessible in standard S-matrix soft theorems. For instance, the connected two-point function of soft gravitational memory is entirely fixed by the two-point function of the average null energy operator, itself captured by the celestial CFT OPE algebra (Moult et al., 2 Dec 2025).

7. Algebraic Recursions, In-Out Equivalence, and Computational Simplifications

In non-dissipative, unitary settings, the in-in formalism and ordinary Feynman (in-out) diagrammatics yield equivalent results for cosmological (and in general time-dependent) correlators. The in-out formalism offers a more streamlined computation: only a single time-ordered propagator is needed, and algebraic recursion relations (e.g., for collapsing chains of propagators) facilitate direct computation of higher-point functions. Discontinuity/cutting rules descend from the generalized “largest-time equation,” providing structural analogues of the optical theorem and forward-limit positivity for de Sitter S-matrix elements (Donath et al., 2024).

---

In summary, the modern theory of in-in correlators unifies diagrammatic, geometric, algebraic, and physical perspectives, providing a robust framework for real-time quantum dynamics, cosmological predictions, quantum chaos, and the interplay of symmetry and causality across quantum field theory, quantum information, and gravity. The SK formalism and its geometric avatars encapsulate analyticity, factorization, and dualities such as the double copy, with wide-ranging applications from measurement theory to quantum gravity and holography (Fazio, 2019, Green et al., 2024, Donath et al., 2024, Xianyu et al., 2023, Benincasa et al., 2024, Glew, 26 Jan 2026, Moult et al., 2 Dec 2025, Chowdhury et al., 16 Dec 2025, Ricci et al., 15 Jan 2026).