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 E. 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 E. 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.

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 1 and T, 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 T 1. This raises the question how the time scale associated with fluctuations, T, affects bifurcations and bi-stability. Specifically, previous studies used the model assumption of rapid fluctuations, T 1, 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.

Let V denote a set of nodes of a network with N = | V | < and A N × N the set of edges. The edges are bidirectional; therefore, ( i , j ) A implies ( j , i ) A. Each node is assigned pressure p i. The edge flow is Q i j > 0 from node i to j. We assume that the network is resistive and linear, i.e., Ohmian with Q i j = C i j ( p i p j ), where an edge carries the property of conductance between nodes i and j with C i j = C j i > 0 only if ( i , j ) A.

At each node i, Kirchhoff’s law (mass balance) demands that
(1)
with the constraint guaranteeing that total mass be conserved, i V h i = 0.
Given conductances C i j and flows Q i j, the energy consumption of the system is postulated as
(2)
by Hu and Cai.7 Each vessel segment, represented by an edge ( k , l ), consumes energy in terms of two amounts in Eq. (2). The first contribution is the power required to sustain the flow Q k l, akin to the power R I 2 dissipated by an electric current I over a resistance R = 1 / C. Second, the power required for the maintenance of the vessel segment depends on its diameter and, thereby, its conductance C k l. Larger conductance gives rise to larger maintenance power; hence, the exponent γ > 0. For real systems, the maintenance power is linear or sublinear,7 implying that γ 1. The constant c 0 = ( τ e ) 2 / γ reflects the scale ratio of flow power and maintenance power. We use the scale τ e = 1 so that c 0 = 1 / γ. The prefactor 1 / 2 compensates for double counting each edge in the sum, as both ( k , l ) and ( l , k ).
The gradient of the energy consumption (2) has the components
(3)
where we use that C i j = C j i and Q i j = Q j i. Note also that terms containing inner derivatives Q k l / C i j cancel due to mass balance (1) (see Ref. 31 for details).
A system minimizing energy consumption may adapt conductances according to a gradient descent rule,
(4)
More generally, one may consider any adaptation rule,
(5)
with arbitrary non-negative function f, which ensures d E / d t 0. Hu and Cai7 choose f ( x ) = c x 2 γ with a constant c > 0 resulting in
(6)
By the appropriate choice of units of time and conductance, we obtain the values of the constants c = 1 and c 0 = 1 / γ. Then, since Q i j = C i j ( p i p j ), we have
(7)
Note that taking into account actual vessel lengths facilitates the application of the model to real vascular networks;11 however, as a simplification, we assume all vessel segments (edges) of the network to have unit length.
Extrema and saddles of the energy landscape are characterized by E = 0, amounting to
(8)
using γ c 0 = 1. The left-hand side of this equation is the cost of dissipation caused by the direct flow between nodes k and l; the term C k l γ on the right-hand side is the maintenance cost of the vessel segment. The inner equilibria of the dynamics, equivalent to the critical points of the energy, are, thus, characterized by equality of these two contributions to the energy consumption.
We consider systems with a single source node r V having h r = 1. We denote the set of sink nodes with S V where r S. The net flow at sink nodes is assumed to fluctuate in general. This is implemented by choosing one sink s S and assigning s a larger net flow (in absolute value) than the other sinks as
(9)
The parameter α 0 determines the amplitude of fluctuations. For α = 0, fluctuations vanish with each sink i S having constant outflow h i = 1 / | S |. The case where α = 1 corresponds to a single moving sink2 since all sinks except high-flow sink s have zero net flow. When α > 1, sink nodes with i s are assigned h i > 0, so they act as sources; however, this is not a scenario we expect to occur in real systems. Yet, the following analysis is valid for all values α 0.

