arXiv++ Combinatorics

The functionality of a graph $G$ is the minimum number $k$ such that in every induced subgraph of $G$ there exists a vertex whose neighbourhood is uniquely determined by the neighborhoods of at most $k$ other vertices in the subgraph. The functionality parameter was introduced in the context of adjacency labeling schemes, and it generalises a number of classical and recent graph parameters including degeneracy, twin-width, and symmetric difference. We establish the functionality of a random graph $G(n,p)$ up to a constant factor for every value of $p$.

We establish central limit theorems (CLTs) for the linear spectral statistics of the adjacency matrix of inhomogeneous random graphs across all sparsity regimes, providing explicit covariance formulas under the assumption that the variance profile of the random graphs converges to a graphon limit. Two types of CLTs are derived for the (non-centered) adjacency matrix and the centered adjacency matrix, with different scaling factors when the sparsity parameter $p$ satisfies $np = n^{Ω(1)}$, and with the same scaling factor when $np = n^{o(1)}$. In both cases, the limiting covariance is expressed in terms of homomorphism densities from certain types of finite graphs to a graphon. These results highlight a phase transition in the centering effect for global eigenvalue fluctuations. For the non-centered adjacency matrix, we also identify new phase transitions for the CLTs in the sparse regime when $n^{1/m} \ll np \ll n^{1/(m-1)}$ for $m \geq 2$. Furthermore, weaker conditions for the graphon convergence of the variance profile are sufficient as $p$ decreases from being constant to $np \to c\in (0,\infty)$. These findings reveal a novel connection between graphon limits and linear spectral statistics in random matrix theory.

We study a controlled random graph process introduced by Frieze, Krivelevich, and Michaeli. In this model, the edges of a complete graph are randomly ordered and revealed sequentially to a builder. For each edge revealed, the builder must irrevocably decide whether to purchase it. The process is subject to two constraints: the number of observed edges $t$ and the builder's budget $b$. The goal of the builder is to construct, with high probability, a graph possessing a desired property. Previously, the optimal dependencies of the budget $b$ on $n$ and $t$ were established for constructing a graph containing a fixed tree or cycle, and the authors claimed that their proof could be extended to any unicyclic graph. The problem, however, remained open for graphs containing at least two cycles, the smallest of which is the graph $K_4^-$ (a clique of size four with one edge removed). In this paper, we provide a strategy to construct a copy of the graph $K_4^-$ if $b \gg \max\left\{n^6 / t^4, n^{4 / 3} / t^{2 / 3}\right\}$, and show that this bound is tight, answering the question posed by Frieze et al. concerning this specific graph. We also give a strategy to construct a copy of a graph consisting of $k$ triangles intersecting at a single vertex (the $k$-fan) if $b \gg \max\left\{n^{4k - 1} / t^{3k - 1}, n / \sqrt{t}\right\}$, and also show that this bound is tight. These are the first optimal strategies for constructing a multi-cyclic graph in this random graph model.

Extending a previous result of the first two authors, we prove a local limit theorem for the joint distribution of subgraph counts in the Erdős-Rényi random graph $G(n,p)$. This limit can be described as a nonlinear transformation of a multivariate normal distribution, where the components of the multivariate normal correspond to the graph factors of Janson. As an application, we show a number of results concerning the existence and enumeration of proportional graphs and related concepts, answering various questions of Janson and collaborators in the affirmative.

We prove that for each $d\geq 3$ and $k\geq 2$, the set of limit points of the first $k$ eigenvalues of sequences of $d$-regular graphs is \[ \{(μ_1,\dots,μ_k): d=μ_1\geq \dots\geq μ_{k}\geq2\sqrt{d-1}\}. \] The result for $k=2$ was obtained by Alon and Wei, and our result confirms a conjecture of theirs. Our proof uses an infinite random graph sampled from a distribution that generalizes the random regular graph distribution. To control the spectral behavior of this infinite object, we show that Huang and Yau's proof of Friedman's theorem bounding the second eigenvalue of a random regular graph generalizes to this model. We also bound the trace of the non-backtracking operator, as was done in Bordenave's separate proof of Friedman's theorem.

