arxiv: v3 [math.co] 21 Oct 2014

Transcription

1 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE JULIA BÖTTCHER, JAN HLADKÝ, DIANA PIGUET, AND ANUSCH TARAZ axiv: v3 math.co] 1 Oct 014 Abstact. We pove that fo any pai of constants ε > 0 and and fo n sufficiently lage, evey family of tees of odes at most n, maximum degees at most, and with at most n edges in total packs into K1+εn. This implies asymptotic vesions of the Tee Packing Conjectue of Gyáfás fom 1976 and a tee packing conjectue of Ringel fom 1963 fo tees with bounded maximum degee. A novel andom tee embedding pocess combined with the nibble method foms the coe of the poof. 1. Intoduction Gaph packing is a concept that genealises the notion of gaph embedding to finding seveal subgaphs in a host gaph instead of just one. A family of gaphs H = H 1,..., H k is said to pack into a gaph G if thee exist paiwise edge-disjoint copies of H 1,..., H k in G, whee we allow H i = H j fo i j. Many classical poblems in Gaph Theoy can be stated as packing poblems. Fo example, Mantel s Theoem can be fomulated by saying that if G is an n-vetex gaph with less than n n 4 edges, then the family K 3, G packs into K n. Among the best known packing poblems, let us fo example mention a conjectue of Bollobás, Catlin, and Eldidge 7, 10] that any two n-vetex gaphs H 1, H of maximum degee H 1 and H, espectively, and satisfying H H + 1 n + 1 pack into K n. The asymptotic solution of this conjectue was epoted by Gábo Kun aound 006. Anothe beautiful packing conjectue was posed by Gyáfás see 14] in 1976 and concens tees. This conjectue is efeed to as the Tee Packing Conjectue. Conjectue 1. Any family T 1, T,..., T n of tees, j n] of ode vt j = j, packs into K n. A elated conjectue of Ringel 1] dating back to 1963 deals with packing many copies of the same tee. Conjectue. Any n + 1 identical copies of any tee of ode n + 1 pack into K n+1. Depatment of Mathematics, London School of Economics, Houghton Steet, London, WCA AE, UK. Mathematics Institute, Czech Academy of Sciences, Žitná 5, Paha. Mathematics Institute is suppoted by RVO: The wok was done while the autho was an EPSRC Reseach Fellow at DIMAP and Mathematics Institute at the Univesity of Wawick. Euopean Cente of Excellence NTIS New Technologies fo Infomation Society Faculty of Applied Sciences, Univesity of West Bohemia, Univezitní, Plzeň, Czech Republic. The eseach leading to these esults has eceived funding fom the Euopean Union Seventh Famewok Pogamme FP7/ unde gant ageement no. PIEF-GA Institut fü Mathematik, Technische Univesität Hambug-Habug, Schwazenbegstasse 95, Gebäude E, 1073 Hambug, Gemany. The autho was suppoted in pat by DFG gant TA 319/-. addesses: j.boettche@lse.ac.uk, honzahladky@gmail.com, piguet@ntis.zcu.cz, taaz@tuhh.de. Suppot by the Institut Mittag-Leffle Djusholm, Sweden is gatefully acknowledged. 1 pack

2 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE Note that both conjectues ae best possible in the sense that they deal with pefect packings, i.e. the total numbe of edges packed equals the numbe of edges in the host gaph. Moeove, the fact that two spanning stas do not pack into the complete gaph shows that futhe equiements than this necessay condition ae needed. A slightly outdated suvey on packings of tees is by Hobbs 15]. Hee, we ecall only the most impotant esults concening the two conjectues above. A packing of many of the small tees fom Conjectue 1 was obtained by Bollobás 6], who showed that any family of tees T 1,..., T s with vt i = i and s < n/ can be packed into K n. He also obseved that the validity of a famous conjectue of Edős and Sós would imply that one can impove the bound to s < 1 3n. The Edős-Sós Conjectue states that any gaph of aveage degee geate than k 1 contains any tee of ode at most k + 1 as a subgaph. The solution of this conjectue fo lage tees was announced by Ajtai, Komlós, Simonovits, and Szemeédi in the ealy 1990s. In a simila diection, Yuste 5] poved that any sequence of tees T 1,..., T s, s < 5/8n can be packed into K n 1,n/. This impoves upon a esult of Cao and Roditty 8] and is elated to a conjectue of Hobbs, Bougeois and Kasiaj 16] see Conjectue 44 in Section 9. Moeove, a esult of Cao and Yuste 9] implies that one can pack pefectly a family of tees into a complete gaph K n, povided that the tees ae vey small compaed to n. Packing the lage tees of Conjectue 1 is a much moe challenging task. Balogh and Palme 3] poved that any family of tees T n, T n 1,..., T n 1, vt 10 n1/4 i = i packs into K n+1. Supisingly few esults ae known fo special classes of tee families. It was poved aleady in 14] that Conjectue 1 holds when all the tees ae stas and paths. Dobson 1] and Hobbs, Bougeois, and Kasiaj 16] conside packings of tees with small diamete. Moeove, Fishbun 13] poved that it is at least possible to adequately match up the degees of the tees T 1,..., T n appeaing in Conjectue 1: If we add n i isolated vetices to the tee T i and let d i,1,..., d i,n denote the degee sequence of the esulting foest, then thee ae pemutations π 1,..., π n such that i d i,π i j = n 1 fo all j n]. pefect packings Ou main esult, Theoem 3, deals with almost pefect packings of bounded-degee tees into a complete gaph. It implies an asymptotic solution of Conjectue 1 and Conjectue fo tees of bounded maximum degee. Theoem 3. Fo any ε > 0 and any N thee is an n 0 N such that fo any n n 0 the following holds. Any family of tees T = T i i k] such that T i has maximum degee at most and ode at most n fo each i k], and i k] et i n packs into K1+εn. We emphasise that, unlike Conjectues 1 and, this theoem only equies the tees to satisfy the obvious uppe bound on the total numbe of edges.. Outline of the poof A vey natual appoach to pack the tees T 1,..., T k into K 1+εn is to use a andom embedding pocess: Stat with G = K 1+εn. Successively build a packing of the tees, edge by edge, stating with an abitay edge in an abitay tee and then following the stuctue of the tees it is not impotant which ode exactly we choose, but one example would be to use a beadth-fist seach ode; it also should not matte hee whethe we embed tee by tee,

