Local Large Deviation Principle

• Local Large Deviation Principle is a framework that identifies exponential asymptotics for probabilities in shrinking neighborhoods around specific points or paths.
• It employs truncated cumulant generating functions and relaxed Gärtner–Ellis conditions to handle non-classical tail behaviors and non-convex rate functions.
• Applications span birth-death processes, stochastic partial differential equations, and random graphs, offering insights into conditional and pathwise asymptotic evaluations.

Searching arXiv for recent and foundational papers on local large deviation principles and closely related formulations. Search 1: papers explicitly on "local large deviation principle". Search 2: general random-process LLDP framework and necessity/sufficiency criteria. Search 3: representative applications across stochastic processes, SPDEs, graphs, and dynamics. The local large deviation principle (LLDP) is a localized form of large deviation theory that identifies exponential asymptotics for probabilities of shrinking neighborhoods around fixed points, increments, paths, or empirical objects, rather than for arbitrary open or closed sets in a whole state space. In a basic formulation for random vectors $\{\zeta_T\}_{T\ge 0}\subset\mathbb R^d$, the LLDP requires that

$$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$

for every $\alpha\in\mathbb R^d$ and for $\varepsilon_T\to 0$ slowly enough, where $D$ is the local rate function (Borovkov, 24 Apr 2026). Recent work extends this pointwise formulation to conditional increments, finite-dimensional distributions, and full trajectories of general stochastic processes, using conditional logarithmic moment generating function asymptotics and Legendre transforms in a Gärtner–Ellis-type framework (Borovkov et al., 30 Apr 2026).

1. Definition and formal structure

For a family $\{\zeta_T\}_{T\ge 0}$ of random vectors in $\mathbb R^d$, the LLDP is defined by the pair of limits

$$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$

$$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$

for every $\alpha\in \mathbb R^d$, where $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$0 and $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$1, $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$2 (Borovkov, 24 Apr 2026). An equivalent formulation uses any $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$3 “slowly enough,” meaning that there exists some $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$4 such that the statement holds for $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$5, and then holds for every $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$6 with $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$7 for some $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$8 (Borovkov, 24 Apr 2026).

This is a local statement in the precise sense that it concerns shrinking neighborhoods of a prescribed point. It is therefore weaker than a full LDP over arbitrary Borel sets unless additional tail control is available. Once the LLDP holds, the rate function $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$9 is automatically lower semicontinuous (Borovkov, 24 Apr 2026).

The same localization idea appears in path space. For a rescaled process $\alpha\in\mathbb R^d$0 on $\alpha\in\mathbb R^d$1, one studies probabilities of the form $\alpha\in\mathbb R^d$2, where $\alpha\in\mathbb R^d$3 is the $\alpha\in\mathbb R^d$4-neighborhood of $\alpha\in\mathbb R^d$5 in a chosen metric, often the uniform metric on $\alpha\in\mathbb R^d$6 (Borovkov et al., 30 Apr 2026). In that setting, the LLDP describes the exponential cost of following a prescribed trajectory rather than merely reaching a prescribed terminal value.

2. Truncated cumulant functions and the relaxed Gärtner–Ellis paradigm

A central structural result is that the correct local analogue of the scaled cumulant generating function is not the full moment generating function, but a truncated one. If the LLDP holds for $\alpha\in\mathbb R^d$7 with rate function $\alpha\in\mathbb R^d$8, then for $\alpha\in\mathbb R^d$9 slowly enough the limit

$\varepsilon_T\to 0$0

exists for every $\varepsilon_T\to 0$1, and equals the Legendre–Fenchel transform

$\varepsilon_T\to 0$2

(Borovkov, 24 Apr 2026). Conversely, if this truncated limit exists and $\varepsilon_T\to 0$3 is essentially smooth, then the LLDP holds with rate function

$\varepsilon_T\to 0$4