We present a novel approach to study the evolution of the size (i.e. the number of vertices) of the giant component of a random graph process. It is based on the exploration algorithm called simultaneous breadth-first walk, introduced by Limic in 2019, that encodes the dynamic of the evolution of the sizes of the connected components of a large class of random graph processes. We limit our study to the variant of the Erdős-Rényi graph process $(G_n(s))_{s\geq 0}$ with $n$ vertices where an edge connecting a pair of vertices appears at an exponential rate 1 waiting time, independently over pairs. We first use the properties of the simultaneous breadth-first walk to obtain an alternative and self-contained proof of the functional central limit theorem recently established by Enriquez, Faraud and Lemaire in the super-critical regime ($s=\frac{c}{n}$ and $c>1$). Next, to show the versatility of our approach, we prove a functional central limit theorem in the barely super-critical regime ($s=\frac{1+tε_n}{n}$ where $t>0$ and $(ε_n)_n$ is a sequence of positive reals that converges to 0 such that $(nε_n^3)_n$ tends to $+\infty$).

Graph states are fundamental objects in the theory of quantum information due to their simple classical description and rich entanglement structure. They are also intimately related to IQP circuits, which have applications in quantum pseudorandomness and quantum advantage. For us, they are a toy model to understand the relation between circuit connectivity, entanglement structure and computational complexity. In the worst case, a strict dichotomy in the computational universality of such graph states appears as a function of the degree $d$ of a regular graph state [GDH+23]. In this paper, we study the average-case complexity of simulating random graph states of varying degree when measured in random product bases and give distinct evidence that a similar complexity-theoretic dichotomy exists in the average case. Specifically, we consider random $d$-regular graph states and prove three distinct results: First, we exhibit two families of IQP circuits of depth $d$ and show that they anticoncentrate for any $2 < d = o(n^{1/2})$ when measured in a random $X$-$Y$-plane product basis. This implies anticoncentration for random constant-regular graph states. Second, in the regime $d = Θ(n^c)$ with $c \in (0,1)$, we prove that random $d$-regular graph states contain polynomially large grid graphs as induced subgraphs with high probability. This implies that they are universal resource states for measurement-based computation. Third, in the regime of high degree ($d\sim n/2$), we show that random graph states are not sufficiently entangled to be trivially classically simulable, unlike Haar random states. Proving the three results requires different techniques -- the analysis of a classical statistical-mechanics model using Krawtchouck polynomials, graph theoretic analysis using the switching method, and analysis of the ranks of submatrices of random adjacency matrices, respectively.

Comparative analysis between a network and a random graph model can uncover network properties that significantly deviate from those in random networks. The standard random graph model used for comparison uniformly samples random graphs with the same degrees as the network data, often achieved through edge-swap algorithms. However, for hypergraphs, fewer such methodologies are available. This study introduces the Hypercurveball algorithm, designed to sample random, potentially directed, hypergraphs with fixed degrees. Minor adjustments enable the sampling of hypergraphs without degenerate hyperedges, self-loops, or multi-hyperedges. For most of these algorithms, we prove whether they sample uniformly or with bias. We experimentally show that the Hypercurveball algorithm can be significantly faster or slower than the standard hyperedge-shuffling algorithm, which is the hyperedge-equivalent of the edge-swap algorithm. We present criteria on the hypergraph degree sequence that indicate when the Hypercurveball algorithm is more efficient than the standard hyperedge-shuffling method. Finally, our experimental results suggest polynomial scaling of the mixing time for both the Hypercurveball and hyperedge-shuffling algorithms.

