Showing 1–50 of 77 results for author: Angel, O

Voter Model stability with respect to conservative noises

Authors: Gideon Amir, Omer Angel, Rangel Baldasso, Daniel de la Riva

Abstract: 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 sec… ▽ More 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. △ Less

Submitted 2 September, 2025; originally announced September 2025.

The snake in the Brownian sphere

Authors: Omer Angel, Emmanuel Jacob, Brett Kolesnik, Grégory Miermont

Abstract: 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… ▽ More 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. △ Less

Submitted 18 February, 2025; originally announced February 2025.

MSC Class: 60D05

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

Authors: Omer Angel, Delphin Sénizergues

Abstract: 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 usin… ▽ More 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. △ Less

Submitted 22 December, 2023; originally announced December 2023.

Comments: 62 pages, 3 figure. Comments welcome!

Annihilating branching Brownian motion

Authors: Daniel Ahlberg, Omer Angel, Brett Kolesnik

Abstract: 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… ▽ More 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. △ Less

Submitted 15 May, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: Video summary: https://youtu.be/aOjQUqwUKhA. v2: final version, International Mathematics Research Notices, to appear, https://doi.org/10.1093/imrn/rnae068

MSC Class: 60J65; 60J80

Trajectory inference for a branching SDE model of cell differentiation

Authors: Elias Ventre, Aden Forrow, Nitya Gadhiwala, Parijat Chakraborty, Omer Angel, Geoffrey Schiebinger

Abstract: 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… ▽ More 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. △ Less

Submitted 18 March, 2024; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: 37 pages, 7 figures

MSC Class: 60J85; 70F17; 92-10

Random walks on regular trees can not be slowed down

Authors: Omer Angel, Jacob Richey, Yinon Spinka, Amir Yehudayoff

Abstract: 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. 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. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 17 pages

MSC Class: 60 Probability theory and stochastic processes

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

Authors: Omer Angel, Gourab Ray, Yinon Spinka

Abstract: 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 deve… ▽ More 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. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Amenability of quadratic automaton groups

Authors: Gideon Amir, Omer Angel, Balint Virag

Abstract: 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 cri… ▽ More 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. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 20 pages, 3 figures

MSC Class: 60B15; 43A07; 20E08

Dynamical noise sensitivity for the voter model

Authors: Gideon Amir, Omer Angel, Rangel Baldasso, Ron Peretz

Abstract: 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… ▽ More 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. △ Less

Submitted 7 October, 2022; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: 8 pages. Manuscript matching plublished version

MSC Class: 82C22; 60J27; 60K35

Journal ref: Electron. Commun. Probab. 27: 1-7 (2022)

Balanced Excited Random Walk in Two Dimensions

Authors: Omer Angel, Mark Holmes, Alejandro Ramírez

Abstract: 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 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 △ Less

Submitted 29 October, 2021; originally announced October 2021.

Comments: 31 pages, 3 figures

MSC Class: Primary 60K35; Secondary 60G42

A tale of two balloons

Authors: Omer Angel, Gourab Ray, Yinon Spinka

Abstract: From each point of a Poisson point process start growing a balloon at rate 1. When two balloons touch, they pop and disappear. Is every point contained in balloons infinitely often or not? We answer this for the Euclidean space, the hyperbolic plane and regular trees. The result for the Euclidean space relies on a novel 0-1 law for stationary processes. Towards establishing the results for the h… ▽ More From each point of a Poisson point process start growing a balloon at rate 1. When two balloons touch, they pop and disappear. Is every point contained in balloons infinitely often or not? We answer this for the Euclidean space, the hyperbolic plane and regular trees. The result for the Euclidean space relies on a novel 0-1 law for stationary processes. Towards establishing the results for the hyperbolic plane and regular trees, we prove an upper bound on the density of any well-separated set in a regular tree which is a factor of an i.i.d. process. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Comments: 19 pages, 2 figures

MSC Class: 60D05; 60G55; 05C70

Scaling limits of the three-dimensional uniform spanning tree and associated random walk

Authors: Omer Angel, David A. Croydon, Sarai Hernandez-Torres, Daisuke Shiraishi

Abstract: We show that the law of the three-dimensional uniform spanning tree (UST) is tight under rescaling in a space whose elements are measured, rooted real trees, continuously embedded into Euclidean space. We also establish that the relevant laws actually converge along a particular scaling sequence. The techniques that we use to establish these results are further applied to obtain various properties… ▽ More We show that the law of the three-dimensional uniform spanning tree (UST) is tight under rescaling in a space whose elements are measured, rooted real trees, continuously embedded into Euclidean space. We also establish that the relevant laws actually converge along a particular scaling sequence. The techniques that we use to establish these results are further applied to obtain various properties of the intrinsic metric and measure of any limiting space, including showing that the Hausdorff dimension of such is given by $3/β$, where $β\approx 1.624\dots$ is the growth exponent of three-dimensional loop-erased random walk. Additionally, we study the random walk on the three-dimensional uniform spanning tree, deriving its walk dimension (with respect to both the intrinsic and Euclidean metric) and its spectral dimension, demonstrating the tightness of its annealed law under rescaling, and deducing heat kernel estimates for any diffusion that arises as a scaling limit. △ Less

Submitted 3 February, 2021; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: 78 pages, 11 figures. V2: Several minor corrections. The order of Section 3 was rearranged

MSC Class: 60D05 (Primary) 60G57; 60K37 (Secondary)

Journal ref: Ann. Probab. 49(6): 3032-3105 (November 2021)

The number of spanning clusters of the uniform spanning tree in three dimensions

Authors: Omer Angel, David A. Croydon, Sarai Hernandez-Torres, Daisuke Shiraishi

Abstract: Let ${\mathcal U}_δ$ be the uniform spanning tree on $δ\mathbb{Z}^{3}$. A spanning cluster of ${\mathcal U}_δ$ is a connected component of the restriction of ${\mathcal U}_δ$ to the unit cube $[0,1]^{3}$ that connects the left face $\{ 0 \} \times [0,1]^{2}$ to the right face $\{ 1 \} \times [0,1]^{2}$. In this note, we will prove that the number of the spanning clusters is tight as $δ\to 0$, whic… ▽ More Let ${\mathcal U}_δ$ be the uniform spanning tree on $δ\mathbb{Z}^{3}$. A spanning cluster of ${\mathcal U}_δ$ is a connected component of the restriction of ${\mathcal U}_δ$ to the unit cube $[0,1]^{3}$ that connects the left face $\{ 0 \} \times [0,1]^{2}$ to the right face $\{ 1 \} \times [0,1]^{2}$. In this note, we will prove that the number of the spanning clusters is tight as $δ\to 0$, which resolves an open question raised by Benjamini (1999). △ Less