For stochastic sink fluctuations occurring on a time scale T > 0, the net flows in all sinks are constant on all time intervals I n = [ ( n 1 ) T , n T [ with n N. Independently for each n N, we draw the high-flow sink s n S uniformly at random (with probabilities 1 / | S |).

In this section, we discover non-local transitions where the ranking of solutions with respect to the energy functional E changes, and, thus, switching between ground (minimum E) 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 AIII C). For particular values of cost exponent γ, we reveal additional bifurcations (Sec. III D).

We consider a triangular network motif with one source h 1 = 1 and two fluctuating sinks h 2 and h 3. 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 h 2 , 3 f ( t ) fluctuates on a rapid time scale, i.e., T = T ( h 2 , 3 ) 1. The sources then obey h 2 h 3 0, and no net pumping occurs between nodes k = 2 and k = 3.

Accordingly, we seek solutions, C k l , averaged over rapid fluctuations with characteristic time scale T. We consider that C i j changes on a slow time scale, C i j C i j as T 0. From now on, we, therefore, use C k l and C k l 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 C 12 = C 13 .

In this rapid fluctuation limit, the dynamics of the conductances is constrained to a two-dimensional subspace with the dynamics governed by
(10a)
(10b)
The conductances are related via the mass balance (1), i.e.,
(11a)
(11b)
(11c)
where we may (without loss of generality) set the reference pressure p 1 = 0. The mass balance is further simplified using the symmetry C 12 = C 13 in Eqs. (11a)(11c). We omit the details of the analysis that was carried out in our previous studies9,11 and instead summarize the main results in Secs. III B and III C.

Relations between the average squared terminal fluctuations, h 1 , h 2, and h 3, and the fluctuation amplitude α relevant to evaluating the pressure difference terms in Eq. (10), are derived in Appendix A.1. in Ref. 11. They are h 2 2 = 1 + α 2 4 , ( h 2 h 3 ) 2 = α 2 , h 2 h 3 = 1 α 2 4.

The triangular motif described by Eq. (10) has two types of stationary solutions as previously shown.11 We do not explicitly calculate equilibria for (10) and, instead, refer to our previous study11 for a detailed derivation; however, we note that the symmetry assumption C 12 = C 13 in conjunction with imposing an equilibrium condition to Eq. (10) implies the key relations ( p 1 p 3 ) 2 = ( p 1 p 2 ) 2 . These include the tree-like solution, B = ( C 12 , C 23 ), with
(12)
which is always stable for 0 < γ < 1; stable for α < α c with γ = 1, and repellent for 1 < γ 2; and the cyclic solution, B Δ = ( C 12 , C 23 ), implicitly defined via the following two relations valid for γ 1,
(13a)
(13b)
For γ = 1, one may instead find9,11 the explicit solution as
(14a)
(14b)
These relations produce the bifurcation curves shown in Fig. 2. For γ 1, one may treat the variable C 12 0 as a free parameter and use (13a) and (13b) generate the tuples [ α ( C 12 ) , C 12 ] and [ α ( C 12 ) , C 23 ( C 12 ) ].
FIG. 1.

Stability diagram for the triangular network motif in the regime of rapid fluctuations ( T 1). The curves of the saddle-bifurcation (SN) and of α E ( γ ) intersect α = 1 when γ 0 0.785 and γ 1 0.816, respectively. Note that the diagram extends to α > 1 continuously, but this regime is ignored for physical reasons.

FIG. 1.

Stability diagram for the triangular network motif in the regime of rapid fluctuations ( T 1). The curves of the saddle-bifurcation (SN) and of α E ( γ ) intersect α = 1 when γ 0 0.785 and γ 1 0.816, respectively. Note that the diagram extends to α > 1 continuously, but this regime is ignored for physical reasons.

Close modal
FIG. 2.

Bifurcation diagrams (top tow) and energy diagrams (bottom row) for the triangular network motif with T 1. Diagrams are shown for γ = 0.8 (left) γ = 1 (middle) and γ = 1.11 (right). Tree-like solution branches and associated energy are shown as black curves. Cyclic solutions are shown in blue ( C 12) and red ( C 23), 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.

FIG. 2.

Bifurcation diagrams (top tow) and energy diagrams (bottom row) for the triangular network motif with T 1. Diagrams are shown for γ = 0.8 (left) γ = 1 (middle) and γ = 1.11 (right). Tree-like solution branches and associated energy are shown as black curves. Cyclic solutions are shown in blue ( C 12) and red ( C 23), 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.

Close modal

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.

FIG. 3.

Phase portraits for the triangular network motif with ( T 1) are shown in the top row (a)–(c), with parameter values α = 1 and γ specified in the panels. C 12-nullclines and C 23 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 E along the C 12-nullcline as a function of C 23. The dotted horizontal line indicates the value of E at the local minimum corresponding to the stable cyclic equilibrium solution.

FIG. 3.

Phase portraits for the triangular network motif with ( T 1) are shown in the top row (a)–(c), with parameter values α = 1 and γ specified in the panels. C 12-nullclines and C 23 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 E along the C 12-nullcline as a function of C 23. The dotted horizontal line indicates the value of E at the local minimum corresponding to the stable cyclic equilibrium solution.

Close modal
For γ < 1, the tree-like solution B Λ (12) is always present and stable for any value of α. The cyclic solution emerges in a saddle-node bifurcation (SN) at α = α \,SN ( γ ). For α < α \,SN, there is only a stable tree-like solution B Λ [see Figs. 3(a) and Fig. 2(a)]; for α > α \,SN, we see a stable node ( Δ) and a saddle (S) corresponding to cyclic solutions, and the tree-like solution ( Λ) [see Fig. 3(b) and Fig. 2(b) or 2(c)]. As a consequence, tree-like and one cyclic solution stably co-exist above the bifurcation with α > α \,SN. An approximate condition for the saddle-node bifurcation was derived previously in Ref. 11, i.e., the value for C 12 at the saddle-node bifurcation is well approximated by Ref. 32,
(15)
Substitution of this value into Eqs. (13a) and (13b) yields the conductance C 23 \,SN and the critical value α = α \,SN at the SN bifurcation in the parameter regime where γ < 1.
For γ = 1, the tree-like and cyclic solution branches collide in a transcritical bifurcation (TC). This bifurcation point occurs where the solution changes sign, and (14b) determines a critical parameter value,
(16)
in agreement with the previous studies.9,10 Thus, below the trans-critical threshold, the only stable solution is tree-like; above the threshold, the only stable solution is cyclic.

Finally, for γ > 1, 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 C 23 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 α 1 to avoid sign reversal in the terminal fluctuations (see Sec. II B). Second, for the exponent value γ > 1, the maintenance power of a vessel segment scales superlinearly with its conductance. This case appears less realistic than the linear ( γ = 1 ) and sublinear ( γ < 1) ones. Under γ > 1, maintenance power may always be lowered by replacing a vessel segment with several parallel segments while keeping total conductance.

For specific values of γ, the governing equations allow for additional saddle-node bifurcations. To see this, consider Eq. (15), which is of the general form C 12 = ( x ) β = ( 1 ) β | x | β = e i π β | x | β, with x = ( 2 / 3 ( 1 γ ) / ( 1 + γ ) ) γ 1 4 and β = 1 / ( 1 + γ ). Exponentiation with values β Z will result in a complex solution, which is to be rejected. However, exponents with β = k where k Z result in a real-valued C 12. Furthermore, C 12 > 0 if β = 2 k; but C 12 < 0 if β = 2 k + 1. Thus, we expect additional saddle-node bifurcations producing physically realistic values exactly when
(17)
Note that almost the same condition (apart from a sign flip) for the exponent of Eq. (13a) controls whether C 23 is complex- or real-valued. These additional saddle-node bifurcations are destroyed upon perturbation in γ and are, thus, not considered to be structurally robust. Nevertheless, we mention them here as they may avoid confusion for future investigators.

We now turn our attention to the model in terms of minimizing energy consumption E as given by (2). Relative values for E 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 α > α \,SN and γ 1) and of noise-driven dynamics in the regime of non-rapid slow fluctuations, which we will discuss later in Sec. II B.

