Balancing building and maintenance costs in growing transport networks
The costs associated to the length of links impose unavoidable constraints to the growth of natural and artificial transport networks. When future network developments can not be predicted, building and maintenance costs require competing minimization mechanisms, and can not be optimized simultaneously. Hereby, we study the interplay of building and maintenance costs and its impact on the growth of transportation networks through a non-equilibrium model of network growth. We show cost balance is a sufficient ingredient for the emergence of tradeoffs between the network’s total length and transport efficiency, of optimal strategies of construction, and of power-law temporal correlations in the growth history of the network. Analysis of empirical ant transport networks in the framework of this model suggests different ant species may adopt similar optimization strategies.
From roads, railways and power grids, to ant trails, leaf veins and blood vessels, transportation structures support the functions necessary to many natural and man-made systems ; ; ; ; ; ; ; ; . Transport systems are typically represented as spatial networks, where nodes are distinct locations — such as cities or ant nests — and links are physical connections between these locations — such as roads or trails . As transport networks are embedded in a metric space, the length of links is used to quantify the cost of building and maintaining the connections . These costs pose an unavoidable constraint to transport networks, which is intrinsically tied to their spatial nature. Together with the need for efficient transportation and for fault tolerance, costs affect the growth and the topology of transport networks, having profound impact on the systems that rely on them .
A great deal of theoretical and empirical research in physics, quantitative geography, and transport engineering has been devoted to understand how diverse constraints influence the evolution of natural and man-made transport networks, and to identify minimal ingredients underlying the emergence of complex topologies ; ; ; ; ; . The effects of competing design criteria have been explored, such as average shortest path versus link density  (or total length ), and total length versus synchronizability  or centrality . Other models balance the length of newly added links with the gain in centrality , or efficiency , or analyze the costs and benefits entailed by their creation . However, most of the existing models assume that (i) the network is static and/or constituted by a pre-fixed and known set of nodes, (ii) it is either planned by a central authority, or the result of a completely self-organized process, and (iii) the length of a link is a proxy for both the costs of building and maintaining it . Therefore, they neglect that (i) transport systems are typically built iteratively, often lacking information about future developments, as these may be beyond the time horizon of planners ; ; (ii) due to such dynamic evolution, in long-lived infrastructures global planning has to compromise with local constraints and competing interests , and to alternate with local optimization processes; (iii) building costs and maintenance costs act on different time scales, constituting unavoidable competing constraints that cannot be optimized simultaneously.
These three aspects are strongly related. In a static scenario, the network of minimum length spanning a fixed set of nodes (the minimum spanning tree, MST) minimizes both maintenance and building costs . In a dynamic setting, instead, when future node additions are not known in advance, or when the task of building links is partially delegated to local entities, these costs can not be minimized simultaneously. On one side, building cost is minimized by iterating the local rule of “linking each new node to the closest node in the network”. However, the obtained structure (called dynamical minimum spanning tree, dMST ) does not minimize the total length of the network , thus attaining a sub-optimal maintenance cost. On the other side, globally rearranging the network to a MST every time a node is added does minimize the total length, but it requires to destroy old links and rebuild new ones, increasing the building cost. Moreover, maintenance costs must be sustained until links are abandoned or destroyed ; , constraining the network on a longer time scale.
In this paper, we address these open issues by formulating an out-of-equilibrium model for the growth of transport networks in the context where the position of new nodes can not be predicted. By combining the two pure optimization strategies (global, centrally planned MST, and local, decentralized dMST), the model explores the antagonism between the constraints associated with building and maintenance costs.
Model — Our model grows spatial networks starting from a single node and adding one node and one link at a time, so that resulting networks are trees (see Fig. 1). (In real transport networks, fault tolerance is achieved through the presence of cycles ; . Here we restrict to trees for simplicity.) Nodes appear with the flat measure on the unit square. When a new node at position is added to the existing nodes having positions , either it is linked to the closest node (“dMST move”), or a number of links are destroyed and rebuilt in order to obtain the (unique) MST spanning all nodes at positions (“MST move”), such that the functional
is minimum. is the length that needs to be built, and is the variation in the total length of the network (these are not equal, as includes negative contributions from the deleted links). To elaborate, both and are computed every time a node is added, then the MST move is performed if , and the dMST move otherwise. The “strategy” is the only parameter of the model, taking values in . Setting prioritizes the minimization of (as expected if building costs are dominant), and the network grows only by local dMST moves. Conversely, minimizes (maintenance costs dominate), and the network is globally rewired to a MST at each step. When the two costs are comparable, intermediate values of account for both global and local length minimization and the model can alternate between MST and dMST moves. It is useful to express the growth condition in terms of the sum of the lengths of newly built and newly destroyed links, and respectively. For a MST move , while , thus the condition becomes .
Results — For each value of from 0 to 1 (by steps of 0.02), we numerically grow 70 networks up to nodes by the rules of the model. Results are averaged over these 70 networks [Supplemental Material (SM)]. For each network, we measure the normalized Hamming distance , defined as the number of links that one has to create (and destroy) in order to turn the network into the MST spanning the same set of nodes, divided by the size of the network [SM]. This quantity identifies three classes of strategies separated by two transition points, and [Fig. 2(a))]. “MST-like” strategies () grow networks at very small Hamming distance from the corresponding MST (). “dMST-like” strategies () grow networks similar to the one grown by iterating dMST moves only (). “Crossover” strategies () smoothly interpolate from one extreme to the other. The phase boundaries and the value of do not depend sensibly on network size after [SM].
The existence of three classes is further confirmed by looking at the total length and efficiency of the same networks, normalized by the corresponding MST values and as a function of [Fig. 2(b) and (c) and SM]. Efficiency quantifies how quickly information and resources are exchanged over a transport network ; , and is often regarded as one of the main design goals in planning and building these networks ; . It is known that maximizing efficiency competes with minimizing total length . Interestingly, our approach reveals that balancing building and maintenance costs entails a tradeoff between total length and efficiency [Fig. 2(b) and (c)], suggesting that the bias towards efficient transport observed in real networks may emerge under more general conditions, via optimization of a function of length alone.
To better characterize the classes of strategies observed, we introduce the waiting time , defined as the number of steps from to the first MST move, and then between two consecutive MST moves. Due to non-stationarity of the process, the probability distribution function of the waiting time depends not only on , but also on the size of the network [Fig. 2(d) and SM]. Before , is not defined, as the typical waiting times are larger than those attained by our simulations (). Accordingly, the total length is never minimized through a MST move, and networks in this regime share only a few links with the corresponding MST, typically the shortest ones [Fig. 2(e)]. A mean field estimate of can be obtained by using the condition for choosing a MST move , and assuming that, when is close to from above, a MST move destroys and re-builds nearly all the network’s links [Fig. 2(e)]. The typical length of a link in a MST of nodes can be estimated as the average nearest-neighbor distance among random points, i.e. , where is some constant. Thus, and , while . The left-hand side of the growth condition becomes . Since goes to zero for large , the condition for at least one MST move to occur in this limit becomes , which is not far from the observed .
The optimization condition also suggests that, at the onset of the crossover regime, the occurrence of a MST event is tied to the destruction of long links to build short ones. Accordingly, shows MST events are rare and happen typically at large network size [Fig. 2(d)], where the difference between long links, built in the initial steps, and links that would be built in the MST is large. At increasing , the probability of shorter waiting times increases for small network size, and MST events occur more likely. In the MST-like phase (), the growth condition is satisfied often, and decays sub-polinomially (exponentially for ) at all network sizes. Remarkably, the dynamics displays long-range memory at the transition to the minimum-length phase . Here is a power law of exponent at all sizes, and the waiting time has no typical scale (except the cut-off) contrary to the MST-like and dMST-like phases. As a consequence, the occurrence of a MST event is highly unpredictable at , where waiting times are scale free. (For further discussion see the SM.)
We analyze the performances of different growth strategies in terms of their long-term total cost by means of three time-integrated quantities , defined as
These quantities measure how much length was built ( B), destroyed ( D), or maintained ( M) up to by each strategy . and are the instantaneous lengths built and destroyed between step and step , and is the total length of the network at size . All the measures are normalized by the values they take in a pure MST dynamics (i.e., at ) with the same realization of the point process.
In the simple scenario where the costs of maintenance and building per unit length have ratio , the final cost of a network is given by . Plotting this total cost against produces a cost landscape for each value of [Fig. 3(a)]. Each cost landscape has an absolute minimum, which identifies the optimal strategy for the given ratio . Interestingly, crossover strategies turn out to be optimal for a wide range of values of the ratio (). More complicated cost scenarios can be analyzed. For example, one may consider that building costs during a MST move may be reduced by recycling the material obtained from the destruction of existing links. On the contrary, when recycling is not possible, disposing of the destroyed material may bear additional costs. Such scenarios can be described by adding the time-integrated destroyed length to the total cost: . The coefficient is the fraction of destroyed material that can be recycled (if ) or bearing additional disposal costs (if ). Also in this scenario, crossover strategies play an important role in minimizing the total efforts for construction and maintenance of transport networks [Fig. 3(b), particular case of ], realizing nontrivial tradeoffs between the competing costs. The optimal strategy is in the crossover regime even when destroying is as expensive as building and maintaining (), while MST-like strategies are optimal only when recycling strongly lowers the total cost.
All costs considered above are extensive in the length of the transport channels involved. However, length-independent costs may be present in empirical situations, for instance associated to setting up the sites for building and dismantling connections. These “fixed” costs depend on the number of links modified at each step, regardless of their length. We quantify these non-extensive costs via the total number of links that were destroyed (and rebuilt) . is the number of links destroyed at each step, and the sum is normalized by the corresponding MST value, as in (2). Interestingly, is the strategy requiring the largest number of link deletions, and is therefore a point of strong non-optimality in terms of fixed costs [Fig. 3(c)]. Crossover strategies with and MST-like strategies require to destroy (and thus to re-build) more links than in the pure MST strategy [Fig. 3(c) horizontal dashed line].
Discussion — Albeit simple, our interpolating model presents a rich behavior, providing a general framework to understand the competing nature of construction and maintenance costs. In doing so, it addresses the interplay of central planning and local growth characterizing the growth of many man-made transport networks, offering insights in the long-term outcome of different short-term construction strategies. Unexpectedly, intermediate growth strategies are optimal in many cost scenarios, as they minimise the long-term total costs entailed by the infrastructure. Moreover, we showed balancing competing costs is a minimal sufficient ingredient for the emergence of the tradeoff between the network’s total length and its transport efficiency, which is usually explained by more system-specific principles. Finally, the model displays a transition point with diverging characteristic time, similarly to the phenomenon of critical slowing down close to phase transitions in statistical mechanics, which maximizes the long-term number of links rewired.
A key premise in the formulation of the model is that the position of new nodes is not known beforehand. If the time scale of the arrival of new nodes is much larger than that of the transport processes on the network itself, then each new node needs to be connected before the position of successive nodes can be taken into account. A possible example in human systems is the evolution of bus routes ; . New areas can be quickly connected by adding further segments to bus lines stopping nearby (dMST move). However, if the whole network becomes suboptimal in terms of running costs, it may become necessary to re-design it globally (MST move). Our model suggests there may be an optimal re-organization frequency that minimizes the total costs of bus route networks.
In nature, a striking example of cost-constrained transport networks are the trails built by polydomous ant colonies to connect spatially separated nests . Under laboratory conditions, the Argentine ant Linepithema humile builds globally optimized transport networks that resemble MST or even Steiner trees (minimum spanning trees where the set of nodes is allowed to be enlarged)  [Fig. 4(a), top]. Conversely, the Australian meat ant Iridomyrmex purpureus tends to link each newly built nest to the closest one in the colony , as in the dMST move in our model [Fig. 4(a), bottom]. For these ants, it has been observed that, during colony growth, suboptimal connections can be progressively substituted with shorter ones and eventually abandoned , realising a dynamics similar to the one implemented by our model (although on a time scale comparable to that of node addition). Building on these observations, we used our model as a framework to quantify the trade-off between building and maintenance costs experienced by ants. For 30 published networks constructed by different ant species (Linepithema humile , Iridomyrmex purpureus ; ; ; , Formica lugubris ;  and Camponotus gigas , see SM for detailed description of the datasets and methods), we measured the normalized Hamming distance from the MST built on the same set of nodes, and assigned a strategy to each network by comparison with the model prediction for [Fig. 4(b)]. In all but one of the analyzed trail networks, the rescaled distance from the corresponding MST departs from at most as much as the typical dMSTs (). Interestingly, for 27 colonies out of 30, the estimated strategy is in the crossover regime (as a consequence of the distribution of their rescaled distances). This suggests both maintenance and building costs are relevant in the growth of ant networks, and that different species may share common underlying building principles and optimization strategies. Moreover, the balance between efficiency and total length characterizing most empirical ant networks , may be explained by such cost-constrained strategies alone. Alternating between local and global interventions on the network may thus confer evolutionary advantages, and should be taken into account when analysing transport networks.
We would like to thank D.J.T. Sumpter, J.L. Silverberg, J.L. Denebourg, and M. Cosentino Lagomarsino for constructive feedback and stimulating discussions. A.B. acknowledges funding from the Centre for Interdisciplinary Mathematics (CIM).
- H. Ronellenfitsch and E. Katifori. Global optimization, local adaptation, and the role of growth in distribution networks. Phys. Rev. Lett., 117:138301, Sep 2016.
- A. Tero, S. Takagi, T. Saigusa, K. Ito, D. P. Bebber, M. D. Fricker, K. Yumiki, R. Kobayashi, and T. Nakagaki. Rules for biologically inspired adaptive network design. Science, 327(5964):439–442, 2010.
- A. Perna, B. Granovskiy, S. Garnier, S. C. Nicolis, M. Labédan, G. Theraulaz, V. Fourcassié, and D. J. T. Sumpter. Individual Rules for Trail Pattern Formation in Argentine Ants (Linepithema humile). PLoS Computational Biology, 8:2592, July 2012.
- M. T. Gastner and M. E.J. Newman. Shape and efficiency in spatial distribution networks. Journal of Statistical Mechanics: Theory and Experiment, 2006(01):P01015, 2006.
- J. Buhl, J. Gautrais, N. Reeves, R.V. Solé, S. Valverde, P. Kuntz, and G. Theraulaz. Topological patterns in street networks of self-organized urban settlements. The European Physical Journal B-Condensed Matter and Complex Systems, 49(4):513–522, 2006.
- S. P. Gorman and R. Kulkarni. Spatial small worlds: new geographic patterns for an information economy. Environment and Planning B: Planning and Design, 31(2):273–296, 2004.
- G. Serini, D. Ambrosi, E. Giraudo, A. Gamba, L. Preziosi, and F. Bussolino. Modeling the early stages of vascular network assembly. The EMBO Journal, 22(8):1771–1779, 04 2003.
- D. P. Bebber, J. Hynes, P. R. Darrah, L. Boddy, and M. D. Fricker. Biological solutions to transport network design. Proceedings of the Royal Society B: Biological Sciences, 274(1623):2307–2315, 2007.
- J. Buhl, K. Hicks, E. R. Miller, S. Persey, O. Alinvi, and D. J.T. Sumpter. Shape and efficiency of wood ant foraging networks. Behavioral Ecology and Sociobiology, 63(3):451–460, 2009.
- F. Xie and D. Levinson. Modeling the growth of transportation networks: a comprehensive review. Networks and Spatial Economics, 9(3):291–307, 2009.
- M. Barthélemy. Spatial networks. Physics Reports, 499(1–3):1 – 101, 2011.
- M.T. Gastner and M.E.J. Newman. Optimal design of spatial distribution networks. Phys. Rev. E, 74:016117, 2006.
- J.R. Banavar, A. Maritan, and A. Rinaldo. Size and form in efficient transportation networks. Nature, 399:130, 1999.
- A. Maritan, F. Colaiori, A. Flammini, M. Cieplak, and J.R. Banavar. Universality classes of optimal networks. Science, 272:984–986, 1996.
- R. Guimerà, A. Diaz-Guilera, F. Vega-Redondo, A. Cabrales, and A. Arenas. Optimal network topologies for local search with congestion. Phys. Rev. Lett., 89:248701, 2002.
- V. Colizza, J.R. Banavar, A. Maritan, and A. Rinaldo. Network structures from selection principles. Phys. Rev. Lett., 92:198701, 2004.
- A. Bottinelli, E. van Wilgenburg, D. J. T. Sumpter, and T. Latty. Local cost minimization in ant transport networks: from small-scale data to large-scale trade-offs. Journal of The Royal Society Interface, 12(112), 2015.
- R. Ferrer i Cancho and R.V. Solé. Optimization in complex networks. In Statistical Mechanics of Complex Networks, volume 625 of Lecture Notes in Physics, pages 114–125. Springer, 2003.
- M. Brede. Coordinated and uncoordinated optimization of networks. Phys. Rev. E, 81:066104, 2010.
- M. Brede. Optimal synchronization in space. Phys. Rev. E, 81:025202(R), 2010.
- M. Barthélemy and A. Flammini. Optimal traffic networks. J. Stat. Mech., (07):L07002, 2006.
- A. Fabrikant, E. Koutsoupias, and C. H. Papadimitriou. Heuristically optimized trade-offs: A new paradigm for power laws in the internet. In Automata, languages and programming, volume 2380 of Lecture Notes in Computer Science, pages 110–122. Springer, 2002.
- R. Louf, P. Jensen, and M. Barthelemy. Emergence of hierarchy in cost-driven growth of spatial networks. Proceedings of the National Academy of Sciences, 110(22):8824–8829, 2013.
- P. E. O’Sullivan. Transport policy: geographic, economic, and planning aspects. Rowman and Littlefield, 1980.
- J. H.E. Taplin, M. Qui, V. K. Salim, and R. Han. Cost-benefit analysis and evolutionary computing: optimal scheduling of interactive road projects. Edward Elgar Publishing, 2005.
- V. H.P. Louzada, F. Daolio, H. J. Herrmann, and M. Tomassini. Generating robust and efficient networks under targeted attacks. arXiv preprint arXiv:1207.1291, 2012.
- R. Albert, H. Jeong, and A. Barabasi. Error and attack tolerance of complex networks. Nature, 406(6794):378–382, 07 2000.
- V. Latora. Efficient behavior of small-world networks. Physical Review Letters, 87(19), 2001.
- Z. Cook, D. W. Franks, and E. J.H. Robinson. Efficiency and robustness of ant colony transportation networks. Behavioral Ecology and Sociobiology, 68(3):509–517, 2014.
- G. Cabanes, E. van Wilgenburg, M. Beekman, and T. Latty. Ants build transportation networks that optimize cost and efficiency at the expense of robustness. Behavioral Ecology, page aru175, 2014.
- E. Van Wilgenburg and M.A. Elgar. Colony structure and spatial distribution of food resources in the polydomous meat ant iridomyrmex purpureus. Insectes sociaux, 54(1):5–10, 2007.
- N.E. Heller, K.K. Ingram, and D.M. Gordon. Nest connectivity and colony structure in unicolonial argentine ants. Insectes Sociaux, 55(4):397–403, 2008.
- J.A. Holt. Observations on the relationships between meat ants and termites in tropical australia. Journal of tropical ecology, 6(03):379–382, 1990.
- A. N. Andersen and A. D. Patel. Meat ants as dominant members of australian ant communities: an experimental test of their influence on the foraging success and forager abundance of other species. Oecologia, 98(1).
- J.D. McIver. Dispersed central place foraging in australian meat ants. Insectes Sociaux, 38(2):129–137, 1991.
- G. Boudjema, G. Lempérière, M. Deschamps-Cottin, and D. G. Molland. Analysis and nonlinear modeling of the mound-building ant formica lugubris spatial multi-scale dynamic in a larch-tree stand of the southern french alps. Ecological modelling, 190(1), 2006.
- S. Ellis, D. W. Franks, and E. J.H. Robinson. Resource redistribution in polydomous ant nest networks: local or global? Behavioral Ecology, 25(5), 2014.
- M. Pfeiffer and K.E. Linsenmair. Contributions to the life history of the malaysian giant ant camponotus gigas (hymenoptera, formicidae). Insectes Sociaux, 47(2):123–132, 2000.
- J. Dodson, P. Mees, J. Stone, and M. Burke. The principles of public transport network planning: A review of the emerging literature with select examples. Issues paper, 15, 2011.
- S.V.C. Sekhar, W. L. Yue, and M.A.P. Taylor. An approach to transit path design using gis. International Journal of Urban Sciences, 8(1):28–39, 2004.
- T. Latty, K. Ramsch, K. Ito, T. Nakagaki, D. J.T. Sumpter, M. Middendorf, and M. Beekman. Structure and formation of ant transportation networks. Journal of The Royal Society Interface, 8(62):1298–1306, 2011.
- T. Greaves and R. D. Hughes. The population biology of the meat ant. Australian Journal of Entomology, 13(4):329–351, 1974.