arXiv++ Combinatorics

We study the spectrum of a random multigraph with a degree sequence ${\bf D}_n=(D_i)_{i=1}^n$ and average degree $1 \ll ω_n \ll n$, generated by the configuration model, and also the spectrum of the analogous random simple graph. We show that, when the empirical spectral distribution (ESD) of $ω_n^{-1} {\bf D}_n $ converges weakly to a limit $ν$, under mild moment assumptions (e.g., $D_i/ω_n$ are i.i.d. with a finite second moment), the ESD of the normalized adjacency matrix converges in probability to $ν\boxtimes σ_{\rm sc}$, the free multiplicative convolution of $ν$ with the semicircle law. Relating this limit with a variant of the Marchenko--Pastur law yields the continuity of its density (away from zero), and an effective procedure for determining its support. Our proof of convergence is based on a coupling between the random simple graph and multigraph with the same degrees, which might be of independent interest. We further construct and rely on a coupling of the multigraph to an inhomogeneous Erdős-Rényi graph with the target ESD, using three intermediate random graphs, with a negligible fraction of edges modified in each step.

We consider a variation on the Barabási-Albert random graph process with fixed parameters $m\in \mathbb{N}$ and $1/2 < p < 1$. With probability $p$ a vertex is added along with $m$ edges, randomly chosen proportional to vertex degrees. With probability $1 - p$, the oldest vertex still holding its original $m$ edges loses those edges. It is shown that the degree of any vertex either is zero or follows a geometric distribution. If $p$ is above a certain threshold, this leads to a power law for the degree sequence, while a smaller $p$ gives exponential tails. It is also shown that the graph contains a unique giant component whp if and only if $m\geq 2$.

A Barak-Erdős graph is a directed acyclic version of the Erdős-Rényi random graph. It is obtained by performing independent bond percolation with parameter $p$ on the complete graph with vertices $\{1,...,n\}$, in which the edge between two vertices $i<j$ is directed from $i$ to $j$. The length of the longest path in this graph grows linearly with the number of vertices, at rate $C(p)$. In this article, we use a coupling between Barak-Erdős graphs and infinite-bin models to provide explicit estimates on $C(p)$. More precisely, we prove that the front of an infinite-bin model grows at linear speed, and that this speed can be obtained as the sum of a series. Using these results, we prove the analyticity of $C$ for $p >1/2$, and compute its power series expansion. We also obtain the first two terms of the asymptotic expansion of $C$ as $p \to 0$, using a coupling with branching random walks.

We consider classes of pseudo-random graphs on $n$ vertices for which the degree of every vertex and the co-degree between every pair of vertices are in the intervals $(np - Cn^δ,np+Cn^δ)$ and $(np^2- C n^δ, np^2 +C n^δ)$ respectively, for some absolute constant $C$, and $p, δ\in (0,1)$. We show that for such pseudo-random graphs the number of induced isomorphic copies of subgraphs of size $s$ are approximately same as that of an Erdős-Réyni random graph with edge connectivity probability $p$ as long as $s \le (((1-δ)\wedge \frac{1}{2})-o(1))\log n/\log (1/p)$, when $p \in (0,1/2]$. When $p \in (1/2,1)$ we obtain a similar result. Our result is applicable for a large class of random and deterministic graphs including exponential random graph models (ERGMs), thresholded graphs from high-dimensional correlation networks, Erdős-Réyni random graphs conditioned on large cliques, random $d$-regular graphs and graphs obtained from vector spaces over binary fields. In the context of the last example, the results obtained are optimal. Straight-forward extensions using the proof techniques in this paper imply strengthening of the above results in the context of larger motifs if a model allows control over higher co-degree type functionals.

