# Gibbs-Non-Gibbs Transitions via Large Deviations: Computable Examples

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s10955-012-0523-9

- Cite this article as:
- Redig, F. & Wang, F. J Stat Phys (2012) 147: 1094. doi:10.1007/s10955-012-0523-9

## Abstract

We give new and explicitly computable examples of Gibbs-non-Gibbs transitions of mean-field type, using the large deviation approach introduced in (van Enter et al. in Mosc. Math. J. 10:687–711, 2010). These examples include Brownian motion with small variance and related diffusion processes, such as the Ornstein-Uhlenbeck process, as well as birth and death processes. We show for a large class of initial measures and diffusive dynamics both short-time conservation of Gibbsianness and dynamical Gibbs-non-Gibbs transitions.

### Keywords

Dynamical Gibbs-non-Gibbs transition Feng-Kurtz formalism Bad configurations Unique and non-unique histories## 1 Introduction

Starting from [12] dynamical Gibbs-non-Gibbs transitions have been considered by several authors, see e.g. [2, 9, 11]. In these studies, one considers lattice spin systems started from a Gibbs measure *μ* at time zero and evolves it according to a Markovian dynamics (e.g. Glauber dynamics) with stationary Gibbs measure *ν*≠*μ*. The question is then whether *μ*_{t}, the time-evolved measure at time *t*>0 is a Gibbs measure. Typically this is the case for short times, whereas for longer times, there can be transitions from Gibbs to non-Gibbs (loss) and back from non-Gibbs to Gibbs (recovery). The notion of a “bad configuration”, i.e., a point of essential discontinuity of the conditional probabilities of the measure *μ*_{t} is crucial here. Such a configuration *η*_{spec} is typically identified by looking at the joint distribution of the system at time 0 and at time *t*. If conditioned on *η*_{spec} the system at time zero has a phase transition, then typically *η*_{spec} is a bad configuration.

In the context of mean-field models, the authors in [6] started with an analysis of the most probable trajectories (in the sense of large deviations) of a system conditioned to arrive at time *T* at a given configuration. The setting of [6] is the Curie-Weiss model subjected to a spin-flip dynamics. A Gibbs-non-Gibbs transition is in this context rephrased as a phenomenon of “competing histories”, i.e., for special terminal conditions *x*_{spec} and times *T* not too small, multiple trajectories can minimize the rate function, and these trajectories can be selected by suitably approximating *x*_{spec}. Multiple histories were then shown to lead to jumps in conditional probabilities indicating non-Gibbsian behavior in the mean-field setting, see e.g. [5, 7, 14]. These special conditionings leading to multiple histories are the analogue of “bad configurations” (essential points of discontinuity of conditional probabilities of the measure at time *t*) in the (lattice) Gibbs-non-Gibbs transition scenario. This “trajectory-large-deviation approach” has then been studied in more generality, including the lattice case, in [13].

In this paper, we apply the trajectory-large-deviation approach in several examples, both for diffusion processes and for birth and death processes. This leads to new and explicitly computable Gibbs-non-Gibbs transitions of mean-field type. For processes of diffusion type, we first treat an explicit example for the rate function of the initial measure, and as dynamics Brownian motion with small variance or the Ornstein-Uhlenbeck process. In all cases, we obtain the explicit form of the conditioned trajectories, and explicit formulas for the bad configuration and the time at which it becomes bad. In the case of general Markovian diffusion processes in a symmetric potential landscape, we show under reasonable conditions short-time Gibbsianness as well as appearance of bad configurations at large times. Next, we treat the case of continuous-time random walk with small increments, as arises e.g. naturally in the context of (properly rescaled) population dynamics. In that case, the Euler-Lagrange trajectories can be explicitly computed for some particular choices of the “birth and death” rates. Constant birth and death rates are the analogue of the Brownian motion case, whereas linear birth and death rates are the analogue of the Ornstein-Uhlenbeck process, but in that case the cost of optimal trajectories becomes a much more complicated expression.

