Searcharxiv⌕ Search

arXiv subjects

Matthew Junge

Publications and source records attributed to Matthew Junge.

51 records · Page 3Linked to original sources
arXiv2018

Block size in Geometric(p)-biased permutations

Fix a probability distribution $\mathbf p = (p_1, p_2, \cdots)$ on the positive integers. The first block in a $\mathbf p$-biased permutation can be visualized in terms of raindrops that land at each positive integer $j$ with probability $p_j$. It is the first point $K$ so that all sites in $[1,K]$ are wet and all sites in $(K,\infty)$ are dry. For the geometric distribution $p_j= p(1-p)^{j-1}$ we show that $p \log K$ converges in probability to an explicit constant as $p$ tends to 0. Additionally, we prove that if $\mathbf p$ has a stretch exponential distribution, then $K$ is infinite with positive probability.

math.PR↗
arXiv2018

The frog model on trees with drift

We provide a uniform upper bound on the minimal drift so that the one-per-site frog model on a $d$-ary tree is recurrent. To do this, we introduce a subprocess that couples across trees with different degrees. Finding couplings for frog models on nested sequences of graphs is known to be difficult. The upper bound comes from combining the coupling with a new, simpler proof that the frog model on a binary tree is recurrent when the drift is sufficiently strong. Additionally, we describe a coupling between frog models on trees for which the degree of the smaller tree divides that of the larger one. This implies that the critical drift has a limit as $d$ tends to infinity along certain subsequences.

math.PR↗
arXiv2018

Poisson percolation on the oriented square lattice

In Poisson percolation each edge becomes open after an independent exponentially distributed time with rate that decreases in the distance from the origin. As a sequel to our work on the square lattice, we describe the limiting shape of the component containing the origin in the oriented case. We show that the density of occupied sites at height $y$ in the cluster is close to the percolation probability in the corresponding homogeneous percolation process, and we study the fluctuations of the boundary.

math.PR↗
arXiv2018

The upper threshold in ballistic annihilation

Three-speed ballistic annihilation starts with infinitely many particles on the real line. Each is independently assigned either speed-$0$ with probability $p$, or speed-$\pm 1$ symmetrically with the remaining probability. All particles simultaneously begin moving at their assigned speeds and mutually annihilate upon colliding. Physicists conjecture when $p \leq p_c = 1/4$ all particles are eventually annihilated. Dygert et. al. prove $p_c \leq .3313$, while Sidoravicius and Tournier describe an approach to prove $p_c \leq .3281$. For the variant in which particles start at the integers, we improve the bound to $.2870$. A renewal property lets us equate survival of a particle to the survival of a Galton-Watson process whose offspring distribution a computer can rigorously approximate. This approach may help answer the nearly thirty-year old conjecture that $p_c >0$.

math.PR↗
arXiv2018

The bullet problem with discrete speeds

Bullets are fired, one per second, with independent speeds sampled uniformly from a discrete set. Collisions result in mutual annihilation. We show that the second fastest bullet survives with positive probability, while a slowest bullet does not. This also holds for exponential spacings between firing times, and for certain non-uniform measures that place less probability on the second fastest bullet. Our results provide new insights into a two-sided version of the bullet process known to physicists as ballistic annihilation.

math.PR↗
arXiv2018

Coalescing random walk on unimodular graphs

Coalescing random walk on a unimodular random rooted graph for which the root has finite expected degree visits each site infinitely often almost surely. A corollary is that an opinion in the voter model on such graphs has infinite expected lifetime. Additionally, we deduce an adaptation of our main theorem that holds uniformly for coalescing random walk on finite random unimodular graphs with degree distribution stochastically dominated by a probability measure with finite mean.

math.PR↗
arXiv2017

Poisson percolation on the square lattice

On the square lattice raindrops fall on an edge with midpoint $x$ at rate $\|x\|_\infty^{-α}$. The edge becomes open when the first drop falls on it. Let $ρ(x,t)$ be the probability that the edge with midpoint $x=(x_1,x_2)$ is open at time $t$ and let $n(p,t)$ be the distance at which edges are open with probability $p$ at time $t$. We show that with probability tending to 1 as $t \to \infty$: (i) the cluster containing the origin $\mathbb C_0(t)$ is contained in the square of radius $n(p_c-ε,t)$, and (ii) the cluster fills the square of radius $n(p_c+ε,t)$ with the density of points near $x$ being close to $θ(ρ(x,t))$ where $θ(p)$ is the percolation probability when bonds are open with probability $p$ on $\mathbb Z^2$. Results of Nolin suggest that if $N=n(p_c,t)$ then the boundary fluctuations of $\mathbb C_0(t)$ are of size $N^{4/7}$.

