arXiv++ Combinatorics

Consider the Erdős-Renyi random graph on n vertices where each edge is present independently with probability c/n, with c>0 fixed. For large n, a typical random graph locally behaves like a Galton-Watson tree with Poisson offspring distribution with mean c. Here, we study large deviations from this typical behavior within the framework of the local weak convergence of finite graph sequences. The associated rate function is expressed in terms of an entropy functional on unimodular measures and takes finite values only at measures supported on trees. We also establish large deviations for other commonly studied random graph ensembles such as the uniform random graph with given number of edges growing linearly with the number of vertices, or the uniform random graph with given degree sequence. To prove our results, we introduce a new configuration model which allows one to sample uniform random graphs with a given neighborhood distribution, provided the latter is supported on trees. We also introduce a new class of unimodular random trees, which generalizes the usual Galton Watson tree with given degree distribution to the case of neighborhoods of arbitrary finite depth. These generalized Galton Watson trees turn out to be useful in the analysis of unimodular random trees and may be considered to be of interest in their own right.

Let $d \geq 3$ be an integer. It is known that the number of edges of the edge polytope of the complete graph with $d$ vertices is $d(d-1)(d-2)/2$. In this paper, we study the maximum possible number $μ_d$ of edges of the edge polytope arising from finite simple graphs with $d$ vertices. We show that $μ_{d}=d(d-1)(d-2)/2$ if and only if $3 \leq d \leq 14$. In addition, we study the asymptotic behavior of $μ_d$. Tran--Ziegler gave a lower bound for $μ_d$ by constructing a random graph. We succeeded in improving this bound by constructing both a non-random graph and a random graph whose complement is bipartite.

Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size t is planted in a random G(n,1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best known polynomial-time algorithms only solve the problem for t = Theta(sqrt(n)). Here we show that beating sqrt(n) would require substantially new algorithmic ideas, by proving a lower bound for the problem in the sum-of-squares (or Lasserre) hierarchy, the most powerful class of semi-definite programming algorithms we know of: r rounds of the sum-of-squares hierarchy can only solve the planted clique for t > sqrt(n)/(C log n)^(r^2). Previously, no nontrivial lower bounds were known. Our proof is formulated as a degree lower bound in the Positivstellensatz algebraic proof system, which is equivalent to the sum-of-squares hierarchy. The heart of our (average-case) lower bound is a proof that a certain random matrix derived from the input graph is (with high probability) positive semidefinite. Two ingredients play an important role in this proof. The first is the classical theory of association schemes, applied to the average and variance of that random matrix. The second is a new large deviation inequality for matrix-valued polynomials. Our new tail estimate seems to be of independent interest and may find other applications, as it generalizes both the estimates on real-valued polynomials and on sums of independent random matrices.

We call an edge colouring of a graph G a rainbow colouring if every pair of vertices is joined by a rainbow path, i.e., a path where no two edges have the same colour. The minimum number of colours required for a rainbow colouring of the edges of G is called the rainbow connection number (or rainbow connectivity) rc(G) of G. We investigate sharp thresholds in the Erdős-Rényi random graph for the property "rc(G) <= r" where r is a fixed integer. It is known that for r=2, rainbow connection number 2 and diameter 2 happen essentially at the same time in random graphs. For r >= 3, we conjecture that this is not the case, propose an alternative threshold, and prove that this is an upper bound for the threshold for rainbow connection number r.

Two central topics of study in combinatorics are the so-called evolution of random graphs, introduced by the seminal work of Erdős and Rényi, and the family of $H$-free graphs, that is, graphs which do not contain a subgraph isomorphic to a given (usually small) graph $H$. A widely studied problem that lies at the interface of these two areas is that of determining how the structure of a typical $H$-free graph with $n$ vertices and $m$ edges changes as $m$ grows from $0$ to $\text{ex}(n,H)$. In this paper, we resolve this problem in the case when $H$ is a clique, extending a classical result of Kolaitis, Prömel, and Rothschild. In particular, we prove that for every $r \ge 2$, there is an explicit constant $θ_r$ such that, letting $m_r = θ_r n^{2-\frac{2}{r+2}} (\log n)^{1/\left[\binom{r+1}{2}-1\right]}$, the following holds for every positive constant $\varepsilon$. If $m \ge (1+\varepsilon) m_r$, then almost all $K_{r+1}$-free $n$-vertex graphs with $m$ edges are $r$-partite, whereas if $n \ll m \le (1-\varepsilon)m_r$, then almost all of them are not $r$-partite.

Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set {1,2,...,n}, are now known, and variations on this standard random graph are also attracting interest. Prominent among the work on P_{n} have been asymptotic results for the probability that P_{n} will be connected or contain given components/subgraphs. Such progress has been achieved through a combination of counting arguments and a generating function approach. More recently, attention has turned to P_{n,m}, the graph taken uniformly at random from the set of all planar graphs on {1,2,...,n} with exactly m(n) edges (this can be thought of as a uniform random planar graph with a constraint on the average degree). The case when m(n) = qn for fixed q in (1,3) has been investigated, and results obtained for the events that P_{n,qn} will be connected and that P_{n,qn} will contain given subgraphs. In Part I of this thesis, we use elementary counting arguments to extend the current knowledge of P_{n,m}. We investigate the probability that P_{n,m} will contain given components, the probability that P_{n,m} will contain given subgraphs, and the probability that P_{n,m} will be connected, all for general m(n), and show that there is different behaviour depending on which `region' the ratio m(n)/n falls into. In Part II, we investigate the same three topics for a uniform random planar graph with constraints on the maximum and minimum degrees.

In the tournament game two players, called Maker and Breaker, alternately take turns in claiming an unclaimed edge of the complete graph on n vertices and selecting one of the two possible orientations. Before the game starts, Breaker fixes an arbitrary tournament T_k on k vertices. Maker wins if, at the end of the game, her digraph contains a copy of T_k; otherwise Breaker wins. In our main result, we show that Maker has a winning strategy for k = (2-o(1))log_2 n, improving the constant factor in previous results of Beck and the second author. This is asymptotically tight since it is known that for k = (2-o(1))log_2 n Breaker can prevent that the underlying graph of Maker's graph contains a k-clique. Moreover the precise value of our lower bound differs from the upper bound only by an additive constant of 12. We also discuss the question whether the random graph intuition, which suggests that the threshold for k is asymptotically the same for the game played by two "clever" players and the game played by two "random" players, is supported by the tournament game: It will turn out that, while a straightforward application of this intuition fails, a more subtle version of it is still valid. Finally, we consider the orientation-game version of the tournament game, where Maker wins the game if the final digraph -- containing also the edges directed by Breaker -- possesses a copy of T_k. We prove that in that game Breaker has a winning strategy for k = (4+o(1))log_2 n.

Ricci curvature was proposed by Ollivier in a general framework of metric measure spaces, and it has been studied extensively in the context of graphs in recent years. In this paper we prove upper bounds for Ollivier's Ricci curvature for bipartite graphs and for the graphs with girth at least 5. We also prove a general lower bound on the Ricci curvature in terms of the size of the maximum matching in an appropriate subgraph. As a consequence, we characterize the Ricci-flat graphs of girth 5. Moreover, using our general lower bound and the Birkhoff-von Neumann theorem, we give a necessary and sufficient condition for the structure of Ricci-flat regular graphs of girth 4. Finally, we obtain the asymptotic Ricci curvature of random bipartite graphs $G(n,n, p)$ and random graphs $G(n, p)$, in various regimes of $p$.

The noise sensitivity of a Boolean function describes its likelihood to flip under small perturbations of its input. Introduced in the seminal work of Benjamini, Kalai and Schramm [Inst. Hautes Études Sci. Publ. Math. 90 (1999) 5-43], it was there shown to be governed by the first level of Fourier coefficients in the central case of monotone functions at a constant critical probability $p_c$. Here we study noise sensitivity and a natural stronger version of it, addressing the effect of noise given a specific witness in the original input. Our main context is the Erdős-Rényi random graph, where already the property of containing a given graph is sufficiently rich to separate these notions. In particular, our analysis implies (strong) noise sensitivity in settings where the BKS criterion involving the first Fourier level does not apply, for example, when $p_c\to0$ polynomially fast in the number of variables.

It is shown that there exists a sequence of 3-regular graphs $\{G_n\}_{n=1}^\infty$ and a Hadamard space $X$ such that $\{G_n\}_{n=1}^\infty$ forms an expander sequence with respect to $X$, yet random regular graphs are not expanders with respect to $X$. This answers a question of \cite{NS11}. $\{G_n\}_{n=1}^\infty$ are also shown to be expanders with respect to random regular graphs, yielding a deterministic sublinear time constant factor approximation algorithm for computing the average squared distance in subsets of a random graph. The proof uses the Euclidean cone over a random graph, an auxiliary continuous geometric object that allows for the implementation of martingale methods.

We consider the following activation process in undirected graphs: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it has at least $r$ active neighbors, where $r>1$ is the activation threshold. A \emph{contagious set} is a set whose activation results with the entire graph being active. Given a graph $G$, let $m(G,r)$ be the minimal size of a contagious set. Computing $m(G,r)$ is NP-hard. It is known that for every $d$-regular or nearly $d$-regular graph on $n$ vertices, $m(G,r) \le O(\frac{nr}{d})$. We consider such graphs that additionally have expansion properties, parameterized by the spectral gap and/or the girth of the graphs. The general flavor of our results is that sufficiently strong expansion (e.g., $λ(G)=O(\sqrt{d})$, or girth $Ω(\log \log d)$) implies that $m(G,2) \le O(\frac{n}{d^2})$ (and more generally, $m(G,r) \le O(\frac{n}{d^{r/(r-1)}})$). Significantly weaker expansion properties suffice in order to imply that $m(G,2)\le O(\frac{n \log d}{d^2})$. For example, we show this for graphs of girth at least~7, and for graphs with $λ(G)<(1-ε)d$, provided the graph has no 4-cycles. Nearly $d$-regular expander graphs can be obtained by considering the binomial random graph $G(n,p)$ with $p \simeq \frac{d}{n}$ and $d > \log n$. For such graphs we prove that $Ω(\frac{n}{d^2 \log d}) \le m(G,2) \le O(\frac{n\log\log d}{d^2\log d})$ almost surely. Our results are algorithmic, entailing simple and efficient algorithms for selecting contagious sets.

We study the asymptotic distribution of the number of matchings of size $\ell=\ell(n)$ in $G(n,p)$ for a wide range of $p=p(n)\in (0,1)$ and for every $1\le \ell\le \lfloor n/2\rfloor$. We prove that this distribution changes from normal to log-normal as $\ell$ increases, and we determine the critical value of $\ell$, as a function of $n$ and $p$, at which the transition of the limiting distribution occurs.

This paper studies a class of probabilistic models on graphs, where edge variables depend on incident node variables through a fixed probability kernel. The class includes planted con- straint satisfaction problems (CSPs), as well as more general structures motivated by coding and community clustering problems. It is shown that under mild assumptions on the kernel and for sparse random graphs, the conditional entropy of the node variables given the edge variables concentrates around a deterministic threshold. This implies in particular the concentration of the number of solutions in a broad class of planted CSPs, the existence of a threshold function for the disassortative stochastic block model, and the proof of a conjecture on parity check codes. It also establishes new connections among coding, clustering and satisfiability.

We study the graph structure of large random dissections of polygons sampled according to Boltzmann weights, which encompasses the case of uniform dissections or uniform $p$-angulations. As their number of vertices $n$ goes to infinity, we show that these random graphs, rescaled by $n^{-1/2}$, converge in the Gromov--Hausdorff sense towards a multiple of Aldous' Brownian tree when the weights decrease sufficiently fast. The scaling constant depends on the Boltzmann weights in a rather amusing and intriguing way, and is computed by making use of a Markov chain which compares the length of geodesics in dissections with the length of geodesics in their dual trees.

We study the number of $k$-element sets $A \subset \{1,\ldots,N\}$ with $|A + A| \leq K|A|$ for some (fixed) $K > 0$. Improving results of the first author and of Alon, Balogh, Samotij and the second author, we determine this number up to a factor of $2^{o(k)} N^{o(1)}$ for most $N$ and $k$. As a consequence of this and a further new result concerning the number of sets $A \subset \mathbf{Z}/N\mathbf{Z}$ with $|A +A| \leq c |A|^2$, we deduce that the random Cayley graph on $\mathbf{Z}/N\mathbf{Z}$ with edge density~$\frac{1}{2}$ has no clique or independent set of size greater than $\big( 2 + o(1) \big) \log_2 N$, asymptotically the same as for the Erdős-Rényi random graph. This improves a result of the first author from 2003 in which a bound of $160 \log_2 N$ was obtained. As a second application, we show that if the elements of $A \subset \mathbf{N}$ are chosen at random, each with probability $1/2$, then the probability that $A+A$ misses exactly $k$ elements of $\mathbf{N}$ is equal to $\big( 2 + o(1) \big)^{-k/2}$ as $k \to \infty$.

The KŁR conjecture of Kohayakawa, Łuczak, and Rödl is a statement that allows one to prove that asymptotically almost surely all subgraphs of the random graph G_{n,p}, for sufficiently large p : = p(n), satisfy an embedding lemma which complements the sparse regularity lemma of Kohayakawa and Rödl. We prove a variant of this conjecture which is sufficient for most known applications to random graphs. In particular, our result implies a number of recent probabilistic versions, due to Conlon, Gowers, and Schacht, of classical extremal combinatorial theorems. We also discuss several further applications.

The Blow-up Lemma established by Komlós, Sárközy, and Szemerédi in 1997 is an important tool for the embedding of spanning subgraphs of bounded maximum degree. Here we prove several generalisations of this result concerning the embedding of a-arrangeable graphs, where a graph is called a-arrangeable if its vertices can be ordered in such a way that the neighbours to the right of any vertex v have at most a neighbours to the left of v in total. Examples of arrangeable graphs include planar graphs and, more generally, graphs without a K_s-subdivision for constant s. Our main result shows that a-arrangeable graphs with maximum degree at most sqrt(n)/log(n) can be embedded into corresponding systems of super-regular pairs. This is optimal up to the logarithmic factor. We also present two applications. We prove that any large enough graph G with minimum degree at least ((r-1)/r+γ)n contains an F-factor of every a-arrangeable r-chromatic graph F with at most ξn vertices and maximum degree at most sqrt(n)/log(n), as long as ξ is sufficiently small compared to γ/(ar). This extends a result of Alon and Yuster [J. Combin. Theory Ser. B 66(2),269-282, 1996]. Moreover, we show that for constant p the random graph G(n,p) is universal for the class of a-arrangeable n-vertex graphs H of maximum degree at most ξn/log(n), as long as ξ is sufficiently small compared to p/a.

In this short note, we prove the conjecture of Benjamini, Shinkar, and Tsur on the acquaintance time $AC(G)$ of a random graph $G \in G(n,p)$. It is shown that asymptotically almost surely $AC(G) = O(\log n / p)$ for $G \in G(n,p)$, provided that $pn > (1+ε) \log n$ for some $ε> 0$ (slightly above the threshold for connectivity). Moreover, we show a matching lower bound for dense random graphs, which also implies that asymptotically almost surely $K_n$ cannot be covered with $o(\log n / p)$ copies of a random graph $G \in G(n,p)$, provided that $pn > n^{1/2+ε}$ and $p < 1-ε$ for some $ε>0$. We conclude the paper with a small improvement on the general upper bound showing that for any $n$-vertex graph $G$, we have $AC(G) = O(n^2/\log n)$.

We consider $k$-cop-win graphs in the binomial random graph $G(n,1/2).$ It is known that almost all cop-win graphs contain a universal vertex. We generalize this result and prove that for every $k \in N$, almost all $k$-cop-win graphs contain a dominating set of cardinality $k$. From this it follows that the asymptotic number of labelled $k$-cop-win graphs of order $n$ is equal to $(1+o(1)) (1-2^{-k})^{-k} {n \choose k} 2^{n^2/2 - (1/2-\log_2(1-2^{-k})) n}$.

We study a two-person game played on graphs based on the widely studied chip-firing game. Players Max and Min alternately place chips on the vertices of a graph. When a vertex accumulates as many chips as its degree, it fires, sending one chip to each neighbour; this may in turn cause other vertices to fire. The game ends when vertices continue firing forever. Min seeks to minimize the number of chips played during the game, while Max seeks to maximize it. When both players play optimally, the length of the game is the {\em toppling number} of a graph $G$, and is denoted by $\tg(G)$. By considering strategies for both players and investigating the evolution of the game with differential equations, we provide asymptotic bounds on the toppling number of the complete graph. In particular, we prove that for sufficiently large $n$ $$0.596400 n^2 < \tg(K_n) < 0.637152 n^2.$$ Using a fractional version of the game, we couple the toppling numbers of complete graphs and the binomial random graph $G(n,p)$. It is shown that for $pn \ge n^{2/\sqrt{\log n}}$ asymptotically almost surely $t(G(n,p))=(1+o(1))p\tg(K_n)$.