arxiv: v1 [math.co] 27 Nov 2018

Transcription

1 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER arxiv: v1 [math.co] 27 Nov 2018 Abstract. For a -ary tree every vertex has outegree between 2 an D with = k leaves, let γd, T be the ensity of all subsets of k leaves of the -ary tree T that inuce a copy of D. The inucibility of D is lim sup T γd, T. We give a general upper boun on the inucibility of D as a function of the inucibilities of its branches. Moreover, we emonstrate that the boun is sharp for infinitely many -ary trees. A -ary tree is calle balance if the number of leaves in any two of its branches iffers at most by one. We obtain an improve upper boun on the inucibility of an arbitrary balance -ary tree. We give several examples proving that the boun is sharp for every given number of leaves. In particular, the precise inucibilities of certain balance -ary trees are erive. Furthermore, we present a lower boun that asymptotically matches the improve upper boun uner specific restrictions. We also emonstrate that the sequence of complete - ary trees contains a positive ensity of any fixe -ary tree in the limit. 1. Introuction The inucibility belongs to the class of graph invariants that consiers the number of isomorphic embeings to a finite graph. Its investigation began with paper [14] by Pippenger an Golumbic. Since that time, the notion has been explore quite thoroughly with a lot of papers being written on computing this graph invariant in various instances [1 4, 9, 11 13, 16, 17]. Much less is known on the inucibility in the context of trees. To the best of our knowlege, the first mention of the inucibility in the context of trees goes back to a 2016 paper [5] by Bubeck an Linial who introuce the subject for trees with a given number of vertices. Aroun the same time, in proviing an answer to a question from phylogenetics, Czabarka, Székely an Wagner [7] introuce an stuie the inucibility for roote binary trees with a given number of leaves. More recently, this work has been extene in [6] to -ary trees for every 2, an in [8] to topological trees at large. All trees consiere here are unirecte an roote with the root at the top. A roote tree is calle a topological tree as in [8] if it has no vertices of outegree 1. If a tree has only one vertex, this vertex is regare as both root an leaf. The unique subtree inuce by a subset L of leaves of a topological tree T is obtaine by first extracting the minimal subtree of T that contains all the leaves in L, an then eleting all vertices of outegree Mathematics Subject Classification. Primary 05C05; seconary 05C07, 05C30, 05C35, 05C60. Key wors an phrases. inucibility, -ary trees, leaf-inuce subtrees, balance trees, even trees, complete trees, maximum ensity, binary caterpillars, bouns. Research of the first author was supporte by Stellenbosch University in association with African Institute for Mathematical Sciences AIMS South Africa, research of the secon author was supporte by the National Research Founation of South Africa, grant number

2 2 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER We call any subtree obtaine this way a leaf-inuce subtree of T. Note that a leaf-inuce subtree of T has a root in a natural way its root is precisely the most recent common ancestor share by the leaves of T that inuce it. Figure 1 below is a topological tree together with one of its leaf-inuce subtrees. l 1 l 2 l 3 l 4 l 1 l 2 l 3 l 4 Figure 1. A topological tree left an the subtree inuce by four leaves {l 1, l 2, l 3, l 4 } right. We shall write T for the number of leaves of T. A copy of a topological tree D in T is any leaf-inuce subtree of T isomorphic in the sense of isomorphism of roote trees, i.e., roots are preserve uner the bijection to D. We shall enote the total number of copies of D in T by cd, T. We note that 0 cd, T T. A topological tree in which every vertex has outegree no more than where 2 is fixe is calle a -ary tree as in [6]. We will often simply refer to the cases = 2 an = 3 as binary trees an ternary trees, respectively. Binary trees are also known as phylogenetic trees in the literature an they are of interest to mathematical biologists [15] for instance, binary trees are use to visualise the processes of speciation of current species escening from a common ancestor, or to infer evolutionary relationships from aligne genetic sequence ata. Broaly speaking, the inucibility of a tree provies a measure of the largest ensity at which the given tree can be foun insie a large tree. From a more formal perspective, the inucibility I D of a -ary tree D is the limit superior, taken over all -ary trees, of the ensity of subsets of leaves of T that inuce a copy of D: I D := lim sup T T -ary tree cd, T. By a strictly -ary tree, we mean a -ary tree in which every non-leaf vertex has outegree exactly. It is not har to show that T 1 mo 1 for every such tree T. From now on, unless otherwise specifie, is always an arbitrary but fixe positive integer greater than 1. T

3 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 3 Set γd, T = cd, T / T, which is the probability that istinct ranom leaves of T inuce a copy of D, or the ensity of D in T for short. In an earlier paper, the following two asymptotic formulas were proven [6]: max γd, T = I D + O n, max γd, T = I D + O T =n T =n n T strictly -ary tree T -ary tree an hence, I D = lim γd, T = lim γd, T. max n T =n T -ary tree max n T =n T strictly -ary tree Moreover, it was shown, among other things, that I D > 0 for every -ary tree D, an lower bouns on the inucibility I D were given uner various assumptions. The purpose of this note is multifol: we evelop a new general lower boun on the inucibility of an arbitrary -ary tree Theorem 1; we establish a general upper boun on the inucibility of a -ary tree as a function of the inucibilities of its branches Theorem 2 an Corollary 5 for instance; we present an improve upper boun on the inucibilities of -ary trees that are balance as a function of the inucibilities of their branches Theorem 7; we give several examples showing that the improve upper boun is also sharp, an furthermore, provie a characterisation of the -ary trees that attain the boun Theorem 12; we give an asymptotic formula for the ensity of certain balance -ary trees in strictly -ary trees Theorem 12 in this special case, this improves on the error term in 1; it is generally an open question whether the boun O T 1/2 can be improve further for all -ary trees D an every > Setting up a general recursion Roote trees are preestine for recursive approaches. For a -ary tree D with branches D 1, D 2,..., D r, we efine the equivalence relation D on the set of all permutations of the inices 1, 2,..., r as follows: for two permutations π an π of {1, 2,..., r}, π1, π2,..., πr D π 1, π 2,..., π r if for every j {1, 2,..., r}, the tree D πj is isomorphic in the sense of roote trees to the tree D π j. Further, we enote by MD a complete set of representatives of all equivalence classes of the equivalence relation D. Thus, if m 1, m 2,..., m c enote the multiplicities of the branches of D with respect to the equivalence relation D, then the size of MD is precisely r MD =. m 1, m 2,..., m c

