Bipartitions¶
Many tree statistics and operations in DendroPy use the bipartition encoding
of a Tree
instance in the background, including, for example:
tree statistics and metrics
tree comparisons
tree scoring
By default, the DendroPy functions assume that bipartitions are not encoded,
or are not uptodate with respect to the current tree structure, resulting in
their recalculation every time. This is computationally inefficient, and you
want to avoid it if, indeed, the bipartition encoding of a tree is current. You
can control whether or not these service functions recalculate the bipartition
encoding by passing in the argument is_bipartitions_updated=True
to
suppress the recalculation or is_bipartitions_updated=False
to force it.
If you are doing multiple operations that require a bipartition encoding, you
should call Tree.encode_bipartitions()
once for each tree, and,
then, as long as the trees are not modified since the encoding, specify the
is_bipartitions_updated=True
argument to each of the functions that use it
to ensure that the bipartitions are not recalculated each time.
If, on the other hand, you modify a tree structure in any way, e.g., rerooting,
pruning, add/removing nodes or subtrees, you should update the bipartition
encoding of a tree yourself by calling Tree.encode_bipartitions()
, or
make sure to specify is_bipartitions_updated=False
to the first function
that you call following the tree modification.
Modeling Bipartitions¶
A Bipartition is a Partitioning of Taxa Corresponding to an Edge of a Tree¶
A bipartition is the division or sorting of the leaves/tips of a tree into two mutuallyexclusive and collectivelyexhaustive subsets (i.e., a partition, in the set theory sense, of the leaves of the tree into exactly two nonempty subsets; hence the term, “bipartition”). Every edge on a tree corresponds to a bipartition in the sense that if were were to split or bisect a tree at a particular edge, the leaf sets of each of the two new trees constitute the a bipartition of the leaf set of the original tree. In the context of evolutionary trees like a phylogeny, the leaves typically are associated with operational taxonomic unit concepts, or, for short, taxa. So, just as we view a tree as a schematic representation of the relationships of taxa, we can see bipartitions as a representation of a clustering of taxa.
For example, given a tree:
((a,(b,c)),(d,(e,f)));
the edge subtending the leaf node with taxon “d” corresponds to the bipartition that splits “d” from the rest of the taxa. Similarly, the edge subtending the mostrecent common ancestor (MRCA) node of taxa “d”, “e”, and “f” corresponds to the bipartition that splits “d”, “e”, and “f” from the rest of the taxa, “a”, “b”, and “c”.
A Bipartition Can Be Described by a Bitmask¶
If we were to index the taxa of the tree, with the first taxon getting index 1, the second index 2, the third index 3, etc. and so on until index $n$, we can represent any possible split as sequence of symbols, such as:
abbabbaa
where the symbol indicates membership in one arbitrarilylabeled group (e.g., “a”) or the other (e.g., “b”) of a particular taxon, based on how we relate the taxon indexes to the position of the symbols in sequence.
If we were to use a lefttoright order, such that the first element corresponded to the first taxon, the second to the second taxon, and so one, the above sequence would describe the a partition of the taxa {1,2,…,8} into the sets {1,4,7,8} and {2,3,5,6}. However, in DendroPy, we use a righttoleft order (for reasons explained below), such that the rightmost element corresponds to the taxon with index 1, the next rightmost element corresponds to the taxon with index 2 and so on, so the sequence above represents a partition of the taxa {1,2,…,8} into the sets {1,2,5,8} and {3,4,6,7}.
Let us say that we had a set of 8 taxa {A,B,…,H}:
A, B, C, D, E, F, G, H
which we assign indexes {1,2,…,8} according to the following scheme:
Taxon
A
B
C
D
E
F
G
H
Index
1
2
3
4
5
6
7
8
Then we can describe a bipartition that divides the taxa into two groups {A,B,E,H} and {C,D,F,G}, using righttoleft ordering and symbols “0” and “1” (instead of “a” and “b”) as:
Taxon Index
8
7
6
5
4
3
2
1
Group
0
1
1
0
1
1
0
0
We can succintly and usefully represent the bipartition above with an integer given by interpreting the sequence of 0’s and 1’s as bits. Interpreting the sequence above, “01101100”, as a binary number or bitmask means that this bipartition can be represented as the decimal integer “108”.
This, in essence, is how bipartitions are represented in DendroPy: as integers that are interpreted as bitmasks (also known as bit arrays, bit vectors, or bit fields, though exact application of terminology varies depending on whether or not primary operations are bitwise or dereferencing through offset indexes or field names, etc.), where the 0’s and 1’s assign taxa to different subsets of the bipartition.
As an example, consider the following tree:
[&R] (A,(B,(C,(D,E))));
This would be encoded as:
/ 00001 (A)
11111
 / 00010 (B)
