Abstract
In this note we study metastability phenomena for a class of long-range Ising models in one-dimension. We prove that, under suitable general conditions, the configuration \(\mathbf {-1}\) is the only metastable state and we estimate the mean exit time. Moreover, we illustrate the theory with two examples (exponentially and polynomially decaying interaction) and we show that the critical droplet might be macroscopic or mesoscopic, according to the value of the external magnetic field.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Metastability is a dynamical phenomenon observed in many different contexts, such as physics, chemistry, biology, climatology, economics. Despite the variety of scientific areas, the common feature of all these situations is the existence of multiple, well-separated time scales. On short time scales the system is in a quasi-equilibrium within a single region, while on long time scales it undergoes rapid transitions between quasi-equilibria in different regions. A rigorous description of metastability in the setting of stochastic dynamics is relatively recent, dating back to the pioneering paper [9], and has experienced substantial progress in the last decades. See [1, 4, 5, 27, 28] for reviews and for a list of the most important papers on this subject.
One of the big challenges in rigorous study of metastability is understanding the dependence of the metastable behaviour and of the nucleation process of the stable phase on the dynamics. The nucleation process of the critical droplet, i.e. the configuration triggering the crossover, has been indeed studied in different dynamical regimes: sequential [6, 13] vs. parallel dynamics [2, 11, 14]; non-conservative [6, 13] vs. conservative dynamics [19,20,21]; finite [7] vs. infinite volumes [8]; competition [15, 16, 23, 29] vs. non-competition of metastable phases [12, 17]. All previous studies assumed that the microscopic interaction is of short-range type.
The present paper pushes further this investigation, studying the dependence of the metastability scenario on the range of the interaction of the model. Long-range Ising models in low dimensions are known to behave like higher-dimensional short-range models. For instance in [10, 22] (and later generalized by [3, 24]) it was shown that long-range Ising models undergo a phase transition already in one dimension, and this transition persists in fast enough decaying fields. Furthermore, Dobrushin interfaces are rigid already in two dimensions for anisotropic long-range Ising models, see [18].
We consider the question: does indeed a long-range interaction change substantially the nucleation process? Are we able to define in this framework a critical configuration triggering the crossover towards the stable phase? In [26] the author already considered the Dyson-like long-range models, i.e. the one-dimensional lattice model of Ising spins with interaction decaying with a power \(\alpha \), in a external magnetic field. Despite the long-range potential, the author showed, by instanton arguments, that the system has a finite-sized critical droplet.
In this manuscript we want to make rigorous this claim for a general long-range interaction, showing as well that the long-range interaction completely changes the metastability scenario: in the short–range one-dimensional Ising model a droplet of size one, already nucleates the stable phase. We show instead that for a given external field h, and pair long-range potential J(n), we can define a nucleation droplet which gets larger for smaller h. For \(d=1\) finite-range interactions, inserting a minus interval of size \(\ell \) in the plus phase costs a finite energy, which is uniform in the length of the interval, the same is almost true for a fast decaying interaction, as there is a uniform bound on the energy an interval costs. Thus, for low temperature, there is a diverging timescale and we will talk also in this case (maybe by abuse of terminology) of metastability. The spatial scale of a nucleating interval, however, defined as an interval which lowers its energy when growing, is finite for finite-range interactions, but diverges as \(h\rightarrow 0\) for infinite-range. The Dyson model has energy and spatial scale of the nucleating droplet diverging as h goes to zero. We will show that, depending on the value of h, the critical droplet can be macroscopic or mesoscopic. Roughly speaking, an interval of minuses of length \(\ell \) which grows to \(\ell +1\) gains energy 2h, but loses \(E_\ell = \sum _{ n=\ell }^{\infty } J(n)\). \(E_\ell \) converges to zero as \(\ell \rightarrow \infty \), but the smaller h is, the larger the size of the critical droplet. Moreover, by taking h volume-dependent, going to zero with N as \( N^{-\delta }\), one can make the nucleation interval mesoscopic (e.g. \(O(N^\delta )\), with \(\delta \in (0,1)\)) or macroscopic (i.e. O(N)).
The paper is organised as follows. In Sect. 2 we describe the lattice model and we give the main definitions; in Sect. 3 the main results of the paper are stated, while in Sects. 4 and 5 the proofs of the model-dependent results are given.
2 The Model and Main Definitions
Let \(\Lambda \) be a finite interval of \(\mathbb {Z}\), and let us denote by h a positive external field. Given a configuration \(\sigma \) in \(\Omega _{\Lambda } = \{-1,1\}^{\Lambda }\), we define the Hamiltonian with free boundary condition by
where \(J: \mathbb {N} \rightarrow \mathbb {R}\), the pair interaction, is assumed to be positive and decreasing. The interactions that we want to include in the present analysis are of long-range type, for instance,
-
1.
exponential decay: \(J(|i-j|)= J \cdot \lambda ^{-|i-j|}\) with constants \(J>0\) and \(\lambda >1\);
-
2.
polynomial decay: \(J(|i-j|)= J \cdot |i-j|^{-\alpha }\), where \(\alpha >0\) is a parameter.
The finite-volume Gibbs measure will be denoted by
where \(\beta >0\) is proportional to the inverse temperature and \(Z_{\Lambda }\) is a normalizing constant. The set of ground states\(\mathscr {X}^{s}\) is defined as \(\mathscr {X}^{s}: = argmin _{\sigma \in \Omega _\Lambda } H_{\Lambda , h}(\sigma )\). Note that for the class of interactions considered \(\mathscr {X}^{s} = \{\mathbf {+1}\}\), where \(\mathbf {+1}\) stands for the configuration with all spins equal to \(+1\).
Given an integer \(k \in \{0, \dots , \#\Lambda \}\), we consider \(\mathscr {M}_k:=\{\sigma \in \Omega _{\Lambda }: \# \{i: \sigma _{i} = 1\} = k\}\) consisting of configurations in \(\Omega _{\Lambda }\) with k positive spins, and we define the configurations \(L^{(k)}\) and \(R^{(k)}\) as follows. Let
and
i.e., the configurations respectively with k positive spins on left side of the interval and on the right one. We will show that \(L^{(k)}\) and \(R^{(k)}\) are the minimizers of the energy function \(H_{\Lambda ,h}\) on \(\mathscr {M}_k\) (see Proposition 4.1). Let us denote by \(\mathscr {P}^{(k)}\) the set \(\mathscr {P}^{(k)}:= \{L^{(k)}, R^{(k)}\}\) consisting of the minimizers of the energy on \(\mathscr {M}_k\). With abuse of notation we will indicate with \(H_{\Lambda ,h}(\mathscr {P}^{(k)})\) the energy of the elements of the set, that is, \(H_{\Lambda ,h}(\mathscr {P}^{(k)}):=H_{\Lambda ,h}({L}^{(k)})=H_{\Lambda , h}({R}^{(k)})\).
We choose the evolution of the system to be described by a discrete-time Markov chain \(X=(X(t))_{t \ge 0}\), in particular, we consider the discrete-time serial Glauber dynamics given by the Metropolis weights, i.e., the transition matrix of such dynamics is given by
where \([\cdot ]_+\) denotes the positive part, and \(c(\cdot ,\cdot )\) is its connectivity matrix that is equal to \(1/|\Lambda |\) in case the two configurations \(\sigma \) and \(\eta \) coincide up to the value of a single spin, and zero otherwise. Notice that such dynamics is reversible with respect to the Gibbs measure defined in (2.2). Let us define the hitting time\(\tau _{\eta }^{\sigma }\) of a configuration \(\eta \) of the chain X started at \(\sigma \) as
For any positive integer n, a sequence \(\gamma = (\sigma ^{(1)}, \dots , \sigma ^{(n)})\) such that \(\sigma ^{(i)}\in \Omega _\Lambda \) and \(c(\sigma ^{(i)},\sigma ^{(i+1)})>0\) for all \(i=1,\dots ,n-1\) is called a path joining \(\sigma ^{(1)}\) to \(\sigma ^{(n)}\); we also say that n is the length of the path. For any path \(\gamma \) of length n, we let
be the height of the path. We also define the communication height between \(\sigma \) and \(\eta \) by
where the minimum is restricted to the set \(\Omega (\sigma ,\eta )\) of all paths joining \(\sigma \) to \(\eta \). By reversibility, it easily follows that
for all \(\sigma ,\eta \in \Omega _\Lambda \). We extend the previous definition for sets \(\mathscr {A},\mathscr {B}\subseteq \Omega _\Lambda \) by letting
where \(\Omega (\mathscr {A},\mathscr {B})\) denotes the set of paths joining a state in \(\mathscr {A}\) to a state in \(\mathscr {B}\). The communication cost of passing from \(\sigma \) to \(\eta \) is given by the quantity \(\Phi (\sigma ,\eta )-H_{\Lambda , h}(\sigma )\). Moreover, if we define \(\mathscr {I}_\sigma \) as the set of all states \(\eta \) in \(\Omega _\Lambda \) such that \(H_{\Lambda , h}(\eta )< H_{\Lambda , h}(\sigma )\), then the stability level of any \(\sigma \in \Omega _\Lambda {\setminus } \mathscr {X}^{s}\) is given by
Following [25], we now introduce the notion of maximal stability level. Assuming that \(\Omega _\Lambda {\setminus } \mathscr {X}^{s}\ne \emptyset \), we let the maximal stability level be
We give the following definition.
Definition 2.1
We call metastable set \(\mathscr {X}^{m}\), the set
Following [25], we shall call \(\mathscr {X}^{m}\) the set of metastable states of the system and refer to each of its elements as metastable. We denote by \(\Gamma \) the quantity
We will show in Corollary 3.1 that under certain assumptions \(\Gamma =\Gamma _ m \).
3 Main Results
3.1 Mean Exit Time
In this section we will study the first hitting time of the configuration \(\mathbf {+1}\) when the system is prepared in \(\mathbf {-1}\), in the limit \(\beta \rightarrow \infty \). We will restrict our analysis to the cases given by the following condition.
Condition 3.1
Let N be an integer such that \(N \ge 2\). We consider \(\Lambda = \{1, \dots , N\}\) and h such that
By using the general theory developed in [25], we need first to solve two model-dependent problems: the calculation of the minimax between \(\mathbf {-1}\) and \(\mathbf {+1}\) (item 1 of Theorem 3.1) and the proof of a recurrence property in the energy landscape (item 3 of Theorem 3.1).
Theorem 3.1
Assume that Condition 3.1 is satisfied.Then, we have
-
1.
\(\Phi (-\mathbf {1},\mathbf {+1})=\Gamma +H_{\Lambda ,h}(\mathbf {-1})\),
-
2.
\(V_{\mathbf {-1}}= \Gamma > 0\), and
-
3.
\(V_\sigma <\Gamma \) for any \(\sigma \in \Omega _\Lambda {\setminus } \{\mathbf {-1}, \mathbf {+1}\}\).
As a corollary we have that \(-\mathbf {1}\) is the only metastable state for this model.
Corollary 3.1
Assume that Condition 3.1 is satisfied. It follows that
and
Therefore, the asymptotic behaviour of the exit time for the system started at the metastable states is given by the following theorem.
Theorem 3.2
Assume that Condition 3.1 is satisfied. It follows that
-
1.
for any \(\epsilon >0\)
$$\begin{aligned} {\lim _{\beta \rightarrow \infty } \mathbb {P}\left( e^{\beta (\Gamma -\epsilon )}<\tau _{\mathbf {+1}}^{\mathbf {-1}}<e^{\beta (\Gamma +\epsilon )}\right) =1,} \end{aligned}$$ -
2.
the limit
$$\begin{aligned} {\lim _{\beta \rightarrow \infty }\frac{1}{\beta }\log \left( \mathbb {E}\left( \tau _{\mathbf {+1}}^{\mathbf {-1}}\right) \right) =\Gamma } \end{aligned}$$holds.
Once the model-dependent results in Theorem 3.1 have been proven, the proof of Theorem 3.2 easily follows from the general theory present in [25]: item 1 follows from Theorem 4.1 in [25] and item 2 from Theorem 4.9 in [25].
3.2 Nucleation of the Metastable Phase
We are going to show that for small enough external magnetic field, the size of the critical droplet is a macroscopic fraction of the system, while for h sufficiently large, the critical configuration will be a mesoscopic fraction of the system.
Let us define \(L := \left\lfloor \frac{N}{2} \right\rfloor \), and let \(h_{k}^{(N)}\) be
for each \(k = 0,\dots , L-1\). One can easily verify that
Proposition 3.1
Under the assumption that Condition (3.1) is satisfied, one of the following conditions holds.
-
1.
Case \(h < h_{L-1}^{(N)}\), we have
$$\begin{aligned} H_{\Lambda ,h}(\mathscr {P}^{(L)}) > \max _{\begin{array}{c} 0 \le k \le N\\ k \ne L \end{array}} H_{\Lambda ,h}(\mathscr {P}^{(k)}). \end{aligned}$$ -
2.
Case \(h_{k}^{(N)}< h < h_{k-1}^{(N)}\) for some \(k \in \{1,\dots , L-1\}\), we have
$$\begin{aligned} H_{\Lambda ,h}(\mathscr {P}^{(k)}) > \max _{\begin{array}{c} 0 \le i \le N \\ i \ne \bar{k} \end{array}} H_{\Lambda ,h}(\mathscr {P}^{(i)}). \end{aligned}$$ -
3.
Case \(h = h_{k}^{(N)}\) for some \(k \in \{1,\dots , L-1\}\), we have
$$\begin{aligned} H_{\Lambda ,h}(\mathscr {P}^{(k)}) = H_{\Lambda ,h}(\mathscr {P}^{(k+1)}) > \max _{\begin{array}{c} 0 \le i \le N \\ i \ne k, i \ne k+1 \end{array}} H_{\Lambda ,h}(\mathscr {P}^{(i)}). \end{aligned}$$
The first case of Proposition 3.1 describes the less interesting and, in a way, artificial, situation of very low external magnetic fields: in this regime the bulk term is negligible so that the energy of the droplet increases until the positive spins are the majority (i.e. \(k=L\), see Fig. 3). Therefore, the second case contains the most interesting situation, where there is an interplay between the bulk and the surface term. The following Corollary is a consequence of Proposition 3.1 when N is large enough and gives a characterisation of the critical size \(k_c\) of the critical droplet.
Corollary 3.2
If we assume that \(\sum _{n = 1}^{\infty }J(n)\) converges and
then the size of the critical droplet will be given by
whenever N is sufficiently large.
As a consequence of Corollary 3.2, the set of critical configurations\(\mathscr {P}_c\) is given by
for N large enough. The following result shows the reason why configurations in \(\mathscr {P}_c\) are referred to as critical configurations: they indeed trigger the transition towards the stable phase.
Lemma 3.1
Under the conditions stated above, we have
-
1.
any path \(\gamma \in \Omega (\mathbf {-1},\mathbf {+1})\) such that \(\Phi _\gamma - H_{\Lambda ,h}(-\mathbf {1})=\Gamma \) visits \(\mathscr {P}_c\), and
-
2.
the limit
$$\begin{aligned} \lim _{\beta \rightarrow \infty } \mathbb {P}(\tau _{\mathscr {P}_c}^{-\mathbf {1}}<\tau _{+\mathbf {1}}^{-\mathbf {1}})=1 \end{aligned}$$holds.
The proof of the previous Theorem is a straightforward consequence of Theorem 5.4 in [25].
3.3 Examples
Let us give two interesting examples of the general theory so far developed.
3.3.1 Example 1: Exponentially Decaying Coupling
We consider
where J and \(\lambda \) are positive real numbers with \(\lambda > 1\).
Proposition 3.2
Under the same hypotheses as Corollary 3.2, we have that the critical droplet length \(k_c\) is equal to
whenever N is sufficiently large.
Proof
By Corollary 3.2, we have
that implies
Thus
\(\square \)
As a remark we notice that in case of exponential decay of the interaction, the system behaves essentially as the nearest-neighbours one-dimensional Ising model. Note that
moreover, if \(h < J = \lim _{\lambda \rightarrow \infty } \sum _{n =1}^{\infty }J(n)\), then \(k_{c} = 1\) whenever \(\lambda \) is large enough. So, we conclude that typically a single plus spin in the lattice will trigger the nucleation of the stable phase. As we can see in Fig. 1 the energy excitations \(H_{\Lambda ,h}(\mathscr {P}^{(k)})-H_{\Lambda ,h}(\mathbf {-1})\) are strictly decreasing in k, as expected.
3.3.2 Example 2: Polynomially Decaying Coupling
Let the coupling constants be given by
where J and \(\alpha \) are positive real numbers with \(\alpha > 1\). As it is shown in Figs. 2 and 3, for the polynomially decaying coupling model, we have that, for h small enough the critical droplet is essentially the half interval, while for large enough magnetic external magnetic field, the critical droplet is the configuration with \(k_c\) plus spins at the sides, with \(k_c\approx \left( \frac{J}{h(\alpha -1)}\right) ^{\frac{1}{\alpha -1}} \).
We can prove indeed the following proposition.
Proposition 3.3
Under the same hypotheses as Corollary 3.2, we have that \(k_c\) satisfies
whenever N is large enough.
Proof
By Corollary 3.2, it follows that
Moreover, note that
and
so that
Hence,
\(\square \)
4 Proof Theorem 3.1
We start the proof of the main theorem giving some general results about the control of the energy of a general configuration. First of all we note that Eq. (2.1) can be written as
Moreover, given an integer \(k \in \{0, \dots , N\}\), if \(\sigma \in \mathscr {M}_k\), then
Therefore, restricting ourselves to configurations that contain only k spins with the value 1, in order to find such configurations with minimal energy, it is sufficient to minimize the first term of the right-hand side of Eq. (4.1).
Proposition 4.1
Let N be a positive integer and \(k \in \{0, \dots , N\}\), if we restrict to all \(\sigma \in \mathscr {M}_k\), then
Under this restriction, the equality in the equation above holds if and only if \(\sigma = L^{(k)}\) or \(\sigma = {R}^{(k)}\).
Proof
Let us prove the result by induction. Let \(\mathscr {H}_{N}\) be defined by
Note that the result is trivial if \(N=1\). Assuming that it holds for \(N \ge 1\), let us prove that it also holds for \(N+1\). In case \(\sigma _{1} = 1\), applying our induction hypothesis and Lemma A.1, we have
Replacing the inequality sign in Eq. (4.5) by an equality, it follows that
hence,
Using Lemma A.1 again, we conclude that \(\sigma _{j} = 1\) whenever \(1 \le j \le k\), and \(\sigma _{j} = -1\) whenever \(k+1 \le j \le N+1\). Now, in case \(\sigma _{1} = -1\), we write \(\mathscr {H}_{N+1}(-1,\sigma _{2}, \dots ,\sigma _{N+1})\) as
and apply our previous result in order to obtain
where the equality holds only if \(\sigma _{j} = -1\) whenever \(1 \le j \le N+1-k\), and \(\sigma _{j} = 1\) whenever \(N+2-k \le j \le N+1\). \(\square \)
As an immediate consequence of Proposition 4.1 the next results follows.
Theorem 4.1
Given an integer \(k \in \{0, \dots , N\}\), if we restrict to all \(\sigma \in \mathscr {M}_k\), then
Under this restriction, the equality in the equation above holds if and only if \(\sigma = R^{(k)}\) or \(\sigma = {L}^{(k)}\)
4.1 Proof of Theorem 3.1.1(minimax)
Proof of Theorem 3.1.1
Define \(f: \{0,\dots , N\} \rightarrow \mathbb {R}\) as
It follows that
holds for all k such that \(0 \le k \le N-1\), and
holds whenever \(0 \le k \le N-2\).
Note that
\(1 \le \left\lfloor \frac{N}{2} \right\rfloor \le N-1\), and
It follows from \(\Delta ^{2} f < 0 \) and Eqs. (4.13) and (4.14) that f satisfies
and
therefore, \(f(k_{0}) = \max _{0 \le k \le N} f(k)\) for some \(k_{0} \in \{1,\dots , \left\lfloor \frac{N}{2} \right\rfloor \}\).
Defining the path \(\gamma : \mathbf {-1} \rightarrow \mathbf {+1}\) by \(\gamma = (L^{(0)}, L^{(1)}, \dots , L^{(N)})\), it is easy to see that
\(\square \)
4.2 Proof of Theorems 3.1.2 and 3.1.3
Before giving the proof of the second point of the main theorem, we give some results about the control of the energy of a spin-flipped configuration. Given a configuration \(\sigma \) and \(k \in \Lambda \), the spin-flipped configuration \(\theta _{k}\sigma \) is defined as:
Note that the energetic cost to flip the spin at position k from the configuration \(\sigma \) is given by
Proposition 4.2
Under Condition 3.1, given a configuration \(\sigma \) such that
for every \(k \in \{1,\dots ,N\}\), then either \(\sigma = \mathbf {-1}\) or \(\sigma = \mathbf {+1}\).
Proof
Let \(k \in \{1,\dots ,N-1\}\), and let \(\sigma \) be a configuration such that \(\sigma _{i}= +1\) whenever \(1 \le i \le k\) and \(\sigma _{k+1} = -1\). In the following, we show that every such \(\sigma \) cannot satisfy property (4.19). If property (4.19) is satisfied, then
that is,
Summing both equations above, we have
that is a contradiction. Analogously, every configuration \(\sigma \) such that such that \(\sigma _{i}= -1\) whenever \(1 \le i \le k\) and \(\sigma _{k+1} = 1\) for some \(k \in \{1,\dots ,N-1\}\), property (4.19) cannot be satisfied. Therefore, we conclude that for every \(\sigma \) different from \(\mathbf {-1}\) and \(\mathbf {+1}\), property (4.19) does not hold.
The proof of the converse statement is straightforward. \(\square \)
As an immediate consequence of the result above, the next result follows.
Corollary 4.1
Under Condition 3.1, for every configuration \(\sigma \) different from \(\mathbf {-1}\) and \(\mathbf {+1}\), there is a path \(\gamma = (\sigma ^{(1)}, \dots , \sigma ^{(n)})\), where \(\sigma ^{(1)} = \sigma \) and \(\sigma ^{(n)} \in \{\mathbf {-1},\mathbf {+1}\}\), such that \(H_{\Lambda ,h}(\sigma ^{(i+1)}) < H_{\Lambda ,h}(\sigma ^{(i)})\).
We have now all the element for proving item 2 and 3 of Theorem 3.1.
Proof of Theorem 3.1.2
First, note that it follows from inequality (4.15) that \(\Gamma > 0\). Now, let us show that \(V_{\mathbf {-1}}\) satisfies
Since \(\mathbf {+1}\in \mathscr {I}_{\mathbf {-1}}\), we have
So, we conclude the proof if we show that
holds for every \(\eta \in \mathscr {I}_{\mathbf {-1}}\). Let \(\gamma _{1}: \mathbf {-1} \rightarrow \eta \) be a path from \(\mathbf {-1}\) to \(\eta \) given by \(\gamma _{1} = (\sigma ^{(1)}, \dots , \sigma ^{(n)})\), then, according to Corollary 4.1, there is a path \(\gamma _{2} : \eta \rightarrow \mathbf {+1}\), say \(\gamma _{2} = (\eta ^{(1)},\dots , \eta ^{(m)})\), along which the energy decreases. Hence, the path \(\gamma : \mathbf {-1} \rightarrow \mathbf {+1}\) given by
satisfies
Hence, the inequality
holds for every path \(\gamma _{1}: \mathbf {-1} \rightarrow \eta \), and Eq. (4.24) follows. \(\square \)
Proof of Theorem 3.1.3
Given \(\sigma \notin \{\mathbf {-1}, \mathbf {+1}\}\), let us show now that
holds for any \(\eta \in \mathscr {I}_{\sigma }\). Let us consider the following cases.
-
1.
Case \(\eta = \mathbf {+1}\). According to Corollary (4.1), there is a path \(\gamma = (\sigma ^{(1)}, \dots , \sigma ^{(n)})\) from \(\sigma ^{(1)}= \sigma \) to \(\sigma ^{(n)} \in \{\mathbf {-1},\mathbf {+1}\}\) along which the energy decreases.
-
(a)
If \(\sigma ^{(n)} = \mathbf {-1}\), then the path \(\gamma _0:\sigma \rightarrow \eta \) given by \(\gamma _{0} = (\sigma ^{(1)}, \dots , \sigma ^{(n-1)}, L^{(0)}, \dots , L^{(N)})\) satisfies
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma _{0}}H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\\le & {} \left( \max _{\zeta \in \gamma }H_{\Lambda ,h}(\zeta )\right) \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)})\right) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\sigma )\right) \\< & {} \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\mathbf {-1}) \\= & {} V_{\mathbf {-1}}. \end{aligned}$$ -
(b)
Otherwise, if \(\sigma ^{(n)} = \mathbf {+1}\), then
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma }H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \\< & {} V_{\mathbf {-1}}. \end{aligned}$$
-
(a)
-
2.
Case \(\eta = \mathbf {-1}\). According to Corollary (4.1), there is a path \(\gamma = (\sigma ^{(1)}, \dots , \sigma ^{(n)})\) from \(\sigma ^{(1)}= \sigma \) to \(\sigma ^{(n)} \in \{\mathbf {-1},\mathbf {+1}\}\) along which the energy decreases.
-
(a)
If \(\sigma ^{(n)} = \mathbf {+1}\), then the path \(\gamma _0:\sigma \rightarrow \eta \) given by \(\gamma _{0} = (\sigma ^{(1)}, \dots , \sigma ^{(n-1)}, L^{(N)}, \dots , L^{(0)})\) satisfies
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma _{0}}H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\\le & {} \left( \max _{\zeta \in \gamma }H_{\Lambda ,h}(\zeta )\right) \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)})\right) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\sigma )\right) \\< & {} \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\mathbf {-1}) \\= & {} V_{\mathbf {-1}}. \end{aligned}$$ -
(b)
Otherwise, if \(\sigma ^{(n)} = \mathbf {-1}\), then
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma }H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \\< & {} V_{\mathbf {-1}}. \end{aligned}$$
-
(a)
-
3.
Case \(\eta \notin \{\mathbf {-1}, \mathbf {+1}\}\). Let \(\gamma _{1} = (\sigma ^{(1)}, \dots , \sigma ^{(n)})\) and \(\gamma _{2} = (\eta ^{(1)}, \dots , \eta ^{(m)})\) be paths from \(\sigma ^{(1)} = \sigma \) to \(\sigma ^{(n)} \in \{\mathbf {-1},\mathbf {+1}\}\) and from \(\eta ^{(1)} = \eta \) to \(\eta ^{(m)} \in \{\mathbf {-1},\mathbf {+1}\}\), respectively, along which the energy decreases.
-
(a)
If \(\sigma ^{(n)} = \eta ^{(m)}\), define the path \(\gamma : \sigma \rightarrow \eta \) given by \(\gamma _{0} = (\sigma ^{(1)}, \dots , \sigma ^{(n-1)}, \eta ^{(m)},\dots , \eta ^{(1)})\) in order to obtain
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma _{0}}H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\= & {} \left( \max _{\zeta \in \gamma _{1}}H_{\Lambda ,h}(\zeta )\right) \vee \left( \max _{\zeta \in \gamma _{2}}H_{\Lambda ,h}(\zeta )\right) - H_{\Lambda ,h}(\sigma ) \\= & {} H_{\Lambda ,h}(\sigma ) \vee H_{\Lambda ,h}(\eta ) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \\< & {} V_{\mathbf {-1}}. \end{aligned}$$ -
(b)
If \(\sigma ^{(n)} = \mathbf {-1}\) and \(\eta ^{(m)} = \mathbf {+1}\), let us define the path \(\gamma _{0}: \sigma \rightarrow \eta \) given by
$$\begin{aligned} \gamma _{0} = (\sigma ^{(1)}, \dots , \sigma ^{(n-1)}, L^{(0)}, \dots , L^{(N)}, \eta ^{(m-1)}, \dots , \eta ^{(1)}) \end{aligned}$$(4.29)it satisfies
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma _{0}}H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\= & {} \left( \max _{\zeta \in \gamma _{1}}H_{\Lambda ,h}(\zeta )\right) \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)})\right) \\&\vee \left( \max _{\zeta \in \gamma _{2}}H_{\Lambda ,h}(\zeta )\right) - H_{\Lambda ,h}(\sigma ) \\= & {} H_{\Lambda ,h}(\sigma ) \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)})\right) \vee H_{\Lambda ,h}(\eta ) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\sigma )\right) \\< & {} \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\mathbf {-1}) \\= & {} V_{\mathbf {-1}}. \end{aligned}$$ -
(c)
If \(\sigma ^{(n)} = \mathbf {+1}\) and \(\eta ^{(m)} = \mathbf {-1}\), let us define the path \(\gamma _{0}: \sigma \rightarrow \eta \) given by
$$\begin{aligned} \gamma _{0} = (\sigma ^{(1)}, \dots , \sigma ^{(n-1)}, L^{(N)}, \dots , L^{(0)}, \eta ^{(m-1)}, \dots , \eta ^{(1)}) \end{aligned}$$(4.30)it satisfies
$$\begin{aligned} \Phi (\sigma ,\eta ) - H_{\Lambda ,h}(\sigma )\le & {} \max _{\zeta \in \gamma _{0}}H_{\Lambda ,h}(\zeta ) - H_{\Lambda ,h}(\sigma ) \\= & {} \left( \max _{\zeta \in \gamma _{1}}H_{\Lambda ,h}(\zeta )\right) \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)})\right) \vee \left( \max _{\zeta \in \gamma _{2}}H_{\Lambda ,h}(\zeta )\right) \\&- H_{\Lambda ,h}(\sigma ) \\= & {} H_{\Lambda ,h}(\sigma ) \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)})\right) \vee H_{\Lambda ,h}(\eta ) - H_{\Lambda ,h}(\sigma ) \\= & {} 0 \vee \left( \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\sigma )\right) \\< & {} \max _{0 \le k \le N}H_{\Lambda ,h}(L^{(k)}) - H_{\Lambda ,h}(\mathbf {-1}) \\= & {} V_{\mathbf {-1}}. \end{aligned}$$
-
(a)
We conclude that for every \(\sigma \notin \{\mathbf {-1},\mathbf {+1}\}\), we have \(V_{\sigma } < V_{\mathbf {-1}}\). \(\square \)
5 Proofs of the Critical Droplets Results
Proof of Proposition 3.1
As in the proof of Theorem 3.1, let us define \(f: \{0,\dots , N\} \rightarrow \mathbb {R}\) as
and recall that
In the first case, we have \(\Delta f(L-1) = 2(h_{L-1}^{(N)} - h) > 0\), thus, since f decreases for all i greater than L, and since \(\Delta ^2 f<0\), we conclude that f attains a unique strict global maximum at L. In the second case, we have \(\Delta f(k-1) = 2(h_{k-1}^{(N)} - h) > 0\) and \(\Delta f(k) = 2(h_{k}^{(N)} - h) < 0\), so, f attains a unique strict global maximum at k. Finally, in the third case, we have \(\Delta f(k) = 0\), that is, \(f(k) = f(k+1)\). Using the fact that \(\Delta f(k+1)< 0 < \Delta f(k-1)\), we conclude that the global maximum of f can we only be reached at k and \(k+1\). \(\square \)
Proof of Corollary 3.2
Since \(\sum _{n = 1}^{\infty }J(n)\) converges, it follows that the set in Eq. (3.7) is nonempty, thus \(k_{c}\) is well defined. Then, we have
For all N sufficiently large such that \(\left\lfloor \frac{N}{2} \right\rfloor > k_{c}\) and
we have
and
Therefore, by means of Proposition 3.1, we conclude that for N large enough, \(k_{c}\) satisfies
\(\square \)
References
Beltrán, J., Landim, C.: Tunneling and metastability of continuous time Markov chains. J. Stat. Phys. 140, 1065–1114 (2010)
Bigelis, S., Cirillo, E.N.M., Lebowitz, J.L., Speer, E.R.: Critical droplets in metastable probabilistic cellular automata. Phys. Rev. E 59, 3935 (1999)
Bissacot, R., Endo, E.O., van Enter, A.C.D., Kimura, B., Ruszel, W.M.: Contour methods for long-range Ising models: weakening nearest-neighbor interactions and adding decaying fields. Ann. IHP 19(8), 2557–2574 (2018)
Bovier, A.: Metastability: a potential theoretic approach. In: Proceedings of ICM 2006, pp. 499–518. EMS Publishing House, Zurich (2006)
Bovier, A., den Hollander, F.: Metastability: A Potential-Theoretic Approach. Ergebnisse der Mathematik. Springer, Berlin (2016)
Bovier, A., Manzo, F.: Metastability in Glauber dynamics in the low-temperature limit: beyond exponential asymptotics. J. Stat. Phys. 107, 757–779 (2002)
Bovier, A., den Hollander, F., Nardi, F.R.: Sharp asymptotics for Kawasaki dynamics on a finite box with open boundary. Probab. Theory Relat. Fields 135, 265–310 (2006)
Bovier, A., den Hollander, F., Spitoni, C.: Homogeneous nucleation for Glauber and Kawasaki dynamics in large volumes and low temperature. Ann. Prob. 38, 661–713 (2010)
Cassandro, M., Galves, A., Olivieri, E., Vares, M.E.: Metastable behavior of stochastic dynamics: a pathwise approach. J. Stat. Phys. 35, 603–634 (1984)
Cassandro, M., Ferrari, P.A., Merola, I., Presutti, E.: Geometry of contours and Peierls estimates in \(d= 1\) Ising models with long-range interactions. J. Math. Phys. 46(5), 0533305 (2005)
Cirillo, E.N.M., Nardi, F.R.: Metastability for the Ising model with a parallel dynamics. J. Stat. Phys. 110, 183–217 (2003)
Cirillo, E.N.M., Nardi, F.R.: Relaxation height in energy landscapes: an application to multiple metastable states. J. Stat. Phys. 150, 1080–1114 (2013)
Cirillo, E.N.M., Olivieri, E.: Metastability and nucleation for the Blume–Capel model. Different mechanisms of transition. J. Stat. Phys. 83, 473–554 (1996)
Cirillo, E.N.M., Nardi, F.R., Spitoni, C.: Metastability for reversible probabilistic cellular automata with self-interaction. J. Stat. Phys. 132, 431–471 (2008)
Cirillo, E.N.M., Nardi, F.R., Spitoni, C.: Competitive nucleation in reversible probabilistic cellular automata. Phys. Rev. E 78, 040601 (2008)
Cirillo, E.N.M., Nardi, F.R., Spitoni, C.: Competitive nucleation in metastable systems. In: Applied and Industrial Mathematics in Italy III. Series on Advances in Mathematics for Applied Sciences, vol. 82, pp. 208–219. Birkhauser, Boston (2010)
Cirillo, E.N.M., Nardi, F.R., Spitoni, C.: Sum of exit times in series of metastable states. EJP 226(10), 2421–2438 (2017)
Coquille, L., van Enter, A.C.D., Le Ny, A., Ruszel, W.M.: Absence of Dobrushin states for 2d long-range Ising models. J. Stat. Phys. (2018). https://doi.org/10.1007/s10955-018-2097-7
den Hollander, F., Olivieri, E., Scoppola, E.: Metastability and nucleation for conservative dynamics. J. Math. Phys. 41, 1424–1498 (2000)
den Hollander, F., Nardi, F.R., Troiani, A.: Kawasaki dynamics with two types of particles: stable/metastable configurations and communication heights. J. Stat. Phys. 145, 1423–1457 (2011)
den Hollander, F., Nardi, F.R., Troiani, A.: Metastability for Kawasaki dynamics at low temperature with two types of particles. Electron. J. Probab. 17, 1–26 (2012)
Dyson, F.J.: Existence and nature of phase transition in one-dimensional Ising Ferromagnets. In: SIAM-AMS Proceedings, vol. 5, pp. 1–12. AMS, Providence (1972)
Iwamatsu, M.: A note on the nucleation with multiple steps: parallel and series nucleation. J. Chem. Phys. 136, 044701 (2012)
Littin, J., Picco, P.: Quasi-additive estimates on the Hamiltonian for the one-dimensional long-range Ising model. J. Math. Phys. 58, 073301 (2017)
Manzo, F., Nardi, F.R., Olivieri, E., Scoppola, E.: On the essential features of metastability: tunnelling time and critical configurations. J. Stat. Phys. 115, 591–642 (2004)
Mc Craw, R.J.: Metastability in a long-range one-dimensional Ising model. Phys. Lett. 75(5), 379–382 (1980)
Olivieri, E., Scoppola, E.: Markov chains with exponentially small transition probabilities: first exit problem from a general domain. I. The reversible case. J. Stat. Phys. 79, 613–647 (1995)
Olivieri, E., Vares, M.E.: Large Deviations and Metastability. Cambridge University Press, Cambridge (2004)
Sanders, D.P., Larralde, H., Leyvraz, F.: Competitive nucleation and the Ostwald rule in a generalized Potts model with multiple metastable phases. Phys. Rev. B 75, 132101 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alessandro Giuliani.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Lemma A.1
Let \(\Lambda \) be a finite subset of \(\mathbb {N}\), then
moreover, the equality holds if and only if \(\Lambda = \{1, \dots , \# \Lambda \}\).
Proof
Let k be the number of elements of \(\Lambda \). Note that for \(k=0\) the result holds, so, suppose that it holds whenever \(\Lambda \) has k elements. Given a subset \(\Lambda \) of \(\mathbb {N}\) containing \(k+1\) elements, let \(k_{0}\) be its the maximal element, then, using our induction hypothesis and the fact that \(k_{0} \ge k + 1\), we have
In case we have an equality in Eq. (A.2), we have
thus, \(\Lambda \backslash \{k_{0}\} = \{1,\dots ,k\}\) and \(k_{0} = k+1\). \(\square \)
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
van Enter, A.C.D., Kimura, B., Ruszel, W. et al. Nucleation for One-Dimensional Long-Range Ising Models. J Stat Phys 174, 1327–1345 (2019). https://doi.org/10.1007/s10955-019-02238-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-019-02238-y