arXiv++ Combinatorics

Let $H$ be an edge colored hypergraph. We say that $H$ contains a \emph{rainbow} copy of a hypergraph $S$ if it contains an isomorphic copy of $S$ with all edges of distinct colors. We consider the following setting. A randomly edge colored random hypergraph $H\sim \mathcal H_c^k(n,p)$ is obtained by adding each $k$-subset of $[n]$ with probability $p$, and assigning it a color from $[c]$ uniformly, independently at random. As a first result we show that a typical $H\sim \mathcal H^2_c(n,p)$ (that is, a random edge colored graph) contains a rainbow Hamilton cycle, provided that $c=(1+o(1))n$ and $p=\frac{\log n+\log\log n+ω(1)}{n}$. This is asymptotically best possible with respect to both parameters, and improves a result of Frieze and Loh. Secondly, based on an ingenious coupling idea of McDiarmid, we provide a general tool for tackling problems related to finding "nicely edge colored" structures in random graphs/hypergraphs. We illustrate the generality of this statement by presenting two interesting applications. In one application we show that a typical $H\sim \mathcal H^k_c(n,p)$ contains a rainbow copy of a hypergraph $S$, provided that $c=(1+o(1))|E(S)|$ and $p$ is (up to a multiplicative constant) a threshold function for the property of containment of a copy of $S$. In the second application we show that a typical $G\sim \mathcal H_{c}^2(n,p)$ contains $(1-o(1))np/2$ edge disjoint Hamilton cycles, each of which is rainbow, provided that $c=ω(n)$ and $p=ω(\log n/n)$.

