-
Tournament score sequences, Erdős-Ginzburg-Ziv numbers, and the Lévy-Khintchine method
Authors:
Michal Bassan,
Serte Donderwinkel,
Brett Kolesnik
Abstract:
We give a short proof of a recent result of Claesson, Dukes, Franklín and Stefánsson, that connects tournament score sequences and the Erdős-Ginzburg-Ziv numbers from additive number theory. We show that this connection is, in fact, an instance of the Lévy-Khintchine formula from probability theory, and highlight how such formulas can be useful in enumerative combinatorics. Our proof combines rene…
▽ More
We give a short proof of a recent result of Claesson, Dukes, Franklín and Stefánsson, that connects tournament score sequences and the Erdős-Ginzburg-Ziv numbers from additive number theory. We show that this connection is, in fact, an instance of the Lévy-Khintchine formula from probability theory, and highlight how such formulas can be useful in enumerative combinatorics. Our proof combines renewal theory with the representation of score sequences as lattice paths, due to Erdős and Moser in the 1960s. These probabilistic and geometric points of view lead to a simpler proof. A key idea in the original proof and ours is to consider cyclic shifts of score sequences. We observe, however, that this idea is already present in Kleitman's remarks added to one of Moser's final articles in 1968, and in subsequent works by Kleitman. In the same article, Moser conjectured that there are asymptotically $C4^n/n^{5/2}$ many score sequences of length $n$. Combining the arguments in the current work with those in a recent work by the third author, we demonstrate the utility of the Lévy-Khintchine method, by giving a short proof of Moser's conjecture.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Graphical sequences and plane trees
Authors:
Michal Bassan,
Serte Donderwinkel,
Brett Kolesnik
Abstract:
A sequence $d_1\le\cdots\le d_n$ is graphical if it is the degree sequence of a graph. Balister, the second author, Groenland, Johnston and Scott showed that there are asymptotically $C4^n/n^{3/4}$ such sequences. However, the constant $C$ involves a probability that is only approximated. Using random walks and limit theory for infinitely divisible probability distributions, we describe $C$ in ter…
▽ More
A sequence $d_1\le\cdots\le d_n$ is graphical if it is the degree sequence of a graph. Balister, the second author, Groenland, Johnston and Scott showed that there are asymptotically $C4^n/n^{3/4}$ such sequences. However, the constant $C$ involves a probability that is only approximated. Using random walks and limit theory for infinitely divisible probability distributions, we describe $C$ in terms of Walkup's formula for the number of rooted, unlabelled and cyclically distinct plane trees.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Catalan percolation
Authors:
Eleanor Archer,
Ivailo Hartarsky,
Brett Kolesnik,
Sam Olesker-Taylor,
Bruno Schapira,
Daniel Valesin
Abstract:
In Catalan percolation, all nearest-neighbor edges $\{i,i+1\}$ along $\mathbb Z$ are initially occupied, and all other edges are open independently with probability $p$. Open edges $\{i,j\}$ are occupied if some pair of edges $\{i,k\}$ and $\{k,j\}$, with $i<k<j$, become occupied. This model was introduced by Gravner and the third author, in the context of polluted graph bootstrap percolation.
W…
▽ More
In Catalan percolation, all nearest-neighbor edges $\{i,i+1\}$ along $\mathbb Z$ are initially occupied, and all other edges are open independently with probability $p$. Open edges $\{i,j\}$ are occupied if some pair of edges $\{i,k\}$ and $\{k,j\}$, with $i<k<j$, become occupied. This model was introduced by Gravner and the third author, in the context of polluted graph bootstrap percolation.
We prove that the critical $p_{\mathrm c}$ is strictly between that of oriented site percolation on $\mathbb Z^2$ and the Catalan growth rate $1/4$. Our main result shows that an enhanced oriented percolation model, with non-decaying infinite-range dependency, has a strictly smaller critical parameter than the classical model. This is reminiscent of the work of Duminil-Copin, Hilário, Kozma and Sidoravicius on brochette percolation. Our proof differs, however, in that we do not use Aizenman--Grimmett enhancements or differential inequalities. Two key ingredients are the work of Hilário, Sá, Sanchis and Teixeira on stretched lattices, and the Russo--Seymour--Welsh result for oriented percolation by Duminil-Copin, Tassion and Teixeira.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Critical beta-splitting, via contraction
Authors:
Brett Kolesnik
Abstract:
The critical beta-splitting tree, introduced by Aldous, is a Markov branching phylogenetic tree of poly-logarithmic height. Recently, by a technical analysis, Aldous and Pittel proved, amongst other results, a central limit theorem for the height $H_n$ of a random leaf.
We give an alternative proof, via contraction methods for random recursive structures. These techniques were developed by Neini…
▽ More
The critical beta-splitting tree, introduced by Aldous, is a Markov branching phylogenetic tree of poly-logarithmic height. Recently, by a technical analysis, Aldous and Pittel proved, amongst other results, a central limit theorem for the height $H_n$ of a random leaf.
We give an alternative proof, via contraction methods for random recursive structures. These techniques were developed by Neininger and Rüschendorf, motivated by Pittel's article "Normal convergence problem? Two moments and a recurrence may be the clues." Aldous and Pittel estimated the first two moments of $H_n$, with great precision. We show that a limit theorem follows, and bound the distance from normality.
△ Less
Submitted 7 May, 2024; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Asymptotics for Sinaĭ excursions
Authors:
Serte Donderwinkel,
Brett Kolesnik
Abstract:
We study a class of random polymers, introduced by Sinaĭ, which are related to persistence probabilities in integrated simple random walk bridges. We find the precise asymptotics of these probabilities, and describe their combinatorics, using limit theory for infinitely divisible distributions, and the number-theoretic subset counting formulas of von Sterneck from the early 1900s. Our results shar…
▽ More
We study a class of random polymers, introduced by Sinaĭ, which are related to persistence probabilities in integrated simple random walk bridges. We find the precise asymptotics of these probabilities, and describe their combinatorics, using limit theory for infinitely divisible distributions, and the number-theoretic subset counting formulas of von Sterneck from the early 1900s. Our results sharpen estimates by Aurzada, Dereich and Lifshits, and respond to a conjecture of Caravenna and Deuschel, which arose in their study of the pinning/wetting models, for random linear chains exhibiting entropic repulsion. Our key combinatorial result is an analogue of Sparre Andersen's classical formula.
△ Less
Submitted 31 May, 2024; v1 submitted 19 March, 2024;
originally announced March 2024.
-
Tournaments and random walks
Authors:
Serte Donderwinkel,
Brett Kolesnik
Abstract:
We study the relationship between tournaments and random walks. This connection was first observed by Erdős and Moser. Winston and Kleitman came close to showing that $S_n=Θ(4^n/n^{5/2})$. Building on this, and works by Takács, these asymptotic bounds were confirmed by Kim and Pittel.
In this work, we verify Moser's conjecture that $S_n\sim C4^n/n^{5/2}$, using limit theory for integrated random…
▽ More
We study the relationship between tournaments and random walks. This connection was first observed by Erdős and Moser. Winston and Kleitman came close to showing that $S_n=Θ(4^n/n^{5/2})$. Building on this, and works by Takács, these asymptotic bounds were confirmed by Kim and Pittel.
In this work, we verify Moser's conjecture that $S_n\sim C4^n/n^{5/2}$, using limit theory for integrated random walk bridges. Moreover, we show that $C$ can be described in terms of random walks. Combining this with a recent proof and number-theoretic description of $C$ by the second author, we obtain an analogue of Louchard's formula, for the Laplace transform of the squared Brownian excursion/Airy area measure. Finally, we describe the scaling limit of random score sequences, in terms of the Kolmogorov excursions, studied recently by Bär, Duraj and Wachtel.
Our results can also be interpreted as answering questions related to a class of random polymers, which began with influential work of Sinaĭ. From this point of view, our methods yield the precise asymptotics of a persistence probability, related to the pinning/wetting models from statistical physics, that was estimated up to constants by Aurzada, Dereich and Lifshits, as conjectured by Caravenna and Deuschel.
△ Less
Submitted 31 May, 2024; v1 submitted 19 March, 2024;
originally announced March 2024.
-
Random walks on Coxeter interchange graphs
Authors:
Matthew Buckland,
Brett Kolesnik,
Rivka Mitchell,
Tomasz Przybyłowski
Abstract:
A tournament is an orientation of a graph. Vertices are players and edges are games, directed away from the winner. Kannan, Tetali and Vempala and McShine showed that tournaments with given score sequence can be rapidly sampled, via simple random walks on the interchange graphs of Brualdi and Li. These graphs are generated by the cyclically directed triangle, in the sense that traversing an edge c…
▽ More
A tournament is an orientation of a graph. Vertices are players and edges are games, directed away from the winner. Kannan, Tetali and Vempala and McShine showed that tournaments with given score sequence can be rapidly sampled, via simple random walks on the interchange graphs of Brualdi and Li. These graphs are generated by the cyclically directed triangle, in the sense that traversing an edge corresponds to the reversal of such a triangle in a tournament.
We study Coxeter tournaments on Zaslavsky's signed graphs. These tournaments involve collaborative and solitaire games, as well as the usual competitive games. The interchange graphs are richer in complexity, as a variety of other generators are involved. We prove rapid mixing by an intricate application of Bubley and Dyer's method of path coupling, using a delicate re-weighting of the graph metric. Geometric connections with the Coxeter permutahedra introduced by Ardila, Castillo, Eur and Postnikov are discussed.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Tournaments on signed graphs
Authors:
Brett Kolesnik,
Rivka Mitchell,
Tomasz Przybyłowski
Abstract:
We classify the set of tournament score sequences on signed graphs, generalizing a classical result of Landau. We also study the combinatorics of such tournaments with given score sequence. Specifically, we show that the Coxeter analogues of the interchange graphs introduced by Brualdi and Li remain degree regular. This degree can be interpreted geometrically, in terms of distances in the Coxeter…
▽ More
We classify the set of tournament score sequences on signed graphs, generalizing a classical result of Landau. We also study the combinatorics of such tournaments with given score sequence. Specifically, we show that the Coxeter analogues of the interchange graphs introduced by Brualdi and Li remain degree regular. This degree can be interpreted geometrically, in terms of distances in the Coxeter permutahedra studied recently by Ardila, Castillo, Eur and Postnikov.
△ Less
Submitted 6 June, 2024; v1 submitted 7 December, 2023;
originally announced December 2023.
-
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.
-
$H$-percolation with a random $H$
Authors:
Zsolt Bartha,
Brett Kolesnik,
Gal Kronenberg
Abstract:
In $H$-percolation, we start with an Erdős--Rényi graph ${\mathcal G}_{n,p}$ and then iteratively add edges that complete copies of $H$. The process percolates if all edges missing from ${\mathcal G}_{n,p}$ are eventually added. We find the critical threshold $p_c$ when $H={\mathcal G}_{k,1/2}$ is uniformly random, solving a problem of Balogh, Bollobás and Morris.
In $H$-percolation, we start with an Erdős--Rényi graph ${\mathcal G}_{n,p}$ and then iteratively add edges that complete copies of $H$. The process percolates if all edges missing from ${\mathcal G}_{n,p}$ are eventually added. We find the critical threshold $p_c$ when $H={\mathcal G}_{k,1/2}$ is uniformly random, solving a problem of Balogh, Bollobás and Morris.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Coxeter tournaments
Authors:
Brett Kolesnik,
Mario Sanchez
Abstract:
In line with the trend of Coxeter combinatorics, and in response to a question of Stanley, we show that the Coxeter permutahedra, recently studied by Ardila, Castillo, Eur and Postnikov, can be described in terms of Coxeter tournaments. These polytopes have been described geometrically in terms of submodular functions. We show that they can also be viewed in terms of tournaments with cooperative a…
▽ More
In line with the trend of Coxeter combinatorics, and in response to a question of Stanley, we show that the Coxeter permutahedra, recently studied by Ardila, Castillo, Eur and Postnikov, can be described in terms of Coxeter tournaments. These polytopes have been described geometrically in terms of submodular functions. We show that they can also be viewed in terms of tournaments with cooperative and solitaire games, as well as the usual competitive games in classical graph tournaments.
We establish a Coxeter analogue of Moon's classical theorem, regarding mean score sequences of random tournaments. We present a geometric proof by the Mirsky--Thompson generalized Birkhoff's theorem, a probabilistic proof by Strassen's coupling theorem, and an algorithmic proof by a Coxeter analogue of the Havel--Hakimi algorithm. These proofs have natural interpretations in terms of players seeking out potential competitors/collaborators with respect to their relative weakness/strength. We also observe that the Bradley--Terry model, from the statistical theory of paired comparisons, extends to the Coxeter setting. Finally, we show that an analogue of Landau's classical theorem, concerning deterministic tournaments, holds for balanced Coxeter tournaments.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
The asymptotic number of score sequences
Authors:
Brett Kolesnik
Abstract:
A tournament on a graph is an orientation of its edges. The score sequence lists the in-degrees in non-decreasing order. Works by Winston and Kleitman (1983) and Kim and Pittel (2000) showed that the number $S_n$ of score sequences on the complete graph $K_n$ satisfies $S_n=Θ(4^n/n^{5/2})$. By combining a recent recurrence relation for $S_n$ in terms of the Erdős--Ginzburg--Ziv numbers $N_n$ with…
▽ More
A tournament on a graph is an orientation of its edges. The score sequence lists the in-degrees in non-decreasing order. Works by Winston and Kleitman (1983) and Kim and Pittel (2000) showed that the number $S_n$ of score sequences on the complete graph $K_n$ satisfies $S_n=Θ(4^n/n^{5/2})$. By combining a recent recurrence relation for $S_n$ in terms of the Erdős--Ginzburg--Ziv numbers $N_n$ with the limit theory for discrete infinitely divisible distributions, we observe that $n^{5/2}S_n/4^n\to e^λ/2\sqrtπ$, where $λ=\sum_{k=1}^\infty N_k/k4^k$. This limit agrees numerically with the asymptotics of $S_n$ conjectured by Takács (1986). We also identify the asymptotic number of strong score sequences, and show that the number of irreducible subscores in a random score sequence converges in distribution to a shifted negative binomial with parameters $r=2$ and $p=e^{-λ}$.
△ Less
Submitted 28 November, 2022; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Large deviations of the greedy independent set algorithm on sparse random graphs
Authors:
Brett Kolesnik
Abstract:
We study the greedy independent set algorithm on sparse Erdős-Rényi random graphs ${\mathcal G}(n,c/n)$. This range of $p$ is of interest due to the threshold at $c=e$, beyond which it appears that greedy algorithms are affected by a sudden change in the independent set landscape. A large deviation principle was recently established by Bermolen et al. (2020), however, the proof and rate function a…
▽ More
We study the greedy independent set algorithm on sparse Erdős-Rényi random graphs ${\mathcal G}(n,c/n)$. This range of $p$ is of interest due to the threshold at $c=e$, beyond which it appears that greedy algorithms are affected by a sudden change in the independent set landscape. A large deviation principle was recently established by Bermolen et al. (2020), however, the proof and rate function are somewhat involved. Upper bounds for the rate function were obtained earlier by Pittel (1982). By discrete calculus, we identify the optimal trajectory realizing a given large deviation and obtain the rate function in a simple closed form. In particular, we show that Pittel's bounds are sharp. The proof is brief and elementary. We think the methods presented here will be useful in analyzing the tail behavior of other random growth and exploration processes.
△ Less
Submitted 15 December, 2020; v1 submitted 9 November, 2020;
originally announced November 2020.
-
The geometry of random tournaments
Authors:
Mario Sanchez,
Brett Kolesnik
Abstract:
A tournament is an orientation of a graph. Each edge represents a match, directed towards the winner. The score sequence lists the number of wins by each team. Landau (1953) characterized score sequences of the complete graph. Moon (1963) showed that the same conditions are necessary and sufficient for mean score sequences of random tournaments.
We present short and natural proofs of these resul…
▽ More
A tournament is an orientation of a graph. Each edge represents a match, directed towards the winner. The score sequence lists the number of wins by each team. Landau (1953) characterized score sequences of the complete graph. Moon (1963) showed that the same conditions are necessary and sufficient for mean score sequences of random tournaments.
We present short and natural proofs of these results that work for any graph using zonotopes from convex geometry. A zonotope is a linear image of a cube. Moon's Theorem follows by identifying elements of the cube with distributions and the linear map as the expectation operator. Our proof of Landau's Theorem combines zonotopal tilings with the theory of mixed subdivisions. We also show that any mean score sequence can be realized by a tournament that is random within a subforest, and deterministic otherwise.
△ Less
Submitted 19 September, 2020;
originally announced September 2020.
-
Weakly saturated random graphs
Authors:
Zsolt Bartha,
Brett Kolesnik
Abstract:
As introduced by Bollobás, a graph $G$ is weakly $H$-saturated if the complete graph $K_n$ is obtained by iteratively completing copies of $H$ minus an edge. For all graphs $H$, we obtain an asymptotic lower bound for the critical threshold $p_c$, at which point the Erdős--Rényi graph ${\mathcal G}_{n,p}$ is likely to be weakly $H$-saturated. We also prove an upper bound for $p_c$, for all $H$ whi…
▽ More
As introduced by Bollobás, a graph $G$ is weakly $H$-saturated if the complete graph $K_n$ is obtained by iteratively completing copies of $H$ minus an edge. For all graphs $H$, we obtain an asymptotic lower bound for the critical threshold $p_c$, at which point the Erdős--Rényi graph ${\mathcal G}_{n,p}$ is likely to be weakly $H$-saturated. We also prove an upper bound for $p_c$, for all $H$ which are, in a sense, strictly balanced. In particular, we improve the upper bound by Balogh, Bollob{á}s and Morris for $H=K_r$, and we conjecture that this is sharp up to constants.
△ Less
Submitted 26 November, 2023; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Transitive closure in a polluted environment
Authors:
Janko Gravner,
Brett Kolesnik
Abstract:
We introduce and study a new percolation model, inspired by recent works on jigsaw percolation, graph bootstrap percolation, and percolation in polluted environments. Start with an oriented graph $G_0$ of initially occupied edges on $n$ vertices, and iteratively occupy additional (oriented) edges by transitivity, with the constraint that only open edges in a certain random set can ever be occupied…
▽ More
We introduce and study a new percolation model, inspired by recent works on jigsaw percolation, graph bootstrap percolation, and percolation in polluted environments. Start with an oriented graph $G_0$ of initially occupied edges on $n$ vertices, and iteratively occupy additional (oriented) edges by transitivity, with the constraint that only open edges in a certain random set can ever be occupied. All other edges are closed, creating a set of obstacles for the spread of occupied edges. When $G_0$ is an unoriented linear graph, and leftward and rightward edges are open independently with possibly different probabilities, we identify three regimes in which the set of eventually occupied edges is either all open edges, the majority of open edges in one direction, or only a very small proportion of all open edges. In the more general setting where $G_0$ is a connected unoriented graph of bounded degree, we show that the transition between sparse and full occupation of open edges occurs when the probability of open edges is $(\log n)^{-1/2+o(1)}$. We conclude with several conjectures and open problems.
△ Less
Submitted 29 April, 2024; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Randomized sequential importance sampling for estimating the number of perfect matchings in bipartite graphs
Authors:
Persi Diaconis,
Brett Kolesnik
Abstract:
We introduce and study randomized sequential importance sampling algorithms for estimating the number of perfect matchings in bipartite graphs. In analyzing their performance, we establish various non-standard central limit theorems. We expect our methods to be useful for other applied problems.
We introduce and study randomized sequential importance sampling algorithms for estimating the number of perfect matchings in bipartite graphs. In analyzing their performance, we establish various non-standard central limit theorems. We expect our methods to be useful for other applied problems.
△ Less
Submitted 29 July, 2020; v1 submitted 4 July, 2019;
originally announced July 2019.
-
To stay discovered: On tournament mean score sequences and the Bradley--Terry model
Authors:
David Aldous,
Brett Kolesnik
Abstract:
On being told that a piece of work he thought was his discovery had duplicated an earlier mathematician's work, Larry Shepp once replied "Yes, but when {\em I} discovered it, it {\em stayed} discovered". In this spirit we give discussion and probabilistic proofs of two related known results (Moon 1963, Joe 1988) on random tournaments which seem surprisingly unknown to modern probabilists. In parti…
▽ More
On being told that a piece of work he thought was his discovery had duplicated an earlier mathematician's work, Larry Shepp once replied "Yes, but when {\em I} discovered it, it {\em stayed} discovered". In this spirit we give discussion and probabilistic proofs of two related known results (Moon 1963, Joe 1988) on random tournaments which seem surprisingly unknown to modern probabilists. In particular our proof of Moon's theorem on mean score sequences seems more constructive than previous proofs. This provides a comparatively concrete introduction to a longstanding mystery, the lack of a canonical construction for a joint distribution in the representation theorem for convex order.
△ Less
Submitted 15 November, 2018;
originally announced November 2018.
-
Sharp threshold for $K_4$-percolation
Authors:
Brett Kolesnik
Abstract:
We locate the critical threshold $p_c$ at which it becomes likely that the complete graph $K_n$ can be obtained from the Erdős-Rényi graph ${\cal G}_{n,p}$ by iteratively completing copies of $K_4$ minus an edge. This refines work of Balogh, Bollobás and Morris that bounds the threshold up to multiplicative constants.
We locate the critical threshold $p_c$ at which it becomes likely that the complete graph $K_n$ can be obtained from the Erdős-Rényi graph ${\cal G}_{n,p}$ by iteratively completing copies of $K_4$ minus an edge. This refines work of Balogh, Bollobás and Morris that bounds the threshold up to multiplicative constants.
△ Less
Submitted 4 January, 2021; v1 submitted 24 May, 2017;
originally announced May 2017.
-
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.
-
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.
-
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.
-
Lower bounds for the isoperimetric numbers of random regular graphs
Authors:
Brett Kolesnik,
Nick Wormald
Abstract:
The vertex isoperimetric number of a graph $G=(V,E)$ is the minimum of the ratio $|\partial_{V}U|/|U|$ where $U$ ranges over all nonempty subsets of $V$ with $|U|/|V|\le u$ and $\partial_{V}U$ is the set of all vertices adjacent to $U$ but not in $U$. The analogously defined edge isoperimetric number---with $\partial_{V}U$ replaced by $\partial_{E}U$, the set of all edges with exactly one endpoint…
▽ More
The vertex isoperimetric number of a graph $G=(V,E)$ is the minimum of the ratio $|\partial_{V}U|/|U|$ where $U$ ranges over all nonempty subsets of $V$ with $|U|/|V|\le u$ and $\partial_{V}U$ is the set of all vertices adjacent to $U$ but not in $U$. The analogously defined edge isoperimetric number---with $\partial_{V}U$ replaced by $\partial_{E}U$, the set of all edges with exactly one endpoint in $U$---has been studied extensively. Here we study random regular graphs. For the case $u=1/2$, we give asymptotically almost sure lower bounds for the vertex isoperimetric number for all $d\ge3$. Moreover, we obtain a lower bound on the asymptotics as $d\to\infty$. We also provide asymptotically almost sure lower bounds on $|\partial_{E}U|/|U|$ in terms of an upper bound on the size of $U$ and analyse the bounds as $d\to\infty$.
△ Less
Submitted 15 February, 2015; v1 submitted 26 November, 2013;
originally announced November 2013.