arXiv++ Combinatorics

We propose a novel exact algorithm for generating connected Erdos-Renyi random graphs $G(n,p)$. The method couples the graph exploration process to an inhomogeneous Poisson random walk, which yields an exact sampler that runs in $O(n)$ time in the sparse regime $p=c/n$. We also show how the method extends to the $G(n,M)$ model via an additional acceptance-rejection step.

We study the distribution of the set of copies of some given graph $H$ in the random graph $G(n,p)$, focusing on the case when $H = K_r$. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case $H = K_r$) each copy is present independently with probability $π= p^{\binom{r}{2}}$. As a concrete application, we derive a new upper bound on the number of $K_r$-factors in $G(n,p)$ above the threshold for such factors to appear. We will prove our main results in a much more general setting, so that they also apply to random hypergraphs, and also (for example) to the case when $p$ is constant and $r = r(n) \sim 2\log_{1/p}(n)$.

Consider a `dense' Erdős--Rényi random graph model $G=G_{n,M}$ with $n$ vertices and $M$ edges, where we assume the edge density $M/\binom{n}{2}$ is bounded away from 0 and 1. Fix $k=k(n)$ with $k/n$ bounded away from 0 and~1, and let $S$ be a random subset of size $k$ of the vertices of $G$. We show that with probability $1-\exp(-n^{Ω(1)})$, $G$ satisfies both a central limit theorem and a local limit theorem for the empirical distribution of the edge count $e(G[S])$ of the subgraph of $G$ induced by $S$, where the distribution is over uniform random choices of the $k$-set $S$.

The problems of detecting and recovering planted structures/subgraphs in Erdős-Rényi random graphs, have received significant attention over the past three decades, leading to many exciting results and mathematical techniques. However, prior work has largely focused on specific ad hoc planted structures and inferential settings, while a general theory has remained elusive. In this paper, we bridge this gap by investigating the detection of an \emph{arbitrary} planted subgraph $Γ= Γ_n$ in an Erdős-Rényi random graph $\mathcal{G}(n, q_n)$, where the edge probability within $Γ$ is $p_n$. We examine both the statistical and computational aspects of this problem and establish the following results. In the dense regime, where the edge probabilities $p_n$ and $q_n$ are fixed, we tightly characterize the information-theoretic and computational thresholds for detecting $Γ$, and provide conditions under which a computational-statistical gap arises. Most notably, these thresholds depend on $Γ$ only through its number of edges, maximum degree, and maximum subgraph density. Our lower and upper bounds are general and apply to any value of $p_n$ and $q_n$ as functions of $n$. Accordingly, we also analyze the sparse regime where $q_n = Θ(n^{-α})$ and $p_n-q_n =Θ(q_n)$, with $α\in[0,2]$, as well as the critical regime where $p_n=1-o(1)$ and $q_n = Θ(n^{-α})$, both of which have been widely studied, for specific choices of $Γ$. For these regimes, we show that our bounds are tight for all planted subgraphs investigated in the literature thus far\textemdash{}and many more. Finally, we identify conditions under which detection undergoes sharp phase transition, where the boundaries at which algorithms succeed or fail shift abruptly as a function of $q_n$.

For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$, we show that $n^{2-o(1)} \leq τ_t(n) = o(n^2)$. For $t=3$, surprisingly, the behaviour is substantially different. Our main result establishes that $$\left ( \frac{1}{2}-o(1) \right ) n\log n \le τ_3(n) = O\big (n^{\sqrt{2}}\log n \big ),$$ which gives the first non-trivial improvements over the simple lower and upper bounds. Our proof combines various applications of the probabilistic method and a generalisation of the edge-isoperimetric inequality for the hypercube.

There has been much interest in the distribution of the circumference, the length of the longest cycle, of a random graph $G(n,p)$ in the sparse regime, when $p = Θ\left(\frac{1}{n}\right)$. Recently, the first author and Frieze established a scaling limit for the circumference in this regime, along the way establishing an alternative 'structural' approximation for this parameter. In this paper, we give a central limit theorem for the circumference in this regime using a novel argument based on the Efron-Stein inequality, which relies on a combinatorial analysis of the effect of resampling edges on this approximation.

We study the evolution of majority dynamics on Erdős-Rényi $G(n,p)$ random graphs. In this process, each vertex of a graph is assigned one of two initial states. Subsequently, on every day, each vertex simultaneously updates its state to the most common state in its neighbourhood. If the difference in the numbers of vertices in each state on day $0$ is larger than $ \max \left\{\frac{1}{\sqrt{p}} \exp\left[A\sqrt{\log \left(\frac{1}{p}\right)}\right] , Bp^{-3/2} n^{-1/2} \right\}$ for constants $A$ and $B$, we demonstrate that the state with the initial majority wins with overwhelmingly high probability. This extends work by Linh Tran and Van Vu (2023), who previously considered this phenomenon. We also study majority dynamics with a random initial assignment of vertex states. When each vertex is assigned to a state with equal probability, we show that unanimity occurs with high probability for every $p \geq λn^{-2/3}$, for some constant $λ$. This improves work by Fountoulakis, Kang and Makai (2020). Furthermore, we also consider a random initial assignment of vertex states where a vertex is slightly more likely to be in the first state than the second state. Previous work by Zehmakan (2018) and Tran and Vu (2023) provided conditions on how big this bias needs to be for the first colour to achieve unanimity with high probability. We strengthen these results by providing a weaker sufficient condition.

Fix a sequence of $d$-regular graphs $(G_d)_{d\in \mathbb{N}}$ and denote by $G_{d,p}$ the graph obtained from $G_d$ after edge-percolation with probability $p=c/d$, for a constant $c>0$. We prove a quantitative local convergence of $(G_{d,p})_{d\in \mathbb{N}}$. In combination with results of Bordenave, Lelarge and Salez, it implies that the rescaled matching number of $G_{d,p}$ is asymptotically equivalent to that of the binomial random graph $G(n,c/n)$.

Majority dynamics is a process on a simple, undirected graph $G$ with an initial Red/Blue color for every vertex of $G$. Each day, each vertex updates its color following the majority among its neighbors, using its previous color for tie-breaking. The dynamics achieves \textit{unanimity} if every vertex has the same color after finitely many days, and such color is said to \textit{win}. When $G$ is a $G(n,p)$ random graph, L. Tran and Vu (2019) found a codition in terms of $p$ and the initial difference $2Δ$ beteween the sizes of the Red and Blue camps, such that unanimity is achieved with probability arbitrarily close to 1. They showed that if $pΔ^2 \gg1 $, $pΔ\geq 100$, and $p\geq (1+\varepsilon) n^{-1}\log n$ for a positive constant $\varepsilon$, then unanimity occurs with probability $1 - o(1)$. If $p$ is not extremely small, namely $p > \log^{-1/16} n $, then Sah and Sawhney (2022) showed that the condition $pΔ^2 \gg 1$ is sufficient. If $n^{-1}\log^2 n \ll p \ll n^{-1/2}\log^{1/4} n$, we show that $p^{3/2}Δ\gg n^{-1/2}\log n$ is enough. Since this condition holds if $pΔ\geq 100$ for $p$ in this range, this is an improvement of Tran's and Vu's result. For the closely related problem of finding the optimal condition for $p$ to achieve unanimity when the initial coloring is chosen uniformly at random among all possible Red/Blue assignments, our result implies a new lower bound $p \gg n^{-2/3}\log^{2/3} n$, which improves upon the previous bound of $n^{-3/5}\log n$ by Chakraborti, Kim, Lee and T. Tran (2021).

We identify the size of the largest connected component in a subcritical inhomogeneous random graph with a kernel of preferential attachment type. The component is polynomial in the graph size with an explicitly given exponent, which is strictly larger than the exponent for the largest degree in the graph. This is in stark contrast to the behaviour of inhomogeneous random graphs with a kernel of rank one. Our proof uses local approximation by branching random walks going well beyond the weak local limit and novel results on subcritical killed branching random walks.

The Cayley sum graph $Γ_S$ of a set $S \subseteq \mathbb{Z}_n$ is defined on the vertex set $\mathbb{Z}_n$, with an edge between distinct $x, y \in \mathbb{Z}_n$ if $x + y \in S$. Campos, Dahia, and Marciano have recently shown that if $S$ is formed by taking each element in $\mathbb{Z}_n$ independently with probability $p$, for $p > (\log n)^{-1/80}$, then with high probability the largest independent set in $Γ_S$ is of size $$ (2 + o(1)) \log_{1/(1-p)}(n). $$ This extends a result of Green and Morris, who considered the case $p = 1/2$, and asymptotically matches the independence number of the binomial random graph $G(n,p)$. We improve the range of $p$ for which this holds to $p > (\log n)^{-1/3 + o(1)}$. The heavy lifting has been done by Campos, Dahia, and Marciano, and we show that their key lemma can be used a bit more efficiently.

We consider the following budget-constrained random graph process introduced by Frieze, Krivelevich and Michaeli. A player, called Builder, is presented with $t$ distinct edges of $K_n$ one by one, chosen uniformly at random. Builder may purchase at most $b$ of these edges, and must (irrevocably) decide whether to purchase each edge as soon as it is offered. Builder's goal is to construct a graph which satisfies a certain property; we investigate the properties of containing different $F$-factors or powers of Hamilton cycles. We obtain general lower bounds on the budget $b$, as a function of $t$, required for Builder to obtain partial $F$-factors, for arbitrary $F$. These imply lower bounds for many distinct spanning structures, such as powers of Hamilton cycles. Notably, our results show that, if $t$ is close to the hitting time for a partial $F$-factor, then the budget $b$ cannot be substantially lower than $t$. These results give negative answers to questions of Frieze, Krivelevich and Michaeli. Conversely, we also exhibit a simple strategy for constructing (partial) $F$-factors, in particular showing that our general lower bound is tight up to constant factors. The ideas from this strategy can be exploited for other properties. As an example, we obtain an essentially optimal strategy for powers of Hamilton cycles. In order to formally prove that this strategy succeeds, we develop novel tools for analysing multi-stage strategies, which may be of general interest for studying other properties.

We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups. We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.

For $k \geq 4$, we establish that $p = (e/n)^{1/k}$ is a sharp threshold for the existence of the $k$-th power $H$ of a Hamilton cycle in the binomial random graph model. Our proof builds upon an approach by Riordan based on the second moment method, which previously established a weak threshold for $H$. This method expresses the second moment bound through contributions of subgraphs of $H$, with two key quantities: the number of copies of each subgraph in $H$ and the subgraphs' densities. We control these two quantities more precisely by carefully restructuring Riordan's proof and treating sparse and dense subgraphs of $H$ separately. This allows us to determine the exact constant in the threshold.

Kernel-based random graphs (KBRGs) are a broad class of random graph models that account for inhomogeneity among vertices. We consider KBRGs on a discrete $d-$dimensional torus $\mathbf{V}_N$ of size $N^d$. Conditionally on an i.i.d.~sequence of {Pareto} weights $(W_i)_{i\in \mathbf{V}_N}$ with tail exponent $τ-1>0$, we connect any two points $i$ and $j$ on the torus with probability $$p_{ij}= \frac{κ_σ(W_i,W_j)}{\|i-j\|^α} \wedge 1$$ for some parameter $α>0$ and $κ_σ(u,v)= (u\vee v)(u \wedge v)^σ$ for some $σ\in(0,τ-1)$. We focus on the adjacency operator of this random graph and study its empirical spectral distribution. For $α<d$ and $τ>2$, we show that a non-trivial limiting distribution exists as $N\to\infty$ and that the corresponding measure $μ_{σ,τ}$ is absolutely continuous with respect to the Lebesgue measure. $μ_{σ,τ}$ is given by an operator-valued semicircle law, whose Stieltjes transform is characterised by a fixed point equation in an appropriate Banach space. We analyse the moments of $μ_{σ,τ}$ and prove that the second moment is finite even when the weights have infinite variance. In the case $σ=1$, corresponding to the so-called scale-free percolation random graph, we can explicitly describe the limiting measure and study its tail.

It is well known that finding extremal values and structures can be hard in weighted graphs. However, if the weights are random, this problem can become way easier. In this paper, we examine the minimal weight of a union of $k$ edge-disjoint trees in a complete graph with independent and identically distributed edge weights. The limit of this value (for a given distribution) is known for $k=1,2$. We extend these results and find the limit value for any $k>2$. We also prove a related result regarding the structure of sparse random graphs.

Modularity was introduced by Newman and Girvan in 2004 and is used as a measure of community structure of networks represented by graphs. In our work we study modularity of the random intersection graph model first considered by Karoński, Scheinerman, and Singer--Cohen in 1999. Since their introduction, random intersection graphs has attracted much attention, mostly due to their application as networks models. In our work we determine the range of parameters in which modularity detects well the community structure of the random intersection graphs, as well as give a range of parameters for which there is a community structure present but not revealed by modularity. We also relate modularity of the random intersection graph to the modularity of other known random graph models.

In this paper we consider a dynamic Erdős-Rényi random graph with independent identically distributed edge processes. Our aim is to describe the joint evolution of the entries of a subgraph count vector. The main result of this paper is a functional central limit theorem: we establish, under an appropriate centering and scaling, the joint functional convergence of the vector of subgraph counts to a specific multidimensional Gaussian process. The result holds under mild assumptions on the edge processes, most notably a Lipschitz-type condition.

We propose the spectral degree exponent as a novel graph metric. Although Hofmeister \cite{HofmeisterThesis} has studied the same metric, we generalise Hofmeister's work to weighted graphs. We provide efficient iterative formulas and bounds for the spectral degree exponent and provide highly accurate asymptotic expansions for the spectral degree exponent for several families of graphs. Furthermore, we uncover a close relation between the spectral degree exponent and the well-known degree assortativity, by showing high correlations between the two metrics in all small graphs, several random graph models and many real-world graphs.

We consider the number of common edges in two independent random spanning trees of a graph $G$. For complete graphs $K_n$, we give a new proof of the fact, originally obtained by Moon, that the distribution converges to a Poisson distribution with expected value $2$. This is applied to show a Poisson limit law for the number of common edges in two independent random spanning trees of an Erdős--Rényi random graph $G(n,p)$ for constant~$p$. We also use the same method to prove an analogous result for complete multipartite graphs.