4 4 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER We can set up a recursion for the number cd, T of copies of D in a -ary tree T. To this en, we make use of the set MD which accounts for the possibility that some of the branches of D are isomorphic. We get the following ientity: cd, T = cd, T i + c 2 D πj, T ij, {i 1,i 2,...,i r} {1,2,...,} π MD which is vali for every -ary tree T with branches T 1, T 2,..., T some branches are allowe to be empty. The proof of this formula is straightforwar. In wors, 2 is establishe as follows: The term cd, T i is the number of subsets of leaves that belong to a single branch of T an inuce a copy of D. The expression r c D πj, T ij stans for the number of copies of D in which its branches D π1, D π2,..., D πr are inuce by subsets of leaves of T i1, T i2,..., T ir, respectively. We sum this expression over all subsets of r elements of the set of branches of T an all permutations π in MD, so as to take into consieration the possibility that some branches of D might be isomorphic. Equation 2 will be use repeately in various places of this paper. Finally, we say that a sequence T 1, T 2,... of -ary trees such that the number of leaves of T n tens to infinity as n, is asymptotically maximal for a -ary tree D if lim n γd, T n = I D. In other wors, the sequence T 1, T 2,... of -ary trees yiels the inucibility of D in the limit. 3. Bouning the inucibility For our first result, which offers a lower boun on the inucibility of an arbitrary -ary tree, we nee to efine a specific class of -ary trees. By a star, we mean a topological tree in which all eges are incient with a single vertex the root of the tree. The symbol S k will enote the star with k leaves. An example of a star is shown in Figure 2. Figure 2. The star S 6 with 6 leaves. The complete -ary tree of height h which we shall enote by CDh is efine recursively as follows: CD0 has only one vertex an for h > 0, the tree CDh is obtaine by joining copies of CDh 1 their respective roots to a new common vertex the root of the tree CDh.

5 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 5 Note that the height of a roote tree is the istance from the root to a leaf farthest from the root an thus CD h has precisely h leaves. For example, CD 1 is the -leaf star. See also Figure 3 for the complete ternary tree of height 2. Figure 3. The complete ternary tree CD 3 2 of height 2. Our first two theorems emonstrate the special role that complete -ary trees play in the stuy of the inucibility of certain -ary trees. Moreover, the first theorem also implies that every -ary tree appears in a positive ensity as a leaf-inuce subtree in complete -ary trees of sufficiently large height. Theorem 1. Fix an arbitrary positive integer 2. The limit lim γ D, CDh h exists for every -ary tree D an is given by D MD 1, D 2,..., D r lim r γ D i, CDh, h where D 1, D 2,..., D r enote the branches of D. Proof. Fix 2 an consier a -ary tree D with branches D 1, D 2,..., D r. We employ the normalise recurrence relation γ h 1 D, CDh = h γ D, CDh 1 + r π MD r h 1 D πi h γ D πi, CDh 1 obtaine through the specialisation T = CDh in the general recursion 2 when passing to the ensity γd, T recall that for h > 0, all the branches of CDh are isomorphic to CDh 1.

6 6 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Letting h, an applying lim inf to both sies of this normalise equation, we obtain the following: lim inf γ D, CDh 1 lim inf γ D, CDh 1 h h [! + r D π1! D π2!... D πr! π MD D πi which implies after rearranging terms accoringly that lim inf γ D, CDh D MD 1, D 2,..., D r h r lim inf h lim inf h γ ] D πi, CDh 1, γ D i, CDh as D 1 + D D r =. In the same manner, now using lim sup as h, we also obtain lim sup γ D, CDh D MD 1, D 2,..., D r lim sup γ D h r i, CD h. h Hence, we can conclue that the esire statement of the theorem follows by inuction on the height of D, starting with height 0 in which case the statement is trivial. Note that lim h γ D, CDh I D, so Theorem 1 provies a lower boun on the inucibility. This lower boun is actually attaine for every complete -ary tree; see Theorem 7. Our next result is a general upper boun on the inucibility of a -ary tree. To be precise, the result is an explicit inequality between the inucibilities of a -ary tree an its branches. Theorem 2. Let D be a -ary tree with branches D 1, D 2,..., D r. Then the inequality I D I D i D 1, D 2,..., D r { } 1 sup 0 x 1,x 2,...,x <1 1 x D πj x 1 +x 2 + +x =1 x i j i {i 1,i 2,...,i r} {1,2,...,} π MD hols. The boun in Theorem 2 can also be attaine; see Corollary 5 for instance. The following lemma will be neee in orer to prove Theorem 2:

7 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 7 Lemma 3. Let D be a -ary tree whose branches are D 1, D 2,..., D r. Assume that branches with the same number of leaves are isomorphic. Then { } 1 sup 0 x 1,x 2,...,x <1 1 x D πj 1 x 1 +x 2 + +x =1 x i j. i {i 1,i 2,...,i r} {1,2,...,} π MD D 1, D 2,..., D r Furthermore, if r = 2, D 1 = 1 an D 2 > 1 then sup 0 x 1,x 2,...,x <1 x 1 +x 2 + +x =1 { 1 1 x i {i 1,i 2 } {1,2,...,} xi1 x 1 i 2 + x 1 i 1 x i2 } = 1. We efer the proof of the lemma to the en of the section an now prove Theorem 2: Proof of Theorem 2. Let D be a -ary tree whose branches are enote by D 1, D 2,..., D r. It is easy to see that for = 2, the inequality in the theorem hols with equality. In fact, for = 2, 1 1 x i {i 1,i 2,...,i r} {1,2,...,} π MD = 1 1 x2 i x D πj i j {i 1,i 2 } {1,2,...,} x i1 x i2 = 1 2 by virtue of the multinomial theorem, while we have I D 1 = I D 2 = I D = 1. So we can assume that D has more than two leaves. We know from the proof of Theorem 3 in [6] that 3 0 max γd, T I D T =n T -ary tree 1 n for all n. Consier a sequence T 1, T 2,... of -ary trees such that T n as n an max cd, T = cd, T n. T = T n T -ary tree In particular, the sequence T 1, T 2,... is asymptotically maximal for D. Denote the branches of T n by T n,1, T n,2,..., T n, some branches are allowe to be empty. One can assume that T n,1 is the branch of T n with the largest number of leaves for every n. Set α n,i := T n,i / T n for every i {1, 2,..., } an every n, an set β n = 1 α n,1. Since 0 < β n 1, we have 1 α n,i 1 α n,1 α n,i i=2 = 1 α n,1 1 α n,1 = 1 1 β n β n. We istinguish two cases base on whether β n is small or large in the limit.

8 8 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Case 1: Suppose that β n is boune below by a positive constant δ as n. In this case we have 1 α n,i 1 1 β n β n 1 1 δ δ for all n. Accoring to 2, a recursion for the number of copies of D in T n is given by cd, T n = cd, T n,i + cd πj, T n,ij. Using 3, we obtain Tn I D cd, T n + which implies that I D T n! {i 1,i 2,...,i r} {1,2,...,} + O T n 1 + π MD {i 1,i 2,...,i r} {1,2,...,} {i 1,i 2,...,i r} {1,2,...,} I D + 1 T n,i π MD T n,i I D πj + D πj D πj 1 I D T n,i π MD T n,ij + T n,i 1 2!! I D πj T n,i j D πj D πj! T n,ij, D πj + NT n,ij, D πj, where NT n,ij, D πj is equal to T n,ij Dπj 1 / D πj 2! if D πj 2, an 0 otherwise. Consequently, T n T n,i I D! {i 1,i 2,...,i r} {1,2,...,} π MD I D πj T n,i j D πj D πj! + O T n 1 as T n,ij < T n for all j {1, 2,..., r} an n. Diviing through by T n, we get 1 I D α n,i! D 1! D 2!... D r! {i 1,i 2,...,i r} {1,2,...,} π MD I D πj α D πj n,i j + O T n 1.

