-
Mixing of the symmetric beta-binomial splitting process on arbitrary graphs
Authors:
Richard Pymar,
Nicolás Rivera
Abstract:
We study the mixing time of the symmetric beta-binomial splitting process on finite weighted connected graphs $G=(V,E,\{r_e\}_{e\in E})$ with vertex set $V$, edge set $E$ and positive edge-weights $r_e>0$ for $e\in E$. This is an interacting particle system with a fixed number of particles that updates through vertex-pairwise interactions which redistribute particles. We show that the mixing time…
▽ More
We study the mixing time of the symmetric beta-binomial splitting process on finite weighted connected graphs $G=(V,E,\{r_e\}_{e\in E})$ with vertex set $V$, edge set $E$ and positive edge-weights $r_e>0$ for $e\in E$. This is an interacting particle system with a fixed number of particles that updates through vertex-pairwise interactions which redistribute particles. We show that the mixing time of this process can be upper-bounded in terms of the maximal expected meeting time of two independent random walks on $G$. Our techniques involve using a process similar to the chameleon process invented by Morris (2006) to bound the mixing time of the exclusion process.
△ Less
Submitted 1 October, 2024; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Asymptotic behaviour of the noisy voter model density process
Authors:
Richard Pymar,
Nicolás Rivera
Abstract:
Given a transition matrix $P$ indexed by a finite set $V$ of vertices, the voter model is a discrete-time Markov chain in $\{0,1\}^V$ where at each time-step a randomly chosen vertex $x$ imitates the opinion of vertex $y$ with probability $P(x,y)$. The noisy voter model is a variation of the voter model in which vertices may change their opinions by the action of an external noise. The strength of…
▽ More
Given a transition matrix $P$ indexed by a finite set $V$ of vertices, the voter model is a discrete-time Markov chain in $\{0,1\}^V$ where at each time-step a randomly chosen vertex $x$ imitates the opinion of vertex $y$ with probability $P(x,y)$. The noisy voter model is a variation of the voter model in which vertices may change their opinions by the action of an external noise. The strength of this noise is measured by an extra parameter $p \in [0,1]$.
In this work we analyse the density process, defined as the stationary mass of vertices with opinion 1, i.e. $S_t = \sum_{x\in V} π(x)ξ_t(x)$, where $π$ is the stationary distribution of $P$, and $ξ_t(x)$ is the opinion of vertex $x$ at time $t$. We investigate the asymptotic behaviour of $S_t$ when $t$ tends to infinity for different values of the noise parameter $p$. In particular, by allowing $P$ and $p$ to be functions of the size $|V|$, we show that, under appropriate conditions and small enough $p$ a normalised version of $S_t$ converges to a Gaussian random variable, while for large enough $p$, $S_t$ converges to a Bernoulli random variable. We provide further analysis of the noisy voter model on a variety of specific graphs including the complete graph, cycle, torus and hypercube, where we identify the critical rate $p$ (depending on the size $|V|$) that separates these two asymptotic behaviours.
△ Less
Submitted 1 October, 2024; v1 submitted 2 December, 2021;
originally announced December 2021.
-
A direct comparison between the mixing time of the interchange process with "few" particles and independent random walks
Authors:
Jonathan Hermon,
Richard Pymar
Abstract:
We consider the interchange process with $k$ particles (${\rm IP}(k)$) on $n$-vertex hypergraphs in which each hyperedge $e$ rings at rate $r_e$. When $e$ rings, the particles occupying it are permuted according to a random permutation from some arbitrary law, where our only assumption is that ${\rm IP}(2)$ has uniform stationary distribution. We show that…
▽ More
We consider the interchange process with $k$ particles (${\rm IP}(k)$) on $n$-vertex hypergraphs in which each hyperedge $e$ rings at rate $r_e$. When $e$ rings, the particles occupying it are permuted according to a random permutation from some arbitrary law, where our only assumption is that ${\rm IP}(2)$ has uniform stationary distribution. We show that $t_{\rm mix}^{{\rm IP}(k)}(ε)=O_{b}(t_{\rm mix}^{{\rm IP}(2)}(ε/k))$, where $t_{\rm mix}^{{\rm IP}(i)}(ε)$ is the $ε$ total-variation mixing time of ${\rm IP}(i)$, provided that $kn^{-2}Rt_{\rm mix}^{{\rm IP}(2)}(ε/k)=O((ε/k)^b)$ for some $b>0$, where $R=\sum_e r_e|e|(|e|-1)$ is $n(n-1)$ times the particle-particle interaction rate at equilibrium. This has some consequences concerning the validity in this regime of conjectures of Oliveira about comparison of the $ε$ mixing time of ${\rm IP}(k)$ to that of $k$ independent particles, each evolving according to ${\rm IP}(1)$, denoted ${\rm RW}(k)$, and of Caputo about comparison of the spectral-gap of ${\rm IP}(k)$ to that of a single particle ${\rm IP}(1)={\rm RW}(1)$. We also show that $t_{\rm mix}^{\mathrm{IP}(k)}(ε) \asymp t_{\rm mix}^{{\rm RW}(1)}(ε)\asymp t_{\rm mix}^{{\rm RW}(k)}(εk/4)$ for all $k\lesssim n^{1-Ω(1)}$ and all $ε\le\frac 1k\wedge\frac 14$ for vertex-transitive graphs of constant degree, as well as for general graphs satisfying a mild ("transience-like") heat-kernel condition. In the case where the particles occupying a hyperedge $e$ are permuted uniformly at random when $e$ rings we obtain results bounding the spectral gap of ${\rm IP}(k)$ in terms of that ${\rm RW}(1)$. The proof does not use Morris' chameleon process. It can be seen as a rigorous and direct way of arguing that when the number of particles is fairly small, the system behaves similarly to $k$ independent particles.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
The exclusion process mixes (almost) faster than independent particles
Authors:
Jonathan Hermon,
Richard Pymar
Abstract:
Oliveira conjectured that the order of the mixing time of the exclusion process with $k$-particles on an arbitrary $n$-vertex graph is at most that of the mixing-time of $k$ independent particles. We verify this up to a constant factor for $d$-regular graphs when each edge rings at rate $1/d$ in various cases: (1) when $d = Ω( \log_{n/k} n)$, (2) when $\mathrm{gap}:=$ the spectral-gap of a single…
▽ More
Oliveira conjectured that the order of the mixing time of the exclusion process with $k$-particles on an arbitrary $n$-vertex graph is at most that of the mixing-time of $k$ independent particles. We verify this up to a constant factor for $d$-regular graphs when each edge rings at rate $1/d$ in various cases: (1) when $d = Ω( \log_{n/k} n)$, (2) when $\mathrm{gap}:=$ the spectral-gap of a single walk is $ O ( 1/\log^4 n) $ and $k \ge n^{Ω(1)}$, (3) when $k \asymp n^{a}$ for some constant $0<a<1$. In these cases our analysis yields a probabilistic proof of a weaker version of Aldous' famous spectral-gap conjecture (resolved by Caputo et al.). We also prove a general bound of $O(\log n \log \log n / \mathrm{gap})$, which is within a $\log \log n$ factor from Oliveira's conjecture when $k \ge n^{Ω(1)}$. As applications we get new mixing bounds: (a) $O(\log n \log \log n)$ for expanders, (b) order $ d\log (dk) $ for the hypercube $\{0,1\}^d$, (c) order $(\mathrm{Diameter})^2 \log k $ for vertex-transitive graphs of moderate growth and for supercritical percolation on a fixed dimensional torus.
△ Less
Submitted 2 April, 2020; v1 submitted 31 August, 2018;
originally announced August 2018.
-
The Bouchaud-Anderson model with double-exponential potential
Authors:
Stephen Muirhead,
Richard Pymar,
Renato Soares dos Santos
Abstract:
The Bouchaud-Anderson model (BAM) is a generalisation of the parabolic Anderson model (PAM) in which the driving simple random walk is replaced by a random walk in an inhomogeneous trapping landscape; the BAM reduces to the PAM in the case of constant traps. In this paper we study the BAM with double-exponential potential. We prove the complete localisation of the model whenever the distribution o…
▽ More
The Bouchaud-Anderson model (BAM) is a generalisation of the parabolic Anderson model (PAM) in which the driving simple random walk is replaced by a random walk in an inhomogeneous trapping landscape; the BAM reduces to the PAM in the case of constant traps. In this paper we study the BAM with double-exponential potential. We prove the complete localisation of the model whenever the distribution of the traps is unbounded. This may be contrasted with the case of constant traps (i.e. the PAM), for which it is known that complete localisation fails. This shows that the presence of an inhomogeneous trapping landscape may cause a system of branching particles to exhibit qualitatively distinct concentration behaviour.
△ Less
Submitted 27 July, 2018; v1 submitted 13 September, 2017;
originally announced September 2017.
-
A new phase transition in the parabolic Anderson model with partially duplicated potential
Authors:
Stephen Muirhead,
Richard Pymar,
Nadia Sidorova
Abstract:
We investigate a variant of the parabolic Anderson model, introduced in previous work, in which an i.i.d.\! potential is partially duplicated in a symmetric way about the origin, with each potential value duplicated independently with a certain probability. In previous work we established a phase transition for this model on the integers in the case of Pareto distributed potential with parameter…
▽ More
We investigate a variant of the parabolic Anderson model, introduced in previous work, in which an i.i.d.\! potential is partially duplicated in a symmetric way about the origin, with each potential value duplicated independently with a certain probability. In previous work we established a phase transition for this model on the integers in the case of Pareto distributed potential with parameter $α> 1$ and fixed duplication probability $p \in (0, 1)$: if $α\ge 2$ the model completely localises, whereas if $α\in (1, 2)$ the model may localise on two sites. In this paper we prove a new phase transition in the case that $α\ge 2$ is fixed but the duplication probability $p(n)$ varies with the distance from the origin. We identify a critical scale $p(n) \to 1$, depending on $α$, below which the model completely localises and above which the model localises on exactly two sites. We further establish the behaviour of the model in the critical regime.
△ Less
Submitted 6 December, 2018; v1 submitted 30 December, 2016;
originally announced December 2016.
-
Delocalising the parabolic Anderson model through partial duplication of the potential
Authors:
Stephen Muirhead,
Richard Pymar,
Nadia Sidorova
Abstract:
The parabolic Anderson model on $\mathbb{Z}^d$ with i.i.d. potential is known to completely localise if the distribution of the potential is sufficiently heavy-tailed at infinity. In this paper we investigate a modification of the model in which the potential is partially duplicated in a symmetric way across a plane through the origin. In the case of potential distribution with polynomial tail dec…
▽ More
The parabolic Anderson model on $\mathbb{Z}^d$ with i.i.d. potential is known to completely localise if the distribution of the potential is sufficiently heavy-tailed at infinity. In this paper we investigate a modification of the model in which the potential is partially duplicated in a symmetric way across a plane through the origin. In the case of potential distribution with polynomial tail decay, we exhibit a surprising phase transition in the model as the decay exponent varies. For large values of the exponent the model completely localises as in the i.i.d. case. By contrast, for small values of the exponent we show that the model may delocalise. More precisely, we show that there is an event of non-negligible probability on which the solution has non-negligible mass on two sites.
△ Less
Submitted 25 August, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Mixing times for exclusion processes on hypergraphs
Authors:
Stephen B. Connor,
Richard Pymar
Abstract:
We introduce a natural extension of the exclusion process to hypergraphs and prove an upper bound for its mixing time. In particular we show the existence of a constant $C$ such that for any connected, regular hypergraph $G$ within some natural class, the $\varepsilon$-mixing time of the exclusion process on $G$ with any feasible number of particles can be upper-bounded by…
▽ More
We introduce a natural extension of the exclusion process to hypergraphs and prove an upper bound for its mixing time. In particular we show the existence of a constant $C$ such that for any connected, regular hypergraph $G$ within some natural class, the $\varepsilon$-mixing time of the exclusion process on $G$ with any feasible number of particles can be upper-bounded by $CT_{\text{EX}(2,G)}\log(|V|/\varepsilon)$, where $|V|$ is the number of vertices in $G$ and $T_{\text{EX}(2,G)}$ is the 1/4-mixing time of the corresponding exclusion process with just two particles. Moreover we show this is optimal in the sense that there exist hypergraphs in the same class for which $T_{\mathrm{EX}(2,G)}$ and the mixing time of just one particle are not comparable. The proofs involve an adaptation of the chameleon process, a technical tool invented by Morris and developed by Oliveira for studying the exclusion process on a graph.
△ Less
Submitted 10 June, 2019; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Reconstructing pedigrees using probabilistic analysis of ISSR amplification
Authors:
Loïc Chaumont,
Valéry Malécot,
Richard Pymar,
Chaker Sbai
Abstract:
Data obtained from ISSR amplification may readily be extracted but only allows us to know, for each gene, if a specific allele is present or not. From this partial information we provide a probabilistic method to reconstruct the pedigree corresponding to some families of diploid cultivars. This method consists in determining for each individual what is the most likely couple of parent pair amongst…
▽ More
Data obtained from ISSR amplification may readily be extracted but only allows us to know, for each gene, if a specific allele is present or not. From this partial information we provide a probabilistic method to reconstruct the pedigree corresponding to some families of diploid cultivars. This method consists in determining for each individual what is the most likely couple of parent pair amongst all older individuals, according to some probability measure. The construction of this measure bears on the fact that the probability to observe the specific alleles in the child, given the status of the parents does not depend on the generation and is the same for each gene. This assumption is then justified from a convergence result of gene frequencies which is proved here. Our reconstruction method is applied to a family of 85 living accessions representing the common broom {\it Cytisus scoparius}.
△ Less
Submitted 1 August, 2015;
originally announced August 2015.
-
Localisation in the Bouchaud-Anderson Model
Authors:
Stephen Muirhead,
Richard Pymar
Abstract:
It is well-known that both branching random walk models and trap models can exhibit intermittency and localisation phenomena; the prototypical examples being the parabolic Anderson and Bouchaud trap models respectively. Our aim is to investigate how these localisation phenomena interact. To do so, we study a hybrid model combining the dynamics of both the parabolic Anderson and the Bouchaud trap m…
▽ More
It is well-known that both branching random walk models and trap models can exhibit intermittency and localisation phenomena; the prototypical examples being the parabolic Anderson and Bouchaud trap models respectively. Our aim is to investigate how these localisation phenomena interact. To do so, we study a hybrid model combining the dynamics of both the parabolic Anderson and the Bouchaud trap models; more precisely, we consider a variant of the parabolic Anderson model in which the underlying random walk driving the model is replaced with the Bouchaud trap model.
In this initial study, we consider the model where the potential field distribution has Weibull tail decay and the trap distribution is bounded away from zero. In dimension one, we further assume that the trap distribution decays sufficiently fast. Under these conditions, we show that the localisation effects in the hybrid model are strongly dominated by the influence of the parabolic Anderson model; the Bouchaud trap model plays at most a minor role. Moreover, we distinguish regimes in which the Bouchaud trap model acts to strengthen or weaken the localisation effects due to the parabolic Anderson model, and also identify regimes in which the Bouchaud trap model has no influence at all on localisation in the hybrid model.
△ Less
Submitted 20 March, 2017; v1 submitted 14 November, 2014;
originally announced November 2014.
-
A permuted random walk exits faster
Authors:
Richard Pymar,
Perla Sousi
Abstract:
Let $σ$ be a permutation of $\{0,\ldots,n\}$. We consider the Markov chain $X$ which jumps from $k\neq 0,n$ to $σ(k+1)$ or $σ(k-1)$, equally likely. When $X$ is at 0 it jumps to either $σ(0)$ or $σ(1)$ equally likely, and when $X$ is at $n$ it jumps to either $σ(n)$ or $σ(n-1)$, equally likely. We show that the identity permutation maximizes the expected hitting time of n, when the walk starts at…
▽ More
Let $σ$ be a permutation of $\{0,\ldots,n\}$. We consider the Markov chain $X$ which jumps from $k\neq 0,n$ to $σ(k+1)$ or $σ(k-1)$, equally likely. When $X$ is at 0 it jumps to either $σ(0)$ or $σ(1)$ equally likely, and when $X$ is at $n$ it jumps to either $σ(n)$ or $σ(n-1)$, equally likely. We show that the identity permutation maximizes the expected hitting time of n, when the walk starts at 0. More generally, we prove that the hitting time of a random walk on a strongly connected $d$-directed graph is maximized when the graph is the line $[0,n]\cap\Z$ with $d-2$ self-loops at every vertex and $d-1$ self-loops at 0 and $n$.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
Partial mixing of semi-random transposition shuffles
Authors:
Richard Pymar
Abstract:
We show that for any semi-random transposition shuffle on $n$ cards, the mixing time of any given $k$ cards is at most $n\log k$, provided $k=o((n/\log n)^{1/2})$. In the case of the top-to-random transposition shuffle we show that there is cutoff at this time with a window of size O(n), provided further that $k\to\infty$ as $n\to\infty$ (and no cutoff otherwise). For the random-to-random transpos…
▽ More
We show that for any semi-random transposition shuffle on $n$ cards, the mixing time of any given $k$ cards is at most $n\log k$, provided $k=o((n/\log n)^{1/2})$. In the case of the top-to-random transposition shuffle we show that there is cutoff at this time with a window of size O(n), provided further that $k\to\infty$ as $n\to\infty$ (and no cutoff otherwise). For the random-to-random transposition shuffle we show cutoff at time $(1/2)n\log k$ for the same conditions on $k$. Finally, we analyse the cyclic-to-random transposition shuffle and show partial mixing occurs at time $\leαn\log k$ for some $α$ just larger than 1/2. We prove these results by relating the mixing time of $k$ cards to the mixing of one card. Our results rely heavily on coupling arguments to bound the total variation distance.
△ Less
Submitted 11 February, 2013;
originally announced February 2013.
-
Effect of scale on long-range random graphs and chromosomal inversions
Authors:
Nathanaël Berestycki,
Richard Pymar
Abstract:
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositi…
▽ More
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositions of $n$ particles on a circle, where transpositions only occur again if the spacing is at most $L$. Then the process exhibits the mean-field behavior described by Berestycki and Durrett if and only if L(n) tends to infinity, no matter how slowly. Thus there are regimes where the random graph has no giant component but the random walk nevertheless has a phase transition. We discuss possible relevance of these results for a dataset coming from D. repleta and D. melanogaster and for the typical length of chromosomal inversions.
△ Less
Submitted 20 August, 2012; v1 submitted 22 February, 2011;
originally announced February 2011.