3 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 3 o fist embed a few edges of one tee, then a few edges of anothe tee, and so on, and then etun to the fist tee. In one step of this pocedue, when we want to embed an edge xy of some tee T i, with x aleady embedded to hx, choose a andom neighbou v V G of hx which is not contained in the set U i V G of T i -images so fa, and embed y to hy = v. Afte embedding xy, emove the edge uv fom G and add v to U i. Clealy, this pocess poduces a pope packing unless we get stuck, that is, unless the set N G hx \ Ui gets empty. But if, duing the evolution, the host gaph G always emains sufficiently quasiandom, then with high pobability N G hx \ Ui should not get empty because ek 1+εn i k] et i εn implies that G has positive density thoughout. We believe that the host gaph does indeed emain quasiandom in this pocess. Unfotunately, howeve, gaph pocesses like this ae extemely difficult to analyse because of thei dynamically evolving envionment in each step. A pominent example illustating the occuent complexity is that of the andom tiangle-fee gaph pocess: it took moe than a decade afte the intoduction of this pocess until Bohman 5] gave a detailed analysis. Nonetheless, a elated andom constuction of tiangle-fee gaphs was effectively analysed aleady much ealie by Kim 18]. This constuction was easie to handle because it uses a nibble appoach. The nibble method bypasses the difficulties oiginating fom the dynamics of andom gaph pocesses by poceeding in constantly many ounds and updating the envionment only afte each ound. This method was used by Rödl ] to pove the existence of asymptotically optimal Steine systems see 1] fo an exposition. Since then it has seved as an impotant ingedient fo seveal beakthoughs in combinatoics. In the context of packing poblems the nibble method is also used in Kun s announced esult on the Bollobás Catlin Eldidge Conjectue. In ou setting the nibble method amounts to the following appoach fo embedding T 1,..., T k into G = K 1+εn : Pack the tees in ounds with big but constant. Fo this pupose, cut each tee T i into small equally sized foests F j i with j ] and use in each ound exactly one foest of each tee. In ound j, fo each i constuct a andom homomophism fom the foest F j i to G as follows. Fist, andomly embed some foest vetex x, then choose a neighbou v unifomly at andom in N G hx \ U i, whee the fobidden set U i V G ae vetices used by T i in pevious ounds. Then continue with the next vetex in F j i, following again the stuctue of T i. Afte ound j, delete all the edges fom G to which some foest edges wee mapped in this ound and add to U i all images of vetices of F j i. In othe wods, the diffeence between this appoach and the andom pocess descibed above is that the host gaph G and the sets U i ae not updated afte the embedding of each single vetex, but only at the end of each ound. Natually, this pocedue will not poduce a pope packing of the tees: Fistly, it will ceate vetex collisions, that is, two vetices of some tee T i ae mapped to the same vetex of the host gaph G. Secondly, thee will be edge collisions, that is, two edges of diffeent tees ae mapped to the same edge. Howeve, since all foests F j i ae small this will ceate only a small popotion of vetex and edge collisions in each ound, and the updates at the end of each ound guaantee that thee ae no collisions between ounds. So ou hope is that vetex and edge collisions can be coected at the end.

4 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 4 Theoem 3; poof in Section 3 Packing with a small numbe of collisions Coecting collisions Lemma 6; poof in Section 5 Lemma 7; poof in Section 6 One ound: Lemma ; poof in Section 8. The poof builds on popeties of limping homomophisms deived in Section 7. Table 1. Outline of the poof of Theoem 3. The difficulty with this constuction of andom homomophisms though is that it still leads to lots of small dependencies between embedded vetices, which we found difficult to contol. We emak that techniques ecently developed by Babe and Long 4] allow to handle these dependencies and show that afte each ound the host gaph is indeed quasiandom. Howeve, applying these techniques to ou setting and modifying them so that they also give all the additional popeties that we need such as that thee ae few collisions; see Lemma would equie substantial additional wok and pobably lead to a significantly longe poof. Ou appoach which was developed befoe the techniques of Babe and Long is diffeent. We instead use the following constuction of andom homomophisms in ound j of the nibble appoach descibed above, which we call limping homomophisms: Fo each i, call one of the colou classes of F j i the set of pimay vetices, and the othe the set of seconday vetices. Now fist map all pimay vetices andomly to vetices of V G \ U i. Then map each seconday vetex andomly into the common G U i - neighbouhood of the images of its foest neighbous unless this common neighbouhood is smalle than expected, in which case we simply skip this seconday vetex. Obseve that, if ou host gaph is quasiandom and the foest has bounded degee, then most common neighbouhoods ae big and hence few vetices will get skipped. Of couse in this andom constuction we still have dependencies. But since these occu only between vetices with distance at most in the tees, we now can contol them and pove that the host gaph is quasiandom afte each ound and that we get few collisions. It emains to coect the vetex collisions and edge collisions and take cae of skipped vetices and connections between the diffeent foests of each tee. Befoe stating the descibed embedding ounds we put aside εn/ eseve vetices of K 1+εn. Ou andom homomophisms constucted on the emaining vetices also guaantee that the collisions ae sufficiently well distibuted ove the host gaph so that a simple geedy stategy can be used to elocate vetices in collisions to the eseved vetices, thus obtaining a pope packing of T 1,..., T k. The oganisation of the poof is given in Table Poof of the main theoem Theoem 3 Theoem 3 assumes little on the odes of tees T to be packed. Howeve, as we show as a fist step of the poof of Theoem 3, thee is a simple tansfomation of an abitay such family into a family of tees whose odes ae with possibly one exception moe than n/. The definition of an n, -tee family below fomalises this. The fact that the subsequent family is a family of tees of linea odes is cucial fo ou poof.

5 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 5 Definition 4. A family of tees T is called n, -tee family, if all tees in T have ode at most n, maximum degee and the total numbe of edges is at most n. Futhe all but at most one tee fom T have ode moe than n/. Obseve that the uppe bound on the total numbe of edges and the lowe bound on the numbe of vetices imply that such a family must contain less than n tees. Indeed, it is easy to show that we can tansfom any family T satisfying the equiements of Theoem 3 into an n, -tee family see below. Ou next step will be to elax the equiements of a packing in the sense that we allow an exceptional set R of vetices not to be embedded. At the same time, we contol both the size of R as well as the numbe of neighbous of R that get embedded into the same vetex. Definition 5 Almost packing. Let F = {F i } i k] be a family of gaphs. Fo a gaph G, a family of sets {R i } i k] with R i V F i and a family of maps {h i } i k] with h i : V F i \ R i V G we say that {h i, R i } i k] is an l-almost packing of F into G if a {h i } i k] is a packing of the family {F i R i } i k] into the gaph G, b we have R i l fo each i k], and c fo each v V G, j k] { x h 1 } j v: xy EF j such that y R j l. We say that F l-almost packs into a gaph G if thee exist {R i } i k] and {h i } i k] such that {h i, R i } i k] is an l-almost packing of F into G. Using this concept, the next two lemmas state that we can always find an almost packing, and that an almost packing can always be tuned into a packing. Lemma 6 Almost packing lemma. Fo any ε > 0 and any N thee is an n 0 N such that fo any n n 0 the following holds. Any n, -tee family εn-almost packs into K 1+εn. Lemma 7 Coection lemma. Let ε > 0 be abitay, and let T be a family of tees of maximum degees at most. Suppose that T m, and that T has an ε m -almost 64 packing into K m. Then T packs into K 1+εm. Lemmas 6 and 7 ae poven in Section 5 and Section 6, espectively. Based on these two lemmas, it is now an easy task to pove ou main theoem. We emak that hee and in the est of the pape, we shall often use subscipts on constants to claify which theoem/lemma they oiginate fom: Fo example ε l7 efes to the constant ε fom Lemma 7. Poof of Theoem 3. Let ε > 0 and N be given. We define ε l6 = ε /56 and apply Lemma 6 with paametes ε l6 and to obtain n 0. Now we conside a family T of tees satisfying the equiements of the theoem. If T contains two tees F 1 and F of odes at most n/, then we can eplace them by a single tee of ode vf 1 + vf 1 that is obtained by identifying a leaf of F 1 and a leaf of F. Repeating this step, we aive at a situation whee all but at most one tee in T have ode moe than n/. This pocedue does not change the maximum degee of the tees no thei total numbe of edges. Hence we have obtained an n, -tee family T. Obseve that now it suffices to pack T into K 1+εn. Feeding the family T to Lemma 6, we obtain an ε l6 n-almost packing of T into K 1+εl6 n. Now we set m = 1 + ε 4 n 1 + ε l6n and ε l7 = ε/. Since ε l6 n = ε n 56 ε m 56 = ε l7 m 64, n, -tee family l-almost packing l-almost packs