The Karp--Sipser algorithm consists in removing recursively the leaves as well their unique neighbours and all isolated vertices of a given graph. The remaining graph obtained when there is no leaf left is called the Karp--Sipser core. When the underlying graph is the classical sparse Erdős--Rényi random graph $ \mathrm{G}[n, λ/n]$, it is known to exhibit a phase transition at $λ= \mathrm{e}$. We show that at criticality, the Karp--Sipser core has size of order $n^{3/5}$, which proves a conjecture of Bauer and Golinelli. We provide the asymptotic law of this renormalized size as well as a description of the distribution of the core as a graph. Our approach relies on the differential equation method, and builds up on a previous work on a configuration model with bounded degrees.

The vertex coloring problem to find chromatic numbers is known to be unsolvable in polynomial time. Although various algorithms have been proposed to efficiently compute chromatic numbers, they tend to take an enormous amount of time for large graphs. In this paper, we propose a recurrence relation to rapidly obtain the expected value of the chromatic number of random graphs. Then we compare the results obtained using this recurrence relation with other methods using an exact investigation of all graphs, the Monte Carlo method, the iterated random color matching method, and the method presented in Bollobás' previous studies.

We study the probability that the random graph $G(n,p)$ is triangle-free. When $p =o(n^{-1/2})$ or $p = ω(n^{-1/2})$ the asymptotics of the logarithm of this probability are known via Janson's inequality in the former case and via regularity or hypergraph container methods in the latter case. We prove for the first time an asymptotic formula for the logarithm of this probability when $p = c n^{-1/2}$ for $c$ a sufficiently small constant. More generally, we study lower-tail large deviations for triangles in random graphs: the probability that $G(n,p)$ has at most $η$ times its expected number of triangles, when $p = c n^{-1/2}$ for $c$ and $η\in [0,1)$ constant. Our results apply for all $c$ if $η\ge .4993$ and for $c$ small enough otherwise. For $η$ small (including the case of triangle-freeness), we prove that a phase transition occurs as $c$ varies, in the sense of a non-analyticity of the rate function, while for $η\ge .4993$ we prove that no phase transition occurs. On the other hand for the random graph $G(n,m)$, with $m = b n^{3/2}$, we show that a phase transition occurs in the lower-tail problem for triangles as $b$ varies for \emph{every} $η\in [0,1)$. Our method involves ingredients from algorithms and statistical physics including the cluster expansion and concentration inequalities for contractive Markov chains.

Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition of the $n$ vertices of $G$. The study of such $F$-factors in the Erdős-Rényi random graph dates back to Erdős himself. Decades later, in 2008, Johansson, Kahn and Vu established the thresholds for the existence of an $F$-factor for strictly 1-balanced $F$ -- up to the leading constant. The sharp thresholds, meaning the leading constants, were obtained only recently by Riordan and Heckel, but only for complete graphs $F=K_r$ and for so-called nice graphs. Their results rely on sophisticated couplings that utilize the recent, celebrated solution of Shamir's problem by Kahn. We extend the couplings by Riordan and Heckel to any strictly 1-balanced $F$ and thereby obtain the sharp threshold for the existence of an $F$-factor. In particular, we confirm the thirty year old conjecture by Rucínski that this sharp threshold indeed coincides with the sharp threshold for the disappearance of the last vertices which are not contained in a copy of $F$.

The celebrated canonical Ramsey theorem of Erdős and Rado implies that for $2\leq k\in \mathbb{N}$, any colouring of the edges of $K_n$ with $n$ sufficiently large gives a copy of $C_{2k}$ which has one of three canonical colour patterns: monochromatic, rainbow or lexicographic. In this paper we show that if $p=ω(n^{-1+1/(2k-1)}\log n)$, then ${\mathbf{G}}(n,p)$ will asymptotically almost surely also have the property that any colouring of its edges induces canonical copies of $C_{2k}$. This determines the threshold for the canonical Ramsey property with respect to even cycles, up to a $\log$ factor.

