arXiv++ Combinatorics

A restricted-budget version of the random graph process, introduced by Frieze, Krivelevich, and Michaeli in 2025, studies the construction of structures by an online player who can purchase only a limited number of random edges. In this paper, we transfer this framework from random graphs to random subsets of integers, focusing on the construction of $k$-term arithmetic progressions. A player, Builder, is presented with a sequence of $t$ integers drawn uniformly at random from $[n]$. As the elements are revealed one by one, Builder must immediately and irrevocably decide whether to select the current integer, subject to a maximum budget of $b$ selected elements in total. We establish the optimal thresholds for this process, proving that for $t = ω(n^{1-2/k})$, a budget of $b = Θ((n/t)^{\frac{k-2}{2}})$ is both necessary and sufficient for Builder to successfully construct a $k$-term arithmetic progression with high probability.

A Hamilton cover of a graph is a collection of Hamilton cycles whose union contains all edges. Since each Hamilton cycle covers two edges at every vertex, every Hamilton cover has size at least $\lceil Δ(G)/2\rceil$. We prove that this lower bound is tight for binomial random graphs $G(n,p)$ throughout the widest possible range of edge probabilities: if $ω(n)\to\infty$ and \[ \frac{\log n+\log\log n+ω(n)}{n} \le p=p(n) \le 1-\frac{ω(n)}{n^{2}}, \] then $G\sim G(n,p)$ with high probability has a Hamilton cover of size $\left\lceil \frac{Δ(G)}{2}\right\rceil. $ The main new contribution is the sparse regime near the Hamiltonicity threshold, where we prove a conjecture of Draganić, Glock, Munhá Correia and Sudakov. Our proof develops constructive tools for decomposing such graphs into controlled forest systems and extending them, using reserved pseudorandom structure, into Hamilton cycles. We also prove the corresponding hitting-time result for the random graph process, answering a question of Hefetz, Kühn, Lapinskas and Osthus. Finally, we use our methods to show that $G\sim G(n,p)$ with high probability satisfies the celebrated Linear arboricity conjecture for every $p\leq 1$.

Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring software systems function as intended. State spaces of software grow exponentially, and heuristics are needed to ensure model checking remains feasible in real-world applications. Heuristics, in turn, require a good understanding on the typical behaviour of LTSs. In this paper, we use random graph theory to create a probabilistic model of large LTSs. From a theoretical analysis of the creation of large LTSs, backed by empirical data from the Model Checking Contest, we endow these models with realistic parameter values. Then, we analyze the asymptotic behaviour of this model under LTL and CTL, two modal logics popular in model checking. We show that, depending on the precise model, as the size grows to infinity we either have a convergence law (for every formula, the probability that it holds converges to a limit) or a 0-1 law (...and this limit is 0 or 1). We also discuss the theoretical complexity of determining these limits, and give algorithms for doing so. These results are the starting point towards a deep theoretical understanding of typical LTS behaviour, and highlight the promising applicability of random graph theory to model checking. \keywords{Model checking \and Random graphs \and 0-1 laws

We study asymptotic versions of the Brill-Noether existence conjecture on graphs via techniques inspired by the geometry of numbers. We confirm an asymptotic version of the conjecture at (and near) the half-canonical degree in several well-connected families of graphs. They include expander graphs of even valence, almost-Ramanujan graphs of a fixed valence at least five and certain random graphs. In particular, for any fixed $k \geq 5$, almost all simple, connected, $k$-regular graphs satisfy the Brill-Noether existence conjecture at the half-canonical degree up to a constant factor. The key tool is a Cheeger-style inequality for the covering radius of a certain periodic set with respect to the energy quadratic form associated with the graph. As an application, we lower bound the diameter of graphs associated with certain dynamical systems called reversal systems. We conclude with a suggestion to tackle the asymptotic version of the conjecture, in general, i.e. beyond half-canonical degrees.

We prove an $\mathrm{MSO}_2$ zero-one law for a very sparse Erdős-Rényi graph after pruning by component order. Let $p_n=c_n/n$, where $c_n\to0$, and delete every component of order less than $f(n)$, where $f(n)\to\infty$. If \[ f(n)\bigl(\log f(n)+\log(1/c_n)\bigr)=o(\log n), \] then the resulting graph satisfies a zero-one law for $\mathrm{MSO}_2$, with quantification over sets of vertices and sets of edges. The proof combines uniform component counts, an MSO Feferman-Vaught decomposition for disjoint unions, and semilinearity of the order spectra of MSO-definable classes of finite trees. We also show that the term $f(n)\log f(n)$ cannot simply be omitted: star components can occur at first-order-visible Poisson thresholds. We further establish first-order limit laws for bond percolation on the discrete torus $T_L^d$. In the two-sided subpolynomial regime, pruning below a sufficiently slow threshold yields a zero-one law. For the unpruned model in either one-sided polynomial regime, the reciprocal exponents $α=1/k$ are precisely the critical scales. At such a scale, an extended limit of $N p_N^k$ or $N q_N^k$ equal to $0$ or $\infty$ gives a zero-one law; a positive finite limit gives a convergence law but not a zero-one law; and the absence of an extended limit gives failure of convergence. Finally, $\mathrm{MSO}_1$ already detects the parity of the torus side length through bipartiteness, producing a natural obstruction to monadic convergence in a near-deterministic regime.

Recently, there has been significant interest in applying the method of moments developed by Wood and others to study distributions of finite abelian groups that arise in number theory and combinatorics. When the moments do not grow too fast, they determine a unique distribution. We construct large families of distributions that have the same moments. These families include several distributions that arise naturally in the study of sandpile groups of families of random graphs. Wood determined the distribution of Sylow $p$-subgroups of sandpile groups of Erdős--Rényi random graphs. This was extended by Mészáros to sandpile groups of random $d$-regular graphs, who observed an interesting special case when $d$ is even and $p = 2$. We study Sylow $p$-subgroups of sandpile groups of random bipartite graphs and similarly find a special case for $p =2$. Although this distribution differs from that of Mészáros, we show that they have the same moments and fit into our broader construction. To compute the moments of the distributions we study, we apply combinatorial tools from the theory of Hall--Littlewood functions.

The hat guessing number $HG(G)$ of a graph is defined by the following game: each player is placed on a vertex and assigned a hat with one of $k$ colors. Each vertex can see only the hat color of the other vertices it is connected to in $G$. All vertices guess, simultaneously, the color of their own hat. The hat guessing number $HG(G)$ is the largest $k$ such that the players can guarantee that at least one of them guesses correctly. In this paper, we show a general bound on the hat guessing number of a graph $G$ as a function of its order $n$ and its maximum degree $Δ$. This is the first nontrivial upper bound on $HG(G)$ as a function of $Δ$ and $n$ when $Δ\geq \frac{n}{e}$. From this result we also obtain that the hat guessing number of the random graph $G_{n,1/2}$ is at most asymptotically $cn$ for $c\sim 0.809$, and that graphs with maximum degrees of $ (1-\varepsilon )n$ for fixed $\varepsilon>0$ cannot have $HG(G)=(1-o(1))n$.

The Erdős-Gallai theorem states that every graph of average degree $d$ contains a cycle of length at least $d$. We prove the following robust extension of the Erdős-Gallai theorem: For every $c>0$ there exists $K$ such that for all $d\geq K$, $p\geq K/d$ and every graph $G$ with average degree $d$, the random graph $G_p$ obtained by independently percolating each edge of $G$ with probability $p$ contains a cycle of length $(1-c)d$ asymptotically almost surely as $|V(G)|\to \infty$. With related methods, we prove the following hyperstability version of the Erdős-Gallai theorem: any graph $G$ without a cycle of length at least $d$ is at most $c dn$ edge deletions away from a graph all of whose connected components have a vertex-cover of size $(1+c)d$. At the core of our argument lies a very general structure theorem about graphs that originates from results of Pokrovskiy concerning the hyperstability of bounded-degree trees.

For $r \geq 2$ and graphs $H_1, \ldots, H_r, G$, we say that $G$ is $(H_1, \ldots, H_r)$ vertex-Ramsey, or $(H_1, \ldots, H_r)_v$-Ramsey, if whenever we colour the vertices of $G$ with colours from the set $[r]=\{1,2, \ldots, r\}$ there exists $j \in [r]$ such that some copy of $H_j$ in $G$ is monochromatic in colour $j$. Given any fixed collection of graphs $H_1, \ldots, H_r$, Luczak, Ruciński and Voigt and Kreuter determined in the 1990s the threshold edge probability $p$ at which the binomial random graph $G(n,p)$ becomes $(H_1, \ldots, H_r)_v$-Ramsey. More recently, Das, Morris and Treglown investigated the vertex-Ramsey property in the randomly perturbed setting. When $r=2$ they determined the number of random edges one must add to a dense graph to ensure that with probability $1-o(1)$ the resulting graph is $(H_1, H_2)_v$-Ramsey whenever one of $H_1$ or $H_2$ is a clique. They posed the problem of extending their results to all pairs of graphs $(H_1, H_2)$. In this paper we resolve a more general form of their problem and determine for any $r\geq 2$ and $r$-tuple of graphs $(H_1, \ldots, H_r)$ the number of random edges one must add to a dense graph to ensure that with probability $1-o(1)$ the resulting graph is $(H_1, \ldots, H_r)_v$-Ramsey.

The Kohayakawa--Nagle--Rödl--Schacht conjecture predicts that locally dense graphs contain, asymptotically, at least as many homomorphic copies of any fixed graph as the random graph of the same edge density. We prove that every graph with at least one edge satisfies a natural $L^p$ relaxation of this conjecture in the graphon setting. More precisely, let $F$ be a graph with $m>0$ edges, and let $n$ be the number of non-isolated vertices of $F$. If $$ p\ge \binom {n}{2}/m, $$ then for every $ρ$-locally dense graphon $W$, $$ t(F,W^{\circ p})\ge ρ^{pm}. $$ Equivalently, if $$ W_F(\mathbf x)=\prod_{ij\in E(F)}W(x_i,x_j), $$ then $$ \|W_F\|_{L^p}\ge ρ^{e(F)}. $$ The proof is based on a Hölder uniformization over vertex relabellings, in the spirit of Conlon--Lee. We also prove a more general comparison principle with edge-transitive KNRS supergraphs, yielding sharper exponents whenever $F$ embeds into an edge-transitive KNRS graph. Finally, positive-semidefinite methods give theta-subdivision results: Sidorenko-good graphs are closed under arbitrary uniform theta-subdivisions; the non-uniform theta theorem of Im--Li--Liu admits a Sidorenko-good lift, under the same divisibility assumptions, after removing the parity restriction; and uniform theta-subdivisions of KNRS graphs are regular-KNRS.

In this paper, we study the so-called log-convergence of graphs defined by Balázs Szegedy (arXiv:1504.00858). We answer his Question 4 affirmatively: the sequence of incidence graphs of projective planes over finite fields log-converges, and the limit coincides with that of a particular random graph model.

We study the inhomogeneous random graph with preferential attachment kernel and degree distribution with power-law exponent $τ\in(2,3)$ as a representative of the class of graphs of preferential attachment type with infinite variance degrees. Under bond percolation with a positive retention probability independent of the size $n$ of the graph there is a unique macroscopic component with high probability. We therefore investigate percolation probabilities $p_n\downarrow0$. We identify a moving critical window at $p_c \sim βn^{(τ-3)/(2τ-2)}$. Above this window, when $p_n \gg p_c$, the maximal component has size of order $n p^{_{(τ-1)/(3-τ)}}_{_n}$ and it is unique. Below this window, when $n^{1/(1-τ)} \ll p_n \ll p_c$, it is non-unique, star-shaped and has size of order $n^{1/(τ-1)} p_n$. In the critical window itself, the largest component scaled by $\sqrt{n}$ converges in distribution to a positive random variable with a law given in terms of a subcritical Norros-Reittu graph. This behaviour is markedly different from that seen for other classes of scale-free graphs and is conjectured to persist throughout the broad class of growing graphs with infinite variance.

For fixed $k\geq3$, we study the asymptotic number and typical structure of dense graphs with no induced copy of the star $K_{1,k}$. We solve the associated graphon variational problems both at fixed constant edge density $γ$ and for the conditioned Erdős--Rényi random graph $G(n,p)$ for constant $p$. As consequences, we obtain explicit formulas for the entropy density of induced-$K_{1,k}$-free graphs with $Θ(n^2)$ edges and for the large deviation rate function for the event that $G(n,p)$ is induced-$K_{1,k}$-free. The entropy density exhibits a second-order phase transition at an explicit critical density $γ_k$, while the rate function exhibits a first-order phase transition at a critical parameter $p_k$. We completely characterize the optimizers of both variational problems. Both models have parameter values for which there are infinitely many optimal graphons, but there is always a unique graphon that represents the typical structure in cut metric. We refine the graphon-level results by giving a detailed structural description of both models. For supercritical parameters, each random graph model is the complement of a $(k-1)$-partite graph with high probability. In the subcritical regime of the fixed-density model, the typical structure is the disjoint union of the complement of a $(k-1)$-partite graph, and a sparse remainder. In the subcritical regime of the conditioned Erdős--Rényi random graph, a typical sample has $o(n^2)$ edges.

We study properties of graphs (or rather graph sequences) saying that some restricted count of subgraphs is approximatively what is expected in a random graph. It has been shown by several authors that many such properties characterize quasi-random graphs, but there are also some exceptions. We continue here the line of investigation in Janson and Sós (2013), and introduce some new versions of these properties, in order to better understand why many of these properties are quasi-random, and to understand the structure of the exceptions that are not. A new feature in the proofs is a simple decomposition of the subspace of symmetric functions in $L^2([0,1]^m)$ into subspaces that are irreducible for the action of measure-preserving transformations of $[0,1]$; this simplifies some arguments and gives structure to others.

In this short article we consider a preferential attachment random graph model with edge steps, studied by Alves, Ribeiro and Sanchis. Starting with an initial graph $\mathbb{G}_1$ formed by a vertex with a self-loop attached to it, the model evolves as follows. At every subsequent (discrete) time step, either with probability $p$ we add a vertex to the graph and connect it to exactly one of the older vertices selected with probability proportional to its degree, or with probability $1-p$ we add one edge between two existing vertices, both selected (independently) with probability proportional to their degrees. Let $ω(\mathbb{G})$ be the clique number of a graph $\mathbb{G}$, i.e.\ the number of vertices in a largest complete subgraph of $\mathbb{G}_{}$. Alves, Ribeiro and Sanchis showed that, for any given $\varepsilon>0$, we have $ω(\mathbb{G}_{2t})\geq t^{\frac{1-p}{2-p}(1-\varepsilon)}$ with high probability (i.e.\ with probability tending to $1$ as $t\rightarrow \infty$). Here we strengthen this bound by showing that, for any function $f:\mathbb{N}\mapsto \mathbb{N}$ that satisfies $f(t)\rightarrow \infty$ as $t\rightarrow \infty$, with high probability \[ω(\mathbb{G}_{2t}) = Ω\left(t^{\frac{1-p}{2-p}}\Big(\log^{\frac{1}{2-p}}(t)f(t)\Big)^{-1}\right).\]

We study the asymptotic enumeration of labelled connected multitype graphs in the sparse regime, where both the number of vertices and edges grow linearly and the excess is proportional to the size of the graph. Extending the classical theory of connected graph enumeration to the multitype setting, we consider graphs with prescribed numbers of vertices of each type and prescribed edge counts between each pair of types. Our approach is probabilistic and relies on the theory of inhomogeneous random graphs. In particular, we exploit large-deviation principles and asymptotic estimates for connectedness probabilities to relate the counting problem to the emergence of giant components in suitably tuned supercritical random graphs. From large deviation asymptotics of connected components of inhomogeneous random graphs, we recognize that a connected graph with a given edge statistics corresponds to the (unique) giant component of larger inhomogeneous random graph with a suitably chosen connection kernel. This correspondence allows us to derive the leading exponential asymptotics for the number of connected multitype graphs with fixed type profile and edge matrix. The resulting formula generalizes the asymptotic enumeration results of Bender, Canfield, and McKay for connected sparse graphs to the multitype framework. More broadly, the paper illustrates how probabilistic techniques can provide transparent and effective tools for addressing new combinatorial enumeration problems.

Let $G_{n,p}$ be the binomial random graph of density $p$ and let $X_H$ be the number of copies of a fixed graph $H$ in $G_{n,p}$. We prove asymptotically tight bounds on the logarithmic upper-tail probability of $X_H$ whenever $H$ is a connected, irregular graph with maximum degree $Δ\ge 2$ and $p \ge n^{-1/Δ- \varepsilon_H} (\log n)^{ω(1)}$ for an explicit $\varepsilon_H >0$. These bounds are expressed in terms of a new variational problem that generalises the combinatorial optimisation problem arising from the naïve mean-field approximation. This new variational problem includes an entropy term that corresponds to the large number of embeddings of certain highly structured graphs in $K_n$. For a certain class of irregular graphs $H$ that we call stable, we show that this description of the upper-tail probability is valid in a range of densities that is optimal up to a poly($\log\log n$) factor. For a further subclass of stable graphs, which includes all irregular complete bipartite graphs, we show that this range of densities is optimal up to a multiplicative constant.

We present the first rigorous analysis of decentralized geometric routing in Geometric Inhomogeneous Random Graphs (GIRGs), a weight-agnostic variant of the greedy routing protocol. While greedy routing in GIRGs is known to explain the algorithmic small-world phenomenon by finding ultra-short paths of length $Θ(\log \log n)$, it assumes additional knowledge of vertex weights beyond geometry, an assumption that is often restrictive or unavailable. We investigate whether the underlying geometry alone is sufficient for efficient navigation. We prove that for power-law weight exponent $τ\in (2,3)$ and geometric decay parameter $α> τ- 1$, geometric routing succeeds with constant probability and finds ultra-short paths of length $Θ(\log \log n)$, matching the optimal asymptotic guarantees for greedy routing. Our analysis further reveals that, upon success, both protocols follow a similar two-phase trajectory, consisting of a rapid ascent to the heavy vertices, followed by efficient navigation to the target. These results demonstrate that, in the appropriate regime, the network's geometry alone implicitly guides the path to the target through its high-weight core.

Given a group $G$, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of $G$ where each element of $G$ is included in the generating set independently at random with probability $p$. In this article, we investigate the threshold probabilities for the diameter of random graphs in this model. Specifically, let $d_N = (1-γ)\sqrt{\frac{\log{N}}{2\log{\log{N}}}}$, where $γ\in (0,1)$ is any fixed real number. We show that for any $\varepsilon > 0$, any family of groups $G_k$ of order $N_k$ for which $N_k \to \infty$, and any integer $2 \leqslant d\leqslant d_{N_k}$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most $d$ if $p \geqslant \sqrt[d]{(1+\varepsilon) d! \frac{\log{N_k}}{N_k^{d-1}}}$, and diameter greater than $d$ if $p \leqslant \sqrt[d]{\frac{1-\varepsilon}{2^d} \frac{\log{N_k}}{N_k^{d-1}}}$. Up to a constant factor, these thresholds are similar to those for the usual Erdős-Rényi random graphs. However, the precise thresholds in our model depend on the underlying family of groups. We provide specific examples of group families demonstrating that both of our bounds are best possible.

Let $r,s,t\geq2$ be integers. For $r$-graphs $G$ and $F_1,\dots,F_s$, we write $G\to(F_1,\dots,F_s)$ if every $s$-edge-coloring of $G$ yields a monochromatic copy of $F_i$ in the $i$-th color for some $1\leq i\leq s$. Let $\mathcal{R}(F_1,\dots,F_s)$ denote the family of all $r$-graphs $G$ with $G\to(F_1,\dots,F_s)$. When $F_1=\dots=F_s=F$, we write $\mathcal{R}(F;s)=\mathcal{R}(F_1,\dots,F_s)$. In this paper, we investigate when $\mathcal{R}(H;s)\subseteq\mathcal{R}(Q_1,\dots,Q_t)$ holds, where $H=H^{(r)}(n,p)$ is a random $r$-graph and $Q_1,\dots,Q_t$ are fixed $r$-graphs. Our main result determines the threshold for a large class of such $Q_1,\dots,Q_t$, including complete $r$-graphs. The key ingredient in our proof is a generalization of a result of Graham, Łuczak, Rödl, and Ruciński, which provides a necessary and sufficient condition for $\mathcal{R}(F_1,\dots,F_s)\subseteq\mathcal{R}(Q_1,\dots,Q_t)$, where $Q_1,\dots,Q_t$ are highly connected. As a byproduct, we characterize when two tuples of highly connected $r$-graphs are Ramsey equivalent.