6 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 6 the family T also has an ε l7 m -almost packing into K 64 m. As the numbe of tees in T is bounded by n m, we can apply Lemma 7 with paamete ε l7 and obtain a packing of T into K 1+εl7 m. Since 1 + ε l7 m = 1 + ε 1 + ε 4 n 1 + εn, this completes the poof. 4. Notation and peliminaies 4.1. Basic notation. Let G = V, E be a gaph and V V and E E. We use the minus symbol to denote both the emoval of vetices and edges fom a gaph, i.e., G V = V \V, E V, G E = V, E \ E. Fo vetex sets U, W V we let eu denote the numbe of edges with both endvetices in U and let eu, W = {u, w U W : uw E}. Hee, the edges eu, eu, W with both endvetices in U W ae counted twice. The common neighbouhood of vetices common v 1,..., v k in the gaph G is defined by N G v 1,..., v k = {u V : uv 1, uv,..., uv k E}. The neighbouhood 1,..., v k is then codeg G v 1,..., v k = N G v 1,..., v k. In the special case k = 1, codegee of v codegee this quantity is called the degee of v 1, deg G v 1 = codeg G v 1. We dop the subscipt when codeg G v 1,..., v k the gaph G is undestood fom the context. The density of G is defined as E / V. degee Denote by distx, y the length of a shotest path between x and y. Hee, the distance deg G v between vetices lying in diffeent components is defined to be +. Fo two sets U, W of density vetices of the same gaph we wite distu, W = min u U,w W distu, w. In paticula, we distx, y will use this notation when U and W ae edges i.e., vetex sets of size two. By a d-th powe of a gaph G = V, E we mean its distance-powe, that is, a loopless distu, W powe gaph, denoted G d, on the vetex set V whee two vetices u and v ae adjacent if and only if dist G u, v d. We efe to the case d = as squae. squae Finally, the set of components of G is denoted by CompG. CompG Geneally, we shall use lettes x, y, and z to denote vetices in tees and foests that we pack. Lettes u, v, and w will be used to denote the vetices in the host gaph into which we pack. When we wite a = b ± c, we mean that a has its value in the inteval b c, b + c]. ± Analogously, by a b ± c we mean that a has its value outside the inteval b c, b + c]. 4.. Quasiandomness. Hee, we ecall the concept of quasiandom gaphs, which goes back to Thomason 4], and Chung, Gaham, and Wilson 11]. Definition 8 Quasiandom gaph. We say that a gaph G of ode n is α-quasiandom of density d if fo evey B V G we have eb = d B ± αn edges. α- Since ea, B = ea B + ea B ea \ B eb \ A, this definition immediately implies that in a quasiandom gaph we also have contol ove the numbe of edges between two vetex sets. Obsevation 9. In an α-quasiandom gaph G on n vetices, fo each pai of sets A, B V G we have ea, B = d A B ± 4αn ± n. Ou next easy lemma assets that induced subgaphs of quasiandom gaphs inheit quasiandomness and density. Lemma 10. If G is α-quasiandom of density d and ode at most 3 n, and a set V V G has size V εn, then GV ] is a 3α/ε -quasiandom gaph of density d ± 3α/ε. Poof. Fo any B V we have B B e G B = d ± α 3 n = d ± α 3 V B ε = d ± 3 α ε V. quasiandom of density d

7 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 7 Hence GV ] is a 3α/ε -quasiandom gaph of density d ± 3α/ε. If G = V, E is a quasiandom gaph with density d, we expect that in G most sets of p vetices have a common neighbouhood of ode oughly d p V. So, we say that a set {v 1,..., v p } V is γ-bad, if γ-bad Nv 1,..., v p 1 ± γd p V. The next lemma states that most vetices of a quasiandom gaph ae contained in few bad p-sets. We use the following definitions. Fo a vetex v V, let { bad γ,p v = B } V p 1 : B {v} is γ-bad. In paticula, bad γ,1 v {0, 1}, depending on whethe degv = 1 ± γd V, o not. Set { BAD γ, G = v V : bad γ,p v > γ } V p 1 fo some p ]. Lemma 11. Fo evey γ > 0 and evey intege 1 thee is α > 0 such that if G = V, E is an α-quasiandom gaph of density d γ and ode n, then BAD γ, G γn. Poof. Let α 1/10 be small enough so that fo β = 1 α and γ1 γ defined by 10β d p = 1 γ p = 4pγ p 1 + 0pβ d p γ p 1 1 < p, we have γ min{γ/, 1/}. Testing ove two-element sets in Definition 8, we get that if n < max{, β 1 } then G is eithe complete o empty. Hence we may assume that n max{, β 1 } in the following. We pove by induction on p that v V at most γ p n vetices v of G satisfy bad γp,pv > γ p n p 1. 1 Let us fist conside the base case p = 1. Let V + be the set of vetices v with degv > 1 + γ 1 dn. We have ev +, V > V γ 1 dn. But since G is α-quasiandom we have by Obsevation 9 that ev +, V d V + n + 4αn + n d V + n + 5βn. Putting these bounds togethe, we get V + < 5βn/dγ 1. Similaly fo the set V of vetices v with degv < 1 γ 1 dn we have V < 5βn/dγ 1. Thus thee ae at most 10βn/dγ 1 = γ 1 n vetices v with bad γ1,1v = 1 > γ n 1 0. Now conside p > 1 and assume that 1 holds fo p 1 1. The numbe of γ p 1 -bad sets in V p 1 is 1 bad γp 1,p 1v 1 n n n γ p 1 n + nγ p 1 4γ p 1, p 1 p 1 p p p 1 whee we used n/ n p + 1. Fix an abitay set {v 1,..., v p 1 } in V p 1 that is not γ p 1 -bad. Hence fo W = Nv 1,..., v p 1 we have W = 1 ± γ p 1 d p 1 n. Let V + be the set of vetices v V \ {v 1,..., v p 1 } with Nv W > 1 + γ p 1 d W. We have V γ p 1 d W < ev +, W d V + W + 5βn and hence V + < 5βn /γ p 1 d W 5βn /γ p 1 d 1 dp 1 n = 10βn/d p γ p 1. Similaly, fo the set V of vetices v such that Nv W < 1 γ p 1 d W we have V < 10βn/d p γ p 1. Let v be an abitay vetex in V \ V + V {v 1,..., v p 1 }. Then Nv, v 1,..., v p 1 = 1 ± γ p 1 d W = 1 ± γ p d p n, bad γ,pv BAD γ, G

