arXiv++ Combinatorics

In this expository article, we give a gentle introduction to the Erdős-Rényi random graphs and threshold phenomena that they exhibit. We also mildly introduce the Kahn-Kalai Conjecture with several intuitive examples, mainly targeting the general audience.

We consider random temporal graphs, a version of the classical Erdős--Rényi random graph G(n,p) where additionally, each edge has a distinct random time stamp, and connectivity is constrained to sequences of edges with increasing time stamps. We study the asymptotics for the distances in such graphs, mostly in the regime of interest where np is of order log n. We establish the first order asymptotics for the lengths of increasing paths: the lengths of the shortest and longest paths between typical vertices, the maxima of these lengths from a given vertex, as well as the maxima between any two vertices; this covers the (temporal) diameter.

For two given graphs $G$ and $F$, a graph $ H$ is said to be weakly $ (G, F) $-saturated if $H$ is a spanning subgraph of $ G$ which has no copy of $F$ as a subgraph and one can add all edges in $ E(G)\setminus E(H)$ to $ H$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $ wsat(G, F)$ is the minimum number of edges of a weakly $(G, F)$-saturated graph. In this paper, we deal with the relation between $ wsat(G(n,p), F)$ and $ wsat(K_n, F)$, where $G(n,p)$ denotes the Erdős--Rényi random graph and $ K_n$ denotes the complete graph on $ n$ vertices. For every graph $ F$ and constant $ p$, we prove that $ wsat( G(n,p),F)= wsat(K_n,F)(1+o(1))$ with high probability. Also, for some graphs $ F$ including complete graphs, complete bipartite graphs, and connected graphs with minimum degree $ 1$ or $ 2$, it is shown that there exists an $ \varepsilon(F)>0$ such that, for any $ p\geqslant n^{-\varepsilon(F)}\log n$, $ wsat( G(n,p),F)= wsat(K_n,F)$ with high probability.

We study the noise sensitivity of the minimum spanning tree (MST) of the $n$-vertex complete graph when edges are assigned independent random weights. It is known that when the graph distance is rescaled by $n^{1/3}$ and vertices are given a uniform measure, the MST converges in distribution in the Gromov-Hausdorff-Prokhorov (GHP) topology. We prove that if the weight of each edge is resampled independently with probability $\varepsilon\gg n^{-1/3}$, then the pair of rescaled minimum spanning trees -- before and after the noise -- converges in distribution to independent random spaces. Conversely, if $\varepsilon\ll n^{-1/3}$, the GHP distance between the rescaled trees goes to $0$ in probability. This implies the noise sensitivity and stability for every property of the MST that corresponds to a continuity set of the random limit. The noise threshold of $n^{-1/3}$ coincides with the critical window of the Erdős-Rényi random graphs. In fact, these results follow from an analog theorem we prove regarding the minimum spanning forest of critical random graphs.

In the inhomogeneous random graph model, each vertex $i\in\{1,\ldots,n\}$ is assigned a weight $W_i\sim\text{Unif}(0,1)$, and an edge between any two vertices $i,j$ is present with probability $k(W_i,W_j)/λ_n\in[0,1]$, where $k$ is a positive, symmetric function and $λ_n$ is a scaling parameter that controls the graph density. When $λ_n=1$ (resp.~$λ_n=O(n)$) the typical resulting graph is dense (resp.~sparse). The goal of this paper is the study of structural properties of \textit{large} inhomogeneous random graphs. We focus our attention on graph functions that grow sufficiently slowly as the graph size increases. Under some additional technical assumptions, we show that the first-order asymptotic behavior of all such properties is the same for the inhomogeneous random graph and for the Erdős-Rényi random graph. Our proof relies on two couplings between the inhomogeneous random graph and appropriately constructed Erdős-Rényi random graphs. We demonstrate our method by obtaining asymptotics for two structural properties of the inhomogeneous random graph which were previously unknown. In the sparse regime, we find the leading-order term for the chromatic number. In the dense regime, we find the asymptotics of the so-called $γ$-quasi-clique number.

For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1, e_2$ (resp. pair of vertices $v_1, v_2$) of $G$ there is at least one path in the family that contains one of $e_1$ and $e_2$ (resp. $v_1$ and $v_2$) but not the other. We determine the size of a minimum edge-separating path system of an arbitrary tree $T$ as a function of its number of leaves and degree-two vertices. We obtain bounds for the size of a minimal vertex-separating path system for trees, which we show to be tight in many cases. We obtain similar results for a variation of the definition, where we require the path system to separate edges and vertices simultaneously. Finally, we investigate the size of a minimal vertex-separating path system in Erdős--Rényi random graphs.

