arXiv++ Combinatorics

In this work, we study the color discrepancy of spanning trees in random graphs. We show that for the Erdős-Rényi random graph $G(n,p)$ with $p$ above the connectivity threshold, the following holds with high probability: in every 2-edge-coloring of the graph, there exists a spanning tree with a linear number of leaves such that one color class contains more than $\frac{1 + \varepsilon}{2}n $ of the tree's edges. Here, $\varepsilon>0$ is a small absolute constant independent of $p$. We also extend this line of research to randomly perturbed dense graphs, showing that adding a few random edges to a dense graph typically creates a spanning tree with a large color discrepancy under any 2-edge-coloring.

We study graph bootstrap percolation on the Erdős-Rényi random graph ${\mathcal G}_{n,p}$. For all $r \ge 5$, we locate the sharp $K_r$-percolation threshold $p_c \sim (γn)^{-1/λ}$, solving a problem of Balogh, Bollobás and Morris. The case $r=3$ is the classical graph connectivity threshold, and the threshold for $r=4$ was found using strong connections with the well-studied $2$-neighbor dynamics from statistical physics. When $r \ge 5$, such connections break down, and the process exhibits much richer behavior. The constants $λ=λ(r)$ and $γ=γ(r)$ in $p_c$ are determined by a class of $\left({r\choose2}-1\right)$-ary tree-like graphs, which we call $K_r$-tree witness graphs. These graphs are associated with the most efficient ways of adding a new edge in the $K_r$-dynamics, and they can be counted using the Fuss-Catalan numbers. Also, in the subcritical setting, we determine the asymptotic number of edges added to ${\mathcal G}_{n,p}$, showing that the edge density increases only by a constant factor, whose value we identify.

This paper establishes new eigenvalue bounds for combinatorial Laplacians of simplicial complexes, extending previous results for flag complexes by Lew (2024) and general complexes by Shukla and Yogeshwaran (2020). Using elementary matrix-theoretic methods, we derive lower bounds for the eigenvalues of the combinatorial Laplacian in terms of the graph Laplacian spectrum and combinatorial parameters that measure the deviation from a flag complex. As a consequence, we obtain upper bounds on the dimension of cohomology groups. We also generalize an eigenvalue comparison inequality between a simplicial complex and its subcomplexes to arbitrary eigenvalues. As an application of the dimension bounds, we refine a result by Kahle (2007) on the vanishing of cohomology and connectivity in the neighborhood complex of the Erdős--Rényi random graph.

We study sufficient conditions for the generic rigidity of a graph $G$ expressed in terms of (i) its minimum degree $δ(G)$, or (ii) the parameter $η(G)=\min_{uv\notin E}(°(u)+°(v))$. For each case, we seek the smallest integers $f(n,d)$ (resp.\ $g(n,d)$) such that every $n$-vertex graph $G$ with $δ(G)\geq f(n,d)$ (resp.\ $η(G)\geq g(n,d)$) is rigid in $\mathbb{R}^d$. Krivelevich, Lew, and Michaeli conjectured that there is a constant $K>0$ such that $f(n,d)\leq \frac{n}{2}+Kd$ for all pairs $n,d$. We give an affirmative answer to this conjecture by proving that $K=1$ suffices. For $n\geq 29d$, we obtain the exact result $f(n,d)=\lceil\frac{n+d-2}{2} \rceil$. Next, we prove that $g(n,d)\leq n+3d$ for all pairs $n,d$, and establish $g(n,d)=n+d-2$ when $n\geq d(d+2)$. For $d=2,3,$ we determine the exact values of $f(n,d)$ and $g(n,d)$ for all $n$, confirming another conjecture of Krivelevich, Lew, and Michaeli in these low-dimensional special cases. As an application, we prove that the Erdős-Rényi random graph $G(n,1/2)$ is a.a.s.\ rigid in $\mathbb{R}^d$ for $d=d(n)\sim \frac{7}{32} n$. This result provides the first linear lower bound for $d(n)$, and it answers a question of Peled and Peleg.

Consider two $n$-vertex graphs $X$ and $Y$, where we interpret $X$ as a social network with edges representing friendships and $Y$ as a movement graph with edges representing adjacent positions. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph on the $n!$ permutations $V(X)\to V(Y)$, where two configurations are adjacent if and only if one can be obtained from the other by swapping two friends located on adjacent positions. Friends-and-strangers graphs were first introduced by Defant and Kravitz, and generalize sliding puzzles as well as token swapping problems. Previous work has largely focused on their connectivity properties. In this paper, we study the diameter of the connected components of $\mathsf{FS}(X, Y)$. We extend the result of Kornhauser, Miller, and Spirakis on sliding puzzles to general graphs in two ways. First, we show that the diameter of $\mathsf{FS}(X, Y)$ is polynomially bounded when both the friendship and the movement graphs have large minimum degree. Second, when both the underlying graphs $X$ and $Y$ are Erdős-Rényi random graphs, we show that the distance between any pair of configurations is almost always polynomially bounded under certain conditions on the edge probabilities.