8 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 8 and theefoe {v, v 1,..., v p 1 } is not γ p -bad. Hence, by, the numbe of γ p -bad p-tuples is at most n n 4γ p 1 n + 10βn p 1 p 1 d p = γ p n γ p 1 p n. p 1 Consequently, fo at most γ p n vetices v V, we have bad γp,pv > γ n p p 1. This gives 1. The bound BAD γ, G γn follows by summing 1 ove p = 1,...,. As ou next lemma shows, this implies that we need to delete only few vetices fom a quasiandom gaph to obtain a gaph G in which BAD γ, G =. Definition 1 Supequasiandom gaph. We say that a gaph G is γ, -supequasiandom if we have BAD γ, G =. Lemma 13. Fo evey γ > 0 and evey intege 1 thee is α > 0 such that if G is an α-quasiandom gaph of density d > γ and ode m, then G contains an induced γ, - supequasiandom subgaph of ode at least 1 γm and density d ± γ. γ, -supequasiandom Poof. We can assume that γ < 1. Let α be given by Lemma 11 fo input paametes γ = γd /00 and, and set α = min{α, dγ/800 }. Now suppose that G is an α- quasiandom gaph of density d and ode m. By Lemma 11, we have BAD γ, G γ m. We claim that the induced subgaph G on the vetex set V = V \ BAD γ, G satisfies the assetion of the lemma. Indeed, V 1 γ m and since G is α-quasiandom the density d of G satisfies d = d V ± αn / V = d ± 4α = d ± γ. It emains to show that BAD γ, G =. By the definition of G, fo each v V and p all but at most γ V p 1 sets {v 1,..., v p 1 } V p 1 ae such that {v, v1,..., v p 1 } is not γ -bad in G. But such sets {v, v 1,..., v p 1 } ae not γ-bad in G eithe because N G v, v 1,..., v p 1 = N G v, v 1,..., v p 1 ± BAD γ, G = 1 ± γ d p m ± γ m = 1 ± γdp m = 1 ± γd ± 4α p 1 ± γ V = 1 ± γ + p 4α 1 d + γ d p V = 1 ± γd p V, whee we use p 4α 1 d γ/100. Hence BAD γ, G =. The next easy lemma assets that vey dense gaphs ae quasiandom. Lemma 14. Fo any α > 0 thee exist n 0 = n L14 α such that the following holds fo any n n 0. Suppose that G was obtained fom the complete gaph K n by deleting at most n edges. Then G is α-quasiandom Homomophisms. Let H and G be gaphs. A homomophism h fom H to G is an homomophism edge-peseving map fom V H to V G, i.e., fo evey xy EH we have hxhy EG. By h: H G o simply H G we denote the fact that thee is a homomophism h fom H to G. Moeove, we wite V h = {hv: v V H} V G fo the image of h, and V h Eh = {hxhy: xy EH} EG fo the image of the edges of H. Eh We say that a map h is a patial homomophism of H to G if thee exists a set Y V H such that h is a homomophism of H Y to G. The set Y is called vetices skipped by h. We define V h = {hv: v V H Y } V G, and Eh analogously. We denote the fact that h is a patial homomophism by h : H G. patial homomophism skipped V h Eh H G

9 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 9 In the language of homomophisms, a packing of a family H 1,..., H k of gaphs into G is a family of injective homomophisms h i : H i G i k] with mutually disjoint images of the edge sets. Let h i i k] be a family of homomophisms h i : H i G with i k] we assume that the gaphs H i live on diffeent vetex sets. Then the union i k] h i of h i i k] is the map h: i k] V H i G defined by hx = h i x fo all vetices x V H i and all i k] Tees. The pai F, X is a ooted foest if F is a foest and X V F contains exactly ooted foest one vetex of evey tee C CompF of F, which we call oot of C. If F is a tee with oot x oot then we also wite F, x fo F, X = F, {x} and say that F, x is a ooted tee. In a ooted ooted tee foest F, X we can speak of childen, paents, ancestos, and descendants of vetices. Fo a childen vetex y, we let F y be the maximal subtee of F with oot y. paents ancestos Cutting tees. The cental notion of this section is that of a ϱ-balanced -level patition descendants defined below. Definition 15 balanced level patition. Given a ooted tee T, x, we say that a patition P = L 1,..., L of V T is a ϱ-balanced -level patition if a L i = 1 ± ϱ/ vt fo evey i ], and b fo each i ], the paent of each non-oot vetex in L i lies in the set j i Lj. The foest T L i ] is called level i of the patition P. Fo a vetex y of T L i ] o a tee C CompT L i ] we say that y o C ae in level i of P. ϱ-balanced -level patition level The following lemma states that bounded-degee tees have balanced level patitions with a bounded numbe of components in each level. Lemma 16. Let T, x be a ooted tee with maximum degee at most and vt 4 ϱ with 0 < ϱ < 1 4 and N. Then thee is a ϱ-balanced -level patition of T, x such that evey level has at most 8 ϱ components. Poof. Let ξ = ϱ/. We fist patition T into a family C = C i i l] fo some l of ooted connected components C i of T so that vc i 1 ξvt 1, ξvt ] fo all i l 1] and vc l ξvt. 3 Clealy, such a patition can be obtained by the following simple algoithm. Stating with the oot, always poceed downwads in the tee ode, at each step choosing the child y maximising F y until F y ξvt is satisfied fo the fist time. This gives the uppe bound in 3, and since this uppe bound was not satisfied when we wee looking at the paent of y, the lowe bound in 3 must also be satisfied. In this way, we obtain the fist component C 1 = C, which we cut off fom T and then epeat in ode to obtain the emaining components. We now inductively define the sets L 1,..., L whee each set L i will be the union L i = C C i V C fo a suitable set C i of components. Suppose we have aleady chosen L 1,..., L i 1 togethe with C 1,..., C i 1. Now choose C i C\ j<i C j satisfying the following two popeties: fo evey C C i and fo evey C C \ j<i C j that is above C in the tee ode, we must have C C i, we have L i = C C i V C = 1 ± ξvt = 1 ± ϱ vt.