In a recent work on the bipartite Erdős-Rényi graph, Do et al. (2023) established upper bounds on the number of connected labeled bipartite graphs with a fixed surplus. We use some recent encodings of bipartite random graphs in order to provide a probabilistic formula for the number of bipartite graphs with fixed surplus. Using this, we obtain asymptotics as the number of vertices in each class tend to infinity.

We study the following combinatorial counting and sampling problems: can we efficiently sample from the Erdős-Rényi random graph $G(n,p)$ conditioned on triangle-freeness? Can we efficiently approximate the probability that $G(n,p)$ is triangle-free? These are prototypical instances of forbidden substructure problems ubiquitous in combinatorics. The algorithmic questions are instances of approximate counting and sampling for a hypergraph hard-core model. Estimating the probability that $G(n,p)$ has no triangles is a fundamental question in probabilistic combinatorics and one that has led to the development of many important tools in the field. Through the work of several authors, the asymptotics of the logarithm of this probability are known if $p =o( n^{-1/2})$ or if $p =ω( n^{-1/2})$. The regime $p = Θ(n^{-1/2})$ is more mysterious, as this range witnesses a dramatic change in the the typical structural properties of $G(n,p)$ conditioned on triangle-freeness. As we show, this change in structure has a profound impact on the performance of sampling algorithms. We give two different efficient sampling algorithms for triangle-free graphs (and complementary algorithms to approximate the triangle-freeness large deviation probability), one that is efficient when $p < c/\sqrt{n}$ and one that is efficient when $p > C/\sqrt{n}$ for constants $c, C>0$. The latter algorithm involves a new approach for dealing with large defects in the setting of sampling from low-temperature spin models.

To find a shortest path between two nodes $s_0$ and $s_1$ in a given graph, a classical approach is to start a Breadth-First Search (BFS) from $s_0$ and run it until the search discovers $s_1$. Alternatively, one can start two Breadth-First Searches, one from $s_0$ and one from $s_1$, and alternate their layer expansions until they meet. This bidirectional BFS can be balanced by always expanding a layer on the side that has discovered fewer vertices so far. This usually results in significant speedups in real-world networks, and it has been shown that this indeed yields sublinear running time on scale-free graph models such as Chung-Lu graphs and hyperbolic random graphs. We improve this layer-balanced bidirectional BFS approach by using a finer balancing technique. Instead of comparing the size of the two BFS trees after each layer expansion, we perform this comparison after each vertex expansion. This gives rise to two algorithms that run faster than the layer-balanced bidirectional BFS on scale-free networks with power-law exponent $τ\in (2,3)$. The first one is an approximate shortest-path algorithm that outputs a path of length at most 1 longer than the shortest path in time $n^{(τ-2)/(τ-1)+o(1)}$. The second one is an exact shortest-path algorithm running in time $n^{1/2+o(1)}$. These runtime bounds hold with high probability when $s_0$ and $s_1$ are chosen uniformly at random among the $n$ vertices of the graph. We also develop an edge-balanced bidirectional BFS algorithm that works under adversarial conditions. This approximate shortest-path algorithm runs in time $n^{1/2+o(1)}$ with high probability when the adversary is allowed to choose $s_0$ and $s_1$ based on their (expected) degree. We complement our theoretical results with experiments on Chung-Lu graphs, Geometric Inhomogeneous Random Graphs, and real-world networks.