Let us obtain an explicit expression for the energy consumption E of the triangular network motif. Using Q i j = C i j ( p i p j ), we can rewrite (2) in terms of pressure differences. Additionally, the symmetry of load fluctuations between nodes 2 and 3 implies C 13 = C 12, and so the energy consumption becomes
(18)
where we also replaced c 0 = γ 1. The expectation values of quadratic pressure differences have been obtained using mass balance [see Eqs. (17) and (18) in Ref. 11], which are
(19)
and
(20)
Inserting the former expressions into (18), we have
(21)

We evaluate E along the C 12-nullclines [blue curves in Figs. 3(a)3(c)], as shown in Figs. 3(d)3(f). In particular, maximum and minima of E give the energy consumption at the saddle and stable fixed points. Fixing α = 1 and choosing subcritical γ = 0.76 < γ 0, the unique minimum of E is at the tree-like solution [see Fig. 3(d)]. For values γ = 0.80 > γ 0 and γ = 0.85 > γ 0, 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 E as seen in Figs. 3(e) and 3(f). A change of behavior occurs between γ = 0.80 and γ = 0.85 at γ = γ 1. For γ < γ 1, the tree-like solution with C 23 = 0 is the unique global minimum of E. For γ > γ 1, the stable cyclic solution uniquely globally minimizes E. Thus in addition to the saddle-node bifurcation at γ = γ 0, the system undergoes another transition at γ 1, 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 α 1. In the stability diagram in Fig. 1, the curve α E ( γ ) further subdivides the parameter regime of bistability. Above the curve, i.e., for α > α E ( γ ), the stable cyclic solution is the ground state configuration. Below the curve, the tree-like solution globally minimizes E.

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 2 4 = 16 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.

