arXiv++ Combinatorics

We discuss the amount of physical resources required to construct a given graph, where vertices are added sequentially. We naturally identify information -- distinct into instructions and memory -- and randomness as resources. Not surprisingly, we show that, in this framework, threshold graphs are the simplest possible graphs, since the construction of threshold graphs requires a single bit of instructions for each vertex and no use of memory. Large instructions without memory do not bring any advantage. With one bit of instructions and one bit of memory for each vertex, we can construct a family of perfect graphs that strictly includes threshold graphs. We consider the case in which memory lasts for a single time step, and show that as well as the standard threshold graphs, linear forests are also producible. We show further that the number of random bits (with no memory or instructions) needed to construct any graph is asymptotically the same as required for the Erdős-Rényi random graph. We also briefly consider constructing trees in this scheme. The problem of defining a hierarchy of graphs in the proposed framework is fully open.

For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $α>0$, there exists $ε>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+α\right)n$ and a binomial random $k$-graph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-\binom{k+r-2}{k-1}^{-1}-ε}$ on the same vertex set contains the $r^{\text{th}}$ power of a tight Hamilton cycle with high probability. This result for $r=1$ was first proved by McDowell and Mycroft.

In a recent paper, Oliver Riordan shows that for $r \ge 4$ and $p$ up to and slightly larger than the threshold for a $K_r$-factor, the hypergraph formed by the copies of $K_r$ in $G(n,p)$ contains a copy of the binomial random hypergraph $H=H_r(n,π)$ with $π\sim p^{r \choose 2}$. For $r=3$, he gives a slightly weaker result where the density in the random hypergraph is reduced by a constant factor. Recently, Jeff Kahn announced an asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem for all $r \ge 3$. With Riordan's result, this immediately implies an asymptotically sharp bound for the threshold of a $K_r$-factor in $G(n,p)$ for $r \ge 4$. In this note, we resolve the missing case $r=3$ by modifying Riordan's argument. This means that Kahn's result also implies a sharp bound for triangle factors in $G(n,p)$.

We provide precise asymptotic estimates for the number of several classes of labelled cubic planar graphs, and we analyze properties of such random graphs under the uniform distribution. This model was first analyzed by Bodirsky et al. (Random Structures Algorithms 2007). We revisit their work and obtain new results on the enumeration of cubic planar graphs and on random cubic planar graphs. In particular, we determine the exact probability of a random cubic planar graph being connected, and we show that the distribution of the number of triangles in random cubic planar graphs is asymptotically normal with linear expectation and variance. To the best of our knowledge, this is the first time one is able to determine the asymptotic distribution for the number of copies of a fixed graph containing a cycle in classes of random planar graphs arising from planar maps.

We study the model $G_α\cup G(n,p)$ of randomly perturbed dense graphs, where $G_α$ is any $n$-vertex graph with minimum degree at least $αn$ and $G(n,p)$ is the binomial random graph. We introduce a general approach for studying the appearance of spanning subgraphs in this model using absorption. This approach yields simpler proofs of several known results. We also use it to derive the following two new results. For every $α>0$ and $Δ\ge 5$, and every $n$-vertex graph $F$ with maximum degree at most $Δ$, we show that if $p=ω(n^{-2/(Δ+1)})$ then $G_α\cup G(n,p)$ with high probability contains a copy of $F$. The bound used for $p$ here is lower by a $\log$-factor in comparison to the conjectured threshold for the general appearance of such subgraphs in $G(n,p)$ alone, a typical feature of previous results concerning randomly perturbed dense graphs. We also give the first example of graphs where the appearance threshold in $G_α\cup G(n,p)$ is lower than the appearance threshold in $G(n,p)$ by substantially more than a $\log$-factor. We prove that, for every $k\geq 2$ and $α>0$, there is some $η>0$ for which the $k$th power of a Hamilton cycle with high probability appears in $G_α\cup G(n,p)$ when $p=ω(n^{-1/k-η})$. The appearance threshold of the $k$th power of a Hamilton cycle in $G(n,p)$ alone is known to be $n^{-1/k}$, up to a $\log$-term when $k=2$, and exactly for $k>2$.