The result is described as a “relaxed version” of the Gärtner–Ellis theorem because it avoids the restrictive exponential integrability assumptions required for the full cumulant generating function (Borovkov, 24 Apr 2026).

The truncation is the decisive feature. It ignores remote tails, which are irrelevant for local probabilities but can make $\varepsilon_T\to 0$5 infinite. One example given in the literature has

$\varepsilon_T\to 0$6

yet the LLDP still holds, and even the LDP holds because the tail is exponentially tight (Borovkov, 24 Apr 2026). The local theory is therefore compatible with distributions that lie outside the reach of the classical Gärtner–Ellis theorem.

The regularity condition is the standard convex-analysis notion of essential smoothness. A convex function $\varepsilon_T\to 0$7 is essentially smooth if $\varepsilon_T\to 0$8, $\varepsilon_T\to 0$9 is differentiable on $D$0, and $D$1 whenever $D$2 converges to a boundary point of $D$3 (Borovkov, 24 Apr 2026). Unlike the classical Gärtner–Ellis theorem, the sufficient condition for the LLDP does not require $D$4, because the local problem does not require a global upper bound over unbounded sets (Borovkov, 24 Apr 2026).

A further distinction from classical convex large deviation theory is that an LLDP rate function need not be convex. When $D$5 is non-convex, $D$6 can still exist, but without essential smoothness one may have $D$7; in that case $D$8 is the largest convex lower semicontinuous minorant of $D$9 (Borovkov, 24 Apr 2026).

3. Conditional, finite-dimensional, and functional LLDPs for processes

A general process-level framework is developed for a real-valued stochastic process $\{\zeta_T\}_{T\ge 0}$0 with trajectories in $\{\zeta_T\}_{T\ge 0}$1 (Borovkov et al., 30 Apr 2026). The basic object is the rescaled variable $\{\zeta_T\}_{T\ge 0}$2, and later the rescaled path

$\{\zeta_T\}_{T\ge 0}$3

The key hypothesis is a uniform asymptotic conditional logarithmic moment generating function for increments. In one formulation, for any fixed $\{\zeta_T\}_{T\ge 0}$4, any $\{\zeta_T\}_{T\ge 0}$5, and any $\{\zeta_T\}_{T\ge 0}$6,

$\{\zeta_T\}_{T\ge 0}$7

uniformly over $\{\zeta_T\}_{T\ge 0}$8, where $\{\zeta_T\}_{T\ge 0}$9 and

$\mathbb R^d$0

(Borovkov et al., 30 Apr 2026). The function $\mathbb R^d$1 is assumed convex and essentially smooth, and its Legendre transform

$\mathbb R^d$2

is the local rate function (Borovkov et al., 30 Apr 2026).

Under this assumption, the uniform conditional LLDP for increments states that there exists a sequence $\mathbb R^d$3 such that

$\mathbb R^d$4

uniformly on $\mathbb R^d$5, for any fixed $\mathbb R^d$6 and $\mathbb R^d$7 (Borovkov et al., 30 Apr 2026). This is a genuinely conditional and local statement: the neighborhood around $\mathbb R^d$8 shrinks, and the estimate is uniform over histories for which the current macroscopic state is close to $\mathbb R^d$9.

The increment LLDP extends to finite-dimensional distributions of $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$0. For a partition $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$1 with $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$2, one obtains

$$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$3

uniformly on

$$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$4

where $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$5 is the event that the $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$6-th increment average lies in an $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$7-neighborhood of $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$8 (Borovkov et al., 30 Apr 2026). Each subinterval contributes additively to the exponent.

At path level, the state space is $$\lim_{\varepsilon \searrow 0}\liminf_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$9 with the uniform metric

$$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$0

For absolutely continuous $$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$1, the action is

$$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$2

For general $$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$3, the deviation integral is

$$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$4

and the paper notes that it can be represented as $$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$5, where $$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$6 is the piecewise linear interpolation along a partition (Borovkov et al., 30 Apr 2026). Under the conditional mgf assumption one obtains the upper bound