FIG. 4.

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 α = 1.0. For each value of γ where a stable cyclic equilibrium exists, we plot the energy difference E E tree between cyclic solution and tree solution. The tree solution (dashed horizontal line) is the one without any of the cross-edges { 2 , 3 }, { 4 , 5 }, { 6 , 7 }, { 8 , 9 }.

FIG. 4.

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 α = 1.0. For each value of γ where a stable cyclic equilibrium exists, we plot the energy difference E E tree between cyclic solution and tree solution. The tree solution (dashed horizontal line) is the one without any of the cross-edges { 2 , 3 }, { 4 , 5 }, { 6 , 7 }, { 8 , 9 }.

Close modal

Out of the 15 cyclic combinations, 7 are not observed as stable equilibria for any values of γ [ 0 , 1 ], while α = 1.0 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 γ = 1.0, the ground state is the one with all cross-edges except { 2 , 3 }. At γ 0.86, γ 0.67, the ground state configuration switches between different cyclic equilibria. Below γ 0.30, the ground state is the tree.

We now relax the time scale separation between the sink fluctuations and the network adaptation. Accordingly, we no longer require that T 1, and we analyze the tree-node motif under stochastic fluctuations with time scale T as described in Sec. II B. We choose the fluctuation amplitude α = 1.0. Thus at any point in time, we either have h 2 ( t ) = 1 and h 3 ( t ) = 0, or h 2 ( t ) = 0 and h 3 ( t ) = 1 as the net flow at sink nodes 2 and 3. We integrate the dynamics for conductances ( C 12 , C 13 , C 23 ) according to Eq. (6). We record the distribution of C 23 values and plot histograms in Fig. 5.

FIG. 5.

Histograms of values of C 23 under load fluctuations at sink nodes 2 and 3 with α = 1.0 (single moving sink) and γ { 0.76 , 0.80 , 0.85 } for the system with one source and two sinks. The upper row of (a)–(c) has fluctuation time scale T = 1.0, the lower row of (d)–(f) has T = 0.5. In each panel, histograms are drawn for the dynamics with initial condition ( C 12 , C 13 , C 23 ) = ( 1 , 1 , 1 ) (open magenta bars), and for initial condition, C 12 = C 13 = 0.5 1 / ( 1 + γ ) and C 23 = 10 6 (solid black bars). The latter initial condition corresponds to the tree-like solution (12) perturbed by adding 10 6 to the C 23 component. Dashed vertical lines indicate the C 23 value in the stable cyclic solution [see also Figs. 3(b) and 3(c)]. Euler integration is performed with a time step Δ t = 10 4 until time t reaches 10 5. We have verified that histograms remain unchanged (up to sampling error) when varying random number sequences for the sink fluctuations.

FIG. 5.

Histograms of values of C 23 under load fluctuations at sink nodes 2 and 3 with α = 1.0 (single moving sink) and γ { 0.76 , 0.80 , 0.85 } for the system with one source and two sinks. The upper row of (a)–(c) has fluctuation time scale T = 1.0, the lower row of (d)–(f) has T = 0.5. In each panel, histograms are drawn for the dynamics with initial condition ( C 12 , C 13 , C 23 ) = ( 1 , 1 , 1 ) (open magenta bars), and for initial condition, C 12 = C 13 = 0.5 1 / ( 1 + γ ) and C 23 = 10 6 (solid black bars). The latter initial condition corresponds to the tree-like solution (12) perturbed by adding 10 6 to the C 23 component. Dashed vertical lines indicate the C 23 value in the stable cyclic solution [see also Figs. 3(b) and 3(c)]. Euler integration is performed with a time step Δ t = 10 4 until time t reaches 10 5. We have verified that histograms remain unchanged (up to sampling error) when varying random number sequences for the sink fluctuations.

Close modal

