arXiv++ Combinatorics

We consider the chromatic number of the random Borsuk graph. The random Borsuk graph is obtained by sampling $n$ points i.i.d. uniformly at random on the $d$-dimensional sphere $S^d$, and joining a pair of points by an edge whenever their geodesic distance is $>π-α$ where the parameter $α=α(n)$ may depend on $n$. Kahle and Martinez-Figueroa have shown that the switch from being $(d+1)$-colourable to needing $\geq d+2$ colours occurs in the regime where the average degree is of logarithmic order. We show that for each $2\leq k\leq d$, the switch from being $k$-colourable to needing $> k$ colours occurs in the regime when the average degree is constant. What is more, we show that for $k=2$ there is a sharp threshold of the form $α(n) = c \cdot n^{-1/d}$, where the constant $c$ can be expressed in terms of the critical intensity for continuum AB percolation on $\mathbb{R}^d$. For $k=3,\dots,d+1$ we show that there is a sharp threshold for "almost all $n$".

A random permutation $Π_n$ of $\{1,\dots,n\}$ follows the $\DeclareMathOperator{\Mallows}{Mallows}\Mallows(n,q)$ distribution with parameter $q>0$ if $\mathbb{P} ( Π_n = π)$ is proportional to $\DeclareMathOperator{\inv}{inv} q^{\inv(π)}$ for all $π$. Here $\DeclareMathOperator{\inv}{inv} \inv(π) := |\{ i<j : π(i)> π(j) \}|$ denotes the number of inversions of $π$. We consider properties of permutations that can be expressed by the sentences of two different logical languages. Namely, the theory of one bijection ($\mathsf{TOOB}$), which describes permutations via a single binary relation, and the theory of two orders ($\mathsf{TOTO}$), where we describe permutations by two total orders. We say that the convergence law holds with respect to one of these languages if, for every sentence $φ$ in the language, the probability $\mathbb{P} (Π_n\text{ satisfies } φ)$ converges to a limit as $n\to\infty$. If moreover that limit is in the set $\{0,1\}$ for all sentences, then the zero-one law holds. We will show that with respect to $\mathsf{TOOB}$ the $\Mallows(n,q)$ distribution satisfies the zero-one law when $0<q<1$ is fixed, and for fixed $q>1$ the convergence law fails. (In the case when $q=1$ Compton has shown the convergence law holds but not the zero-one law.) We will prove that with respect to $\mathsf{TOTO}$ the $\Mallows(n,q)$ distribution satisfies the convergence law but not the zero-one law for any fixed $q\neq 1$, and that if $q=q(n)$ satisfies $1 - 1/\log^*n < q < 1 + 1/\log^*n$ then $\Mallows(n,q)$ fails the convergence law. Here $\log^*$ denotes the discrete inverse of the tower function.

We study cycle counts in permutations of $1,\dots,n$ drawn at random according to the Mallows distribution. Under this distribution, each permutation $π\in S_n$ is selected with probability proportional to $q^{\text{inv}(π)}$, where $q>0$ is a parameter and $\text{inv}(π)$ denotes the number of inversions of $π$. For $\ell$ fixed, we study the vector $(C_1(Π_n),\dots,C_\ell(Π_n))$ where $C_i(π)$ denotes the number of cycles of length $i$ in $π$ and $Π_n$ is sampled according to the Mallows distribution. Here we show that if $0<q<1$ is fixed and $n\to\infty$ then there are positive constants $m_i$ such that each $C_i(Π_n)$ has mean $(1+o(1)) \cdot m_i\cdot n$ and the vector of cycle counts can be suitably rescaled to tend to a joint Gaussian distribution. Our results also show that when $q>1$ there is striking difference between the behaviour of the even and the odd cycles. The even cycle counts still have linear means, and when properly rescaled tend to a multivariate Gaussian distribution. For the odd cycle counts on the other hand, the limiting behaviour depends on the parity of $n$ when $q>1$. Both $(C_1(Π_{2n}),C_3(Π_{2n}),\dots)$ and $(C_1(Π_{2n+1}),C_3(Π_{2n+1}),\dots)$ have discrete limiting distributions -- they do not need to be renormalized -- but the two limiting distributions are distinct for all $q>1$. We describe these limiting distributions in terms of Gnedin and Olshanski's bi-infinite extension of the Mallows model. We also investigate these limiting distributions, and study the behaviour of the constants involved in the Gaussian limit laws. We for example show that as $q\downarrow 1$ the expected number of 1-cycles tends to $1/2$ -- which, curiously, differs from the value corresponding to $q=1$. In addition we exhibit an interesting "oscillating" behaviour in the limiting probability measures for $q>1$ and $n$ odd versus $n$ even.

We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster is asymptotically equal to $πλ/3$ as $λ\to0.$ This answers a question of Benjamini and Schramm.