We consider a random geometric graph model, where pairs of vertices are points in a metric space and edges are formed independently with fixed probability $p$ between pairs within threshold distance $δ$. A countable dense set in a metric space is {\sl Rado} if this random model gives, with probability 1, a graph that is unique up to isomorphism. In earlier work, the first two authors proved that in finite dimensional spaces $\mathbb{R}^n$ equipped with the $\ell_{\infty}$ norm, all countable dense set satisfying a mild non-integrality condition are Rado. In this paper, we extend this result to infinite-dimensional spaces. If the underlying metric space is a separable Banach space, then we show in some cases that we can almost surely recover the Banach space from such a geometric random graph. More precisely, we show that in the sequence spaces $c$ and $c_0$, for measures $μ$ satisfying certain conditions, $μ^\N$-almost all countable sets are Rado. Moreover, with probability 1, in $c$ as in $c_0$, all graphs obtained from the random geometric model with a randomly chosen dense countable vertex set are isomorphic to each other. Finally, we show that representatives of the isomorphism classes obtained in this way from $c$ and $c_0$ are non-isomorphic to each other, and also non-isomorphic to their counterparts obtained from finite dimensional spaces.

In this note, we show that the norm of an $n\times n$ random jointly exchangeable matrix with zero diagonal can be estimated in terms of the norm of its $n/2\times n/2$ submatrix located in the top right corner. As a consequence, we prove a relation between the second largest singular values of a random matrix with constant row and column sums and its top right $n/2\times n/2$ submatrix. The result has an application to estimating the spectral gap of random undirected $d$-regular graphs in terms of the second singular value of {\it directed} random graphs with predefined degree sequences.

For any $α\in (0,1)$ and any $n^α\leq d\leq n/2$, we show that $λ(G)\leq C_α\sqrt{d}$ with probability at least $1-\frac{1}{n}$, where $G$ is the uniform random $d$-regular graph on $n$ vertices, $λ(G)$ denotes its second largest eigenvalue (in absolute value) and $C_α$ is a constant depending only on $α$. Combined with earlier results in this direction covering the case of sparse random graphs, this completely settles the problem of estimating the magnitude of $λ(G)$, up to a multiplicative constant, for all values of $n$ and $d$, confirming a conjecture of Vu. The result is obtained as a consequence of an estimate for the second largest singular value of adjacency matrices of random {\it directed} graphs with predefined degree sequences. As the main technical tool, we prove a concentration inequality for arbitrary linear forms on the space of matrices, where the probability measure is induced by the adjacency matrix of a random directed graph with prescribed degree sequences. The proof is a non-trivial application of the Freedman inequality for martingales, combined with boots-trapping and tensorization arguments. Our method bears considerable differences compared to the approach used by Broder, Frieze, Suen and Upfal (1999) who established the upper bound for $λ(G)$ for $d=o(\sqrt{n})$, and to the argument of Cook, Goldstein and Johnson (2015) who derived a concentration inequality for linear forms and estimated $λ(G)$ in the range $d= O(n^{2/3})$ using size-biased couplings.

Write $\mathcal{C}(G)$ for the cycle space of a graph $G$, $\mathcal{C}_κ(G)$ for the subspace of $\mathcal{C}(G)$ spanned by the copies of the $κ$-cycle $C_κ$ in $G$, $\mathcal{T}_κ$ for the class of graphs satisfying $\mathcal{C}_κ(G)=\mathcal{C}(G)$, and $\mathcal{Q}_κ$ for the class of graphs each of whose edges lies in a $C_κ$. We prove that for every odd $κ\geq 3$ and $G=G_{n,p}$, \[\max_p \, \Pr(G \in \mathcal{Q}_κ\setminus \mathcal{T}_κ) \rightarrow 0;\] so the $C_κ$'s of a random graph span its cycle space as soon as they cover its edges. For $κ=3$ this was shown by DeMarco, Hamm and Kahn (2013).

In this paper we prove a quantiative local limit theorem for the distribution of the number of triangles in the Erdős-Renyi random graph $G(n,p)$, for a fixed $p\in (0,1)$. This proof is an extension of the previous work of Gilmer and Kopparty, who proved that the local limit theorem held asymptotically for triangles. Our work gives bounds on the $\ell^1$ and $\ell^\infty$ distance of the triangle distribution from a suitable discrete normal.