Submitted 10 March, 2020; originally announced March 2020.

Comments: 8 pages, 1 figure

MSC Class: 60D05 (Primary); 05C80 (Secondary)

On the tail of the branching random walk local time

Authors: Omer Angel, Tom Hutchcroft, Antal A. Járai

Abstract: Consider a critical branching random walk on $\mathbb{Z}^d$, $d\geq 1$, started with a single particle at the origin, and let $L(x)$ be the total number of particles that ever visit a vertex $x$. We study the tail of $L(x)$ under suitable conditions on the offspring distribution. In particular, our results hold if the offspring distribution has an exponential moment. Consider a critical branching random walk on $\mathbb{Z}^d$, $d\geq 1$, started with a single particle at the origin, and let $L(x)$ be the total number of particles that ever visit a vertex $x$. We study the tail of $L(x)$ under suitable conditions on the offspring distribution. In particular, our results hold if the offspring distribution has an exponential moment. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 28 pages

Geometric random graphs on circles

Authors: Omer Angel, Yinon Spinka

Abstract: 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 i… ▽ More 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$. △ Less

Submitted 19 May, 2021; v1 submitted 13 December, 2019; originally announced December 2019.

Comments: 14 pages, 1 figure. Minor improvements

MSC Class: 05C80; 60C05

Markov chains with exponential return times are finitary

Authors: Omer Angel, Yinon Spinka

Abstract: Consider an ergodic Markov chain on a countable state space for which the return times have exponential tails. We show that the stationary version of any such chain is a finitary factor of an i.i.d. process. A key step is to show that any stationary renewal process whose jump distribution has exponential tails and is not supported on a proper subgroup of $\mathbb{Z}$ is a finitary factor of an i.i… ▽ More Consider an ergodic Markov chain on a countable state space for which the return times have exponential tails. We show that the stationary version of any such chain is a finitary factor of an i.i.d. process. A key step is to show that any stationary renewal process whose jump distribution has exponential tails and is not supported on a proper subgroup of $\mathbb{Z}$ is a finitary factor of an i.i.d. process. △ Less

Submitted 17 August, 2019; originally announced August 2019.

Comments: 9 pages, 1 figure

MSC Class: 60J10; 60G10

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 2918-2926

Pairwise optimal coupling of multiple random variables

Authors: Omer Angel, Yinon Spinka

Abstract: 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 c… ▽ More 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. △ Less

Submitted 6 May, 2021; v1 submitted 2 March, 2019; originally announced March 2019.

Comments: 18 pages, 4 figures. Revised introduction. Improved and simplified some results and proofs

MSC Class: 60C05

Long monotone trails in random edge-labelings of random graphs

Authors: Omer Angel, Asaf Ferber, Benny Sudakov, Vincent Tassion

Abstract: Given a graph $G$ and a bijection $f : E(G)\rightarrow \{1, 2, \ldots,e(G)\}$, we say that a trail/path in $G$ is $f$-\emph{increasing} if the labels of consecutive edges of this trail/path form an increasing sequence. More than 40 years ago Chvátal and Komlós raised the question of providing the worst-case estimates of the length of the longest increasing trail/path over all edge orderings of… ▽ More Given a graph $G$ and a bijection $f : E(G)\rightarrow \{1, 2, \ldots,e(G)\}$, we say that a trail/path in $G$ is $f$-\emph{increasing} if the labels of consecutive edges of this trail/path form an increasing sequence. More than 40 years ago Chvátal and Komlós raised the question of providing the worst-case estimates of the length of the longest increasing trail/path over all edge orderings of $K_n$. The case of a trail was resolved by Graham and Kleitman, who proved that the answer is $n-1$, and the case of a path is still widely open. Recently Lavrov and Loh proposed to study the average case of this problem in which the edge ordering is chosen uniformly at random. They conjectured (and it was proved by Martinsson) that such an ordering with high probability (whp) contains an increasing Hamilton path. In this paper we consider random graph $G=G(n,p)$ and its edge ordering chosen uniformly at random. In this setting we determine whp the asymptotics of the number of edges in the longest increasing trail. In particular we prove an average case of the result of Graham and Kleitman, showing that the random edge ordering of $K_n$ has whp an increasing trail of length $(1-o(1))en$ and this is tight. We also obtain an asymptotically tight result for the length of the longest increasing path for random Erdő-Renyi graphs with $p=o(1)$. △ Less

Submitted 22 May, 2019; v1 submitted 22 August, 2018; originally announced August 2018.

Mallows permutations as stable matchings

Authors: Omer Angel, Alexander E. Holroyd, Tom Hutchcroft, Avi Levy

Abstract: We show that the Mallows measure on permutations of $1,\ldots,n$ arises as the law of the unique Gale-Shapley stable matching of the random bipartite graph conditioned to be perfect, where preferences arise from a total ordering of the vertices but are restricted to the (random) edges of the graph. We extend this correspondence to infinite intervals, for which the situation is more intricate. We p… ▽ More We show that the Mallows measure on permutations of $1,\ldots,n$ arises as the law of the unique Gale-Shapley stable matching of the random bipartite graph conditioned to be perfect, where preferences arise from a total ordering of the vertices but are restricted to the (random) edges of the graph. We extend this correspondence to infinite intervals, for which the situation is more intricate. We prove that almost surely every stable matching of the random bipartite graph obtained by performing Bernoulli percolation on the complete bipartite graph $K_{\mathbb{Z},\mathbb{Z}}$ falls into one of two classes: a countable family $(σ_n)_{n\in\mathbb{Z}}$ of tame stable matchings, in which the length of the longest edge crossing $k$ is $O(\log |k|)$ as $k\to\pm \infty$, and an uncountable family of wild stable matchings, in which this length is $\exp Ω(k)$ as $k\to +\infty$. The tame stable matching $σ_n$ has the law of the Mallows permutation of $\mathbb{Z}$ (as constructed by Gnedin and Olshanski) composed with the shift $k\mapsto k+n$. The permutation $σ_{n+1}$ dominates $σ_{n}$ pointwise, and the two permutations are related by a shift along a random strictly increasing sequence. △ Less