9 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 9 Now using the fact that 1 α n,i is boune below by a positive constant as n, we euce that! I D D 1! D 2!... D r! + O T n 1 I D i D 1, D 2,..., D r {i I D i 1,i 2,...,i r} {1,2,...,} {i 1,i 2,...,i r} {1,2,...,} π MD π MD 1 α n,i r x D πj i j sup 0 x 1,x 2,...,x <1 1 x 1 +x 2 + +x =1 x i Finally, we take the limit as n : this gives us the esire result. r α D πj n,i j + O T n 1. Case 2: If β n is not boune below by a positive constant, then we can assume without loss of generality, by consiering a subsequence if necessary that the limit of β n is actually 0 as n. Denote by T n \T n,1 the subtree inuce by the leaves of T n that are not leaves of T n,1. Claim 1: We claim that the number of copies of D in T n that involve more than one leaf of T n \T n,1 is at most of orer Oβn 2 T n. For the proof of the claim, note that by efinition, the number of copies of D in T n that involve more than one leaf of T n \T n,1 is at most Tn T n,1 Tn,1. l l l=2 On the other han, we have Tn T n,1 Tn,1 l l l=2 l=2 T n T n,1 l l! = T n 1 α n,1 2 T n β 2 n l=2 l=2 T n,1 l l! 1 l! l!. 1 α n,1 l 2 α l n,1 l! l! This completes the proof of the claim. It follows that the proportion of copies of D in T n that involve more than one leaf of T n \T n,1 is of orer Oβ 2 n among all subsets of leaves of T n. Claim 2: Base on another result from [6], we further claim that D must have only two branches, one of which is a single leaf. Inee, suppose that D oes not have this shape. Then the subsets of leaves of T n that inuce a copy of D come in two varieties: either the leaves are all leaves of T n,1, or

10 10 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER more than one of the leaves is a leaf of T n \T n,1. So this gives us 4 cd, T n = cd, T n,1 + Oβ 2 n T n. by Claim 1. It was establishe in the proof of 3 see [6, Theorem 3] that 0 max γd, T max γd, T 1. T =k T =k+1 kk + 1 T -ary tree T -ary tree Summing all these inequalities for k = m, m + 1,..., n 1, we fin that 0 max γd, T T =m T -ary tree max T =n T -ary tree n 1 γd, T 1 k=m 1 kk = 1 m n 1. Thus n m max γd, T max γd, T = O T =m T =n m n T -ary tree T -ary tree as m n an m. In particular, γd, T n,1 γd, T n max γd, T Tn T n,1 5 γd, T n = O. T = T n,1 T n T n,1 T -ary tree Using 5, formula 4 implies that Thus, cd, T n 1 Tn,1 Tn Tn,1 Tn cd, T n + O T n,1 T n T n,1 T n T n,1 + Oβn 2 T n. cd, T n O T n,1 1 β n + Oβ 2 n T n an using the asymptotic formula Tn Tn,1 T n T n,1 T n 1 6,! which hols since T n T n,1, we erive that γd, T n O T n 1 + Oβ n. Therefore, I D = lim γd, T n 0 n as lim n β n = 0. This contraicts Proposition 8 in [6], which states that I D is strictly positive: our secon claim is prove. Now we can assume that D has only two branches, one of which is the tree that has only one vertex. Since > 2 by assumption, let D 2 be the secon branch of D with at least

11 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 11 two leaves. Then using Claim 1, we get cd, T n = cd, T n,1 + T n T n,1 cd 2, T n,1 + Oβn 2 T n. Following the same course of reasoning use to prove Claim 2, we obtain cd, T n Tn,1 Tn which implies that Tn,1 1 Tn cd, T n + O T n 1 β n + Tn T n,1 cd 2, T n,1 + Oβ 2 n T n cd, T n O T n 1 β n + Tn T n,1 + Oβ 2 n T n. Tn,1 D 2 γd 2, T n,1 It follows from the asymptotic formula 6 that γd, T n γd 2, T n,1 O T n 1 + Oβ n. Applying lim inf to both sies of this inequality, we get I D lim sup γd 2, T n,1 = lim inf γd, Tn γd 2, T n,1 0. n n Hence, I D lim sup γd 2, T n,1 I D 2. n This completes the proof of the theorem once we invoke the secon part of Lemma 3. The following corollary is a irect consequence of Theorem 2 combine with the first part of Lemma 3: Corollary 4. For a -ary tree D with branches D 1, D 2,..., D r in which branches with the same number of leaves are isomorphic, we have I D I D i. A binary tree is calle a binary caterpillar if all its non-leaf vertices form a single path, beginning at the root. We enote the k-leaf binary caterpillar by Fk 2 see Figure 4 for an illustration. Figure 4. The 5-leaf binary caterpillar F 2 5.

