Abstract
Transport in crowded, complex environments occurs across many spatial scales. Geometric restrictions can hinder the motion of individuals and, combined with crowding, can have drastic effects on global transport phenomena. However, in general, the interplay between crowding and geometry in complex real-life environments is poorly understood. Existing analytical methodologies are not always readily extendable to heterogeneous environments and, in these situations, predictions of crowded transport behaviour rely on computationally intensive mesh-based approaches. Here, we take a different approach based on networked representations of complex environments in order to provide an efficient framework to explore the interactions between environments’ geometry and crowding. We demonstrate how this framework can be used to extract detailed information both at the level of the individual as well as of the whole population, identify the environments’ topological features that enable accurate prediction of transport phenomena, and provide insights into the design of optimal environments.
Similar content being viewed by others
Introduction
The efficacy of a wide range of cellular processes within living organisms, from protein synthesis1 to the initiation of a T-cell immune response2, hinges upon the timely transport of macromolecules through crowded intracellular environments3. The motion of individuals within complex environments is central, but not limited to, cell biology, and is important in a wide range of scientific and technological disciplines. Indeed, understanding the roles that both geometry and crowding play in regulating transport processes has immediate and disparate applications across a vast range of spatial and temporal scales, from designing planning algorithms for autonomous robotic motion4 to utilising the transport of nanoparticles to deliver targeted drug therapies5. However, despite the ubiquity of applications, a general means to quantify and characterise the relationships between environmental geometry, crowding and transport phenomena in complex real-life environments remain elusive. Mathematical studies such as this one can play a key role in identifying and quantifying such relationships.
The behaviour of crowded individuals has captured the attention of mathematicians and physicists for decades6,7,8,9, and the environments in which the individuals are constrained to have been found to have large consequences for the emergent transport behaviour. For particles diffusing along an infinite one-dimensional lattice10, excluded volume interactions between particles significantly hinder the motion of tracer particles and can induce a qualitative shift in the time-dependence of the mean squared displacement (MSD) from classically diffusive (MSD ~ t) to anomalously diffusive (MSD ~ tα, where α < 1). However, for some fractal environments, including diffusion-limited aggregates, the MSD for a tracer particle has the same exponent both in the presence and absence of crowding11. Moreover, on comb lattices (one-dimensional backbones with periodic and infinite extrusions representing low-dimensional environments) exclusion interactions along the backbone result in a speed-up of the transport of a tracer particle, and even results in super-diffusive behaviour (MSD ~ tα, where α > 1) on intermediate timescales12. Crowding in complex environments has also been studied on higher-dimensional (greater than or equal to two) regular lattices, such as diffusion in the presence of obstacles13,14,15 and crowded transport on Manhattan lattices16 where environmental complexity arises via disordered directionality in the lattice. The above studies make analytical progress in understanding crowded transport behaviour by utilising symmetry and scaling arguments, as well as exploiting the infinite size of these domains. Whilst less common, there are studies that make analytical progress in understanding crowded transport in finite heterogeneous environments. For example, the transport of proteins within heterochromatin has been studied using results from transport within fractal environments17. Additionally, analytical results from lattice gas cellular automata models have been used to study cell migration in heterogeneous environments, by coupling the automata to a vector field representing environmental complexity18. However, when interested in exploring microscopic properties of crowded transport in detailed non-fractal real-life environments, such as the intracellular environment, many of these analytical approaches are not readily extendable. In such situations, sophisticated numerical approaches are employed instead.
Significant technological advances in imaging techniques, such as light-sheet microscopy19 and x-ray tomography20, have drastically enhanced the availability of high-resolution images of complex environments (see Fig. 1a). Incorporating these detailed geometries into mathematical studies of crowded transport requires discretisation of the geometry into a high-resolution mesh, this is a collection of interconnected voxels upon which transport models can be studied numerically. However, numerically integrating equations of motion on these meshes can incur significant computational costs, particularly for stochastic modelling paradigms that require repeated simulations to explore expected transport behaviour21,22,23. If these computational costs are too high they present a barrier to studying a large ensemble of geometries, as is necessary to properly characterise how geometry and crowding influences transport behaviour. In addition, it remains unclear how to relate such high-dimensional descriptions of the geometry with statistics of the transport process in order to fully understand the relationship between geometry and crowded transport.
Circumventing the limitations of high-resolution meshes requires a framework for studying crowded transport in complex environments that avoids traditional spatial discretisation methods. A proposed alternative description of complex geometries is to represent the geometry as a network24,25,26. In particular, geologists have used these networked representations to study the transport of fluid and sediment through porous media27. There are several available algorithms (such as the maximal ball algorithm25 and SNOW26) to extract networked representations that initially dissect complex geometries into several reservoirs (see Fig. 1b). Connecting these reservoirs are narrow regions of space that are referred to as throats. These throats represent highly restricted regions where individuals experience strong crowding, as seen within heterogeneous porous media27, nanotubes in microfluidic devices28, and in newly discovered nanotunnels that connect mitochondria29. Networks are formed by assigning the reservoirs to be the network nodes, and an edge connects two nodes if the corresponding reservoirs are connected by a throat. The reservoirs are often described as balls with a volume equal to the volume of the reservoir, this leads to what is referred to as a balls and sticks network (Fig. 1c). By virtue of the fact that the reservoirs are typically much larger than a voxel in a mesh reconstruction (Fig. 1c), such networks provide a low-dimensional, efficient characterisation of the complex geometry. Indeed, application of a network extraction algorithm (SNOW26) to the cardiomyocyte image in Fig. 1a produces a network with 81 reservoirs, whereas the natural Cartesian mesh (where each pixel is represented as a voxel) has 16,774 voxels (see Supplementary Note 4 and Supplementary Fig. 10).
Beyond dimensionality reduction, networked representations allow one to characterise the role of geometry in regulating transport processes due to the breadth of available topological descriptors that can predict networked transport behaviour30,31,32. For example, two classes of summary statistics that are known to accurately predict various emergent transport behaviours are degree-based statistics (these depend solely on the degree distribution of the network, where the degree of a node is equal to the number of edges adjacent to that node) and spectral-based statistics (quantities based on the eigendecomposition of network-related matrices, such as the graph Laplacian33).
Whilst the majority of the literature on networked transport focuses on single non-crowded individuals, there have been several studies exploring crowded transport processes on networks. The totally asymmetric simple exclusion process (TASEP) is a transport process where particles can move only in one direction along one-dimensional segments and individuals cannot bypass each other. The TASEP has been studied extensively on the one-dimensional line34, small graphs35,36 and large networks37,38,39, where the uni-directionality of the transport results in various behaviours such as shocks and traffic jams40. In addition the TASEP has been used to model, for example, protein dynamics along microtubule networks41,42. In these models proteins are assumed globally well-mixed within a single large reservoir which is coupled to a filament network upon which the proteins perform asymmetric random walks with exclusion.
In contrast, in this work, we are interested in the unbiased transport of individuals that are locally well-mixed within the reservoirs that make up the network. Moreover, the individuals are purely constrained to the network and experience crowding only within geometrically constrained regions (Fig. 1d). As such we build a mathematical framework to study the transport of individuals on general finite networks (in the form of balls and sticks, Fig. 1d) where crowding effects are present only along the edges of the network.
We introduce our framework for crowded, networked transport by presenting a hierarchy of diffusive transport models with increasing computational scalability (Supplementary Table 1 provides a summary). The ability of our framework to identify governing principles connecting transport, crowding and geometry is demonstrated through an examination of how crowding and topology affect networked equilibration times43. Understanding this relationship is crucial as many results within statistical physics assume an equilibrated population, but the validity of this assumption is rarely addressed44. A key result of our work is that heterogeneity in the microscopic structure of complex environments enables low-connectivity networks, as seen in networked descriptions of real-world environments (Fig. 1a–d), to achieve globally minimal equilibration times. We conclude by extending our framework to provide information on the dynamics of a single motile individual, an extension which opens the door to studying the dynamics of intracellular signalling pathways45, where the dynamics of individual proteins are known to control a vast range of biological processes, such as T-cell activation and stem cell differentiation.
Results
Individual crowding combined with geometry-induced crowding drastically slows equilibration
A complex environment (Fig. 1a–d) is described by a network \({{{{{{{\mathcal{G}}}}}}}}=\{{{{{{{{\mathcal{V}}}}}}}},{{{{{{{\mathcal{E}}}}}}}}\}\), where \({{{{{{{\mathcal{V}}}}}}}}\) is the set of reservoirs and their connectivity is specified by the set of edges \({{{{{{{\mathcal{E}}}}}}}}\). Each edge represents a narrow channel within the geometry where crowding between individuals is non-negligible (Fig. 1d). To incorporate crowding, a narrow channel \((i,j)\in {{{{{{{\mathcal{E}}}}}}}}\) connecting distinct reservoirs i and j is discretised using a one-dimensional lattice with integer length K(i,j), where individuals undergo a symmetric random walk and at most one individual may occupy each lattice site (Supplementary Note 3 provides a relaxation of this assumption), this process is known as a symmetric simple exclusion process (SSEP)46. Crowded transport within this networked environment is modelled using a canonical framework for stochastic processes, the continuous-time Markov chain (CTMC). A population of N individuals is distributed on the network (Fig. 2c) and their positions evolve as follows. An individual within a narrow channel lattice site attempts to jump into an adjacent lattice site or reservoir at rate α. If the adjacent site is already occupied a collision event occurs and the jump is aborted (Fig. 2a). However, due to the volumetric differences between reservoirs and narrow channels (Fig. 1b) crowding effects in reservoirs are assumed negligible and so jumps into reservoirs are never aborted. Individuals within each reservoir are assumed well-mixed. Those in reservoir i attempt to jump into the first lattice site of one of their connecting narrow channels at rate γi (Fig. 2a), this means that \({\tau }_{i}={\gamma }_{i}^{-1}\) is the average time taken for an individual in the ith reservoir to exit the reservoir. This exit time depends strongly on the local geometry of each reservoir47,48 and can be calculated as follows. To calculate the mean reservoir exit time for a well-mixed individual we can first consider narrow exit time problems, for which both analytical and computational approaches are readily available48,49,50. Narrow exit times quantify the time taken for a particle to reach a narrow opening (such as the opening of a narrow channel) conditional on the initial position of the individual. Integrating these quantities over the reservoir and normalising by the reservoir volume, will yield mean exit times for well-mixed individuals. However, in the interest of maintaining generality, we keep the parameters τi to be abstract, but note particular reservoir geometries can be incorporated as described above. This CTMC is referred to as the full Markov model (FMM) and a formal description is given in the “Methods”, section “Full Markov model”.
Evaluating how geometry combined with crowding can impact transport behaviour requires a suitable summary statistic with which to characterise transport. Intuitively, it can be reasoned that the effects of crowding between individuals along narrow channels should result in a “slowing down” of the transport process as individuals in the channels block the paths of others. The insightful statistic to quantify such an effect is the time taken for an initially unequilibrated population of individuals to become well-mixed. This time is known as the equilibration time and is calculated as the reciprocal of the spectral gap (second smallest eigenvalue in absolute value) of the transition matrix for the CTMC51. The average reservoir mean exit time, \(\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle =\left(\mathop{\sum }\nolimits_{i = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{\tau }_{i}\right)/| {{{{{{{\mathcal{V}}}}}}}}|\), quantifies the time for an individual to attempt to leave the average reservoir. As the individual τi are dictated by the geometry of each reservoir, the average reservoir mean exit time is a global geometric descriptor of the complex environment. We note that considering higher-order moments of the reservoir exit time would reveal higher-order geometric effects, however, these cannot be incorporated in a Markovian model such as the one we consider here. By computing the spectral gap of the transition matrix of the FMM, we explore the relationship between the equilibration time and the average reservoir exit time for a small network (Fig. 2b, inset) in both the absence and presence of crowding. In the absence of crowding, networks with lower average reservoir mean exit times will facilitate quicker equilibration (Fig. 2b, dot-dashed curve). Intuitively this is unsurprising as individuals attempt to move between reservoirs more frequently. With crowding effects incorporated, the monotonicity between the average reservoir mean exit time and the equilibration time is lost (Fig. 2b, solid curve). The equilibration time rises once the volume-excluding interactions within the narrow channels induce a bottle-neck that impedes transport between reservoirs. Thus, a combination of the localised geometry responsible for creating narrow channels (geometry-induced crowding) and interactions between the individuals within a narrow channel (crowding between individuals) can significantly increase the time taken for a population to equilibrate. We derive an analytical condition for when the equilibrium occupancy of each narrow channel lattice site is high and thus crowding effects are important, which is \(\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle \ll {N}_{{{{{\rm{HD}}}}}}/\left(\alpha | {{{{{{{\mathcal{V}}}}}}}}| \right)\), where \({N}_{{{{{\rm{HD}}}}}}=\left(N-{K}_{{{{{\rm{tot}}}}}}\right)\) is the effective number of particles in the reservoirs and Ktot is the total number of lattice sites across all narrow channels (see Methods, section “High-density condition”). We will term this regime the high-density regime and it determines when the combination of localised geometry and crowding is most prominent (Fig. 2b, left shaded region).
Whilst the FMM is a conceptually ideal way to describe crowded transport in complex geometries, evaluating the equilibration time is computationally infeasible for all but the simplest networks (Fig. 2b, inset) as the dimensionality of the transition matrix for the FMM is \({{{{{{{\mathcal{O}}}}}}}}\left({2}^{{K}_{{{{{\rm{tot}}}}}}}{N}^{| {{{{{{{\mathcal{V}}}}}}}}| -1}\right)\) (see Supplementary Note 1). Therefore, to further investigate the role of crowding and geometry on transport behaviour it is critical to consider dimensionality reduction techniques.
Scaling to large geometries
Networked representations of complex environments (Fig. 1a) may contain on the order of hundreds or even thousands of interconnected reservoirs. In light of such, we require models that scale computationally to large environments whilst incorporating details of their microscopic spatial structure. The high dimensionality of the FMM arises from explicitly modelling the occupancy of every lattice site along every narrow channel.
To make progress we introduce a reduced Markov model (RMM) which, in lieu of considering the dynamics within the narrow channels in detail, allows for direct exchange of individuals between reservoirs (Fig. 2d). This approach is reminiscent of the average current calculations for exclusion processes between two open boundaries52. For the RMM let n be the configuration vector, where ni is the number of individuals in the ith reservoir. Focussing on the high-density regime (Supplementary Note 1 discusses the low-density regime), where crowding effects are most important, the rate at which exchange between two connected reservoirs i and j occurs, denoted \({k}_{i,j}^{{{{{\rm{HD}}}}}\,}({{{{{{{\boldsymbol{n}}}}}}}})\), is calculated by considering the dynamics of the interacting individuals along the narrow channels (see the “Methods”, section “Reduced Markov model”). By invoking particle–hole duality53, it is convenient to consider the dynamics of the vacant sites rather than the individuals explicitly. The resulting expression for \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}({{{{{{{\boldsymbol{n}}}}}}}})\) is given by
Similar to the FMM, the RMM is a CTMC and the reciprocal of the spectral gap of the transition matrix provides the equilibration time. However, the dimensionality of the RMM is still prohibitively high, \({{{{{{{\mathcal{O}}}}}}}}\left({N}^{| {{{{{{{\mathcal{V}}}}}}}}| -1}\right)\), and does not scale computationally to large complex environments.
Further dimensionality reduction can be achieved through a continuous mean-field approximation of reservoir occupancy in the RMM. Introducing x, such that xi = ni/NHD is the fraction of the population that lies within the ith reservoir, and expanding the chemical master equations governing the RMM as a Taylor series provides the corresponding Fokker–Planck equation, a partial differential equation describing the evolution of the probability density for the distribution of individuals (see the “Methods”, section “Ornstein–Uhlenbeck process”). In equilibrium, the networked distribution of the population is determined by the reservoir geometry and is given by x* such that \({x}_{i}^{* }={\tau }_{i}/\mathop{\sum }\nolimits_{j = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{\tau }_{j}\) (see the “Methods”, section “Ornstein–Uhlenbeck process”). Localising the Fokker–Planck equation about x* reveals that the population dynamics as the networked distribution equilibrates is governed by an Ornstein–Uhlenbeck (OU) process which is known to be Gaussian54. Thus, from an initial configuration of individuals x0, the configuration at time t follows a multivariate normal distribution with known mean vector μ(t; x0) given by
where I is the identity matrix, and covariance matrix Σ(t; x0) given by
where FHD and DHD are drift and diffusion matrices, respectively (see the “Methods”, section “Ornstein–Uhlenbeck process”). The entries of the drift matrix FHD are given by
for i ≠ j, and \({F}_{i,i}^{\,{{{{\rm{HD}}}}}}=-{\sum }_{j\ne i}{F}_{j,i}^{{{{{\rm{HD}}}}}\,}\) for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\), where \({{{{{{{{\mathcal{A}}}}}}}}}_{i,j}\) are the entries of the network adjacency matrix and \({k}_{i,j}^{\,{{{{\rm{HD}}}}}}({N}_{{{{{\rm{HD}}}}}}{{{{{{{{\bf{x}}}}}}}}}^{* })\) is the continuous extension of \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}({{{{{{{\boldsymbol{n}}}}}}}})\) defined in Eq. (1). The entries of the diffusion matrix DHD are
for i ≠ j, and \({D}_{i,i}^{\,{{{{\rm{HD}}}}}}=-{\sum }_{j\ne i}{D}_{i,j}^{{{{{\rm{HD}}}}}\,}\) for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). Equation (2) reveals that the equilibration time of the OU process is dictated by the spectral gap of the drift matrix FHD which is in the form of a networked graph Laplacian. The spectral gap of FHD accurately predicts the equilibration time for the FMM (Fig. 2b) and is inexpensive to compute. In particular, the transition matrix for the FMM in Fig. 2b has a dimension of 6968 whilst the weighted graph Laplacian FHD has a dimension of three. We now exploit this remarkable dimensionality reduction to reveal the fundamental principles that govern topological optimisation of equilibration times in crowded environments.
Equilibration times are highly sensitive to an environments network topology
To demonstrate how network topology can affect equilibration times we first consider a toy network consisting of five reservoirs (Fig. 3a, inset). The three-dimensional reservoir positions xi are uniformly sampled within a unit sphere. The integer narrow channel lengths between reservoirs i and j are given by K(i,j) = ⌈∣∣xi − xj∣∣/Δ⌉, where Δ = 10−3 is the width of the narrow channels and ∣∣xi − xj∣∣ is the Euclidean distance between reservoirs i and j. We now consider all 728 possible connected networks with five reservoirs and their corresponding equilibration times.
As a function of topology, equilibration times, calculated from the spectral gap of FHD, vary over several orders of magnitude (Fig. 3a). The topology that induces the quickest equilibration is the complete network (Fig. 3a, b-(xiv)), because the opportunities for individuals to exchange between connected reservoirs are maximised when every connection is present. However, a complete network is inappropriate to describe most complex environments due to spatial constraints limiting the connectivity of the reservoirs (Fig. 1a–d). The connectivity of a network can be quantified by its total edge length, the sum of the narrow channel lengths present in the network. Imposing a restriction on the total edge length (Fig. 3a, vertical line) reveals a new non-complete optimal network (Fig. 3a, b-(viii)). By varying the restriction over the range of total edge lengths, as defined by the minimum spanning tree(s) and the complete network (Fig. 3a, b-(i) and (xiv), respectively), a frontier of optimal networks arises (Fig. 3a, b). Networks that lie on the optimal frontier, which we term the optimal networks, represent environments in which a population equilibrates efficiently, under a given restriction on the environmental connectivity.
A global envelope of optimal networks
To explore properties of the optimal frontier (Fig. 3a) we temporarily assume homogeneous reservoir exit times, an assumption that models environments with regular periodic structure such as synthetic porous nanomaterials55. Thus, networks that lie on the optimal frontier depend solely on the ensemble \({{{{{{{\mathcal{K}}}}}}}}\) of all possible narrow channel lengths which, in turn, depends upon the spatial configuration of the reservoirs (Supplementary Note 4). Comparing optimal frontiers between distinct ensembles \({{{{{{{\mathcal{K}}}}}}}}\) requires two rescalings (Supplementary Note 2). Firstly, the total edge length of a network must lie in an interval defined by the total edge lengths of the minimum spanning tree and the complete network. The rescaled total edge length linearly maps this interval to lie between zero and one and provides a dimensionless measure of connectedness. Such a rescaling ensures that the rescaled total edge length contains information about the distribution of all possible edge lengths not just the edge lengths present in the current network. Secondly, the equilibration times are normalised by the minimum equilibration time, which belongs to the complete network, and thus yields values greater than or equal to one which represent how many factors slower equilibration occurs for a given network compared to the complete network.
Numerical evidence strongly supports the hypothesis that the rescaled optimal frontier follows a global curve that is independent of \({{{{{{{\mathcal{K}}}}}}}}\) and hence is independent of the spatial configuration of the reservoirs (Supplementary Fig. 6). Over many distinct ensembles \({{{{{{{\mathcal{K}}}}}}}}\), the variation in the optimal frontier becomes vanishingly small as the number of reservoirs increases (Supplementary Fig. 6b–d). The global curve persists even for an ensemble of channel lengths that are intentionally sampled from an extremely heterogeneous distribution to ensure that the curve is not a feature of our sampling procedure (Supplementary Fig. 6e). The apparent persistence of the globally optimal frontier has significant implications for optimal network design; testing the optimality of a proposed network merely requires direct comparison of the rescaled total edge length and equilibration factor (two cheap-to-compute network statistics) to the global curve. Moreover, the global curve provides a benchmark to compare the efficacy of algorithms designed to efficiently construct optimal or close to optimal networks (Supplementary Note 4).
Reservoir heterogeneity leads to minimised equilibration times in cases of restricted connectivity
Complex geometries can exhibit a range of microscopic spatial structures (Fig. 1b), and this gives rise to reservoir heterogeneity within the corresponding networks (Fig. 1c). The effects of such heterogeneities can be encapsulated by a vector of distinct reservoir exit times τ. To meaningfully compare the optimal frontiers that arise from two different vectors of reservoir exit times we require that both vectors have the same ensemble average 〈τ〉. Such a requirement guarantees that the narrow channel equilibrium occupancy is held constant (see the “Methods”, section “Equilibrium occupancy”), and thus changes in optimal equilibration times occur solely due to reservoir heterogeneity rather than a change in crowding effects. We note that the narrow channel equilibrium occupancy can be viewed as the probability that an attempted jump to a lattice site within a narrow channel is aborted, and thus quantifies the strength of the crowding effects. To systematically explore how heterogeneity impacts the optimal frontier we introduce a vector of reservoir exit times \({{{{{{{\boldsymbol{t}}}}}}}}\left(\phi \right)\) with ith entry \({t}_{i}\left(\phi \right)=\left(1-\phi \right)\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle +\phi {\tau }_{i}\) for ϕ ∈ [0, 1]. The new reservoir exit times \({{{{{{{\boldsymbol{t}}}}}}}}\left(\phi \right)\) depend upon a heterogeneous yet arbitrary vector of mean exit times τ, and the parameter ϕ controls the extent of reservoir heterogeneity, where \({{{{{{{\boldsymbol{t}}}}}}}}(0)=\left(\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle ,\ldots ,\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle \right)\) represents homogeneous reservoirs, ensuring \(\langle {{{{{{{\boldsymbol{t}}}}}}}}\left(\phi \right)\rangle =\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle\) for all values of ϕ. For increasing levels of reservoir heterogeneity, which is achieved by increasing ϕ (Fig. 3c, inset), the shape of the optimal frontier changes significantly, and optimal networks achieve globally minimised equilibration times (close to the equilibration time of the complete network) with significantly reduced connectivity (Fig. 3c). Thus, heterogeneity within the internal structure of complex environments has the potential to facilitate globally efficient equilibration in environments with spatially restricted connectivity.
Optimal networks have distinct topological structure
The topological structure of optimal networks can be characterised via a weighted degree distribution that arises from considering the diagonal entries of the weighted graph Laplacian, FHD. For the complete network the ith diagonal entry of FHD is proportional to \({R}_{i}={\sum }_{j\ne i}{\left({\tau }_{j}{K}_{(i,j)}\right)}^{-1}\) which represents the total transition rate out of the ith reservoir when viewing the weighted graph Laplacian as a rate matrix (see Supplementary Note 2). As every connection between reservoirs is present in the complete network we term Ri the potential transition rate of reservoir i and we order the reservoirs such that \({R}_{1} < \cdots < {R}_{| {{{{{{{\mathcal{V}}}}}}}}| }\). The ratio of the ith diagonal entry of FHD for a network \({{{{{{{\mathcal{G}}}}}}}}\) with adjacency matrix \({{{{{{{\mathcal{A}}}}}}}}\) and the ith diagonal entry of FHD for the complete network is \({W}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right)={\sum }_{j\ne i}{{{{{{{{\mathcal{A}}}}}}}}}_{i,j}{\left({\tau }_{j}{K}_{(i,j)}\right)}^{-1}/{R}_{i}\) and represents the fraction of the potential transition rate of reservoir i present in the network \({{{{{{{\mathcal{G}}}}}}}}\). The weighted degree distribution is defined by \({w}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right)={W}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right)-\mathop{\sum }\nolimits_{j = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{W}_{j}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right)/| {{{{{{{\mathcal{V}}}}}}}}|\) for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). The weights \({w}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right)\) are translated such that if \({w}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right) \; > \;0\) then the ith reservoir has a ratio \({W}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right)\) greater than the network average, and is referred to as being over-represented in the network. Similarly, a reservoir with \({w}_{i}\left({{{{{{{\mathcal{G}}}}}}}};{{{{{{{\mathcal{K}}}}}}}},{{{{{{{\boldsymbol{\tau }}}}}}}}\right) \; < \; 0\) is said to be under-represented. Naively, one might expect reservoirs with the highest potential transition rates to be over-represented in any network that lies on an optimal frontier, as connections between reservoirs with high transition rates should encourage faster equilibration. However, we discover that the structure of optimal networks varies greatly depending on the restriction on the rescaled total edge length.
The structure of networks that lie on the optimal frontier compared with non-optimal networks (randomly sampled connected topologies) is distinct across all rescaled total edge lengths (Fig. 3d, e), with the greatest contrast seen for networks with mid-range connectivity (Fig. 3d–f(iii)–(viii)). Moreover, the weighted degree distribution highlights how reservoirs can be connected to achieve optimality. Optimal networks with low connectivity and reservoir homogeneity prefer connections between reservoirs with high potential transition rates (Fig. 3f(i) orange/green), on the other hand, for highly connected optimal networks the relative importance of the reservoirs is reversed (Fig. 3f(x) orange/green). Interestingly, as connectivity varies between the two extremes, optimal networks involve over-representation of reservoirs with both high and low potential transition rates (Fig. 3f(vi)–(viii) orange/green). This transitional behaviour vanishes if reservoir heterogeneity is sufficiently high, where reservoirs with high potential transition rates are over-represented for all levels of connectivity (Fig. 3f blue/purple). Even for highly connected networks, the absence of a single important connection between reservoirs can significantly increase equilibration times by over a factor of four in heterogeneous environments (Supplementary Note 2 and Supplementary Fig. 8). Collectively our results demonstrate the ability of the weighted degree distribution, as well as the graph Laplacian FHD, to reveal connections between geometric structure and optimal transport that could not have been identified with traditional modelling approaches.
The dynamics of tagged individuals are highly sensitive to narrow channel length
The detailed dynamics of a tagged individual within a population is of interest across a broad range of disciplines7,56. For example, the differentiated fate of a stem cell can hinge upon the spatial and temporal dynamics of a single protein within the crowded intracellular environment57. A significant benefit of our framework is that it readily extends to provide information at the level of a single tagged individual. The microscopic dynamics of a tagged individual are identical to the dynamics of any individual within the FMM. Therefore, the transition of a tagged individual between adjacent reservoirs i and j via a connecting narrow channel of length K(i,j) occurs as follows. First a tagged individual in reservoir i will jump into the first lattice site adjacent to reservoir i on the narrow channel connecting the ith and jth reservoirs. In the high-density regime, the tagged particle will jump back into reservoir i at rate α or jump into the adjacent (second) lattice site when a background individual is exchanged from the ith to the jth reservoirs. The latter jump occurs at a significantly lower rate \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\boldsymbol{n}}}}}}}}\right)\) (Eq. (1)) and almost always the tagged individual returns to the ith reservoir. For this reason we consider a tagged individual to have ‘properly’ entered the narrow channel only when it reaches the second lattice site (Fig. 4a(i), (ii)). Then, as background individuals continue to be exchanged between reservoirs i and j, the tagged individual undergoes a random walk along the sites of the narrow channel until either being absorbed back into the ith reservoir (Fig. 4a(i)), or absorbed into the jth reservoir (Fig. 4a(iii)). The latter occurs with probability \({p}_{{{{{\rm{TI}}}}}}\left({x}_{i},{x}_{j};{K}_{(i,j)}\right)\), where the fractions of the population that occupy the ith and jth reservoirs at the moment when the tagged individual first enters the narrow channel (Fig. 4a(ii)) are denoted xi and xj, respectively. The probability \({p}_{{{{{\rm{TI}}}}}}\left({x}_{i},{x}_{j};{K}_{(i,j)}\right)\) is given by
where the functions \({f}_{k}\left({x}_{i},{x}_{j}\right)\) are given by
The probability pTI is referred to as the tagged individual crossing probability (see the “Methods”, section “Tagged individual crossing probability” for a derivation).
The successful crossing of a tagged individual that has just entered the narrow channel (Fig. 4a(ii)) requires a net exchange of several background individuals from the ith to the jth reservoir. The probability, pTI, that this net exchange occurs depends on \({x}_{i}/\left({x}_{i}+{x}_{j}\right)\), the fractional occupancy of the ith reservoir relative to the jth (Fig. 4b). For fractional occupancies greater than the equilibrium fractional occupancy, which is \({x}_{i}^{* }/\left({x}_{i}^{* }+{x}_{j}^{* }\right)\) where \({x}_{i}^{* }={\tau }_{i}/\mathop{\sum }\nolimits_{j = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{\tau }_{j}\) (Fig. 4b, vertical dashed line), as the population equilibrates there is a bias favouring exchange of background individuals from the ith to the jth reservoir which subsequently increases the tagged individual crossing probability. However, the probability pTI becomes incredibly sensitive to the fractional occupancy as the length of the narrow channel increases (Fig. 4b, arrow). Indeed, a successful crossing of a tagged individual can require that the fractional occupancy of the ith reservoir is significantly above the equilibrium occupancy (Fig. 4b, red curve). Thus, in an equilibrated population, the probability that a tagged individual traverses between two adjacent reservoirs is effectively zero if the narrow channel is too long. In particular, for homogeneous reservoirs (τi = τ) we find that the tagged individual crossing probability is effectively zero when \({K}_{(i,j)}\ge \sqrt{N/| {{{{{{{\mathcal{V}}}}}}}}| }\) (Supplementary Note 1 and Supplementary Fig. 5).
The temporal dynamics of tagged individuals are drastically affected by narrow channel length. For an individual that has just entered the second lattice site along the narrow channel (Fig. 4a(ii)), the tagged individual mean exit time, \({m}_{{{{{\rm{TI}}}}}}\left({x}_{i},{x}_{j};{K}_{(i,j)}\right)\), denotes the mean time taken for the tagged individual to exit the channel at either end, and is given by
where \({h}_{\ell }({x}_{j})=\left({K}_{(i,j)}-1\right)\left({N}_{{{{{\rm{HD}}}}}}{x}_{j}+\ell \right)/\left({\tau }_{j}{\alpha }^{2}\right)\), and the \({f}_{k}\left({x}_{i},{x}_{j}\right)\) are as in Eq. (7) (see the “Methods”, section “Tagged individual mean exit time” for a derivation). The effect of increasing the length of the narrow channel K(i,j) on mTI is two-fold. Firstly, the tagged individual mean exit time increases drastically (Fig. 4c, arrow). Secondly, as for pTI, mTI becomes incredibly sensitive to the fractional occupancy of the two reservoirs. Fractional occupancies of the ith reservoir slightly above equilibrium introduce a temporary bias that encourages the tagged individual to move further along the channel. Once the background individuals have equilibrated the bias is removed whilst the tagged individual remains within the internal lattice sites of a long narrow channel. Relying solely on the unbiased stochastic fluctuations of background individuals increases the time taken for the tagged individual to exit the channel by many orders of magnitude (Fig. 4c, peak of green curve), in particular this time can significantly exceed the equilibration time of the entire population (Supplementary Fig. 3b).
Crowding alters the paths taken by tagged individuals
Exploration of the motion of tagged individuals throughout a complex and crowded environment requires highly scalable networked transport models capable of extracting information at the level of the individual. We extend our framework, using the concepts of the tagged individual crossing probability, pTI, and mean exit time, mTI, to provide such models of individual dynamics within both fixed and stochastically fluctuating background populations (Supplementary Note 1). For a fixed equilibrated population, the spatial dynamics of a tagged individual can be investigated via a discrete networked random walk model. The dynamics of this random walk model are revealed via analysis of the transition matrix, rather than via stochastic simulation (Supplementary Note 4). As such, many useful statistics describing the dynamics of tagged individuals within complex and crowded environments are immediately available. To highlight the utility of the discrete random walk model we consider a first-passage process58, reminiscent of the Notch signalling pathway where an intracellular protein traverses between the cellular and nuclear membranes57. We adopt a caricature representation of the intracellular geometry in the form of a random geometric network (Fig. 5a, b and Supplementary Note 4), and consider the first-passage properties of a tagged individual initially within a reservoir adjacent to the cellular membrane (Fig. 5a, b, outer circle) whose position evolves according to the networked discrete random walk (Supplementary Note 4) before terminating at a reservoir adjacent to the nucleus (Fig. 5a, b, inner circle).
By comparing our discrete random walk model to an almost identical model that does not consider crowding effects (Supplementary Note 4), we discover that crowding effects within the narrow channels drastically alters the paths taken by tagged individuals (Fig. 5). The expected number of times an individual traverses a narrow channel becomes highly sensitive to local network topology when crowding effects are incorporated (Fig. 5a, b). The negligible chance that a crowded tagged individual traverses a long narrow channel (Fig. 4b and Supplementary Fig. 6) significantly widens the distribution of the expected number of crossings (Fig. 5c and a, b highlighted regions), and tagged individuals follow paths that visit reservoirs connected via short narrow channels significantly more often than longer channels (Supplementary Fig. 4). Favouring shorter narrow channels subsequently favours indirect paths (Supplementary Fig. 4a) resulting in an increase in the total path length of an individual that moves from the cellular to the nuclear membrane (Fig. 5d). The alterations of the dynamics of tagged individuals due to crowding, as detailed above, has important implications for the efficiency of signalling pathways and subsequent downstream processes59.
Discussion
Our results highlight how networks provide an effective framework through which to reveal and quantify the combined influences of geometry and crowding on the transport properties of individuals confined within finite complex environments. Moreover, detailed network analysis uncovered global relationships between population-level transport behaviour and optimal networked topologies, as well as the salient network features responsible for optimisation. Our framework provides insights into the interplay between geometry, crowding and transport, with such insights being of relevance for a range of geometrically regulated transport processes.
The work presented in this paper focusses on modelling the temporal fluctuations of particles within the reservoirs of a network. This was achieved through averaging the effects of crowding within narrow channels by assuming that the narrow channel occupancy is held constant. However, previous work has shown that crowding effects can give rise to strongly fluctuating densities within narrow channels52. As such, it would be interesting to extend our framework to allow for both the occupancy of reservoirs and narrow channels to fluctuate and explore whether our conclusions about optimal networked topologies change. This would offer a means to test whether the global envelope of optimal networks persists, providing further evidence of a possible universal relationship between rescaled total edge length and optimal equilibration.
Beyond identifying global connections between crowding, geometry and transport, our framework provides an efficient computational tool to perform more focussed investigations. For example, cardiomyocyte cells have an intracellular environment consisting of mitochondrial and myofibril filaments. Patients suffering from diabetic cardiomyopathy have been shown to have highly clustered and disordered mitochondrial distributions60,61. It has been hypothesised that these alterations to the intracellular geometry help regulate the transport of essential metabolites and increase the overall energy supply to the cell in an effort to maintain regular heart function60. A networked modelling approach might offer insights into the functional role of the observed intracellular restructuring. Analysing the structure of networks extracted from light-sheet microscopy images (Supplementary Fig. 10) would quantify the structural differences between healthy and diabetic cardiomyocytes and studying the transport of metabolites on these networks would provide a means to test whether these changes in intracellular geometry can improve cellular bioenergetics. Moreover, the computational efficiency of our framework increases the number of experimental images that can be studied compared with traditional approaches that are constrained by using high-resolution meshes. Studying a large number of distinct cellular geometries will be critical to developing a deeper understanding of how intracellular restructuring may regulate cellular bioenergetics.
Our framework offers opportunities for generalisation. The RMM is formulated as a chemical reaction network62 and thus can immediately support reactions between individuals, where subsequent coarse-graining will result in a Fokker–Planck equation capable of investigating geometry-controlled kinetics63. Included within Supplementary Note 3 is a generalisation of our framework that supports active transport. We study a partially asymmetric simple exclusion process (PASEP) that allows individuals to undergo bi-directional motion along narrow channels but with a bias in one direction. Extending to active transport opens the door to investigating the geometric influences on highly crowded transport phenomena across a wide array of spatial scales, from mRNA translocation along intracellular microtubule networks64, to molecular trafficking between cells connected via cytonemes65 or plasmodesmata66, to the transport of sediment subjected to flows within porous media67.
By reconceptualising how we model crowded, geometrically constrained transport, we can also gain insights within fields such as optimal synthetic design68 and molecular cell biology69, to name a few. This work presents a versatile framework that paves the way for furthering our understanding of the fundamental connections between crowding, networked geometry and transport beyond traditional modelling paradigms.
Methods
Full Markov model
In this section, we formally introduce the FMM as a continuous time random walk. Consider a network \({{{{{{{\mathcal{G}}}}}}}}=\{{{{{{{{\mathcal{V}}}}}}}},{{{{{{{\mathcal{E}}}}}}}}\}\), where \({{{{{{{\mathcal{V}}}}}}}}\) is the set of reservoirs (nodes) and \({{{{{{{\mathcal{E}}}}}}}}\) the set of narrow channels (edges) that connect the reservoirs. Assigning indices e to each narrow channel arbitrarily, the narrow channels have non-dimensional length \({K}_{e}\in {{\mathbb{Z}}}_{\ge 1}\) for \(1\le e\le | {{{{{{{\mathcal{E}}}}}}}}|\), which denotes the number of lattice sites in the narrow channel (in the “Results” section we use the notation K(i,j) to denote the number of lattice sites in the narrow channel connecting the ith and jth reservoirs, to ensure clarity we will switch between the notations K(i,j) and Ke as appropriate). Each narrow channel is assigned an arbitrary polarity and the lattice sites have indices {1, …, Ke}. A total of N individuals populate the network and their configuration at time t is described by the state vector S(t). The state vector is written as a concatenation of additional vectors, \({{{{{{{\bf{S}}}}}}}}(t)=({{{{{{{\bf{R}}}}}}}}(t),{{{{{{{{\bf{N}}}}}}}}}_{1}(t),\ldots ,{{{{{{{{\bf{N}}}}}}}}}_{| {{{{{{{\mathcal{E}}}}}}}}| }(t))\), where, for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\), [R(t)]i = Ri(t) is the number of individuals in reservoir i at time t. For \(1\le e\le | {{{{{{{\mathcal{E}}}}}}}}|\) and 1 ≤ k ≤ Ke, \({[{{{{{{{{\bf{N}}}}}}}}}_{e}(t)]}_{k}={N}_{e,k}(t)\) is the occupancy of the kth lattice site along the eth narrow channel. Let \({{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}\) be the set of legal configurations for a population of N individuals on the network \({{{{{{{\mathcal{G}}}}}}}}\). The set \({{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}\) consists of vectors \({{{{{{{\bf{s}}}}}}}}=({{{{{{{\bf{r}}}}}}}},{{{{{{{{\bf{n}}}}}}}}}_{1},\ldots ,{{{{{{{{\bf{n}}}}}}}}}_{| {{{{{{{\mathcal{E}}}}}}}}| })\), where [r]i = ri ≥ 0 for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\), and \({[{{{{{{{{\bf{n}}}}}}}}}_{e}]}_{k}={n}_{e,k}\in \{0,1\}\) for \(1\le e\le | {{{{{{{\mathcal{E}}}}}}}}|\) and 1 ≤ k ≤ Ke, such that \(\mathop{\sum }\nolimits_{i = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{r}_{i}+\mathop{\sum }\nolimits_{e = 1}^{| {{{{{{{\mathcal{E}}}}}}}}| }\mathop{\sum }\nolimits_{k = 1}^{{K}_{e}}{n}_{e,k}=N\). The restriction ne,k ∈ {0, 1} is necessary to enforce volume exclusion for individuals in the lattice sites along the narrow channels.
For the FMM the population evolves as follows. An individual occupying any lattice site within any narrow channel, attempts to jump to an adjacent lattice site or reservoir at rate α. Individuals in the ith reservoir will attempt to jump into the first lattice site of a connecting narrow channel at rate \({\gamma }_{i}={\tau }_{i}^{-1}\), where τi is the mean exit time of the ith reservoir. Formally, the state vector S(t) evolves according to the following CTMC. An individual in narrow channel e occupying the kth lattice site, jumps to the adjacent lattice site k + 1 at rate \(\alpha {N}_{e,k}(t)\left(1-{N}_{e,k+1}(t)\right)\) for 1 ≤ k ≤ Ke − 1. Note that this transition rate is zero if either the kth lattice site is empty, Ne,k(t) = 0, or the adjacent lattice site is occupied, Ne,k+1(t) = 1. An individual in lattice site Ke along the narrow channel e jumps into the reservoir connected to lattice site Ke at rate \(\alpha {N}_{e,{K}_{e}}(t)\). Similarly, an individual occupying the kth lattice site along narrow channel e jumps to the adjacent site k−1 at rate \(\alpha {N}_{e,k}(t)\left(1-{N}_{e,k-1}(t)\right)\) for 2 ≤ k ≤ Ke, and an individual in the first lattice site jumps into the connected reservoir at rate αNe,1(t). Finally, an individual in the ith reservoir jumps into the first lattice site of a connected narrow channel e at rate \({\gamma }_{i}\left(1-{N}_{e,1}(t)\right)\) or \({\gamma }_{i}\left(1-{N}_{e,{K}_{e}}(t)\right)\) depending on the orientation of the narrow channel e. A transition matrix Q for the CTMC is constructed as follows. Let \({{{{{{{\mathcal{I}}}}}}}}\left({{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}\right)\) be an index set, such that if \(u\in {{{{{{{\mathcal{I}}}}}}}}\left({{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}\right)\) then \({{{{{{{{\bf{s}}}}}}}}}_{u}\in {{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}\). For \(u,v\in {{{{{{{\mathcal{I}}}}}}}}\left({{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}\right)\) and u ≠ v the matrix entry Qu,v is equal to the rate at which state su transitions to state sv, as detailed above. If a transition cannot occur via a single jump event the matrix entry Qu,v is zero. The diagonal entries are equal to the negative of the row sums, Qu,u = − ∑v≠uQu,v for \(1\le u\le | {{{\Omega }}}_{N,{{{{{{{\mathcal{G}}}}}}}}}|\). The reciprocal of the spectral gap of Q measures the equilibration time for a networked population of individuals.
Equilibrium occupancy
Here we derive an approximate formula for the equilibrium occupancy probability of a narrow channel lattice site. We define the single-site probability function \({\rho }_{i}^{(1)}\left(n,t\right)={\mathbb{P}}\left({R}_{i}(t)=n\right)\), to be the probability that the ith reservoir is occupied by n individuals at time t. Define \({\rho }_{e}^{(1)}\left(O(k),t\right)={\mathbb{P}}\left({N}_{e,k}(t)=1\right)\) to be the probability that the kth lattice site along narrow channel e is occupied, where 1 ≤ k ≤ Ke. Similarly, let \({\rho }_{e}^{(1)}\left({{\emptyset}}(k),t\right)={\mathbb{P}}\left({N}_{e,k}(t)=0\right)\) be the probability that the kth lattice site is vacant. For a network \({{{{{{{\mathcal{G}}}}}}}}=\{{{{{{{{\mathcal{V}}}}}}}},{{{{{{{\mathcal{E}}}}}}}}\}\), we seek a system of ordinary differential equations (ODEs) that describe the evolution of the single-site probability functions. For the ith reservoir let \({{{{{{{\mathcal{N}}}}}}}}(i)\) be the indices for the narrow channels that are connected at one end to the ith reservoir. For notational convenience suppose that every narrow channel connected to reservoir i has polarity such that the lattice site adjacent to reservoir i has index one. Define \(\langle {R}_{i}(t)\rangle =\mathop{\sum }\nolimits_{n = 0}^{N}n{\rho }_{i}^{(1)}\left(n,t\right)\), to be the mean number of individuals in the ith reservoir at time t. Following the approach of Baker and Simpson70 provides the ODEs
for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\), where \({\rho }_{i,e}^{(2)}\left(n,{{\emptyset}}(1),t\right)\) is the two-site probability that the ith reservoir is occupied by n individuals and the first lattice site along narrow channel e is vacant at time t. Similarly, the ODEs for the occupancy probabilities of the lattice sites of a narrow channel e connecting reservoirs i and j are
for 2 ≤ k ≤ Ke − 1. We are interested in the equilibrium solutions to the single-site probability functions, but, to make progress, we first consider the equilibrium occupancy probabilities along the eth edge.
Define S(e, k) to be the set of indices for the configuration states where the kth lattice site on narrow channel e is occupied and the (k + 1)st lattice site is vacant. For u ∈ S(e, k), v(u) is the index of the configuration state identical to u but the individual in lattice site k now occupies lattice site k + 1. Note that Qu,v(u) = Qv(u),u = α, where Q is the transition matrix of the FMM. Through decomposition of the two-site probability functions into entries of the equilibrium distribution p(∞), i.e. the principal left eigenvector of Q, we can show that the following local flux conservation law holds
as follows:
where the equality between Eqs. (11b) and (11c) holds due to detailed balance. Due to a conservation of probability we have that
and similarly
Combining Eqs. (10), (12) and (13), we have
for 1 ≤ k ≤ Ke − 1. Therefore, we have shown that
for some constant \({\rho }_{e}^{* }\), for 1 ≤ k ≤ Ke.
Returning to the ODEs in Eq. (9a), we equate the right-hand side to zero to provide a set of algebraic equations for the single-site equilibrium probability functions in terms of the two-site equilibrium probability functions. We find that for two distinct reservoirs i and j connected by a narrow channel e, \(\alpha {\rho }_{e}^{* }={\gamma }_{i}\mathop{\sum }\nolimits_{n = 0}^{N}n{\rho }_{i,e}^{(2)}\left(n,{{\emptyset}}(1),\infty \right)={\gamma }_{j}\mathop{\sum }\nolimits_{n = 0}^{N}n{\rho }_{j,e}^{(2)}\left(n,{{\emptyset}}({K}_{e}),\infty \right)\). Expressions for the two-site equilibrium probability functions, \({\rho }_{i,e}^{(2)}\left(n,{{\emptyset}}(1),\infty \right)\) and \({\rho }_{j,e}^{(2)}\left(n,{{\emptyset}}({K}_{e}),\infty \right)\), can be found by first writing down their time-dependent ODEs and solving the algebraic equations that arise by setting the time derivatives to zero, however the resulting expressions would in turn depend upon three-site probability functions. Instead, we close the system at the level of the two-site probability functions by making a moment-closure approximation71. Utilising the mean-field approximation (MFA)
yields
and similarly,
where \({\tilde{\rho }}_{e}^{* }\) denotes the approximation to the exact equilibrium densities \({\rho }_{e}^{* }\) due to the MFA. Therefore, γi〈Ri(∞)〉 = γj〈Rj(∞)〉 for directly connected reservoirs i and j. For a connected network there exists a path between all pairs of reservoirs, therefore γi〈Ri(∞)〉 is equal to some constant γ* for all reservoirs. Noting that \(\alpha {\tilde{\rho }}_{e}^{* }={\gamma }^{* }\left(1-{\tilde{\rho }}_{e}^{* }\right)\) for all narrow channels e, reveals that the equilibrium density \({\tilde{\rho }}_{e}^{* }\) is equal to a constant \({\tilde{\rho }}^{* }={\gamma }^{* }/(\alpha +{\gamma }^{* })\) for all narrow channels. Combining \(\mathop{\sum }\nolimits_{i = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }\langle {R}_{i}\rangle +{K}_{{{{{\rm{tot}}}}}}{\tilde{\rho }}^{* }=N\), and 〈Ri〉 = γ*/γi, yields \({\gamma }^{* }=\left(N-{K}_{{{{{\rm{tot}}}}}}{\tilde{\rho }}^{* }\right)h({{{{{{{\boldsymbol{\gamma }}}}}}}})/| {{{{{{{\mathcal{V}}}}}}}}|\), where [γ]i = γi and h(γ) is the harmonic mean of the reservoir jump rates. Substituting the expression for γ* into \({\tilde{\rho }}^{* }={\gamma }^{* }/(\alpha +{\gamma }^{* })\), and noting that h(γ) = 〈τ〉−1 where \(\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle =\mathop{\sum }\nolimits_{i = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{\tau }_{i}/| {{{{{{{\mathcal{V}}}}}}}}|\), results in the quadratic equation
Taking the smaller root of Eq. (19) (the only root between zero and one) yields
The validity of this analytical approximation to the equilibrium occupancy is explored in Supplementary Note 1 and Supplementary Fig. 1.
High-density condition
For the approximate equilibrium density \({\tilde{\rho }}^{* }\), let \({\tilde{\rho }}^{* }=1-\varepsilon\) where ε ≪ 1 to ensure that the narrow channel equilibrium occupancy is high. Linearising Eq. (19) and solving in terms of ε, yields \(\varepsilon =\alpha | {{{{{{{\mathcal{V}}}}}}}}| \langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle /\left(\left(N-{K}_{{{{{\rm{tot}}}}}}\right)+\alpha | {{{{{{{\mathcal{V}}}}}}}}| \langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle \right)\). As ε ≪ 1 we must have \(\langle {{{{{{{\boldsymbol{\tau }}}}}}}}\rangle \ll \left(N-{K}_{{{{{\rm{tot}}}}}}\right)/\left(\alpha | {{{{{{{\mathcal{V}}}}}}}}| \right)\).
Reduced Markov model
In this section, we present the derivation of the RMM. We derive the transition rates \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{n}}}}}}}}\right)\) of individuals between adjacent reservoirs i and j by studying the time taken for an individual to be exchanged between the reservoirs. We refer to this time as the vacancy switching time as it is more convenient to invoke particle–hole duality53 and model the dynamics of a vacant site rather than the interacting individuals themselves.
Consider an initial configuration of individuals where every lattice site along a narrow channel connecting reservoirs i and j are occupied, and ni and nj individuals occupy the ith and jth reservoirs, respectively. The only attempted movements affecting the narrow channel (i,j) that are not blocked by exclusion are either the individual in lattice site one jumps into the ith reservoir, or the individual in lattice site K(i,j) jumps into the jth reservoir, and both jumps occur at rate α. In the latter case, the jth reservoir is occupied by nj + 1 individuals and lattice site K(i,j) becomes vacant. The rate at which the vacant lattice site K(i,j) is re-occupied by an individual from the jth reservoir is γj(nj + 1), and this competes with the rate α, the rate at which the individual in lattice site K(i,j) − 1 jumps into lattice site K(i,j). In the high-density regime the vacant lattice site K(i,j) is almost immediately re-occupied by an individual from the jth reservoir and no exchange of individuals occurs. However, eventually the individual in lattice site K(i,j) − 1 will jump before any individual in the jth reservoir, resulting in a vacancy at lattice site K(i,j) − 1.
Let the lattice sites with indices between two and K(i,j) − 1 be referred to as the internal lattice sites of the narrow channel. Then \({T}_{i,j}^{\,{{{{\rm{enter}}}}}\,}\) is the time taken for a vacancy to first enter the internal lattice sites of the narrow channel at the end connected to the jth reservoir. A vacancy in the internal lattice sites follows a symmetric random walk with jump rates α in both directions until eventually, at time \({T}_{i,j}^{\,{{{{\rm{absorb}}}}}\,}\), the vacancy reaches one of the end lattice sites of the channel, namely K(i,j) or one. If the vacancy reaches lattice site K(i,j) then almost immediately an individual in the jth reservoir jumps into lattice site K(i,j) and there is no exchange of an individual between the two reservoirs. However, if a vacancy reaches lattice site one then almost immediately an individual in the ith reservoir jumps into lattice site one. However, there are now ni − 1 and nj + 1 individuals in the ith and jth reservoirs, respectively, and an individual has been exchanged between the ith and jth reservoirs. A vacancy at lattice site K(i,j) − 1 hits lattice site one before lattice site K(i,j) with probability 1/(K(i,j) − 1). Therefore, the number of attempts before the vacancy is absorbed at lattice site one, Gi,j, is geometrically distributed with success probability 1/(K(i,j) − 1).
The time taken for a vacancy to enter the internal lattice sites at lattice site K(i,j) − 1 and subsequently reach lattice site one, is referred to as the vacancy switching time and is denoted by \({T}_{i,j}^{\,{{{{\rm{switch}}}}}\,}({n}_{j})\). The vacancy switching time is expressed as the following random sum
where \({T}_{i,j}^{\,{{{{\rm{enter}}}}},k}\) and \({T}_{i,j}^{\,{{{{\rm{absorb}}}}},k}\) are independent instances of the random variables \({T}_{i,j}^{\,{{{{\rm{enter}}}}}\,}\) and \({T}_{i,j}^{\,{{{{\rm{absorb}}}}}\,}\), respectively. Therefore, the RMM in the high-density regime is defined to have transition rates \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{n}}}}}}}}\right)={\left\langle {T}_{i,j}^{{{{{\rm{switch}}}}}}({n}_{j})\right\rangle }^{-1}\) for an individual to be exchanged from the ith to the jth reservoir.
The first moment of the vacancy switching time in Eq. (21) is
where 〈Gi,j〉 = K(i,j) − 1 and, from calculation of first passage times on a finite lattice58, \(\left\langle {T}_{i,j}^{\,{{{{\rm{absorb}}}}}\,}\right\rangle =({K}_{(i,j)}-2)/2\alpha\). Recall that \({T}_{i,j}^{\,{{{{\rm{enter}}}}}\,}\) is the time for a vacancy to enter lattice site K(i,j) − 1. Initially every lattice site is full and the individual at lattice site K(i,j) jumps into the jth reservoir after an exponentially distributed amount of time, X, with rate parameter α. Then either the individual in lattice site K(i,j) − 1 jumps into lattice site K(i,j) at rate α, or an individual in the jth reservoir jumps into lattice site K(i,j) at rate γj(nj + 1). The time taken for either jump to occur is exponentially distributed, Y, with rate parameter α + γj(nj + 1). The vacancy at lattice site K(i,j) enters lattice site K(i,j) − 1 with probability \(q=\alpha /\left(\alpha +{\gamma }_{j}({n}_{j}+1)\right)\), thus \({T}_{i,j}^{\,{{{{\rm{enter}}}}}\,}=\mathop{\sum }\nolimits_{k = 1}^{G(q)}{X}^{k}+{Y}^{k}\) where G(q) is a geometric random variable with success probability q and Xk and Yk are independent instances of the exponential random variables with rate parameters α and α + γj(nj + 1), respectively. The first moment of \({T}_{i,j}^{\,{{{{\rm{enter}}}}}\,}\) is
From Eq. (23), and recalling that \(\Big\langle {T}_{i,j}^{\,{{{{\rm{switch}}}}}\,}({n}_{j})\Big\rangle =\langle {G}_{i,j}\rangle \Big(\Big\langle {T}_{i,j}^{\,{{{{\rm{enter}}}}}\,}\Big\rangle \,+\Big\langle {T}_{i,j}^{\,{{{{\rm{absorb}}}}}\,}\Big\rangle \Big)\), \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}({{{{{\bf{n}}}}}})={\left\langle {T}_{i,j}^{{{{{\rm{switch}}}}}}({n}_{j})\right\rangle }^{-1}\) and \({\tau }_{j}={\gamma }_{j}^{-1}\), the transition rates for the RMM in the high-density regime have the explicit formulae
for \(1\le i \;\ne \; j\le | {{{{{{{\mathcal{V}}}}}}}}|\). The validity of the RMM depends on how accurately \({T}_{i,j}^{\,{{{{\rm{switch}}}}}\,}({n}_{j})\) is approximated by the exponential distribution with rate parameter \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}({{{{{{{\bf{n}}}}}}}})\), which is investigated in Supplementary Note 1.
Ornstein–Uhlenbeck process
In this section, we perform a coarse graining of the RMM in the high-density regime to yield an OU process that governs the exchange of individuals in a networked environment. To make progress we write down the chemical master equations that govern the RMM. Let the vector νi,j for \(i \; \ne \; j\in \{1,\ldots ,| {{{{{{{\mathcal{V}}}}}}}}| \}\) be defined as \({[{{{{{{{{\boldsymbol{\nu }}}}}}}}}_{i,j}]}_{k}={\delta }_{j,k}-{\delta }_{i,k}\) for \(1\le k\le | {{{{{{{\mathcal{V}}}}}}}}|\), where δj,k and δi,k are Kronecker deltas. A transition from state vector n to n + νi,j, corresponds to an exchange of a single individual from the ith to the jth reservoir. Such a transition can only occur if reservoirs i and j are directly connected via a narrow channel and occurs at rate \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{n}}}}}}}}\right)\) given in Eq. (24). Let the adjacency matrix \({{{{{{{\boldsymbol{{{{{{{{\mathcal{A}}}}}}}}}}}}}}}}\) be a \(| {{{{{{{\mathcal{V}}}}}}}}| \times | {{{{{{{\mathcal{V}}}}}}}}|\) matrix with entry \({{{{{{{{\mathcal{A}}}}}}}}}_{i,j}\) equal to one if a narrow channel connecting reservoirs i and j is present in the network, and zero otherwise. Additionally, define p(n, t) to be the probability that the individuals are distributed amongst the reservoirs with state vector n at time t. The chemical master equations governing the evolution of p(n, t) are
where \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{n}}}}}}}}\right)=0\), when ni = NHD or nj = 0 to avoid transitions to states with non-negative entries, or entries that exceed the total population NHD = N − Ktot.
Fokker–Planck equation
To derive the Fokker–Planck equation corresponding to Eq. (25), we introduce \({{{{{{{\bf{x}}}}}}}}=({x}_{1},\ldots ,{x}_{| {{{{{{{\mathcal{V}}}}}}}}| })\), where xi = ni/NHD is the fraction of the population that occupies the ith reservoir. For NHD ≫ 1, the fractions xi are approximately continuous and lie in the interval [0, 1]. Introducing Q(x, t) = p(n, t) and performing a Taylor expansion in ϵ = 1/NHD of Eq. (25), yields the linear Fokker–Planck equation
where \({g}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{x}}}}}}}}\right)={k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({N}_{{{{{\rm{HD}}}}}}{{{{{{{\bf{x}}}}}}}}\right)\). The operator ∇i,j is defined as ∂/∂xi − ∂/∂xj, and the partial differential equation (PDE) in Eq. (26) is defined on the domain \({{{{{{{\bf{x}}}}}}}}\in {[0,1]}^{| {{{{{{{\mathcal{V}}}}}}}}| }\), with zero-flux boundary conditions.
Equilibrium vector
The equilibrium vector x*, is the distribution of individuals that satisfies the following equations:
for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). Eq. (27) is known as the global balance equation. The distribution of individuals x* that solves the global balance equations is such that the total transition rate out of each reservoir is equal to the total transition rate in. For large NHD the rate functions are approximately given by \({g}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{{\bf{x}}}}}}}}}^{* }\right)\approx {\alpha }^{2}{\tau }_{j}/\left(\left({K}_{(i,j)}-1\right){N}_{{{{{\rm{HD}}}}}}{x}_{j}^{* }\right)\). Substituting this approximation into Eq. (27), yields the following system of equations:
for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). For b such that \({[{{{{{{{\bf{b}}}}}}}}]}_{i}={\tau }_{i}/{x}_{i}^{* }\) and M such that for i ≠ j, \({M}_{i,j}={{{{{{{{\mathcal{A}}}}}}}}}_{i,j}/\left({K}_{(i,j)}-1\right)\) and \({M}_{i,i}=-\mathop{\sum }\nolimits_{j\ne i}^{| {{{{{{{\mathcal{V}}}}}}}}| }{M}_{i,j}\), Eq. (28) is equivalent to Mb = 0. For a connected network the null space of M is spanned by the constant vector and, along with the condition that \(\mathop{\sum }\nolimits_{i = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{x}_{i}^{* }=1\), the unique solution to Eq. (28) is given by \({x}_{i}^{* }={\tau }_{i}/\mathop{\sum }\nolimits_{k = 1}^{| {{{{{{{\mathcal{V}}}}}}}}| }{\tau }_{k}\) for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\).
Localising the Fokker–Planck equation
To extract an equilibration time from the Fokker–Planck equation in Eq. (26), we localise the PDE about the equilibrium vector. Let z be a perturbation about the equilibrium vector, such that x = x* + z and ∣zi∣ ≪ 1 for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). Introducing \(\tilde{Q}({{{{{{{\bf{z}}}}}}}},t)=Q({{{{{{{\bf{x}}}}}}}},t)\) and localising Eq. (26) about x* yields
Note that the first bracketed term on the right-hand side of Eq. (29) is equal to zero from Eq. (27). Adopting Einstein summation notation, Eq. (29) can be rewritten as
with zero-flux boundary conditions at zi → ±∞, where \({F}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\) and \({D}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\) are entries of the drift and diffusion matrices, FHD and DHD, respectively. The entries of the drift matrix FHD are
for i ≠ j, and
for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). The entries of the diffusion matrix DHD are
for i ≠ j, and
for \(1\le i\le | {{{{{{{\mathcal{V}}}}}}}}|\). The PDE in Eq. (30) is in the form of a linear Fokker–Planck equation for a multivariate OU process for which the full probability distribution is known54. Given an initial configuration of individuals x0 the configuration of individuals at time t is normally distributed with mean vector μ(t; x0) and covariance matrix Σ(t; x0), given by
and
respectively, where I is the identity matrix. The timescale upon which the moments decay to equilibrium is dictated by the spectral gap of FHD. Additionally, multiplying Eq. (30) by each zi in turn and integrating over \({\mathbb{R}}^{|{{\mathcal{V}}}|}\) yields dμ(t)/dt = −FHDμ(t). This system of ODEs is reminiscent of the system of ODEs that governs the evolution of the probability distribution for a CTMC and therefore we can view the networked graph Laplacian as effectively being a transition rate matrix.
Tagged individual crossing probability
In this section, we provide the technical details for the derivation of the tagged individual crossing probability. Let distinct reservoirs i and j be connected by a narrow channel of length K(i,j) such that the site with index one is adjacent to the ith reservoir and the site with index K(i,j) is adjacent to the jth reservoir. We consider the probability that a tagged individual, initially in the second lattice site of a narrow channel connecting the ith and jth reservoirs (Fig. 4a), which are occupied by ni and nj background individuals, respectively, reaches the site with index K(i,j) before the site with index one. We note that, just as for the vacancy switching time, as soon as a tagged individual reaches a non-internal lattice site (either site one or K(i,j)) it is considered to have reached the adjacent reservoir. However, unlike the dynamics of a vacancy, the probability that a tagged individual moves towards the ith or jth reservoir is not symmetric as it depends on the rates \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}({{{{{{{\bf{n}}}}}}}})\) and \({k}_{j,i}^{\,{{{{\rm{HD}}}}}\,}({{{{{{{\bf{n}}}}}}}})\). Furthermore, these transition rates will change as the tagged individual walks along the narrow channel reflecting the change in the configuration of the background individuals. To make progress on this complex first-passage problem we formulate it as a recurrence relation.
Let qi→j(k) be the probability that a background individual is exchanged from the ith to the jth reservoir before an exchange in the opposing direction, whilst the occupancies of the ith and jth reservoirs are ni + 2 − k and nj + k − 2, respectively. The index k corresponds to the position of the tagged individual, and for k = 2 the occupancy of the reservoirs is ni and nj. Additionally, let \({p}_{k}^{\,{{{{\rm{cross}}}}}\,}({n}_{i},{n}_{j})\) be the probability that the tagged individual reaches site K(i,j) (the site adjacent to the jth reservoir) before site one (the site adjacent to the ith reservoir), given that it is initially at site k and the occupancy of the two reservoirs is ni + 2 − k and nj + k − 2, respectively. Then we can write down the recurrence relation
for 2 ≤ k ≤ K(i,j) − 1, where \({p}_{1}^{\,{{{{\rm{cross}}}}}\,}=0\) and \({p}_{{K}_{(i,j)}}^{\,{{{{\rm{cross}}}}}\,}=1\). Manipulating Eq. (35) yields
Defining \({r}_{k}({n}_{i},{n}_{j})={p}_{k}^{\,{{{{\rm{cross}}}}}}({n}_{i},{n}_{j})-{p}_{k-1}^{{{{{\rm{cross}}}}}\,}({n}_{i},{n}_{j})\) reduces the recurrence relation in Eq. (36) to a first order recurrence relation with solution
Noting that \(\mathop{\sum }\nolimits_{k = 2}^{{K}_{(i,j)}}{r}_{k}({n}_{i},{n}_{j})={p}_{{K}_{(i,j)}}^{\,{{{{\rm{cross}}}}}\,}({n}_{i},{n}_{j})=1\) and \({r}_{2}({n}_{i},{n}_{j})={p}_{2}^{\,{{{{\rm{cross}}}}}\,}({n}_{i},{n}_{j})\) reveals that
where \({p}_{2}^{\,{{{{\rm{cross}}}}}\,}({n}_{i},{n}_{j})\) is the tagged individual crossing probability. We note that the transition rates \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{n}}}}}}}}\right)\) depend upon the occupancy of the jth reservoir only, as such we redefine \({k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({n}_{j}\right)={k}_{i,j}^{\,{{{{\rm{HD}}}}}\,}\left({{{{{{{\bf{n}}}}}}}}\right)\). Recall that qi→j(k) is the probability that a background individual is exchanged from the ith to the jth reservoir before an exchange in the opposing direction, whilst the occupancies of the ith and jth reservoirs are ni + 2−k and nj + k−2, respectively. Therefore,
where the asymptote in Eq. (39) comes from Eq. (24) for large populations. Substituting the right-hand side of Eq. (39) into Eq. (38) and rewriting the product in Eq. (38) in terms of Beta functions yields
Finally, letting xi = ni/NHD and noting that \({{{{{{{\rm{B}}}}}}}}(x,y) \sim \sqrt{2\pi }{x}^{x-1/2}{y}^{y-1/2}/{\left(x+y\right)}^{x+y-1/2}\), a corollary of Stirling’s approximation, we arrive at an expression for \({p}_{{{{{\rm{TI}}}}}}\left({x}_{i},{x}_{j};{K}_{(i,j)}\right)\), the tagged individual crossing probability
where the functions \({f}_{k}\left({x}_{i},{x}_{j}\right)\) are given by
Tagged individual mean exit time
The derivation of the average time taken for the tagged individual initially at the second lattice site to leave the narrow channel by reaching either site one or K(i,j) is very similar to the tagged individual crossing probability. Firstly, let \({E}_{k}^{\,{{{{\rm{exit}}}}}\,}({n}_{i},{n}_{j})\) be the expected time taken for the tagged individual initially at lattice site k to exit the narrow channel when the occupancies of the ith and jth reservoirs are ni + 2 − k and nj + k − 2, respectively. The expected exit times \({E}_{k}^{\,{{{{\rm{exit}}}}}\,}({n}_{i},{n}_{j})\) obey the following recurrence relation:
where \({T}_{k}({n}_{i},{n}_{j})={\left({k}_{i,j}^{{{{{\rm{HD}}}}}}\left({n}_{j}+k-2\right)+{k}_{j,i}^{{{{{\rm{HD}}}}}}\left({n}_{i}+2-k\right)\right)}^{-1}\) is the average time taken for a background individual exchange event to occur across the narrow channel connecting the ith and jth reservoirs when they have occupancies ni + k − 2 and nj + 2 − k, respectively. Repeating a near identical analysis of Eq. (43) as was seen for the tagged individual crossing probability yields an expression for \({m}_{{{{{\rm{TI}}}}}}\left({x}_{i},{x}_{j};{K}_{(i,j)}\right)={E}_{2}^{\,{{{{\rm{exit}}}}}\,}\left({N}_{{{{{\rm{HD}}}}}}{x}_{i},{N}_{{{{{\rm{HD}}}}}}{x}_{j}\right)\), the tagged individual mean exit time
where \({h}_{\ell }({x}_{j})=\left({K}_{(i,j)}-1\right)\left({N}_{{{{{\rm{HD}}}}}}{x}_{j}+\ell \right)/\left({\tau }_{j}{\alpha }^{2}\right)\), and the \({f}_{k}\left({x}_{i},{x}_{j}\right)\) are as in Eq. (42).
Code availability
Code reproducing the key results of this paper is available from the corresponding author upon reasonable request.
References
Palade, G. Intracellular aspects of the process of protein synthesis. Science 189, 347–358 (1975).
Dushek, O., Goyette, J. & van der Merwe, P. A. Non-catalytic tyrosine-phosphorylated receptors. Immunol. Rev. 250, 256–278 (2012).
Ando, T. & Skolnick, J. Crowding and hydrodynamic interactions likely dominate in vivo macromolecular motion. Proc. Natl Acad. Sci. USA 107, 18547–18462 (2010).
LaValle, S. M. Planning Algorithms (Cambridge University Press, 2006).
Paulo, C. S. O., das Neves, R. P. & Ferreira, L. S. Nanoparticles for intracellular-targeted drug delivery. Nanotechnology 22, 494002 (2011).
Lizana, L. & Ambjörnsson, T. Single-file diffusion in a box. Phys. Rev. Lett. 100, 200601 (2008).
Wei, Q.-H., Bechinger, C. & Leiderer, P. Single-file diffusion of colloids in one-dimensional channels. Science 287, 625–627 (2000).
Bechinger, C. et al. Active particles in complex and crowded environments. Rev. Mod. Phys. 88, 045006 (2016).
Bénichou, O., Illien, P., OShanin, G., Sarracino, A. & Voituriez, R. Tracer diffusion in crowded narrow channels. J. Phys.-Condens. Matter 30, 443001 (2018).
Harris, T. E. Diffusion with collisions between particles. J. Appl. Prob. 2, 323–338 (1965).
Amitrano, C., Bunde, A. & Stanley, H. E. Diffusion of interacting particles on fractal aggregates. J. Phys. A-Math. Gen. 18, L923 (1985).
Bénichou, O., Illien, P., Oshanin, G., Sarracino, A. & Voituriez, R. Diffusion and subdiffusion of interacting particles on comblike structures. Phys. Rev. Lett. 115, 220601 (2015).
Ellery, A., Baker, R. E., McCue, S. W. & Simpson, M. J. Modeling transport through an environment crowded by a mixture of obstacles of different shapes and sizes. Physica A 449, 74–84 (2016).
Leitmann, S. & Franosch, T. Nonlinear response in the driven lattice Lorentz gas. Phys. Rev. Lett. 111, 190603 (2013).
Leitmann, S., Schwab, T. & Franosch, T. Time-dependent perpendicular fluctuations in the driven lattice Lorentz gas. Phys. Rev. E 97, 022101 (2018).
Monasterio, C. M.-, Nechaev, S., Oshanin, G. & Vasilyev, O. Tracer diffusion on a crowded Manhattan lattice. N. J. Phys. 22, 033024 (2020).
Bancaud, A. et al. Molecular crowding affects diffusion and binding of nuclear proteins in heterochromatin and reveals the fractal organization of chromatin. EMBO J. 28, 3785–3798 (2009).
Hatzikirou, H. & Deutsch, A. Cellular automata as microscopic models of cell migration in heterogeneous environments. Curr. Top. Dev. Biol. 81, 401–434 (2008).
Tomer, R., Khairy, K. & Keller, P. J. Light sheet microscopy in cell biology. In Cell Imaging Techniques. Methods in Molecular Biology (Methods and Protocols) (eds Taatjes, D. & Roth, J.) 123–127 (Humana Press, 2012).
Do, M., Isaacson, S. A., McDermot, G., Gros, M. A.-L. & Larabell, C. A. Imaging and characterizing cells using tomography. Arch. Bichem. Biophys. 581, 111–121 (2015).
Engblom, S., Ferm, L. & Hellander, A. Per Lötstedt, Simulation of stochastic reaction-diffusion processes on unstructured meshes. SIAM J. Sci. Comput. 31, 1774–1797 (2009).
Engblom, S., Wilson, D. B. & Baker, R. E. Scalable population-level modeling of biological cells incorporating mechanics and kinetics in continuous time. R. Soc. Open Sci. 5, 180379 (2018).
Isaacson, S. A. A convergent reaction-diffusion master equation. J. Chem. Phys. 139, 054101 (2013).
Blunt, M. J., Jackson, M. D., Piri, M. & Valvatne, P. H. Detailed physics, predictive capabilities and macroscopic consequences for pore-network models of multiphase flow. Adv. Water Resour. 5125, 1069–1089 (2002).
Dong, H. & Blunt, M. J. Pore-network extraction from micro-computurized-tomography images. Phys. Rev. E 80, 036307 (2009).
Gostick, J. T. Versatile and efficient pore network extraction method using marker-based watershed segmentation. Phys. Rev. E 96, 023307 (2017).
Blunt, M. J. et al. Pore-scale imaging and modelling. Adv. Water Resour. 51, 197–216 (2013).
Karlsson, M. et al. Formation of geometrically complex lipid nanotube-vesicle networks of higher-order topologies. Proc. Natl Acad. Sci. USA 99, 11573–11578 (2002).
Vincent, A. E., Turnbull, D. M., Eisner, V., Hajnóczky, G. & Picard, M. Mitochondrial nanotunnels. Trends Cell Biol. 27, 787–799 (2017).
Wilson, D. B., Baker, R. E. & Woodhouse, F. G. Topology-dependent density optima for efficient simultaneous network exploration. Phys. Rev. E 97, 062301 (2018).
Wilson, D. B., Baker, R. E. & Woodhouse, F. G. Displacement of transport processes on networked topologies. SIAM J. Appl. Math. 79, 1892–1915 (2019).
Woodhouse, F. G., Forrow, A., Fawcett, J. B. & Dunkel, J. Stochastic cycle selection in active flow networks. Proc. Natl Acad. Sci. USA 113, 8200–8205 (2016).
Masuda, N., Porter, M. A. & Lambiotte, R. Random walks and diffusion on networks. Phys. Rep. 716-717, 1–58 (2017).
Spitzer, F. Interaction of Markov processes. Adv. Math. 5, 246–290 (1970).
Embley, B., Parmeggiani, A. & Kern, N. Understanding totally asymmetric simple-exclusion-process transport on networks: generic analysis via effective rates and explicit vertices. Phys. Rev. E 80, 041128 (2009).
Raguin, A., Parmeggiani, A. & Kern, N. Role of network junctions for the totally asymmetric simple exclusion process. Phys. Rev. E 88, 042104 (2013).
Neri, I., Kern, N. & Parmeggiani, A. Totally asymmetric simple exclusion process on networks. Phys. Rev. Lett. 107, 068702 (2011).
Shen, G., Fan, X. & Ruan, Z. Totally asymmetric simple exclusion process on multiplex networks. Chaos 30, 023103 (2020).
Baek, Y., Ha, M. & Jeong, H. Effects of junctional correlations in the totally asymmetric simple exclusion process on random regular networks. Phys. Rev. E 90, 062111 (2014).
Pinkoviezky, I. & Gov, N. S. Traffic jams and shocks of molecular motors inside cellular protrusions. Phys. Rev. E 89, 052703 (2014).
Neri, I., Kern, N. & Parmeggiani, A. Exclusion processes on networks as models for cytoskeletal transport. N. J. Phys. 15, 085005 (2013).
Neri, I., Kern, N. & Parmeggiani, A. Modeling cytoskeletal traffic: an interplay between passive diffusion and active transport. Phys. Rev. L 110, 098102 (2013).
Delvenne, J.-C., Lambiotte, R. & Rocha, L. E. C. Diffusion on networked systems is a question of time or structure. Nat. Commun. 6, 7366 (2015).
Penington, C. J., Baker, R. E. & Simpson, M. J. Exits in order: how crowding affects particle lifetimes. J. Chem. Phys. 144, 244107 (2016).
Isaacson, S. A., McQueen, D. M. & Peskin, C. S. The influence of volume exclusion by chromatin on the time required to find specific DNA binding sites by diffusion. Proc. Natl Acad. Sci. USA 108, 3815–3820 (2011).
Liggett, T. M. Stochastic Interacting Systems: Contact, Voter and Exclusion Processes (Springer, 1999).
Markowsky, G. On the expected exit time of planar Brownian motion from simply connected domains. Electron. Commun. Probab. 16, 652–663 (2011).
Bénichou, O. & Voituriez, R. Narrow-escape time problem: Time needed for a particle to exit a confining domain through a small window. Phys. Rev. Lett. 100, 168105 (2008).
Condamin, S., Bénichou, O. & Moreau, M. First-passage times for random walks in bounded domains. Phys. Rev. Lett. 95, 260601 (2005).
Herrmann, S. & Tanré, E. The first-passage time of the Brownian motion to a curved boundary: an algorithmic approach. SIAM J. Sci. Comput. 38, A196–A215 (2016).
Chung, F. R. K. Spectral Graph Theory (American Mathematical Society, 1996).
Derrida, B., Douçot, B. & Roche, P.-E. Current fluctuations in the one-dimensional symmetric exclusion process with open boundaries. J. Stat. Phys. 115, 717–748 (2004).
van Beijeren, H., Kehr, K. W. & Kutner, R. Diffusion in concentrated lattice gases. III. Tracer diffusion on a one-dimensional lattice. Phys. Rev. B 28, 5711 (1983).
Risken, H. The Fokker–Planck equation: Method of Solution and Applications (Springer, 1989).
Martin, C. R. Nanomaterials: a membrane-based synthetic approach. Science 266, 1961–1966 (1994).
Jaqaman, K. et al. Robust single-particle tracking in live-cell time-lapse sequences. Nat. Methods 5, 695–702 (2008).
Androutsellis-Theotokis, A. et al. Notch signalling regulates stem cell numbers in vitro and in vivo. Nature 442, 823–826 (2000).
Redner, S. A Guide to First-passage Processes (Cambridge University Press, 2001).
Mukhopadhyay, H., Cordoba, S.-P., Maini, P. K., van der Merwe, P. A. & Dushek, O. Systems model of T cell receptor proximal signaling reveals emergent ultrasensitivity. PLoS Comput. Biol. 9, e1003004 (2013).
Jarosz, J. et al. Changes in mitochondrial morphology and organization can enhance energy supply from mitochondrial oxidative phosphorylation in diabetic cardiomyopathy. Am. J. Physiol.-Cell Physiol. 312, C190–C197 (2017).
Ghosh, S. et al. Insights on the impact of mitochondrial organisation on bioenergetics in high-resolution computational models of cardiac cell architecture. PLoS Comput. Biol. 14, e1006640 (2018).
Warne, D. J., Baker, R. E. & Simpson, M. J. Simulation and inference algorithms for stochastic biochemical reaction networks: from basic concepts to state-of-the-art. J. R. Soc. Interface 16, 20180943 (2019).
Bénichou, O., Chevalier, C., Klafter, J., Meyer, B. & Voituriez, R. Geometry-controlled kinetics. Nat. Chem. 2, 472–477 (2010).
Hirokawa, N., Noda, Y., Tanaka, Y. & Niwa, S. Kinesin superfamily motor proteins and intracellular transport. Nat. Rev. Mol. Cell Biol. 10, 682–696 (2009).
Teimouri, H. & Kolomeisky, A. B. New model for understanding mechanisms of biological signaling: direct transport via cytonemes. J. Phys. Chem. Lett. 7, 180–185 (2016).
Ueki, S. & Citovsky, V. Control improves with age: Intercellular transport in plant embryos and adults. Proc. Natl Acad. Sci. USA 102, 1817–1818 (2005).
McDowell-Boyer, L. M., Hunt, J. R. & Sitar, N. Particle transport through porous media. Water Resour. Res. 22, 1901–1921 (1986).
Lebiedz, D., Rehberg, M. & Skanda, D. Robust optimal design of synthetic biological networks. Methods Mol. Biol. 813, 45–55 (2012).
Baltimore, D. & Lodish, H. Molecular Cell Biology (W. H. Freeman, 1986).
Baker, R. E. & Simpson, M. J. Correcting mean-field approximations for birth–death-movement processes. Phys. Rev. E 82, 041905 (2010).
Simpson, M. J., Sharp, J. A. & Baker, R. E. Distinguishing between mean-field, moment dynamics and stochastic descriptions of birth-death movement processes. Physica A 395, 236–246 (2014).
Acknowledgements
The authors would like to thank Dr. Rajagopal for enlightening discussions and providing the imaging data used in Fig. 1a. The authors would like to additionally thank the anonymous reviewers for their comprehensive and constructive feedback. This work was supported by the EPSRC Systems Biology DTC Grant No. EP/G03706X/1 (D.B.W.), NSF-DMS 1902854 (D.B.W.), a Royal Society Wolfson Research Merit Award (R.E.B.), a Leverhulme Research Fellowship (R.E.B.), the BBSRC UK Multi-Scale Biology Network Grant No. BB/M025888/1 (R.E.B. and F.G.W.), and the Royal Society International Exchanges Scheme (F.G.W. and M.J.S.).
Author information
Authors and Affiliations
Contributions
All authors (D.B.W., F.G.W., M.J.S. and R.E.B.) contributed at all stages of this work.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Peer review information Communications Physics thanks Michael Plank and the other, anonymous, reviewer(s) for their contribution to the peer review of this work.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wilson, D.B., Woodhouse, F.G., Simpson, M.J. et al. Crowded transport within networked representations of complex geometries. Commun Phys 4, 232 (2021). https://doi.org/10.1038/s42005-021-00732-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s42005-021-00732-y
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.