Submitted 17 July, 2018; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: 22 pages, 7 figures. V2: Very minor revisions

Journal ref: Can. J. Math.-J. Can. Math. 73 (2021) 1531-1555

Perfect shuffling by lazy swaps

Authors: Omer Angel, Alexander E Holroyd

Abstract: We characterize the minimum-length sequences of independent lazy simple transpositions whose composition is a uniformly random permutation. For every reduced word of the reverse permutation there is exactly one valid way to assign probabilities to the transpositions. It is an open problem to determine the minimum length of such a sequence when the simplicity condition is dropped. We characterize the minimum-length sequences of independent lazy simple transpositions whose composition is a uniformly random permutation. For every reduced word of the reverse permutation there is exactly one valid way to assign probabilities to the transpositions. It is an open problem to determine the minimum length of such a sequence when the simplicity condition is dropped. △ Less

Submitted 8 March, 2018; v1 submitted 14 February, 2018; originally announced February 2018.

MSC Class: 05A05; 60C05; 68P10

Counterexamples for percolation on unimodular random graphs

Authors: Omer Angel, Tom Hutchcroft

Abstract: We construct an example of a bounded degree, nonamenable, unimodular random rooted graph with $p_c=p_u$ for Bernoulli bond percolation, as well as an example of a bounded degree, unimodular random rooted graph with $p_c<1$ but with an infinite cluster at criticality. These examples show that two well-known conjectures of Benjamini and Schramm are false when generalised from transitive graphs to un… ▽ More We construct an example of a bounded degree, nonamenable, unimodular random rooted graph with $p_c=p_u$ for Bernoulli bond percolation, as well as an example of a bounded degree, unimodular random rooted graph with $p_c<1$ but with an infinite cluster at criticality. These examples show that two well-known conjectures of Benjamini and Schramm are false when generalised from transitive graphs to unimodular random rooted graphs. △ Less

Submitted 9 October, 2017; originally announced October 2017.

Comments: 20 pages, 3 figures

Large deviations for subcritical bootstrap percolation on the random graph

Authors: Omer Angel, Brett Kolesnik

Abstract: We study atypical behavior in bootstrap percolation on the Erdős-Rényi random graph. Initially a set $S$ is infected. Other vertices are infected once at least $r$ of their neighbors become infected. Janson et al. (2012) locates the critical size of $S$, above which it is likely that the infection will spread almost everywhere. Below this threshold, a central limit theorem is proved for the size o… ▽ More We study atypical behavior in bootstrap percolation on the Erdős-Rényi random graph. Initially a set $S$ is infected. Other vertices are infected once at least $r$ of their neighbors become infected. Janson et al. (2012) locates the critical size of $S$, above which it is likely that the infection will spread almost everywhere. Below this threshold, a central limit theorem is proved for the size of the eventually infected set. In this note, we calculate the rate function for the event that a small set $S$ eventually infects an unexpected number of vertices, and identify the least-cost trajectory realizing such a large deviation. △ Less

Submitted 4 January, 2021; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: Added missing \log in Theorem 3

The string of diamonds is nearly tight for rumour spreading

Authors: Omer Angel, Abbas Mehrabian, Yuval Peres

Abstract: For a rumour spreading protocol, the spread time is defined as the first time that everyone learns the rumour. We compare the synchronous push&pull rumour spreading protocol with its asynchronous variant, and show that for any $n$-vertex graph and any starting vertex, the ratio between their expected spread times is bounded by $O \left({n}^{1/3}{\log^{2/3} n}\right)$. This improves the… ▽ More For a rumour spreading protocol, the spread time is defined as the first time that everyone learns the rumour. We compare the synchronous push&pull rumour spreading protocol with its asynchronous variant, and show that for any $n$-vertex graph and any starting vertex, the ratio between their expected spread times is bounded by $O \left({n}^{1/3}{\log^{2/3} n}\right)$. This improves the $O(\sqrt n)$ upper bound of Giakkoupis, Nazari, and Woelfel (in Proceedings of ACM Symposium on Principles of Distributed Computing, 2016). Our bound is tight up to a factor of $O(\log n)$, as illustrated by the string of diamonds graph. We also show that if for a pair $α,β$ of real numbers, there exists infinitely many graphs for which the two spread times are $n^α$ and $n^β$ in expectation, then $0\leqα\leq 1$ and $α\leq β\leq \frac13 + \frac23 α$; and we show each such pair $α,β$ is achievable. △ Less

Submitted 18 July, 2017; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: Will be presented at RANDOM'2017 conference. 14 pages, Theorem 2.5 added in this version

ACM Class: C.2.1; G.2.2; G.3

Journal ref: Combinator. Probab. Comp. 29 (2020) 190-199

The Local Limit of Random Sorting Networks

Authors: Omer Angel, Duncan Dauvergne, Alexander E. Holroyd, Bálint Virág

Abstract: A sorting network is a geodesic path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of $S_n$ generated by adjacent transpositions. For a uniformly random sorting network, we establish the existence of a local limit of the process of space-time locations of transpositions in a neighbourhood of $an$ for $a\in[0,1]$ as $n\to\infty$. Here time is scaled by a factor of $1/n$ and space is not s… ▽ More A sorting network is a geodesic path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of $S_n$ generated by adjacent transpositions. For a uniformly random sorting network, we establish the existence of a local limit of the process of space-time locations of transpositions in a neighbourhood of $an$ for $a\in[0,1]$ as $n\to\infty$. Here time is scaled by a factor of $1/n$ and space is not scaled. The limit is a swap process $U$ on $\mathbb{Z}$. We show that $U$ is stationary and mixing with respect to the spatial shift and has time-stationary increments. Moreover, the only dependence on $a$ is through time scaling by a factor of $\sqrt{a(1-a)}$. To establish the existence of $U$, we find a local limit for staircase-shaped Young tableaux. These Young tableaux are related to sorting networks through a bijection of Edelman and Greene. △ Less

Submitted 19 March, 2019; v1 submitted 27 February, 2017; originally announced February 2017.

Comments: 39 pages, 6 figures, The abstract and some exposition in Sections 1-3 has been rewritten. Sections 2 and 3 from the previous version have been merged into one section. Some proofs have been edited for clarity (chiefly the proof of Proposition 5.3, where a figure has been added to help explain the proof)