We show that the Vietoris-Rips complex $\mathcal R(n,r)$ built over $n$ points sampled at random from a uniformly positive probability measure on a convex body $K\subseteq \mathbb R^d$ is a.a.s. contractible when $r \geq c \left(\frac{\ln n}{n}\right)^{1/d}$ for a certain constant that depends on $K$ and the probability measure used. This answers a question of Kahle [Discrete Comput. Geom. 45 (2011), 553-573]. We also extend the proof to show that if $K$ is a compact, smooth $d$-manifold with boundary - but not necessarily convex - then $\mathcal R(n,r)$ is a.a.s. homotopy equivalent to $K$ when $c_1 \left(\frac{\ln n}{n}\right)^{1/d} \leq r \leq c_2$ for constants $c_1=c_1(K), c_2=c_2(K)$. Our proofs expose a connection with the game of cops and robbers.

In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appearance of a nonempty $(b+2)$-core in the graph. For any integer $k$, the $k$-core of a graph is its largest subgraph of minimum degree at least $k$. Pittel, Spencer and Wormald showed in 1996 that for any $k\ge3$ there exists an explicitly defined constant $c_{k}$ such that $p=c_{k}/n$ is the threshold function for the appearance of the $k$-core in $G(n,p)$. More precisely, $G(n,c/n)$ has WHP a linear-size $k$-core when the constant $c>c_{k}$, and an empty $k$-core when $c<c_{k}$. We show that for any positive constant $b$, when playing the $(1:b)$ component game on $G(n,c/n)$, Maker can WHP build a linear-size component if $c>c_{b+2}$, while Breaker can WHP prevent Maker from building larger than polylogarithmic-size components if $c<c_{b+2}$. For Breaker's strategy, we prove a theorem which may be of independent interest. The standard algorithm for computing the $k$-core of any graph is to repeatedly delete ("peel") all vertices of degree less than $k$, as long as such vertices remain. When $G(n,c/n)$ for $c<c_{k}$, it was shown by Jiang, Mitzenmacher and Thaler that $\log_{k-1}\log n+Θ(1)$ peeling iterations are WHP necessary and sufficient to obtain the (empty) $k$-core of~$G$. Our theorem states that already after a constant number of iterations, $G$ is WHP shattered into pieces of polylogarithmic size.

Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$. Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $φ$, the limiting probability that $G_n$ satisfies $φ$ as $n\to\infty$ exists, and moreover it is an analytic function of $c$. In this paper we consider the closure $\overline{L_c}$ in $[0,1]$ of the set $L_c$ of all limiting probabilities of first order sentences in $G_n$. We show that there exists a critical value $c_0 \approx0.93$ such that $\overline{L_c}= [0,1]$ when $c \ge c_0$, whereas $\overline{L_c}$ misses at least one subinterval when $c<c_0$. We extend these results to random $d$-uniform sparse hypergraphs, where the probability of a hyperedge is given by $p=c/n^{d-1}$.

We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm.

In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $γ$ that we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $γ(k)$ which we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $γ(k)$ scales differently, as $k$ grows, for different ranges of $α$. More precisely, there exists constants $c_{α,ν}$ depending on $α$ and $ν$, such that as $k \to \infty$, $γ(k) \sim c_{α,ν} \cdot k^{2 - 4α}$ if $\frac{1}{2} < α< \frac{3}{4}$, $γ(k) \sim c_{α,ν} \cdot \log(k) \cdot k^{-1} $ if $α=\frac{3}{4}$ and $γ(k) \sim c_{α,ν} \cdot k^{-1}$ when $α> \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $γ(k)$ should always scale with $k^{-1}$ as we let $k$ grow.

In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree. Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability.

We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph property that can be expressed in the first order language of graphs. We show that there exists such a first order expressible property for which the probability that $G_n$ satisfies it does not converge as $n\to\infty$.

Stiebitz determined the chromatic number of generalised Mycielski graphs using the topological method of Lovasz, which invokes the Borsuk-Ulam theorem. Van Ngoc and Tuza used elementary combinatorial arguments to prove Stiebitz's theorem for 4-chromatic generalised Mycielski graphs, and asked if there is also an elementary combinatorial proof for higher chromatic number. We answer their question by showing that Stiebitz's theorem can be deduced from a version of Fan's combinatorial lemma. Our proof uses topological terminology, but is otherwise completely discrete and could be rewritten to avoid topology altogether. However, doing so would be somewhat artificial, because we also show that Stiebitz's theorem is equivalent to the Borsuk-Ulam theorem.

