Abstract
Let T n be the complete binary tree of height n, with root 1 n as the maximum element. For T a tree, define \(A(n;T) = \vert{ \{S \subseteq T^{n} : 1_{n} \in S, S \cong T\} \vert}\) and \(C(n;T) = \vert{ \{S \subseteq T^{n} : S \cong T\} \vert}\). We disprove a conjecture of Kubicki, Lehel and Morayne, which claims that \(\frac{A(n;T_1)}{C(n;T_1)} \leq \frac{A(n;T_2)}{C(n;T_2)}\) for any fixed n and arbitrary rooted trees T 1 T 2. We show that A(n; T) is of the form \(\sum_{j=0}^lq_j(n) 2^{jn}\) where l is the number of leaves of T, and each q j is a polynomial. We provide an algorithm for calculating the two leading terms of q l for any tree T. We investigate the asymptotic behaviour of the ratio A(n; T)/C(n; T) and give examples of classes of pairs of trees T 1, T 2 where it is possible to compare A(n; T 1)/C(n; T 1) and A(n; T 2)/C(n; T 2). By calculating these ratios for a particular class of pairs of trees, we show that the conjecture fails for these trees, for all sufficiently large n. Kubicki, Lehel and Morayne have proved the conjecture when T 1, T 2 are restricted to being binary trees. We also look at embeddings into other complete trees, and we show how the result can be viewed as one of many possible correlation inequalities for embeddings of binary trees. We also show that if we consider strict order-preserving maps of T 1, T 2 into T n (rather than embeddings) then the corresponding correlation inequalities for these maps also generalise to arbitrary trees.
Similar content being viewed by others
References
Anderson, I.: Combinatorics of Finite Sets, Oxford University Press, 1987.
Kubicki, G., Lehel, J. and Morayne, M.: A ratio inequality for binary tree and the best secretary, Comb. Probab. Comput. 11 (2002), 149–161.
Kubicki, G., Lehel, J. and Morayne, M.: An asymptotic ratio in the complete binary tree, Order 20 (2003), 91–97.
Kubicki, G., Lehel, J. and Morayne, M.: Counting chains and antichains in the complete binary tree, Unpublished.
Morayne, M., Partial-order analogue of the secretary problem: The binary tree case, Discrete Math. 184 (1998), 165–181.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Georgiou, N. Embeddings and Other Mappings of Rooted Trees Into Complete Trees. Order 22, 257–288 (2005). https://doi.org/10.1007/s11083-005-9020-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-005-9020-y