10 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 10 This choice of C i is clealy possible by the uppe bound given in 3. Both Conditions a and b in Definition 15 ae satisfied by constuction and it emains to bound the numbe C i of components in each level T L i ]. Fist obseve that due to the assumption vt 4 /ϱ, we know that ξvt = ϱvt Theefoe we get L i C i min j l 1] C j ξvt 1 ξvt ξvt 1 ξvt + 1 = ξ ϱ, and hence the patition V T = L 1 L satisfies all equiements of the lemma Pobabilistic tools. We wite Bep fo the Benoulli distibution with success pobability p, and we wite Binp, n fo the binomial distibution with n tials and success pobability p. We will use the following two vesions of the Chenoff bound 17,.9 and.1]. Let X Binn, p, and µ EX], δ 0, 3, t > 0. We have that P X 1 + δ µ] exp δ µ/3 and 5 P X µ + t] exp t. 6 n Moeove, fo evey δ > 1 and evey t R with t δ EX] thee exists δ > 0 such that P X t] exp δ t. 7 Obviously, these bounds also hold fo andom vaiables which ae stochastically dominated by X. Suppose that Ω = k i=1 Ω i is a poduct pobability space. A measuable function f : Ω R is said to be C-Lipschitz if fo each ω 1 Ω 1, ω Ω,..., ω i, ω i Ω i,..., ω k Ω k we have fω 1, ω,..., ω i,..., ω k fω 1, ω,..., ω i,..., ω k C. McDiamid s Inequality, 19] states that Lipschitz functions ae concentated aound thei expectation. Lemma 17 McDiamid s Inequality. Let f : Ω R be a C-Lipschitz function defined on a poduct pobability space Ω = k i=1 Ω i. Then fo each t > 0 we have P f Ef] > t ] exp t C. k We shall also need Talagand s Inequality, in a vesion as in 0, Theoem ]. 1 Fo a function f : Ω R in a pobability space Ω = k i=1 Ω i, we say that values ω i1 Ω i1,..., ω ip Ω ip cetify that f Λ if fo each choice of ω j Ω j j k]\{i1,...,i p} we have that fω 1,..., ω k Λ. C-Lipschitz cetify Lemma 18 Talagand s Inequality. Let f : Ω 0, + be a C-Lipschitz function defined on a poduct pobability space Ω = k i=1 Ω i. Suppose also that thee exists a constant c > 0 1 All the applications of McDiamid s Inequality below could actually be eplaced by Talagand s Inequality. Howeve the fome has assumptions that ae easie to check and a conclusion that is cleane.

11 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 11 such that if we have Λ > 0 and ω 1 Ω 1,..., ω k Ω k such that fω 1,..., ω k Λ then thee is a set of at most cλ values that cetify f Λ. Then fo each t > 0 we have t P f Ef] + t] exp cc. Ef] + t Next, we intoduce Suen s inequality 3], see also 1, p. 18]. Let {B i Ω} i I be a finite collection of events in an abitay pobability space Ω. A supedependency gaph fo {B i } i I is an abitay gaph on the vetex set I whose edges satisfy the following. Let I 1, I I be two abitay disjoint sets with no edge cossing fom I 1 to I. Then any Boolean combination of the events {B i } i I1 is independent of any Boolean combination of the events {B i } i I. In this setting and only in this setting we wite i j to denote that ij foms an edge. Suen s Inequality allows us to appoximate P B i ] by PB i ]. Lemma 19 Suen s Inequality. Using the above notation, and witing M = PB i ], we have ] P Bi M M exp ν i,j 1, whee i j ν i,j = PB i B j ] + PB i ]PB j ] l i o l j 1 PB l]. supedependency gaph i j 5. Almost packings via the nibble method In this section, we pove the almost packing lemma Lemma Outline of the poof of Lemma 6. Given an n, -family of tees we want to find an almost packing into K 1+εn. Ou fist step is to pepae the tees see Section 5.3: We stat by gouping all tees but the exceptional tee T 0 accoding to thei sizes into c = 50/ε many goups so that tees in each goup have almost the same numbe of vetices. The eason behind this is that one of ou goals is to get good bounds on the quasiandomness of the host gaph afte each packing ound of the nibble method, and fo obtaining these bounds we need a vey fine-gained contol ove the sizes of the foests embedded in one ound. Since ou tees can be vey diffeent in size, howeve, we goup them as descibed and show that quasiandomness is maintained fo each goup individually hence also in total. Unfotunately though, even the diffeence in tee sizes within one goup which ae at most n/c is too big fo the pecision that we need fo ou quasiandomness bounds. We esolve this issue by attaching a small path of length at most n/c = εn/100 to each tee, we can guaantee that in each goup i c] all tees T i,s with s k i ] ae actually of exactly the same size. Obseve that in total this adds at most εn /50 edges to ou tee family, hence the esulting family in total still has less edges than K 1+εn. Next, we use Lemma 16 to obtain a ϱ-balanced -level patition of each tee T i,s such that each level F j i,s with j ] foms a foest with constantly many components and all the levels ae of simila size. The esulting diffeence in foest sizes within one goup now is sufficiently small fo the pecision that we need fo ou quasiandomness bounds. Ou second step see Section 5.4 is to emove a copy of T 0 fom K 1+εn. The esulting gaph is still α 1 -quasiandom fo abitaily small α 1. Ou thid step is to almost pack the emaining tees in ounds. In ound j we embed level F j i,s of tee T i,s fo all i c] and

