arXiv++ Combinatorics

We prove a generalisation of Bollobás' classical result on the asymptotics of the chromatic number of the binomial random graph to the stochastic block model. In addition, by allowing the number of blocks to grow, we determine the chromatic number in the Chung-Lu model. Our approach is based on the estimates for the weighted independence number, where weights are specifically designed to encapsulate inhomogeneities of the random graph.

The separation dimension of a hypergraph $G$ is the smallest natural number $d$ for which there is an embedding of $G$ into $\mathbb{R}^d$, such that any pair of disjoint edges is separated by some hyperplane normal to one of the axes. The perfect separation dimension further requires that any pair of disjoint edges is separated by the same amount of such (pairwise nonparallel) hyperplanes. While it is known that for any fixed $r \ge 2$, the separation dimension of any $n$-vertex $r$-graph is $O(\log n)$, the perfect separation dimension is much larger. In fact, no polynomial upper-bound for the perfect separation dimension of $r$-uniform hypergraphs is known. In our first result we essentially resolve the case $r=2$, i.e. graphs. We prove that the perfect separation dimension of $K_n$ is linear in $n$, up to a small polylogarithmic factor. In fact, we prove it is at least $n/2-1$ and at most $n(\log n)^{1+o(1)}$. Our second result proves that the perfect separation dimension of almost all graphs is also linear in $n$, up to a logarithmic factor. This follows as a special case of a more general result showing that the perfect separation dimension of the random graph $G(n,p)$ is w.h.p. $Ω(n p /\log n)$ for a wide range of values of $p$, including all constant $p$. Finally, we prove that significantly relaxing perfection to just requiring that any pair of disjoint edges of $K_n$ is separated the same number of times up to a difference of $c \log n$ for some absolute constant $c$, still requires the dimension to be $Ω(n)$. This is perhaps surprising as it is known that if we allow a difference of $7\log_2 n$, then the dimension reduces to $O(\log n)$.

Many real world graphs have edges correlated to the distance between them, but, in an inhomogeneous manner. While the Chung-Lu model and the geometric random graph models both are elegant in their simplicity, they are insufficient to capture the complexity of these networks. In this paper, we develop a generalized geometric random graph model that preserves many graph theoretic aspects of these real world networks. We test the validity of this model on a graphical representation of the Drosophila Medulla connectome.

We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled Coxeter group are virtually free. We also apply these methods to show that for a random graph $Γ$ at densities below $(1-ε)\sqrt{\frac{\log{n}}{n}}$, $\square(Γ)$ almost surely contains an isolated vertex. As a consequence, this provides infinitely many examples of right-angled Coxeter groups with no one-ended hyperbolic Morse special subgroups that are not quasi-isometric to a right-angled Artin group.

Given a `genus' function $g=g(n)$, we let $\mathcal{E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in a surface of Euler genus at most $g(n)$. Let the random graph $R_n$ be sampled uniformly from the graphs in $\mathcal{E}^g$ on vertex set $[n]=\{1,\ldots,n\}$. Observe that if $g(n)$ is 0 then $R_n$ is a random planar graph, and if $g(n)$ is sufficiently large then $R_n$ is a binomial random graph $G(n,\tfrac12)$. We investigate typical properties of $R_n$. We find that for \emph{every} genus function $g$, with high probability at most one component of $R_n$ is non-planar. In contrast, we find a transition for example for connectivity: if $g$ is non-decreasing and $g(n) = O(n/\log n)$ then $\liminf_{n \to \infty} \mathbb{P}(R_n \mbox{ is connected}) < 1$, and if $g(n) \gg n$ then with high probability $R_n$ is connected. These results also hold when we consider orientable and non-orientable surfaces separately. We also investigate random graphs sampled uniformly from the `hereditary part' or the `minor-closed' part of $\mathcal{E}^g$, and briefly consider corresponding results for unlabelled graphs.

We consider random graphs sampled uniformly from a structured class of graphs, such as the class of graphs embeddable in a given surface. We sharpen and extend earlier results on pendant appearances, concerning for example numbers of leaves; and obtain results on the asymptotic distribution of components other than the giant component, under quite general conditions.

We consider the generalized game Lights Out played on a graph and investigate the following question: for a given positive integer $n$, what is the probability that a graph chosen uniformly at random from the set of graphs with $n$ vertices yields a universally solvable game of Lights Out? When $n \leq 11$, we compute this probability exactly by determining if the game is universally solvable for each graph with $n$ vertices. We approximate this probability for each positive integer $n$ with $n \leq 100$ by applying a Monte Carlo method using 1,000,000 trials. We also perform the analogous computations for connected graphs.

