arXiv++ Combinatorics

Shamir and Spencer proved in the 1980s that the chromatic number of the binomial random graph G(n,p) is concentrated in an interval of length at most ω\sqrt{n}, and in the 1990s Alon showed that an interval of length ω\sqrt{n}/\log n suffices for constant edge-probabilities p \in (0,1). We prove a similar logarithmic improvement of the Shamir-Spencer concentration results for the sparse case p=p(n) \to 0, and uncover a surprising concentration `jump' of the chromatic number in the very dense case p=p(n) \to 1.

Let $H_r(n,p)$ denote the maximum number of Hamiltonian cycles in an $n$-vertex $r$-graph with density $p \in (0,1)$. The expected number of Hamiltonian cycles in the random $r$-graph model $G_r(n,p)$ is $E(n,p)=p^n(n-1)!/2$ and in the random graph model $G_r(n,m)$ with $m=p\binom{n}{r}$ it is, in fact, slightly smaller than $E(n,p)$. For graphs, $H_2(n,p)$ is proved to be only larger than $E(n,p)$ by a polynomial factor and it is an open problem whether a quasi-random graph with density $p$ can be larger than $E(n,p)$ by a polynomial factor. For hypergraphs (i.e. $r \ge 3$) the situation is drastically different. For all $r \ge 3$ it is proved that $H_r(n,p)$ is larger than $E(n,p)$ by an {\em exponential} factor and, moreover, there are quasi-random $r$-graphs with density $p$ whose number of Hamiltonian cycles is larger than $E(n,p)$ by an exponential factor.

In this note we examine the following random graph model: for an arbitrary graph $H$, with quadratic many edges, construct a graph $G$ by randomly adding $m$ edges to $H$ and randomly coloring the edges of $G$ with $r$ colors. We show that for $m$ a large enough constant and $r \geq 5$, every pair of vertices in $G$ are joined by a rainbow path, i.e., $G$ is {\it rainbow connected}, with high probability. This confirms a conjecture of Anastos and Frieze [{\it J. Graph Theory} {\bf 92} (2019)] who proved the statement for $r \geq 7$ and resolved the case when $r \leq 4$ and $m$ is a function of $n$.

Assume $n$ players are placed on the $n$ vertices of a graph $G$. The following game was introduced by Winkler: An adversary puts a hat on each player, where each hat has a colour out of $q$ available colours. The players can see the hat of each of their neighbours in $G$, but not their own hat. Using a prediscussed guessing strategy, the players then simultaneously guess the colour of their hat. The players win if at least one of them guesses correctly, else the adversary wins. The largest integer $q$ such that there is a winning strategy for the players is denoted by $\text{HG}(G)$, and this is called the hat guessing number of $G$. Although this game has received a lot of attention in the recent years, not much is known about how the hat guessing number relates to other graph parameters. For instance, a natural open question is whether the hat guessing number can be bounded from above in terms of degeneracy. In this paper, we prove that the hat guessing number of a graph can be bounded from above in terms of a related notion, which we call strong degeneracy. We further give an exact characterisation of graphs with bounded strong degeneracy. As a consequence, we significantly improve the best known upper bound on the hat guessing number of outerplanar graphs from $2^{125000}$ to $40$, and further derive upper bounds on the hat guessing number for any class of $K_{2,s}$-free graphs with bounded expansion, such as the class of $C_4$-free planar graphs, more generally $K_{2,s}$-free graphs with bounded Hadwiger number or without a $K_t$-subdivision, and for Erdős-Rényi random graphs with constant average degree.

In this paper we consider the Erdős-Rényi random graph in the sparse regime in the limit as the number of vertices $n$ tends to infinity. We are interested in what this graph looks like when it contains many triangles, in two settings. First, we derive asymptotically sharp bounds on the probability that the graph contains a large number of triangles. We show that conditionally on this event, with high probability the graph contains an almost complete subgraph, i.e., the triangles form a near-clique, and has the same local limit as the original Erdős-Rényi random graph. Second, we derive asymptotically sharp bounds on the probability that the graph contains a large number of vertices that are part of a triangle. If order $n$ vertices are in triangles, then the local limit (provided it exists) is different from that of the Erdős-Rényi random graph. Our results shed light on the challenges that arise in the description of real-world networks, which often are sparse, yet highly clustered, and on exponential random graphs, which often are used to model such networks.

We study vulnerability of a uniformly distributed random graph to an attack by an adversary who aims for a global change of the distribution while being able to make only a local change in the graph. We call a graph property $A$ anti-stochastic if the probability that a random graph $G$ satisfies $A$ is small but, with high probability, there is a small perturbation transforming $G$ into a graph satisfying $A$. While for labeled graphs such properties are easy to obtain from binary covering codes, the existence of anti-stochastic properties for unlabeled graphs is not so evident. If an admissible perturbation is either the addition or the deletion of one edge, we exhibit an anti-stochastic property that is satisfied by a random unlabeled graph of order $n$ with probability $(2+o(1))/n^2$, which is as small as possible. We also express another anti-stochastic property in terms of the degree sequence of a graph. This property has probability $(2+o(1))/(n\ln n)$, which is optimal up to factor of 2.

Expanders are sparse graph that are strongly connected, where {\it connectivity} is quantified using eigenvalues of the adjacency matrix, and {\it sparsity} in terms of vertex valency. We give a model of random graphs and study their connectivity and sparsity. This model is a particular case of soft geometric random graphs, and allows to construct sparse graphs with good expansion properties, as well as highly clustered ones. On those graphs, we study the speed at which random walks spread in the graph, and visit all vertices. As an illustration, we build a model for mainland France and study the spread of random walks under several types of lockdown. Our experiments show that completely closing medium and long distance travel to slow down the spread of a random walk is more efficient than than local restrictions.

Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multi-type random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multi-type Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).

We study the Hamilton cycle problem with input a random graph G=G(n,p) in two settings. In the first one, G is given to us in the form of randomly ordered adjacency lists while in the second one we are given the adjacency matrix of G. In each of the settings we give a deterministic algorithm that w.h.p. either it finds a Hamilton cycle or it returns a certificate that such a cycle does not exists, for p > 0. The running times of our algorithms are w.h.p. O(n) and O(n/p) respectively each being best possible in its own setting.

Path homology is a topological invariant for directed graphs, which is sensitive to their asymmetry and can discern between digraphs which are indistinguishable to the directed flag complex. In Erdös-Rényi directed random graphs, the first Betti number undergoes two distinct transitions, appearing at a low-density boundary and vanishing again at a high-density boundary. Through a novel, combinatorial condition for digraphs we describe both sparse and dense regimes under which the first Betti number of path homology is zero with high probability. We combine results of Grigor'yan et al., regarding generators for chain groups, with methods of Kahle and Meckes in order to determine regimes under which the first Betti number is positive with high probability. Together, these results describe the gradient of the lower boundary and yield bounds for the gradient of the upper boundary. With a view towards hypothesis testing, we obtain tighter bounds on the probability of observing a positive first Betti number in a high-density digraph of finite size. For comparison, we apply these techniques to the directed flag complex and derive analogous results.

We study the size of the largest component of two models of random graphs with prescribed degree sequence, the configuration model (CM) and the uniform model (UM), in the (barely) subcritical regime. For the CM, we give upper bounds that are asymptotically tight for certain degree sequences. These bounds hold under mild conditions on the sequence and improve previous results of Hatami and Molloy on the barely subcritical regime. For the UM, we give weaker upper bounds that are tight up to logarithmic terms but require no assumptions on the degree sequence. In particular, the latter result applies to degree sequences with infinite variance in the subcritical regime.

In a recent work, Allen, Böttcher, Hàn, Kohayakawa, and Person provided a first general analogue of the blow-up lemma applicable to sparse (pseudo)random graphs thus generalising the classic tool of Komlós, Sárközy, and Szemerédi. Roughly speaking, they showed that with high probability in the random graph $G_{n,p}$ for $p \geq C(\log n/n)^{1/Δ}$, sparse regular pairs behave similarly as complete bipartite graphs with respect to embedding a spanning graph $H$ with $Δ(H) \leq Δ$. However, this is typically only optimal when $Δ\in \{2,3\}$ and $H$ either contains a triangle ($Δ= 2$) or many copies of $K_4$ ($Δ= 3$). We go beyond this barrier for the first time and present a sparse blow-up lemma for cycles $C_{2k-1}, C_{2k}$, for all $k \geq 2$, and densities $p \geq Cn^{-(k-1)/k}$, which is in a way best possible. As an application of our blow-up lemma we fully resolve a question of Nenadov and Škorić regarding resilience of cycle factors in sparse random graphs.

We consider the performance of the Depth First Search (DFS) algorithm on the random graph $G\left(n,\frac{1+ε}{n}\right)$, $ε>0$ a small constant. Recently, Enriquez, Faraud and Ménard [2] proved that the stack $U$ of the DFS follows a specific scaling limit, reaching the maximal height of $(1+o_ε(1))ε^2n$. Here we provide a simple analysis for the typical length of a maximum path discovered by the DFS.

For graphs $F$ and $G$, let $F\to G$ signify that any red/blue edge coloring of $F$ contains a monochromatic $G$. Denote by ${\cal G}(N,p)$ the random graph space of order $N$ and edge probability $p$. Using the regularity method, one can show that for any fixed $p\in (0,1]$, almost all graphs $F\in{\cal G}(cn,p)$ have $F\to G$ for any graph $G$ of order $n$ and all but at most $m$ degrees bounded, where $c$ is an integer depending on $p$ and $m$. Note that $r(K_{m,n})\sim 2^m n$ and $r(K_m+\overline{K}_n)\sim 2^m n$ as $n\to\infty$, for which we investigate the relation between $c$ and $p$. Let $N=\lfloor c\,2^m n\rfloor$ with $c>1$ and $p_u,p_\ell=\frac{1}{c^{1/m}}(1\pm \sqrt{\frac{M\log n}{n}}\,)$, where $M=M(c,m)>0$. It is shown that $p_u$ and $p_\ell$ are Ramsey thresholds of $K_{m,n}$ in ${\cal G}(N,p)$. Namely, almost all $F\in{\cal G}(N,p_u)$ and almost no $F\in{\cal G}(N,p_\ell)$ have $F\to K_{m,n}$, respectively. Moreover, it is shown that $p_u$ and $p_\ell$ are (ordinary) upper threshold and lower threshold of $K_m+\overline{K}_n$ to appear in ${\cal G}(N,p/2)$, respectively. We show that ${\cal G}(N,p/2)$ can be identified as the set of red (or blue) graphs obtained from $F\in{\cal G}(N,p)$ by red/blue edge coloring of $F$ with probability $1/2$ for each color, which leads to the definition of the weak Ramsey thresholds.

For $0\leq \ell <k$, a Hamiltonian $\ell$-cycle in a $k$-uniform hypergraph $H$ is a cyclic ordering of the vertices of $H$ in which the edges are segments of length $k$ and every two consecutive edges overlap in exactly $\ell$ vertices. We show that for all $0\le \ell<k-1$, every $k$-graph with minimum co-degree $δn$ with $δ>1/2$ has (asymptotically and up to a subexponential factor) at least as many Hamiltonian $\ell$-cycles as in a typical random $k$-graph with edge-probability $δ$. This significantly improves a recent result of Glock, Gould, Joos, Kühn, and Osthus, and verifies a conjecture of Ferber, Krivelevich and Sudakov for all values $0\leq \ell<k-1$.

We consider the random geometric graph on $n$ vertices drawn uniformly from a $d$--dimensional sphere. We focus on the sparse regime, when the expected degree is constant independent of $d$ and $n$. We show that, when $d$ is larger than $n$ by logarithmic factors, this graph is comparable to the Erdős--Rényi random graph of the same edge density in the \emph{inclusion divergence} between the graph laws. This divergence functions in certain ways like a relaxation of the total variation distance, but is strong enough to distinguish Erdős--Rényi graphs of different densities with a higher resolution than the total variation distance. To do the analysis, we derive some exact statistics of the \emph{spherical Wishart matrix}, the Gram matrix of $n$ independent uniformly random $d$--dimensional spherical vectors. In particular we give expressions for the characteristic function of the spherical Wishart matrix which are well--approximated using steepest descent.

Let $N=\binom{n}{2}$ and $s\geq 2$. Let $e_{i,j},\,i=1,2,\ldots,N,\,j=1,2,\ldots,s$ be $s$ independent permutations of the edges $E(K_n)$ of the complete graph $K_n$. A {\em MultiTree} is a set $I\subseteq [N]$ such that the edge sets $E_{I,j}$ induce spanning trees for $j=1,2,\ldots,s$. In this paper we study the following question: what is the smallest $m=m(n)$ such that w.h.p. $[m]$ contains a MultiTree. We prove a hitting time result for $s=2$ and an $O(n\log n)$ bound for $s\geq 3$.

Bonnet, Kim, Thomassé, and Watrigant (2020) introduced the twin-width of a graph. We show that the twin-width of an $n$-vertex graph is less than $(n+\sqrt{n\ln n}+\sqrt{n}+2\ln n)/2$, and the twin-width of an $m$-edge graph for a positive $m$ is less than $\sqrt{3m}+ m^{1/4} \sqrt{\ln m} / (4\cdot 3^{1/4}) + 3m^{1/4} / 2$. Conference graphs of order $n$ (when such graphs exist) have twin-width at least $(n-1)/2$, and we show that Paley graphs achieve this lower bound. We also show that the twin-width of the Erdős-Rényi random graph $G(n,p)$ with $1/n\leq p=p(n)\leq 1/2$ is larger than $2p(1-p)n - (2\sqrt{2}+\varepsilon)\sqrt{p(1-p)n\ln n}$ asymptotically almost surely for any positive $\varepsilon$. Lastly, we calculate the twin-width of random graphs $G(n,p)$ with $p\leq c/n$ for a constant $c<1$, determining the thresholds at which the twin-width jumps from $0$ to $1$ and from $1$ to $2$.

We show that the size-Ramsey number of any cubic graph with $n$ vertices is $O(n^{8/5})$, improving a bound of $n^{5/3 + o(1)}$ due to Kohayakawa, Rödl, Schacht, and Szemerédi. The heart of the argument is to show that there is a constant $C$ such that a random graph with $C n$ vertices where every edge is chosen independently with probability $p \geq C n^{-2/5}$ is with high probability Ramsey for any cubic graph with $n$ vertices. This latter result is best possible up to the constant.

We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. They studied the number of edges added up to step $t$ for 'large' $t=ω(n)$. In this paper we extend their results by determining the asymptotic number of edges added up to step $t$ in the early evolution of the process when $t=O(n)$. We also show that this result holds for a much more general class of graphs, including outerplanar graphs, planar graphs, and graphs on surfaces.