The $r$-expansion of a $k$-uniform hypergraph $H$, denoted by $H^{(+r)}$, is an $r$-uniform hypergraph obtained by enlarging each $k$-edge of $H$ with a set of $r-k$ vertices of degree one. The random Turán number $\mathrm{ex}(G^r_{n,p},H)$ is the maximum number of edges in an $H$-free subgraph of $G^r_{n,p}$, where $G^r_{n,p}$ is the Erdős-Rényi random $r$-graph with parameter $p$. In this paper, we prove an upper bound for $\mathrm{ex}(G^r_{n,p},H)$ when $H$ belongs to a large family of $r$-partite $r$-graphs: the $r$-expansion of spanning subgraphs of tight trees. This upper bound is essentially tight for at least the following two families of hypergraphs. 1. Our upper bounds are essentially tight for expansions of $K^{k-1}_{k}$, the complete $(k-1)$-graph on $k$ vertices. The proof of the lower bound makes use of a recent construction of Gowers and Janzer generalizing the famous Ruzsa-Szemerëdi construction. In particular, when $k=3$, this answers a question of the current author, Spiro and Verstraëte concerning the random Turán number of linear triangle. 2. Let $T$ be a tight tree such that the intersection of all edges of $T$ is empty. Simple construction shows that the upper bounds we have for expansions of $T$ are essentially tight. The main technical contribution of this paper is a new way to obtain balanced supersaturation results for expansions of hypergraphs: we combine two ideas, one of Mubayi-Yepremyan and another of Balogh-Narayanan-Skokan, via codegree dichotomy. We note that neither of these two ideas alone would be enough to recover results in this paper.

We consider the question of determining the probability of triangle count deviations in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$ with densities larger than $n^{-1/2}(\log{n})^{1/2}$. In particular, we determine the log probability $\log\mathbb{P}(N_{\triangle}(G)\, >\, (1+δ)p^3n^3)$ up to a constant factor across essentially the entire range of possible deviations, in both the $G(n,m)$ and $G(n,p)$ model. For the $G(n,p)$ model we also prove a stronger result, up to a $(1+o(1))$ factor, in the non-localised regime. We also obtain some results for the lower tail and for counts of cherries (paths of length $2$).

Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. The random Turán number $\mathrm{ex}(G^r_{n,p},\mathcal{F})$ is the maximum number of edges in an $\mathcal{F}$-free subgraph of $G^r_{n,p}$, where $G^r_{n,p}$ is the Erdös-Rényi random $r$-graph with parameter $p$. Let $C^r_{\ell}$ denote the $r$-uniform linear cycle of length $\ell$. For $p\ge n^{-r+2+o(1)}$, Mubayi and Yepremyan showed that $\mathrm{ex}(G^r_{n,p},C^r_{2\ell})\le\max\{p^{\frac{1}{2\ell-1}}n^{1+\frac{r-1}{2\ell-1}+o(1)},pn^{r-1+o(1)}\}$. This upper bound is not tight when $p\le n^{-r+2+\frac{1}{2\ell-2}+o(1)}$. In this paper, we close the gap for $r\ge 4$. More precisely, we show that $\mathrm{ex}(G^r_{n,p},C^r_{2\ell})=Θ(pn^{r-1})$ when $p\ge n^{-r+2+\frac{1}{2\ell-1}+o(1)}$. Similar results have recently been obtained independently in a different way by Mubayi and Yepremyan. For $r=3$, we significantly improve Mubayi and Yepremyan's upper bound. Moreover, we give reasonably good upper bounds for the random Turán numbers of Berge even cycles, which improve previous results of Spiro and Verstraëte.

For a given graph $F$, the $F$-saturation number of a graph $G$, denoted by $ {sat}(G, F)$, is the minimum number of edges in an edge-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov determined $ {sat}({G}(n, p), K_r)$ asymptotically, where ${G}(n, p) $ denotes the Erdős-Rényi random graph and $ K_r$ is the complete graph on $r$ vertices. In this paper, among other results, we present an asymptotic upper bound on ${sat}({G}(n, p), F)$ for any bipartite graph $F$ and also an asymptotic lower bound on ${sat}({G}(n, p), F)$ for any complete bipartite graph $F$.