MSC Class: 60C05; 05E10; 68P10

Journal ref: Annales de l'Institut Henri Poincaré, Probabilités et Statistiques. Vol. 55. No. 1. Institut Henri Poincaré, 2019. Awarded "best published paper in the journal 2018-19"

Hyperbolic and Parabolic Unimodular Random Maps

Authors: Omer Angel, Tom Hutchcroft, Asaf Nachmias, Gourab Ray

Abstract: We show that for infinite planar unimodular random rooted maps, many global geometric and probabilistic properties are equivalent, and are determined by a natural, local notion of average curvature. This dichotomy includes properties relating to amenability, conformal geometry, random walks, uniform and minimal spanning forests, and Bernoulli bond percolation. We also prove that every simply conne… ▽ More We show that for infinite planar unimodular random rooted maps, many global geometric and probabilistic properties are equivalent, and are determined by a natural, local notion of average curvature. This dichotomy includes properties relating to amenability, conformal geometry, random walks, uniform and minimal spanning forests, and Bernoulli bond percolation. We also prove that every simply connected unimodular random rooted map is sofic, that is, a Benjamini-Schramm limit of finite maps. △ Less

Submitted 21 March, 2018; v1 submitted 27 December, 2016; originally announced December 2016.

Comments: 54 pages, 8 figures. V2: Final version, some minor revisions. To appear in GAFA

Thresholds for contagious sets in random graphs

Authors: Omer Angel, Brett Kolesnik

Abstract: For fixed $r\geq 2$, we consider bootstrap percolation with threshold $r$ on the Erdős-Rényi graph ${\cal G}_{n,p}$. We identify a threshold for $p$ above which there is with high probability a set of size $r$ which can infect the entire graph. This improves a result of Feige, Krivelevich and Reichman, which gives bounds for this threshold, up to multiplicative constants. As an application of ou… ▽ More For fixed $r\geq 2$, we consider bootstrap percolation with threshold $r$ on the Erdős-Rényi graph ${\cal G}_{n,p}$. We identify a threshold for $p$ above which there is with high probability a set of size $r$ which can infect the entire graph. This improves a result of Feige, Krivelevich and Reichman, which gives bounds for this threshold, up to multiplicative constants. As an application of our results, we also obtain an upper bound for the threshold for $K_4$-bootstrap percolation on ${\cal G}_{n,p}$, as studied by Balogh, Bollobás and Morris. We conjecture that our bound is asymptotically sharp. These thresholds are closely related to the survival probabilities of certain time-varying branching processes, and we derive asymptotic formulae for these survival probabilities which are of interest in their own right. △ Less

Submitted 30 November, 2016; originally announced November 2016.

Comments: 45 pages

MSC Class: 05C80; 60K35; 37B15; 60J85; 82B26

Local max-cut in smoothed polynomial time

Authors: Omer Angel, Sébastien Bubeck, Yuval Peres, Fan Wei

Abstract: In 1988, Johnson, Papadimitriou and Yannakakis wrote that "Practically all the empirical evidence would lead us to conclude that finding locally optimal solutions is much easier than solving NP-hard problems". Since then the empirical evidence has continued to amass, but formal proofs of this phenomenon have remained elusive. A canonical (and indeed complete) example is the local max-cut problem,… ▽ More In 1988, Johnson, Papadimitriou and Yannakakis wrote that "Practically all the empirical evidence would lead us to conclude that finding locally optimal solutions is much easier than solving NP-hard problems". Since then the empirical evidence has continued to amass, but formal proofs of this phenomenon have remained elusive. A canonical (and indeed complete) example is the local max-cut problem, for which no polynomial time method is known. In a breakthrough paper, Etscheid and Röglin proved that the smoothed complexity of local max-cut is quasi-polynomial, i.e., if arbitrary bounded weights are randomly perturbed, a local maximum can be found in $n^{O(\log n)}$ steps. In this paper we prove smoothed polynomial complexity for local max-cut, thus confirming that finding local optima for max-cut is much easier than solving it. △ Less

Submitted 10 April, 2017; v1 submitted 15 October, 2016; originally announced October 2016.

Comments: added some remarks and corollaries; to appear in STOC 2017

Multicolour Poisson Matching

Authors: Gideon Amir, Omer Angel, Alexander E. Holroyd

Abstract: Consider several independent Poisson point processes on R^d, each with a different colour and perhaps a different intensity, and suppose we are given a set of allowed family types, each of which is a multiset of colours such as red-blue or red-red-green. We study translation-invariant schemes for partitioning the points into families of allowed types. This generalizes the 1-colour and 2-colour mat… ▽ More Consider several independent Poisson point processes on R^d, each with a different colour and perhaps a different intensity, and suppose we are given a set of allowed family types, each of which is a multiset of colours such as red-blue or red-red-green. We study translation-invariant schemes for partitioning the points into families of allowed types. This generalizes the 1-colour and 2-colour matching schemes studied previously (where the sets of allowed family types are the singletons {red-red} and {red-blue} respectively). We characterize when such a scheme exists, as well as the optimal tail behaviour of a typical family diameter. The latter has two different regimes that are analogous to the 1-colour and 2-colour cases, and correspond to the intensity vector lying in the interior and boundary of the existence region respectively. We also address the effect of requiring the partition to be a deterministic function (i.e. a factor) of the points. Here we find the optimal tail behaviour in dimension 1. There is a further separation into two regimes, governed by algebraic properties of the allowed family types. △ Less

Submitted 25 May, 2016; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: 40 pages, 5 figures

An isoperimetric inequality for planar triangulations

Authors: Omer Angel, Itai Benjamini, Nizan Horesh

Abstract: We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6. We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6. △ Less

Submitted 20 April, 2016; originally announced April 2016.

Comments: 8 pages, 2 figures

Limit laws for self-loops and multiple edges in the configuration model

Authors: Omer Angel, Remco van der Hofstad, Cecilia Holmgren

