arXiv subjects

Alexandre Stauffer

Publications and source records attributed to Alexandre Stauffer.

At least 19 recordsLinked to original sources

arXiv2026

Mixing times of spin systems on dynamical percolation

We study the mixing times of stochastic spin systems corresponding to nearest-neighbour Glauber dynamics on dynamical percolation, defined on $d$-dimensional torus of side-length $N$. In this model, the status of each edge (open or closed) updates independently at rate $\lambda>0$, according to $\mathrm{Ber}(p)$ samples. Simultaneously, the spin of each site updates at rate $1$ according to Glauber dynamics on the environment restricted to open edges. We show that for a relatively general class of nearest-neighbour systems, as long as $p<p_c(d)$, for any temperature, if $\lambda$ is sufficiently small, the mixing time is of order $\frac{\log N}{\lambda}$. This Markov chain is non-reversible, and the proof is obtained by developing a particular coupling that couples together local configurations whenever the environment behaves well.

math.PR↗

arXiv2026

On weighted partial triangulations of convex polygons

We study the problem of sampling weighted partial triangulations of a convex polygon with $n+2$ sides. We consider the distribution $\pi_{n,\lambda}$ under which each partial triangulation $\sigma$ is assigned probability proportional to $\lambda^{|\sigma|}$, where $\lambda>0$ is a model parameter and $|\sigma| \in \{0,\dots,n-1\}$ denotes the number of diagonals in $\sigma$. This model belongs to a broad class of weighted geometric partition problems that include lattice triangulations and dyadic tilings, and is closely related to several classical combinatorial structures, including the full triangulations of a convex polygon and the associated Catalan structures. Our main result is a simple exact sampling algorithm for $\pi_{n,\lambda}$ with expected running time $O\big((\min\{n,n\sqrt{\lambda}\}+1)\log n\big)$, which is optimal up to the logarithmic factor.

cs.DM↗

arXiv2026

Uniqueness of the infinite cluster for monotone percolation models without insertion tolerance

We consider a broad class of dependent site-percolation models on $\mathbb{Z}^d$ obtained by applying a monotone automaton to a random initial particle configuration drawn from a stochastically increasing family of measures. We prove that whenever the underlying particle configuration is sampled from an insertion-tolerant measure and the avalanches generated by the dynamics produce connected sets, the supercritical phase almost surely contains a unique infinite cluster. Our result applies to several well-studied interacting particle systems, including the Abelian sandpile, activated random walk, and bootstrap percolation. In these models, the induced percolation measure typically does not satisfy standard conditions such as finite energy or insertion tolerance, so the classical Burton-Keane argument does not apply. As an application, we answer a question of Fey, Meester, and Redig concerning percolation of the toppled vertices in the Abelian sandpile with i.i.d. initial configuration.

math.PR↗

arXiv2022

Mixing time of random walk on dynamical random cluster

We study the mixing time of a random walker who moves inside a dynamical random cluster model on the d-dimensional torus of side-length n. In this model, edges switch at rate \mu between open and closed, following a Glauber dynamics for the random cluster model with parameters p,q. At the same time, the walker jumps at rate 1 as a simple random walk on the torus, but is only allowed to traverse open edges. We show that for small enough p the mixing time of the random walker is of order n^2/\mu. In our proof we construct of a non-Markovian coupling through a multi-scale analysis of the environment, which we believe could be more widely applicable.

math.PR↗

arXiv2021

Growing uniform planar maps face by face

We provide "growth schemes" for inductively generating uniform random $2p$-angulations of the sphere with $n$ faces, as well as uniform random simple triangulations of the sphere with $2n$ faces. In the case of $2p$-angulations, we provide a way to insert a new face at a random location in a uniform $2p$-angulation with $n$ faces in such a way that the new map is precisely a uniform $2p$-angulation with $n+1$ faces. Similarly, given a uniform simple triangulation of the sphere with $2n$ faces, we describe a way to insert two new adjacent triangles so as to obtain a uniform simple triangulation of the sphere with $2n+2$ faces. The latter is based on a new bijective presentation of simple triangulations that relies on a construction by Poulalhon and Schaeffer.

