Skip to main content
PLOS ONE logoLink to PLOS ONE
. 2012 Jun 6;7(6):e36715. doi: 10.1371/journal.pone.0036715

Hierarchical Ordering of Reticular Networks

Yuriy Mileyko 1,*, Herbert Edelsbrunner 2,3,4, Charles A Price 5, Joshua S Weitz 6,*
Editor: Jérémie Bourdon7
PMCID: PMC3368924  PMID: 22701559

Abstract

The structure of hierarchical networks in biological and physical systems has long been characterized using the Horton-Strahler ordering scheme. The scheme assigns an integer order to each edge in the network based on the topology of branching such that the order increases from distal parts of the network (e.g., mountain streams or capillaries) to the “root” of the network (e.g., the river outlet or the aorta). However, Horton-Strahler ordering cannot be applied to networks with loops because they they create a contradiction in the edge ordering in terms of which edge precedes another in the hierarchy. Here, we present a generalization of the Horton-Strahler order to weighted planar reticular networks, where weights are assumed to correlate with the importance of network edges, e.g., weights estimated from edge widths may correlate to flow capacity. Our method assigns hierarchical levels not only to edges of the network, but also to its loops, and classifies the edges into reticular edges, which are responsible for loop formation, and tree edges. In addition, we perform a detailed and rigorous theoretical analysis of the sensitivity of the hierarchical levels to weight perturbations. In doing so, we show that the ordering of the reticular edges is more robust to noise in weight estimation than is the ordering of the tree edges. We discuss applications of this generalized Horton-Strahler ordering to the study of leaf venation and other biological networks.

Introduction

Networks and network theory have been utilized to represent and analyze the structure and function of a myriad of biological systems. These systems span scales from cells to ecosystems and include gene regulatory networks [1], [2], metabolic pathways [3], [4], disease dynamics [5], [6], food webs [7], [8], host-parasite webs [9], [10], and social interactions [11][13]. In the process, structural archetypes have been identified including scale-free behavior, motifs, modularity, the emergence of hubs, and small-world structure [11], [14][20]. However, these theories do not typically incorporate the spatial constraints that underlie the location and connections amongst nodes and edges. Indeed, there are many examples of delivery and distribution networks where nodes and edges are physical structures embedded in space, e.g., leaf venation networks [21], [22], cardiovascular networks [23], [24], cortical networks [25], root networks [26], ant trails [27] and road networks [28]. Hence, theory is also needed to characterize biological networks whose structure is strongly influenced by physical constraints (for a review, see [29]).

Although the theory of spatial networks is quite diverse, the theory as applied to resource delivery networks in biology often involves certain simplifying assumptions. For example, in fractal branching theory, a network is seen as a perfectly self-similar structure, e.g. a dividing binary tree [30]. A prominent theory of metabolic scaling in mammals assumes the cardiovascular system is a fractal whose physical dimensions have evolved to optimally transport fluid from the aorta to capillaries [31], [32]. An extension of this model to the above-ground structure of tree branches makes similar assumptions [33]. Both models have inspired a wide array of follow-up work with increased recognition that the original fractal branching assumption is overly simplistic [34][38]. For example, in reality, physical networks in biology have side branches and are not perfectly balanced binary trees [21]. Theories of side-branching resource delivery and distribution networks have their origins in the study of river networks. In a river network, streams merge together to form larger streams. However, small streams can merge into larger streams of all scales. The topological structure of river networks can be analyzed using the so-called Horton-Strahler order [39], [40]. This scheme assigns an integer number to every branch of the network. The numbers represent different levels of the branch hierarchy, with larger numbers corresponding to the larger stream segments in the network. The Horton-Strahler ordering is the basis for the characterization of the statistical properties of river networks [41], including the finding that river networks are fractal [42]. Moreover, the side-branching statistics first introduced by Tokunaga [43] can be used to characterize universal features of river networks and departures thereof [44].

Leaf venation networks are a prominent example of a physical delivery and distribution network whose structure possess numerous side branches. The structure of leaf venation networks has broad functional implications. For example, leaf vein density is positively correlated with photosynthetic rates [45] and also influences the extent to which leaves form a hydraulic bottleneck in whole plants [46], [47]. However, many leaves of higher plants (notably most leaves of angiosperm lineages), have reticulate venation networks, involving loops within loops [22]. It has been hypothesized that reticulate patterns allow leaves to maintain the supply of water and nutrients to and from photosynthetically active chloroplasts even when flow through some edges in the network is lost [48][51] due to mechanical damage or herbivory. Unfortunately, the Horton-Strahler ordering scheme developed for the analysis of river networks is not directly applicable to reticular networks. The reason is that loops lead to inconsistencies in the merging procedure in which a strictly hierarchical order is assigned to all edges.