Abstract: We consider self-loops and multiple edges in the configuration model as the size of the graph tends to infinity. The interest in these random variables is due to the fact that the configuration model, conditioned on being simple, is a uniform random graph with prescribed degrees. Simplicity corresponds to the absence of self-loops and multiple edges. We show that the number of self-loops and multi… ▽ More We consider self-loops and multiple edges in the configuration model as the size of the graph tends to infinity. The interest in these random variables is due to the fact that the configuration model, conditioned on being simple, is a uniform random graph with prescribed degrees. Simplicity corresponds to the absence of self-loops and multiple edges. We show that the number of self-loops and multiple edges converges in distribution to two independent Poisson random variables when the second moment of the empirical degree distribution converges. We also provide an estimate on the total variation distance between the number of self-loops and multiple edges and the Poisson limit of their sum. This revisits previous works of Bollobás, of Janson, of Wormald and others. The error estimates also imply sharp asymptotics for the number of simple graphs with prescribed degrees. The error estimates follow from an application of Stein's method for Poisson convergence, which is a novel method for this problem. The asymptotic independence of self-loops and multiple edges follows from a Poisson version of the Cramér-Wold device using thinning, which is of independent interest. When the degree distribution has infinite second moment, our general results break down. We can, however, prove a central limit theorem for the number of self-loops, and for the multiple edges between vertices of degrees much smaller than the square root of the size of the graph, or when we truncate the degrees similarly. Our results and proofs easily extend to directed and bipartite configuration models. △ Less

Submitted 2 February, 2017; v1 submitted 23 March, 2016; originally announced March 2016.

MSC Class: 60K35; 60K37; 82B43

The half plane UIPT is recurrent

Authors: Omer Angel, Gourab Ray

Abstract: We prove that the half plane version of the uniform infinite planar triangulation (UIPT) is recurrent. The key ingredients of the proof are a construction of a new full plane extension of the half plane UIPT, based on a natural decomposition of the half plane UIPT into independent layers, and an extension of previous methods for proving recurrence of weak local limits (still using circle packings)… ▽ More We prove that the half plane version of the uniform infinite planar triangulation (UIPT) is recurrent. The key ingredients of the proof are a construction of a new full plane extension of the half plane UIPT, based on a natural decomposition of the half plane UIPT into independent layers, and an extension of previous methods for proving recurrence of weak local limits (still using circle packings). △ Less

Submitted 4 January, 2016; originally announced January 2016.

Restrictions of Hölder continuous functions

Authors: Omer Angel, Richárd Balka, András Máthé, Yuval Peres

Abstract: For $0<α<1$ let $V(α)$ denote the supremum of the numbers $v$ such that every $α$-Hölder continuous function is of bounded variation on a set of Hausdorff dimension $v$. Kahane and Katznelson (2009) proved the estimate $1/2 \leq V(α)\leq 1/(2-α)$ and asked whether the upper bound is sharp. We show that in fact $V(α)=\max\{1/2,α\}$. Let $\dim_{H}$ and $\overline{\dim}_{M}$ denote the Hausdorff and… ▽ More For $0<α<1$ let $V(α)$ denote the supremum of the numbers $v$ such that every $α$-Hölder continuous function is of bounded variation on a set of Hausdorff dimension $v$. Kahane and Katznelson (2009) proved the estimate $1/2 \leq V(α)\leq 1/(2-α)$ and asked whether the upper bound is sharp. We show that in fact $V(α)=\max\{1/2,α\}$. Let $\dim_{H}$ and $\overline{\dim}_{M}$ denote the Hausdorff and upper Minkowski dimension, respectively. The upper bound on $V(α)$ is a consequence of the following theorem. Let $\{B(t): t\in [0,1]\}$ be a fractional Brownian motion of Hurst index $α$. Then, almost surely, there exists no set $A\subset [0,1]$ such that $\overline{\dim}_{M} A>\max\{1-α,α\}$ and $B\colon A\to \mathbb{R}$ is of bounded variation. Furthermore, almost surely, there exists no set $A\subset [0,1]$ such that $\overline{\dim}_{M} A>1-α$ and $B\colon A\to \mathbb{R}$ is $β$-Hölder continuous for some $β>α$. The zero set and the set of record times of $B$ witness that the above theorems give the optimal dimensions. We also prove similar restriction theorems for deterministic self-affine functions and generic $α$-Hölder continuous functions. Finally, let $\{\mathbf{B}(t): t\in [0,1]\}$ be a two-dimensional Brownian motion. We prove that, almost surely, there is a compact set $D\subset [0,1]$ such that $\dim_{H} D\geq 1/3$ and $\mathbf{B}\colon D\to \mathbb{R}^2$ is non-decreasing in each coordinate. It remains open whether $1/3$ is best possible. △ Less

Submitted 26 November, 2016; v1 submitted 19 April, 2015; originally announced April 2015.

Comments: 24 pages, 4 figures, final version

MSC Class: 26A16; 26A45; 28A78; 54E52; 60G17; 60G22; 60J65

The Hilbert Schmidt version of the commutator theorem for zero trace matrices

Authors: Omer Angel, Gideon Schechtman

Abstract: Let $A$ be a $m\times m$ complex matrix with zero trace. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|_2\le (\log m+O(1))^{1/2}\|A\|_2$ where $\|D\|$ is the norm of $D$ as an operator on $\ell_2^m$ and $\|D\|_2$ is the Hilbert--Schmidt norm of $D$. Moreover, the matrix $B$ can be taken to be normal. Conversely there is a zero trace $m\times m$ matrix $A$ such… ▽ More Let $A$ be a $m\times m$ complex matrix with zero trace. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|_2\le (\log m+O(1))^{1/2}\|A\|_2$ where $\|D\|$ is the norm of $D$ as an operator on $\ell_2^m$ and $\|D\|_2$ is the Hilbert--Schmidt norm of $D$. Moreover, the matrix $B$ can be taken to be normal. Conversely there is a zero trace $m\times m$ matrix $A$ such that whenever $A=[B,C]$, $\|B\|\|C\|_2\ge |\log m-O(1)|^{1/2}\|A\|_2$ for some absolute constant $c>0$. △ Less

Submitted 27 March, 2015; originally announced March 2015.

MSC Class: 47B47; 15A60

Stability of geodesics in the Brownian map

Authors: Omer Angel, Brett Kolesnik, Grégory Miermont

