arXiv++ Combinatorics

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

Uchimura, in 1987, introduced a probability generating function for a random variable $X$ and using properties of this function he discovered an interesting $q$-series identity. He further showed that the $m$-th cumulant with respect to the random variable $X$ is nothing but the generating function for the generalized divisor function $σ_{m-1}(n)$. Simon, Crippa, and Collenberg, in 1993, explored the $G_{n,p}$-model of a random acyclic digraph and defined a random variable $γ_n^{*}(1)$. Quite interestingly, they found links between limit of its mean and the generating function for the divisor function $d(n)$. Later in 1997, Andrews, Crippa and Simon extended these results using $q$-series techniques. They calculated limit of the mean and variance of the random variable $γ_n^{*}(1)$ which correspond to the first and second cumulants. In this paper, we generalize the result of Andrews, Crippa and Simon by calculating limit of the $t$-th cumulant in terms of the generalized divisor function. Furthermore, we also discover limit forms for identities of Uchimura and Dilcher. This provides a fourth side to the Uchimura-Ramanujan-divisor type three way partition identities expounded by the first four authors recently.

The homogeneous Kuramoto model on a graph $G = (V,E)$ is a network of $|V|$ identical oscillators, one at each vertex, where every oscillator is coupled bidirectionally (with unit strength) to its neighbors in the graph. A graph $G$ is said to be globally synchronizing if, for almost every initial condition, the homogeneous Kuramoto model converges to the all-in-phase synchronous state. Confirming a conjecture of Abdalla, Bandeira, Kassabov, Souza, Strogatz, and Townsend, we show that with high probability, the random graph process becomes globally synchronizing as soon as it is connected. This is best possible, since connectivity is a necessary condition for global synchronization.

Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the semi-inducibility problem. This problem is a generalisation of the inducibility problem of Pippenger and Golumbic which is solved only for some small graphs and limited families of graphs. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern. Liu, Mubayi and Reiher asked whether there is a graph $F$ for which the binomial random graph is an asymptotically extremal graph in the inducibility problem over all graphs of a given edge density. This was recently answered in a strong negative sense by Jain, Michelen and Wei. In contrast, we find a \emph{quantum} graph $Q$ with positive coefficients and an interval of edge densities for which the only extremal graphs are quasirandom.

Bollobás and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $ω(G)$, then $ λ_{1}^{2}+λ_{2}^{2}\leq 2e(G)\left(1-\frac{1}{ω(G)}\right), $ where $λ_{1}$ and $λ_{2}$ are the largest and the second largest eigenvalues of the adjacency matrix of $G$, respectively. In this paper, we prove that for a sequence of random graphs the conjecture holds true with probability tending to one as the number of vertices tends to infinity.

Let $X$ count the number of $r$-stars in the random binomial graph $\mathbb{G}(n,p)$. We determine, for fixed $r$ and $\varepsilon > 0$, the asymptotics of $\log \mathbb{P}(X \ge (1 + \varepsilon)\mathbb{E} X)$ assuming only $\mathbb{E} X \to \infty$ and $p \to 0$ thus giving a first class of irregular graphs for which the upper tail problem for subgraph counts (stated by Janson and Ruciński in 2004) is solved in the sparse setting.

We say that a graph $G$ is anti-Ramsey for a graph $H$ if any proper edge-colouring of $G$ yields a rainbow copy of $H$, i.e. a copy of $H$ whose edges all receive different colours. In this work we determine the threshold at which the binomial random graph becomes anti-Ramsey for any fixed graph $H$, given that $H$ is sufficiently dense. Our proof employs a graph decomposition lemma in the style of the Nine Dragon Tree theorem that may be of independent interest.

We show that, with very high probability, the random graph Laplacian has simple spectrum. Our method provides a quantitatively effective estimate of the spectral gaps. Along the way, we establish results on affine no-gaps delocalization, no-structure delocalization, overcrowding and small entries of the eigenvectors for the Laplacian model. These findings are of independent interest.

We prove that a random Cayley graph on a group of order $N$ has clique number $O(\log N \log \log N)$ with high probability. This bound is best possible up to the constant factor for certain groups, including~$\mathbb{F}_2^n$, and improves the longstanding upper bound of $O(\log^2 N)$ due to Alon. Our proof does not make use of the underlying group structure and is purely combinatorial, with the key result being an essentially best possible upper bound for the number of subsets of given order that contain at most a given number of colors in a properly edge-colored complete graph. As a further application of this result, we study a conjecture of Alon stating that every group of order $N$ has a Cayley graph whose clique number and independence number are both $O(\log N)$, proving the conjecture for all abelian groups of order $N$ for almost all $N$. For finite vector spaces of order $N$ with characteristic congruent to $1 \pmod 4$, we prove the existence of a self-complementary Cayley graph on the vector space whose clique number and independence number are both at most $(2+o(1))\log N$. This matches the lower bound for Ramsey numbers coming from random graphs and solves, in a strong form, a problem of Alon and Orlitsky motivated by information theory.

Lecture notes of a master course given at Orsay between 2019-2024. Topics covered include Part I: One-dimensional random walks, cycle lemma and Bienaymé--Galton--Watson random trees. Part II: Erdös--Rényi random graphs, three proofs of the emergence of the giant component. Part III: Random recursive tree, random permutations and continuous time embedding techniques. Intended for publication.