math.PR↗

arXiv2021

First passage percolation in hostile environment is not monotone

We study a natural growth process with competition, modeled by two first passage percolation processes, $FPP_1$ and $FPP_\lambda$, spreading on a graph. $FPP_1$ starts at the origin and spreads at rate $1$, whereas $FPP_\lambda$ starts from a random set of \emph{inactive seeds} distributed as Bernoulli percolation of parameter $\mu\in (0,1)$. A seed of $FPP_\lambda$ gets activated when one of the two processes attempts to occupy its location, and from this moment onwards spreads at some fixed rate $\lambda>0$. In previous works~[17, 3, 7] it has been shown that when both $\mu$ or $\lambda$ are small enough, then $FPP_1$ \emph{survives} (i.e., it occupies an infinite set of vertices) with positive probability. It might seem intuitive that decreasing $\mu$ or $\lambda$ is beneficial to $FPP_1$. However, we prove that, in general, this is indeed false by constructing a graph for which the probability that $FPP_1$ survives is not a monotone function of $\mu$ or $\lambda$, implying the existence of multiple phase transitions. This behavior contrasts with other natural growth processes such as the $2$-type Richardson model.

math.PR↗

arXiv2021

Coexistence in competing first passage percolation with conversion

We introduce a two-type first passage percolation competition model on infinite connected graphs as follows. Type 1 spreads through the edges of the graph at rate 1 from a single distinguished site, while all other sites are initially vacant. Once a site is occupied by type 1, it converts to type 2 at rate $\rho>0$. Sites occupied by type 2 then spread at rate $\lambda>0$ through vacant sites \emph{and} sites occupied by type 1, whereas type 1 can only spread through vacant sites. If the set of sites occupied by type 1 is non-empty at all times, we say type 1 \emph{survives}. In the case of a regular $d$-ary tree for $d\geq 3$, we show type 1 can survive when it is slower than type 2, provided $\rho$ is small enough. This is in contrast to when the underlying graph is $\mathbb{Z}^d$, where for any $\rho>0$, type 1 dies out almost surely if $\lambda>1$.

math.PR↗

arXiv2021

Absorbing-state phase transition and activated random walks with unbounded capacities

In this article, we study the existence of an absorbing-state phase transition of an Abelian process that generalises the Activated Random Walk (ARW). Given a vertex transitive $G=(V,E)$, we associate to each site $x \in V$ a capacity $w_x \ge 0$, which describes how many inactive particles $x$ can hold, where $\{w_x\}_{x \in V}$ is a collection of i.i.d random variables. When $G$ is an amenable graph, we prove that if $\mathbb E[w_x]<\infty$, the model goes through an absorbing state phase transition and if $\mathbb E[w_x]=\infty$, the model fixates for all $\lambda>0$. Moreover, in the former case, we provide bounds for the critical density that match the ones available in the classical Activated Random Walk.

math.PR↗

arXiv2021

Local and global survival for infections with recovery

We establish two open problems from Kesten and Sidoravicius [8]. Particles are initially placed on $\Z^{d}$ with a given density and evolve as independent continuous-time random walks. Particles initially placed at the origin are declared as infected. Infection transmits instantaneously to healthy particles on the same site and infected particles become healthy with a positive rate. We prove that, for small enough recovery rates, the infection process survives and visits the origin infinitely many times on the event of survival. Second, we establish the existence of density parameters for which the infection survives for all choices of the recovery rate.

math.PR↗

arXiv2020

Local survival of spread of infection among biased random walks

We study infection spread among biased random walks on $\mathbb{Z}^{d}$. The random walks move independently and an infected particle is placed at the origin at time zero. Infection spreads instantaneously when particles share the same site and there is no recovery. If the initial density of particles is small enough, the infected cloud travels in the direction of the bias of the random walks, implying that the infection does not survive locally. When the density is large, the infection spreads to the whole $\mathbb{Z}^{d}$. The proofs rely on two different techniques. For the small density case, we use a description of the infected cloud through genealogical paths, while the large density case relies on a renormalization scheme.