\11110
 / 00100 (C)
\11100
 / 01000 (D)
\11000
\ 10000 (E)
The leaves are assigned bitmasks based on the indexes of the taxa, while the internal nodes are given by a bitwise ORing of the bitmasks of their children.
Modeling Bipartitions Using Leafset Bitmasks and Split Bitmasks¶
In DendroPy, bipartitions are modeled using bitmasks as discussed above, i.e., integers that, when represented as a bitarray or bitstring, specify the assignment of taxa into one of two groups, based on whether or not the bit corresponding to the taxon index is set or not.
In fact, each bipartition is actually modeled by two types of bitmasks: a leafset bitmask and a split bitmask:
A leafset bitmask is a bit array in which the presence of a taxon in the leaves descending from the edge associated with the bipartition is represented by a set bit (“1”), while its absence is represented by an unset bit (“0”). The taxa are mapped to bit positions using a leastsignificant bit mapping scheme, in which the first taxon is represented by the least significant bit, the second taxon is represented by the next most significant bit, and so on.
A split bitmask is a bit array which divides or partitions taxa by assign each taxon to one of two arbitrarilylabeled groups, “0” or “1”, depending on whether or not a bit is set or not in the position corresponding the taxon index under a leastsignficant bit mapping scheme as described above.
For bipartitions of rooted trees, the split bitmask is the same value as the leafset bitmask.
For bipartitions of unrooted trees, the split bitmask is the same value as the leafset bitmask if and only if the leastsignficant bit of the leafset bitmask is 0 (i.e., the first taxon is assigned to group “0”), or the complement of the leafset bitmask if this is the case. In other words, with unrooted trees we constrain the split bitmasks such that the first taxon and all other taxa grouped together with it are always placed in group “0”.
Why this complication?
Consider the following unrooted tree:
A C D
\  /
+++
/ \
B E
This could be represented by either of the following NEWICK strings:
[&U] ((A,B),(C,(D,E)));
[&U] (((A,B),C),(D,E));
Both the above topologies, while distinct if interpreted as rooted, represent identical unrooted toplogies.
When the bipartitions are encoded as leafset bitmasks, we get the following if the first tree statement is parsed by DendroPy:
/ 00001 (A)
/00011
 \ 00010 (B)
11111
 / 00100 (C)
\11100
 / 01000 (D)
\11000
\ 10000 (E)
and the following if the second tree statement is parsed by DendroPy:
/ 00001 (A)
/00011
/00111 \ 00010 (B)
 
11111 \ 00100 (C)

 / 01000 (D)