The Graph Reconstruction Conjecture famously posits that any undirected graph on at least three vertices is determined up to isomorphism by its family of (unlabeled) induced subgraphs. At present, the conjecture admits partial resolutions of two types: 1) casework-based demonstrations of reconstructibility for families of graphs satisfying certain structural properties, and 2) probabilistic arguments establishing reconstructibility of random graphs by leveraging average-case phenomena. While results in the first category capture the worst-case nature of the conjecture, they play a limited role in understanding the general case. Results in the second category address much larger graph families, but it remains unclear how heavily the necessary arguments rely on optimistic distributional properties. Drawing on the perspectives of smoothed and semi-random analysis, we study the robustness of what are arguably the two most fundamental properties in this latter line of work: asymmetry and uniqueness of subgraphs. Notably, we find that various semi-random graph distributions exhibit these properties asymptotically, much like their Erdős-Rényi counterparts. In particular, Bollobás (1990) demonstrated that almost all Erdős-Rényi random graphs $G = (V, E) \sim \mathscr{G}(n, p)$ enjoy the property that their induced subgraphs on $n - Θ(1)$ vertices are asymmetric and mutually non-isomorphic, for $1 - p, p = Ω(\log(n) / n)$. We show that this property is robust against perturbation -- even when an adversary is permitted to add/remove each vertex pair in $V^{(2)}$ with (independent) arbitrarily large constant probability. Exploiting this result, we derive asymptotic characterizations of asymmetry in random graphs with planted structure and bounded adversarial corruptions, along with improved bounds on the probability mass of nonreconstructible graphs in $\mathscr{G}(n, p)$.

A classical result of Dirac says that every $n$-vertex graph with minimum degree at least $\frac{n}{2}$ contains a Hamilton cycle. A `discrepancy' version of Dirac's theorem was shown by Balogh--Csaba--Jing--Pluhár, Freschi--Hyde--Lada--Treglown, and Gishboliner--Krivelevich--Michaeli as follows. Every $r$-colouring of the edge set of every $n$-vertex graph with minimum degree at least $(\frac{1}{2} + \frac{1}{2r} + o(1))n$ contains a Hamilton cycle where one of the colours appears at least $(1+o(1))\frac{n}{r}$ times. In this paper, we generalize this result by asymptotically determining the maximum possible value $f_{r,α}(n)$ for every $α\in [\frac{1}{2}, 1]$ such that every $r$-colouring of the edge set of every $n$-vertex graph with minimum degree at least $αn$ contains a Hamilton cycle where one of the colours appears at least $f_{r,α}(n)$ times. In particular, we show that $f_{r,α}(n) = (1-o(1)) \min\{(2α- 1)n, \frac{2αn}{r}, \frac{2n}{r+1}\}$ for every $α\in [\frac{1}{2} + \frac{1}{2r}, 1]$. A graph $H$ is called an $α$-residual subgraph of a graph $G$ if $d_H(v)\ge αd_{G[V(H)]}(v)$ for every $v\in V(H)$. Extending Dirac's theorem in the setting of random graphs, Lee and Sudakov showed the following. The Erdős--Rényi random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, typically has the property that every $(\frac{1}{2} +o(1))$-residual spanning subgraph contains a Hamilton cycle. Motivated by this, we prove the following random version of our `discrepancy' result. The random graph $G \sim G(n,p)$, with $p$ above the Hamiltonicity threshold, typically satisfies that every $r$-colouring of the edge set of every $α$-residual spanning subgraph of $G$ contains a Hamilton cycle where one of the colours appears at least $f_{r,α}(n)$ times.

We establish a large deviation principle (LDP) for probability graphons, which are symmetric functions from the unit square into the space of probability measures. This notion extends classical graphons and provides a flexible framework for studying the limit behavior of large dense weighted graphs. In particular, our result generalizes the seminal work of Chatterjee and Varadhan (2011), who derived an LDP for Erdős-Rényi random graphs via graphon theory. We move beyond their binary (Bernoulli) setting to encompass arbitrary edge-weight distributions. Specifically, we analyze the distribution on probability graphons induced by random weighted graphs in which edges are sampled independently from a common reference probability measure supported on a compact Polish space. We prove that this distribution satisfies an LDP with a good rate function, expressed as an extension of the Kullback-Leibler divergence between probability graphons and the reference measure. This theorem can also be viewed as a Sanov-type result in the graphon setting. Our work provides a rigorous foundation for analyzing rare events in weighted networks and supports statistical inference in structured random graph models under distributional edge uncertainty.