Our paper is organized as follows. In Sect. 2 we introduce some elements or the Feng-Kurtz formalism, and define the notion of bad configurations in the present setting. In Sect. 3 we treat diffusion processes with small variance, with an explicit form for the initial rate function. In Sect. 3.3 we treat the case of Brownian motion dynamics with different cases for the rate function of the initial measure. Finally, in Sect. 5, we treat one-dimensional random walks with small increments, such as rescaled birth and death processes.

## 2 The Feng-Kurtz Scheme, Euler-Lagrange Trajectories, Bad Configurations

^{d}, parametrized by a natural number

*n*. This parameter tunes the “amount of noise” in the process, i.e., as

*n*→∞, the process becomes deterministic, and the measure on trajectories satisfies the large deviation principle with rate

*n*and with a rate function of the form This means more precisely that to be interpreted in the usual sense of the large deviation principle with a suitable topology on the set of trajectories. The form (1) naturally follows from the Markov property.

Notice that the form of the rate function does not depend on the choice of this topology. So one usually starts with the weakest topology, i.e., the product topology, and then, if possible, strengthens the topology by showing exponential tightness. See [1] for an illustration of this strategy in the context of theorems like Mogulskii’s theorem.

Since in this paper we are only interested in finding out optimal trajectories, i.e., minimizers of the rate function over a set of trajectories with prescribed terminal condition and open-start condition, we will not have to worry about the strongest topology in which the large deviation principle (2) holds, but we are rather after (as explicit as possible) solutions of Euler-Lagrange problems associated to the rate function.

*L*, see also [13] for an illustration of this scheme in the large-deviation view on Gibbs-non-Gibbs transitions. First one computes the “Hamiltonian” where Open image in new window is the generator of the process \(\{X^{n}_{t}: 0\leq t\leq T\}\) (working on the

*x*-variable), where

*p*∈ℝ

^{d}is the “momentum” and where 〈.,.〉 denotes inner product. Under regularity conditions on Open image in new window (e.g. strict convexity), the associated Lagrangian is then given by the Legendre transform As an example, consider

*μ*

_{n}(depending on

*n*) on ℝ

^{d}, satisfying the large deviation principle with rate

*n*and rate function

*i*(

*x*), i.e., in the sense of large deviations, we assume

We continue now with the definition of a bad configuration in this framework. This is motivated by the definition of a bad configuration in the context of mean-field models [6], and can be viewed as the large-deviation rephrasing of “a phase transition at time zero conditioned on a special configuration at time *T*”.

### Definition 2.1

*b*∈ℝ

^{d}is bad at time

*T*if the following two conditions hold.

- 1.
Conditional on \(X^{n}_{T}=b\), \(X^{n}_{0}\) does not converge (as

*n*→∞) to a point-mass in distribution. - 2.
There exist two sequences \(b^{+}_{k}\to b\), \(b^{-}_{k}\to b\) and

*δ*>0 such that the variational distance between the distribution \(\mu(0,T;b^{+}_{k})\) of \(X^{n}_{0}|X^{n}_{T}=b^{+}_{k}\) and the distribution \(\mu(0,T;b^{-}_{k})\) of \(X^{n}_{0}|X^{n}_{T}=b^{-}_{k}\) is at least*δ*for*k*large enough.

The simplest example which follows also the most common scenario is where the distribution of \(X^{n}_{0}|X^{n}_{T}=b\) converges to \(\frac{1}{2}(\delta_{-a}+\delta_{a})\) and for *c*>*b*\(X^{n}_{0}|X^{n}_{T}=c\) converges to *δ*_{α(c)} where *α*(*c*)→*a* as *c*↓*b*, whereas for *c*<*b*\(X^{n}_{0}|X^{n}_{T}=c\) converges to *δ*_{α′(c)} where *α*′(*c*)→−*a* as *c*↑*b*. This means that conditioned to be at time *T* at location *b*, the process has two “favorite” initial spots, which can be “selected” by approaching *b* from the right or from the left.

