---
title: Sample-Path MDPs in Stochastic Processes
url: https://www.emergentmind.com/topics/sample-path-moderate-deviation-principle-mdp
type: topic
---

# Sample-Path MDPs in Stochastic Processes

A sample-path moderate deviation principle (MDP) is a path-space large deviation principle for a centered and normalized stochastic process at an intermediate scale between the central limit theorem and the full large deviation regime. In the contemporary literature, such principles are formulated for trajectories in spaces such as \(D([0,T],\mathcal S'(\mathbb R^d))\), \(C([0,T];L^p([0,1]))\), \(C([0,T];\mathbb R^n)\), \(D([0,T];\ell^2)\), and \(\mathcal D([0,T],\mathbb R)\), with speeds including \(a_n^2/n^d\), \(a_N^2/N\), \(h(\epsilon)^2\), \(b_n^2\), and \(\varepsilon/\lambda(\varepsilon)^2\) depending on the model class [2405.16151], [2312.00389], [1611.05903], [1510.02187], [2503.03695], [2206.06794]. Across these settings, the rate function is typically quadratic and often admits a control or skeleton representation, making the sample-path MDP the canonical intermediate-scale asymptotic theory for process-valued fluctuations.

## 1. Scope of the notion

A genuine sample-path MDP is process-level rather than terminal-time or one-dimensional. In the weakly asymmetric simple exclusion process (WASEP), the principle is proved for the trajectory \(\{\mu_t^n:0\le t\le T\}\) on \(D([0,T],\mathcal S'(\mathbb R^d))\) [2405.16151]. In the one-dimensional symmetric simple exclusion process (SSEP), the current and tagged particle satisfy sample-path MDPs in \(\mathcal D([0,T],\mathbb R)\) [2312.00389]. For slow-fast diffusions, the centered slow motion satisfies a Laplace-principle formulation on \(C([0,1];\mathbb R^n)\) [1611.05903]. For weakly interacting particle systems, the empirical measure process satisfies a path-space LDP in \(C([0,T]:\mathcal S_p)\) for interacting diffusions and in \(D([0,T]:\ell_2)\) for pure jump models [1510.02187].

This usage excludes several nearby but distinct results. The Maki–Thompson rumour model proves an MDP only for the final proportion of ignorants, and explicitly states that the result is “not a sample-path MDP” [2605.08629]. The Dyck-path paper studies the maximum height of a random Dyck path and emphasizes that it is a moderate deviation principle for a path functional, not for the whole path [1008.0606]. Good’s coverage estimator yields a pointwise MDP for a scalar statistic, not a functional or sample-path principle [1305.2075]. The hierarchical “linear response and moderate deviations” program often treats integrals of processes or fields against boxes or test functions; these results are functional in a broad sense, but not always full path-space LDPs with an explicit topology on the underlying process space [1612.08396], [1711.05247], [1810.05673].

A persistent misconception is therefore terminological: not every moderate deviation result involving a stochastic process is sample-path. The decisive criterion is whether the LDP is formulated for trajectories in a path space, rather than for a single-time marginal, a terminal functional, or an integrated observable.

## 2. Scaling regimes, path spaces, and topologies

The moderate-deviation scaling is always intermediate. In WASEP, the fluctuation field is normalized by \(a_n\) under the constraints
\[
n^{d/2}\sqrt{\log n}\ll a_n \ll n^d\wedge n^{d+\beta-1},
\]
and the MDP speed is \(a_n^2/n^d\) on \(D([0,T],\mathcal S'(\mathbb R^d))\) [2405.16151]. In the SSEP current and tagged-particle problem, the regime is
\[
\sqrt{N\log N}\ll a_N \ll N,
\]
with speed \(a_N^2/N\) in \(\mathcal D([0,T],\mathbb R)\) [2312.00389]. For queues with waiting-time-dependent interarrival and service times, the centered workload process
\[
\widetilde W^n(t)=\frac{\sqrt n}{b_n}\bigl(\bar W^n(t)-\bar W^*\bigr)
\]
satisfies an MDP in the Skorokhod \(J_1\) topology on \(\mathcal D_T=\mathcal D([0,T],\mathbb R)\) with speed \(b_n^2\) [2510.27226]. For JSQ\((d)\), the occupancy process is studied in \(D([0,T]:\ell^2)\) with moderate scaling \(a(n)\sqrt n\,(Q^n-Q)\) and speed \(a(n)^2 n\) [2503.03695].

Small-noise diffusions and SPDEs use analogous intermediate scalings. For the stochastic generalized Burgers–Huxley equation, the rescaled process
\[
Z^\epsilon(t)=\frac{u^\epsilon(t)-u^0(t)}{\sqrt{\epsilon}\lambda(\epsilon)}
\]
is studied in \(C([0,T];L^p([0,1]))\), with \(\lambda(\epsilon)\downarrow 0\) and \(\sqrt{\epsilon}/\lambda(\epsilon)\downarrow 0\) [2407.19107]. For slow-fast diffusions, the centered slow motion
\[
\eta_t^\epsilon=\frac{X_t^\epsilon-\bar X_t}{\sqrt{\epsilon}\,h(\epsilon)}
\]
satisfies a sample-path MDP on \(C([0,1];\mathbb R^n)\) when \(h(\epsilon)\to\infty\) and \(\sqrt{\epsilon}h(\epsilon)\to 0\) [1611.05903]. For multiscale McKean–Vlasov SDEs, the deviation process
\[
Z_t^\varepsilon := \frac{X_t^\varepsilon - X_t}{\lambda(\varepsilon)}
\]
is treated in \(C([0,T];\mathbb R^n)\) with speed \(\varepsilon/\lambda(\varepsilon)^2\) [2306.11569]. For fBm-driven multiscale systems, the analogous deviation process is
\[
\eta_t^\epsilon=\frac{X_t^\epsilon-\bar X_t}{\sqrt{\epsilon}\,h(\epsilon)}
\]
in \(C([0,1];\mathbb R^n)\) [2206.06794].

The topology is model-dependent but never incidental. Diffusive hydrodynamic fields naturally live in distribution spaces [2405.16151], empirical queue-length profiles in \(\ell^2\)-valued Skorokhod space [2503.03695], additive functionals of DDSDEs in \(\mathbb R\) rather than a path space [2101.09482], and SPDE solutions in the same function space as the underlying well-posedness theory [2407.19107].

## 3. Rate functions and canonical structures

The characteristic rate function is quadratic, but its concrete realization varies.

For WASEP, the good rate function splits into dynamic and initial components,
\[
\mathcal Q(\mu)=\mathcal Q_{\mathrm{dyn}}(\mu)+\mathcal Q_0(\mu_0),
\]
with \(\mathcal Q_{\mathrm{dyn}}\) expressed by a variational supremum over \(H\in C_c^{1,\infty}([0,T]\times\mathbb R^d)\) and \(\mathcal Q_0\) by a supremum over \(\phi\in C_c^\infty(\mathbb R^d)\) [2405.16151]. When finite, the path solves a linearized heat equation with an \(L^2\)-type forcing term. For the SGBH SPDE, the rate is
\[
I(\phi) = \inf_{\{h\in H:\ \phi=\mathcal G_0\left(u^0,\int_0^\cdot h(s)\,ds\right)\}} \frac12\int_0^T |h(s)|_H^2\,ds,
\]
which is the Budhiraja–Dupuis control cost associated with the linearized skeleton [2407.19107].

In slow-fast diffusions, the rate function takes the explicit absolutely continuous form
\[
S(\xi)= \frac12 \int_0^1 \big(\dot \xi_s - K(\bar X_s,\xi_s)\big)^\top q(\bar X_s)^{-1}\big(\dot \xi_s - K(\bar X_s,\xi_s)\big)\,ds
\]
for \(\xi\) absolutely continuous, and \(+\infty\) otherwise [1611.05903]. The multi-scale McKean–Vlasov setting has two distinct regimes. In Regime 1, the rate depends only on the slow diffusion \(\sigma\), whereas in Regime 2 it includes the additional covariance term
\[
\int_{\mathbb R^m} \big(\nabla_y\Phi(x,\mu,y)\,g(x,\mu,y)\big) \big(\nabla_y\Phi(x,\mu,y)\,g(x,\mu,y)\big)^\ast \,v^{x,\mu}(dy)
\]
through the matrix \(Q_2(x,\mu)\) [2306.11569]. For multiscale systems driven by fBm, the rate function involves the nonlocal operator \(Q_{\bar X}^H\), and the paper emphasizes that this action functional is generally discontinuous in \(H\) at \(H=1/2\) [2206.06794].

Some rate functions are not absolutely continuous in the classical sense. For the SSEP current and tagged particle, the path-rate is
\[
\mathcal I_{path}(f)= \begin{cases} \frac{1}{2}\int_0^T h_f(s)^2\,ds,& f\in\mathcal{H},\\ +\infty,& \text{otherwise}, \end{cases}
\]
where \(\mathcal H\) is the reproducing-kernel space of fractional Brownian motion with Hurst index \(1/4\) [2312.00389]. The occupation-time MDP for one-dimensional WASEP similarly identifies the path rate with the Cameron–Martin-type action of fractional Brownian motion with Hurst index \(3/4\) [2405.16151].

Queueing models display another structural distinction. When the fluid equilibrium is positive, the rate function is an explicit quadratic action without reflection. When the equilibrium is zero, the rate function is expressed through the linearly generalized Skorokhod map \(\mathcal R_\theta\), and reflection remains part of the pathwise cost [2510.27226].

## 4. Proof architecture

Two proof paradigms dominate.

The first is the weak-convergence and stochastic-control method of Budhiraja–Dupuis. It underlies the SGBH SPDE [2407.19107], slow-fast diffusions [1611.05903], multiscale McKean–Vlasov SDEs [2306.11569], fBm-driven multiscale systems [2206.06794], and weakly interacting particle systems [1510.02187]. In this approach, one introduces controlled versions of the original dynamics, proves tightness of controlled trajectories and occupation measures, identifies the limiting skeleton equation, and derives the Laplace upper and lower bounds. Viable pairs, Poisson equations, and explicit local variational problems are recurrent technical components in multiscale models [1611.05903], [2306.11569], [2206.06794].

The second paradigm uses exponential martingales and hydrodynamic replacement theory. In WASEP, the field-level MDP is obtained from an exponential martingale; the symmetric part yields the Laplacian and the quadratic term, while the asymmetric part contributes a correction \(Q_s^n(H)\) that is shown to be superexponentially negligible via replacement lemmas and block estimates [2405.16151]. The lower bound is then handled by a tilted generator and a Girsanov change of measure.

Poisson-random-measure variational representations form a third major subroutine. They are central for JSQ\((d)\), where the occupancy process is represented as a PRM-driven jump equation and the rate function becomes a quadratic cost over controlled intensities \(g(t,y)\) [2503.03695]. The same PRM machinery appears in the jump-model part of weakly interacting particle systems [1510.02187].

Exponential tightness is indispensable in all path-level results. For the SSEP current and tagged particle, it is the bridge from finite-dimensional MDPs to the sample-path MDP in \(\mathcal D([0,T],\mathbb R)\) [2312.00389]. For WASEP, tightness combines martingale moment bounds with control of short-time increments [2405.16151]. For queues, it is used together with martingale and supermartingale arguments to show that the error terms are exponentially equivalent to zero [2510.27226].

## 5. Representative model classes

The range of sample-path MDPs already established is broad.

| Model class | Path space | Distinctive feature |
|---|---|---|
| WASEP fluctuation field [2405.16151] | \(D([0,T],\mathcal S'(\mathbb R^d))\) | dynamic-plus-initial quadratic rate |
| SSEP current and tagged particle [2312.00389] | \(\mathcal D([0,T],\mathbb R)\) | fractional Brownian motion \(H=1/4\) action |
| SGBH equation [2407.19107] | \(C([0,T];L^p([0,1]))\) | multiplicative Gaussian noise, skeleton control cost |
| Slow-fast diffusions [1611.05903] | \(C([0,1];\mathbb R^n)\) | unified averaging and homogenization |
| Weakly interacting particle systems [1510.02187] | \(C([0,T]:\mathcal S_p)\), \(D([0,T]:\ell_2)\) | empirical-measure path MDP |
| JSQ\((d)\) occupancy process [2503.03695] | \(D([0,T]:\ell^2)\) | PRM-driven infinite-dimensional queueing dynamics |
| Waiting-time-dependent queue [2510.27226] | \(\mathcal D([0,T],\mathbb R)\) | generalized Skorokhod reflection at zero |

In interacting-particle systems, the sample-path MDP often tracks empirical measures or fluctuation fields rather than finite-dimensional coordinates [1510.02187], [2405.16151]. In exclusion processes, observables such as current, occupation time, and tagged-particle displacement produce non-Markovian path-rate functions linked to fractional Brownian motion [2405.16151], [2312.00389]. In SPDEs and small-noise multiscale systems, the rate function is usually encoded by a deterministic skeleton equation and a quadratic control energy [2407.19107], [1611.05903], [2206.06794].

A plausible implication is that the sample-path MDP has become the natural mesoscopic analogue of both the FCLT and the path-space LDP: it preserves the pathwise geometry of the underlying model while retaining the quadratic structure characteristic of Gaussian fluctuation theory.

## 6. Limitations, gaps, and boundary cases

The present theory is not uniform across all models, and several papers make the limitations explicit.

First, some results stop short of a full two-sided path-space principle. Part II of the hierarchical approach for uniformly splittable random fields proves an upper moderate-deviation estimate for box integrals, not a full MDP with a matching lower bound, and explicitly records a logarithmic gap in the scale \(|x|\lesssim \sqrt v/\log^d v\) [1706.00991]. Part I for splittable stationary processes proves a scalar MDP for long-time integrals only in the regime \((c\log r)^2/r\to 0\), and notes that the usual region \(c^2/r\to 0\) is not covered [1612.08396].

Second, several results are functional but not fully sample-path in the strongest sense. Part IV of the hierarchical series proves moderate deviations for random fields integrated against compactly supported continuous test functions; this is close to a functional MDP for the associated random signed measure, but it is not formulated as a full LDP on a measure space [1810.05673]. The same distinction reappears in box-integral results for splittable CMS random fields [1711.05247].

Third, model-specific boundary phenomena alter the structure of the rate. In the waiting-time-dependent queue, the positive-equilibrium and zero-equilibrium cases have different pathwise rate functions precisely because reflection disappears in the first case and persists through the generalized Skorokhod map in the second [2510.27226]. In multiscale McKean–Vlasov systems, Regime 1 and Regime 2 have different effective covariances because the fast noise survives only in the latter [2306.11569]. In the fBm-driven multiscale system, the action functional is generally discontinuous at \(H=1/2\), so the Brownian and fractional cases are not linked by a smooth parameter limit [2206.06794].

Finally, the boundary between sample-path and non-sample-path results remains methodologically important. Exact-distribution and combinatorial methods can prove sharp moderate-deviation asymptotics for scalar observables, as in the Maki–Thompson rumour model or Dyck-path maxima, without yielding a process-level theory [2605.08629], [1008.0606]. Conversely, path-space MDPs typically require exponential tightness, control representations, and continuity properties of the solution map that are absent from terminal-time analyses.

In this sense, the sample-path MDP is both broader and stricter than a scalar MDP: broader because it encodes full trajectory deviations, stricter because it demands a path-space topology, a good rate function on trajectories, and a proof architecture capable of controlling the entire evolution rather than a single endpoint.

Source: https://www.emergentmind.com/topics/sample-path-moderate-deviation-principle-mdp