12 12 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Corollary 5. Let D be a -ary tree with two branches D 1, D 2 such that D 1 = 1. Then we have I D I D 2, with equality for D = F 2. Proof. It is prove in [6, Theorem 2] that for every k an, the inucibility of the k-leaf binary caterpillar Fk 2 is 1 in -ary trees. We conjecture that the boun in Corollary 5 is attaine only for binary caterpillars. Conjecture 1. The inequality in Corollary 5 hols with equality if an only if D is a binary caterpillar. The upper boun in Theorem 2 on the inucibility I D can be improve consierably if one restricts to a special class of -ary trees. For instance, when r = an the number of leaves D i in the branches D i of D satisfy Di D j 1 for all 1 i, j r, we can actually calculate the supremum explicitly. Moreover, we can also show that the boun is again sharp see the next section. We close this section by proviing a proof of Lemma 3: Proof of Lemma 3. Let V, be efine by { V, = i 1, i 2,..., i : i 1, i 2,..., i nonnegative integers, } i 1 + i i =, an i 1, i 2,..., i <. Denote by V, the subset of V, consisting of elements i 1, i 2,..., i which are ifferent from every permutation of the -tuple D1, D 2,..., D r, 0, 0,..., 0. }{{} r 0 s Assume that branches of D that have the same number of leaves are isomorphic. Then two branches of D are isomorphic if an only if they have the same number of leaves; so we can rewrite 1 x i by means of the multinomial theorem as follows: 1 x i = x D πj i D 1, D 2,..., D r j {i 1,i 2,...,i r} {1,2,...,} π MD 7 + x i j j i 1, i 2,..., i. i 1,i 2,...,i V, From this, we immeiately euce the inequality 1 x i D 1, D 2,..., D r {i 1,i 2,...,i r} {1,2,...,} π MD x D πj i j

13 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 13 showing that sup 0 x 1,x 2,...,x <1 x 1 +x 2 + +x =1 { 1 1 x i {i 1,i 2,...,i r} {1,2,...,} π MD } x D πj i j is at most 1. D 1, D 2,..., D r This proves the first part of the lemma. For the proof of the secon part, set {i HD; x 1, x 2,..., x := 1,i 2 } {1,2,...,} xi1 x 1 i 2 + x 1 i 1 x i2 1. x i We note that an so HD; x 1, x 2,..., x = x i x 1 i = x 1 1 x i x i 1 x + 1 x 1 i 1 x i 1, 1 x 1 i=0 x i lim HD; ɛ, ɛ,..., ɛ, 1 1ɛ = ɛ 0 }{{} 1 1 ɛ s x i for > 2. Hence, together with the first part of the lemma, we obtain { 1 sup 0 x 1,x 2,...,x <1 1 xi1 x 1 x 1 +x 2 + +x =1 x i 2 + x 1 } i 1 x i2 = 1, i {i 1,i 2 } {1,2,...,} which completes the proof of the lemma. 4. Balance trees In this section, we focus on a special class of topological trees which we call balance. Definition 6. A topological tree will be calle balance if the branch sizes number of leaves in ifferent branches iffer at most by one. For our purposes, the tree that has only one vertex is also consiere as a balance tree. Figure 5 shows an example of a balance 5-ary tree. For given positive integers p, n 2, enote by W p, n the set of all vectors l 1, l 2,..., l of nonnegative integers for which l 1 + l l = n, l 1, l 2,..., l < n an at least p entries are equal to 0. In what follows, we give an improve upper boun on the inucibility of a balance -ary tree with arbitrary root egree, an also prove, among other things, that the lower boun on I D erive in Theorem 1 is attaine for complete -ary trees which form a special class of balance -ary trees.

14 14 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Figure 5. A balance 5-ary tree. Theorem 7. For a balance -ary tree D with branches D 1, D 2,..., D r, the inequality MD I D I D i r L D D 1, D 2,..., D r is satisfie for every, with L D = l 1,l 2,...,l W r,. l 1, l 2,..., l Furthermore, if r = an for every i {1, 2,..., }, the family of complete -ary trees yiels the inucibility of D i in the limit, then the sequence of complete -ary trees is also asymptotically maximal for the tree D, an we have I D = MD D 1, D 2,..., D I D i. Let us postpone the proof of Theorem 7 an provie some illustrations. Our Theorem 7 can be use to yiel a new approach to a result from [7]. An even binary tree as efine in [7] is a binary tree with the property that, for every internal vertex, the number of leaves in the two subtrees below it iffer at most by one. Clearly, there is only one even binary tree for any given number of leaves. We show in Figure 6 the even binary tree with seven leaves. Figure 6. An even binary tree.

15 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 15 Corollary 8. Let Ek 2 enote the unique even binary tree with k leaves. For every k 2, we have I 2 E 2 1 k k/2 I2 E 2 2 k/2 if k is even, k = 2 k 2 2 k k 1 I2 I 2 otherwise. 2 E 2 k 1 2 E 2 k+1 2 Proof. The assertion hols trivially for k = 2. We may then assume that it is also true for even binary trees with at most k 1 leaves for some k 3 an procee by inuction on k. Consier the even binary tree with k leaves. The branches of Ek 2 are the even binary trees E k/2 2 an E2 k/2 by efinition. Accoring to the inuction hypothesis, the family of complete binary trees yiels the inucibilities of E k/2 2 an E2 k/2 in the limit. Thus, by Theorem 7, the family of complete binary trees is also asymptotically maximal for the tree Ek 2, an the value of I 2 E 2 k is k k/2, k/2 M Ek 2 I 2 k 2 E 2 2 k/2 I2 E 2 k/2. Note that M Ek 2 is 1 if k is even, an 2 if k is o. This completes the inuction step an thus the proof of the corollary. The next corollary provies a formula for the inucibility of a complete -ary tree: Corollary 9. For the complete -ary tree of height h, we have h 1 i I CD h = h! h i for every an h 1. Proof. We fix an emonstrate the result by inuction on h. For h = 1, the tree CDh is equal to the -leaf star S whose inucibility is shown in [6, Theorem 1] to be equal to 1! = 1 1, lim γ S, CDh h meaning that the formula hols for h = 1. Assume the statement is true for every complete -ary tree of height at most h 1 for some h 2. That is, I CD h 1 = lim γ CDh 1, CDH. H Then by Theorem 7, the sequence of complete -ary trees is asymptotically maximal for the tree CDh an the inucibility is given by 1 h 2 h 1! h h h 1, h 1,..., h 1 }{{} times i=0 i=0 i h 1 i as M CDh = 1. A simple manipulation reuces the latter expression to the esire ientity of the corollary.

16 16 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Let A = a 1, a 2,..., a n an B = b 1, b 2,..., b n be vectors of real numbers. Assume a 1 a 2 a n an b 1 b 2 b n in this orer. We say that the vector A majorises the vector B if n n a i = b i, an for every k {1, 2,..., n 1}, k a i k b i. Before we get to a proof of Theorem 7, let us first introuce a key auxiliary lemma which provies both an upper boun on the supremum of certain functions in several variables, an the maxima of the same functions in a special case. For given positive integers p 2 an n 2, set { V p,n := i 1, i 2,..., i p : i 1, i 2,..., i p nonnegative integers, } i 1 + i i p = n, an i 1, i 2,..., i p < n. The size of V p,n is just p+n 1 n p, i.e., the number of ways to choose n elements from a set of p elements, with repetitions allowe an no elements occurring n times. Lemma 10. For every balance -ary tree D with branches D 1, D 2,..., D r, we have { } 1 sup 0 x 1,x 2,...,x <1 1 x D πj MD x 1 +x 2 + +x =1 x i j r L i {i 1,i 2,...,i r} {1,2,...,} π MD D with L D =. l 1, l 2,..., l l 1,l 2,...,l W r, Furthermore, if r = then we also have { 1 max 0 x 1,x 2,...,x <1 x 1 +x 2 + +x 1 =1 x i π MD x D πj j } = MD. Proof. Let D be a balance -ary tree with r branches D 1, D 2,..., D r for some r {2, 3,..., }. There exists a positive integer k such that each branch of D contains either k or k + 1 leaves. So we euce that the representatives of the equivalence classes of the equivalence relation D efine on the set of all permutations of {1, 2,..., r} are exactly those permutations of { } k, k,..., k, k + 1, k + 1,..., k + 1 inuce by D for some }{{}}{{} r β times β times β {0, 1,..., r 1} see the iscussion in Section 2. So we lose no generality by assuming that D 1 = D 2 = = D r β = k an D r β+1 = D r β+2 = = D r = k + 1 for some k 1 an some β {0, 1,..., r 1} branches with the same number of leaves can be ientical, but they o not have to be.

17 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 17 In orer to prove the lemma, we first show that every vector i 1, i 2,..., i r V r,r k+β majorises k + 1, k + 1,..., k + 1, k, k,..., k. }{{}}{{} β times r β times So assume i 1 i 2 i r in this orer. Fix a positive integer m {1, 2,..., r 1} an suppose that i 1 + i i m < k k k k + k + + k t copies of k + 1 followe by m t copies of k for some t {1, 2,..., β}. Then we have m i m i 1 + i i m < t k m t k, which implies that m i m < t + m k. Thus, i m k as t m. On the other han, we also have i m+1 + i m i r = r k + β i 1 + i i m > r k + β t + m k, which implies that r m i m+1 i m+1 + i m i r > r k + β t + m k = r m k + β t. Thus, since r m > 0 an β t 0, we obtain i m+1 k + 1. Altogether, we have foun that i m k < k + 1 i m+1, implying that i m < i m+1, which is a contraiction. So we conclue that every vector i 1, i 2,..., i r V r,r k+β majorises k + 1, k + 1,..., k + 1, k, k,..., k. }{{}}{{} β times r β times Hence, since W p, n is the set of all vectors l 1, l 2,..., l of nonnegative integers satisfying l 1 + l l = n, l 1, l 2,..., l < n an at least p entries equal to 0, we euce that every vector l 1, l 2,..., l belonging to the set W r, r k + β majorises k + 1, k + 1,..., k + 1, k, k,..., k, 0, 0,..., 0, }{{}}{{}}{{} β times r β times r 0 s an thus Muirhea s Inequality see [10, p ] gives π S x l j πj π S x D j r! r! πj = MD {i 1,i 2,...,i r} {1,2,...,} α 1,α 2,...,α r MD x Dα j i j for every such vector l 1, l 2,..., l W r, r k + β an every vector x 1, x 2,..., x of positive real numbers, where S enotes the set of all permutations of the inices 1, 2,...,.

18 18 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER On the other han, using this inequality together with the multinomial theorem, one obtains r k + β 1 x 1 + x x r k+β = x l j πj l 1, l 2,..., l! x r k+β j + x r k+β j + l 1,l 2,...,l 0 l 1 +l 2 + +l =r k+β l 1,l 2,...,l W r,r k+β l 1,l 2,...,l W r,r k+β π S r k + β 1 l 1, l 2,..., l! [ r k + β 1 l 1, l 2,..., l! {i 1,i 2,...,i r} {1,2,...,} π S x l j πj r! r! MD α 1,α 2,...,α r MD ] x Dα j i j for every vector x 1, x 2,..., x of nonnegative real numbers. In particular, if x 1, x 2,..., x is a vector of nonnegative real numbers such that x 1 + x x = 1, then we have 1 x j L D MD x Dα j 8 i j r {i 1,i 2,...,i r} {1,2,...,} α 1,α 2,...,α r MD with L D as efine in the lemma. Clearly, the function 1 G D x 1, x 2,..., x := 1 x D πj x i j, i {i 1,i 2,...,i r} {1,2,...,} π MD subject to the constraint x 1 + x x = 1, is well-efine in the region covere by the inequalities 0 x 1, x 2,..., x < 1. Hence, we establish by inequality 8 that G D x 1, x 2,..., x MD L D r for all 0 x 1, x 2,..., x < 1 such that x 1 + x x = 1, as L D is never zero. This also shows that sup G D x 1, x 2,..., x MD. 0 x 1,x 2,...,x <1 L D r x 1 +x 2 + +x =1 Furthermore, if r =, then we have 1 G D x 1, x 2,..., x = 1 x i π MD an a simple computation yiels G D 1, 1,..., }{{ 1 MD = }, times x D πj j,

19 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 19 while the multinomial theorem gives L D = = l 1, l 2,..., l l 1,l 2,...,l W, l 1 +l 2 + +l = 0 l 1,l 2,...,l < This proves that in the case where r =, we have max G D x 1, x 2,..., x = MD 0 x 1,x 2,...,x <1, x 1 +x 2 + +x =1 which completes the proof of the entire lemma. Arme with Lemma 10, we can now prove Theorem 7. =. l 1, l 2,..., l Proof. Let D be a balance -ary tree with branches D 1, D 2,..., D r for some r {2, 3,..., }. Further, set cd j := I D j MD, an cd := cd j D j! r L D with L D as efine in the theorem. We are going to prove that there exists a nonnegative absolute constant KD such that the inequality 9 cd, T cd T + KD T 1 hols for every strictly -ary tree T. We know from the proof of Theorem 3 in [6] that for every -ary tree D, the maximum of γd, T over all -ary trees T with n D leaves is boune from above by I D + D 1 + D. n In particular, we have cd, T I D + D 1 + D T T D for every strictly -ary tree T, which implies that cd, T I D T D 1 + D! D 2! T 1 D for every strictly -ary tree T an every -ary tree D such that D > 2. Taking KD j = 0 if D j 2, an KD j = 1/ D j 2! otherwise, we see that 10 cd j, T cd j T D j + KD j T D j 1 for every j {1, 2,..., r} as cd j = I D j / D j! by efinition. On the other han, since cd, KD 0 by efinition, we also see that inequality 9 hols trivially for T < as there cannot be any copies of D in T. We may then continue by inuction on T.

20 20 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER For the inuction step, consier a strictly -ary tree T with branches T 1, T 2,..., T such that T. We have the following recursion see equation 2: cd, T = cd, T i + c D πj, T ij. {i 1,i 2,...,i r} {1,2,...,} π MD Employing the inuction hypothesis on every cd, T i together with 10, we get 11 cd, T cd T i + KD T i 1 with 12 + {i 1,i 2,...,i r} {1,2,...,} = cd + KD T i + T i 1 + π MD A ; π; D; T ; {i 1, i 2,..., i r } = {i 1,i 2,...,i r} {1,2,...,} c D πj Tij Dπj + K D πj Tij D πj 1 {i 1,i 2,...,i r} {1,2,...,} π MD c D πj Tij D πj π MD A ; π; D; T ; {i 1, i 2,..., i r } c D πj Tij Dπj + K D πj Tij D πj 1 c D πj Tij Dπj. Every single term in the expansion of A ; π; D; T ; {i 1, i 2,..., i r } is of the form c aj D πj K bj D πj T ij a j D πj +b j D πj 1 for some vector a 1, a 2,..., a r, b 1, b 2,..., b r satisfying a j, b j {0, 1} an a j +b j = 1 for all j, with b 1, b 2,..., b r ifferent from the null vector. We note that A ; π; D; T ; {i 1, i 2,..., i r } contains no terms of the form T i 1 c aj D πj K bj D πj

21 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 21 unless r = 2 an 3, in which case A ; π; D; T ; {i 1, i 2,..., i r } = 0 as KD 1 = KD 2 = 0 by efinition. Base on this iscussion, it follows from 12 that A ; π; D; T ; {i 1, i 2,..., i r } T 1 T i 1 as all the terms of the form c D πj + K Dπj T ij a j D πj +b j D πj 1 c D πj are boune above by a term in the expansion of T i 1 = T 1 other than one of the T i 1. Now we can set KD = c D πj + K Dπj c D πj = {i 1,i 2,...,i r} {1,2,...,} r π MD π MD Inequality 11 implies that cd, T cd T i + Since + KD T 1. as efine earlier, we also have {i 1,i 2,...,i r} {1,2,...,} c D πj + K Dπj {i 1,i 2,...,i r} {1,2,...,} cd i = cdl D MD r π MD c D πj. π MD c D πj Tij D πj Tij cd πj T = cdl D MD r T i cd 1, T {i 1,i 2,...,i r} {1,2,...,} π MD Dπj Tij T Dπj

22 22 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER where the inequality in the last step follows from the first part of Lemma 10. This is equivalent to cd T i + c D πj Tij Dπj cd T, {i 1,i 2,...,i r} {1,2,...,} π MD an it follows that cd, T cd T + KD T 1 as claime. This completes the inuction step. Consequently, taking the ensity of D in T an passing to the limit as T, we obtain I D lim T cd T + KD T 1 =! cd! = MD L D r T I D i D i! completing the proof of the first part of the theorem. Now assume that r = an the sequence of complete -ary trees is asymptotically maximal for each of the branches of D. Then using Theorem 1, we get I D lim γ D, CDh MD = I h D i. D 1, D 2,..., D Hence, since L D = in this case, we obtain equality: I D = lim γ D, CDh. h This completes the proof of theorem. The efinition of even binary trees introuce in [7] can be broaene to arbitrary -ary trees in the following way: Definition 11. Denote by E the family of -ary trees whose elements are escribe recursively as follows: The only trees with less than leaves in E are the stars; for every positive integer s, an every β {0, 1, 2,..., 1}, the tree with n = s + β leaves in E is obtaine by attaching β copies of the tree with s leaves in E an β copies of the tree with s + 1 leaves in E to a common vertex their respective roots are joine to a new common vertex. The k-leaf tree in E will be enote by Ek, an E will be referre to as the family of even -ary trees. We epict in Figure 7 the even ternary trees with up to ten leaves. The next result is an asymptotic formula for the maximum ensity of the even -ary tree Er in strictly -ary trees T as T gets large. The result is in this special case an improvement over the asymptotic formula max γd, T = I D + O n 1/2, T =n T strictly -ary tree,

23 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 23 E 3 1 E 3 2 E 3 3 E 3 4 E 3 5 E 3 6 E 3 7 E 3 8 E 3 9 E 3 10 Figure 7. All the even ternary trees with at most ten leaves. which was shown in [6] to hol for general -ary trees D. Theorem 12. The inucibility of the even -ary tree Er is r! c r in -ary trees, where c r is efine recursively by c i s c i s+1 13 c s+i = i s+i for every s 1 an every i {0, 1,..., 1}, starting with c r = r / r for r <. Moreover, we have lim γ Er, En = I E r n for every r, an the asymptotic formula c Er, En = cr n r + On r 1 hols for all n. In particular, we have max γ Er, T = I Er + On 1 T =n T strictly -ary tree for every r an all n 1 mo 1.

24 24 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Proof. The first part of the theorem can be obtaine by combining Definition 11 with Theorem 7. Inee, the even -ary trees Er are the stars S r for r <. But we know from [6, Theorem 1] that the sequence of complete -ary trees yiels I S r in the limit an! I S r = r! r for every r. Therefore, it follows from Theorem 7 by inuction on r that the sequence of complete -ary trees is also asymptotically maximal for Er. Assume r an write r = s + β with β in the resiue class of r moulo. Then Theorem 7 gives I E s + β! r = β s! β s + 1! β s+β I E βi s E β s+1 β β s + β! I E = s I E s+1 β s+β s! s + 1! c β s c β s+1 = s + β! β s+β, which proves the require recursive formula 13. Let us now prove that lim γ Er, En = cr r! n for every r. For this purpose, let us show by means of inuction with respect to r that cer, E lim n = c n n r r, which alreay provies us with what we want. For an arbitrary but fixe nonnegative integer β 1, we have c S k, E m+β = β c Sk, Em+1 + β c Sk, Em + m k + Om k 1 k for all m 1, an thus γ m+1 S k, E m+β = β k γ m S k, Em+1 + β k γ S k, Em + m+β k m k m+β k k + Om 1. m+β k

25 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 25 Now we euce that lim inf γ S k, E m+β β k lim inf γ S k, Em+1 + β k lim inf m m m + k! k k = 1 k lim inf γ S k, Em + k! k m k γ S k, Em an likewise lim sup γ S k, E m+β 1 k lim sup γ S k, Em + k! k. m m k Since this hols for all β {0, 1,..., 1}, it follows that lim inf γ S k, Em 1 k lim inf γ S k, Em + k! k, m m k an lim sup m From these two inequalities, we obtain lim inf n γ S k, E n k γ S k, Em 1 k lim sup γ S k, Em + k! k. m k k! k, an lim sup γ S k, En n k k! k, an the ientity k! lim γ S k, En = n k k = I S k follows. Consequently, the statement is true for r, an we can focus on the inuction step. With the specialisation T = E m+ ˆβ an D = E s+β in the general recursion 2, we get the relation c E s+β, E ˆβ m+ = β c E s+β, Em + β c E s+β, Em+1 + α 1,α 2,...,α M E s+β ˆβ c Eα i, Em i= ˆβ+1 c E α i, E m+1,

26 26 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER which is vali for all s, m 1 an all β, ˆβ {0, 1,..., 1}. Diviing this ientity through by m + ˆβ s+β, we obtain c E s+β, s+β E m+ ˆβ m s+β = β m + ˆβ m + ˆβ c E s+β, m E m s+β s+β m β m + ˆβ c E s+β, m+1 E m + 1 s+β [m ˆβ E α i m + 1 i= ˆβ+1 E α i + s+β m + ˆβ α 1,α 2,...,α M E s+β ˆβ c E α i, E m m E α i i= ˆβ+1 c ] Eα i, Em+1. m + 1 E α i Applying lim inf as m to both sies of this equation, we establish that c E s+β lim inf, E m+ ˆβ c E m s+β β s+β s+β, Em lim inf m + m ˆβ m s+β c E s+β, Em+1 as we have + β s+β lim inf m m + 1 s+β [ ˆβ + s+β lim inf m α 1,α 2,...,α M E s+β c ] Eα lim inf i, Em+1 m m + 1 E α i i= ˆβ+1 m ˆβ E α i m + 1 i= ˆβ+1 E α i lim m s+β = s+β m + ˆβ c Eα i, Em m E α i in view of the ientity E α i = s + β. Invoking the inuction hypothesis, we arrive at c E s+β lim inf, E m+ ˆβ m s+β β s+β + β s+β c E s+β, Em lim inf m + m ˆβ m s+β + s+β c αi, α 1,α 2,...,α M E s+β

27 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 27 an this implies that 1 1 s+β lim inf m c E s+β, E m+ ˆβ s+β s+β m + ˆβ c β s c β s+1. β Finally, we replace β c β s c β s+1 with s+β c s+β as efine in the statement of the theorem, an this gives us lim inf m c E s+β, E m+ ˆβ s+β c s+β. m + ˆβ Similarly, taking the lim sup as m, we establish that c E s+β lim sup, E m+ ˆβ s+β c s+β. m m + ˆβ Therefore, we get lim m c E s+β, E m+ ˆβ s+β = c s+β, m + ˆβ which finishes the inuction step. In particular, we euce that I E r = lim γ Er, En = cr r! n for every r. This completes the proof of the secon part of the theorem. It remains to prove the last two assertions of the theorem. Let us first confirm that for every r {2, 3,..., }, we have cs r, En c r n r K r n r 1 for all n, with K r = r c r. We procee by inuction on n. For n, the tree En is the star with n leaves an so cs r, En = n r as all the leaf-inuce subtrees of a star are themselves stars. Thus, the inequality is obvious. Assume now that n > an write n = m + β, with β in the resiue class of n moulo. We have the following lower boun on the number of copies of S r in E n: c S r, En β c Sr, Em+1 + β c Sr, Em + m r, r an the inuction hypothesis implies that c S r, E n cr β m + 1 r + β m r + K r β m + 1 r 1 + β m r 1. m r r

28 28 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Since for every positive integer p 1, we have m + β p β m + 1 p β m p p 1 p = p m p + m l β p l β m l, l l=0 an since c r r = r by efinition, we euce that for r > 2 the case r = 2 is trivial, since cs 2, En = n 2, c r m + β r β m + 1 r β m r m r r r 1 r = c r l β r l βm l l l=0 r 1 r c r l β r l m r 1 l l=0 c r + β r m r 1 r 2 r 1 K r r 1 m r 1 + l β r 1 l βm l l l=0 because β < an K r = 2 r c r. It follows that cs r, En c r m + β r K r m + β r 1 = c r n r K r n r 1, an this completes the inuction step. Since the case r has now been ealt with an the case n < r is not interesting either, we can now use simultaneous inuction on r an n to prove that for every r, there exists a positive absolute constant K r solely epening on r an such that c Er, En cr n r K r n r 1 for all n. In fact, we may efine K r recursively as follows: 14 K r = 2 r c r + π ME r c Dπj + K Dπj, with D 1, D 2,..., D the branches of E r, starting with K r = r c r for r. Assume that r > an n. So n = m + β with β in the resiue class of n moulo. Denote by D 1, D 2,..., D the branches of E r. The recurrence relation that gives the

29 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 29 number of copies of Er in En is c Er, En = β c E r, Em+1 + β c E r, Em + β c D πi, Em+1 c D πi, Em π ME r i=β+1 β c E r, E m+1 + β c E r, E m + π ME r c D πi, Em. Using the inuction hypothesis, we obtain c Er, En β cr m + 1 r K r m + 1 r 1 + β c r m r K r m r 1 + c Dπi m Dπi K Dπi m D πi 1 π ME r = β c r m + 1 r K r m + 1 r 1 + β c r m r K r m r l c Dπi m D πi + c Dπij m D πi j π ME r 1 l i/ {i 1,...,i l } K Dπi m D πi 1 l=0 {i 1,...,i l } {1,2,...,} where the empty prouct is treate as 1. By neglecting the terms for which l is even, an replacing MEr c D j with c r r, we obtain c Er, En cr β m + 1 r + β m r + r m r K r β m + 1 r 1 + β m r 1 1 l c Dπij m D πi j K Dπi m D πi 1 π ME r l=0 l o r 1 c r m + β r {i 1,...,i l } {1,2,...,} p=0 r p β r p βm p p i/ {i 1,...,i l } r 2 r 1 K r m + β r 1 r 1 m r 1 p β r 1 p βm p p p=0 1 l c Dπij m r +l. π ME r l=0 {i 1,...,i l } {1,2,...,} i/ {i 1,...,i l } K Dπi

30 30 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Hence, it follows from the choice mae in 14 that c Er, En = c E r, E m+β cr m + β r K r m + β r 1 r 1 r c r p β r p βm p p p=0 r 2 r 1 + K r r 1 m r 1 + p β r 1 p βm p p p=0 1 l c Dπij π ME r l=0 {i 1,...,i l } {1,2,...,} c r m + β r K r m + β r 1 for all m 1 as K r 2 r c r + 1 π ME r l=0 {i 1,...,i l } {1,2,...,} l c Dπij i/ {i 1,...,i l } K Dπi i/ {i 1,...,i l } m r 1 K Dπi. This completes the inuction step. Therefore, in view of inequality 9, which is establishe in the proof of Theorem 7, we euce that max γ Er, T = c r r! + On 1, T =n T strictly -ary tree which is inee the esire result. This completes the proof of the theorem. As an example, the ternary inucibilities of the first few even ternary trees are inicate in Table 1. Table 1. Some values of I 3 E 3 k. k I 3 E 3 k Looking at small instances, we fin evience that the even -ary tree E n always has the greatest number of copies of the tree E r over all n-leaf -ary trees. More formally state, we have the following conjecture: Conjecture 2. Let 2 be a fixe positive integer. For every positive integer r, we have max cer, T = cer, En T =n T -ary tree for every n.

31 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES Further bouns uner restriction Besies the even -ary trees E r for which I E r is precisely the upper boun given in Theorem 7, we also remark that in certain cases, there is a lower boun that asymptotically matches the upper boun on the inucibility of D given in Theorem 7, as gets large. Our next theorem presents a result that supports this observation. Theorem 13. Let 2 be a fixe positive integer an D a balance -ary tree with branches D 1, D 2,..., D. Assume that each of the branches of D is a binary caterpillar. Then for 4, we have MD D 1, D 2,..., D I D MD D 1, D 2,..., D Proof. For a fixe 2, enote by X s+β the -ary tree whose branches are β binary caterpillars Fs 2 an β binary caterpillars Fs+1, 2 where s 1 is any positive integer an β a nonnegative integer in {0, 1,..., 1} see Figure 8 for an illustration.. Figure 8. The 4-ary tree X 4 13 escribe in the proof of Theorem 13. Every tree D that matches the escription of the theorem has the form X s+β for some s an β. Set a 1 = a 2 = = a β = s an a β+1 = a β+2 = = a = s + 1. Let us prove that for fixe s 1 an β {0, 1,..., 1}, the ientity β lim n cx s+β, X n = n s + β s! β s + 1! β s + β! s+β hols. We begin by giving the recursion that counts the number of copies of X s+β in X n. Set n = m + ˆβ where ˆβ is in the resiue class of n moulo. So we have c β X s+β, X m+ = ˆβ cfa 2 αi, Fm 2 cfa 2 αi, Fm+1 2 α 1,α 2,...,α M X s+β i= β+1 by virtue of equation 2, as there cannot be any copy of X s+β in F 2 m or F 2 m+1 all the leaf-inuce subtrees of binary caterpillars are themselves binary caterpillars.

32 32 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER Passing to the ensity, we obtain γ X s+β, X m+ ˆβ = β m a αi i= β+1 m+ ˆβ s+β α 1,α 2,...,α M X s+β as soon as m s + 1. Letting m an taking the limit, we arrive at lim γ X s+β, X m m+ = ˆβ s+β s + β! Hence, we establish that lim γ M X s+β X s+β, X m m+ = ˆβ s! β s + 1! β an the first part of the theorem is prove. α 1,α 2,...,α M X s+β s + β! s+β, m+1 a αi 1 a αi!. The upper boun on I X s+β is a consequence of Theorem 7 as binary caterpillars have inucibility 1 for every see [6, Theorem 2]. This completes the proof of the theorem. Observe that for n 2, the tree Xn is an even -ary tree, an the upper boun on I X n is its precise inucibility Theorem 12. However, for n > 2, the exact inucibility of the tree Xn is not known unless = 2 an n 6. The ratio between the upper an lower bouns on the inucibility I Xn in Theorem 13 approaches 1 at the rate of n when n gets large. We conclue that the bouns on I X s+β are quite accurate for large values of n. Theorem 13 can also be aapte to a more general situation. Theorem 14. Let 2 be an arbitrary but fixe positive integer an D a -ary tree. Assume that D has branches all of which are isomorphic to the same -ary tree, say D. Then we have! I D I D D!! I D. D! Proof. The lower boun is a special case of Theorem 9 that appears in [6], while the upper boun is a consequence of Theorem 7. We conclue with lower bouns, restricting ourselves to trees with only two branches. Theorem 15. Let D be a -ary tree with two branches D 1 an D 2. Then the following inequalities hol: 1 If D 1 an D 2 have the same number of leaves: I D 2 I D 1 I D 2 ; /2

33 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 33 2 If D 1 an D 2 have a ifferent number of leaves assume D 1 < D 2 : I D D 1 D 1 D 2 D 2 I D 1 I D 2. D 1 Proof. By 2, the ensity γd, T of D in a -ary tree T with two branches T 1 an T 2 is at least 1 T1 T2 γd π1, T 1 γd π2, T 2 D π1 D π2 T π MD for T, where we only consier copies of D in which its branches D 1, D 2 are inuce by subsets of leaves of T 1, T 2. Suppose that D 1 = D 2. If D 1 an D 2 are isomorphic then consier a sequence T1 1, T1 2, T of -ary trees that is asymptotically maximal for D 1 an thus D 2. Call T n the -ary tree with two branches, each of which is isomorphic to T1 n. So we have γd, T n 1 2 T n 1 as MD = 1, an this implies that lim sup γd, T n n! D 1! 2 2 T n 2 1 γd 1, T1 n 2 D 1 2 lim sup γd 1, T1 n. n In particular, one obtains I D 2 I D 1 2. /2 If D 1 an D 2 are not isomorphic, then consier a sequence T1 1, T1 2, T of -ary trees that is asymptotically maximal for D 1 an another sequence T2 1, T2 2, T of -ary trees that is asymptotically maximal for D 2. Since one can always assume that T1 n = n = T2 n, we obtain γd, T n 1 T n T n 1 /2 T γd 1, T1 n n 2 γd 2, T2 n /2 where T n is the -ary tree with two branches, one is isomorphic to T1 n an the other one isomorphic to T2 n. Passing to the limit as n, we euce that I D lim sup γd, T n! n /2! 2 2 I D 1 I D 2. Now suppose that D 1 an D 2 have a ifferent number of leaves. One can then assume that D 1 < D 2. Choose a sequence T 1 1, T 2 1, T of -ary trees asymptotically maximal for D 1 an another sequence T 1 2, T 2 2, T of -ary trees asymptotically maximal for D 2 in such a way that T n 1 / T n 2 = D 1 / D 2 for all n which is always possible. Let T n be a -ary tree with two branches, one isomorphic to T n 1

34 34 AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER an the other one isomorphic to T2 n. Thus, we have T1 n = D 1 T n, an T2 n = D 2 T n. Set α = D 1 /. It follows that γd, T n 1 T n T 1 T γd n 1, T n n 1 2 γd 2, T2 n, D 1 D 2 = 1 α T n 1 α T γd 1, T1 n n D 1 D 2 an this gives us T n γd 2, T n 2, lim sup γd, T n α D1 1 α D 2 I D 1 I D 2. n D 1 In particular, we obtain I D D 1 D 1 D 2 D 2 I D 1 I D 2. D 1 This completes the proof of the theorem. Let us remark that one cannot improve on the lower bouns using only the argument in the proof of Theorem 15. This is because for any fixe positive integers k an l, the function fx = x k 1 x l on the interval 0, 1 has its unique maximum at k/l + k: x k 1 x l kk l l l + k l+k for all x 0, 1. Inee, the first erivative of f is given by f x = x k 1 1 x l 1 k1 x lx showing that f x 0 if an only if x k/l + k; in particular, k fx f = kk l l l + k l + k l+k for all x 0, 1. Remark 1. One erives from the proof of Theorem 15 that if D 1 an D 2 are not isomorphic but have a common sequence of trees that is asymptotically maximal for both, then the inucibility of D in -ary trees is at least 2 1 I D 1 I D 2. D 1 References [1] József Balogh, Ping Hu, Bernar Liickỳ, an Florian Pfener. Maximum ensity of inuce 5-cycle is achieve by an iterate blow-up of 5-cycle. European J. Combinatorics, 52:47 58, [2] Béla Bollobás, Yoshimi Egawa, Anrew Harris, an Guoping Jin. The maximal number of inuce r-partite subgraphs. Graphs an Combinatorics, 111:1 19, 1995.

35 FURTHER RESULTS ON THE INDUCIBILITY OF -ARY TREES 35 [3] Béla Bollobás, Chiê Nara, an Shun-ichi Tachibana. The maximal number of inuce complete bipartite graphs. Discrete mathematics, 623: , [4] Jason I. Brown an Alexaner Siorenko. The inucibility of complete bipartite graphs. J. Graph Theory, 186: , [5] Sébastien Bubeck an Nati Linial. On the local profiles of trees. J. Graph Theory, 812: , [6] Éva Czabarka, Auace A. V. Dossou-Olory, László A. Székely, an Stephan Wagner. Inucibility of -ary trees. Preprint, [7] Éva Czabarka, László A. Székely, an Stephan Wagner. Inucibility in binary trees an crossings in ranom tanglegrams. SIAM J. Discrete Mathematics, 313: , [8] Auace A. V. Dossou-Olory an Stephan Wagner. Inucibility of topological trees. Accepte for publication in Quaestiones Mathematicae, [9] Geoffrey Exoo. Dense packings of inuce subgraphs. Ars Combinatoria, 22:5 10, [10] Gofrey H. Hary, John E. Littlewoo, an George Pólya. Inequalities. Cambrige University Press, [11] Hame Hatami, James Hirst, an Serguei Norine. The inucibility of blow-up graphs. J. Combinatorial Theory, Ser. B, 109: , [12] James Hirst. The inucibility of graphs on four vertices. J. Graph Theory, 753: , [13] Hao Huang. On the maximum inuce ensity of irecte stars an relate problems. SIAM J. Discrete Mathematics, 281:92 98, [14] Nicholas Pippenger an Martin C. Golumbic. The inucibility of graphs. J. Combinatorial Theory Ser. B, 193: , [15] Charles Semple an Mike A Steel. Phylogenetics. Oxfor University Press, [16] Konra Sperfel. The inucibility of small oriente graphs. arxiv preprint arxiv: , [17] Chaim Even-Zohar, Nati Linial. A note on the inucibility of 4-vertex graphs. Graphs an Combinatorics, 315: , Auace A. V. Dossou-Olory an Stephan Wagner, Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, Matielan 7602, South Africa aress: {auace,swagner}@sun.ac.za