math.PR↗

arXiv2020

Non-equilibrium multi-scale analysis and coexistence in competing first passage percolation

The main contribution of this paper is the development of a novel approach to multi-scale analysis that we believe can be used to analyse processes with non-equilibrium dynamics. Our approach will be referred to as \emph{multi-scale analysis with non-equilibrium feedback} and will be used to analyse a natural random growth process with competition on $\mathbb{Z}^d$ called \emph{first passage percolation in a hostile environment} that consists of two first passage percolation processes $FPP_1$ and $FPP_{\lambda}$ that compete for the occupancy of sites. Initially, $FPP_1$ occupies the origin and spreads through the edges of $\mathbb{Z}^d$ at rate 1, while $FPP_{\lambda}$ is initialised at sites called \emph{seeds} that are distributed according to a product of Bernoulli measures of parameter $p\in(0,1)$, where a seed remains dormant until $FPP_1$ or $FPP_{\lambda}$ attempts to occupy it before then spreading through the edges of $\mathbb{Z}^d$ at rate $\lambda>0$. Particularly challenging aspects of FPPHE are its non-equilibrium dynamics and its lack of monotonicity (for instance, adding seeds could be benefitial to $FPP_1$ instead of $FPP_\lambda$); such characteristics, for example, prevent the application of a more standard multi-scale analysis. As a consequence of our main result for FPPHE, we establish a coexistence phase for the model for $d\geq3$, answering an open question in \cite{sidoravicius2019multi}. This exhibits a rare situation where a natural random competition model on $\mathbb{Z}^d$ observes coexistence for processes with \emph{different} speeds. Moreover, we are able to establish the stronger result that $FPP_1$ and $FPP_{\lambda}$ can both occupy a \emph{positive density} of sites with positive probability, which is in stark contrast with other competition processes.

math.PR↗

arXiv2020

Random Memory Walk

We present a simple model of a random walk with partial memory, which we call the \emph{random memory walk}. We introduce this model motivated by the belief that it mimics the behavior of the once-reinforced random walk in high dimensions and with small reinforcement. We establish the transience of the random memory walk in dimensions three and higher, and show that its scaling limit is a Brownian motion.

math.PR↗

arXiv2019

Abelian oil and water dynamics does not have an absorbing-state phase transition

The oil and water model is an interacting particle system with two types of particles and a dynamics that conserves the number of particles, which belongs to the so-called class of Abelian networks. Widely studied processes in this class are sandpiles models and activated random walks, which are known (at least for some choice of the underlying graph) to undergo an absorbing-state phase transition. This phase transition characterizes the existence of two regimes, depending on the particle density: a regime of fixation at low densities, where the dynamics converges towards an absorbing state and each particle jumps only finitely many times, and a regime of activity at large densities, where particles jump infinitely often and activity is sustained indefinitely. In this work we show that the oil and water model is substantially different than sandpiles models and activated random walks, in the sense that it does not undergo an absorbing-state phase transition and is in the regime of fixation at all densities. Our result works in great generality: for any graph that is vertex transitive and for a large class of initial configurations.

math.PR↗

arXiv2018

Coexistence of competing first passage percolation on hyperbolic graphs