In this paper we propose a method that generalizes the Horton-Strahler order to planar, weighted reticular networks. Such networks encompass a large class of physical networks, where weights can often be obtained by estimating dimensions of edges, such as branch widths, or other indicators of cost or importance. While coinciding with the Horton-Strahler order for branching networks, our method also assigns hierarchical levels to the loops of the network. Moreover, it categorizes the branches into the ones responsible for the formation of loops, and the ones forming the tree structure of the network. Edge weights play an important role in our algorithm, and we perform a theoretical analysis of possible effects of weight perturbations on the hierarchical levels. We find that the loop hierarchy is more robust to measurement error of network edge weights than is the tree hierarchy. In the past, comparisons of the statistical similarity between river networks and leaves have been proposed, albeit such comparisons are restricted to leaves without loops [52]. Hence, we also discuss applications of the current method to the characterization and comparison of reticulate leaf venation networks as well as obstacles to extending this method to a more general class of networks.

Results

A Graph Theoretic Approach to Horton-Strahler Ordering of Rooted Trees

We start by reviewing the algorithm for constructing the Horton-Strahler order. For the remainder of the paper, we shall adopt the language of graph theory [53], [54]. Note that in graph theory, the “leaves” of the network are those vertices which only have a single edge that connects to them. In this context, the input to the Horton-Strahler ordering algorithm is a rooted tree, Inline graphic, where V is the set of vertices and E is the set of edges. Given such a tree, the algorithm assigns a level, Inline graphic, to each edge Inline graphic in the following way. First, assign level 1 to all edges connected to the leaves of T. Next, for each vertex having only one incident edge, e, with undefined Inline graphic, let l be the maximal level among the other incident edges. If there is a single incident edge of level l, then Inline graphic. If there are two or more incident edges of level l, then Inline graphic. The result of this algorithm is illustrated in Fig. 1A. Conventionally in the study of river networks [42], this algorithm can be summarized by a single rule which states that the order of a downstream segment is equal to

graphic file with name pone.0036715.e007.jpg (1)

where Inline graphic and Inline graphic are the order of the two upstream segments that are merging and Inline graphic is the Kronecker delta.

Figure 1. Examples of networks with hierarchical structure.

Figure 1

A common “root” or outlet denoted by the red dot at the bottom of each network: (A) Horton-Strahler stream order of branch hierarchy in a tree network; (B) Reticular network with possible loop hierarchy: the, blue, dashed loop might be less important than the red, dotted loop; (C) Reticular network of (B) with weights.

It is clear, however, that if the network has loops, as in Fig. 1B, the algorithm cannot proceed because there always will be a vertex having more than one incident edge with an undefined level. Moreover, loops in this graph seem to also form a hierarchy. For example, the loop outlined in Fig. 1B by the red dotted line may belong to a higher level than the loop outlined by the blue dashed line. It turns out that such a hierarchy can be constructed and separated from the tree hierarchy if edges have weights and the graph itself is planar. An example of such a graph is shown in Fig. 1C, where the weights represent widths of the branches.

We developed an alternative, graph theoretic approach to implement the Horton-Strahler algorithm for the case when the tree T is binary and weighted (see Methods for the complete algorithm). Note that in a rooted tree, it is possible to partially order the edges such that Inline graphic if there exists a path from the root to Inline graphic (e.g., an upstream edge) that passes through Inline graphic (e.g., a downstream edge). Further, we assume that there exist weights, Inline graphic, whose values are strictly increasing with respect to this order, that is, Inline graphic if Inline graphic. In the graph theoretic formulation of the Horton-Strahler algorithm we proceed as follows. First, we assign an order Inline graphic to all edges that connect to the leaves of the tree. Further, each edge is considered to be a disjoint component c. Next, we iterate through the remainder of the edges in order of increasing weight. For each edge e, we first evaluate whether the edge shares a vertex with a single component Inline graphic or with two components (Inline graphic and Inline graphic). If an edge shares a vertex with a single component, then we merge Inline graphic and e to form a new component whose order is the same as that of e. This merging represents the continuation of a subnetwork (e.g., the extension of a flowpath broken into segments). If an edge shares a vertex with two components, then the inclusion of edge e involves merging of two “upstream” components of the rooted tree (e.g., the merging of streams at a junction). The components are merged with the new edge to form a new (larger) component c which includes the edges in Inline graphic, Inline graphic as well as the new edge e. The order Inline graphic is assigned via the classic Horton-Strahler rule (see Eq. (1)) based on the order of the merged components, Inline graphic and Inline graphic. Further, the order of the assigned edge is set equal to that of the merged component, i.e., Inline graphic.

Ordering of Planar Weighted Graphs

We developed a graph theoretic procedure to generalize the Horton-Strahler order for planar graphs (see Methods for the complete algorithm). The input to this ordering procedure is a planar graph, Inline graphic whose weights Inline graphic are assumed to be unique. In cases where weights are non-unique then ties will be resolved arbitrarily. This planar graph need not be a tree and may contain loops. The objective of this procedure is to order both the edges and the faces of the planar graph. In the previous Results section we showed how to merge disjoint components (i.e., 0-dimensional homology classes) to reproduce the Horton-Strahler ordering for rooted trees. Whereas for planar graphs, we are interested in constructing a hierarchy of loops which represent 1-dimensional homology classes. Hence, the basis for our graph theoretic procedure is to merge loops and to merge disjoint components. The key insights to our procedure stem from noting that (i) the boundary of a face of the graph G is a loop; (ii) we can merge two faces by removing a shared edge.