This is the analogue of a phase transition, where the phases can be selected by appropriately approximating the bad configuration, see [12].

## 3 Diffusion Processes with Small Variance Conditioned on the Future

In this section we present examples where \(X^{n}_{t}\) is a diffusion process. We show also how from the large deviation approach we gain a new understanding of “short-time Gibbsianness” for a general class of drifts of the diffusion, or initial rate functions.

### 3.1 Brownian Motion

*n*) with a non-convex rate function having two minima at locations −

*a*,

*a*, with

*a*>0. More precisely, we consider the process

*μ*

_{n}such that, informally written,

*i*we make the explicit choice:

*a*,

*a*and maximum at

*x*=0 (

*i*(

*x*) with

*a*=2 is plotted in Fig. 1).

This specific choice is for the sake of *explicit analytic computability* but many results are true for a general class of rate functions that have a similar graph with two zeros located at −*a*,*a* and a maximum at zero.

More formally, we require that the sequence of initial probability measures {*μ*_{n},*n*∈ℕ} satisfies the large deviation principle with rate function *i* given by (8). Such rate functions arise naturally in the context of mean-field models with continuous spins and spin-Hamiltonian depending on the magnetization.

*γ*with initial point distributed according to

*μ*

_{n}and final point

*γ*

_{T}=0. More precisely, by application of Schilder’s theorem, the trajectory \(\{X^{n}_{t}: 0\leq t\leq T\}\) satisfies the LDP with rate function The optimal trajectory we are looking for is hence The Euler-Lagrange trajectories (extrema of the cost \(\frac{1}{2}\int_{0}^{T}\dot{\gamma}_{s}^{2} ds\) corresponding to Open image in new window) are linear in

*t*:

*γ*

_{T}=0, we have

*B*=−

*A*/

*T*.

*γ*

_{0}=

*A*: with

*α*. If

*α*≥0, then there is a unique minimum at

*A*=0, this case corresponds to

*α*<0 then there are two minima

*A*=

*A*

_{±}given by

We thus conclude that, as *n*→∞, the starting point is most probably 0 for small *T* and most (and equally) probably *A*_{±} for large *T*, which converges to ±*a* when *T*→∞. Hence we have non-uniqueness of histories.

*μ*(

*n*,

*T*,0) the distribution of \(X^{n}_{0}\) conditioned on \(X^{n}_{T}=0\). Then we have

- 1.Small times, unique history. If
*T*≤*T*_{crit}then$$\lim_{n\to\infty}\mu(n,T,0)=\delta_0 $$ - 2.Large times, non-unique history. If
*T*>*T*_{crit}then$$\lim_{n\to\infty}\mu(n,T,0)= \frac{1}{2}(\delta_{A^+}+ \delta_{A^-}) $$ - 3.Limit of large times$$\lim_{T\to\infty}\lim_{n\to\infty}\mu(n,T,0)\to\frac{1}{2}(\delta_{a}+ \delta_{-a}) $$

*A*+

*BT*=

*b*, i.e.,

*B*=(

*b*−

*A*)/

*T*. It has cost expressed in terms of the starting point

*γ*

_{0}=

*A*This is the cost function Open image in new window of (10) plus a linear term \(-\frac{b}{T}A +\frac{b^{2}}{2T} \). Minimization of Open image in new window leads to the equation

- 1.
*α*≥0, i.e.,*T*≤*T*_{crit}. Equation (14) has a unique real solution, corresponding to a unique minimum*A*_{b}of*E*_{b}(*A*). This minimum converges to zero as*b*→0. Hence, 0 is good for*T*≤*T*_{crit}. - 2.
*α*<0. Equation (14) has three real solutions. For*b*>0 we have one positive and two negative solutions. The positive solution denoted \(A(+,b,T)>\sqrt{-\alpha/2}\) gives the minimum. The negative solutions correspond to a maximum and a local minimum. For*b*<0 the situation is exactly the opposite: the unique negative solution \(A(-,b,T)<-\sqrt {-\alpha/2}\) correspond to the global minimum whereas the two positive solutions give a maximum and a local minimum. Hence 0 is bad for all*T*>*T*_{crit}.

