The model by D. Hu and D. Cai [Phys. Rev. Lett. 111, 138701 (2013). doi:10.1103/PhysRevLett.111.138701] describes the self-organization of vascular networks for transport of fluids from source to sinks. Diameters, and thereby, conductances, of vessel segments evolve so as to minimize a cost functional . The cost is the trade-off between the power required for pumping the fluid and the energy consumption for vessel maintenance. The model has been used to show emergence of cyclic structures in the presence of locally fluctuating demand, i.e., non-constant net flow at sink nodes. Under rapid and sufficiently large fluctuations, the dynamics exhibits the bistability of tree-like and cyclic network structures. We compare these solutions in terms of the cost functional . Close to the saddle-node bifurcation giving rise to the cyclic solutions, we find a parameter regime where the tree-like solution rather than the cyclic solution is cost-optimal. Thus, we discover an additional, non-local transition where tree-like and cyclic solutions exchange their roles as minimum-cost (or ground) states. The findings hold both in a small system of one source and a few sinks and in an empirical vascular network with hundreds of sinks. In the small system, we further analyze the case of slower fluctuations, i.e., on the same time scale as network adaptation. We find that the noisy dynamics settles around the cyclic structures even when these structures are not cost-optimal.
Transport or distribution networks are crucial for the proper functioning of a wide range of natural and technological systems. An important question is what network structures are optimal in terms of energy consumption. A classical result is that optimal transport networks are minimal spanning trees, provided that loads are stationary;1 however, many realistic settings display fluctuating loads, in which case cyclic motifs allow for short cuts (shunts), thus improving energy consumption. A number of studies demonstrated the necessity of such cycles using optimization techniques;2–6 an alternative dynamical systems approach was put forward by Hu and Cai7 in a model where vessel diameters adapt dynamically in response to a power dissipation function, leading to adaptive network dynamics.8 The bifurcation structure for this model has been the subject of a number of studies,7,9–11 which assumed that fluctuations occur very rapidly, i.e., time scales associated with fluctuations and the vessel conductance were perfectly separated. Here, we relax this assumption and use the energy methods to elucidate the role of slower fluctuations. In a parameter regime of bistability with both tree-like and cyclic motifs, noise renders cyclic motifs more favorable even though tree-like configurations have lower energy.
I. INTRODUCTION
In natural and engineered systems, transport and flow networks are essential to the distribution of resources.12,13 Transport networks range from mammalian vascular vessel networks,14,15 leaf venation,16 and brain glymphatic fluid pathways17 to arboreal sap conduits;18 and man-made infrastructures such as roads19 and microfluidic circuits.20 Transport networks are tasked with the critical function of efficiently channeling resources from sources to sinks amidst diverse demands and constraints. The efficiency of these networks is often attributed to their ability to self-organize and adapt dynamically to local flow conditions,8,21 resulting in complex network topologies that incorporate cycles and loops2,3,22,23 and community structures.24 Such configurations are not only indicative of robustness and flexibility but also optimized in terms of energy consumption.
While the topology of technological transport networks tends to be more static and, thus, offers limited adaptability, biological networks such as the mammalian vascular system demonstrate remarkable flexibility and operate reliably over a vast parameter range,25–27 thereby avoiding the risk of failure even in extreme scenarios. In the mammalian vasculature, vessels dynamically adjust diameters in response to changes in flow properties like pressure and shear stress.28,29
A range of studies have been dedicated to the optimal network configuration in terms of energy consumption. While an optimal distribution network assumes the structure of a minimal spanning tree when loads are static,1 a range of studies revealed that fluctuating loads instead result in the emergence of cyclic motifs in order to optimize energy consumption.2–6 Intuitively, this can be explained by the realization that shunting (shortcutting) nearby nodes is cheaper than rerouting the fluctuating demands up and down a number of levels in a tree structure. An alternative line of research, introduced by Hu and Cai7 takes the perspective of dynamical systems theory, instead considering the time evolution of the network by invoking a dynamic rule for vessel diameters (conductances), such that they adapt in response to a power consumption function controlled by an exponent . Bifurcation analysis for a minimal triangular motif and larger networks in the limit of rapid fluctuations revealed that cyclic motifs may emerge in either transcritical or saddle-node bifurcations, depending on the specific value of ; moreover, the saddle-node bifurcations give rise to bi-stability between tree-like and cyclic configurations.9–11 In such a dynamical formulation, the time scales of the adaptation rule for the conductances and of fluctuations are of order and , respectively—thus, a time scale separation is made explicit. Crucially, biological settings do not adhere to a strict time scale separation, i.e., we cannot claim . This raises the question how the time scale associated with fluctuations, , affects bifurcations and bi-stability. Specifically, previous studies used the model assumption of rapid fluctuations, , but it is unclear to what extent this assumption accurately predicts the favored network configurations.
This article seeks to understand the response of adaptive flow networks, subject to non-rapid fluctuation. To achieve this, we first derive a framework for the rapid fluctuation limit, using an “energy function,”7,30 in physical terms describing the energy consumption due to dissipation along the total network. A minimal energy principle31 is used to characterize the stability of equilibria and offers a more global view on stability. Using this methodology, we are then able to study how the timescale and level of fluctuations affect the system dynamics under various conditions. Our study reveals that fluctuations may stabilize cyclic configurations even when tree-like configurations are energetically favorable. Thus, we clarify the influence of the time scale associated with fluctuations, an aspect that was neglected in previous studies.
II. MODEL
A. The model by Hu and Cai
Let denote a set of nodes of a network with and the set of edges. The edges are bidirectional; therefore, implies . Each node is assigned pressure . The edge flow is from node to . We assume that the network is resistive and linear, i.e., Ohmian with , where an edge carries the property of conductance between nodes and with only if .
B. Sink fluctuations
For stochastic sink fluctuations occurring on a time scale , the net flows in all sinks are constant on all time intervals with . Independently for each , we draw the high-flow sink uniformly at random (with probabilities ).
III. ANALYSIS
In this section, we discover non-local transitions where the ranking of solutions with respect to the energy functional changes, and, thus, switching between ground (minimum ) states occurs (see Sec. III E and III F). The impact of these transitions in a system with finite timescale fluctuations is studied in Sec III G. We provide the context for these findings by first reviewing the known saddle-node bifurcations giving rise to cyclic solutions11,23 (Secs. III A–III C). For particular values of cost exponent , we reveal additional bifurcations (Sec. III D).
A. Triangular network motif with one source and two sinks
We consider a triangular network motif with one source and two fluctuating sinks and . This motif has already been considered in the previous studies9–11 as it serves as an elementary building block for larger networks in setups with one source and many sinks (terminal loads).
We assume that drive fluctuates on a rapid time scale, i.e., . The sources then obey , and no net pumping occurs between nodes and .
Accordingly, we seek solutions, , averaged over rapid fluctuations with characteristic time scale . We consider that changes on a slow time scale, as . From now on, we, therefore, use and interchangeably and simplify notation by omitting around the conductances. Note that the symmetry of both the triangular network motif and of the (rapid) fluctuations implies that .
B. Stationary solutions of triangular motif
Stability diagram for the triangular network motif in the regime of rapid fluctuations ( ). The curves of the saddle-bifurcation (SN) and of intersect when and , respectively. Note that the diagram extends to continuously, but this regime is ignored for physical reasons.
Stability diagram for the triangular network motif in the regime of rapid fluctuations ( ). The curves of the saddle-bifurcation (SN) and of intersect when and , respectively. Note that the diagram extends to continuously, but this regime is ignored for physical reasons.
Bifurcation diagrams (top tow) and energy diagrams (bottom row) for the triangular network motif with . Diagrams are shown for (left) (middle) and (right). Tree-like solution branches and associated energy are shown as black curves. Cyclic solutions are shown in blue ( ) and red ( ), and associated energy levels in magenta. Solution branches/energies associated with the stable and unstable (saddle) branches are shown as solid and dashed curves, respectively.
Bifurcation diagrams (top tow) and energy diagrams (bottom row) for the triangular network motif with . Diagrams are shown for (left) (middle) and (right). Tree-like solution branches and associated energy are shown as black curves. Cyclic solutions are shown in blue ( ) and red ( ), and associated energy levels in magenta. Solution branches/energies associated with the stable and unstable (saddle) branches are shown as solid and dashed curves, respectively.
C. Bifurcations and stability diagram
We summarize the results of the bifurcation behavior and stability analysis for stationary solutions occurring in the triangular network motif.9,11 Bifurcation diagrams and phase diagrams for the selected values of are shown in Fig. 1 and in Figs. 3(a)–3(c), respectively.
Phase portraits for the triangular network motif with ( ) are shown in the top row (a)–(c), with parameter values and specified in the panels. -nullclines and nullclines are shown as blue and orange curves, respectively. Tree-like ( ) and cyclic ( ) equilibria are highlighted as black and magenta circles, respectively. The lower row (d)–(f) show the energy consumption along the -nullcline as a function of . The dotted horizontal line indicates the value of at the local minimum corresponding to the stable cyclic equilibrium solution.
Phase portraits for the triangular network motif with ( ) are shown in the top row (a)–(c), with parameter values and specified in the panels. -nullclines and nullclines are shown as blue and orange curves, respectively. Tree-like ( ) and cyclic ( ) equilibria are highlighted as black and magenta circles, respectively. The lower row (d)–(f) show the energy consumption along the -nullcline as a function of . The dotted horizontal line indicates the value of at the local minimum corresponding to the stable cyclic equilibrium solution.
Finally, for , the saddle-node bifurcation is annihilated in the transcritical bifurcation point TC and the tree-like and cyclic solutions stably co-exist for any value of [see Fig. 2(c)]. Note that the tree-like and cyclic solutions display nearly identical values for below a specific value of and only begin to substantially differ above a certain -value.
The stability diagram from these bifurcations is shown in Fig. 1. We remind the reader that not all values of and are of interest to us, due to certain limitations in their physical interpretations. First, we limit our attention to to avoid sign reversal in the terminal fluctuations (see Sec. II B). Second, for the exponent value , the maintenance power of a vessel segment scales superlinearly with its conductance. This case appears less realistic than the linear ( and sublinear ( ) ones. Under , maintenance power may always be lowered by replacing a vessel segment with several parallel segments while keeping total conductance.
D. Additional saddle-node bifurcations
E. Energy consumption for the triangular motif
We now turn our attention to the model in terms of minimizing energy consumption as given by (2). Relative values for evaluated at different equilibria allow for a more global characterization of stability, which is particularly useful to discuss the system behavior in the presence of multistability (occurring for and ) and of noise-driven dynamics in the regime of non-rapid slow fluctuations, which we will discuss later in Sec. II B.
We evaluate along the -nullclines [blue curves in Figs. 3(a)–3(c)], as shown in Figs. 3(d)–3(f). In particular, maximum and minima of give the energy consumption at the saddle and stable fixed points. Fixing and choosing subcritical , the unique minimum of is at the tree-like solution [see Fig. 3(d)]. For values and , i.e., above the saddle-node bifurcation, the stable cyclic solution is a local minimum; the unstable cyclic solution (saddle) is a local maximum of as seen in Figs. 3(e) and 3(f). A change of behavior occurs between and at . For , the tree-like solution with is the unique global minimum of . For , the stable cyclic solution uniquely globally minimizes . Thus in addition to the saddle-node bifurcation at , the system undergoes another transition at , where the ground state changes from the tree-like fixed point to the stable cyclic fixed point.
The phenomenon of switching ground state generalizes to parameter values . In the stability diagram in Fig. 1, the curve further subdivides the parameter regime of bistability. Above the curve, i.e., for , the stable cyclic solution is the ground state configuration. Below the curve, the tree-like solution globally minimizes .
F. System with a multitude of local minima of energy
Let us consider a larger network with more cycles and, thus, more possibilities for the presence or absence of cross-edges. Figure 4 shows the test network with 9 nodes and 12 edges, where we denote the four vertically drawn edges as cross-edges, the remaining ones as tree-edges. There are combinations of conducting/non-conducting cross-edges; 15 of these are cyclic (with at least one cross-edge conducting); the remaining combination is the tree without any conducting cross-edges.
Energies of stable equilibria in the dependence of the cost exponent in a network with one source (node 1) and eight sinks, shown in the upper right corner. Fluctuation amplitude is set to . For each value of where a stable cyclic equilibrium exists, we plot the energy difference between cyclic solution and tree solution. The tree solution (dashed horizontal line) is the one without any of the cross-edges , , , .
Energies of stable equilibria in the dependence of the cost exponent in a network with one source (node 1) and eight sinks, shown in the upper right corner. Fluctuation amplitude is set to . For each value of where a stable cyclic equilibrium exists, we plot the energy difference between cyclic solution and tree solution. The tree solution (dashed horizontal line) is the one without any of the cross-edges , , , .
Out of the 15 cyclic combinations, 7 are not observed as stable equilibria for any values of , while remains constant. For each of the remaining eight cyclic combinations, Fig. 4 displays the energy values for the stable equilibrium on the -interval where the cyclic equilibrium exists. As the parameter is varied, the ranking of equilibria by energy varies. In particular, which equilibrium constitutes the ground state is strongly parameter-dependent. At , the ground state is the one with all cross-edges except . At , , the ground state configuration switches between different cyclic equilibria. Below , the ground state is the tree.
G. Sink nodes fluctuating on finite time scale
We now relax the time scale separation between the sink fluctuations and the network adaptation. Accordingly, we no longer require that , and we analyze the tree-node motif under stochastic fluctuations with time scale as described in Sec. II B. We choose the fluctuation amplitude . Thus at any point in time, we either have and , or and as the net flow at sink nodes 2 and 3. We integrate the dynamics for conductances according to Eq. (6). We record the distribution of values and plot histograms in Fig. 5.
Histograms of values of under load fluctuations at sink nodes and with (single moving sink) and for the system with one source and two sinks. The upper row of (a)–(c) has fluctuation time scale , the lower row of (d)–(f) has . In each panel, histograms are drawn for the dynamics with initial condition (open magenta bars), and for initial condition, and (solid black bars). The latter initial condition corresponds to the tree-like solution (12) perturbed by adding to the component. Dashed vertical lines indicate the value in the stable cyclic solution [see also Figs. 3(b) and 3(c)]. Euler integration is performed with a time step until time reaches . We have verified that histograms remain unchanged (up to sampling error) when varying random number sequences for the sink fluctuations.
Histograms of values of under load fluctuations at sink nodes and with (single moving sink) and for the system with one source and two sinks. The upper row of (a)–(c) has fluctuation time scale , the lower row of (d)–(f) has . In each panel, histograms are drawn for the dynamics with initial condition (open magenta bars), and for initial condition, and (solid black bars). The latter initial condition corresponds to the tree-like solution (12) perturbed by adding to the component. Dashed vertical lines indicate the value in the stable cyclic solution [see also Figs. 3(b) and 3(c)]. Euler integration is performed with a time step until time reaches . We have verified that histograms remain unchanged (up to sampling error) when varying random number sequences for the sink fluctuations.
For fluctuation time scale (upper row of panels in Fig. 5), the same distributions are obtained regardless of the chosen initial conditions. At , in the subcritical regime with respect to the saddle-node bifurcation, the configurations encountered are tree-like with close to zero. For the supercritical choices and , mostly cyclic configurations are obtained [see Figs. 5(b) and 5(c)]. In these panels, for comparison we demark the value of corresponding to the stable cyclic equilibrium obtained for the rapid fluctuation limit ( ) with a vertical dashed line. The distribution of peaks remains (relatively) close to this value for both and . For and all values of , the distribution of is independent of the initial condition.
At shorter fluctuation time scale and supercritical , the observed distribution does depend on the initial condition [see Figs. 5(e) and 5(f)]. Using the initial conditions close to the tree-like solution, we observe only tree-like configurations with values of concentrating toward values close to zero. As an initial condition sufficiently far from the tree-like configuration, we use and observe mostly tree-like configurations.
Figure 6 shows an example of the conductances evolving under slow sink fluctuations. Notice that when sink is active during a given time interval, the direct conductance from source node 1 to active sink is strengthening, while the other two conductances are exponentially decreasing. In Fig. 6, this is seen for time interval where sink is constantly active. After switching to sink , both and increase rapidly. The increase of is due to the large value of causing a low pressure difference between source 1 and sink 3 at this time. This makes the direct connection via and the indirect connection via sink 3 involving almost equally cost-efficient in establishing flow from source 1 to current sink 2. The mechanism explains the broad fluctuations in at . The cross-conductance intermittently assumes values close to zero without being drawn into the equilibrium at .
Example of conductances’ time evolution under slow fluctuations in the three-node system with source node 1 and sink nodes . The thick curve indicates which one of the two sinks is active at any given time . The evolution of conductances (dashed black), (solid green) and (solid blue) are show. Parameter values are and .
Example of conductances’ time evolution under slow fluctuations in the three-node system with source node 1 and sink nodes . The thick curve indicates which one of the two sinks is active at any given time . The evolution of conductances (dashed black), (solid green) and (solid blue) are show. Parameter values are and .
Note that considerations using the energy function are only (strictly) valid for the deterministic limit (or ); in the case of finite time fluctuations, the energy function is no longer a Lyapunov function for the system.
IV. CONCLUSIONS AND DISCUSSION
The model by Hu and Cai describes a vascular network with adaptive conductances at two levels, namely, (i) an energy landscape established on the space of conductance values, with the energy function being the maintenance cost plus the power needed to sustain the pipe flow, summed over all vessel segments; and (ii) a system of coupled differential equations describing the time evolution of the conductances. Levels (i) and (ii) are linked through the fact that the conductances’ evolution is chosen such as to never increase the value of the energy function . Thus, each critical point of is a fixed point of the dynamics. In particular, each local minimum of is a stable fixed point (Fig. 3).
The model shows multistability already for the system of three nodes with one source and two sink nodes. The energy function is a means of discerning the stable solutions. This establishes another critical curve in parameter space where a switch in the ground state occurs: the two stable solutions, tree-like and cyclic, exchange their ranking in terms of energy and, thus, their thermodynamic stability. This phenomenon is illustrated in Fig. 4 for an example network with one source and eight sinks.
The presence of multistability brings up the question, which solution is approached by the dynamics. Specifically, is the energetically lower solution always preferred? We made this question precise by studying the effect of stochastic sink fluctuations, occurring on a time scale of order compared to the time scale of the conductance dynamics which is of order . These fluctuations were averaged over when they were assumed to occur on a faster time scale compared to the dynamics of the conductances (i.e., ), resulting in the deterministic dynamics given by Eqs. (10) and (11) (see the results in Figs. 1–3 and 7). However, when the associated time scale separation is relaxed, stochasticity is introduced in the dynamics (Fig. 5). The main result of the analysis is that the system exhibits mostly cyclic configurations even when the tree-like solution is energetically favorable in the deterministic limit for sufficiently large fluctuation strength, .
Saddle-node bifurcation and energy landscape in an empirical vascular network. (a) Bifurcation diagram for cyclic ( ) fixed point solutions in the dependence of cost exponent . (b), (c), and (d) Energy plotted along curves through configuration space. Each curve contains the stable fixed point and the saddle-point seen in (a), showing as a local minimum/maximum, respectively. For each , the points on the curve fulfill for all , whereas chosen in the range is used to parameterize the curve. The network is from the data set by Blinder et al.33 labeled 012208 with 826 nodes and 855 edges. Fluctuations have , and are to be understood in the rapid limit, . In this setting, the stable solutions with positive conductivity on the vessel between nodes 696 and 702 are the first ones to disappear by a saddle-node bifurcation as is lowered from 1.0 toward zero (see also the preliminary work in Ref. 11.)
Saddle-node bifurcation and energy landscape in an empirical vascular network. (a) Bifurcation diagram for cyclic ( ) fixed point solutions in the dependence of cost exponent . (b), (c), and (d) Energy plotted along curves through configuration space. Each curve contains the stable fixed point and the saddle-point seen in (a), showing as a local minimum/maximum, respectively. For each , the points on the curve fulfill for all , whereas chosen in the range is used to parameterize the curve. The network is from the data set by Blinder et al.33 labeled 012208 with 826 nodes and 855 edges. Fluctuations have , and are to be understood in the rapid limit, . In this setting, the stable solutions with positive conductivity on the vessel between nodes 696 and 702 are the first ones to disappear by a saddle-node bifurcation as is lowered from 1.0 toward zero (see also the preliminary work in Ref. 11.)
A question related to multistability is, thus, how large the basin of attraction is for the tree-like and cyclic solutions, respectively. The likelihood that the vascular network remains in the most energetically preferable state depends on the state’s stability against significant perturbations. While linear-stability analysis gives local information of stability, basin stability provides a more global view on this issue.34 It is not straight forward to define a trapping region (such as separatrices), especially while incorporating varying values for the system parameters. Therefore, we did not attempt to devise a measure for the basin volume; however, the inspection of the phase portraits in Figs. 3(b) and 3(c) displays that the phase space is subdivided into regions of attraction by the separatrices emanating from the saddle point , i.e., the stable and unstable manifolds. Thus, we may estimate that the basin size35 for the tree-like solution scales with the distance between the stable fixed point and and that the basin size for the cyclic scales like the distance between and the stable node . Note that all three fixed points more or less lie on a straight line. Thus, qualitatively we can see that the basin size for cycles is comparatively much larger than the one for , which at least for the shown parameters explains the higher likelihood to reside near the cyclic attractor when terminal fluctuations are sufficiently slow.
Shifting focus to larger systems, we have also analyzed the energy landscapes and dynamics on a large system based on the vascular networks empirically obtained by Blinder et al.33 Previous analysis by the authors,11 considering the rapid fluctuation limit , had shown that a saddle-node bifurcation creates a pair of fixed point solutions with non-zero conductance for each cross-edge in a large network, analogous to the case of the triangular motif. Figure 7(a) shows an example of such a bifurcation in an empirical network33 for with . Similar to the energy function of the small system evaluated along the nullclines in Fig. 3, of Figs. 7(b)–7(d) show slices through the energy landscape for the large network. The main observation from the three-node motif is reproduced in the large network: Close to the bifurcation, the tree-like solution lies energetically lower than the cyclic solution; however, this ranking switches when tuning the parameter farther away from the transition. We conjecture that the saddle-node bifurcations and the additional change of behavior in terms of the energy minimality of solutions are generic features of the model on all networks involving cycles.
ACKNOWLEDGMENTS
K.K. acknowledges support from Project No. PID2021-122256NB-C22 funded by MCIN/AEI/10.13039/501100011033/FEDER, UE. We acknowledge the financial support from the Royal Swedish Physiographic Society of Lund.
AUTHOR DECLARATIONS
Conflict of Interest
The authors have no conflicts to disclose.
Author Contributions
Konstantin Klemm: Conceptualization (equal); Formal analysis (equal); Writing – original draft (equal); Writing – review & editing (equal). Erik A. Martens: Conceptualization (equal); Formal analysis (equal); Writing – original draft (equal); Writing – review & editing (equal).
DATA AVAILABILITY
Data sharing is not applicable to this article as no new data were created or analyzed in this study.