For fluctuation time scale T = 1.0 (upper row of panels in Fig. 5), the same distributions are obtained regardless of the chosen initial conditions. At γ = 0.76, in the subcritical regime with respect to the saddle-node bifurcation, the configurations encountered are tree-like with C 23 close to zero. For the supercritical choices γ = 0.80 and γ = 0.85, mostly cyclic configurations are obtained [see Figs. 5(b) and 5(c)]. In these panels, for comparison we demark the value of C 23 corresponding to the stable cyclic equilibrium obtained for the rapid fluctuation limit ( T 1) with a vertical dashed line. The distribution of C 23 peaks remains (relatively) close to this value for both γ = 0.80 and γ = 0.85. For T = 1.0 and all values of γ, the distribution of C 23 is independent of the initial condition.

At shorter fluctuation time scale T = 0.5 and supercritical γ { 0.80 , 0.85 }, the observed C 23 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 C 23 concentrating toward values close to zero. As an initial condition sufficiently far from the tree-like configuration, we use ( C 12 , C 13 , C 23 ) = ( 1 , 1 , 1 ) and observe mostly tree-like configurations.

Figure 6 shows an example of the conductances evolving under slow sink fluctuations. Notice that when sink s is active during a given time interval, the direct conductance C 1 s from source node 1 to active sink s is strengthening, while the other two conductances are exponentially decreasing. In Fig. 6, this is seen for time interval [ 62.0 , 69.0 ] where sink s = 3 is constantly active. After switching to sink s = 2, both C 12 and C 23 increase rapidly. The increase of C 23 is due to the large value of C 13 causing a low pressure difference between source 1 and sink 3 at this time. This makes the direct connection via C 12 and the indirect connection via sink 3 involving C 23 almost equally cost-efficient in establishing flow from source 1 to current sink 2. The mechanism explains the broad fluctuations in C 23 at T 1. The cross-conductance intermittently assumes values close to zero without being drawn into the equilibrium at C 23 = 0.

FIG. 6.

Example of conductances’ time evolution under slow fluctuations in the three-node system with source node 1 and sink nodes { 2 , 3 }. The thick curve indicates which one of the two sinks s { 2 , 3 } is active at any given time t. The evolution of conductances C 23 (dashed black), C 12 (solid green) and C 13 (solid blue) are show. Parameter values are γ = 0.8 and α = 1.0.

FIG. 6.

Example of conductances’ time evolution under slow fluctuations in the three-node system with source node 1 and sink nodes { 2 , 3 }. The thick curve indicates which one of the two sinks s { 2 , 3 } is active at any given time t. The evolution of conductances C 23 (dashed black), C 12 (solid green) and C 13 (solid blue) are show. Parameter values are γ = 0.8 and α = 1.0.

Close modal

Note that considerations using the energy function are only (strictly) valid for the deterministic limit (or T 1); in the case of finite time fluctuations, the energy function is no longer a Lyapunov function for the system.

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 E 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 E. Thus, each critical point of E is a fixed point of the dynamics. In particular, each local minimum of E 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 E 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 T compared to the time scale of the conductance dynamics which is of order 1. 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., T 1), 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, α.

FIG. 7.

Saddle-node bifurcation and energy landscape in an empirical vascular network. (a) Bifurcation diagram for cyclic ( C 696 , 702 > 0) 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 γ { 0.75 , 0.70 , 0.65 }, the points on the curve fulfill d C k l / d t = 0 for all { k , l } { 696 , 702 }, whereas C 696 , 702 chosen in the range [ 3 × 10 7 , 3 × 10 3 ] 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 α = 1.0, and are to be understood in the rapid limit, T 1. 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.)

FIG. 7.

Saddle-node bifurcation and energy landscape in an empirical vascular network. (a) Bifurcation diagram for cyclic ( C 696 , 702 > 0) 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 γ { 0.75 , 0.70 , 0.65 }, the points on the curve fulfill d C k l / d t = 0 for all { k , l } { 696 , 702 }, whereas C 696 , 702 chosen in the range [ 3 × 10 7 , 3 × 10 3 ] 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 α = 1.0, and are to be understood in the rapid limit, T 1. 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.)

Close modal

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 S, 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 S and that the basin size for the cyclic scales like the distance between S 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 T 1, 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 α = 1 with T 1. 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.

