arXiv:1402.0984v2 [math.CO] 6 Feb 2014 ijitcpe of copies disjoint yl h orsodn prxmt hehl a nyotie r obtained [ only Osthus was and threshold approximate corresponding the cycle nteae n ovdaln-tnigpolmwe oaso,Kah Johansson, when problem long-standing a solved and area the in F ewe itntvrie fdsac tmost at distance of vertices distinct between yl for cycle perneo pnigsur atc,a ela fthe of t as the well and as lattice, hypercube, square spanning spanning a a of of appearance appearance the for threshold eMdlgmEtcatc opeiaeo h University the of CAPES research. g joint Complexidade this are a supporting e authors for Estoc´astica by MaCLinC/USP, The supported Modelagem was 333/09). a de no. authors 2013/07699-0) Proj. the probral/po/D08/11629, of (2013/03447-6, supp cooperation partially FAPESP was The YK 477203/2012-4), 2010/16526-3). (Proc. 2, FAPESP by 2010/09555-7), HH (Proc. 7), FAPESP by supported partially was PA Date for threshold the established graphs spanning of [ variety Riordan big by a result general for remarkably a until time, frno rps nterno rp model graph random the In graphs. random of h aewhen case the nesod[ understood ecmaaieyes o graphs for easy comparatively be on -factors). bev htthe that Observe hnw unt te pnigsubgraphs spanning other to turn we When h perneo eti graphs certain of appearance The n uut9 2018. 9, August : EE LE,JLAB JULIA ALLEN, PETER OESO AITNCCE NPSEUDORANDOM IN CYCLES HAMILTON OF POWERS etcs i.e., vertices, Abstract. htfrall for that o yl.I atclr hsipista ( that implies this particular, In cycle. ton on with oti h qaeo aitncce n hsatinl fa triangle a thus and cycle, Hamilton a of square the contain utpeo .Ti mrvso euto rvlvc,Suda Krivelevich, of result a on improves This [ 3. of multiple o ,403–426]. 3, no. orsodn onigversions. counting corresponding in graph pseu A weak comparatively tion. following the using graphs, random ragefcosi preped-admgraphs pseudo-random sparse in factors Triangle > k n eas xedorrsl ohge oeso aitncycles Hamilton of powers higher to result our extend also We etcswt iiu erea least at degree minimum with vertices 8 | 26 X , .Hr the Here 2. ≥ | H ]. 19 , K > β saHmlo yl,frwihti usini ynwvr well very now by is question this which for cycle, Hamilton a is εp esuyteapaac fpwr fHmlo ylsi pseud in cycles Hamilton of powers of appearance the study We 20 k spanning k G +1 n , k hr san is there 0 s( is hpwro aitnccecontains cycle Hamilton a of power th 21 and so-called a , 1. , ,p ,ℓ k, p, ε, 27 k | Y hpower th nrdcinadresults and Introduction TCE,HI OTTCHER, ¨ ]. ≥ | K ugah.Eryrslswr oee bandin obtained however were results Early subgraphs. -suoadmi o l disjoint all for if )-pseudorandom k N UYPERSON YURY AND εp > ε +1 H ℓ n fcosin -factors GRAPHS uhta n( an that such 0 K H fcntn ie u uhhre o graphs for harder much but size, constant of ehave we of k H ssbrpsi oiattpci h study the in topic dominant a is subgraphs as +1 H npriua i eutdtrie the determines result his particular In . 1 -factor E ˆ . H P sotie from obtained is e ,d λ d, n, βpn ( k ,Y X, G N OHHR KOHAYAKAWA, YOSHIHARU AN, ` H in ( G tcm saohrbreakthrough another as came It . otistesur faHamil- a of square the contains ,p n, ,p, ε, -rpswith )-graphs ahrltl a nw o long a for known was little rather (1 = ) ( H ,p n, Combinatorica , o h qaeo Hamilton a of square the For . o oegnrlyo certain of generally more (or ) 28 1 Bb AEP(rc 2009/17831- (Proc. FAPESP by JB , hsqeto undotto out turned question this ) )pedrno graph 2)-pseudorandom aeu oNMCUP N´ucleo NUMEC/USP, to rateful salse odestimates good established ] ± dteNF(DMS-1102086). NSF the nd re yCP (308509/2007- CNPq by orted ε ) fSa al,adProject and Paulo, S˜ao of k p oadmesno- dorandomness hpwro Hamilton a of th-power DA rjc (415/ppp- project /DAAD | X X H λ o n Szab´o and kov || and Y ≪ trif ctor yadn l edges all adding by n establish and ⌊ | n/ eprove We . 24 d Y cnl yK¨uhn by ecently rsodfrthe for hreshold 5 ( / ⊆ k 2 (2004), n n u[ Vu and n n V 1) + − sa is ( 3 G / o- 2 ) ⌋ vertex 17 H ] POWERS OFHAMILTONCYCLES INPSEUDORANDOMGRAPHS 2
1.1. Pseudorandom graphs. Thomason [30] asked whether it is possible to single out some properties enjoyed by G(n,p) with high probability that deterministically imply a rich collection of structural results that hold for G(n,p). He thus initiated the study of pseudorandom graphs and suggested a deterministic property similar to the following notion of jumbledness. An n-vertex graph G is (p,β)-jumbled if e(A, B) p A B β A B (1) − | || | ≤ | || | for all disjoint A, B V ( G), where e(A, B) is thep number of edges in G with one endvertex in A and⊆ the other endvertex in B. The random graph G(n,p) is with high probability (p,β)-jumbled with β = O(√pn), so this definition is justified. Moreover, this pseudorandomness notion indeed implies a rich structure (see, e.g., [10, 11, 13, 30]). However, for spanning subgraphs of general jumbled graphs (with a suitable minimum degree condition) not much is known. One special class of jumbled graphs, which has been studied extensively, is the class of (n, d, λ)-graphs. Its definition relies on spectral properties. For a graph G with eigenvalues λ λ λ of the adjacency matrix of G, we call λ(G) := 1 ≥ 2 ≥···≥ n max λ2 , λn the second eigenvalue of G. An (n, d, λ)-graph is a d-regular graph on n{|vertices| | |} with λ(G) λ. The connection between (n, d, λ)-graphs and jumbled graphs is established by≤ the well-known expander mixing lemma (see, e.g., [7]), which states that if G is an (n, d, λ)-graph, then e(A, B) d A B λ(G) A B (2) − n | || | ≤ | || | for all disjoint subsets A, B V (G). Hence G is dp, λ(G) -jumbled. n One main advantage of (n,⊆ d, λ)-graphs are the powerful tools from spectral graph theory which can be used for their study. Thanks to these tools various results concerning spanning subgraphs of (n, d, λ)-graphs G have been obtained. It turns out that already an almost trivial eigenvalue gap guarantees a spanning matching: if λ d 2 and n is even, then G has a perfect matching [24]. Moreover, if λ ≤d(log− log n)2/(1000 log n log log log n) then G has a Hamilton cycle [23]. The only≤ other embedding result for spanning subgraphs of (n, d, λ)-graphs that we are aware of concerns triangle factors. Krivelevich, Sudakov and Szab´o[25] proved that an (n, d, λ)-graph G with 3 n and λ = o d3/n2 log n contains a triangle factor. It is instructive to compare| this last result with corresponding lower bound constructions. Krivelevich, Sudakov and Szab´oalso remarked that by using a blow- up of a construction of Alon [3] one can obtain for each d′ = d′(n′) with Ω (n′)2/3 = d′ n′ an (n, d, λ)-graph with n = Θ(n′), d = Θ(d′) and λ = Θ(d2/n) which is triangle-free≤ and thus contains no triangle factor. They conjectured that in fact (n, d, λ)-graphs are so symmetric that the upper bound on λ they proved for triangle factors can be improved, possibly all the way down to this lower bound. In this paper we bring the upper bound closer to the conjectured lower bound and establish more generally an embedding result for kth powers of Hamilton cycles (see Corollary 4). 1.2. Our results. The pseudorandomness notion we shall work with in this paper is weaker than that of (n, d, λ)-graphs, and in fact even weaker than jumbledness. Definition 1. Suppose ε > 0 and 0