Estimating the probability that the Erdős-Rényi random graph $G(n,m)$ is $H$-free, for a fixed graph $H$, is one of the fundamental problems in random graph theory. If $m$ is such that each edge of $G(n,m)$ belongs to a copy of $H'$ for every $H' \subseteq H$, in expectation, then it is known that $G(n,m)$ is $H$-free with probability $\exp(- Θ(m))$. The KLR conjecture, slightly rephrased, states that if we further condition on uniform edge distribution, the archetypal property of random graphs, the probability of being $H$-free becomes superexponentially small in the number of edges. While being interesting on its own, the conjecture has received significant attention due to its connection with the sparse regularity lemma, and the many results in random graphs that follow. It was proven by Balogh, Morris, and Samotij and, independently, by Saxton and Thomason, as one of the first applications of the hypergraph containers method. We give a new direct proof using induction.

In this paper, a simplified second-order Gaussian Poincaré inequality for normal approximation of functionals over infinitely many Rademacher random variables is derived. It is based on a new bound for the Kolmogorov distance between a general Rademacher functional and a Gaussian random variable, which is established by means of the discrete Malliavin-Stein method and is of independent interest. As an application, the number of vertices with prescribed degree and the subgraph counting statistic in the Erdös-Rényi random graph are discussed. The number of vertices of fixed degree is also studied for percolation on the Hamming hypercube. Moreover, the number of isolated faces in the Linial-Meshulam-Wallach random $κ$-complex and infinite weighted 2-runs are treated.

We introduce the random graph $\mathcal{P}(n,q)$ which results from taking the union of two paths of length $n\geq 1$, where the vertices of one of the paths have been relabelled according to a Mallows permutation with parameter $0<q(n)\leq 1$. This random graph model, the tangled path, goes through an evolution: if $q$ is close to $0$ the graph bears resemblance to a path, and as $q$ tends to $1$ it becomes an expander. In an effort to understand the evolution of $\mathcal{P}(n,q)$ we determine the treewidth and cutwidth of $\mathcal{P}(n,q)$ up to log factors for all $q$. We also show that the property of having a separator of size one has a sharp threshold. In addition, we prove bounds on the diameter, and vertex isoperimetric number for specific values of $q$.

Consider two independent Erdős-Rényi $G(N,1/2)$ graphs. We show that with probability tending to $1$ as $N\to\infty$, the largest induced isomorphic subgraph has size either $\lfloor x_N-\varepsilon_N\rfloor$ or $\lfloor x_N+\varepsilon_N \rfloor$, where $x_N=4\log_2 N -2 \log_2 \log_2 N - 2\log_2(4/e)+1$ and $\varepsilon_N = (4\log_2 N)^{-1/2}$. Using similar techniques, we also show that if $Γ_1$ and $Γ_2$ are independent $G(n,1/2)$ and $G(N,1/2)$ random graphs, then $Γ_2$ contains an isomorphic copy of $Γ_1$ as an induced subgraph with high probability if $n\le \lfloor y_N - \varepsilon_N \rfloor$ and does not contain an isomorphic copy of $Γ_1$ as an induced subgraph with high probability if $n>\lfloor y_N+\varepsilon_N \rfloor$, where $y_N=2\log_2 N+1$ and $\varepsilon_N$ is as above.

The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. We give a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ and use this characterization to give new combinatorial lower bounds on the MLT of any graph. We use the new lower bounds to give high-probability guarantees on the maximum likelihood thresholds of sparse Erd{ö}s-Rényi random graphs in terms of their average density. These examples show that the new lower bounds are within a polylog factor of tight, where, on the same graph families, all known lower bounds are trivial. Based on computational experiments made possible by our methods, we conjecture that the MLT of an Erd{ö}s-Rényi random graph is equal to its generic completion rank with high probability. Using structural results on rigid graphs in low dimension, we can prove the conjecture for graphs with MLT at most $4$ and describe the threshold probability for the MLT to switch from $3$ to $4$. We also give a geometric characterization of the MLT of a graph in terms of a new "lifting" problem for frameworks that is interesting in its own right. The lifting perspective yields a new connection between the weak MLT (where the maximum likelihood estimate exists only with positive probability) and the classical Hadwiger-Nelson problem.

Unravelling the block structure of a network is critical for studying macroscopic features and community-level dynamics. The weighted stochastic block model (WSBM), a variation of the traditional stochastic block model, is designed for weighted networks, but it is not always optimal. We introduce a novel topological method to study the block structure of weighted networks by comparing their persistence diagrams. We found persistence diagrams of networks with different block structures show distinct features, sufficient to distinguish. Moreover, the overall characteristics are preserved even with more stochastic examples or modified hyperparameters. Finally, when random graphs whose latent block structure is unknown are tested, results from persistence diagram analysis are consistent with their weighted stochastic block model. Although this topological method cannot completely replace the original WSBM method for some reasons, it is worth to be investigated further.

We show that with high probability the random graph $G_{n, 1/2}$ has an induced subgraph of linear size, all of whose degrees are congruent to $r\pmod q$ for any fixed $r$ and $q\geq 2$. More generally, the same is true for any fixed distribution of degrees modulo $q$. Finally, we show that with high probability we can partition the vertices of $G_{n, 1/2}$ into $q+1$ parts of nearly equal size, each of which induces a subgraph all of whose degrees are congruent to $r\pmod q$. Our results resolve affirmatively a conjecture of Scott, who addressed the case $q=2$.