math.PR↗
arXiv2017

Stochastic orders and the frog model

The frog model starts with one active particle at the root of a graph and some number of dormant particles at all nonroot vertices. Active particles follow independent random paths, waking all inactive particles they encounter. We prove that certain frog model statistics are monotone in the initial configuration for two nonstandard stochastic dominance relations: the increasing concave and the probability generating function orders. This extends many canonical theorems. We connect recurrence for random initial configurations to recurrence for deterministic configurations. Also, the limiting shape of activated sites on the integer lattice respects both of these orders. Other implications include monotonicity results on transience of the frog model where the number of frogs per vertex decays away from the origin, on survival of the frog model with death, and on the time to visit a given vertex in any frog model.

math.PR↗
arXiv2016

Ewens sampling and invariable generation

We study the number of random permutations needed to invariably generate the symmetric group, $S_n$, when the distribution of cycle counts has the strong $α$-logarithmic property. The canonical example is the Ewens sampling formula, for which the number of $k$-cycles relates to a conditioned Poisson random variable with mean $α/k$. The special case $α=1$ corresponds to uniformly random permutations, for which it was recently shown that exactly four are needed. For strong $α$-logarithmic measures, and almost every $α$, we show that precisely $\left\lceil ( 1- α\log 2 )^{-1} \right\rceil$ permutations are needed to invariably generate $S_n$. A corollary is that for many other probability measures on $S_n$ no bounded number of permutations will invariably generate $S_n$ with positive probability. Along the way we generalize classic theorems of Erdős, Tehran, Pyber, Luczak and Bovey to permutations obtained from the Ewens sampling formula.

math.PR↗
arXiv2016

From transience to recurrence with Poisson tree frogs

Consider the following interacting particle system on the $d$-ary tree, known as the frog model: Initially, one particle is awake at the root and i.i.d. Poisson many particles are sleeping at every other vertex. Particles that are awake perform simple random walks, awakening any sleeping particles they encounter. We prove that there is a phase transition between transience and recurrence as the initial density of particles increases, and we give the order of the transition up to a logarithmic factor.

math.PR↗
arXiv2016

Recurrence and transience for the frog model on trees

The frog model is a growing system of random walks where a particle is added whenever a new site is visited. A longstanding open question is how often the root is visited on the infinite $d$-ary tree. We prove the model undergoes a phase transition, finding it recurrent for $d=2$ and transient for $d\geq 5$. Simulations suggest strong recurrence for $d=2$, weak recurrence for $d=3$, and transience for $d\geq 4$. Additionally, we prove a 0-1 law for all $d$-ary trees, and we exhibit a graph on which a 0-1 law does not hold. To prove recurrence when $d=2$, we construct a recursive distributional equation for the number of visits to the root in a smaller process and show the unique solution must be infinity a.s. The proof of transience when $d=5$ relies on computer calculations for the transition probabilities of a large Markov chain. We also include the proof for $d \geq 6$, which uses similar techniques but does not require computer assistance.

math.PR↗
arXiv2015

Frog model wakeup time on the complete graph

The frog model is a system of random walks where active particles set sleeping particles in motion. On the complete graph with n vertices it is equivalent to a well-understood rumor spreading model. We given an alternate and elementary proof that the wake-up time, i.e. the expected time for every particle to be activated, is Theta(log n). Additionally, we give an explicit distributional equation for the wakeup time as a weighted sum of geometric random variables. This project was part of the University of Washington Research Experience for Undergraduates program.

math.PR↗
arXiv2015

Site recurrence for coalescing random walk

Begin continuous time random walks from every vertex of a graph and have particles coalesce when they collide. We use a duality relation with the voter model to prove the process is site recurrent on bounded degree graphs, and for Galton-Watson trees whose offspring distribution has exponential tail. We prove bounds on the occupation probability of a site, as well as a general 0-1 law. Similar conclusions hold for a coalescing process on trees where particles do not backtrack.

math.PR↗
arXiv2015

Choices, intervals and equidistribution

We give a sufficient condition for a random sequence in [0,1] generated by a $Ψ$-process to be equidistributed. The condition is met by the canonical example -- the $\max$-2 process -- where the $n$th term is whichever of two uniformly placed points falls in the larger gap formed by the previous $n-1$ points. This solves an open problem from Itai Benjamini, Pascal Maillard and Elliot Paquette. We also deduce equidistribution for more general $Ψ$-processes. This includes an interpolation of the $\min$-2 and $\max$-2 processes that is biased towards $\min$-2.

math.PR↗