We study a natural growth process with competition, which was recently introduced to analyze MDLA, a challenging model for the growth of an aggregate by diffusing particles. The growth process consists of two first-passage percolation processes $\text{FPP}_1$ and $\text{FPP}_\lambda$, spreading with rates $1$ and $\lambda>0$ respectively, on a graph $G$. $\text{FPP}_1$ starts from a single vertex at the origin $o$, while the initial configuration of $\text{FPP}_\lambda$ consists of infinitely many \emph{seeds} distributed according to a product of Bernoulli measures of parameter $\mu>0$ on $V(G)\setminus \{o\}$. $\text{FPP}_1$ starts spreading from time 0, while each seed of $\text{FPP}_\lambda$ only starts spreading after it has been reached by either $\text{FPP}_1$ or $\text{FPP}_\lambda$. A fundamental question in this model, and in growth processes with competition in general, is whether the two processes coexist (i.e., both produce infinite clusters) with positive probability. We show that this is the case when $G$ is vertex transitive, non-amenable and hyperbolic, in particular, for any $\lambda>0$ there is a $\mu_0=\mu_0(G,\lambda)>0$ such that for all $\mu\in(0,\mu_0)$ the two processes coexist with positive probability. This is the first non-trivial instance where coexistence is established for this model. We also show that $\text{FPP}_\lambda$ produces an infinite cluster almost surely for any positive $\lambda,\mu$, establishing fundamental differences with the behavior of such processes on $\mathbb{Z}^d$.

math.PR↗

arXiv2018

Polynomial mixing time of edge flips on quadrangulations

We establish the first polynomial upper bound for the mixing time of random edge flips on rooted quadrangulations: we show that the spectral gap of the edge flip Markov chain on quadrangulations with $n$ faces admits, up to constants, an upper bound of $n^{-5/4}$ and a lower bound of $n^{-11/2}$. In order to obtain the lower bound, we also consider a very natural Markov chain on plane trees (or, equivalently, on Dyck paths) and improve the previous lower bound for its spectral gap obtained by Shor and Movassagh.

math.PR↗

arXiv2018

The dispersion time of random walks on finite graphs

We study two random processes on an $n$-vertex graph inspired by the internal diffusion limited aggregation (IDLA) model. In both processes $n$ particles start from an arbitrary but fixed origin. Each particle performs a simple random walk until first encountering an unoccupied vertex, and at which point the vertex becomes occupied and the random walk terminates. In one of the processes, called \textit{Sequential-IDLA}, only one particle moves until settling and only then does the next particle start whereas in the second process, called \textit{Parallel-IDLA}, all unsettled particles move simultaneously. Our main goal is to analyze the so-called dispersion time of these processes, which is the maximum number of steps performed by any of the $n$ particles. In order to compare the two processes, we develop a coupling which shows the dispersion time of the Parallel-IDLA stochastically dominates that of the Sequential-IDLA; however, the total number of steps performed by all particles has the same distribution in both processes. This coupling also gives us that dispersion time of Parallel-IDLA is bounded in expectation by dispersion time of the Sequential-IDLA up to a multiplicative $\log n$ factor. Moreover, we derive asymptotic upper and lower bound on the dispersion time for several graph classes, such as cliques, cycles, binary trees, $d$-dimensional grids, hypercubes and expanders. Most of our bounds are tight up to a multiplicative constant.

cs.DM↗

arXiv2018

Percolation of Lipschitz surface and tight bounds on the spread of information among mobile agents

We consider the problem of spread of information among mobile agents on the torus. The agents are initially distributed as a Poisson point process on the torus, and move as independent simple random walks. Two agents can share information whenever they are at the same vertex of the torus. We study the so-called flooding time: the amount of time it takes for information to be known by all agents. We establish a tight upper bound on the flooding time, and introduce a technique which we believe can be applicable to analyze other processes involving mobile agents.

cs.DM↗

arXiv2017

Multi-scale Lipschitz percolation of increasing events for Poisson random walks

Consider the graph induced by $\mathbb{Z}^d$, equipped with uniformly elliptic random conductances. At time $0$, place a Poisson point process of particles on $\mathbb{Z}^d$ and let them perform independent simple random walks. Tessellate the graph into cubes indexed by $i\in\mathbb{Z}^d$ and tessellate time into intervals indexed by $\tau$. Given a local event $E(i,\tau)$ that depends only on the particles inside the space time region given by the cube $i$ and the time interval $\tau$, we prove the existence of a Lipschitz connected surface of cells $(i,\tau)$ that separates the origin from infinity on which $E(i,\tau)$ holds. This gives a directly applicable and robust framework for proving results in this setting that need a multi-scale argument. For example, this allows us to prove that an infection spreads with positive speed among the particles.

math.PR↗