We study the chromatic number of typical triangle-free graphs with $Θ\left( n^{3/2} (\log n)^{1/2} \right)$ edges and establish the width of the scaling window for the transitions from $χ= 3$ to $χ= 4$ and from $χ= 4$ to $χ= 5$. The transition from $3$- to $4$-colorability has scaling window of width $Θ(n^{4/3} (\log n)^{-1/3})$. To prove this, we show a high probability equivalence of the $3$-colorability of a random triangle-free graph at this density and the satisfiability of an instance of bipartite random $2$-SAT, for which we establish the width of the scaling window following the techniques of Bollob{á}s, Borgs, Chayes, Kim, and Wilson. The transition from $4$- to $5$-colorability has scaling window of width $Θ(n^{3/2} (\log n)^{-1/2})$. To prove this, we show a high probability equivalence of the $4$-colorability of a random triangle-free graph at this density and the simultaneous $2$-colorability of two independent Erdős--Rényi random graphs. For this transition, we also establish the limiting probability of $4$-colorability inside the scaling window.

A famous conjecture by Itai and Zehavi states that, for every $d$-vertex-connected graph $G$ and every vertex $r$ in $G$, there are $d$ spanning trees of $G$ such that, for every vertex $v$ in $G\setminus \{r\}$, the paths between $r$ and $v$ in different trees are internally vertex-disjoint. We show that with high probability the Itai-Zehavi conjecture holds asymptotically for the Erdős-Rényi random graph $G(n,p)$ when $np= ω(\log n)$ and for random regular graphs $G(n,d)$ when $d= ω(\log n)$. Moreover, we essentially confirm the conjecture up to a constant factor for sparser random regular graphs. This answers positively a question of Draganić and Krivelevich. Our proof makes use of recent developments on sprinkling techniques in random regular graphs.

For a $d$-uniform random hypergraph on $n$ vertices in which hyperedges are included i.i.d.\ so that the average degree in the hypergraph is $n^{δ+o(1)}$, the projection of such a hypergraph is a graph on the same $n$ vertices where an edge connects two vertices if and only if they belong to a same hyperedge. In this work, we study the inference problem where the observation is a \emph{noisy} version of the graph projection where each edge in the projection is kept with probability $p=n^{-1+α+o(1)}$ and each edge not in the projection is added with probability $q=n^{-1+β+o(1)}$. For all constant $d$, we establish sharp thresholds for both detection (distinguishing the noisy projection from an Erdős-Rényi random graph with edge density $q$) and reconstruction (estimating the original hypergraph). Notably, our results reveal a \emph{detection-reconstruction gap} phenomenon in this problem. Our work also answers a problem raised in \cite{BGPY25+}.

A graph is even-degenerate if one can iteratively remove a vertex of even degree at each step until at most one edge remains. Recently, Janzer and Yip showed that the Erdős--Renyi random graph $G(n,1/2)$ is even-degenerate with high probability, and asked whether an analogous result holds for any general $G(n,p)$. In this paper, we answer this question for any constant $p\in (0,1)$ in affirmation by proving that $G(n,p)$ is even-degenerate with high probability.

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.

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$.

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.

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$.

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 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.

We analyze the asymptotic number and typical structure of claw-free graphs at constant edge densities. The first of our main results is a formula for the asymptotics of the logarithm of the number of claw-free graphs of edge density $γ\in (0,1)$. We show that the problem exhibits a second-order phase transition at edge density $γ^\ast=\frac{5-\sqrt{5}}{4}$. The asymptotic formula arises by solving a variational problem over graphons. For $γ\geqγ^\ast$ there is a unique optimal graphon, while for $γ<γ^\ast$ there is an infinite set of optimal graphons. By analyzing more detailed structure, we prove that for $γ<γ^\ast$, there is in fact a unique graphon $W$ such that almost all claw-free graphs at edge density $γ$ are close in cut metric to $W$. We also analyze the probability of claw-freeness in the Erdős-Rényi random graph $G(n,p)$ for constant $p$, obtaining a formula for the large-deviation rate function for claw-freeness. In this case, the problem exhibits a first-order phase transition at $p^\ast=\frac{3-\sqrt{5}}{2}$, separating distinct structural regimes. At the critical point $p^\ast$, the corresponding graphon variational problem has infinitely many solutions, and we again pinpoint a unique optimal graphon that describes the typical structure of $G(n,p^\ast)$ conditioned on being claw-free.