A celebrated result of Rödl and Ruciński states that for every graph $F$, which is not a forest of stars and paths of length $3$, and fixed number of colours $r\ge 2$ there exist positive constants $c, C$ such that for $p \leq cn^{-1/m_2(F)}$ the probability that every colouring of the edges of the random graph $G(n,p)$ contains a monochromatic copy of $F$ is $o(1)$ (the "0-statement"), while for $p \geq Cn^{-1/m_2(F)}$ it is $1-o(1)$ (the "1-statement"). Here $m_2(F)$ denotes the $2$-density of $F$. On the other hand, the case where $F$ is a forest of stars has a coarse threshold which is determined by the appearance of a certain small subgraph in $G(n, p)$. Recently, the natural extension of the 1-statement of this theorem to $k$-uniform hypergraphs was proved by Conlon and Gowers and, independently, by Friedgut, Rödl and Schacht. In particular, they showed an upper bound of order $n^{-1/m_k(F)}$ for the $1$-statement, where $m_k(F)$ denotes the $k$-density of $F$. Similarly as in the graph case, it is known that the threshold for star-like hypergraphs is given by the appearance of small subgraphs. In this paper we show that another type of thresholds exists if $k \ge 4:$ there are $k$-uniform hypergraphs for which the threshold is determined by the asymmetric Ramsey problem in which a different hypergraph has to be avoided in each colour-class. Along the way we obtain a general bound on the $1$-statement for asymmetric Ramsey properties in random hypergraphs. This extends the work of Kohayakawa and Kreuter, and of Kohayakawa, Schacht and Spöhel who showed a similar result in the graph case. We prove the corresponding 0-statement for hypergraphs satisfying certain balancedness conditions.

We study Gibbs partitions that typically form a unique giant component. The remainder is shown to converge in total variation toward a Boltzmann-distributed limit structure. We demon- strate how this setting encompasses arbitrary weighted assemblies of tree-like combinatorial structures. As an application, we establish smooth growth along lattices for small block-stable classes of graphs. Random graphs with n vertices from such classes are shown to form a giant connected component. The small fragments may converge toward different Poisson Boltzmann limit graphs, depending along which lattice we let n tend to infinity. Since proper addable minor-closed classes of graphs belong to the more general family of small block-stable classes, this recovers and generalizes results by McDiarmid (2009).

A bootstrap percolation process on a graph with infection threshold $r\ge 1$ is a dissemination process that evolves in time steps. The process begins with a subset of infected vertices and in each subsequent step every uninfected vertex that has at least $r$ infected neighbours becomes infected and remains so forever. Critical phenomena in bootstrap percolation processes were originally observed by Aizenman and Lebowitz in the late 1980s as finite-volume phase transitions in $\mathbb{Z}^d$ that are caused by the accumulation of small local islands of infected vertices. They were also observed in the case of dense (homogeneous) random graphs by Janson, Łuczak, Turova and Valier (2012). In this paper, we consider the class of inhomogeneous random graphs known as the Chung-Lu model: each vertex is equipped with a positive weight and each pair of vertices appears as an edge with probability proportional to the product of the weights. In particular, we focus on the sparse regime, where the number of edges is proportional to the number of vertices. The main results of this paper determine those weight sequences for which a critical phenomenon occurs: there is a critical density of vertices that are infected at the beginning of the process, above which a small (sublinear) set of infected vertices creates an avalanche of infections that in turn leads to an outbreak. We show that this occurs essentially only when the tail of the weight distribution dominates a power law with exponent 3 and we determine the critical density in this case.

We provide sufficient conditions for the existence of long cycles in locally expanding graphs, and present applications of our conditions and techniques to Ramsey theory, random graphs and positional games.