$$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$7

uniformly on $$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$8. If an additional oscillation condition is imposed,

$$\lim_{\varepsilon \searrow 0}\limsup_{T\to\infty}\frac1{T}\ln \mathbf P(\zeta_T \in (\alpha)_\varepsilon) = - D(\alpha),$$9

with $\alpha\in \mathbb R^d$0 and $\alpha\in \mathbb R^d$1, then the matching lower bound holds and hence

$\alpha\in \mathbb R^d$2

(Borovkov et al., 30 Apr 2026). The same scheme extends to triangular arrays $\alpha\in \mathbb R^d$3 (Borovkov et al., 30 Apr 2026).

4. Representative models and explicit local rate functions

The LLDP has been established in markedly different settings, and the form of the local event depends on the model.

Setting	Local event	Rate statement
Inhomogeneous birth-death process	$\alpha\in \mathbb R^d$4	$\alpha\in \mathbb R^d$5 or $\alpha\in \mathbb R^d$6; $\alpha\in \mathbb R^d$7, $\alpha\in \mathbb R^d$8, or $\alpha\in \mathbb R^d$9, according to the cases $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$00, $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$01, or $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$02 (Vvedenskaya et al., 2018)
Wiener process with random resetting	$$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$03	speed $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$04; $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$05 on $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$06 or $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$07 (Logachov et al., 2019)
Typed random graph	$$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$08	$$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$09, with $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$10 if $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$11 and $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$12 are sub-consistent (Doku-Amponsah, 2017)
Mixing Smale space with conditional Gibbs measure on $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$13	$$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$14 or $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$15	speed $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$16; $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$17 on $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$18, $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$19 otherwise (Parmenter, 1 Oct 2025)

These examples illustrate that the “locality” may refer to a uniform path neighborhood, a neighborhood of an empirical profile, or a leafwise conditional measure in a hyperbolic system. In the birth-death model, the result gives rough exponential asymptotics for excursions of a rescaled trajectory near a prescribed nonnegative continuous path, with the dominant polynomial growth of the birth or death rate fixing both speed and action (Vvedenskaya et al., 2018). In the resetting model, the reset mechanism changes the proof but not the leading action: for positive or negative excursions the rate remains the Brownian action $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$20 (Logachov et al., 2019).

Graph models supply two different local structures. For typed random graphs, the empirical locality measure has an LLDP with relative-entropy rate $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$21, where $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$22 is an explicit product-Poisson reference law induced by the prescribed empirical type and link measures (Doku-Amponsah, 2017). For marked SINR graphs, a spectral potential

$$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$23

is used to derive an LLDP and then a conditional LDP for the empirical connectivity measure given the empirical marked measure, at speed $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$24 (Sakyi-Yeboah et al., 2019).

Not all localized principles are full upper-and-lower LLDPs. For generalized multiple intersection local times of multidimensional Brownian motion, the estimate is a local upper bound on closed cylindrical sets: $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$25 with $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$26 on the Cameron–Martin space (Dorogovtsev et al., 2024). For randomly forced nonlinear wave equations with localized damping, the level-2 LDP for empirical measures has a full upper bound but a lower bound only on open sets intersected with a distinguished subset $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$27 of equilibrium states, which is why the result is described as having a lower bound “of a local type” (Chen et al., 2024).

5. Relation to full large deviation principles, topology, and tightness

The LLDP is weaker than a full LDP unless supplemented by tail control. A precise relationship is available: if the LDP holds, then the LLDP holds with the same rate function; conversely, LLDP plus exponential tightness implies the LDP (Borovkov, 24 Apr 2026). This equivalence explains why local asymptotics sometimes suffice to recover a global theory and sometimes do not.