For future research, it could be interesting to also consider other types of time-dependent networks. In particular, how are energy configurations altered in co-evolving networks where edges are dynamically created/deleted,8,21 such as in growing supply networks?36 

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.

The authors have no conflicts to disclose.

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 sharing is not applicable to this article as no new data were created or analyzed in this study.

1.
L. V.
Kantorovich
, “
On the translocation of masses
,”
J. Math. Sci.
133
,
1381–1382
(
2006
).
2.
E.
Katifori
,
G. J.
Szőllősi
, and
M. O.
Magnasco
, “
Damage and fluctuations induce loops in optimal transport networks
,”
Phys. Rev. Lett.
104
,
048704
(
2010
).
3.
P. S.
Dodds
, “
Optimal form of branching supply and collection networks
,”
Phys. Rev. Lett.
104
,
048702
(
2010
).
4.
F.
Corson
, “
Fluctuations and redundancy in optimal transport networks
,”
Phys. Rev. Lett.
104
,
048703
(
2010
).
5.
S.
Bohn
and
M. O.
Magnasco
, “
Structure, scaling, and phase transition in the optimal transport network
,”
Phys. Rev. Lett.
98
,
3
6
(
2007
).
6.
M.
Durand
, “
Structure of optimal transport networks subject to a global constraint
,”
Phys. Rev. Lett.
98
,
1
4
(
2007
).
7.
D.
Hu
and
D.
Cai
, “
Adaptation and optimization of biological transport networks
,”
Phys. Rev. Lett.
111
,
138701
(
2013
).
8.
R.
Berner
,
T.
Gross
,
C.
Kuehn
,
J.
Kurths
, and
S.
Yanchuk
, “
Adaptive dynamical networks
,”
Phys. Rep.
1031
,
1
59
(
2023
).
9.
E. A.
Martens
and
K.
Klemm
, “
Transitions from trees to cycles in adaptive flow networks
,”
Front. Phys.
5
,
1
10
(
2017
).
10.
E. A.
Martens
and
K.
Klemm
, “Cyclic structure induced by load fluctuations in adaptive transportation networks,” in Progress in Industrial Mathematics at ECMI 2018 (Springer, 2019), pp. 147–155.
11.
K.
Klemm
and
E. A.
Martens
, “
Bifurcations in adaptive vascular networks: Toward model calibration
,”
Chaos
33
,
093135
(
2023
).
12.
J. R.
Banavar
,
A.
Maritan
, and
A.
Rinaldo
, “
Size and form in efficient transportation networks
,”
Nature
399
,
130
132
(
1999
).
13.
M.
Rohden
,
A.
Sorge
,
M.
Timme
, and
D.
Witthaut
, “
Self-organized synchronization in decentralized power grids
,”
Phys. Rev. Lett.
109
,
064101
(
2012
).
14.
P.
Blinder
,
P.
Tsai
,
J. P.
Kaufhold
,
P. M.
Knutsen
,
H.
Suhl
, and
D.
Kleinfeld
, “
The cortical angiome: An interconnected vascular network with noncolumnar patterns of blood flow
,”
Nat. Neurosci.
16
,
889
97
(
2013
).
15.
C.
Kirst
,
S.
Skriabine
,
A.
Vieites-Prado
,
T.
Topilko
,
P.
Bertin
,
G.
Gerschenfeld
,
F.
Verny
,
P.
Topilko
,
N.
Michalski
,
M.
Tessier-Lavigne
, et al., “
Mapping the fine-scale organization and plasticity of the brain vasculature
,”
Cell
180
,
780
795
(
2020
).
16.
H.
Ronellenfitsch
,
J.
Lasser
,
D. C.
Daly
, and
E.
Katifori
, “
Topological phenotypes constitute a new dimension in the phenotypic space of leaf venation networks
,”
PLoS. Comput. Biol.
11
,
e1004680
(
2015
).
17.
D. H.
Kelley
,
T.
Bohr
,
P. G.
Hjorth
,
S. C.
Holst
,
S.
Hrabětová
,
V.
Kiviniemi
,
T.
Lilius
,
I.
Lundgaard
,
K.-A.
Mardal
,
E. A.
Martens
, et al., “
The glymphatic system: Current understanding and modeling
,”
iScience
25
,
104987
(
2022
).
18.
K. H.
Jensen
,
K.
Berg-Sørensen
,
H.
Bruus
,
N. M.
Holbrook
,
J.
Liesche
,
A.
Schulz
,
M. A.
Zwieniecki
, and
T.
Bohr
, “
Sap flow and sugar transport in plants
,”
Rev. Mod. Phys.
88
,
035007
(
2016
).
19.
S.
Lämmer
,
B.
Gehlsen
, and
D.
Helbing
, “
Scaling laws in the spatial structure of urban road networks
,”
Physica A
363
,
89
95
(
2006
).
20.
P.
Abgrall
and
A.
Gue
, “
Lab-on-chip technologies: Making a microfluidic network and coupling it into a complete microsystem–a review
,”
J. Micromech. Microeng.
17
,
R15
(
2007
).
21.
T.
Gross
and
B.
Blasius
,
“Adaptive coevolutionary networks: A review
,”
J. R. Soc. Interface
5
,
259
71
(
2008
).
22.
A.
Konkol
,
J.
Schwenk
,
E.
Katifori
, and
J. B.
Shaw
, “
Interplay of river and tidal forcings promotes loops in coastal channel networks
,”
Geophys. Res. Lett.
49
,
e2022GL098284
(
2022
).
23.
F.
Kaiser
,
H.
Ronellenfitsch
, and
D.
Witthaut
, “
Discontinuous transition to loop formation in optimal supply networks
,”
Nat. Commun.
11
,
5796
(
2020
).
24.
F.
Kaiser
,
P. C.
Böttcher
,
H.
Ronellenfitsch
,
V.
Latora
, and
D.
Witthaut
, “
Dual communities in spatial networks
,”
Nat. Commun.
13
,
7479
(
2022
).
25.
G. H.
Gibbons
and
V. J.
Dzau
, “
The emerging concept of vascular remodeling
,”
N. Engl. J. Med.
330
,
1431
1438
(
1994
).
26.
J. C. B.
Jacobsen
,
M. S.
Hornbech
, and
N.-H.
Holstein-Rathlou
, “
A tissue in the tissue: Models of microvascular plasticity
,”
Eur. J. Pharm. Sci.
36
,
51
61
(
2009
).
27.
D. D.
Postnov
,
D. J.
Marsh
,
D. E.
Postnov
,
T. H.
Braunstein
,
N.-H.
Holstein-Rathlou
,
E. A.
Martens
, and
O.
Sosnovtseva
, “
Modeling of kidney hemodynamics: Probability-based topology of an arterial network
,”
PLoS. Comput. Biol.
12
,
e1004922
(
2016
).
28.
J. C. B.
Jacobsen
,
F.
Gustafsson
, and
N.-H.
Holstein-Rathlou
, “
A model of physical factors in the structural adaptation of microvascular networks in normotension and hypertension
,”
Physiol. Meas.
24
,
891
912
(
2003
).
29.
L. J.
Jensen
and
N.-H.
Holstein-Rathlou
, “
The vascular conducted response in cerebral blood flow regulation
,”
J. Cereb. Blood Flow Metab.
33
,
649
656
(
2013
).
30.
S. H.
Strogatz
,
Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering
(
CRC Press
,
2018
).
31.
Y.
Lu
and
D.
Hu
, “
Optimisation of biological transport networks
,”
East. Asian J. Appl. Math.
12
,
72
95
(
2022
).
32.
The result of Eq. (15) was rendered incorrectly as Equation (37) in Ref. 11. A correction has been published as Erratum: “Bifurcations in adaptive vascular networks: Towards model calibration,”
Chaos
33,
093135
(
2023
).
33.
P.
Blinder
,
A. Y.
Shih
,
C.
Rafie
, and
D.
Kleinfeld
, “
Topological basis for the robust distribution of blood to rodent neocortex
,”
Proc. Natl. Acad. Sci.
107
,
12670
12675
(
2010
).
34.
P. J.
Menck
,
J.
Heitzig
,
N.
Marwan
, and
J.
Kurths
, “
How basin stability complements the linear-stability paradigm
,”
Nat. Phys.
9
,
89
92
(
2013
).
35.
E. A.
Martens
,
M. J.
Panaggio
, and
D. M.
Abrams
, “
Basins of attraction for chimera states
,”
New J. Phys.
18
,
022002
(
2016
).
36.
H.
Ronellenfitsch
and
E.
Katifori
, “
Global optimization local adaptation and the role of growth in distribution networks
,”
Phys. Rev. Lett.
117
,
138301
(
2016
).