We solve a problem of Krivelevich, Kwan and Sudakov [SIAM Journal on Discrete Mathematics 31 (2017), 155-171] concerning the threshold for the containment of all bounded degree spanning trees in the model of randomly perturbed dense graphs. More precisely, we show that, if we start with a dense graph $G_α$ on $n$ vertices with $δ(G_α)\ge αn$ for $α>0$ and we add to it the binomial random graph $G(n,C/n)$, then with high probability the graph $G_α\cup G(n,C/n)$ contains copies of all spanning trees with maximum degree at most $Δ$ simultaneously, where $C$ depends only on $α$ and $Δ$.

How can we approximate sparse graphs and sequences of sparse graphs (with unbounded average degree)? We consider convergence in the first $k$ moments of the graph spectrum (equivalent to the numbers of closed $k$-walks) appropriately normalized. We introduce a simple, easy to sample, random graph model that captures the limiting spectra of many sequences of interest, including the sequence of hypercube graphs. The Random Overlapping Communities (ROC) model is specified by a distribution on pairs $(s,q)$, $s \in \mathbb{Z}_+, q \in (0,1]$. A graph on $n$ vertices with average degree $d$ is generated by repeatedly picking pairs $(s,q)$ from the distribution, adding an Erdős-Rényi random graph of edge density $q$ on a subset of vertices chosen by including each vertex with probability $s/n$, and repeating this process so that the expected degree is $d$. Our proof of convergence to a ROC random graph is based on the Stieltjes moment condition. We also show that the model is an effective approximation for individual graphs. For almost all possible triangle-to-edge and four-cycle-to-edge ratios, there exists a pair $(s,q)$ such that the ROC model with this single community type produces graphs with both desired ratios, a property that cannot be achieved by stochastic block models of bounded description size. Moreover, ROC graphs exhibit an inverse relationship between degree and clustering coefficient, a characteristic of many real-world networks.

In this paper we found an upper bound for the minimal quantifier depth of the first part of a monadic second-order sentence without asymptotic probability described by Jerzy Tyszkiewicz, which express the extension grid axiom in the Erdős-Rényi model of random graphs $G(n,n^{-α})$ for some irrational $α$.

We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by Annika Heckel. We also prove a corresponding result for $K_r^{(t)}$-factors in random $t$-uniform hypergraphs, as well as (in some cases weaker) generalizations replacing $K_r$ by certain other (hyper)graphs.

We continue the study of the properties of graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to the ball of radius $r$ in some fixed vertex-transitive graph $F$, for various choices of $F$ and $r$. This is a natural extension of the study of regular graphs. More precisely, if $F$ is a vertex-transitive graph and $r \in \mathbb{N}$, we say a graph $G$ is {\em $r$-locally $F$} if the ball of radius $r$ around each vertex of $G$ induces a graph isomorphic to the graph induced by the ball of radius $r$ around any vertex of $F$. We consider the following random graph model: for each $n \in \mathbb{N}$, we let $G_n = G_n(F,r)$ be a graph chosen uniformly at random from the set of all unlabelled, $n$-vertex graphs that are $r$-locally $F$. We investigate the properties possessed by the random graph $G_n$ with high probability, for various natural choices of $F$ and $r$. We prove that if $F$ is a Cayley graph of a torsion-free group of polynomial growth, and $r$ is sufficiently large depending on $F$, then the random graph $G_n = G_n(F,r)$ has largest component of order at most $n^{5/6}$ with high probability, and has at least $\exp(n^δ)$ automorphisms with high probability, where $δ>0$ depends upon $F$ alone. Both properties are in stark contrast to random $d$-regular graphs, which correspond to the case where $F$ is the infinite $d$-regular tree. We also show that, under the same hypotheses, the number of unlabelled, $n$-vertex graphs that are $r$-locally $F$ grows like a stretched exponential in $n$, again in contrast with $d$-regular graphs. In the case where $F$ is the standard Cayley graph of $\mathbb{Z}^d$, we obtain a much more precise enumeration result, and more precise results on the properties of the random graph $G_n(F,r)$. Our proofs use a mixture of results and techniques from geometry, group theory and combinatorics.

We prove two estimates for the expectation of the exponential of a complex function of a random permutation or subset. Using this theory, we find asymptotic expressions for the expected number of copies and induced copies of a given graph in a uniformly random graph with degree sequence $(d_1,\ldots,d_n)$ as $n \rightarrow \infty$. We also determine the expected number of spanning trees in this model. The range of degrees covered includes $d_j = λn + O(n^{1/2+\varepsilon})$ for some $λ$ bounded away from $0$ and $1$.

