SearcharxivSearch

arXiv subjects

Omer Angel

Publications and source records attributed to Omer Angel.

At least 19 recordsLinked to original sources

The Heavy-tailed Frog Model

We study the frog model on $\mathbb Z^d$ and on the discrete tori $\mathbb T_L^d$, $d\ge 2$, with a symmetric, translation-invariant, and heavy-tailed transition kernel satisfying \[ Q(x,y)\asymp |x-y|^{-(d+\alpha)}, \qquad \alpha>0. \] Starting from an i.i.d. Poisson$(\lambda)$ number of sleeping particles per site and one active particle at the origin. Active particles perform independent $Q$-random walks and activate the particles they encounter. We first determine the timescale for activating distant vertices. When $\alpha\in(0,d)$, the time required to activate all vertices within distance $L$ of the origin is, with high probability, \[ (\log L)^{\Delta+o(1)}, \qquad \Delta^{-1}:=\log_2\left(\frac{2d}{d+\alpha}\right), \] as $L\to\infty$. This polylogarithmic spreading contrasts sharply with the linear spreading of the classical frog model driven by simple random walks; see Alves, Machado, and Popov (2002) and Ram\'irez and Sidoravicius (2004). When $\alpha>d$, we recover this classical linear behavior by proving matching linear upper and lower bounds; at $\alpha=d$, we prove a linear upper bound. Finally, we consider the finite-lifespan model on $\mathbb T_L^d$, in which each particle is removed after taking $\ell$ steps. We show that the cover lifespan, defined as the smallest $\ell$ for which the torus is entirely activated, is asymptotic to the cover time of a Poisson$(\lambda L^d)$ cloud of independent stationary random walkers.

math.PR

A noisy min-max game on trees

We study a noisy version of a min-max type zero-sum game on the $d$-ary tree. Each edge of the tree is assigned an i.i.d.\ cookie, distributed uniformly on $\{+1,-1\}$. The game is played as follows: starting at the root, two players alternate turns in choosing a child to move to, with the game ending after each player took $n$ turns. Both players have full knowledge of the cookies on the whole tree. The cookies along the traversed edges are picked up and placed in a shared cookie jar. The first player's payoff is the sum of the cookies in the cookie jar, while the second player pays that sum. The value $V_n$ of the $n$-round game is the largest signed sum which can be guaranteed by the first player. We analyze the value $V_n$ and show that as $n \to \infty$, the value is tight for $d=2$, converges in distribution for $d \ge 3$, and converges almost surely for $d \ge 15$. Along the way, we prove various tightness and double exponential tail decay results. The analysis is a mix of percolation-type arguments for large $d$, and iterations on distributions combined with interval arithmetic for small $d$. For $d=2$ we prove the existence of a continuum of fixed points for this iteration, highlighting surprising qualitative differences with the case $d \ge 3$. The question of convergence for $d=2$ remains open.

math.PR

The statistical threshold for planted matchings and spanning trees

In this paper, we study the problem of detecting the presence of a planted perfect matching or spanning tree in an Erd\H{o}s--R\'enyi random graph. More precisely, we study the hypothesis testing problem where the statistician observes a graph on $n$ vertices. Under the null hypothesis, the graph is a realization of an Erd\H{o}s--R\'enyi random graph $G(n,q)$, while under the alternative hypothesis, the graph is the union of an Erd\H{o}s--R\'enyi random graph and a random perfect matching (or random spanning tree). In order to avoid trivial detection by counting edges, we adjust the alternative hypothesis so that the expected number of edges under both distributions coincides. We prove that in both problems, when $q\gg n^{-1/2}$, no test can perform better than random guessing, while for $q\ll n^{-1/2}$, there exist computationally efficient tests that guess correctly with high probability.

math.ST

The largest common subtree of two random trees

We study the size and structure of the largest common subtree (LCS) between two independent Bienaym\'e trees conditioned to have size $n$. When the trees are critical with finite $2$nd and $(2+\kappa)$th moment respectively for some $\kappa>0$, we prove that the LCS has size of order $\sqrt{n}$, and is approximated by the length of three paths meeting at a central node. Moreover, we show that the largest common subtree between two critical independent Bienaym\'e trees with size $n$ and finite second moments may be much larger than $\sqrt{n}$, implying that our result is tight. We also pose a number of open questions and suggestions for future research.

math.PR

Existence and sharpness of the phase transition for the frog model on transitive graphs