The procedure to order planar weighted graphs can be summarized as follows. First, an order Inline graphic is assigned to all faces in the graph. We then iterate through edges in order of increasing weight. When a given edge is on the boundary of two distinct faces, then this edge is removed, creating a merged face. The order of this merged face follows the Horton-Strahler rule (see Eq. (1)) given the orders of the two faces. Similarly, the order of the edge to be removed is set equal to the minimum of the order of the two merged faces. A step-by-step illustration of loop merging applied to the tree in Fig. 1C is shown in Fig. 2. Notice that this procedure builds a rooted binary tree, where leaves correspond to the faces of G, and the rest of the vertices correspond to unions of these faces. The assignment of levels in this tree follows the original Horton-Strahler algorithm. It is also useful to remember that faces of G are vertices of its dual graph, Inline graphic, and merging faces of G can be thought of as adding an edge to Inline graphic. Hence, the two merging procedures that we described are, in some sense, dual. We shall refer to the binary tree of faces as the co-tree of G, and denote it by Inline graphic.

Figure 2. An illustration of the loop merging procedure.

Figure 2

The merging is applied to the graph from Fig. 1C. Red, dashed edges are the ones removed during merging, the corresponding numbers show their levels. Levels of faces is encoded by the color: white faces have level 1, light blue faces have level 2, and gold faces have level 3. Note that Inline graphic is the unbounded face.

The construction of Inline graphic removes edges from G which are responsible for the existence of loops. We shall call such edges reticular. Assignment of levels for such edges is based on the assumption that a merger should not be more significant than any of the merging elements. Notice that after removing reticular edges from G we have a spanning tree of G, which we denote by Inline graphic. This tree captures the tree-like structure of the original network, and we can assign hierarchical levels to its edges using the original Horton-Strahler algorithm. We only need to determine which vertex should be the root, and we do this by finding the vertex with a single incident weight of maximum weight. Hence, as noted in the Methods, the final step is to aply the Horton-Strahler ordering to the remainder of the graph (which is a rooted tree). The result of the complete algorithm applied to the tree in Fig. 1C is provided in Fig. 3.

Figure 3. Example of hierarchical levels.

Figure 3

The levels are assigned to the loops and branches of the network from Fig. 1C. Edge levels are shown on the left, where black edges have order 1, light blue edges have order 2 and gold edges have order 3; reticular edges are dashed. Face levels are shown in the co-tree on the right, where white nodes have order 1, light blue nodes have order 2 and gold nodes have order 3. Leaves of the co-tree are labeled by the corresponding faces while other nodes are labeled by the reticular edges causing the merger of the two child nodes. Numbers Inline graphic are Tokunaga statistics for the spanning tree and indicate the number of edges of level j joining with edges of level i [43]. Similarly, Inline graphic are Tokunaga statistics for the reticulate co-tree and indicate the number of edges and faces of level j merging with edges of level i. For both M and N, statistics are only collected when Inline graphic.

The algorithm produces three types of output. First, it provides a unique set of orders to those edges involved in the non-reticulate component of the network (Figure 3 - left panel). Second, it provides a unique set of orders to those edges involved in the formation of loops (Figure 3 - right panel). Further, one can also calculate the side-branching statistics associated with both orderings. The side-branching statistics, i.e., “Tokunaga” statistics [43], for a conventional non-loopy tree are summarized by the numbers Inline graphic which are the number of edges of level j that join with edges of level i. Because of the ordering process, these statistics are evaluated for Inline graphic. These numbers can also be divided by the number of absorbing edges, i.e., the total number of edges of level i to yield an average number of side-branches per segment. Here, the algorithm produces two sets of Tokunaga statistics, the numbers Inline graphic for the side-branching of tree edges (Figure 3 - left panel) and Inline graphic for the side-branching of reticulate edges (Figure 3 - right panel).

Sensitivity of Planar Network Ordering to Weight Perturbations

Clearly, edge weights play an important role in the construction of both loop and tree hierarchies. Unfortunately, weight estimation done in practice is often imprecise, so the order in which the algorithm iterates through the edges may be perturbed. In this section we investigate how such a perturbation affects the loop and tree hierarchies.

We start by considering the worst possible change in the hierarchical levels of loops. Notice that the highest level in the hierarchy of loops can be as low as 2. This happens when the first reticular edge creates a level 2 face and every other reticular edge merges a level 1 face with the only level 2 face (see Fig. 4A). On the other hand, the highest level in the loop hierarchy can be as high as Inline graphic, where m is the number of faces. This happens when level 1 faces are merged only with level 1 faces until only faces of level 2 are left, then level 2 faces are merged with level 2 faces until only faces of level 3 are left, and so on (see Fig. 4B). It is clear from the example in Fig. 4 that there is a permutation of edges that can change the loop hierarchy from one of the extreme cases to the other. However, in practice such a permutation would generally result in from a significant perturbation in weights. For small perturbations, it is more likely that only a few transpositions of edges will occur.

Figure 4. Example of the two extreme cases of the loop hierarchy.

Figure 4