Friends-and-strangers graphs, coined by Defant and Kravitz, are denoted by $\mathsf{FS}(X,Y)$ where $X$ and $Y$ are both graphs on $n$ vertices. The graph $X$ represents positions and edges mark adjacent positions while the graph $Y$ represents people and edges mark friendships. The vertex set of $\mathsf{FS}(X,Y)$ consists of all one-to-one placements of people on positions, and there is an edge between any two placements if it is possible to swap two people who are friends and on adjacent positions to get from one placement to the other. Previous papers have studied when $\mathsf{FS}(X,Y)$ is connected. In this paper, we consider when $\mathsf{FS}(X,Y)$ is $k$-connected where a graph is $k$-connected if it remains connected after removing any $k-1$ or less vertices. We first consider $\mathsf{FS}(X,Y)$ when $Y$ is a complete graph or star graph. We find tight bounds on their connectivity, proving their connectivity equals their minimum degree. We further consider the size of the connected components of $\mathsf{FS}(X,\mathsf{Star}_n)$ where $X$ is connected. We show that asymptotically similar conditions as the conditions mentioned by Bangachev are sufficient for $\mathsf{FS}(X,Y)$ to be $k$-connected. Finally, we consider when $X$ and $Y$ are independent Erdős--Rényi random graphs on $n$ vertices and edge probability $p_1$ and $p_2,$ respectively. We show that for $p_0 = n^{-1/2+o(1)},$ if $p_1p_2\geq p_0^2$ and $p_1,$ $p_2 \geq w(n) p_0$ where $w(n) \rightarrow 0$ as $n \rightarrow \infty,$ then $\mathsf{FS}(X,Y)$ is $k$-connected with high probability. This is asymptotically tight as we show that below an asymptotically similar threshold $p_0'=n^{-1/2+o(1)}$, the graph $\mathsf{FS}(X,Y)$ is disconnected with high probability if $p_1p_2 \leq (p_0')^2$.

We study Hamiltonicity in the union of an $n$-vertex graph $H$ with high minimum degree and a binomial random graph on the same vertex set. In particular, we consider the case when $H$ has minimum degree close to $n/2$. We determine the perturbed threshold for Hamiltonicity in this setting. To be precise, let $η:= n/2-δ(H)$. For $η=ω(1)$, we show that it suffices to add $Θ(η)$ random edges to $H$ to a.a.s. obtain a Hamiltonian graph; for $η=Θ(1)$, we show that $ω(1)$ edges suffice. In fact, when $η=o(n)$ and $η=ω(1)$, we show that $(8+o(1))η$ random edges suffice, which is best possible up to the error term. This determines the sharp perturbed threshold for Hamiltonicity in this range of degrees. We also obtain analogous results for perfect matchings, showing that, in this range of degrees, the sharp perturbed thresholds for Hamiltonicity and for perfect matchings differ by a factor of $2$.

This work will appear as a chapter in a forthcoming volume titled "Topics in Probabilistic Graph Theory". A theory of scaling limits for random graphs has been developed in recent years. This theory gives access to the large-scale geometric structure of these random objects in the limit as their size goes to infinity, with distances appropriately rescaled. We start with the simplest setting of random trees, before turning to various examples of random graphs, including the critical Erdős--Rényi random graph.

A randomly perturbed graph $G^p = G_α\cup G(n,p)$ is obtained by taking a deterministic $n$-vertex graph $G_α= (V, E)$ with minimum degree $δ(G)\geq αn$ and adding the edges of the binomial random graph $G(n,p)$ defined on the same vertex set $V$. For which value $p$ (depending on $α$) does the graph $G^p$ contain a $K_r$-factor (a spanning collection of vertex-disjoint $K_r$-copies) with high probability? The order of magnitude of the minimal value of $p$ has been determined whenever $α\neq 1- \frac{s}{r}$ for an integer $s$ (see Han, Morris, and Treglown [RSA, 2021] and Balogh, Treglown, and Wagner [CPC, 2019]). We establish the minimal probability $p_s$ (up to a constant factor) for all values of $α= 1-\frac{s}{r} \leq \frac 12$, and show that the threshold exhibits a polynomial jump at $α= 1-\frac{s}{r}$ compared to the surrounding intervals. An extremal example $G_α$ which shows that $p_s$ is optimal up to a constant factor differs from the previous (usually multipartite) examples in containing a pseudorandom induced subgraph.