We consider Erdős-Rényi graphs $G(n,p)$ for $0 < p < 1$ fixed and $n \rightarrow \infty$ and study the expected number of steps, $H_{wv}$, that a random walk started in $w$ needs to first arrive in $v$. A natural guess is that an Erdős-Rényi random graph is so homogeneous that it does not really distinguish between vertices and $H_{wv} = (1+o(1)) n$. Löwe-Terveer established a CLT for the Mean Starting Hitting Time suggesting $H_{w v} = n \pm \mathcal{O}(\sqrt{n})$. We prove the existence of a strong concentration phenomenon: $H_{w v}$ is given, up to a very small error of size $\lesssim \sqrt{\log{n}}/\sqrt{n}$, by an explicit simple formula involving only the total number of edges $|E|$, the degree of $v$ and the distance $d(v,w)$.

Here we introduce simple structures for the analysis of complex hypergraphs, hypergraph animals. These structures are designed to describe the local node neighbourhoods of nodes in hypergraphs. We establish their relationships to lattice animals and network motifs, and we develop their combinatorial properties for sparse and uncorrelated hypergraphs. We make use of the tight link of hypergraph animals to partition numbers, which opens up a vast mathematical framework for the analysis of hypergraph animals. We then study their abundances in random hypergraphs. Two transferable insights result from this analysis: (i) it establishes the importance of high-cardinality edges in ensembles of random hypergraphs that are inspired by the classical Erdös-Renyí random graphs; and (ii) there is a close connection between degree and hyperedge cardinality in random hypergraphs that shapes animal abundances and spectra profoundly. Both findings imply that hypergraph animals can have the potential to affect information flow and processing in complex systems. Our analysis of also suggests that we need to spend more effort on investigating and developing suitable conditional ensembles of random hypergraphs that can capture real-world structures and their complex dependency structures.

We develop a general universality technique for establishing metric scaling limits of critical random discrete structures exhibiting mean-field behavior that requires four ingredients: (i) from the barely subcritical regime to the critical window, components merge approximately like the multiplicative coalescent, (ii) asymptotics of the susceptibility functions are the same as that of the Erdos-Renyi random graph, (iii) asymptotic negligibility of the maximal component size and the diameter in the barely subcritical regime, and (iv) macroscopic averaging of distances between vertices in the barely subcritical regime. As an application of the general universality theorem, we establish, under some regularity conditions, the critical percolation scaling limit of graphs that converge, in a suitable topology, to an $L^3$ graphon. In particular, we define a notion of the critical window in this setting. The $L^3$ assumption ensures that the model is in the Erdos-Renyi universality class and that the scaling limit is Brownian. Our results do not assume any specific functional form for the graphon. As a consequence of our results on graphons, we obtain the metric scaling limit for Aldous-Pittel's RGIV model [9] inside the critical window. Our universality principle has applications in a number of other problems including in the study of noise sensitivity of critical random graphs [52]. In [10], we use our universality theorem to establish the metric scaling limit of critical bounded size rules. Our method should yield the critical metric scaling limit of Rucinski and Wormald's random graph process with degree restrictions [56] provided an additional technical condition about the barely subcritical behavior of this model can be proved.

Two landmark results in combinatorial random matrix theory, due to Komlós and Costello-Tao-Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph theory, when $p$ is a fixed constant, the biadjacency matrix of a random Erdős-Rényi bipartite graph $\mathbb{G}(n,n,p)$ and the adjacency matrix of an Erdős-Rényi random graph $\mathbb{G}(n,p)$ are both nonsingular with high probability. However, very sparse random graphs (i.e., where $p$ is allowed to decay rapidly with $n$) are typically singular, due to the presence of "local" dependencies such as isolated vertices and pairs of degree-1 vertices with the same neighbour. In this paper we give a combinatorial description of the rank of a sparse random graph $\mathbb{G}(n,n,c/n)$ or $\mathbb{G}(n,c/n)$ in terms of such local dependencies, for all constants $c\ne e$ (and we present some evidence that the situation is very different for $c=e$). This gives an essentially complete answer to a question raised by Vu at the 2014 International Congress of Mathematicians. As applications of our main theorem and its proof, we also determine the asymptotic singularity probability of the 2-core of a sparse random graph, we show that the rank of a sparse random graph is extremely well-approximated by its matching number, and we deduce a central limit theorem for the rank of $\mathbb{G}(n,c/n)$.