The network has m faces, where Inline graphic for some integer Inline graphic. Inline graphic of these faces are adjacent squares and the other one is the unbounded face. Vertical edges are removed before horizontal edges as follows: (A) The edges are removed sequentially from left to right. The corresponding co-tree has the shape of a “comb” and the maximal hierarchical level is 2; (B) The edges are removed from left to right skipping every second edge. The process is repeated until all vertical edges except the rightmost one are removed. The corresponding co-tree has the height Inline graphic which is the maximal hierarchical level.

Let Inline graphic be the order of edges with respect to their weights. We shall now analyze how the structure of Inline graphic and Inline graphic changes when a single transposition occurs, that is, when the order of Inline graphic and Inline graphic is swapped. First, we notice that there will be no changes to the structure of the co-tree or the spanning tree if Inline graphic and Inline graphic are both tree edges, or if Inline graphic is a tree edge and Inline graphic is a reticular edge. Hence, there are two cases to consider: when both Inline graphic and Inline graphic are reticular, and when Inline graphic is a reticular edge and Inline graphic is a tree edge. In the former case, we can regard reticular edges as edges of the co-tree. We see then that swapping the two edges may shift a subtree of the co-tree only one level up or down. Therefore, it is reasonable to expect that hierarchical levels of loops will change at most by one. The case of a reticular edge and a tree edge is more complicated. Such a transposition may lead to detaching a subtree of the remaining spanning tree and attaching it at a different place. This may have a drastic effect on the tree hierarchy. A detailed analysis of the two cases justifying the above conclusions is present below.

Case 1

Inline graphic and Inline graphic are both reticular. Only the co-tree can be affected in this case. Let Inline graphic, Inline graphic and Inline graphic, Inline graphic be the faces merged by removing Inline graphic and Inline graphic, respectively. Also, let Inline graphic and Inline graphic. Notice that if Inline graphic and Inline graphic, then Inline graphic is not a child of Inline graphic in Inline graphic), and there will be no changes to the structure of the co-tree. Suppose that Inline graphic (the case when Inline graphic follows the same argument). Then Inline graphic is adjacent to either Inline graphic or Inline graphic; let us assume it’s Inline graphic. Removing Inline graphic before Inline graphic leads to merging Inline graphic with Inline graphic first, and then merging the resulting face with Inline graphic. The corresponding change in the tree structure, shown in Fig. 5, is a single rotation around Inline graphic. Possible changes in the levels of the nodes involved in the rotation are also shown in Fig. 5. We can see that these levels can change at most by one. However, in the worst case the change in levels may propagate up Inline graphic all the way to the root.

Figure 5. Effect of a single transposition of two reticular edges.

Figure 5

(A) the part of the network containing the two edges being transposed and the effect of the transposition on the structure of the co-tree; (B) possible level changes caused by the transposition.

Case 2

Inline graphicis a reticular edge and Inline graphic is a tree edge. Let Inline graphic and Inline graphic be the two faces merged by removing Inline graphic. Notice that there will be no changes in the structure of Inline graphic or Inline graphic if Inline graphic is not adjacent to both Inline graphic and Inline graphic. So, let Inline graphic be adjacent to Inline graphic and Inline graphic. Then removing Inline graphic before Inline graphic merges the same Inline graphic and Inline graphic, so no changes to the structure of the co-tree happen. However, Inline graphic turns into a reticular edges, and Inline graphic becomes a tree edge. Consequently, the structure of the spanning tree changes. Let Inline graphic be the set of edges incident to both Inline graphic and Inline graphic, and let Inline graphic be the tree formed by the edges in Inline graphic and the edges connected to Inline graphic and having only Inline graphic or Inline graphic as an adjacent face (see Fig. 6). Removing Inline graphic and Inline graphic splits Inline graphic into three trees, Inline graphic, Inline graphic, and Inline graphic, such that Inline graphic and Inline graphic are connected to the boundary of Inline graphic, and Inline graphic is not (Fig. 6). If Inline graphic is removed before Inline graphic, then Inline graphic is connected to Inline graphic by Inline graphic. However, if the transposition happens and Inline graphic is removed before Inline graphic, then Inline graphic is connected to Inline graphic by Inline graphic (Fig. 6). To understand the effect of such a change on hierarchical levels, we first assume that Inline graphic does not contain the root of Inline graphic. Let Inline graphic be the vertex incident to Inline graphic and Inline graphic, and let Inline graphic be the vertex incident to Inline graphic and Inline graphic. Also, let Inline graphic, where Inline graphic is regarded as an edge in Inline graphic rooted at Inline graphic, and let Inline graphic, where Inline graphic is regarded as an edge in Inline graphic rooted at Inline graphic. Denote by Inline graphic the edge of Inline graphic which is next to Inline graphic in the path from Inline graphic to the root of Inline graphic, and by Inline graphic the edge of Inline graphic which is next to Inline graphic in the path from Inline graphic to the root of Inline graphic. Then we can see that removing Inline graphic before Inline graphic can decrease the level of Inline graphic by at most Inline graphic. At the same time, the level of Inline graphic can increase by at most Inline graphic. In the worst case, these changes can propagate up Inline graphic all the way to the root. The case when the root of Inline graphic belongs to Inline graphic can lead to more drastic changes. In this case, removing Inline graphic before Inline graphic leads to recomputing levels of all edges in Inline graphic by changing the root from Inline graphic to Inline graphic. Again, this change can then propagate further to the root of Inline graphic.