*T*→∞ the positive, resp. negative minimum of the rate function of the distribution at time zero is selected by taking the right or left limit of the conditioning.

Summarizing our findings, let us denote Open image in new window the set of bad configurations then we have

### Theorem 3.1

- 1.
*Short times*:*no bad configurations*.*For*\(T \leq\frac{1}{4a^{2}}\), Open image in new window. - 2.
*Large times*:*unique bad configuration*.*For*\(T > \frac{1}{4a^{2}}\), Open image in new window.

### 3.2 Brownian Motion with Constant Drift

*V*>0 is treated similarly. The Euler-Lagrange trajectories are once more linear in

*t*, but the cost is now

*γ*

_{t}=

*A*+

*Bt*ending in

*γ*

_{T}=

*b*can be computed explicitly and gives

*b*=

*VT*we see that the cost is identical to the zero drift case conditioning to be at zero at time

*T*, and hence this is a bad point for

*T*>

*T*

_{crit}, where

*T*

_{crit}is the same critical time as for the zero drift case. The analysis around this bad point is identical. Notice that the “limiting deterministic dynamics” is \(\dot{x}= V\) and the bad point

*x*

_{spec}=

*VT*is precisely where this dynamics ends up at time

*T*when started from zero.

### 3.3 Other Rate Functions for the Initial Measure and Corresponding Behavior of Brownian Motion

*μ*

_{n}(

*dx*) satisfies the large deviation principle with rate function

*i*(

*x*). As a consequence, the minimizing trajectory to arrive at position

*b*at time

*T*is

*γ*

_{t}=

*Bt*+

*A*with

*B*=(

*b*−

*A*)/

*T*and has cost The following scenarios can then occur