Abstract: The Brownian map is a random geodesic metric space arising as the scaling limit of random planar maps. We strengthen the so-called confluence of geodesics phenomenon observed at the root of the map, and with this, reveal several properties of its rich geodesic structure. Our main result is the continuity of the cut locus at typical points. A small shift from such a point results in a small, loca… ▽ More The Brownian map is a random geodesic metric space arising as the scaling limit of random planar maps. We strengthen the so-called confluence of geodesics phenomenon observed at the root of the map, and with this, reveal several properties of its rich geodesic structure. Our main result is the continuity of the cut locus at typical points. A small shift from such a point results in a small, local modification to the cut locus. Moreover, the cut locus is uniformly stable, in the sense that any two cut loci coincide outside a closed, nowhere dense set of zero measure. We obtain similar stability results for the set of points inside geodesics to a fixed point. Furthermore, we show that the set of points inside geodesics of the map is of first Baire category. Hence, most points in the Brownian map are endpoints. Finally, we classify the types of geodesic networks which are dense. For each $k\in\{1,2,3,4,6,9\}$, there is a dense set of pairs of points which are joined by networks of exactly $k$ geodesics and of a specific topological form. We find the Hausdorff dimension of the set of pairs joined by each type of network. All other geodesic networks are nowhere dense. △ Less

Submitted 30 November, 2016; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: 29 pages, 7 figures, final version

MSC Class: 60D05; 05C80; 54E52; 54G99

Unimodular Hyperbolic Triangulations: Circle Packing and Random Walk

Authors: Omer Angel, Tom Hutchcroft, Asaf Nachmias, Gourab Ray

Abstract: We show that the circle packing type of a unimodular random plane triangulation is parabolic if and only if the expected degree of the root is six, if and only if the triangulation is amenable in the sense of Aldous and Lyons. As a part of this, we obtain an alternative proof of the Benjamini-Schramm Recurrence Theorem. Secondly, in the hyperbolic case, we prove that the random walk almost surel… ▽ More We show that the circle packing type of a unimodular random plane triangulation is parabolic if and only if the expected degree of the root is six, if and only if the triangulation is amenable in the sense of Aldous and Lyons. As a part of this, we obtain an alternative proof of the Benjamini-Schramm Recurrence Theorem. Secondly, in the hyperbolic case, we prove that the random walk almost surely converges to a point in the unit circle, that the law of this limiting point has full support and no atoms, and that the unit circle is a realisation of the Poisson boundary. Finally, we show that the simple random walk has positive speed in the hyperbolic metric. △ Less

Submitted 30 August, 2016; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 40 pages, 5 figures; minor revision, new and improved proof for Proposition 1.2

Random walks on stochastic hyperbolic half planar triangulations

Authors: Omer Angel, Asaf Nachmias, Gourab Ray

Abstract: We study the simple random walk on stochastic hyperbolic half planar triangulations constructed in Angel and Ray [3]. We show that almost surely the walker escapes the boundary of the map in positive speed and that the return probability to the starting point after n steps scales like $\exp(-cn^{1/3})$. We study the simple random walk on stochastic hyperbolic half planar triangulations constructed in Angel and Ray [3]. We show that almost surely the walker escapes the boundary of the map in positive speed and that the return probability to the starting point after n steps scales like $\exp(-cn^{1/3})$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: 30 pages

Increasing subsequences of random walks

Authors: Omer Angel, Richárd Balka, Yuval Peres

Abstract: Given a sequence of $n$ real numbers $\{S_i\}_{i\leq n}$, we consider the longest weakly increasing subsequence, namely $i_1<i_2<\dots <i_L$ with $S_{i_k} \leq S_{i_{k+1}}$ and $L$ maximal. When the elements $S_i$ are i.i.d. uniform random variables, Vershik and Kerov, and Logan and Shepp proved that $\mathbb{E} L=(2+o(1)) \sqrt{n}$. We consider the case when $\{S_i\}_{i\leq n}$ is a random walk… ▽ More Given a sequence of $n$ real numbers $\{S_i\}_{i\leq n}$, we consider the longest weakly increasing subsequence, namely $i_1<i_2<\dots <i_L$ with $S_{i_k} \leq S_{i_{k+1}}$ and $L$ maximal. When the elements $S_i$ are i.i.d. uniform random variables, Vershik and Kerov, and Logan and Shepp proved that $\mathbb{E} L=(2+o(1)) \sqrt{n}$. We consider the case when $\{S_i\}_{i\leq n}$ is a random walk on $\mathbb{R}$ with increments of mean zero and finite (positive) variance. In this case, it is well known (e.g., using record times) that the length of the longest increasing subsequence satisfies $\mathbb{E} L\geq c\sqrt{n}$. Our main result is an upper bound $\mathbb{E} L\leq n^{1/2 + o(1)}$, establishing the leading asymptotic behavior. If $\{S_i\}_{i\leq n}$ is a simple random walk on $\mathbb{Z}$, we improve the lower bound by showing that $\mathbb{E} L \geq c\sqrt{n} \log{n}$. We also show that if $\{\mathbf{S}_i\}$ is a simple random walk in $\mathbb{Z}^2$, then there is a subsequence of $\{\mathbf{S}_i\}_{i\leq n}$ of expected length at least $cn^{1/3}$ that is increasing in each coordinate. The above one-dimensional result yields an upper bound of $n^{1/2 + o(1)}$. The problem of determining the correct exponent remains open. △ Less

Submitted 12 August, 2016; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: 18 pages, 2 figures

MSC Class: 60G17; 60G50

Boundaries of planar graphs, via circle packings

Authors: Omer Angel, Martin T. Barlow, Ori Gurel-Gurevich, Asaf Nachmias

Abstract: We provide a geometric representation of the Poisson and Martin boundaries of a transient, bounded degree triangulation of the plane in terms of its circle packing in the unit disc. (This packing is unique up to Möbius transformations.) More precisely, we show that any bounded harmonic function on the graph is the harmonic extension of some measurable function on the boundary of the disk, and that… ▽ More We provide a geometric representation of the Poisson and Martin boundaries of a transient, bounded degree triangulation of the plane in terms of its circle packing in the unit disc. (This packing is unique up to Möbius transformations.) More precisely, we show that any bounded harmonic function on the graph is the harmonic extension of some measurable function on the boundary of the disk, and that the space of extremal positive harmonic functions, that is, the Martin boundary, is homeomorphic to the unit circle. All our results hold more generally for any "good"-embedding of planar graphs, that is, an embedding in the unit disc with straight lines such that angles are bounded away from $0$ and $π$ uniformly, and lengths of adjacent edges are comparable. Furthermore, we show that in a good embedding of a planar graph the probability that a random walk exits a disc through a sufficiently wide arc is at least a constant, and that Brownian motion on such graphs takes time of order $r^2$ to exit a disc of radius $r$. These answer a question recently posed by Chelkak (2014). △ Less

