--- title: Space-Time Gibbs Measures url: https://www.emergentmind.com/topics/space-time-gibbs-measures type: topic --- # Space-Time Gibbs Measures Space-time Gibbs measures are probability measures on trajectories rather than on static configurations. In the Dobrushin–Lanford–Ruelle setting, they are path-space laws whose conditional distributions on finite space-time regions are quasilocal and compatible with a family of specifications; in increment-based constructions, they are Gibbs tilts of Wiener path measures by a space-time Hamiltonian; in Hamiltonian PDEs, the equilibrium law can be characterized dynamically by the classical Kubo–Martin–Schwinger condition. Across these formulations, locality is expressed simultaneously in space and in time, and the resulting objects appear in statistical physics, neuroscience, engineering, mathematical finance, nonlinear Hamiltonian PDEs, and the stochastic heat equation [1911.01300] [1706.09345] [2102.12202]. ## 1. Conceptual domain and principal formulations The most explicit DLR-type formulation in the supplied literature is the second-order path-space theory for locally interacting diffusions on a locally finite graph. There the relevant random field is the collection of histories $(X_v[t])_{v\in V}\in \mathcal{C}_t^V$, with $\mathcal{C}_t=C([0,t];\mathbb{R}^d)$, and locality is governed not by the ordinary graph boundary but by the “double boundary” $\partial_G^2 A:=\partial_G A\cup\partial_G(A\cup\partial_G A)$. A law is a second-order Markov random field when, for every finite $A\subset V$, $Y_A$ is conditionally independent of $Y_{(A\cup\partial^2 A)^c}$ given $Y_{\partial^2 A}$ [1911.01300]. A distinct formulation arises on Brownian path space through translation-invariant interactions depending only on increments. In that setting the finite-volume Gibbs measure is defined by tilting Wiener increments with a Hamiltonian \[ \mathscr H_T(\omega)=\int_0^T\int_0^T H(t-s,\omega(t)-\omega(s))\,ds\,dt, \] so the interaction is intrinsically space-time but does not proceed through local specifications in the explicit DLR sense [1706.09345]. A third formulation replaces DLR locality by dynamical equilibrium. For nonlinear Hamiltonian PDEs, the classical KMS condition is used as an alternative to DLR: for suitable observables $F,G$ and Hamiltonian vector field $X$, \[ \int \{F,G\}(u)\,d\mu(u)=\beta\int \langle \nabla F(u),X(u)\rangle G(u)\,d\mu(u). \] Within the admissible class considered, this characterizes Gibbs measures as the unique KMS equilibrium states [2102.12202]. A related but more macroscopic perspective studies time-evolved Gibbs measures through cumulant-generating functions and push-forward dynamics. That framework does not define space-time Gibbs measures explicitly nor DLR specifications in space-time, but it isolates “macroscopic mixing” and “transitive mixing” as large-scale stability properties of time evolution [2111.10348]. | Formulation | State space | Structural statement | |---|---|---| | Second-order DLR | $\mathcal{C}_t^V$ or $C([0,\infty))^V$ | Path histories form a $2$MRF with specifications $P_t[A\mid\partial^2A]$ | | Increment Gibbs tilt | Brownian increments on $[0,T]$ | Infinite-volume Gibbs measure exists under Assumption A or B | | Classical KMS | Gaussian/Wiener phase spaces for PDEs | Gibbs measures are the unique KMS equilibrium states | | Macroscopic stability | Push-forward trajectory laws of observables | Gibbs-like cumulants and densities are stable at large $N$ | ## 2. Second-order path-space Gibbs measures for locally interacting diffusions The locally interacting diffusion model is indexed by the vertices of a simple, locally finite graph $G=(V,E)$ with finite or countably infinite vertex set. At each vertex $v\in V$, the process satisfies \[ dX_v(t)=b_v\big(t,X_v,X_{N_v(G)}\big)\,dt+\sigma_v\bigl(t,X_v\bigr)\,dW_v(t), \] or, in the path-history notation emphasized in the source, \[ dX^v_t=b_v\big(t,X^v_{[0,t]},(X^u_{[0,t]})_{u\in N(v)}\big)\,dt+\sigma_v\big(X^v_t\big)\,dB^v_t. \] The drift is progressively measurable in the past histories of the vertex and its neighbors, while the diffusion coefficient depends only on the history of the vertex itself; the framework therefore allows non-Markovian, history-dependent drifts and also permits path-dependent $\sigma_v$ [1911.01300]. For finite graphs, the initial law $\mu_0$ is assumed absolutely continuous with respect to a product reference measure $\mu_0^*=\prod_{v\in V}\lambda_v$, with density factorizing over $2$-cliques: \[ \frac{d\mu_0}{d\mu_0^*}(x)=\prod_{K\in\mathrm{cl}_2(G)} f_K(x_K). \] The second-order Hammersley–Clifford statement identifies this factorization with the $2$MRF property, under strict positivity, by passing to the square graph $G^2$ and applying the usual theorem for $1$MRFs on $G^2$. In the infinite-graph setting, the assumption is instead that $\mu_0$ is a $2$MRF with finite second moments and local absolute continuity relative to a product law [1911.01300]. The path-space Gibbs structure becomes explicit through Girsanov’s theorem. If $P_t$ denotes the law on $\mathcal{C}_t^V$ induced by the interacting SDE and $P_t^*$ the law of the driftless system with product initial law, then in finite volume \[ \frac{dP_t}{dP_t^*} = \Bigg(\prod_{K\in\mathrm{cl}_2(G)}f_K\big(X_K(0)\big)\Bigg)\prod_{v\in V}\mathcal{E}_t(M_v), \] with \[ M_v(t):=\int_0^t\bigl(\sigma_v\sigma_v^\top\bigr)^{-1}b_v\big(s,X_v,X_{N_v(G)}\big)\cdot dX_v(s), \qquad \mathcal{E}_t(M_v)=\exp\Big(M_v(t)-\tfrac12[M_v](t)\Big). \] This factorization exhibits the locality mechanism: the initial factor depends on $2$-cliques, and each local martingale $M_v$ depends only on $X_{\{v\}\cup N_v(G)}$. The corresponding conditional kernel on a finite $\Lambda\subset V$ is proportional to the product of the clique factors intersecting $\Lambda$ and the stochastic exponentials for $v\in\Lambda$, with normalization given by a finite-volume conditional expectation under the reference law [1911.01300]. This construction shows why the relevant Gibbs object is naturally a law on histories. The source emphasizes that even for gradient-type drifts and independent initial states, the static time-$t$ marginals need not be $1$MRF or $2$MRF. On a finite path of five vertices, the interacting Ornstein–Uhlenbeck–type system \[ dX_i(t)=\big(X_{i-1}(t)+X_{i+1}(t)-2X_i(t)\big)\,dt+dW_i(t) \] provides such an example. The preserved structure is therefore the space-time $2$MRF on path space, not an automatic Gibbs property of one-time marginals [1911.01300]. ## 3. Propagation, bijection, and uniqueness for path-space Gibbs laws Under the finite-graph assumptions, Theorem 3.4 states that for each $t>0$, $(X_v[t])_{v\in V}$ is a $2$MRF on $\mathcal{C}_t^V$, and moreover $(X_v)_{v\in V}$ is a $2$MRF on $C([0,\infty))^V$. Under the infinite-graph assumptions, the same conclusion holds by Theorem 3.8. In both cases, the conditional laws $P_t[A\mid\partial^2A]$ supply the DLR kernels for a second-order Gibbs measure on path space [1911.01300]. A central structural result is the bijection between configuration Gibbs measures and space-time Gibbs measures. For a given initial $2$MRF $\mu_0$, define \[ \mathcal{M}_2(\mu_0):=\Big\{\nu_0\in\mathcal{G}_2(\mu_0):\ \sup_{v\in V}\int |x_v|^2\,\nu_0(dx)<\infty\Big\}, \] \[ \mathcal{Q}_2(\mu_0):=\Big\{Q\in\mathcal{P}(\mathcal{C}^V):\ \forall t\ge0,\ Q_t\in\mathcal{G}_2(P^{\mu_0}_t)\text{ and }\sup_{v\in V}\int |x_v(0)|^2\,Q(dx)<\infty\Big\}. \] Then \[ \mathcal{M}_2(\mu_0)=\Big\{Q\circ(X_V(0))^{-1}:Q\in\mathcal{Q}_2(\mu_0)\Big\}, \] and the map $Q\mapsto Q\circ(X_V(0))^{-1}$ is a bijection with inverse $\nu_0\mapsto P^{\nu_0}$. In particular, if $Q_t\in\mathcal{G}_2(P_t^{\mu_0})$ for all $t\ge0$ and the initial projection equals $\mu_0$, then $Q=P^{\mu_0}$ [1911.01300]. This induces a Gibbs uniqueness principle on infinite graphs. If the initial Gibbs set $\mathcal{G}_2(\mu_0)$ is a singleton, then the associated path-space Gibbs set is also a singleton: \[ \mathcal{Q}_2(\mu_0)=\{P^{\mu_0}\}. \] Hence the joint path law is completely determined by the initial condition and the space-time second-order specifications $\{P_t^{\mu_0}[A\mid\partial^2A]:A\text{ finite},\,t\ge0\}$ [1911.01300]. The infinite-volume construction relies on projection and approximation results that preserve second-order locality. A finite-volume graph $G_n$ is obtained by augmenting the induced subgraph so that the outer ring is fully connected, which ensures $\partial_G^2A=\partial_{G_n}^2A$ for sets $A\subset V_{n-3}$ and preserves $2$-clique factorizations on interior sets. The resulting finite-volume kernels are consistent on interiors, and uniform second-moment bounds together with relative entropy control yield tightness and convergence of the approximations. A plausible implication is that second-order conditioning is not a technical artifact of the proof but the minimal locality class in which both approximation and quasilocal consistency can be maintained on general locally finite graphs [1911.01300]. ## 4. Propagation of Gibbsianness under finite space-time interactions A complementary line of work studies infinite-dimensional diffusions on $\mathbb{Z}^d$ whose interaction has finite extent both in space and in time and is not supposed to be smooth or Markov. The initial measure is Gibbs for an interaction $\varphi=(\varphi_A)$ satisfying strong summability, \[ \sup_{i\in\mathbb{Z}^d}\sum_{A\ni i} (|A|-1)\|\varphi_A\|_\infty<\infty, \] and the dynamics are given by \[ dX_i(t)=dB_i(t)-U'(X_i(t))\,dt+\beta\, b_i(t,X)\,dt, \qquad i\in\mathbb{Z}^d,\qquad X(0)\sim \nu. \] The drift is adapted, local in a finite spatial neighborhood, and depends only on a finite time window in the past; it is also bounded uniformly in space, time, and paths [1312.0394]. The main result asserts that if the strongness of the initial interaction is below a suitable level and the dynamical interaction is bounded from above in the required way, then for all $t\ge0$ the time-evolved single-time marginal \[ \mu_t:=Q^\nu\circ X(t)^{-1} \] is again a Gibbs measure on $\mathbb{R}^{\mathbb{Z}^d}$ with some absolutely summable interaction $\varphi_t$, in the sense that \[ \sup_i\sum_{A\ni i}\|\varphi_t(A)\|_\infty<\infty. \] The smallness assumptions are expressed by a Dobrushin-type condition on the initial interaction, \[ \beta_0\sup_{i\in\mathbb{Z}^d}\sum_{A\ni i} (|A|-1)\|\varphi_A\|_\infty<1, \] and a Kotecký–Preiss condition for the dynamical polymer expansion [1312.0394]. The proof proceeds through a space-time cluster expansion of the Girsanov factor. After passing to free bridge measures, the time-$t$ density has the form \[ f_t(x_A,y_A) = E_{P_{A,[0,t]}^{x_A,y_A}} \Big[ \exp\Big(\sum_{k\in A^-}Y_{k+N,[0,t]}(X)\Big) \Big], \] with local functionals $Y_{k+N,[0,t]}$ built from the drift. Time is partitioned into blocks of size $T\ge t_0$, polymers are defined from compatible space and time clusters, and the density is expanded as a gas of nonintersecting space-time clusters. Uniform bounds on polymer activities follow from boundedness of the drift and exponential ergodicity of the free dynamics, the latter encoded in decay estimates for $p_t(z,z')-1$ under the invariant measure of the free single-site dynamics [1312.0394]. The logarithm of the finite-volume density then acquires a convergent polymer expansion, \[ \log f_t(x,y)=-\sum_{A\subset\Lambda}\widehat\Psi_t(A;x,y), \] producing an effective double-layer interaction on the time slices $\{0,t\}$. After Dobrushin uniqueness on the bi-layer system and a disintegration step, Kozlov’s representation theorem yields a single-time specification at time $t$ and hence a time-dependent interaction $\varphi_t$. In contrast with the path-space $2$MRF theory, the preserved Gibbsian object here is the one-time marginal. The two results are therefore complementary rather than equivalent: one preserves a full space-time Gibbs law on histories, while the other propagates Gibbsianness of single-time marginals under small, finite-range space-time perturbations [1312.0394]. ## 5. Increment Gibbs measures on Brownian path space A different notion of space-time Gibbs measure is defined on the $\sigma$-algebra generated by Brownian increments $\{\omega(t)-\omega(s)\}_{s0$ [1706.09345]. Two interaction regimes are treated. Assumption A allows long-range dependence in time with bounded spatial interaction and decay up to \[ \sup_x |H(t,x)|\le \frac{C}{(1+t)^{2+\varepsilon}}, \qquad \varepsilon>0. \] Assumption B allows compactly supported time dependence and spatial singularities through a factorization $H(t,x)=\rho(t)V(x)$ with $V$ either bounded, Coulomb-like $|x|^{-p}$ in the specified range for $d\ge3$, or $\delta_0(x)$ in $d=1$. Under either assumption, for any $\alpha>0$ the infinite-volume Gibbs measure exists, \[ \widehat{\mathbb Q}_\alpha=\lim_{T\to\infty}\widehat{\mathbb Q}_{\alpha,T}, \] and the rescaled increment process satisfies a central limit theorem: \[ \lim_{T\to\infty}\widehat{\mathbb Q}_{\alpha,T}\!\left[\frac{\omega(T)-\omega(0)}{\sqrt{T}}\in\cdot\right] = \lim_{T\to\infty}\widehat{\mathbb Q}_{\alpha}\!\left[\frac{\omega(T)-\omega(0)}{\sqrt{T}}\in\cdot\right] = \mathcal N(0,\sigma^2(\alpha)I_d), \] with $\sigma^2(\alpha)>0$ [1706.09345]. The proof replaces the original long memory by a “Markovianized” chain of block increments. Interactions within a block are absorbed into a diagonal single-block measure, interactions between neighboring blocks define a kernel $k(\xi,\xi')$, and the associated integral operator \[ (\mathscr L u)(\xi)=\int e^{k(\xi,\xi')}u(\xi')\,\pi(d\xi') \] has a principal eigenvalue $\lambda_0>0$ and positive eigenfunction $\psi_0$ by Krein–Rutman theory. The resulting tilted transition kernel \[ \widetilde\pi(\xi,\xi') = \frac{e^{k(\xi,\xi')}\psi_0(\xi')}{\lambda_0\psi_0(\xi)} \] satisfies a Doeblin minorization, which yields geometric ergodicity. Solving the Poisson equation $(\mathbf I-\mathbf T)u=f$ for the increment observable $f(\xi)=\omega(1)-\omega(0)$ produces a Green–Kubo or Dirichlet-form representation of the limiting variance and ensures strict positivity [1706.09345]. This framework covers the Nelson model, massless bosons, polaron models with ultraviolet cutoff, and self-interacting polymers with $V(x)=\delta_0(x)$ in dimension $1$. It also applies to the multiplicative-noise stochastic heat equation in dimensions $d\ge3$ after time and space mollification of the noise. Through a Feynman–Kac representation, the annealed path measure becomes exactly of the Gibbs form above, and the averaged diffusively rescaled solution converges pointwise to a deterministic diffusion equation with homogenized coefficient $\mathrm a_\beta=\sigma^2(\beta)I_d$ [1706.09345]. A recurring threshold in this setting is the time-decay exponent. The source states that decay exponent $>2$ is critical: for slower decays, including kernels with effective decay $(1+t)^{-\gamma}$ for $\gamma\in(1,2]$, multiple infinite-volume Gibbs measures can occur, which obstructs mixing and invalidates the CLT under convex combinations. This is one of the clearest phase-transition mechanisms presently identified in the supplied material for path-space Gibbs measures [1706.09345]. ## 6. Alternative equilibrium characterizations, macroscopic stability, and conceptual boundaries The classical KMS condition provides a dynamical alternative to DLR. In the setting of nonlinear Hamiltonian PDEs on Gaussian probability spaces, Gibbs measures are shown to be the unique KMS equilibrium states for nonlinear Schrödinger, Hartree, and nonlinear wave or Klein–Gordon equations. The Gibbs law is written relative to a Gaussian reference measure $\mu_{\beta,0}$ as \[ d\mu_\beta(u)=Z^{-1}e^{-\beta h_I(u)}\,d\mu_{\beta,0}(u), \] and the KMS identity with respect to the Hamiltonian vector field $X$ implies the density equation \[ V\rho+\beta\rho\,Vh_I=0. \] Using Malliavin calculus, Gaussian integration by parts, and the principle that vanishing Malliavin gradient forces almost sure constancy, one obtains $\rho=Z^{-1}e^{-\beta h_I}$. In this sense, Gibbs equilibrium and dynamical equilibrium coincide within the class of measures absolutely continuous with respect to the Gaussian reference and with density in $D^{1,2}(\mu_{\beta,0})$ [2102.12202]. The KMS viewpoint is intrinsically space-time because it is formulated through time-translation invariance and correlation identities rather than through spatial conditional specifications. The source further derives stationary and equilibrium hierarchies for $k$-point densities, describing these as space-time equilibrium constraints. This suggests that “space-time Gibbs measure” can refer either to a DLR path-space object or to an equilibrium law characterized by temporal analyticity and Poisson-bracket identities, depending on context [2102.12202]. At a still different level, macroscopic stability of time-evolved Gibbs measures can be studied without introducing DLR specifications. In the lattice mechanical system with random mirrors, “macroscopic mixing” is expressed through the cumulant-generating function \[ \psi_N(\mu,\eta,U_t)=\frac1N\log\left\langle \exp\big(N\eta\cdot\phi_N(U_t(x))\big)\right\rangle_\mu, \] and requires \[ \lim_{t\to\infty}\lim_{N\to\infty}\psi_N(\mu,\eta,U_t) = \lim_{N\to\infty}\psi_N(\rho,\eta). \] “Transitive mixing” is a two-stage analogue after a parameter switch at time $\tau$, and it implies the entropy monotonicity \[ s(m)\le s(m')\le s(\tilde m). \] The paper explicitly notes that it does not define space-time Gibbs measures nor DLR specifications in space-time; the result is instead that macroscopic observables over space-time windows are governed by Gibbs-like cumulants and densities, even though the microscopic dynamics are non-ergodic and not mixing [2111.10348]. Several conceptual boundaries follow from the supplied literature. First, space-time Gibbsianity of histories does not imply that one-time marginals remain Gibbs in the same locality class, as shown by the interacting Ornstein–Uhlenbeck example on a five-vertex path [1911.01300]. Second, uniqueness is model-dependent: it can follow from a bijection with the initial Gibbs law for locally interacting diffusions, from Doeblin minorization in the Markovianized increment chain, or from Malliavin regularity in KMS theory, but it can also fail beyond critical time-decay thresholds or outside the admissible absolute continuity class [1911.01300] [1706.09345] [2102.12202]. Third, microscopic non-mixing does not exclude macroscopic Gibbs-like stability, which separates dynamical equilibration of observables from full path-space quasilocality [2111.10348]. Open directions stated in the supplied material include extending Markovianization to interactions that are simultaneously long-range in time and singular in space, developing DLR formulations and phase-transition theory near the critical decay threshold, characterizing $\sigma^2(\alpha)$ more explicitly in quantum models, strengthening KMS uniqueness beyond $D^{1,2}$ densities, and extending the Hamiltonian-PDE theory to stochastic or quantum settings [1706.09345] [2102.12202]. Source: https://www.emergentmind.com/topics/space-time-gibbs-measures