We consider a slight modification of the frog model. For a given graph, each vertex has $\mathrm{Poisson}(\lambda)$ particles (or frogs). At time zero, only the particles at the origin are active, and all the other particles are sleeping. Each active particle performs an independent, continuous-time simple random walk, becoming inactive after time $t$. Once an active frog jumps to a vertex, it activates all of its particles. The survival of active particles can be studied as a dependent percolation model with two parameters $\lambda$ and $t$. In the present work, we establish the existence of a phase transition with respect to each parameter for non-amenable graphs of bounded degrees and quasi-transitive graphs of superlinear polynomial growth, as well as prove the sharpness of the phase transition for transitive graphs.

math.PR

Evolution of recursive trees with limited memory

Motivated by questions in social networks, distributed computing and probabilistic combinatorics, the last few years have seen increasing interest in network evolution models where new vertices entering the system need to make decisions based on a partial snapshot of the current state of the network. This paper considers a specific variant of the classical random recursive tree dynamics, where a vertex at time $n+1$ has information only on those vertices that have arrived in the interval $[j(n), n]$ for a sequence $j(n) \uparrow \infty$, and connects to vertices uniformly at random amongst this set. We consider two different regimes on the density information, termed macroscopic and mesoscopic regimes, which respectively correspond to $j(n)=\theta n$ for some $\theta \in (0,1)$, and $j(n)=n-n^{\beta}$ for some $\beta \in (0,1)$. Our main interest is in studying asymptotics of various local and global functionals of the network. We show that in the macroscopic regime, the local limit is expressed in terms of an associated continuous time branching process that depends on the parameter $\theta$, while it is a $\mathrm{Poisson}(1)$-branching process in the mesoscopic regime for any $\beta \in (0,1)$. Furthermore, the height of the macroscopic tree is logarithmic, which we prove exploiting a connection with scaled-attachment random recursive trees (SARRTs) as studied by Devroye, Fawzi and Fraiman (RSA 2011), while it is polynomial in the mesoscopic regime; our argument in this latter case relies on a differential equation approach to track the ancestor indices of late-coming vertices, together with a multiscale analysis. Further, we develop an exploration algorithm to simultaneously reveal the ancestral path of youngest vertices. Using this algorithm, we show that in the mesoscopic regime, the global structure experiences a phase transition at $\beta=1/2$.

math.PR

Voter Model stability with respect to conservative noises

The notions of noise sensitivity and stability were recently extended for the voter model. In this model, the vertices of a graph have opinions that are updated by uniformly selecting edges. We further extend stability results to different classes of perturbations. We consider two different types of noise: in the first one, an exclusion process is performed on the edge selections, while in the second, independent Brownian motions are applied to such a sequence. In both cases, we prove stability of the consensus opinion provided the noise is run for a short amount of time, depending on the underlying graph structure. This is done by analyzing the expected size of the pivotal set, whose definition differs from the usual one in order to reflect the change associated with these noises.

math.PR

The snake in the Brownian sphere

The Brownian sphere is a random metric space, homeomorphic to the two-dimensional sphere, which arises as the universal scaling limit of many types of random planar maps. The direct construction of the Brownian sphere is via a continuous analogue of the Cori--Vauquelin--Schaeffer (CVS) bijection. The CVS bijection maps labeled trees to planar maps, and the continuous version maps Aldous' continuum random tree with Brownian labels (the Brownian snake) to the Brownian sphere. In this work, we describe the inverse of the continuous CVS bijection, by constructing the Brownian snake as a measurable function of the Brownian sphere. Special care is needed to work with the orientation of the Brownian sphere.

math.PR

The scaling limit of the root component in the Wired Minimal Spanning Forest of the Poisson Weighted Infinite Tree

In this paper we prove a scaling limit result for the component of the root in the Wired Minimal Spanning Forest (WMSF) of the Poisson-Weighted Infinite Tree (PWIT), where the latter tree arises as the local weak limit of the Minimal Spanning Tree (MST) on the complete graph endowed with i.i.d. weights on its edges. The limiting object can be obtained by aggregating independent Brownian trees using two types of gluing procedures: one that we call the Brownian tree aggregation process and resembles the so-called stick-breaking construction of the Brownian tree; and another one that we call the chain construction, which simply corresponds to gluing a sequence of metric spaces along a line.

math.PR

Annihilating branching Brownian motion

