Citation: Alan Frieze. A note on spanning Kr-cycles in random graphs[J]. AIMS Mathematics, 2020, 5(5): 4849-4852. doi: 10.3934/math.2020309
[1] | Yasin Ünlütürk, Talat Körpınar, Muradiye Çimdiker . On k-type pseudo null slant helices due to the Bishop frame in Minkowski 3-space E13. AIMS Mathematics, 2020, 5(1): 286-299. doi: 10.3934/math.2020019 |
[2] | Chuang Lv, Lihua You, Yufei Huang . A general result on the spectral radii of nonnegative k-uniform tensors. AIMS Mathematics, 2020, 5(3): 1799-1819. doi: 10.3934/math.2020121 |
[3] | Sara Pouyandeh, Amirhossein Morovati Moez, Ali Zeydi Abdian . The spectral determinations of connected multicone graphs Kw ▽ mCP(n). AIMS Mathematics, 2019, 4(5): 1348-1356. doi: 10.3934/math.2019.5.1348 |
[4] | T. Deepa, M. Venkatachalam, Raúl M. Falcón . On the r-dynamic coloring of the direct product of a path with either a path or a cycle. AIMS Mathematics, 2020, 5(6): 6496-6520. doi: 10.3934/math.2020419 |
[5] | Xiaoli Zhang, Shahid Khan, Saqib Hussain, Huo Tang, Zahid Shareef . New subclass of q-starlike functions associated with generalized conic domain. AIMS Mathematics, 2020, 5(5): 4830-4848. doi: 10.3934/math.2020308 |
[6] | Ahmet S. Cevik, Eylem G. Karpuz, Hamed H. Alsulami, Esra K. Cetinalp . A Gröbner-Shirshov basis over a special type of braid monoids. AIMS Mathematics, 2020, 5(5): 4357-4370. doi: 10.3934/math.2020278 |
[7] | Feng Qi, Siddra Habib, Shahid Mubeen, Muhammad Nawaz Naeem . Generalized k-fractional conformable integrals and related inequalities. AIMS Mathematics, 2019, 4(3): 343-358. doi: 10.3934/math.2019.3.343 |
[8] | İbrahim Aktaş . On some geometric properties and Hardy class of q-Bessel functions. AIMS Mathematics, 2020, 5(4): 3156-3168. doi: 10.3934/math.2020203 |
[9] | Owais Khan, Nabiullah Khan, Kottakkaran Sooppy Nisar, Mohd. Saif, Dumitru Baleanu . Fractional calculus of a product of multivariable Srivastava polynomial and multi-index Bessel function in the kernel F3. AIMS Mathematics, 2020, 5(2): 1462-1475. doi: 10.3934/math.2020100 |
[10] | G. Nandini, M. Venkatachalam, Raúl M. Falcón . On the r-dynamic coloring of subdivision-edge coronas of a path. AIMS Mathematics, 2020, 5(5): 4546-4562. doi: 10.3934/math.2020292 |
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 Kr-factor in Gn,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 subetaaphs.
We are given a graph G with n vertices and an integer r≥3 where n=(r−1)m, m integer. A Kr-cycle is a sequence H1,H2,…,Hm of copies of Kr where (ⅰ) V(Hi)∩V(Hi+1)={vi},i=1,2…,m (vm+1=v1 here) and (ⅱ) Hi and Hj are vertex disjoint for i≠j.
![]() |
We will prove the following theorem:
Theorem 1. p=n−2/rlog1/(r2)n is a threshold for Gn,p to contain a spanning Kr-cycle.
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 be given. There is a positive constant ϵ such that if p≤n−2/r+ϵ then, for some π≈p(r2), we may couple G=Gn,p and the random r-uniform hypergraph H=Hn,π;r such that w.h.p. to every edge e of H there is a corresponding copy of Kr in G with V(Kr)=e.
We will 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 Ei−1,Ei in C (in the natural ordering of the edges), we have |Ei−1∩Ei|=1.
Theorem 3. Suppose k≥3. If π=ωn1−rlogn for ω=ω(n)→∞, then
limn→∞(r−1)|nPr(Hn,π;r contains a loose Hamilton cycle)=1. |
Proof of Theorem 1
First suppose that p=ωn−2/rlog1/(r2)n. We couple Gn,p with the hypergraph Hn,π;r as promised by Theorem 2. Because p(r2)=(ωn−2/rlog1/(r2)n)(r2)=ω(r2)n1−rlogn we see from Theorem 3 that w.h.p. Hn,π;r contains a loose Hamilton cycle. When lifted back to Gn,p via Theorem 2 we get the promised Kr-cycle.
If p=ω−1n−2/rlog1/(r2)n then Lemma 1.4 of [6] implies that w.h.p. there will be vertices that are not in a copy of Kr.
This completes the proof of Theorem 1.
We first note that we can replace Kr by any strictly 1-balanced graph F and then apply Theorem 15 of [7] and obtain a spanning subetaaph 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 d1(F)=|E(F)||V(F)|−1. A graph is strictly 1-balanced if d1(F)>d1(F′) for all subetaaphs F′⊆F with at least two vertices. Theorem 15 amends Theorem 2 by having the requirement that p≤n−1/d1+ϵ and letting π=ap|E(F)| for some constant a>0. Note that |E(F)|=(r2) d1(Kr)=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−3/4+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 C4-cycle.
The proof also breaks if our adjacent copies share two or more vertices, as in the diagrams 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 first example, the expected number of copies of a spanning C4-cycle in Gn,p is given by n!p3n/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(ⅲ) of [1]. We have a similar experience with the second example, with p≈n−1/2 and π≈n−5/2.
On the other hand, a recent result of Frankston, Kahn, Narayanan and Park [3] enables us to argue that the suggested thresholds are no worse than logn from the correct values.
The author thanks Research supported in part by NSF grant DMS1661063.
The author declares no conflicts of interest in this paper.
[1] | A. Dudek and A. M. Frieze, Loose Hamilton Cycles in Random k-Uniform Hypergraphs, Electronic J. Comb., 18 (2011), 48. |
[2] | A. Dudek, A. M. Frieze, P. Loh, et al. Optimal divisibility conditions for loose Hamilton cycles in random hypergraphs, Electronic J. Comb., 19 (2012), 44. |
[3] | K. Frankston, J. Kahn, B. Narayanan, et al. Thresholds versus fractional expectation thresholds, 2019. Available from: https://arxiv.org/pdf/1910.13433.pdf. |
[4] | A. M. Frieze, Loose Hamilton Cycles in Random 3-Uniform Hypergraphs, Electronic J. Comb., 17 (2010). |
[5] | A. Heckel, Random triangles in random graphs, 2018. Available from: https://arxiv.org/pdf/1802.08472.pdf. |
[6] |
A. Johansson, J. Kahn and V. Vu, Factors in random graphs, Random Structures and Algorithms, 33 (2008), 1-28. doi: 10.1002/rsa.20224
![]() |
[7] | O. Riordan, Random cliques in random graphs, 2018. Available from: https://arxiv.org/pdf/1802.01948.pdf. |
1. | Alberto Espuny Díaz, Yury Person, Spanning -cycles in random graphs, 2023, 32, 0963-5483, 833, 10.1017/S0963548323000172 | |
2. | Tolson Bell, Alan Frieze, Trent G. Marbach, Rainbow Thresholds, 2024, 38, 0895-4801, 2361, 10.1137/21M1425736 |