12 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 1 s k i ]. That this is possible is guaanteed by the nibble lemma, Lemma see Section 5.5. This lemma states that in an α j -quasiandom gaph G j we can find patial homomophisms fom ou levels F j i,s to G j such that these homomophisms poduce an almost packing of F j i,s. At the end of ound j we emove fom G j all edges used in images of any F j i,s. Lemma also guaantees that the esulting gaph G j+1 is still quasiandom albeit with wose paametes, hence we can continue with the next ound. 5.. Constants. We now stat the poof of Lemma 6. Suppose that ε > 0 and N ae given. Set c = 50 ε and let c,, β = 1000 ε 10 and β = ε / We ecusively define α, β 1, α 1,..., β 1, α 1 by setting α j = α l ε, β j, c, and β j 1 = α j, 9 using Lemma below. Note that we have that α 1 β 1 = α β = α 3 = α β. Finally, let ϱ, n 0 ϱ = min{ 1 4, α 1} and n 0 = max{ 8 ϱα 1, n l14 α 1, n 1, n,..., n }, 10 whee n i = n l ε, β i, c,, α i, Pepaing the tees. Now that we have chosen n 0 as equied by Lemma 6, conside an n, -tee family T and let T 0 T be the exceptional tee of ode at most n/ if it exists. In the following embedding pocedue T 0 will be teated sepaately. We goup the othe tees in T accoding to thei ode. Fo i c] let T i,1, T i,,..., T i,ki be the tees of T whose ode is in the inteval n εn + i 1 100, n + i 100] εn. We append to an abitay leaf of each tee T i,s a path with exactly n + i εn 100 vt i,s edges. As a esult, each modified tee T i,s has ode exactly n + i εn 100. Since T contains at most n tees, this added at most εn 50 edges to the total numbe of edges in T and thus i c],s k i ] et i,s n + εn The ode and the maximum degee of the tees ae still uppe-bounded by n and, espectively. Fo i c] we now let n i = n + i n c = n + i εn 100 = vt i,s. 1 We slice the tees into levels as follows. We pick an abitay oot x i,s fo each tee T i,s x i,s with i c], s k i ]. Fo all i c], s k i ] we apply Lemma 16 to the ooted tee T i,s, x i,s. Since vt i,s > n n ϱ and ϱ , we obtain a ϱ-balanced -level patition P i,s = L 1 i,s,..., L i,s of T i,s, x i,s such that evey P i,s = level of P i,s has at most 8 /ϱ components. Finally, we use these patitions to define ooted L 1 i,s,..., L i,s foests F j i,s, Xj i,s with i c], s k i] and j ] as follows. Let F j i,s = T i,sl j i,s ] be the level j of the patition P i,s and let F j i,s α j, β j n i n j i,s

13 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 13 n j i,s = vf j i,s = Lj Def 15 i,s = 1 ± ϱ vt i,s 1 = 1 ± ϱ n i. 13 Using the fact that ϱ 1/4 by 10, we obtain that n 4 nj i,s n. 14 Let the oot set X j j i,s be obtained by consideing Fi,s as a ooted subfoest of the ooted Xj tee T i,s, x i,s, that is, Xi,s 1 = {x i,s}, and fo j > 1, X j i,s is composed of the vetices of evey component of F j i,s that ae the closest to x i,s. Lemma 16 guaantees that fo evey i c], s k i ] and j ] we have X j i,s 8 ϱ 10 α 1 n Embedding T 0. Ou embedding pocedue now stats by embedding T 0 abitaily into K 1+εn. By Lemma 14 the esulting gaph G 1 = V, E 1 = K 1+εn T 0 is α 1 -quasiandom The nibble lemma. Fo almost packing the emaining tees we use a nibble method, that is, we poceed in ounds and embed in each ound one level of each tee. The setting of Lemma, which captues one ound of the nibble pocedue, is as follows. We have a quasiandom host gaph G = V, E and a family F i,s, X i,s s ki ], i c] of ooted foests that we want to pack into G, one sub-foest F i,s fo each tee T i,s to be packed. In addition, we ae given fo each i c], s k i ] a set U i,s V of fobidden vetices fo the embedding of F i,s. The set U i,s contains vetices of G that wee used fo the embedding of vetices of T i,s in ealie ounds. It is the quasiandomness of G that will enable us to almost pack the foests F i,s. While doing so, howeve, we need to keep in mind that thee ae futue embedding ounds to come. Theefoe we cannot embed the foest just somehow, but we have to asset that cetain invaiants ae maintained. One of these invaiants is clealy the quasiandomness of the pat of the host gaph that emains afte the embedding Popety C7. In addition we need to guaantee that the embedding of the diffeent foests F i,s is distibuted faily ove the vetices of G. To this end we equie that the sets U i,s ae well spead ove G and ou goal is to maintain this popety fo the next embedding ound Popety C8. Fo this we need a concept which measues whethe the sets U i,s ae distibuted in a sufficiently andom-like manne ove the vetex set V. Definition 0 load. Conside a gaph G = V, E with m = V and two vetices v, w V, and let W = W s s k] be a collection of subsets of V. loadv, w, W loadv, w, W = {s k] : W s {v, w} }, µw = 1 m loadv, w, W, σw = {v,w } V {v,w } V loadv, w, W µw. We say that W is α, l-homogeneous if σw αl 4, and fo each s, s k] we have α, l- W s W s αl. homogeneous i,s µw σw

14 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 14 In the poof of Lemma we will maintain these invaiants by embedding the foests F i,s andomly, that is, we constuct andom patial homomophisms h i,s : F i,s G. The mappings h i,s do not embed the vetices in X i,s, and thee will be anothe family of sets, denoted by Y i,s and called the skipped vetices, that ae left unembedded. Thus the h i,s : F i,s X i,s Y i,s G ae homomophisms. Howeve, they do not necessaily fom a pope packing of F i,s X i,s Y i,s s ki ], i c] into G, because they may fail to be injective o paiwise edgedisjoint. In ode to measue this shotcoming, we intoduce vaious types of collisions, which we descibe in the following definition. Definition 1 colliding and skipped vetices. In the setting above, suppose that h i,s : F i,s X i,s Y i,s G ae homomophisms. We say that a vetex y V F i,s is in a vetex collision o that y is colliding, if thee exists a vetex z V F i,s \ {y} such that h i,s y = h i,s z. We define VC i,s = {y V F i,s : y is colliding}. We say that an edge xy EF i,s is colliding if thee is some i, s i, s with x y EF i,s such that h i,sx, y = h i s x, y. A vetex y V F i,s is in an edge collision if thee is x V F i,s \ {y} such that xy is colliding. We define EC i,s = {y V F i,s : y is in an edge collision}. We say a vetex x i,s V F i,s is faulty if x i,s VC i,s EC i,s. Fo a vetex v V the vetices mapped to v with faulty neighbous ae FNv = { x h 1 i,s v: xy EF i,s such that y is faulty }, i,s the vetices mapped to v with skipped neighbous ae YNv = { x h 1 i,s v: xy EF } i,s such that y Y i,s, i,s and the vetices mapped to v with oot neighbous ae XNv = { x h 1 i,s v: xy EF } i,s such that y X i,s, i,s Lemma now assets that we only have a small numbe of these collisions. As we will show afte stating the lemma, this implies that we get an almost embedding. Lemma Nibble Lemma. Fo evey ε, β > 0, and c, N, thee exists 0 < α β so that fo evey intege thee exists n 0 such that fo evey n n 0 the following is tue. We assume that we ae given a family of ooted foests F = F i,s, X i,s i c],s ki ] with n/ c i=1 k i n, X i,s α n, n i,s = vf i,s = 1 ± αn i, whee, as befoe, n i = n + i n c. Moeove, we assume that G = V, E is an α-quasiandom gaph with m = V = 1 + εn and density d > ε. Fo each i c], let U i = U i,s s ki ] be an α, n-homogeneous family with U i,s < n fo all s k i ]. Fo all i c], s k i ] set V i,s = V \ U i,s. Then thee ae sets Y i,s V F i,s and homomophisms h i,s : F i,s X i,s Y i,s GV i,s ] fo all i c] and s k i ], with the following popeties. Fo each i c], each s k i ], and each v V G we have C1 Y i,s βn/, C VC i,s 0n/ε d, C3 EC i,s 300 n/ε d, skipped vetex collision colliding VC i,s edge collision EC i,s faulty FNv YNv XNv ni,s