We study the problem of finding a copy of a specific induced subgraph on inhomogeneous random graphs with infinite variance power-law degrees. We provide a fast algorithm that finds a copy of any connected graph $H$ on a fixed number of $k$ vertices as an induced subgraph in a random graph with $n$ vertices. By exploiting the scale-free graph structure, the algorithm runs in $O(n k)$ time for small values of $k$. As a corollary, this shows that the induced subgraph isomorphism problem can be solved in time $O(nk)$ for the inhomogeneous random graph. We test our algorithm on several real-world data sets.

Let $H$ be a graph on $h$ vertices. The number of induced copies of $H$ in a graph $G$ is denoted by $i_H(G)$. Let $i_H(n)$ denote the maximum of $i_H(G)$ taken over all graphs $G$ with $n$ vertices. Let $f(n,h) = Π_{i}^h a_i$ where $\sum_{i=1}^h a_i = n$ and the $a_i$ are as equal as possible. Let $g(n,h) = f(n,h) + \sum_{i=1}^h g(a_i,h)$. It is proved that for almost all graphs $H$ on $h$ vertices it holds that $i_H(n)=g(n,h)$ for all $n \le 2^{\sqrt{h}}$. More precisely, we define an explicit graph property ${\cal P}_h$ which, when satisfied by $H$, guarantees that $i_H(n)=g(n,h)$ for all $n \le 2^{\sqrt{h}}$. It is proved, in particular, that a random graph on $h$ vertices satisfies ${\cal P}_h$ with probability $1-o_h(1)$. Furthermore, all extremal $n$-vertex graphs yielding $i_H(n)$ in the aforementioned range are determined. We also prove a stability result. For $H \in {\cal P}_h$ and a graph $G$ with $n \le 2^{\sqrt{h}}$ vertices satisfying $i_H(G) \ge f(n,h)$, it must be that $G$ is obtained from a balanced blowup of $H$ by adding some edges inside the blowup parts. The {\em inducibility} of $H$ is $i_H = \lim_{n \rightarrow \infty} i_H(n)/\binom{n}{h}$. It is known that $i_H \ge h!/(h^h-h)$ for all graphs $H$ and that a random graph $H$ satisfies almost surely that $i_H \le h^{3\log h}h!/(h^h-h)$. We improve upon this upper bound almost matching the lower bound. It is shown that a graph $H$ which satisfies ${\cal P}_h$ has $i_H =(1+O(h^{-h^{1/3}}))h!/(h^h-h)$.

The Push, the Pull and the Push&Pull algorithms are well-studied rumor spreading protocols. In all three, in the beginning one node of a graph is informed. In the Push setting, every round every informed node chooses a neighbor uniformly at random and, if it is not already informed anyway, informs it. In the Pull setting, each round each uninformed node chooses a neighbor uniformly at random and asks it for the rumor; if the asked neighbor is informed, now also the asking node is informed. Push&Pull is a combination of Push and Pull: In each round, each node picks a neighbor uniformly at random. If at least one of both knows the rumor, after this round, both know the rumor. Clementi et al. have considered Push in settings where the underlying graph changes each round. In one setting they investigated, in each round the underlying graph is a newly sampled Erdős-Rényi random graph $G(n,p)$. They show that if $p\geq 1/n$ then with probability $1-o(1)$ (as $n\rightarrow \infty$) the number of rounds needed until all nodes are informed is $\mathcal{O}(\ln(n))$. Doerr and Kostrygin introduced a general framework to analyze rumor spreading algorithms; using this framework, for $a>0$ and $p=a/n$ they improved the previous results in the described setting: The expected number of rounds needed by Push was determined to be $\log_{2-e^{-a}}(n)+1/(1-e^{-a})\ln(n)+\mathcal{O}(1)$; also large deviation bounds were obtained. Using their framework, we investigate Pull and Push&Pull in that setting: We prove that the expected number of rounds needed by Pull to inform all nodes is $\log_{2-e^{-a}}(n)+1/a \ln(n)+\mathcal{O}(1)$. Let $γ:= 2(1-e^{-a})-(1-e^{-a})^2/a$; we prove that the expected number of rounds needed by Push&Pull is $\log_{1+γ}(n)+1/a\ln(n)+\mathcal{O}(1)$; as a byproduct, we obtain large deviation bounds, too.