- 1.
*i*(*A*)**is strictly convex**:**no bad configurations**. Indeed, in that case Open image in new window is also strictly convex (as a sum of two strict convex function) and hence has a unique minimum. In this scenario, there are no bad configurations, and the optimal conditioned trajectory is always unique. This corresponds to “high-temperature initial measure” and “infinite-temperature dynamics”, which always conserves Gibbsianness. - 2.
**Initial field**:**loss without recovery**,**with a**“**compensating**”**bad configuration**. As an example we can take*i*(*A*)=(*A*^{2}−*a*^{2})^{2}+*A*+*r*. For*a*>1, this rate function has one local minimum in the vicinity of*x*=*a*, a maximum in the vicinity of*x*=0 and its (absolute) minimum in the vicinity of*x*=−*a*. This corresponds to an initial field (favorizing the minimizer*x*=−*a*).*i*(*A*) with*a*=2 with*r*=2.01539 is plotted in Fig. 2. The minimization of Open image in new window leads to the equationBy an analysis of (16) similar for (14), we obtain that there is no bad point when \(T\leq T_{\mathit{crit}}=\frac{1}{4a^{2}}\), but$$ 4A^3+2\alpha(a,T) A = \frac{b}{T} - 1 $$(16)*b*=*T*is bad for all*T*>*T*_{crit}. The bad point “compensates” the initial field, and therefore has to become larger (and positive) when time*T*increases. - 3.
**Non-symmetric rate function**. To see that the symmetry of the initial rate function is not a necessary requirement to produce bad configurations, we have the following example. Let*i*(*A*)=7*A*^{6}−24*A*^{5}+9*A*^{4}+38*A*^{3}−42*A*^{2}+40 (see Fig. 3). This rate function has two global minima at*A*=−1 and*A*=2 and one maximum at*A*=0. The cost function corresponding to trajectories arriving at*b*at time*T*is For fixed*b*, and*T*large enough, this function has two local minima, located at*A*^{1}(*b*,*T*)<*A*^{2}(*b*,*T*). Let us denote, for fixed*T*, If as a function of*b*,*D*_{T}changes sign, by continuity, there must be a value of*b*^{∗}where*D*_{T}(*b*^{∗})=0, i.e., where the minima of Open image in new window are at equal height. This*b*^{∗}is then a bad point at time*T*. For*T*=1 we have*D*_{T}(0.499)≈−0.00182497<0 and*D*_{T}(0.4999)≈0.000868034>0, so at*T*=1, there is a bad point at*b*^{∗}∈(0.499,0.4999). We observe that*b*^{∗}is*T*dependent and tends to 0.5 as*T*increases. From numerical computation, we have*b*^{∗}∈(0.4999,0.49999) for*T*=4,*b*^{∗}∈(0.49999,0.499999) for*T*=39 and*b*^{∗}∈(0.499999,0.4999999) for*T*=1000. - 4.
**General symmetric rate function**. For*any rate function**i*(*A*)*which is symmetric with respect to**x*=0 and which has minima for*A*≠0,*b*=0 is bad when*T*is large enough. Indeed, the cost to arrive at 0 is from (15): \(i(A)+\frac{A^{2}}{2T}\) which has a non zero minimum as soon as*T*is large enough. - 5.
**General short-time Gibbsianness**. For*every rate function**i**which is twice differentiable and its second derivative is continuous and bounded from below*, we show that for*T*small enough there is a unique minimum*A*_{b}of Open image in new window. This is the analogue of “short-time” Gibbsianness obtained in the lattice case via cluster expansions [10] or conditional Dobrushin uniqueness [8] and can be proved as follows.We look at the equation (see (15))$$ i'(A)=-\frac{A}{T}+\frac{b}{T}=:f(A) $$(17)Put*d*=inf_{A}*i*″(*A*). Then we conclude, forthat (17) has only one real solution$$ T<-\frac{1}{d} $$(18)*A*_{b}. Indeed, look at any two adjacent intersection points*A*_{1}and*A*_{2}of*i*′(*A*) and*f*(*A*) if there were more than one real solution for (17). By the intermediate value theorem, we getThis is a contradiction. And further because \(i''(A_{b})>-\frac{1}{T}\), we have Therefore$$ \min\bigl(i''(A_1),i''(A_2) \bigr)<-\frac{1}{T}<d=\inf_{A}i''(A) $$(19)*A*_{b}is a minimum. - 6.
**Non-Gibbsianness for all times**. An example where*b*=0 is bad for all*T*>0 is*i*(0)=0, \(i(A)=\int_{0}^{|A|}|x|\cos^{2}\frac {1}{x} dx\) for*A*≠0. This follows from the facts that*i*″(*A*) is not bounded from below when*A*→0 and*i*(*A*) is symmetric about*A*=0. To see that indeed for all*T*>0, the value 0 is a bad point, we see that the line*f*(*A*)=−*A*/*T*always intersects the graph of the derivative of the rate function.

### Remark 3.1

In order to understand better the connection between our large deviation based notion of badness, and badness in the sense of conditional probabilities in the mean-field setting, we first remark that the initial measure \(\mu_{n}(x)\approx e^{-ni_{0}(x)} dx\) can be produced as follows.

^{n}

*α*

_{n}, the “average magnetization” \(\overline{x}_{n}=(1/n)\sum_{i=1}^{n} x_{i}\) satisfies the large deviation principle with rate function \(\tilde{\i}(x)= x^{2}/2\). If we tilt the a priori measure

*α*

_{n}with the function \(F= F(\overline{x}_{n})\), i.e., if we consider the measure

Next, if we start (*x*_{,}…,*x*_{n}) from this measure \(\mu^{F}_{n}\) and apply independent Brownian motions \((W^{1}_{t},\ldots,W^{n}_{t})\), then the “magnetization” at time *t*>0 exactly evolves as the process \(X^{n}_{t}\) in (6).

Therefore, if we have at least two optimal trajectories conditioned to arrive at a certain magnetization *m*^{∗} at time *T*>0, and these trajectories can be selected by approximating the magnetization appropriately, then we have an essential discontinuity at *m*=*m*^{∗} of the conditional distribution \(m\mapsto\mu^{F}_{n}(t) (dx_{1}|m)\) as a function of the magnetization \(m= (1/n)\sum_{i=2}^{n} x_{i}\). Such a discontinuity is referred to as non-Gibbsianness in the mean-field context, see [5, 7] for more details.

## 4 The Ornstein-Uhlenbeck Process

*γ*

_{T}=0 we have

*B*=0 of the cost function Open image in new window for

*T*>

*T*

_{crit}, 0 becomes the unique bad point for this process.

*b*at time

*T*can also be expressed as a function of the starting point

*γ*

_{0}, which gives the explicit expression

### 4.1 The Ornstein-Uhlenbeck Process with Constant External Field

*E*>0 is a constant representing a (constant) external field. As rate function of the initial measure we choose as before (8). The cost of the trajectory is now given by \(\int_{0}^{T} L (\gamma_{s},\dot{\gamma}_{s}) ds\) with \(L (\gamma_{s},\dot {\gamma}_{s}) = (\dot{\gamma_{s}} +\kappa\gamma_{s}-E)^{2}\). The Euler-Lagrange trajectories are of the form

*A*

^{2}(

*e*

^{2κT}−1). From this, we derive that the total cost of a trajectory to end up at time

*T*in

*γ*

_{T}=

*b*is given, as a function of

*γ*

_{0}, by The same analysis can then be performed. The “critical” time at which a unique bad point starts to appear is the same as in the zero-field case, i.e., given by (24). This bad point is given by

*x*

_{0}=0. Notice that total cost to arrive at this bad point

*b*is given by

*γ*

_{0}=0. Moreover, for

*T*large the path cost contribution which is equal to \(\frac{\kappa\gamma_{0}^{2}}{e^{2\kappa T}-1}\) vanishes exponentially fast, and hence for large

*T*two minima exist.

*b*are starting from

*b*

^{+}>

*b*, resp.

*b*

^{−}<

*b*, and letting

*b*

^{+}→

*b*, resp.

*b*

^{−}→

*b*. Here we plot a limiting process with

*a*=2,

*κ*=0.7,

*T*=30, hence \(\gamma_{0}^{+}\approx2.0\), and a corresponding conditioned process with

*E*=0.1, hence

*b*≈0.142857, see Fig. 4.

### 4.2 General Drift

*f*(

*x*) and variance \(\frac{1}{n}\), i.e., the solution of

*f*:ℝ→ℝ to be Lipschitz, and odd:

*f*(−

*x*)=−

*f*(

*x*). For the rate function of the initial point \(X^{n}_{0}\) we choose as before (7), (8). The rate function of the trajectory is now given by and the minimization problem for the optimal trajectory ending at zero

*γ*

_{T}=0 becomes now to find The Euler-Lagrange equations for minimal cost trajectories are given by

*U*satisfying

*U*′=−

*ff*′, which gives as a possible choice \(U= -\frac{1}{2} f^{2}\). Notice that this formal potential

*U*has no physical meaning, but we need it if we want to translate the framework of the Euler-Lagrange equations to Hamilton equations. Indeed, the corresponding Hamiltonian is

*γ*

_{0}and

*E*as parameters. The terminal condition gives then a relation between

*E*and

*γ*

_{0}. Notice that the trajectory of zero-energy,

*E*=0,

*γ*≡0 is always a solution since

*f*(0)=0. We want to show that under some reasonable assumptions, for

*T*small, it is the only solution. For this we make the following assumptions. Call Open image in new window the collection of all trajectories

*γ*:[0,

*T*]→ℝ ending at 0, i.e., with

*γ*

_{T}=0 and with “energy”

*E*, i.e., such that

*t*≤

*T*. We impose now the following conditions.

- 1.There exist a function
*φ*:ℝ→[0,∞) and*T*_{0}>0 and a constant*C*>0 such that*φ*(0)=0,*φ*(*E*)>0 for \(E\not=0\) such that for all*T*≤*T*_{0}and for all Open image in new window, \(\gamma_{0}\dot{\gamma}_{0}<0\),and$$ |\dot{\gamma}_0|\geq\varphi(E) $$(33)$$ |\gamma_0| \leq C\varphi(E) T $$(34) - 2.
The drift function

*f*is locally monotone around 0, i.e., there exist*x*_{0}such that*f*restricted to [0,*x*_{0}], [−*x*_{0},0] is monotone.

*T*is small, and one wants to end at

*γ*

_{T}=0 from

*γ*

_{0}>0, then the derivative at zero should be negative, or vice versa. The second part of the condition states that there exist lower bounds for the derivative and upper bounds for

*γ*

_{0}.

Coming back to the previous examples: for the Brownian motion case, for all Open image in new window we have \(\gamma_{t}= \pm\sqrt{2E} (t-T)\) hence and for Open image in new window we have \(\gamma_{0}= \mp\sqrt{2E}T\), \(\dot{\gamma}_{0}=\pm\sqrt{2E}\), and we can choose \(\varphi(E)= \sqrt{2E}\). For the Ornstein-Uhlenbeck case we have *γ*_{t}=*B*(*e*^{−κt}−*e*^{−κ(2T−t)}), *E*=−2*ABα* and if *γ*_{T}=0 we find \(\gamma_{0}= \sqrt{2E/\kappa} \sinh(\kappa T)\), \(\dot{\gamma}_{0}= -\sqrt{2E/\kappa} \cosh(\kappa T)\) which clearly satisfies the conditions, with the \(\varphi=\sqrt {2E/\kappa}\).

*γ*

_{0}>0: which is clearly a contradiction for

*T*sufficiently small. Hence for

*T*sufficiently small, there do not exist

*E*≠0 with

*γ*∈

*S*

_{T}(

*E*). As a consequence, under these assumptions, for small

*T*the zero trajectory is the only solution of the minimization problem (29).

*x*

_{0}>0,

*T*large enough that there exists \(x_{0}\not = 0\) and a trajectory

*γ*starting from

*x*

_{0}such that

*i*(

*x*

_{0})<

*i*(0)/2 and

*γ*clearly has lower cost than the zero trajectory, and by symmetry, −

*γ*is a trajectory with identical cost. Therefore, 0 becomes a bad point.

## 5 Approximately Deterministic Walks in *d*=1

*X*

_{0}=

*x*, makes increments of size ±1/

*N*with rates

*Nb*(

*x*), resp.

*Nd*(

*x*). In other words, \(X^{N}_{t}\) is a Markov process on ℝ with generator

Such walks arise naturally in the context of population dynamics, see e.g. [3]. The notation *b*(*x*) and *d*(*x*) is also reminiscent of this interpretation and we will call these quantities birth resp. death rates.

We ask then the same large deviation question, i.e., we start the process \(X^{N}_{t}\) from an initial distribution *μ*_{N} satisfying the large deviation principle with rate function (8)—or some natural modification of it if we have to restrict the state space—and look for the minimizing trajectory(ies) that end at time *T* at the origin (or at a more general bad point if the dynamics has a drift, see later).

*x*,

*p*) we have the Hamilton equations, together with the terminal condition and the open-start condition corresponding to the choice of the distribution of \(X^{N}_{0}\).

*i*

_{0}is the quartic rate function from (8). The total “energy” is a constant of motion along minimizing trajectories, so we put

*H*(

*x*,

*p*)=

*E*and we can rewrite the Hamilton equations (41)

*u*=

*e*

^{p}. This leads to

*x*

_{0},

*E*). Zero-energy correspond to the “typical trajectory” following the limiting differential equation \(\dot{x}= b(x)-d(x)\), which means that the cost of the Lagrangian part of the rate function is zero, and only the cost due to the starting point

*x*

_{0}has to be paid. Non-zero energy trajectories have a strictly positive cost of the Lagrangian part of the rate function. The additional terminal condition

*X*

_{T}=

*b*will eliminate one of these variables (e.g.

*E*), so that we can think of the cost of the trajectory as a function of a single variable (e.g.

*x*

_{0}).

We now concentrate on three important particular cases.

### 5.1 Constant Birth and Death Rates

If *b* and *d* do not depend on *x*, then the equation for the momentum shows that *p*_{t}=*C*, hence we have linear Euler-Lagrange trajectories, and correspondingly the same analysis and phenomena as in the Brownian motion case of the previous section.

### 5.2 Mean-Field Independent Spin Flips

A special case, corresponding to independent spin-flip dynamics is *b*(*x*)=(1−*x*), *d*(*x*)=(1+*x*). Moreover, the *x*-variable is now restricted to [−1,1]. As in the case *x*∈ℝ we assume that initially, *x*_{0} is distributed according to a measure *μ*_{n}(*dx*) on [−1,1] satisfying the large deviation principle with the non-convex rate function (8) for *x*∈[−1,1] and +∞ otherwise. In particular, *a*∈(0,1).

*p*, and the simple second order equation for

*x*: to

*C*

_{1},

*C*

_{2}are determined by the open-start condition and the terminal condition. This case was treated before in the context of the Curie-Weiss model subjected to independent spin flips in [6, 10].

*x*, using that

*x*

_{T}=0:

*E*=0) yields

*x*

_{t}=0. The relation between the energy, initial position and initial momentum is

*E*. For small

*T*>0,

*T*. For large

*T*, a non-zero energy solution exists, yielding two symmetrically solutions for

*x*

_{0}.

*C*

_{T}(

*γ*

_{0}) of a trajectory starting at

*γ*

_{0}ending up at time

*T*at

*b*=0 has the following important properties

- 1.
Symmetry:

*C*_{T}(−*γ*_{0})=*C*_{T}(*γ*_{0}) - 2.
Small time behavior: lim

_{T→0}*C*_{T}(*γ*_{0})=∞ for all*γ*_{0}≠0 - 3.
Large time behavior: lim

_{T→∞}*C*_{T}(*γ*_{0})=0 for all*γ*_{0}

*T*there are no bad points, and for large

*T*zero is the unique bad point. Notice that contrary to the Curie-Weiss model situation analyzed in [6] there are no non-neutral (non-zero) bad configurations due to the fact that the rate function of the initial measure is here simply a fourth-order polynomial.

### 5.3 Independent Spin-Flips in a Field

*b*(

*x*)=

*γ*(1−

*x*),

*d*(

*x*)=(1+

*x*),

*x*∈[−1,1]. Here

*γ*>1 corresponds to a bias in the plus direction (positive magnetic field). The limiting deterministic trajectory is given by

*x*

_{0}.

*E*, the solution for

*x*is of the form

*C*is an integration constant.

### Remark 5.1

- 1.
Remark that for

*E*=0*C*_{3}=(*γ*−1)(1+*γ*)^{−1}which corresponds to the limiting value of the zero-energy trajectory. - 2.
If

*γ*=1, and*E*≠0 we find*C*_{3}=0 and recover the solution of the form*C*_{1}*e*^{2t}+*C*_{2}*e*^{−2t}corresponding to the optimal trajectories of the independent spin-flip dynamics.

*T*at

*x*

_{T}=

*b*and starting from

*x*

_{0}=

*γ*

_{0}is

*δ*=(1+

*γ*) and where

*C*

_{3}is given in (50). Notice the analogy with the case of the Ornstein-Uhlenbeck process in a constant field (27). As in that case, the bad point is time-dependent and given by

*T*when started from

*x*

_{0}=0. The trajectory cost

*C*

_{T}(

*γ*

_{0}) to arrive at this bad point satisfies the same properties as the trajectory cost

*C*

_{T}(

*γ*

_{0}) of the previous subsection (zero-field case). Hence, for

*T*large two minimizing

*γ*

_{0}of the total cost function appear which correspond to two optimal trajectories.

## Acknowledgement

We thank Aernout van Enter and Olaf de Leeuw for useful discussions and suggestions.

### Open Access

This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.