15 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 15 C4 FNv n/ε 3 d, C5 YNv βn/, C6 XNv βn/, C7 the gaph G = V, E \ i,s Eh i,s is β-quasiandom, and C8 fo each i c], the family Ũi = Ũi,s s ki ] with Ũi,s = U i,s V h i,s is β, n- homogeneous Applying the Nibble Lemma to obtain an almost-packing. Let us fist ecall what we have achieved so fa. In Section 5.3 we obtained a family F j = F j i,s, Xj i,s of ooted foests fo j ]. We can assume that i k i n/ as othewise, we might add dummy tees to be embedded. In Section 5.4 we embedded the tee T 0, deleted its edges and ended up with an α 1 -quasiandom gaph G 1 = V, E 1. Now we set Ui 1 = Ui,s 1 s k i ] whee Ui,s 1 = fo all i c] and s k i]. We pefom embedding ounds. Fo j = 1,...,, we do the following in ound j. We apply Lemma with paametes ε, β j, c,, obtaining α j and n 0. We then feed to Lemma P1 j the family F j = F j i,s, Xj i,s i c],s k i ] of ooted foests, P j an α j -quasiandom gaph G j = V, E j with V = m = 1 + εn and d j m = Ej 3 4 εn, which implies d j ε, P3 j and fo each i c] an α j, n-homogeneous family U j i = U j i,s s k i ]. Let us now check that the conditions equied by Lemma ae met. By 15 we have X j i,s α 1 n α j n j, by 13 and the definition of ϱ we have vfi,s = 1 ± α jn i. Hence the conditions of Lemma ae satisfied. So we obtain sets Y j i,s V F j i,s and homomophisms h j i,s : F j i,s Xj i,s Y j i,s GV j j i,s ], whee Vi,s = V \ U j i,s, with vetex collisions VCj i,s, edge collisions EC j i,s, faulty neighbous FNj v, skipped neighbous YN j v, and oot neighbous XN j v fo evey v V, such that C1 C8 ae satisfied. We will next ague that we can apply Lemma again in the next ound. Fo this pupose let G j+1 = V, E j+1 = V, E j \ i,s Ehj i,s. Since β j = α j+1 by 9, Conclusion C7 implies that G j+1 is α j+1 -quasiandom. Moeove, to check the density equiement in P j+1, E j+1 eg εn i c],s k i ] j ] ef j i,s ek 1+εn et 0 n 1 εn 50 n εn. i c],s k i ] et i,s Let U j+1 i = Ũ j j+1 i. By C8 the family Ui is β j = α j+1, n-homogeneous. We conclude that conditions P j+1 and P3 j+1 ae again satisfied and hence we can apply Lemma in the next ound. Afte finishing all embedding ounds we define the set R i,s that contains all oots, skipped vetices and vetices in vetex o edge collisions in the tee T i,s, R i,s = j ] X j i,s Y j i,s VCj i,s ECj i,s.

16 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 16 Let h j i,s be the estiction of hj j i,s to V Fi,s \ R i,s and h i,s = h j j ] i,s. We will show that { h i,s, R i,s } i c],s ki ] is an εn-almost packing of T into K 1+εn T 0, which will finish the poof of Lemma 6. Indeed, by the definition of the sets V j i,s, the vetex-images of two homomophisms hj i,s and h j i,s ae disjoint, unless j = j. In othe wods, vetices of diffeent ounds cannot collide. Moeove, by the definition of G j, the edges of K 1+εn used fo the embedding in some ound do not get used again in a late ound. Hence edges of diffeent ounds can also not collide. Since h j j i,s is a homomophism fom Fi,s Xj i,s Y j j i,s to GVi,s ], the set VCj i,s ECj i,s contains all vetices in vetex and edge collisions of F j i,s, and Xj j i,s contains all oots of tees in Fi,s, we conclude that { h i,s } i c],s ki ] is a packing of the family {T i,s R i,s } i c],s ki ] into K 1+εn T 0. Hence it emains to check conditions b and c of Definition 5. Fo condition b, obseve that by 15, C1, C and C3 of Lemma we have R i,s = j ] n α 1 X j i,s + Y j i,s + VCj i,s + ECj i,s + β n + 0 n ε d n εn, β + 30 ε 3 d n ε 3 d whee we use d ε, and 8. Fo condition c, let v V K 1+εn be fixed and define RNv = i,s { y h 1 i,s v: xy ET i,s such that x R i,s }. We need to show that RNv εn. The definition of R i,s implies that RNv = j FNj v YN j v XN j v and thus we infe fom C4, C5, C6 of Lemma that 10 3 RNv ε 3 d whee again we use d ε, and 8. + β + β n 10 3 ε 10 ε ε ε 100 n εn, 6. Poof of the Coection Lemma In this section, we give a poof of Lemma 7. We conside the gaph K m as a subgaph of K 1+εm, and set W = V K 1+εm \ V K m. We ae given tees T 1,..., T k togethe with an ε m 64 -almost packing h i : T i R i K m i k] of these tees into K m. In each tee T i we choose a oot in V T i \ R i and a beadth-fist seach odeing of the vetices of T i stating at this oot. We enumeate the vetices R i = {x i,1,..., x i,li } accoding to this odeing. Ou appoach now is to poceed tee by tee, stating with T 1, and to embed the vetices of R i one by one into W in this ode, so that we obtain a packing of all tees into K 1+εm in the end. Moe pecisely, fo i = 1,..., k and t = 1,..., l i we map the vetex x i,t to a vetex h i x i,t W using a geedy algoithm, whee h i x i,t must avoid cetain fobidden sets, which we now define.