Figure 6. Effect of a single transposition of a reticular edge and a tree edge.

Figure 6

(A) The part of the network containing the two edges being transposed. The brown, blue, and green triangles (and edges) denote the subtrees adjacent to the edges. (B) The effect of the transposition on the structure of the spanning tree and its hierarchical levels.

Discussion

We have shown that the hierarchy of loops often observed in reticular physical networks can be defined explicitly using a generalization of the Horton-Strahler order. To obtain such a generalization we regard the network as a weighted graph, with weights corresponding to the widths of the network branches. Noticing that the Horton-Strahler order can be computed by analyzing how specific disjoint components (sub-networks) of a (non-reticular) network are merged as the edges are added in the order of increasing weight, we show that the hierarchical order of loops in a weighted planar graph can then be computed by analyzing how the faces of the graph are merged as we remove the edges in the order of increasing weight. This approach naturally classifies graph edges into reticular edges, which are responsible for loop formation, and tree edges, which constitute a spanning tree of the graph. Hence, both the loop and the tree hierarchies can be computed.

Being able to compute hierarchical levels for loops creates new possibilities for analyzing the structure of reticular networks. By means of analogy, river networks can be compared by representing their connectivity in terms of side-branching statistics [43]. These statistics depict the ways in which smaller streams connect to larger streams at all scales of the network [44]. A similar procedure could be applied to leaf networks. For example, the current algorithm decomposes reticulate networks into a binary-tree for the loop hierarchy and a separate binary tree for the tree hierarchy. Both networks have associated Horton-Strahler orders and therefore their structure can be estimated using Tokunaga statistics. Recent innovations in software now permit semi-automated extraction of the dimension and connectivity of entire leaf vein networks and the areoles that veins surround [55]. Hence, greater quantification of leaf vein networks from across a wide range of biological diversity will soon be available for which to analyze leaf development, variation across environmental gradients and in paleobotanical studies. Current attempts to compare reticulate structure have largely focused on the density of areoles (i.e., network faces) as a proxy for the “loopiness” of the network [56]. The current study will provide additional metrics to compare the detailed branching structure of reticulate networks.

An important caveat to keep in mind when comparing reticulate network structure is that estimating weights in physical networks is by no means a trivial problem. Therefore, we have performed a theoretical analysis of possible changes in the loop and tree hierarchies due to perturbations in edge weights. We have shown that the worst possible change in the loop hierarchy is attainable, but requires a significant perturbation of weights. Taking into account that small perturbations are likely to cause only a few transpositions in the order in which the edges are removed, we have shown that a single such transposition can change the hierarchical levels of loops at most by one. We have also shown that the change in the hierarchical levels of the remaining spanning tree can be arbitrarily large even when a single transposition is performed. It is important to note that in either case the change does not happen for every transposition. Rather, the transposed edges have to satisfy a particular condition, which may happen rarely in practice. The latter claim is supported by the numerous successful applications of the Horton-Strahler order. While the method itself does not depend on any weights, the connectivity of the network is obtained by analyzing digital elevation map which contain noise [57], [58]. In particular, the difference between the correct and the computed connectivity may be exactly the same as the difference in the connectivity of our spanning tree caused by transposing two edges. Hence, the resulting hierarchy may be drastically different from the correct one. Nevertheless, the Horton-Strahler order has been successfully used for over five decades despite the potential instability identified here [39][42], [57]. We suggest that empirical characterizations of reticulate planar networks include randomization analysis on edge weights to identify the robustness of claims regarding statistical structure of side-branching of the tree and co-tree.

Many biological and physical systems are represented by non-planar physical networks [29], [59] and computing hierarchical levels of loops in such networks is still an open question. While our method can be applied to obtain the tree hierarchy of such networks, the loop hierarchy cannot be computed in this case because the algorithm relies on the fact that any loop in a planar network corresponds to a union of faces. In the mathematical language, (boundaries of) faces of a planar graph form a canonical basis for loops (1-dimensional homology classes). Such a canonical basis is not present in non-planar graphs. It is not clear at this point how to handle the non-planar case. Perhaps a method for computing loop hierarchies which is not based on the widths of the network branches could provide an answer. We hope that our approach of using algebraic topology language to deal with nodes and loops of networks will prove useful in developing such a method and complement other approaches.

Methods

Algorithm for Graph Theoretic Ordering of Rooted Trees

Here we present a graph theoretic algorithm for ordering the edges within a rooted tree, Inline graphic, where V is the set of vertices and E is the set of edges. Consider the case when the tree T is binary and weighted. Let Inline graphic be the weight function, that is, Inline graphic is the weight of an edge Inline graphic. Since the tree is rooted, there is a partial order defined on E as follows: Inline graphic if there is a path from the root to Inline graphic which passes through Inline graphic (in other words, Inline graphic is closer to the root than Inline graphic). Let us assume that the weight function is strictly increasing with respect to this order, that is, Inline graphic if Inline graphic. In this case, the Horton-Strahler order can be computed using the following procedure:

  • Let Inline graphic be the set of edges incident to leaves of T, regarded as a set of disjoint components. For each Inline graphic let Inline graphic.

  • Iterate through (the rest of the) edges in order of increasing weight. For each edge e do the following:

    1. If e shares a vertex with a single component Inline graphic, then merge Inline graphic and e into a new component c, and let Inline graphic.

    2. If e shares a vertex with two components Inline graphic, then merge Inline graphic, and e into a new component c, and assign levels as follows:

      • * If Inline graphic, then Inline graphic.

      • * If Inline graphic, then Inline graphic.

      • * Inline graphic.