Let $k \ge 3$ be a fixed integer. We exactly determine the asymptotic distribution of $\ln Z_k(G(n,m))$, where $Z_k(G(n,m))$ is the number of $k$-colourings of the random graph $G(n,m)$. A crucial observation to this aim is that the fluctuations in the number of colourings can be attributed to the fluctuations in the number of small cycles in $G(n,m)$. Our result holds for a wide range of average degrees, and for $k$ exceeding a certain constant $k_0$ it covers all average degrees up to the so-called "condensation phase transition".

A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. The authors recently proved a conjecture of McDiarmid, Steger, and Welsh stating that if $\mathcal{G}$ is bridge-addable and $G_n$ is a uniform $n$-vertex graph from $\mathcal{G}$, then $G_n$ is connected with probability at least $(1+o_n(1))e^{-1/2}$. The constant $e^{-1/2}$ is best possible since it is reached for the class of all forests. In this paper we prove a form of uniqueness in this statement: if $\mathcal{G}$ is a bridge-addable class and the random graph $G_n$ is connected with probability close to $e^{-1/2}$, then $G_n$ is asymptotically close to a uniform $n$-vertex random forest in some local sense. For example, if the probability converges to $e^{-1/2}$, then $G_n$ converges in the sense of Benjamini-Schramm to the uniform infinite random forest $F_\infty$. This result is reminiscent of so-called "stability results" in extremal graph theory, with the difference that here the stable extremum is not a graph but a graph class.

A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$. In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is $(1/8)2^{n(n-1)/2}$. Furthermore, they proved a $p$-biased generalization, stating that for any $p \leq 1/2$, we have $μ_{p}(F)\le p^{3}$, where $μ_{p}(F)$ is the probability that the random graph $G(n,p)$ belongs to $F$. In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for $1/2 < p \le 3/4$, and more generally, that for any non-$t$-colorable graph $H$ and any $H$-intersecting family $F$, we have $μ_{p}(F)\le p^{t(t+1)/2}$ for all $p \leq (2t-1)/(2t)$. In this note we construct, for any fixed $H$ and any $p>1/2$, an $H$-intersecting family $F$ of graphs such that $μ_{p}(F)\ge 1-e^{-n^{2}/C}$, where $C$ depends only on $H$ and $p$, thus disproving both conjectures.

A graph on $n$ vertices is said to be \emph{$C$-Ramsey} if every clique or independent set of the graph has size at most $C \log n$. The only known constructions of Ramsey graphs are probabilistic in nature, and it is generally believed that such graphs possess many of the same properties as dense random graphs. Here, we demonstrate one such property: for any fixed $C>0$, every $C$-Ramsey graph on $n$ vertices induces subgraphs of at least $n^{2-o(1)}$ distinct sizes. This near-optimal result is closely related to two unresolved conjectures, the first due to Erdős and McKay and the second due to Erdős, Faudree and Sós, both from 1992.

For natural numbers $n,r \in \mathbb{N}$ with $n\ge r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\dots,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We answer this question affirmatively as long as $r/n$ is bounded away from $1/2$, even when the probability of retaining an edge of the Kneser graph is quite small. This gives us a random analogue of the Erdős-Ko-Rado theorem since an independent set in the Kneser graph is the same as a uniform intersecting family. To prove our main result, we give some new estimates for the number of disjoint pairs in a family in terms of its distance from an intersecting family, these might be of independent interest.

We study asymptotical probabilities of first order and monadic second order properties of Erdos-Renyi random graph G(n,n^{-a}). The random graph obeys FO (MSO) zero-one k-law if for any first order (monadic second order) formulae it is true for G(n,n^{-a}) with probability tending to 0 or to 1. Zero-one k-laws are well studied only for the first order language and a < 1. We obtain new zero-one k-laws (both for first order and monadic second order languages) when a > 1. Proofs of these results are based on the existed study of first order equivalence classes and our study of monadic second order equivalence classes. The respective results are of interest by themselves.

In this paper, we study spectra of first order properties of Erdos-Renyi random graph. We proved that minimal quantifier depth of a formula with an infinite spectrum is either 4 or 5.