A Hamilton cycle in a digraph is a cycle that passes through all the vertices, where all the arcs are oriented in the same direction. The problem of finding Hamilton cycles in directed graphs is well studied and is known to be hard. One of the main reasons for this, is that there is no general tool for finding Hamilton cycles in directed graphs comparable to the so called Pos?a `rotation-extension' technique for the undirected analogue. Let ${\mathcal D}(n,p)$ denote the random digraph on vertex set $[n]$, obtained by adding each directed edge independently with probability $p$. Here, we present a general and a very simple method, using known results, to attack problems of packing and counting Hamilton cycles in random directed graphs, for every edge-probability $p>\log^C(n)/n$. Our results are asymptotically optimal with respect to all parameters and apply equally well to the undirected case.

Moser asked for a construction of explicit tournaments on $n$ vertices having at least $(\frac{n}{3e})^n$ Hamilton cycles. We show that he could have asked for rather more.

We introduce a new setting of algorithmic problems in random graphs, studying the minimum number of queries one needs to ask about the adjacency between pairs of vertices of ${\mathcal G}(n,p)$ in order to typically find a subgraph possessing a given target property. We show that if $p\geq \frac{\ln n+\ln\ln n+ω(1)}{n}$, then one can find a Hamilton cycle with high probability after exposing $(1+o(1))n$ edges. Our result is tight in both $p$ and the number of exposed edges.

In 1962, Erdős gave a sufficient condition for Hamilton cycles in terms of the vertex number, edge number, and minimum degree of graphs which generalized Ore's theorem. One year later, Moon and Moser gave an analogous result for Hamilton cycles in balanced bipartite graphs. In this paper we present the spectral analogues of Erdős' theorem and Moon-Moser's theorem, respectively. Let $\mathcal{G}_n^k$ be the class of non-Hamiltonian graphs of order $n$ and minimum degree at least $k$. We determine the maximum (signless Laplacian) spectral radius of graphs in $\mathcal{G}_n^k$ (for large enough $n$), and the minimum (signless Laplacian) spectral radius of the complements of graphs in $\mathcal{G}_n^k$. All extremal graphs with the maximum (signless Laplacian) spectral radius and with the minimum (signless Laplacian) spectral radius of the complements are determined, respectively. We also solve similar problems for balanced bipartite graphs and the quasi-complements.

In this paper the problem of finding various spanning structures in random hypergraphs is studied. We notice that a general result of Riordan [Spanning subgraphs of random graphs, Combinatorics, Probability & Computing 9 (2000), no. 2, 125-148] can be adapted from random graphs to random $r$-uniform hypergaphs and provide sufficient conditions when a random $r$-uniform hypergraph $\mathcal{H}^{(r)}(n,p)$ contains a given spanning structure a.a.s. We also discuss several spanning structures such as cube-hypergraphs, lattices, spheres and Hamilton cycles in hypergraphs. Moreover, we study universality, i.e. when does an $r$-uniform hypergraph contain any hypergraph on $n$ vertices and with maximum vertex degree bounded by $Δ$? For $\mathcal{H}^{(r)}(n,p)$ it is shown that this holds for $p= ω\left((\ln n/n)^{1/Δ}\right)$ a.a.s. by combining approaches taken by Dellamonica, Kohayakawa, Rödl and Ruciński [An improved upper bound on the density of universal random graphs, Random Structures Algorithms 46 (2015), no. 2, 274-299] and of Ferber, Nenadov and Peter [Universality of random graphs and rainbow embedding, Random Structures Algorithms, to appear]. Furthermore it is shown that the random graph $G(n,p)$ for appropriate $p$ and explicit constructions of universal graphs due to Alon, Capalbo, Kohayakawa, Rödl, Ruciński and Szemerédi and Alon and Capalbo yield constructions of universal hypergraphs that are sparser than the random hypergraph $\mathcal{H}^{(r)}(n,p)$ with $p= ω\left((\ln n/n)^{1/Δ}\right)$.

For integers $k\geq 1$ and $n\geq 2k+1$ the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of $[n]:=\{1,2,\ldots,n\}$ and an edge between any two vertices (=sets) that are disjoint. The bipartite Kneser graph $H(n,k)$ has as vertices all $k$-element and $(n-k)$-element subsets of $[n]$ and an edge between any two vertices where one is a subset of the other. It has long been conjectured that all Kneser graphs and bipartite Kneser graphs except the Petersen graph $K(5,2)$ have a Hamilton cycle. The main contribution of this paper is proving this conjecture for bipartite Kneser graphs $H(n,k)$. We also establish the existence of cycles that visit almost all vertices in Kneser graphs $K(n,k)$ when $n=2k+o(k)$, generalizing and improving upon previous results on this problem.

We show that, for a natural notion of quasirandomness in $k$-uniform hypergraphs, any quasirandom $k$-uniform hypergraph on $n$ vertices with constant edge density and minimum vertex degree $Ω(n^{k-1})$ contains a loose Hamilton cycle. We also give a construction to show that a $k$-uniform hypergraph satisfying these conditions need not contain a Hamilton $\ell$-cycle if $k-\ell$ divides $k$. The remaining values of $\ell$ form an interesting open question.

Random intersection graphs have received much interest and been used in diverse applications. They are naturally induced in modeling secure sensor networks under random key predistribution schemes, as well as in modeling the topologies of social networks including common-interest networks, collaboration networks, and actor networks. Simply put, a random intersection graph is constructed by assigning each node a set of items in some random manner and then putting an edge between any two nodes that share a certain number of items. Broadly speaking, our work is about analyzing random intersection graphs, and models generated by composing it with other random graph models including random geometric graphs and Erdős-Rényi graphs. These compositional models are introduced to capture the characteristics of various complex natural or man-made networks more accurately than the existing models in the literature. For random intersection graphs and their compositions with other random graphs, we study properties such as ($k$-)connectivity, ($k$-)robustness, and containment of perfect matchings and Hamilton cycles. Our results are typically given in the form of asymptotically exact probabilities or zero-one laws specifying critical scalings, and provide key insights into the design and analysis of various real-world networks.

We show how to adjust a very nice coupling argument due to McDiarmid in order to prove/reprove in a novel way results concerning Hamilton cycles in various models of random graph and hypergraphs. In particular, we firstly show that for $k\geq 3$, if $pn^{k-1}/\log n$ tends to infinity, then a random $k$-uniform hypergraph on $n$ vertices, with edge probability $p$, with high probability (w.h.p.) contains a loose Hamilton cycle, provided that $(k-1)|n$. This generalizes results of Frieze, Dudek and Frieze, and reproves a result of Dudek, Frieze, Loh and Speiss. Secondly, we show that there exists $K>0$ such for every $p\geq (K\log n)/n$ the following holds: Let $G_{n,p}$ be a random graph on $n$ vertices with edge probability $p$, and suppose that its edges are being colored with $n$ colors uniformly at random. Then, w.h.p\ the resulting graph contains a Hamilton cycle with for which all the colors appear (a rainbow Hamilton cycle). Lastly, we show that for $p=(1+o(1))(\log n)/n$, if we randomly color the edge set of a random directed graph $D_{n,p}$ with $(1+o(1))n$ colors, then w.h.p.\ one can find a rainbow Hamilton cycle where all the edges are directed in the same way.

Random $s$-intersection graphs have recently received considerable attention in a wide range of application areas. In such a graph, each vertex is equipped with a set of items in some random manner, and any two vertices establish an undirected edge in between if and only if they have at least $s$ common items. In particular, in a uniform random $s$-intersection graph, each vertex independently selects a fixed number of items uniformly at random from a common item pool, while in a binomial random $s$-intersection graph, each item in some item pool is independently attached to each vertex with the same probability. For binomial/uniform random $s$-intersection graphs, we establish threshold functions for perfect matching containment, Hamilton cycle containment, and $k$-robustness, where $k$-robustness is in the sense of Zhang and Sundaram [IEEE Conf. on Decision & Control '12]. We show that these threshold functions resemble those of classical Erdős-Rényi graphs, where each pair of vertices has an undirected edge independently with the same probability.

Uniform random intersection graphs have received much interest and been used in diverse applications. A uniform random intersection graph with $n$ nodes is constructed as follows: each node selects a set of $K_n$ different items uniformly at random from the same pool of $P_n$ distinct items, and two nodes establish an undirected edge in between if and only if they share at least one item. For such graph denoted by $G(n, K_n, P_n)$, we present the following results in this paper. First, we provide an exact analysis on the probabilities of $G(n, K_n, P_n)$ having a perfect matching and having a Hamilton cycle respectively, under $P_n = ω\big(n (\ln n)^5\big)$ (all asymptotic notation are understood with $n \to \infty$). The analysis reveals that just like ($k$-)connectivity shown in prior work, for both properties of perfect matching containment and Hamilton cycle containment, $G(n, K_n, P_n)$ also exhibits phase transitions: for each property above, as $K_n$ increases, the limit of the probability that $G(n, K_n, P_n)$ has the property increases from $0$ to $1$. Second, we compute the phase transition widths of $G(n, K_n, P_n)$ for $k$-connectivity (KC), perfect matching containment (PMC), and Hamilton cycle containment (HCC), respectively. For a graph property $R$ and a positive constant $a < \frac{1}{2}$, with the phase transition width $d_n(R, a)$ defined as the difference between the minimal $K_n$ ensuring $G(n, K_n, P_n)$ having property $R$ with probability at least $1-a$ or $a$, we show for any positive constants $a<\frac{1}{2}$ and $k$: (i) If $P_n=Ω(n)$ and $P_n=o(n\ln n)$, then $d_n(KC, a)$ is either $0$ or $1$ for each $n$ sufficiently large. (ii) If $P_n=Θ(n\ln n)$, then $d_n(KC, a)=Θ(1)$. (iii) If $P_n=ω(n\ln n)$, then $d_n(KC, a)=ω(1)$. (iv) If $P_n=ω\big(n (\ln n)^5\big)$, $d_n(PMC, a)$ and $d_n(HCC, a)$ are both $ω(1)$.

In a $(1:b)$ Maker-Breaker game, a primary question is to find the maximal value of $b$ that allows Maker to win the game (that is, the critical bias $b^*$). Erdős conjectured that the critical bias for many Maker-Breaker games played on the edge set of $K_n$ is the same as if both players claim edges randomly. Indeed, in many Maker-Breaker games, "Erdős Paradigm" turned out to be true. Therefore, the next natural question to ask is the (typical) value of the critical bias for Maker-Breaker games where only one player claims edges randomly. A random-player Maker-Breaker game is a two-player game, played the same as an ordinary (biased) Maker-Breaker game, except that one player plays according to his best strategy and claims one element in each round, while the other plays randomly and claims $b$ elements. In fact, for every (ordinary) Maker-Breaker game, there are two different random-player versions; the $(1:b)$ random-Breaker game and the $(m:1)$ random-Maker game. We analyze the random-player version of several classical Maker-Breaker games such as the Hamilton cycle game, the perfect-matching game and the $k$-vertex-connectivity game (played on the edge sets of $K_n$). For each of these games we find or estimate the asymptotic values of $b$ that allow each player to typically win the game. In fact, we provide the "smart" player with an explicit winning strategy for the corresponding value of $b$.

We give several results showing that different discrete structures typically gain certain spanning substructures (in particular, Hamilton cycles) after a modest random perturbation. First, we prove that adding linearly many random edges to a dense k-uniform hypergraph ensures the (asymptotically almost sure) existence of a perfect matching or a loose Hamilton cycle. The proof involves an interesting application of Szemerédi's Regularity Lemma, which might be independently useful. We next prove that digraphs with certain strong expansion properties are pancyclic, and use this to show that adding a linear number of random edges typically makes a dense digraph pancyclic. Finally, we prove that perturbing a certain (minimum-degree-dependent) number of random edges in a tournament typically ensures the existence of multiple edge-disjoint Hamilton cycles. All our results are tight.

A famous conjecture of Pósa from 1962 asserts that every graph on $n$ vertices and with minimum degree at least $2n/3$ contains the square of a Hamilton cycle. The conjecture was proven for large graphs in 1996 by Komlós, Sárközy and Szemerédi. In this paper we prove a degree sequence version of Pósa's conjecture: Given any $η>0$, every graph $G$ of sufficiently large order $n$ contains the square of a Hamilton cycle if its degree sequence $d_1\leq \dots \leq d_n$ satisfies $d_i \geq (1/3+η)n+i$ for all $i \leq n/3$. The degree sequence condition here is asymptotically best possible. Our approach uses a hybrid of the Regularity-Blow-up method and the Connecting-Absorbing method.

We consider a game played on an initially empty graph where two players alternate drawing an edge between vertices subject to the condition that no degree can exceed $k$. We show that for $k=3$, either player can avoid a Hamilton cycle, and for $k\geq4$, either player can force the resulting graph to be Hamiltonian.

A {\it weak (Berge) cycle} is an alternating sequence of vertices and (hyper)edges $C=(v_0, e_1, v_1, ..., v_{\ell-1}, e_\ell, v_{\ell}=v_0)$ such that the vertices $v_0, ..., v_{\ell-1}$ are distinct with $v_k, v_{k+1} \in e_{k}$ for each $k$, but the edges $e_1, ..., e_\ell$ are not necessarily distinct. We prove that the main barrier to the random $d$-uniform hypergraph $H_d(n,p),$ where each of the potential edges of cardinality $d$ is present with probability $p$, developing a weak Hamilton cycle is the presence of isolated vertices. In particular, for $d \geq 3$ fixed and $p=(d-1)! \frac{\ln n + c}{n^{d-1}}$, the probability that $H_d(n, p)$ has a weak Hamilton cycle tends to $e^{-e^{-c}}$, which is also the limiting probability that $H_d(n,p)$ has no isolated vertices. As a consequence, the probability that the random hypergraph $H_d(n, m=\frac{n(\ln n + c)}{d}),$ where $m$ potential edges are chosen uniformly at random to be present, is weak Hamiltonian also tends to $e^{-e^{-c}}$.

In his seminal paper from 1952 Dirac showed that the complete graph on $n\geq 3$ vertices remains Hamiltonian even if we allow an adversary to remove $\lfloor n/2\rfloor$ edges touching each vertex. In 1960 Ghouila-Houri obtained an analogue statement for digraphs by showing that every directed graph on $n\geq 3$ vertices with minimum in- and out-degree at least $n/2$ contains a directed Hamilton cycle. Both statements quantify the robustness of complete graphs (digraphs) with respect to the property of containing a Hamilton cycle. A natural way to generalize such results to arbitrary graphs (digraphs) is using the notion of \emph{local resilience}. The local resilience of a graph (digraph) $G$ with respect to a property $\mathcal{P}$ is the maximum number $r$ such that $G$ has the property $\mathcal{P}$ even if we allow an adversary to remove an $r$-fraction of (in- and out-going) edges touching each vertex. The theorems of Dirac and Ghouila-Houri state that the local resilience of the complete graph and digraph with respect to Hamiltonicity is $1/2$. Recently, this statements have been generalized to random settings. Lee and Sudakov (2012) proved that the local resilience of a random graph with edge probability $p=ω(\log n /n)$ with respect to Hamiltonicity is $1/2\pm o(1)$. For random directed graphs, Hefetz, Steger and Sudakov (2014+) proved an analogue statement, but only for edge probability $p=ω(\log n/\sqrt{n})$. In this paper we significantly improve their result to $p=ω(\log^8 n/ n)$, which is optimal up to the polylogarithmic factor.

Let $G$ be a graph on $n$ vertices and let $k$ be a fixed positive integer. We denote by $\mathcal G_{\text{$k$-out}}(G)$ the probability space consisting of subgraphs of $G$ where each vertex $v\in V(G)$ randomly picks $k$ neighbors from $G$, independently from all other vertices. We show that if $δ(G)=ω(\log n)$ and $k\geq 2$, then the following holds for every $p=ω(\log n/δ(G))$. Let $H$ be a random graph obtained by keeping each $e\in E(G)$ with probability $p$ independently at random and then coloring its edges independently and uniformly at random with elements from the set $[kn]$. Then, w.h.p. $H$ contains $t:=(1-o(1))δ(G)p/(2k)$ edge-disjoint graphs $H_1,...,H_t$ such that each of the $H_i$ is \emph{rainbow} (that is, all the edges are colored with distinct colors), and such that for every monotone increasing property of graphs $\mathcal P$ and for every $1\leq i\leq t$ we have $\Pr[\mathcal G_{\text{$k$-out}}(G)\models \mathcal P]\leq \Pr[H_i\models \mathcal P]+n^{-ω(1)}$. Note that since (in this case) a typical member of $\mathcal G_{\text{$k$-out}}(G)$ has average degree roughly $2k$, this result is asymptotically best possible. We present several applications of this; for example, we use this result to prove that for $p=ω(\log n/n)$ and $c=23n$, a graph $H\sim \mathcal G_{c}(K_n,p)$ w.h.p. contains $(1-o(1))np/46$ edge-disjoint rainbow Hamilton cycles. More generally, using a recent result of Frieze and Johansson, the same method allows us to prove that if $G$ has minimum degree $δ(G)\geq (1+\varepsilon)n/2$, then there exist functions $c=O(n)$ and $t=Θ(np)$ (depending on $\varepsilon$) such that the random subgraph $H\sim \mathcal G_{c}(G,p)$ w.h.p. contains $t$ edge-disjoint rainbow Hamilton cycles.

A graph is Hamiltonian if it contains a cycle passing through every vertex exactly once. A celebrated theorem of Dirac from 1952 asserts that every graph on $n\ge 3$ vertices with minimum degree at least $n/2$ is Hamiltonian. We refer to such graphs as Dirac graphs. In this paper we obtain the following strengthening of this result. Given a graph $G=(V,E)$, an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ such that for every $v\in V$, the set $F_v$ is a set of unordered pairs $F_v \subseteq \{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$. An incompatibility system is {\em $Δ$-bounded} if for every vertex $v$ and an edge $e$ incident to $v$, there are at most $Δ$ pairs in $F_v$ containing $e$. We say that a cycle $C$ in $G$ is {\em compatible} with $\mathcal{F}$ if every pair of incident edges $e,e'$ of $C$ satisfies $\{e,e'\} \notin F_v$, where $v=e\cap e'$. This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be viewed as a quantitative measure of robustness of graph properties. We prove that there is a constant $μ>0$ such that for every $μn$-bounded incompatibility system $\mathcal{F}$ over a Dirac graph $G$, there exists a Hamilton cycle compatible with $\mathcal{F}$. This settles in a very strong form, a conjecture of Häggkvist from 1988.