We study an interacting system of competing particles on the real line. Two populations of positive and negative particles evolve according to branching Brownian motion. When opposing particles meet, their charges neutralize and the particles annihilate, as in an inert chemical reaction. We show that, with positive probability, the two populations coexist and that, on this event, the interface is asymptotically linear with a random slope. A variety of generalizations and open problems are discussed.

math.PR

Trajectory inference for a branching SDE model of cell differentiation

A core challenge for modern biology is how to infer the trajectories of individual cells from population-level time courses of high-dimensional gene expression data. Birth and death of cells present a particular difficulty: existing trajectory inference methods cannot distinguish variability in net proliferation from cell differentiation dynamics, and hence require accurate prior knowledge of the proliferation rate. Building on Global Waddington-OT (gWOT), which performs trajectory inference with rigorous theoretical guarantees when birth and death can be neglected, we show how to use lineage trees available with recently developed CRISPR-based measurement technologies to disentangle proliferation and differentiation. In particular, when there is neither death nor subsampling of cells, we show that we extend gWOT to the case with proliferation with similar theoretical guarantees and computational cost, without requiring any prior information. In the case of death and/or subsampling, our method introduces a bias, that we describe explicitly and argue to be inherent to these lineage tracing data. We demonstrate in both cases the ability of this method to reliably reconstruct the landscape of a branching SDE from time-courses of simulated datasets with lineage tracing, outperforming even a benchmark using the experimentally unavailable true branching rates.

q-bio.QM

Random walks on regular trees can not be slowed down

A random walk on a regular tree (or any non-amenable graph) has positive speed. We ask whether such a walk can be slowed down by applying carefully chosen time-dependent permutations of the vertices. We prove that on trees the random walk can not be slowed down.

math.PR

Uniform even subgraphs and graphical representations of Ising as factors of i.i.d

We prove that the Loop O(1) model, a well-known graphical expansion of the Ising model, is a factor of i.i.d. on unimodular random rooted graphs under various conditions, including in the presence of a non-negative external field. As an application we show that the gradient of the free Ising model is a factor of i.i.d. on unimodular planar maps having a locally finite dual. The key idea is to develop an appropriate theory of local limits of uniform even subgraphs with various boundary conditions and prove that they can be sampled as a factor of i.i.d. Another key tool we prove and exploit is that the wired uniform spanning tree on a unimodular transient graph is a factor of i.i.d. This partially answers some questions posed by Hutchcroft.

math.PR

Amenability of quadratic automaton groups

We give lower bounds for the electrical resistance between vertices in the Schreier graphs of the action of the linear (degree 1) and quadratic (degree 2) mother groups on the orbit of the zero ray. These bounds, combined with results of \cite{JNS} show that every quadratic activity automaton group is amenable. The resistance bounds use an apparently new "weighted" version of the Nash-Williams criterion which may be of independent interest.

math.GR

Dynamical noise sensitivity for the voter model

We study noise sensitivity of the consensus opinion of the voter model on finite graphs, with respect to noise affecting the initial opinions and noise affecting the dynamics. We prove that the final opinion is stable with respect to small perturbations of the initial configuration, and is sensitive to perturbations of the dynamics governing the evolution of the process. Our proofs rely on the duality relationship between the voter model and coalescing random walks, and on a precise description of this evolution when we have coupled dynamics.

math.PR

Balanced Excited Random Walk in Two Dimensions

We give non-trivial upper and lower bounds on the range of the so-called Balanced Excited Random Walk in two dimensions, and verify a conjecture of Benjamini, Kozma and Schapira. To the best of our knowledge these are the first non-trivial results for this 2-dimensional model

math.PR

Geometric random graphs on circles

Given a dense countable set in a metric space, the infinite random geometric graph is the random graph with the given vertex set and where any two points at distance less than 1 are connected, independently, with some fixed probability. It has been observed by Bonato and Janssen that in some, but not all, such settings, the resulting graph does not depend on the random choices, in the sense that it is almost surely isomorphic to a fixed graph. While this notion makes sense in the general context of metric spaces, previous work has been restricted to sets in Banach spaces. We study the case when the underlying metric space is a circle of circumference $L$, and find a surprising dependency of behavior on the rationality of $L$.

math.CO

Pairwise optimal coupling of multiple random variables

We generalize the optimal coupling theorem to multiple random variables: Given a collection of random variables, it is possible to couple all of them so that any two differ with probability comparable to the total-variation distance between them. In a number of cases we show that the disagreement probability we achieve is the best possible. The proofs of sharpness rely on new results in extremal combinatorics, which may be of independent interest.

math.PR