weight-balanced binary trees are ultrametric
Let be the set of leaf nodes in a weight-balanced binary tree. Let the distance between leaf nodes be identified with the weighted path length between them. We will show that this distance metric on is ultrametric.
Before we begin, let the join of any two nodes , denoted , be defined as the node which is the most immediate common ancestor of and (that is, the common ancestor which is farthest from the root). Also, we are using weight-balanced in the sense that
the weighted path length from the root to each leaf node is equal, and
each subtree is weight-balanced, too.
Lemma: two properties of weight-balanced trees
Because the tree is weight-balanced, the distances between any node and each of the leaf node descendents of that node are equal. So, for any leaf nodes ,
Back to the main proof
We will now show that the ultrametric three point condition holds for any three leaf nodes in a weight-balanced binary tree.
Consider any three points in a weight-balanced binary tree. If there exists a renaming of such that , then the three point condition holds. Now assume this is not the case. Without loss of generality, assume that .
Applying Eqn. 2,
Note that both and are ancestors of . Hence, is a more distant ancestor of and so must be an ancestor of .
Now, consider the path between and . to get from to is to go from up to , then up to , and then down to . Since this is a tree, this is the only path. The highest node in this path (the ancestor of both b and c) was , so the distance .
To summarize, we have , which is the desired ultrametric three point condition. So we are done.
Note that this means that, if are leaf nodes, and you are at a node outside the subtree under , then . In other words, (from the point of view of distance between you and them,) the of any subtree that is not your own doesn’t matter to you. This is expressed in the three point condition as “if two points are closer to each other than they are to you, then their distance to you is equal”.
(above, we have only proved this if you are at a leaf node, but it works for any node which is outside the subtree under , because the paths to and must both pass through ).
|Title||weight-balanced binary trees are ultrametric|
|Date of creation||2013-03-22 13:28:31|
|Last modified on||2013-03-22 13:28:31|
|Last modified by||mathcam (2727)|