Submitted 27 June, 2016; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: Published at http://dx.doi.org/10.1214/15-AOP1014 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP1014

Journal ref: Annals of Probability 2016, Vol. 44, No. 3, 1956-1984

The local limit of unicellular maps in high genus

Authors: Omer Angel, Guillaume Chapuy, Nicolas Curien, Gourab Ray

Abstract: We show that the local limit of unicellular maps whose genus is proportional to the number of edges is a supercritical geometric Galton-Watson tree conditioned to survive. The proof relies on enumeration results obtained via the recent bijection given by the second author together with Feray and Fusy. We show that the local limit of unicellular maps whose genus is proportional to the number of edges is a supercritical geometric Galton-Watson tree conditioned to survive. The proof relies on enumeration results obtained via the recent bijection given by the second author together with Feray and Fusy. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: 12 pages, 1 figure

Journal ref: Electron. Commun. Probab. 18 (2013), no. 86, 8 pp

A Tight Upper Bound on Acquaintance Time of Graphs

Authors: Omer Angel, Igor Shinkar

Abstract: In this note we confirm a conjecture raised by Benjamini et al. \cite{BST} on the acquaintance time of graphs, proving that for all graphs $G$ with $n$ vertices it holds that $\AC(G) = O(n^{3/2})$, which is tight up to a multiplicative constant. This is done by proving that for all graphs $G$ with $n$ vertices and maximal degree $Δ$ it holds that $\AC(G) \leq 20 Δn$. Combining this with the bound… ▽ More In this note we confirm a conjecture raised by Benjamini et al. \cite{BST} on the acquaintance time of graphs, proving that for all graphs $G$ with $n$ vertices it holds that $\AC(G) = O(n^{3/2})$, which is tight up to a multiplicative constant. This is done by proving that for all graphs $G$ with $n$ vertices and maximal degree $Δ$ it holds that $\AC(G) \leq 20 Δn$. Combining this with the bound $\AC(G) \leq O(n^2/Δ)$ from \cite{BST} gives the foregoing uniform upper bound of all $n$-vertex graphs. We also prove that for the $n$-vertex path $P_n$ it holds that $\AC(P_n)=n-2$. In addition we show that the barbell graph $B_n$ consisting of two cliques of sizes $\ceil{n/2}$ and $\floor{n/2}$ connected by a single edge also has $\AC(B_n) = n-2$. This shows that it is possible to add $Ω(n^2)$ edges to $P_n$ without changing the $\AC$ value of the graph. △ Less

Submitted 23 July, 2013; originally announced July 2013.

The Liouville property for groups acting on rooted trees

Authors: Gideon Amir, Omer Angel, Nicolás Matte Bon, Bálint Virág

Abstract: We show that on groups generated by bounded activity automata, every symmetric, finitely supported probability measure has the Liouville property. More generally we show this for every group of automorphisms of bounded type of a rooted tree. For automaton groups, we also give a uniform upper bound for the entropy of convolutions of every symmetric, finitely supported measure. We show that on groups generated by bounded activity automata, every symmetric, finitely supported probability measure has the Liouville property. More generally we show this for every group of automorphisms of bounded type of a rooted tree. For automaton groups, we also give a uniform upper bound for the entropy of convolutions of every symmetric, finitely supported measure. △ Less

Submitted 9 July, 2015; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: Major changes in the statement and proof of Theorem 1, it now holds for all groups of automorphisms of bounded type, not necessarily finite-state. Final version, to appear in Annales de l'IHP

Journal ref: Annales de l'Institut Henri Poincaré, Probabilités et Statistiques (Vol. 52, No. 4, pp. 1763-1783). 2016

One-dimensional long-range Diffusion Limited Aggregation II: the transient case

Authors: Gideon Amir, Omer Angel, Gady Kozma

Abstract: We examine diffusion-limited aggregation for a one-dimensional random walk with long jumps. We achieve upper and lower bounds on the growth rate of the aggregate as a function of the number of moments a single step of the walk has. In this paper we handle the case of transient walks. We examine diffusion-limited aggregation for a one-dimensional random walk with long jumps. We achieve upper and lower bounds on the growth rate of the aggregate as a function of the number of moments a single step of the walk has. In this paper we handle the case of transient walks. △ Less

Submitted 19 June, 2013; originally announced June 2013.

Comments: 30 pages, 3 phase transitions

Classification of Half Planar Maps

Authors: Omer Angel, Gourab Ray

Abstract: We characterize all translation invariant half planar maps satisfying a certain natural domain Markov property. For p-angulations with p \ge 3 where all faces are simple, we show that these form a one-parameter family of measures H^{(p)}_{alpha}. For triangulations we also establish existence of a phase transition which affects many properties of these maps. The critical maps are the well known ha… ▽ More We characterize all translation invariant half planar maps satisfying a certain natural domain Markov property. For p-angulations with p \ge 3 where all faces are simple, we show that these form a one-parameter family of measures H^{(p)}_{alpha}. For triangulations we also establish existence of a phase transition which affects many properties of these maps. The critical maps are the well known half plane uniform infinite planar maps. The sub-critical maps are identified as all possible limits of uniform measures on finite maps with given boundary and area. △ Less

Submitted 25 February, 2014; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 41 pages, 12 figures

Percolations on random maps I: half-plane models

Authors: Omer Angel, Nicolas Curien

Abstract: We study Bernoulli percolations on random lattices of the half-plane obtained as local limit of uniform planar triangulations or quadrangulations. Using the characteristic spatial Markov property or peeling process of these random lattices we prove a surprisingly simple universal formula for the critical threshold for bond and face percolations on these graphs. Our techniques also permit us to com… ▽ More We study Bernoulli percolations on random lattices of the half-plane obtained as local limit of uniform planar triangulations or quadrangulations. Using the characteristic spatial Markov property or peeling process of these random lattices we prove a surprisingly simple universal formula for the critical threshold for bond and face percolations on these graphs. Our techniques also permit us to compute off-critical and critical exponents related to percolation clusters such as the volume and the perimeter. △ Less

Submitted 22 January, 2013; originally announced January 2013.

