-
Quantitative ergodicity for the symmetric exclusion process with stationary initial data
Authors:
L. Bertini,
N. Cancrini,
G. Posta
Abstract:
We consider the symmetric exclusion process on the $d$-dimensional lattice with translational invariant and ergodic initial data. It is then known that as $t$ diverges the distribution of the process at time $t$ converges to a Bernoulli product measure. Assuming a summable decay of correlations of the initial data, we prove a quantitative version of this convergence by obtaining an explicit bound…
▽ More
We consider the symmetric exclusion process on the $d$-dimensional lattice with translational invariant and ergodic initial data. It is then known that as $t$ diverges the distribution of the process at time $t$ converges to a Bernoulli product measure. Assuming a summable decay of correlations of the initial data, we prove a quantitative version of this convergence by obtaining an explicit bound on the Ornstein $\bar d$-distance. The proof is based on the analysis of a two species exclusion process with annihilation.
△ Less
Submitted 2 September, 2021; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Mixing time for the Repeated Balls into Bins dynamics
Authors:
Nicoletta Cancrini,
Gustavo Posta
Abstract:
We estimate the mixing time of the a nonreversible finite Markov chain called Repeated Balls-into-Bins (RBB) process. This process is a discrete time conservative interacting particle system with parallel updates. Place initially in $L$ bins $rL$ balls, where $r$ is a fixed positive constant. At each time step a ball is taken from each non-empty bin. Then \emph{all the balls} are uniformly reassig…
▽ More
We estimate the mixing time of the a nonreversible finite Markov chain called Repeated Balls-into-Bins (RBB) process. This process is a discrete time conservative interacting particle system with parallel updates. Place initially in $L$ bins $rL$ balls, where $r$ is a fixed positive constant. At each time step a ball is taken from each non-empty bin. Then \emph{all the balls} are uniformly reassigned into bins. We prove that the mixing time of the RBB process depends linearly on the maximum occupation number of balls of the initial state. Thus if the initial configuration is such that the maximum occupation number of balls is of order $L$ then the mixing time is of the same correct order. While if the initial configuration is more diluted then the equilibrium is reached in a time of order $(\log L)^c$.
△ Less
Submitted 9 July, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Propagation of chaos for a General Balls into Bins dynamics
Authors:
Nicoletta Cancrini,
Gustavo Posta
Abstract:
Consider $N$ balls initially placed in $L$ bins. At each time step take a ball from each non-empty bin and \emph{randomly} reassign the balls into the bins.We call this finite Markov chain \emph{General Repeated Balls into Bins} process. It is a discrete time interacting particles system with parallel updates. Assuming a \emph{quantitative} chaotic condition on the reassignment rule we prove a \em…
▽ More
Consider $N$ balls initially placed in $L$ bins. At each time step take a ball from each non-empty bin and \emph{randomly} reassign the balls into the bins.We call this finite Markov chain \emph{General Repeated Balls into Bins} process. It is a discrete time interacting particles system with parallel updates. Assuming a \emph{quantitative} chaotic condition on the reassignment rule we prove a \emph{quantitative} propagation of chaos for this model. We furthermore study some equilibrium properties of the limiting nonlinear process.
△ Less
Submitted 7 January, 2021; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Propagation of Chaos for a Balls into Bins Model
Authors:
Nicoletta Cancrini,
Gustavo Posta
Abstract:
Consider a finite number of balls initially placed in $L$ bins. At each time step a ball is taken from each non-empty bin. Then all the balls are uniformly reassigned into bins. This finite Markov chain is called Repeated Balls-into-Bins process and is a discrete time interacting particle system with parallel updating. We prove that, starting from a suitable (chaotic) set of initial states, as…
▽ More
Consider a finite number of balls initially placed in $L$ bins. At each time step a ball is taken from each non-empty bin. Then all the balls are uniformly reassigned into bins. This finite Markov chain is called Repeated Balls-into-Bins process and is a discrete time interacting particle system with parallel updating. We prove that, starting from a suitable (chaotic) set of initial states, as $L\to+\infty$, the numbers of balls in each bin becomes independent from the rest of the system i.e. we have propagation of chaos. We furthermore study some equilibrium properties of the limiting nonlinear process.
△ Less
Submitted 18 December, 2018; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Ensemble dependence of fluctuations and the canonical/micro-canonical equivalence of ensembles
Authors:
Nicoletta Cancrini,
Stefano Olla
Abstract:
We study the equivalence of microcanonical and canonical ensembles in continuous systems, in the sense of the convergence of the corresponding Gibbs measures. This is obtained by proving a local central limit theorem and a local large deviations principle. As an application we prove a formula due to Lebowitz-Percus-Verlet. It gives mean square fluctuations of an extensive observable, like the kine…
▽ More
We study the equivalence of microcanonical and canonical ensembles in continuous systems, in the sense of the convergence of the corresponding Gibbs measures. This is obtained by proving a local central limit theorem and a local large deviations principle. As an application we prove a formula due to Lebowitz-Percus-Verlet. It gives mean square fluctuations of an extensive observable, like the kinetic energy, in a classical micro canonical ensemble at fixed energy.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Mixing time of a kinetically constrained spin model on trees: power law scaling at criticality
Authors:
Nicoletta Cancrini,
Fabio Martinelli,
Cyril Roberto,
Cristina Toninelli
Abstract:
On the rooted $k$-ary tree we consider a 0-1 kinetically constrained spin model in which the occupancy variable at each node is re-sampled with rate one from the Bernoulli(p) measure iff all its children are empty. For this process the following picture was conjectured to hold. As long as $p$ is below the percolation threshold $p_c=1/k$ the process is ergodic with a finite relaxation time while, f…
▽ More
On the rooted $k$-ary tree we consider a 0-1 kinetically constrained spin model in which the occupancy variable at each node is re-sampled with rate one from the Bernoulli(p) measure iff all its children are empty. For this process the following picture was conjectured to hold. As long as $p$ is below the percolation threshold $p_c=1/k$ the process is ergodic with a finite relaxation time while, for $p>p_c$, the process on the infinite tree is no longer ergodic and the relaxation time on a finite regular sub-tree becomes exponentially large in the depth of the tree. At the critical point $p=p_c$ the process on the infinite tree is still ergodic but with an infinite relaxation time. Moreover, on finite sub-trees, the relaxation time grows polynomially in the depth of the tree.
The conjecture was recently proved by the second and forth author except at criticality. Here we analyse the critical and quasi-critical case and prove for the relevant time scales: (i) power law behaviour in the depth of the tree at $p=p_c$ and (ii) power law scaling in $(p_c-p)^{-1}$ when $p$ approaches $p_c$ from below. Our results, which are very close to those obtained recently for the Ising model at the spin glass critical point, represent the first rigorous analysis of a kinetically constrained model at criticality.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Fredrickson-Andersen one spin facilitated model out of equilibrium
Authors:
Oriane Blondel,
Nicoletta Cancrini,
Fabio Martinelli,
Cyril Roberto,
Cristina Toninelli
Abstract:
We consider the Fredrickson and Andersen one spin facilitated model (FA1f) on an infinite connected graph with polynomial growth. Each site with rate one refreshes its occupation variable to a filled or to an empty state with probability $p\in[0,1]$ or $q=1-p$ respectively, provided that at least one of its nearest neighbours is empty. We study the non-equilibrium dynamics started from an initial…
▽ More
We consider the Fredrickson and Andersen one spin facilitated model (FA1f) on an infinite connected graph with polynomial growth. Each site with rate one refreshes its occupation variable to a filled or to an empty state with probability $p\in[0,1]$ or $q=1-p$ respectively, provided that at least one of its nearest neighbours is empty. We study the non-equilibrium dynamics started from an initial distribution $ν$ different from the stationary product $p$-Bernoulli measure $μ$. We assume that, under $ν$, the mean distance between two nearest empty sites is uniformly bounded. We then prove convergence to equilibrium when the vacancy density $q$ is above a proper threshold $\bar q<1$. The convergence is exponential or stretched exponential, depending on the growth of the graph. In particular it is exponential on $\bbZ^d$ for $d=1$ and stretched exponential for $d>1$. Our result can be generalized to other non cooperative models.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
On the dynamical behavior of the ABC model
Authors:
L. Bertini,
N. Cancrini,
G. Posta
Abstract:
We consider the ABC dynamics, with equal density of the three species, on the discrete ring with $N$ sites. In this case, the process is reversible with respect to a Gibbs measure with a mean field interaction that undergoes a second order phase transition. We analyze the relaxation time of the dynamics and show that at high temperature it grows at most as $N^2$ while it grows at least as $N^3$ at…
▽ More
We consider the ABC dynamics, with equal density of the three species, on the discrete ring with $N$ sites. In this case, the process is reversible with respect to a Gibbs measure with a mean field interaction that undergoes a second order phase transition. We analyze the relaxation time of the dynamics and show that at high temperature it grows at most as $N^2$ while it grows at least as $N^3$ at low temperature.
△ Less
Submitted 27 July, 2011; v1 submitted 5 April, 2011;
originally announced April 2011.
-
Facilitated oriented spin models:some non equilibrium results
Authors:
Nicoletta Cancrini,
Fabio Martinelli,
Roberto H. Schonmann,
Cristina Toninelli
Abstract:
We analyze the relaxation to equilibrium for kinetically constrained spin models (KCSM) when the initial distribution $ν$ is different from the reversible one, $μ$. This setting has been intensively studied in the physics literature to analyze the slow dynamics which follows a sudden quench from the liquid to the glass phase. We concentrate on two basic oriented KCSM: the East model on $\bbZ$, f…
▽ More
We analyze the relaxation to equilibrium for kinetically constrained spin models (KCSM) when the initial distribution $ν$ is different from the reversible one, $μ$. This setting has been intensively studied in the physics literature to analyze the slow dynamics which follows a sudden quench from the liquid to the glass phase. We concentrate on two basic oriented KCSM: the East model on $\bbZ$, for which the constraint requires that the East neighbor of the to-be-update vertex is vacant and the model on the binary tree introduced in \cite{Aldous:2002p1074}, for which the constraint requires the two children to be vacant. While the former model is ergodic at any $p\neq 1$, the latter displays an ergodicity breaking transition at $p_c=1/2$. For the East we prove exponential convergence to equilibrium with rate depending on the spectral gap if $ν$ is concentrated on any configuration which does not contain a forever blocked site or if $ν$ is a Bernoulli($p'$) product measure for any $p'\neq 1$. For the model on the binary tree we prove similar results in the regime $p,p'<p_c$ and under the (plausible) assumption that the spectral gap is positive for $p<p_c$. By constructing a proper test function we also prove that if $p'>p_c$ and $p\leq p_c$ convergence to equilibrium cannot occur for all local functions. Finally we present a very simple argument (different from the one in \cite{Aldous:2002p1074}) based on a combination of combinatorial results and ``energy barrier'' considerations, which yields the sharp upper bound for the spectral gap of East when $p\uparrow 1$.
△ Less
Submitted 23 October, 2008;
originally announced October 2008.
-
Facilitated spin models: recent and new results
Authors:
Nicoletta Cancrini,
Fabio Martinelli,
Cyril Roberto,
Cristina Toninelli
Abstract:
Facilitated or kinetically constrained spin models (KCSM) are a class of interacting particle systems reversible w.r.t. to a simple product measure. Each dynamical variable (spin) is re-sampled from its equilibrium distribution only if the surrounding configuration fulfills a simple local constraint which \emph{does not involve} the chosen variable itself. Such simple models are quite popular in…
▽ More
Facilitated or kinetically constrained spin models (KCSM) are a class of interacting particle systems reversible w.r.t. to a simple product measure. Each dynamical variable (spin) is re-sampled from its equilibrium distribution only if the surrounding configuration fulfills a simple local constraint which \emph{does not involve} the chosen variable itself. Such simple models are quite popular in the glass community since they display some of the peculiar features of glassy dynamics, in particular they can undergo a dynamical arrest reminiscent of the liquid/glass transitiom. Due to the fact that the jumps rates of the Markov process can be zero, the whole analysis of the long time behavior becomes quite delicate and, until recently, KCSM have escaped a rigorous analysis with the notable exception of the East model. In these notes we will mainly review several recent mathematical results which, besides being applicable to a wide class of KCSM, have contributed to settle some debated questions arising in numerical simulations made by physicists. We will also provide some interesting new extensions. In particular we will show how to deal with interacting models reversible w.r.t. to a high temperature Gibbs measure and we will provide a detailed analysis of the so called one spin facilitated model on a general connected graph.
△ Less
Submitted 12 December, 2007;
originally announced December 2007.
-
Kinetically constrained spin models
Authors:
Nicoletta Cancrini,
Fabio Martinelli,
Cyril Roberto,
Cristina Toninelli
Abstract:
We analyze the density and size dependence of the relaxation time for kinetically constrained spin models (KCSM) intensively studied in the physical literature as simple models sharing some of the features of a glass transition. KCSM are interacting particle systems on $\Z^d$ with Glauber-like dynamics, reversible w.r.t. a simple product i.i.d Bernoulli($p$) measure. The essential feature of a K…
▽ More
We analyze the density and size dependence of the relaxation time for kinetically constrained spin models (KCSM) intensively studied in the physical literature as simple models sharing some of the features of a glass transition. KCSM are interacting particle systems on $\Z^d$ with Glauber-like dynamics, reversible w.r.t. a simple product i.i.d Bernoulli($p$) measure. The essential feature of a KCSM is that the creation/destruction of a particle at a given site can occur only if the current configuration of empty sites around it satisfies certain constraints which completely define each specific model. No other interaction is present in the model. From the mathematical point of view, the basic issues concerning positivity of the spectral gap inside the ergodicity region and its scaling with the particle density $p$ remained open for most KCSM (with the notably exception of the East model in $d=1$ \cite{Aldous-Diaconis}). Here for the first time we: i) identify the ergodicity region by establishing a connection with an associated bootstrap percolation model; ii) develop a novel multi-scale approach which proves positivity of the spectral gap in the whole ergodic region; iii) establish, sometimes optimal, bounds on the behavior of the spectral gap near the boundary of the ergodicity region and iv) establish pure exponential decay for the persistence function. Our techniques are flexible enough to allow a variety of constraints and our findings disprove certain conjectures which appeared in the physical literature on the basis of numerical simulations.
△ Less
Submitted 3 October, 2006;
originally announced October 2006.
-
Relaxation time of $L$-reversal chains and other chromosome shuffles
Authors:
N. Cancrini,
P. Caputo,
F. Martinelli
Abstract:
We prove tight bounds on the relaxation time of the so-called $L$-reversal chain, which was introduced by R. Durrett as a stochastic model for the evolution of chromosome chains. The process is described as follows. We have $n$ distinct letters on the vertices of the ${n}$-cycle (${\mathbb{Z}}$ mod $n$); at each step, a connected subset of the graph is chosen uniformly at random among all those…
▽ More
We prove tight bounds on the relaxation time of the so-called $L$-reversal chain, which was introduced by R. Durrett as a stochastic model for the evolution of chromosome chains. The process is described as follows. We have $n$ distinct letters on the vertices of the ${n}$-cycle (${\mathbb{Z}}$ mod $n$); at each step, a connected subset of the graph is chosen uniformly at random among all those of length at most $L$, and the current permutation is shuffled by reversing the order of the letters over that subset. We show that the relaxation time $τ(n,L)$, defined as the inverse of the spectral gap of the associated Markov generator, satisfies $τ(n,L)=O(n\vee \frac{n^3}{L^3})$. Our results can be interpreted as strong evidence for a conjecture of R. Durrett predicting a similar behavior for the mixing time of the chain.
△ Less
Submitted 11 October, 2006; v1 submitted 22 December, 2004;
originally announced December 2004.