A note on spanning $K_r$-cycles in random graphs

We find a close approximation to the threshold for the existence of a collection of edge disjoint copies of $K_r$ that form a cyclic structure and span all vertices of $G_{n,p}$. We use a recent result of Riordan to give a two line proof of the main re sult.


Introduction
In a seminal paper, Johansson, Kahn and Vu [6] solved the long standing open question of determining the threshold for the existence of H-factors in random graphs and hypergraphs. For some questions, the proof for hypergraphs turns out to be somewhat simpler than that of the related question in graphs. More precisely, the proof of the existence of a perfect matching in a random r-uniform hypergraph is simpler than the proof of the existence of a K r -factor in G n,p . Recently Riordan [7] showed that one can avoid the more complicated proofs. He does this by proving a coupling between graphs and hypergraphs that enables one to infer graph factor thresholds from hypergraph matching thresholds. The aim of this short note is to show how to use this coupling to prove thresholds for some other spanning subgraphs.
We are given a graph G with n vertices and an integer r ≥ 3 where n = (r − 1)m, m integer.
Note that if X counts the number of spanning K r -cycles in G n,p then So, the theorem is tight up to a small logarithmic factor.

Proof of Theorem 1
For the proof, we need two results: the first will be Theorem 1 of Riordan [7] combined with Theorem 2 of Heckel [5].
Theorem 2. Let r ≥ 3 vertices be given. There is a positive constant ǫ such that if p ≤ n −2/r+ǫ then, for some π ≈ p ( r 2 ) , we may couple G = G n,p and the random r-uniform hypergraph H = H n,π;;r such that w.h.p. to every edge e of H there is a corresponding copy of We wil also need the following theorem from Dudek, Frieze, Loh and Speiss [2], which removed some divisibility constraints from [1], [4]. A loose Hamilton cycle C in an r-uniform hypergraph H = (V, E) of order n is a collection of edges of H such that for some cyclic ordering of V , every edge consists of r consecutive vertices, and for every pair of consecutive edges E i−1 , E i in C (in the natural ordering of the edges), we have Theorem 3. Suppose k ≥ 3. If π = ωn 1−r log n for ω = ω(n) → ∞, then lim n→∞ (r−1)|n Pr (H n,π;r contains a loose Hamilton cycle) = 1.

Proof of Theorem 1
We couple G n,p with the hypergraph H n,π;r as promised by Theorem 2. Because π r−1 = (ωn −2/r log 1/( r 2 ) n) ( r 2 ) = ω ( r 2 ) n 1−r log n we see from Theorem 3 that w.h.p. H n,π;r contains a loose Hamilton cycle. When lifted back to G n,p via Theorem 2 we get the promised K r -cycle.
This competes the proof of Theorem 1.

Discussion and open problems
We first note that we can replace K r by any strictly 1-balanced graph F and then apply Theorem 15 of [7] and obtain a spanning subgraph made up of a sequence of edge disjoint copies of F , where adjacent copies in the sequence share exactly one common vertex. More precisely, for a graph F we let for all subgraphs F ′ ⊆ F with at least two vertices. Theorem 15 amends Theorem 2 by having the requirement that p ≤ n −1/d 1 +ǫ and letting π = ap |E(F )| for some constant a > 0. Note that |E(F )| = r 2 d 1 (K r ) = r/2 and so Theorem 1 is just a special case, other than the knowledge that we can take a = 1. We call the constructions that arise F -cycles.
There is a weakness in the result. Consider the diagram below: We cannot use the above argument to show that the threshold for an n-vertex copy of the above example has a threshold at p = n −2/3+o (1) . The reason being that we have no control over the positioning of the connecting vertices i.e. we cannot prevent something like the following being part of the F -cycle: It is therefore an open question as to the threshold for the existence of a spanning C 4 -cycle. It should be p = n −2/3+o (1) .
The proof breaks if our adjacent copies share two or more vertices, as in the diagram below: One can check that the probability an edge occurs in H is not sufficient to imply the existence of a Hamilton cycle of the requisite type as in [2]. For the above example, the expected number of copies of a spanning C 4 -cycle in G n,p is given by n!p 3n/2 and so we should take p ≈ n −2/3 . But then π will be chosen as ≈ n −8/3 and this is below the threshold of ωn −2 for a Hamilton cycle of the required type, see Theorem 3(iii) of [1]. This is a pity, as F = K 4 − e in this context means that we are dealing with the square of a Hamilton cycle, and the threshold has not quite been determined for this problem, see [3].