The hat guessing number $HG(G)$ of a graph $G$ on $n$ vertices is defined in terms of the following game: $n$ players are placed on the $n$ vertices of $G$, each wearing a hat whose color is arbitrarily chosen from a set of $q$ possible colors. Each player can see the hat colors of his neighbors, but not his own hat color. All of the players are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. The hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ possible colors. In this note we construct a planar graph $G$ satisfying $HG(G)=12$, settling a problem raised in \cite{BDFGM}. We also improve the known lower bound of $(2-o(1))\log_2 n$ for the typical hat guessing number of the random graph $G=G(n,1/2)$, showing that it is at least $n^{1-o(1)}$ with probability tending to $1$ as $n$ tends to infinity. Finally, we consider the linear hat guessing number of complete multipartite graphs.

Given a family $\mathcal G$ of graphs on a common vertex set $X$, we say that $\mathcal G$ is rainbow connected if for every vertex pair $u,v \in X$, there exists a path from $u$ to $v$ that uses at most one edge from each graph in $\mathcal G$. We consider the case that $\mathcal G$ contains $s$ graphs, each sampled randomly from $G(n,p)$, with $n = |X|$ and $p = \frac{c \log n}{sn}$, where $c > 1$ is a constant. We show that when $s$ is sufficiently large, $\mathcal G$ is a.a.s. rainbow connected, and when $s$ is sufficiently small, $\mathcal G$ is a.a.s. not rainbow connected. We also calculate a threshold of $s$ for the rainbow connectivity of $\mathcal G$, and we show that this threshold is concentrated on at most three values, which are larger than the diameter of the union of $\mathcal G$ by about $\frac{\log n}{(\log \log n)^2}$. The same results also hold in a more traditional random rainbow setting, where we take a random graph $G\in G(n,p)$ with $p=\frac{c \log n}{n}$ ($c>1$) and color each edge of $G$ with a color chosen uniformly at random from the set $[s]$ of $s$ colors.

We prove that for $k+1\geq 3$ and $c>(k+1)/2$ w.h.p. the random graph on $n$ vertices, $cn$ edges and minimum degree $k+1$ contains a (near) perfect $k$-matching. As an immediate consequence we get that w.h.p. the $(k+1)$-core of $G_{n,p}$, if non empty, spans a (near) spanning $k$-regular subgraph. This improves upon a result of Chan and Molloy and completely resolves a conjecture of Bollobás, Kim and Verstraëte. In addition, we show that w.h.p. such a subgraph can be found in linear time. A substantial element of the proof is the analysis of a randomized algorithm for finding $k$-matchings in random graphs with minimum degree $k+1$.

Consider the random graph process $\{G_t\}_{t\geq 0}$. For $k\geq 3$ let $G_{t}^{(k)}$ denote the $k$-core of $G_t$ and let $τ_k$ be the minimum $t$ such that the $k$-core of $G_t$ is nonempty. It is well known that w.h.p. for $G_{τ_k}^{(k)}$ has linear size while it is believed to be Hamiltonian. Bollobás, Cooper, Fenner and Frieze further conjectured that w.h.p. $G_{t}^{(k)}$ spans $\lfloor \frac{k-1}{2} \rfloor$ edge-disjoint Hamilton cycles plus, when $k$ is even, a perfect matching for $t\geq τ_k$. We prove that w.h.p.\@ if $k$ is odd then $G_{t}^{(k)}$ spans $\frac{k-3}{2}$ edge disjoint Hamilton cycles plus an additional 2-factor whereas if $k$ is even then it spans $\frac{k-2}{2}$ edge disjoint Hamilton cycles plus an additional matching of size $n/2-o(n)$ for $t\geq τ_k$. In particular w.h.p. $G_{t}^{(k)}$ is Hamiltonian for $k\geq 4$ and $t\geq τ_k$. This improves upon results of Krivelevich, Lubetzky and Sudakov.

The clustering property of complex networks indicates the abundance of small dense subgraphs in otherwise sparse networks. For a community-affiliation network defined by a superposition of Bernoulli random graphs, which has a nonvanishing global clustering coefficient and a power-law degree distribution, we establish normal and $α$--stable approximations to the number of small cliques, cycles and more general $2$-connected subgraphs.

Consider a uniform rooted Cayley tree $T_{n}$ with $n$ vertices and let $m$ cars arrive sequentially, independently, and uniformly on its vertices. Each car tries to park on its arrival node, and if the spot is already occupied, it drives towards the root of the tree and parks as soon as possible. Lackner & Panholzer (arXiv:1504.04972) established a phase transition for this process when $ m \approx \frac{n}{2}$. In this work, we couple this model with a variant of the classical Erdös-Rényi random graph process. This enables us to describe the phase transition for the size of the components of parked cars using a modification of the multiplicative coalescent which we name the frozen multiplicative coalescent. The geometry of critical parked clusters is also studied. Those trees are very different from Bienaymé-Galton-Watson trees and should converge towards the growth-fragmentation trees canonically associated to the $3/2$-stable process that already appeared in the study of random planar maps.