In some models the LLDP is explicitly upgraded to a full LDP by standard compactness and covering arguments. For typed random graphs, the local entropy asymptotics for neighborhoods of the empirical locality law yield the full LDP for the same object, and in the Erdős–Rényi specialization the rate reduces to the entropy relative to the Poisson law $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$28 under the mean constraint $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$29 (Doku-Amponsah, 2017).

In other settings the local form is intrinsic. For inhomogeneous birth-death processes, a standard full LDP in the Skorokhod space is generally unavailable except in the homogeneous case $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$30, because the family is not exponentially dense (Vvedenskaya et al., 2018). For Wiener process with random resetting, no full LDP in the Skorokhod $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$31 topology is claimed, because the family is not exponentially tight there; the result is instead local and based on the uniform metric (Logachov et al., 2019). For the locally damped wave equation, the lack of smoothing effect leads to the introduction of asymptotic exponential tightness, which is weaker than classical exponential tightness and supports only a local lower bound (Chen et al., 2024).

The topology of the local neighborhood is model-dependent. Euclidean neighborhoods $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$32 are natural for random vectors (Borovkov, 24 Apr 2026). Uniform neighborhoods in $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$33 are used for pathwise results in general stochastic processes, birth-death processes, and resetting models (Borovkov et al., 30 Apr 2026, Vvedenskaya et al., 2018, Logachov et al., 2019). Weak neighborhoods of empirical measures are used in graph models (Doku-Amponsah, 2017). In hyperbolic dynamics, the same rate function as in the global theory can appear, but with probabilities computed under conditional Gibbs measures supported on local unstable leaves rather than under the global equilibrium state (Parmenter, 1 Oct 2025).

6. Terminology, adjacent usages, and common sources of confusion

The phrase “local large deviation principle” is not used uniformly across the literature. In the canonical probabilistic sense, “local” refers to shrinking neighborhoods around a point, increment, path, or empirical measure, as in the random-vector and random-process formulations above (Borovkov, 24 Apr 2026, Borovkov et al., 30 Apr 2026). In Smale spaces, the deviation statement is local because it is taken with respect to conditional Gibbs measures on local unstable manifolds, even though the rate function remains the standard entropy-pressure functional (Parmenter, 1 Oct 2025).

In nearby areas, “local” may refer to the observable rather than the deviation principle. Branching Brownian motion studies the local mass $$\lim_{T\to\infty}T^{-1}\ln \mathbf P(|\zeta_T-\alpha|<\varepsilon_T)=-D(\alpha)$$34, meaning the number of particles in a bounded region or moving ball, and derives large deviation asymptotics for atypically small local mass (Öz, 2018). Random walk among random conductances studies local times and proves an annealed LDP for normalized occupation measures in a finite domain (König et al., 2011). These are closely related subjects, but they are not LLDPs in the shrinking-neighborhood sense.

A separate source of ambiguity appears in SPDE and SDE titles involving “locally monotone,” “fully local monotone,” or “localized conditions.” In those works the established deviation result is a Freidlin–Wentzell or Wentzell–Freidlin LDP, while “local” describes the coefficient hypothesis rather than the large deviation principle. One paper states explicitly that it does not develop a separate “local large deviation principle” and that the word “local” refers to the monotonicity structure of the SPDE (Xiong et al., 2016). Related results cover fully local monotone coefficients, multiplicative noise, Lévy noise, and gradient-dependent noise in Gelfand-triple frameworks (Kumar et al., 2022, Hong et al., 2024, Pan et al., 2022).

This suggests that the LLDP is best understood not as a single theorem with a universal formalism, but as a localization scheme inside large deviation theory. In one branch, it sharpens pointwise or pathwise asymptotics through shrinking neighborhoods and truncated cumulant functions (Borovkov, 24 Apr 2026). In another, it supplies conditional or leafwise analogues of classical global principles (Borovkov et al., 30 Apr 2026, Parmenter, 1 Oct 2025). Across applications, its distinguishing feature is always the same: it resolves the exponential cost of being near a prescribed local configuration, rather than the cost of belonging to a broad set.