We consider a model for complex networks that was recently proposed as a model for complex networks by Krioukov et al. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution and a strictly positive clustering coefficient. The model is specified using three parameters : the number of nodes $N$, which we think of as going to infinity, and $α, ν> 0$ which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree. Earlier work of Kiwi and Mitsche has shown that when $α< 1$ (which corresponds to the exponent of the power law degree sequence being $< 3$) then the diameter of the largest component is a.a.s.~polylogarithmic in $N$. Friedrich and Krohmer have shown it is a.a.s.~$Ω(\log N)$ and they improved the exponent of the polynomial in $\log N$ in the upper bound. Here we show the maximum diameter over all components is a.a.s.~$O(\log N)$ thus giving a bound that is tight up to a multiplicative constant.

A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can be colored with at most $k+1$ colors so that intersecting Jordan regions are assigned distinct colors. This is best possible and answers a question raised by Reed and Shepherd in 1996. As a simple corollary, we also obtain a positive answer to a problem of Hliněný (1998) on the chromatic number of contact systems of strings. We also investigate the chromatic number of families of touching Jordan curves. This can be used to bound the ratio between the maximum number of vertex-disjoint directed cycles in a planar digraph, and its fractional counterpart.

We consider the component structure of a recent model of random graphs on the hyperbolic plane that was introduced by Krioukov et al. The model exhibits a power law degree sequence, small distances and clustering, features that are associated with the so-called complex networks. The model is controlled by two parameters $α$ and $ν$ where, roughly speaking, $α$ controls the exponent of the power law and $ν$ controls the average degree. Refining earlier results, we are able to show a law of large numbers for the largest component. That is, we show that the fraction of points in the largest component tends in probability to a constant $c$ that depends only on $α,ν$, while all other components are sublinear. We also study how $c$ depends on $α, ν$. To deduce our results, we introduce a local approximation of the random graph by a continuum percolation model on $\mathbb{R}^2$ that may be of independent interest.

In the confetti percolation model, or two-coloured dead leaves model, radius one disks arrive on the plane according to a space-time Poisson process. Each disk is coloured black with probability $p$ and white with probability $1-p$. In this paper we show that the critical probability for confetti percolation equals $1/2$. That is, if $p>1/2$ then a.s.~there is an unbounded curve in the plane all of whose points are black; while if $p \leq 1/2$ then a.s.~all connected components of the set of black points are bounded. This answers a question of Benjamini and Schramm. The proof builds on earlier work by Hirsch and makes use of an adaptation of a sharp thresholds result of Bourgain.

An \textit{$r$-dynamic $k$-coloring} of a graph $G$ is a proper $k$-coloring of $G$ such that every vertex in $V(G)$ has neighbors in at least $\min\{d(v),r\}$ different color classes. The \textit{$r$-dynamic chromatic number} of a graph $G$, written $χ_r(G)$, is the least $k$ such that $G$ has such a coloring. Proving a conjecture of Jahanbekam, Kim, O, and West, we show that the $m$-by-$n$ grid has no $3$-dynamic $4$-coloring when $mn\equiv2\mod 4$. This completes the determination of the $r$-dynamic chromatic number of the $m$-by-$n$ grid for all $r,m,n$.

Let $\mathcal G$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at random from all {\em connected} graphs in $\mathcal G$ on $n$ vertices, and the convergence law in MSO holds if we draw uniformly at random from all graphs in $\mathcal G$ on $n$ vertices. We also prove analogues of these results for the class of graphs embeddable on a fixed surface, provided we restrict attention to first order logic (FO). Moreover, the limiting probability that a given FO sentence is satisfied is independent of the surface $S$. We also prove that the closure of the set of limiting probabilities is always the finite union of at least two disjoint intervals, and that it is the same for FO and MSO. For the classes of forests and planar graphs we are able to determine the closure of the set of limiting probabilities precisely. For planar graphs it consists of exactly 108 intervals, each of length $\approx 5\cdot 10^{-6}$. Finally, we analyse examples of non-addable classes where the behaviour is quite different. For instance, the zero-one law does not hold for the random caterpillar on $n$ vertices, even in FO.

We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz.

In this paper, we study the acquaintance time $\AC(G)$ defined for a connected graph $G$. We focus on $\G(n,r,p)$, a random subgraph of a random geometric graph in which $n$ vertices are chosen uniformly at random and independently from $[0,1]^2$, and two vertices are adjacent with probability $p$ if the Euclidean distance between them is at most $r$. We present asymptotic results for the acquaintance time of $\G(n,r,p)$ for a wide range of $p=p(n)$ and $r=r(n)$. In particular, we show that with high probability $\AC(G) = Θ(r^{-2})$ for $G \in \G(n,r,1)$, the "ordinary" random geometric graph, provided that $πn r^2 - \ln n \to \infty$ (that is, above the connectivity threshold). For the percolated random geometric graph $G \in \G(n,r,p)$, we show that with high probability $\AC(G) = Θ(r^{-2} p^{-1} \ln n)$, provided that $p n r^2 \geq n^{1/2+\eps}$ and $p < 1-\eps$ for some $\eps>0$.