Comments: 32 pages, 17 figures

Random Orderings and Unique Ergodicity of Automorphism Groups

Authors: Omer Angel, Alexander S. Kechris, Russell Lyons

Abstract: We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than com… ▽ More We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner and Weiss's example of the group of all permutations of the integers. We also contrast these results to those for certain special classes of graphs and metric spaces in which such random orderings can be found that are not uniform. △ Less

Submitted 11 August, 2012; originally announced August 2012.

Comments: 39 pages

MSC Class: 37A15; 22F50; 03C13; 60C05

Journal ref: J. Europ. Math. Soc. 16 (2014), 2059--2095

Localization for Linearly Edge Reinforced Random Walks

Authors: Omer Angel, Nicholas Crawford, Gady Kozma

Abstract: We prove that the linearly edge reinforced random walk (LRRW) on any graph with bounded degrees is recurrent for sufficiently small initial weights. In contrast, we show that for non-amenable graphs the LRRW is transient for sufficiently large initial weights, thereby establishing a phase transition for the LRRW on non-amenable graphs. While we rely on the description of the LRRW as a mixture of M… ▽ More We prove that the linearly edge reinforced random walk (LRRW) on any graph with bounded degrees is recurrent for sufficiently small initial weights. In contrast, we show that for non-amenable graphs the LRRW is transient for sufficiently large initial weights, thereby establishing a phase transition for the LRRW on non-amenable graphs. While we rely on the description of the LRRW as a mixture of Markov chains, the proof does not use the magic formula. We also derive analogous results for the vertex reinforced jump process. △ Less

Submitted 18 March, 2012; originally announced March 2012.

Comments: 30 pages

MSC Class: 60K35; 60K37; 60G50

Journal ref: Duke Math. J. 163, no. 5 (2014), 889-921

Deterministic approximations of random reflectors

Authors: Omer Angel, Krzysztof Burdzy, Scott Sheffield

Abstract: Within classical optics, one may add microscopic "roughness" to a macroscopically flat mirror so that parallel rays of a given angle are reflected at different outgoing angles. Taking the limit (as the roughness becomes increasingly microscopic) one obtains a flat surface that reflects randomly, i.e., the transition from incoming to outgoing ray is described by a probability kernel (whose form dep… ▽ More Within classical optics, one may add microscopic "roughness" to a macroscopically flat mirror so that parallel rays of a given angle are reflected at different outgoing angles. Taking the limit (as the roughness becomes increasingly microscopic) one obtains a flat surface that reflects randomly, i.e., the transition from incoming to outgoing ray is described by a probability kernel (whose form depends on the nature of the microscopic roughness). We consider two-dimensional optics (a.k.a. billiards) and show that every random reflector on a line that satisfies a necessary measure-preservation condition (well established in the theory of billiards) can be approximated by deterministic reflectors in this way. △ Less

Submitted 10 April, 2012; v1 submitted 4 March, 2012; originally announced March 2012.

MSC Class: 60D99

Avoidance Coupling

Authors: Omer Angel, Alexander E. Holroyd, James Martin, David B. Wilson, Peter Winkler

Abstract: We examine the question of whether a collection of random walks on a graph can be coupled so that they never collide. In particular, we show that on the complete graph on n vertices, with or without loops, there is a Markovian coupling keeping apart Omega(n/log n) random walks, taking turns to move in discrete time. We examine the question of whether a collection of random walks on a graph can be coupled so that they never collide. In particular, we show that on the complete graph on n vertices, with or without loops, there is a Markovian coupling keeping apart Omega(n/log n) random walks, taking turns to move in discrete time. △ Less

Submitted 9 July, 2013; v1 submitted 14 December, 2011; originally announced December 2011.

Comments: 13 pages, 3 figures

MSC Class: 60J10

Journal ref: Electronic Communications in Probability, 18 no. 58, 2013

A pattern theorem for random sorting networks

Authors: Omer Angel, Vadim Gorin, Alexander E. Holroyd

Abstract: A sorting network is a shortest path from 12..n to n..21 in the Cayley graph of the symmetric group S(n) generated by nearest-neighbor swaps. A pattern is a sequence of swaps that forms an initial segment of some sorting network. We prove that in a uniformly random n-element sorting network, any fixed pattern occurs in at least cn^2 disjoint space-time locations, with probability tending to 1 expo… ▽ More A sorting network is a shortest path from 12..n to n..21 in the Cayley graph of the symmetric group S(n) generated by nearest-neighbor swaps. A pattern is a sequence of swaps that forms an initial segment of some sorting network. We prove that in a uniformly random n-element sorting network, any fixed pattern occurs in at least cn^2 disjoint space-time locations, with probability tending to 1 exponentially fast as n tends to infinity. Here c is a positive constant which depends on the choice of pattern. As a consequence, the probability that the uniformly random sorting network is geometrically realizable tends to 0. △ Less

Submitted 19 November, 2012; v1 submitted 2 October, 2011; originally announced October 2011.

Comments: 21 pages, 9 figures. Final journal version

MSC Class: 60C05; 05E10; 68P10

Journal ref: Electron. J. Probab. 17 (2012), no. 99, 1-16

The Phase Transition for Dyadic Tilings

Authors: Omer Angel, Alexander E. Holroyd, Gady Kozma, Johan Wästlund, Peter Winkler

Abstract: A dyadic tile of order n is any rectangle obtained from the unit square by n successive bisections by horizontal or vertical cuts. Let each dyadic tile of order n be available with probability p, independently of the others. We prove that for p sufficiently close to 1, there exists a set of pairwise disjoint available tiles whose union is the unit square, with probability tending to 1 as n->infini… ▽ More A dyadic tile of order n is any rectangle obtained from the unit square by n successive bisections by horizontal or vertical cuts. Let each dyadic tile of order n be available with probability p, independently of the others. We prove that for p sufficiently close to 1, there exists a set of pairwise disjoint available tiles whose union is the unit square, with probability tending to 1 as n->infinity, as conjectured by Joel Spencer in 1999. In particular we prove that if p=7/8, such a tiling exists with probability at least 1-(3/4)^n. The proof involves a surprisingly delicate counting argument for sets of unavailable tiles that prevent tiling. △ Less

Submitted 20 July, 2012; v1 submitted 13 July, 2011; originally announced July 2011.

Comments: 22 pages

MSC Class: 05B45; 52C20; 60G18