We introduce the multineighbor complex of a graph, which is a simplicial complex in which a simplex is a subset of the graph with a sufficient number of mutual neighbors. We investigate the asymptotic homological properties of such complexes for the Erdos-Renyi random graphs and obtain a number of vanishing and nonvanishing results. We use this construction to perform a topological data analysis classification of noisy synthetic point clouds obtaining favorable accuracy as obtained by the standard methods. The case when there is a single neighbor has been studied earlier by Mathew Kahle.

Let $G$ be a graph with $n$ vertices. The {\em hat guessing number} of $G$ is defined in terms of the following game: There are $n$ players and one opponent. The opponent will wear one of the $q$ hats of different colors on the player's head. At this time, the player can only see the player's hat color at the adjacent vertex, and communication between players is not allowed. Once players are assigned hats, each player must guess the color of his hat at the same time. If at least one player guesses right, then they will win collectively. Given a graph $G$, its hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ different colors. Let $\mathcal{G}(n,p)$ denote the Erdős-Rényi random graphs with $n$ vertices and edge-chosen probability $ p\in(0,1)$. Alon-Chizewer and Bosek-Dudek-Farnik-Grytczuk-Mazur investigated the lower and upper bound for $HG(G)$ when $G\in \mathcal{G}(n,1/2)$, respectively. In this paper, we extends their results by showing that for any constant number $p$, we have $n^{1 - o(1)}\le HG(G) \le (1-o(1))n$ with high probability when $G\in \mathcal{G}(n,p)$.

Let $\FF$ be an arbitrary field and $(\bm{G}_{n,d/n})_n$ be a sequence of sparse weighted Erdős-Rényi random graphs on $n$ vertices with edge probability $d/n$, where weights from $\FF \setminus\{0\}$ are assigned to the edges according to a fixed matrix $J_n$. We show that the normalised rank of the adjacency matrix of $(\bm{G}_{n,d/n})_n$ converges in probability to a constant, and derive the limiting expression. Our result shows that for the general class of sparse symmetric matrices under consideration, the asymptotics of the normalised rank are independent of the edge weights and even the field, in the sense that the limiting constant for the general case coincides with the one previously established for adjacency matrices of sparse (non-weighted) Erdős-Rényi matrices over $\RR$ from \cite{bordenave2011rank}. Our proof, which is purely combinatorial in its nature, is based on an intricate extension of the novel perturbation approach from \cite{coja2022rank} to the symmetric setting.

We investigate the twin-width of the Erdős-Rényi random graph $G(n,p)$. We unveil a surprising behavior of this parameter by showing the existence of a constant $p^*\approx 0.4$ such that with high probability, when $p^*\le p\le 1-p^*$, the twin-width is asymptotically $2p(1-p)n$, whereas, when $0<p<p^*$ or $1>p>1-p^*$, the twin-width is significantly higher than $2p(1-p)n$. In addition, we show that the twin-width of $G(n,1/2)$ is concentrated around $n/2 - \sqrt{3n \log n}/2$ within an interval of length $o(\sqrt{n\log n})$. For the sparse random graph, we show that with high probability, the twin-width of $G(n,p)$ is $Θ(n\sqrt{p})$ when $(726\ln n)/n\leq p\leq1/2$.

We consider a recently introduced model of color-avoiding percolation defined as follows. Every edge in a graph $G$ is colored in some of $k\ge 2$ colors. Two vertices $u$ and $v$ in $G$ are said to be CA-connected if $u$ and $v$ may be connected using any subset of $k-1$ colors. CA-connectivity defines an equivalence relation on the vertex set of $G$ whose classes are called CA-components. We study the component structure of a randomly colored Erdős-Rényi random graph of constant average degree. We distinguish three regimes for the size of the largest component: a supercritical regime, a so-called intermediate regime, and a subcritical regime, in which the largest CA-component has respectively linear, logarithmic, and bounded size. Interestingly, in the subcritical regime, the bound is deterministic and given by the number of colors.

In the graph shotgun assembly problem, we are given the balls of radius $r$ around each vertex of a graph and asked to reconstruct the graph. We study the shotgun assembly of the Erdős-Rényi random graph $\mathcal G(n,p)$ for a wide range of values of $r$. We determine the threshold for reconstructibility for each $r\geq 3$, extending and improving substantially on results of Mossel and Ross for $r=3$. For $r=2$, we give upper and lower bounds that improve on results of Gaudio and Mossel by polynomial factors. We also give a sharpening of a result of Huang and Tikhomirov for $r=1$.