Algorithm for Graph Theoretic Ordering of Planar Weighted Graphs

Here we present the algorithm for constructing the generalized Horton-Strahler order of a weighted planar graph. Let Inline graphic be a planar graph, not necessarily a tree, and again let Inline graphic be a weight function. We shall assume that w is injective (i.e., all weights are unique). Otherwise, the ties will be resolved arbitrarily. The merging procedure for computing the Horton-Strahler order works with disjoint components, which, in the language of algebraic topology, are 0-dimensional homology classes. Loops, on the other hand, are 1-dimensional homology classes. Hence, we may try to construct a hierarchy by merging loops. Notice that the boundary of a face of the graph G is a loop, and we can merge two neighboring faces by removing a shared edge. Using these two observations, we obtain the following merging procedure for loops:

  • Sort the edges so that Inline graphic, where Inline graphic is the number of edges.

  • Let Inline graphic for each face f.

  • Iterate through Inline graphic and do the following:

    1. If Inline graphic is adjacent to a single face, skip to the next edge.

    2. If Inline graphic is adjacent to two distinct faces Inline graphic and Inline graphic, remove Inline graphic from the graph, let Inline graphic, and assign the levels as follows:

      • * If Inline graphic then Inline graphic.

      • * If Inline graphic then Inline graphic.

      • * Inline graphic.

This algorithm will remove reticular edges from G, generating a spanning tree of G, which we denote by Inline graphic. Hence, we augment the procedure for constructing the loop hierarchy by the following statement:

  • Apply the Horton-Strahler ordering to the remainder of the graph, Inline graphic, (which is a rooted tree).

Acknowledgments

During preparation of this manuscript the authors became aware of a related work by Katifori and Magnasco (arXiv:1110.1412v1), concurrently submitted and accepted for publication in PLoS ONE.

Footnotes

Competing Interests: H.E. is the co-founder of GeoMagic, for which he currently serves as an Advisor. This does not alter the authors' adherence to all the PLoS ONE policies on sharing data and materials.

Funding: This work was supported by the National Science Foundation Plant Genome Research Program (grant 0820624 to H.E. and J.S.W.), the Defense Advanced Projects Research Agency (grant HR0011-09-1-0055 to H.E. and J.S.W.), and the European Science Foundation (under the Research Networking Programme on “Applied and Computational Algebraic Topology” run by H.E.). Joshua S. Weitz, Ph.D., holds a Career Award at the Scientific Interface from the Burroughs Wellcome Fund. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.