\11000
\ 10000 (E)
Note that the leafset bitmask “11100” in the first tree is absent in the second tree, while conversely, the leafset bitmask “00111” in the second tree is absent in the first tree.
This difference is due purely to the placement of the root to one side or the other of taxon ‘C’. In rooted trees, this root is a real root, and this difference in bipartitions as given by the leafset bitmasks is also real. In unrooted trees, this “root” is actually an artifact of the tree structure, and the placement is an artifact of the NEWICK string representation. In unrooted trees, then the difference in bipartitions as given by the leafset bitmasks is, thus, wholly artifactual. This means that it would be impossible to robustly and reliably compare, relate, and perform any operations on bipartitions coded using leafset bitmasks on unrooted trees: what is effectively the equivalent bipartition of taxa maybe represented either by placing, the first taxon and all the other taxa in the same group as it in group “0” in one representation, or group “1” in another one, and which representation is used is arbitrary and random and unpredictable.
Thus, to allow for robustly establishing equivalence of bipartitions across different representations and instantiations of different unrooted trees, we normalize the bit array representation of bipartitions in unrooted trees to always ensure that the first taxon is assigned to group “0”, whether or not this taxon is actually a descendent or a member of the leafset of the edge. [We also collapse the basal bifurcation of unrooted trees to avoid redundant representation of artifactual bipartitions.]
As the first taxon corresponds to the leastsignificant bit in the DendroPy scheme, this normalization is known as the leastsignificant bit 0 or “LSB0” normalization scheme. The choice of 0 as opposed to 1 is arbitrary, but the reason is so ensure that we can have consistent comparisons of groups across trees of different rotations (and “pseudorootings” created by the constraints of tree representation in, e.g., the NEWICK format) by enforcing the convention that group “0” will always be the group that includes the first taxon (i.e., the taxon with index 1, corresponding to the position of the leastsignificant or rightmost bit).
We refer to this normalized version of the leafset bitmask as a split bitmask. For consistency, bipartitions of rooted trees are also assigned split bitmasks, but here these are simply the unmodifed leafset bitmasks. For both unrooted and rooted trees we maintain the leafset bitmask representation in parallel for each bipartition, as this has useful information is lost when normalized, e.g., establishing whether or not a particular subtree or taxon can be found within bipartition.
Thus, regardless of whether the tree is rooted or unrooted, each bipartition on is modeled by two bitmasks: a split bitmask and leafset bitmask. For rooted trees, these are identical in value. For unrooted trees, the split bitmask is the leafset bitmask normalized to constrain the least significant bit to be 0.
A split bitmask is used to establish identity across different trees (for this reason it is also sometimes called a split or bipartition hash), while a leafset bitmask is used to work with various ancestordescendent relationships within the same tree (it can be used to, for example, quickly assess if a taxon descends from a particular node, or if a particular node is a common ancestor of two taxa).
Leafset bitmasks are unstable representations of bipartitions for unrooted trees, but remain accurate and convenient representations of the descendent leafsets of nodes in both unrooted and rooted trees. Split bitmasks, on the other hand, are stable representations of bipartitions for both unrooted as well as rooted trees, but are not accurate representations of the taxa associated with the leaves descended from the bipartition of a particular edge.
Using Bipartitions¶
Bipartition Encoding¶
The bipartition encoding of a tree is a specification of the structure of tree in terms of the complete set of bipartitions that can be found on it. Given a bipartition encoding of a tree, the entire topology can be reconstructed completely and accurately. In addition, the bipartition encoding of trees can be used to quickly and accurately compare, relate, and calculate various statistics between different trees and within the same tree.
In DendroPy, the Tree.encode_bipartitions
method calculates the
bipartitions of a tree. The Edge.bipartition
attribute of each edge
will be populated by a Bipartition
instance, each of which has the
bipartition’s split bitmask stored in the Bipartition.split_bitmask
attribute and the leafset bitmask stored in the
Bipartition.leaf_bitmask
attribute. In addition, each
Bipartition
also stores a reference to the edge to which it
corresponds in its Bipartition.edge
attribute. For convenience, the
split bitmask and the leafset bitmask associated with each bipartition of an
edge can be also be accesed through the Edge.split_bitmask
and
Ede.leafset_bitmask
properties, respectively.
You can access these Bipartition
objects by iterating over the edges
of the tree, but it might be more convenient to access them through the
Tree.bipartition_encoding
attribute of the Tree
. You can also
access a dictionary mapping Bipartition
instances to their
corresponding edges through the Tree.bipartition_edge_map
attribute, or
a dictionary mapping split bitmasks to their corresponding edges through the
Tree.split_bitmask_edge_map
attribute.
By default, the Bipartition
instances created are immutable. This is
to allow them to be used in sets or dictionary keys, and thus exploit O(1)
lookup/access performance. The hash value of a Bipartition
object is
its Bipartition.split_bitmask
attribute; two distinct
Bipartition
objects are considered equivalent even if they refer to
different Edge
objects on different Tree
objects if their
Bipartition.split_bitmask
values are the same. If you need to modify
the values of a Bipartition
, you need to set the
Bipartition.is_mutable
attribute to True
. Note that changing any
values that modify the hash of a Bipartition
instance that is already
in a hash container such as a set or dictionary will make that instance or
possibly other members of the container inaccessible: never change the value of
a Bipartition
instance if it is in a set or dictionary.
Calculating Bipartitions on Trees¶
A large number of DendroPy functions calculate the split and leafset bitmasks in the background: from tree comparison approaches (e.g., calculating the RobinsonFoulds distance), to working with withintree operations (e.g., finding the mostrecent common ancestor between two nodes or patrisitic distances between taxa), to treeset operations (e.g., building consensus trees or scoring tree leafset credibilities and finding the maximum leafset credibility tree).
When passing trees to these methods and functions, these functions will call
Tree.encode_bipartitions
automatically for you unless you explicitly
specify that this should not be done by passing in
‘is_bipartitions_updated=True
’.
The typical usage idiom in this context would be to:
Establish a common taxon namespace [i.e., creating a global
TaxonNamespace
object and pass it in to all reading/parsing/input operations]Read/load the trees, calling
Tree.encode_bipartitions
on each one.Perform the calculations, making sure to specify
is_bipartitions_updated=True
.
For, example, the following snippet shows how you might count the number of trees in a bootstrap file that have the same topology as a tree of interest:
import dendropy
from dendropy.calculate import treecompare
taxa = dendropy.TaxonNamespace()
target_tree = dendropy.Tree.get_from_path(
"mle.tre",
"nexus",
taxon_namespace=taxa)
count = 0
for sup_tree in dendropy.Tree.yield_from_files(
files=["boots1.tre", "boots2.tre", "boostraps3.tre"],
schema="nexus",
taxon_namespace=taxa):
d = treecompare.symmetric_difference(target_tree, sup_tree)
if d == 0:
count += 1
print(count)
For this application, it is simpler just to let the calculations take place in the background. But, for example, if for some reason you wanted to do something more complicated, as it calculating the counts with respect to multiple trees of interest, you should try and avoid the redundant recalculation of the bitmasks:
import dendropy
from dendropy.calculate import treecompare
taxa = dendropy.TaxonNamespace()
tree1 = dendropy.Tree.get_from_path(
"mle1.tre",
"nexus",
taxon_namespace=taxa)
tree1.encode_bipartitions()
tree2 = dendropy.Tree.get_from_path(
"mle2.tre",
"nexus",
taxon_namespace=taxa)
tree2.encode_bipartitions()
counts1 = 0
counts2
for sup_tree in dendropy.Tree.yield_from_files(
files=["boots1.tre", "boots2.tre", "boostraps3.tre"],
schema="nexus",
taxon_namespace=taxa):
sup_tree.encode_bipartitions()
if treecompare.symmetric_difference(
tree1, sup_tree, is_bipartitions_updated=True):
count1 += 1
if treecompare.symmetric_difference(
tree2, sup_tree, is_bipartitions_updated=True):
count2 += 2
print(count1, count2)
Note that in all cases, for bipartitions to be meaningfully compared two conditions must hold:
The trees must reference the same operational taxonomic unit namespace object,
TaxonNamespace
.The trees must have the same rooting state (i.e., all rooted or all unrooted).