Archdeacon and Grable (1995) proved that the genus of the random graph $G\in\mathcal{G}_{n,p}$ is almost surely close to $pn^2/12$ if $p=p(n)\geq3(\ln n)^2n^{-1/2}$. In this paper we prove an analogous result for random bipartite graphs in $\mathcal{G}_{n_1,n_2,p}$. If $n_1\ge n_2 \gg 1$, phase transitions occur for every positive integer $i$ when $p=Θ((n_1n_2)^{-\frac{i}{2i+1}})$. A different behaviour is exhibited when one of the bipartite parts has constant size, $n_1\gg1$ and $n_2$ is a constant. In that case, phase transitions occur when $p=Θ(n_1^{-1/2})$ and when $p=Θ(n_1^{-1/3})$.

An equitable colouring of a graph $G$ is a colouring of the vertices of $G$ so that no two adjacent vertices are coloured the same and, additionally, the colour class sizes differ by at most $1$. The equitable chromatic number $χ_=(G)$ is the minimum number of colours required for this. We study the equitable chromatic number of the dense random graph $G(n,m)$, where $m = \left\lfloor p {n \choose 2} \right \rfloor $ and $0<p< 0.86$ is constant. It is a well-known question of Bollobás whether for $p=1/2$ there is a function $f(n) \rightarrow \infty$ so that for any sequence of intervals of length $f(n)$, the normal chromatic number of $G(n,m)$ lies outside the intervals with probability at least $1/2$ if $n$ is large enough. Bollobás proposes that this is likely to hold for $f(n) = \log n$. We show that for the \emph{equitable} chromatic number, the answer to the analogous question is negative. In fact, there is a subsequence $(n_j)_{j}$ of the integers where $χ_=(G(n_j,m_j)) = n/j$ with high probability, i.e., $χ_=(G(n_j,m_j))$ is concentrated on exactly one explicitly known value. This constitutes surprisingly narrow concentration since in this range the equitable chromatic number, like the normal chromatic number, is rather large in absolute value, namely asymptotically equal to $n / (2\log_b n)$ where $b=1/(1-p)$.

An n-vertex graph is called C-Ramsey if it has no clique or independent set of size C log n. All known constructions of Ramsey graphs involve randomness in an essential way, and there is an ongoing line of research towards showing that in fact all Ramsey graphs must obey certain "richness" properties characteristic of random graphs. More than 25 years ago, Erdős, Faudree and Sós conjectured that in any C-Ramsey graph there are $Ω\left(n^{5/2}\right)$ induced subgraphs, no pair of which have the same numbers of vertices and edges. Improving on earlier results of Alon, Balogh, Kostochka and Samotij, in this paper we prove this conjecture.

A classic result of Erdős, Gyárfás and Pyber states that for every coloring of the edges of $K_n$ with $r$ colors, there is a cover of its vertex set by at most $f(r) = O(r^2 \log r)$ vertex-disjoint monochromatic cycles. In particular, the minimum number of such covering cycles does not depend on the size of $K_n$ but only on the number of colors. We initiate the study of this phenomena in the case where $K_n$ is replaced by the random graph $\mathcal G(n,p)$. Given a fixed integer $r$ and $p =p(n) \ge n^{-1/r + \varepsilon}$, we show that with high probability the random graph $G \sim \mathcal G(n,p)$ has the property that for every $r$-coloring of the edges of $G$, there is a collection of $f'(r) = O(r^8 \log r)$ monochromatic cycles covering all the vertices of $G$. Our bound on $p$ is close to optimal in the following sense: if $p\ll (\log n/n)^{1/r}$, then with high probability there are colorings of $G\sim\mathcal G(n,p)$ such that the number of monochromatic cycles needed to cover all vertices of $G$ grows with $n$.

We study the localization game on dense random graphs. In this game, a {\em cop} $x$ tries to locate a {\em robber} $y$ by asking for the graph distance of $y$ from every vertex in a sequence of sets $W_1,W_2,\ldots,W_\ell$. We prove high probability upper and lower bounds for the minimum size of each $W_i$ that will guarantee that $x$ will be able to locate $y$.

The jigsaw percolation process, introduced by Brummitt, Chatterjee, Dey and Sivakoff, was inspired by a group of people collectively solving a puzzle. It can also be seen as a measure of whether two graphs on a common vertex set are "jointly connected". In this paper we consider the natural generalisation of this process to an arbitrary number of graphs on the same vertex set. We prove that if these graphs are random, then the jigsaw percolation process exhibits a phase transition in terms of the product of the edge probabilities. This generalises a result of Bollobás, Riordan, Slivken and Smith.