References

  • 1.Barabasi AL. Network biology: understanding the cell’s functional organization. Nature Reviews Genetics. 2004;5:101–113. doi: 10.1038/nrg1272. [DOI] [PubMed] [Google Scholar]
  • 2.Alon U. Network motifs: theory and experimental approaches. Nature Reviews Genetics. 2007;8:450–461. doi: 10.1038/nrg2102. [DOI] [PubMed] [Google Scholar]
  • 3.Guimerà R, Amaral LAN. Functional cartography of complex metabolic networks. Nature. 2005;433:895–900. doi: 10.1038/nature03288. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 4.Duarte NC, Becker SA, Jamshidi N, Thiele I, Mo ML, et al. Global reconstruction of the human metabolic network based on genomic and bibliomic data. Proc Natl Acad Sci USA. 2007;104:1777–1782. doi: 10.1073/pnas.0610772104. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 5.Newman MEJ. The spread of epidemic disease on networks. Phys Rev E. 2002;66:016128. doi: 10.1103/PhysRevE.66.016128. [DOI] [PubMed] [Google Scholar]
  • 6.Meyers LA, Pourbohloul B, Newman MEJ, Skowronski DM, Brunham RC. Network theory and SARS: predicting outbreak diversity. J Theor Biol. 2005;232:71–81. doi: 10.1016/j.jtbi.2004.07.026. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 7.Pascual M, Dunne J, editors. Oxford, UK: Oxford University Press; 2006. Ecological Networks: From Structure to Dynamics in Food Webs. [Google Scholar]
  • 8.Allesina S, Alonso D, Pascual M. A general model for food web structure. Science. 2008;320:658–661. doi: 10.1126/science.1156269. [DOI] [PubMed] [Google Scholar]
  • 9.Lafferty KD, Dobson AP, Kuris AM. Parasites dominate food web links. Proc Natl Acad Sci USA. 2006;103:11211–11216. doi: 10.1073/pnas.0604755103. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 10.Flores CO, Meyer JR, Valverde S, Farr L, Weitz JS. Statistical structure of host-phage interactions. Proc Natl Acad Sci USA. 2011;108:E288–E297. doi: 10.1073/pnas.1101595108. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 11.Watts DJ, Strogatz SH. Collective dynamics of ‘small-world’ networks. Nature. 1998;393:440–442. doi: 10.1038/30918. [DOI] [PubMed] [Google Scholar]
  • 12.Dodds PS, Muhamad R, Watts DJ. An experimental study of search in global social networks. Science. 2003;301:827–829. doi: 10.1126/science.1081058. [DOI] [PubMed] [Google Scholar]
  • 13.Christakis NA, Fowler JH. The spread of obesity in a large social network over 32 years. New England J Med. 2007;357:370–379. doi: 10.1056/NEJMsa066082. [DOI] [PubMed] [Google Scholar]
  • 14.Barabasi AL, Albert R. Emergence of scaling in random networks. Science. 1999;286:509–512. doi: 10.1126/science.286.5439.509. [DOI] [PubMed] [Google Scholar]
  • 15.Strogatz SH. Exploring complex networks. Nature. 2001;410:268–276. doi: 10.1038/35065725. [DOI] [PubMed] [Google Scholar]
  • 16.Girvan M, Newman MEJ. Community structure in social and biological networks. Proc Natl Acad Sci USA. 2002;99:7821–7826. doi: 10.1073/pnas.122653799. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 17.Albert R, Barabasi AL. Statistical mechanics of complex networks. Rev Mod Phys. 2002;74:47–97. [Google Scholar]
  • 18.Newman MEJ. The structure and function of complex networks. SIAM Review. 2003;45:167–256. [Google Scholar]
  • 19.Newman MEJ. Modularity and community structure in networks. Proc Natl Acad Sci USA. 2006;103:8577–8582. doi: 10.1073/pnas.0601602103. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 20.Alon U. Boca Raton, FL: Chapman and Hall/CRC; 2007. An Introduction to Systems Biology: Design Principles of Biological Circuits. [Google Scholar]
  • 21.Turcotte DL, Pelletier JD, Newman WI. Networks with side branching in biology. J Theor Biol. 1998;193:577–92. doi: 10.1006/jtbi.1998.0723. [DOI] [PubMed] [Google Scholar]
  • 22.Brodribb TJ, Feild TS, Sack L. Viewing leaf structure and evolution from a hydraulic perspective. Functional Plant Biology. 2010;37:488–498. [Google Scholar]
  • 23.LaBarbera M. Principles of design of fluid transport systems in zoology. Science. 1990;249:992–1000. doi: 10.1126/science.2396104. [DOI] [PubMed] [Google Scholar]
  • 24.Kassab GS. Scaling laws of vascular trees: of form and function. American Journal of Physiology - Heart and Circulatory Physiology. 2006;290:H894–H903. doi: 10.1152/ajpheart.00579.2005. [DOI] [PubMed] [Google Scholar]
  • 25.Zhang K, Sejnowski TJ. A universal scaling law between gray matter and white matter of cerebral cortex. Proceedings of the National Academy of Sciences. 2000;97:5621–5626. doi: 10.1073/pnas.090504197. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 26.Waisel Y, Eshel A, Kafkafi U, editors. CRC Press, 3 edition; 2002. Plant Roots: The Hidden Half. [Google Scholar]
  • 27.Latty T, Ramsch K, Ito K, Nakagaki T, Sumpter DJT, et al. Structure and formation of ant transportation networks. Journal of the Royal Society Interface. 2011;8:1298–1306. doi: 10.1098/rsif.2010.0612. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 28.Masucci AP, Smith D, Crooks A, Batty M. Random planar graphs and the London street network. Eur Phys J B. 2009;71:259–271. [Google Scholar]
  • 29.Barthelemy M. Spatial networks. Physics Reports – Review Section of Physics Letters. 2011;499:1–101. [Google Scholar]
  • 30.Rashevsky N. General mathematical principles in biology. In: Raschevsky N, editor, Physicomathematical Aspects of Biology. New York: Academic Press, Proceedings of the International School of Physics “Enrico Fermi”; course 16, 1962;493–524 [Google Scholar]
  • 31.West GB, Brown JH, Enquist BJ. A general model for the origin of allometric scaling laws in biology. Science. 1997;276:122–126. doi: 10.1126/science.276.5309.122. [DOI] [PubMed] [Google Scholar]
  • 32.Brown JH, Gillooly JF, Allen AP, Savage VM, West GB. Toward a metabolic theory of ecology. Ecology. 2004;77:1771–1789. [Google Scholar]
  • 33.Enquist BJ, Brown JH, West GB. Allometric scaling of plant energetics and population density. Nature. 1998;395:163–5. [Google Scholar]
  • 34.Dodds PS, Rothman DH, Weitz JS. Re-examination of the ‘”3/4-law” of metabolism. J Theor Biol. 2001;209:9–27. doi: 10.1006/jtbi.2000.2238. [DOI] [PubMed] [Google Scholar]
  • 35.Price CA, Enquist BJ. Scaling of mass and morphology in Dicotyledonous leaves: an extension of the WBE model. Ecology. 2007;88:1132–1141. doi: 10.1890/06-1158. [DOI] [PubMed] [Google Scholar]
  • 36.Savage VM, Deeds EJ, Fontana W. Sizing Up Allometric Scaling Theory. PLoS Comp Biol. 2008;4 doi: 10.1371/journal.pcbi.1000171. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 37.Banavar JR, Moses ME, Brown JH, Damuth J, Rinaldo A, et al. A general basis for quarterpower scaling in animals. Proceedings of the National Academy of Sciences. 2010;107:15816–15820. doi: 10.1073/pnas.1009974107. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 38.Kolokotrones T, Savage V, Deeds EJ, Fontana W. Curvature in metabolic scaling. Nature. 2010;464:753–756. doi: 10.1038/nature08920. [DOI] [PubMed] [Google Scholar]
  • 39.Horton RE. Erosional development of streams and their drainage basins, hydrophysical approach to quantitative morphology. Geological Society of America Bulletin. 1945;56:275–370. [Google Scholar]
  • 40.Strahler AN. Quantitative analysis of watershed geomorphology. EOS, Transactions AGU. 1957;38:913–920. [Google Scholar]
  • 41.Dodds PS, Rothman DH. Scaling, universality, and geomorphology. Annu Rev Earth Planet Sci. 2000;28:571–610. [Google Scholar]
  • 42.Rodriguez-Iturbe I, Rinaldo A. New York: Cambridge University Press; 1997. Fractal River Networks: Chance and Self-Organization. [Google Scholar]
  • 43.Tokunaga E. Consideration on the composition of drainage networks and their evolution. Geogr Rep Tokyo Metro Univ. 1978;13:1–27. [Google Scholar]
  • 44.Dodds PS, Rothman DH. Geometry of river networks III: Characterization of component connectivity. Phys Rev E. 2001;63:016117. doi: 10.1103/PhysRevE.63.016117. [DOI] [PubMed] [Google Scholar]
  • 45.Brodribb TJ, Feild TS, Jordan GJ. Leaf maximum photosynthetic rate and venation are linked by hydraulics. Plant Physol. 2007;144:1890–1898. doi: 10.1104/pp.107.101352. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 46.Cochard H, Nardini A, Coll L. Hydraulic architecture of leaf blades: where is the main resistance? Plant Cell Environ. 2004;27:1257–1267. [Google Scholar]
  • 47.Sack L, Holbrook NM. Leaf hydraulics. Ann Rev Plant Biol. 2006;57:361–381. doi: 10.1146/annurev.arplant.56.032604.144141. [DOI] [PubMed] [Google Scholar]
  • 48.Nardini A, Tyree MT, Salleo S. Xylem cavitation in the leaf of Prunus laurocerasus and its impact on leaf hydraulics. Plant Physiology. 2001;125:1700–1709. doi: 10.1104/pp.125.4.1700. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 49.Katifori E, Szollosi GJ, Magnasco MO. Damage and fluctuations induce loops in optimal transport networks. Phys Rev Lett. 2010;104:048704. doi: 10.1103/PhysRevLett.104.048704. [DOI] [PubMed] [Google Scholar]
  • 50.Sack L, Dietrich EM, Streeter CM, Sanchez-Gomez D, Holbrook NM. Leaf palmate venation and vascular redundancy confer tolerance of hydraulic disruption. Proc Natl Acad Sci USA. 2008;105:1567–1572. doi: 10.1073/pnas.0709333105. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 51.Corson F. Fluctuations and redundancy in optimal transport networks. Phys Rev Lett. 2010;104:048703. doi: 10.1103/PhysRevLett.104.048703. [DOI] [PubMed] [Google Scholar]
  • 52.Pelletier JD, Turcotte DL. Shapes of river networks and leaves: Are they statistically similar? Phil Trans Biol Sci. 2000;355:307–311. doi: 10.1098/rstb.2000.0566. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 53.Chartrand G. Dover; 1985. Introductory Graph Theory. [Google Scholar]
  • 54.Bollobas B. Springer; 1998. Modern Graph Theory. [Google Scholar]
  • 55.Price CA, Symonova O, Mileyko Y, Hilley T, Weitz JS. Leaf Extraction and Analysis Framework Graphical User Interface: Segmenting and Analyzing the Structure of Leaf Veins and Areoles. Plant Physiology. 2011;155:236–245. doi: 10.1104/pp.110.162834. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 56.Blonder B, Violle C, Bentley LP, Enquist BJ. Venation networks and the origin of the leaf economics spectrum. Ecology Letters. 2011;14:91–100. doi: 10.1111/j.1461-0248.2010.01554.x. [DOI] [PubMed] [Google Scholar]
  • 57.Tarboton DG, Bras RL, Rodriguez-Iturbe I. On the extraction of channel networks from digital elevation data. Hydrological Processes. 1991;5:81–100. [Google Scholar]
  • 58.Peckham S. New results for self-similar trees with applications to river networks. Water Resour Res. 1995;31:1023–1029. [Google Scholar]
  • 59.Gastner MT, Newman MEJ. Optimal design of spatial distribution networks. Physical Review E. 2006;74:016117. doi: 10.1103/PhysRevE.74.016117. [DOI] [PubMed] [Google Scholar]

Articles from PLoS ONE are provided here courtesy of PLOS

RESOURCES