17 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 17 Fistly, x i,t should not be embedded on vetices in W which ae aleady images of othe vetices of T i, that is, vetices in X i,t = s<t { hi x i,s }. This will guaantee that h i is injective. Secondly, x i,s should not be embedded on a vetex in W whose edges to h i -images of T i -neighbous of x i,t have been used aleady by a tee T j with j < i. These fobidden vetex sets ae captued below by the sets Y i,t fo T i - neighbous of x i,t that ae not in R i and U i,t fo T i -neighbous of x i,t that ae in R i. Let A i,t = N Ti x i,t V T i \ R i be the neighbous of xi,t that have aleady been embedded by h i and set Y i,t = {w W : j < i, y A i,t : h i y = v and vw Eh j E h j }. Thidly, we do not want to embed x i,t to vetices contained in dangeously many used edges, that is, vetices in the following set Z i. Let E i,t be the set of edges in W that have aleady been used, that is E i,t = j<i E h j E h i {xi,1,...,x i,t 1 } and set Z i,t = {w W : w is contained in at least εm/ edges of E i,t }. Embedding x i,t outside Z i,t will guaantee that the embedding pocess can be continued fo the R i -neighbous of x i,t. Finally, let x be the paent of x i,t in T i. If x R i then we have x = x i,s fo some s < t. We let U i,t = { } { } w W : { h i x i,s, w} E i,t = w W : { hi x i,s, w} E i,s, that is, the set of vetices in W whose edge to the image of x i,s has been used aleady. The equality holds because afte x i,s and befoe x i,t we only embed vetices x i,s of T i and guaantee that h i x i,s h i x i,s. If x R i we let U i,t =. Having defined these fobidden sets we now map x i,t to an abitay vetex h i x i,t W \ X i,t Y i,t Z i,t U i,t. We claim that this set is not empty. Indeed, we have X i,t R i ε m/64. In addition, in the definition of Y i,t thee ae at most choices fo y and hence fo v. Fo a fixed v, Definition 5c states that at most ε m/64 vetices z have been mapped by j i h j to v. Each of these vetices z V T j has at most neighbous mapped by h j to some w W. Hence Y i,t ε m/64. To get a bound on Z i,t we obseve that E i,t j i Hence, since k m we obtain e T j R j ] j i Z i,t E i,t εm/ R j k ε m 64. 4kε m 64 εm εm 8. Moeove, U i,t εm/ because h i x i,s Z i,s. We conclude that W \ X i,t Y i,t Z i,t U i,t εm ε m 64 ε m 64 εm 8 εm > 0. It emains to check that, at the end of this pocedue, the mappings h i h i i k] fom a packing of T into K 1+εm. Fistly, each h i h i is injective, because h i is injective, h i is

18 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 18 injective by the definition of X i,t, and V h i V h i =. Secondly, h i h i is edge-peseving because we embed into a complete gaph. Thidly, we have Eh i h i Eh j h j = fo each i > j. Indeed, Eh i and Eh j ae disjoint by assumption. Eh i and E h j and similaly E h i and Eh j ae disjoint by the definition of Y i,t. Finally, E h i and E h j ae disjoint by the definition of U i,t. 7. Limping homomophisms on quasiandom gaphs Let F be a foest with maximum degee and a given bipatition into pimay vetices and pimay v. seconday vetices. Let G = V, E be an α, -supequasiandom gaph of density d. We seconday v. now define a limping homomophism h fom F to G. This is a andom patial homomophism limping homomophism fom F to G whose distibution is descibed by the following two-step pocedue. 1. Fo each pimay vetex x V F we choose unifomly at andom u.a.. a vetex hx V.. Fo each seconday vetex y V F we choose u.a.. a eal numbe τy 0, 1. To pick hy, conside the set {u 1,..., u p } = hn F y. a If {u 1,..., u p } is α-bad then h does not map y anywhee. We say that h skips y. skips b If y is not skipped, let i = τy codegu 1,..., u p + 1 and define hy to be the i-th vetex in Nu 1,..., u p fo which an ode was fixed pio to the expeiment. In othe wods, we choose hy u.a.. in Nu 1,..., u p. Modelling this unifom andom choice by τy will help in the analysis. Hence, if we denote the set of pimay vetices by P and the set of seconday vetices by S, the limping homomophism is detemined by an element of the pobability space Ω F = V P 0, 1] S. 17 This is the poduct space that we shall use in applications of McDiamid s Inequality late. Obseve that a limping homomophism implicitly depends on the paamete α. This paamete will always be clea fom the context. The next thee lemmas establish some fundamental popeties of limping homomophisms. Lemma 3. Suppose that we ae given α 0, 1 4, a tee F of maximum degee at most with a bipatition into pimay and seconday vetices, and an α, -supequasiandom gaph G = V, E of density d and with V 4 /d. Let h be the limping homomophism fom F to G. Let uv E be an abitay edge of G, let x V F be an abitay pimay vetex, let y V F be an abitay seconday vetex and let H be an abitay event descibing the placements of all vetices except y. Then the following statements hold. a Phx = v] = 1 V. b Py is skipped hx = v] α. c Py is skipped ] α. d Suppose that xy EF. Then Phx = u and hy = v] = e Phy = v] = 1±α d +3 f Phy = v y not skipped ] = V. 1±α d +5 V. 1±α d +. d V Note that p can be stictly smalle than degf y; this happens when h is not injective on N F y.

19 AN APPROXIMATE VERSION OF THE TREE PACKING CONJECTURE 19 g Phy = v H] d V. Poof. a This follows immediately fom the definition of limping homomophisms. b The statement is tivially tue when N F y = {x}. Indeed, then y is neve skipped. So, let us assume that N F y \ {x} 1. Let us expose the placement of all the pimay vetices of F. Let {u 1,..., u p } = hn F y\ {v}. Note that p 1 almost suely. As G is α, -supequasiandom bad α,p v α V p 1 and so we have P y is skipped hx = v] = P {u 1,..., u p, v} is α-bad] α. c We have Py is skipped] = w V Py is skipped hx = w] Phx = w] α, by a and b. d Let A be the event that x gets mapped to u, let B be the event that y gets mapped to v, let C be the event that y is not skipped, and let D be the event that v is in the common neighbouhood of hn F y \ {x}. Note that B C D. Indeed, the fact that B C is clea. If y is not skipped, it is mapped to the common neighbouhood of hn F y. So, fo B to occu, we need v to be in this common neighbouhood. But then v is in the common neighbouhood of hn F y \ {x} as well. Hence B D. Let E q be the event that hn F y = q + 1. As D and A ae independent even if we condition on E q, we have P A B E q ] = P A B C D E q ] = P A E q ] P D A E q ] P C E q D A] P B E q C D A] = P A E q ] P D E q ] P C E q D A] P B E q C D A]. 18 We have P A E q ] = P A] = 1 V. As bad α,1v = 0, we get that degv = 1 ± αd V. Consequently, P D E q ] = 1 ± αd q. The numbe of α-bad q + 1-sets that contain u and have the emaining vetices inside Nv is at most α V q. As Nv 1 αd V, the total numbe of q + 1-sets that contain u and have the emaining vetices inside Nv is at least. We thus get 1 αd V q 1 P C E q D A] 1 α V q 1 αd V q 1 α d, whee we use 1 αd V q 1 d V, which follows fom V 4 /d. Finally, if y is not skipped, then the set hn F y is not α-bad, implying that P B E q C D A] = 1 ± αd q+1 V 1. Substituting the above estimates into 18, we get P A B E q ] = P A E q ] P D E q ] P C E q D A] P B E q C D A] = 1 ± αq d q 1 ± α d 1 ± αd q+1 V = 1 ± α 1 ± α1 ± α d d V 1 ± α + d = d V. As this quantity does not depend on the choice of q, we get the same answe if we condition on the event E q, fo any q ]. This gives d.