Diffusion vs. direct transport in the precision of morphogen readout

  1. Sean Fancher  Is a corresponding author
  2. Andrew Mugler  Is a corresponding author
  1. Department of Physics and Astronomy, Purdue University, United States
  2. Department of Physics and Astronomy, University of Pennsylvania, United States
  3. Department of Physics and Astronomy, University of Pittsburgh, United States

Abstract

Morphogen profiles allow cells to determine their position within a developing organism, but not all morphogen profiles form by the same mechanism. Here, we derive fundamental limits to the precision of morphogen concentration sensing for two canonical mechanisms: the diffusion of morphogen through extracellular space and the direct transport of morphogen from source cell to target cell, for example, via cytonemes. We find that direct transport establishes a morphogen profile without adding noise in the process. Despite this advantage, we find that for sufficiently large values of profile length, the diffusion mechanism is many times more precise due to a higher refresh rate of morphogen molecules. We predict a profile lengthscale below which direct transport is more precise, and above which diffusion is more precise. This prediction is supported by data from a wide variety of morphogens in developing Drosophila and zebrafish.

Introduction

Within developing organisms, morphogen profiles provide cells with information about their position relative to other cells. Cells use this information to determine their position with extremely high precision (Dubuis et al., 2013; Erdmann et al., 2009; Gregor et al., 2007a; Houchmandzadeh et al., 2002; de Lachapelle and Bergmann, 2010). However, not all morphogen profiles are formed via the same mechanism and for some profiles the mechanism is still not well understood. One well-known mechanism is the synthesis-diffusion-clearance (SDC) model in which morphogen molecules are produced by localized source cells and diffuse through extracellular space before degrading or being internalized by target cells (Akiyama and Gibson, 2015; Gierer and Meinhardt, 1972; Lander et al., 2002; Müller et al., 2013; Rogers and Schier, 2011; Wilcockson et al., 2017). Alternatively, a direct transport (DT) model has been proposed where morphogen molecules travel through protrusions called cytonemes directly from the source cells to the target cells (Akiyama and Gibson, 2015; Bressloff and Kim, 2018; Kornberg and Roy, 2014; Müller et al., 2013; Wilcockson et al., 2017). The presence of these two alternative theories raises the question of whether there exists a difference in the performance capabilities between cells utilizing one or the other.

Experiments have shown that morphogen profiles display many characteristics consistent with the SDC model. The concentration of morphogen as a function of distance from the source cells has been observed to follow an exponential distribution for a variety of different morphogens (Driever and Nüsslein-Volhard, 1988; Houchmandzadeh et al., 2002). The accumulation times for several morphogens in Drosophila have been measured and found to match the predictions made by the SDC model (Berezhkovskii et al., 2011). In zebrafish, the molecular dynamics of the morphogen Fgf8 have been measured and found to be consistent with Brownian diffusion through extracellular space (Yu et al., 2009). Despite these consistencies, recent experiments have lent support to the theory that morphogen molecules are transported through cytonemes rather than extracellular space. The establishment of the Hedgehog morphogen gradient in Drosophila is highly correlated in both space and time with the formation of cytonemes (Bischoff et al., 2013), while Wnt morphogens have been found to be highly localized around cell protrusions such as cytonemes (Huang and Kornberg, 2015; Stanganello and Scholpp, 2016). Theoretical studies of both the SDC and DT models have examined these measurable effects (Berezhkovskii et al., 2011; Bressloff and Kim, 2018; Shvartsman and Baker, 2012; Teimouri and Kolomeisky, 2016a), but direct comparisons between the two models have thus far been poorly explored. In particular, it remains unknown whether one model allows for a cell to sense its local morphogen concentration more precisely than the other given biological parameters such as the number of cells or the characteristic lengthscale of the profile.

Here, we derive fundamental limits to the precision of morphogen concentration sensing for both the SDC and DT models. We investigate the hypothesis that sensory precision plays a major role in the selection of a gradient formation mechanism during evolution, and we test this hypothesis by quantitatively comparing our theory to morphogen data. Intuitively one might expect the DT model to have less noise due to the fact that molecules are directly deposited at their target. Indeed, we find below that the noise arises only from molecular production and degradation, with no additional noise from molecular transport. However, we also find below that for sufficiently large morphogen profile lengthscales, the SDC model produces less noise than the DT model due to it being able achieve a higher effective unique molecule count. By elucidating the competing effects of profile amplitude, steepness, and noise, we ultimately conclude that there should exist a profile lengthscale below which the DT model is more precise and above which the SDC mechanism is more precise. We find that this prediction is quantitatively supported by data from a wide variety of morphogens, suggesting that readout precision plays an important role in determining the mechanisms of morphogen profile establishment.

Results

Several past studies have focused on the formation dynamics of morphogen profiles (Berezhkovskii et al., 2011; Bressloff and Kim, 2018; Shvartsman and Baker, 2012; Teimouri and Kolomeisky, 2016a). Here, we model profiles in the steady state regime, as most of the experimental measurements to which we will later compare our results were taken during stages when the steady state approximation is valid (Grimm et al., 2010; Gregor et al., 2007b; Kicheva et al., 2007; Yu et al., 2009; Kanodia et al., 2009). Precision depends not only on stochastic fluctuations in the morphogen concentration, but also on the shape of the mean morphogen profile, as the shape determines concentration differences between adjacent cells that may adopt different fates. Therefore, as in past studies (Gregor et al., 2007a; Tostevin et al., 2007), we define the precision as P=Δmj/σj, where σj is the standard deviation of the number of morphogen molecules arriving at cell j, and Δmj=mj-mj+1 is the difference between the molecule number in that cell and the adjacent cell. As is typical in studies of both the DT (Teimouri and Kolomeisky, 2016a; Bressloff and Kim, 2018) and SDC (Berezhkovskii et al., 2011; Shvartsman and Baker, 2012; Teimouri and Kolomeisky, 2016b) mechanisms, we focus on a one-dimensional line of target cells. However, we derive analogous results for 2D and 3D systems, and we generally find that the dimensionality does not qualitatively change our results, as we discuss later. In 1D, cells extend in both directions from the source cell, with N cells on each side (Figure 1). We note that in the case of the Bicoid morphogen in the Drosophila embryo, target cells extend only on one side of the source. This will introduce a factor of 2 in the means of both the DT and SDC models and a factor slightly greater than 2 in the variance of the SDC model. This will not affect the agreement of the Bicoid data with our theory in Figure 4B.

Source cell (green) produces morphogen which is delivered to N target cells (blue) on either side via (A) direct transport (DT) or (B) synthesis-diffusion-clearance (SDC).

A common method for determining the statistical properties of stochastic systems is to express the dynamics of their probability distributions in the form of a master equation. The first moment of the master equation then dictates the dynamics of the mean and becomes the rate equation. Higher order moments can be similarly used to calculate other statistical properties such as the variance. As we will show, in the case of the DT mechanism only the rate equation will be needed as the relevant statistical properties are identical to that of a simple birth-death system which is fully characterized by its mean. Conversely, the SDC mechanism has more complicated noise properties, which we will calculate via the first and second moments. Specifically, we will use a Langevin description which is expressed as a rate equation with noise terms Gardiner, 2004.

Direct transport model

We first consider the DT case, where morphogen molecules are transported via cytonemes that connect a single source cell to multiple target cells (Figure 1A). Cytonemes are tubular protrusions that are hundreds of nanometers thick and between several and hundreds of microns long (Kornberg and Roy, 2014; Kornberg, 2014). They are supported by actin filaments, and it is thought that morphogen molecules are actively transported along the filaments via molecular motors (Kornberg and Roy, 2014; Kornberg, 2014; Sanders et al., 2013; Huang and Kornberg, 2015). It was recently shown that a DT model that includes forward and backward transport of molecules within cytonemes reproduces experimentally measured accumulation times (Teimouri and Kolomeisky, 2016a; Bressloff and Kim, 2018), although the noise properties of this model were not considered. Here, we review the steady state properties of this model and derive its noise properties.

Consider a single source cell that produces morphogen at rate β. Morphogen molecules enter each cytoneme at rate γ. The cytoneme that leads to the jth target cell has length 2ja, where a is the cell radius. Once inside a cytoneme, morphogen molecules move forward toward the target cell with velocity v+ or backwards toward the source cell with velocity v-, and can switch between these states with rates ζ+ (forward-to-backward) or ζ- (backward-to-forward). Once a molecule reaches the forward (backward) end of the cytoneme, it is immediately absorbed into the target (source) cell. Molecules within a target cell spontaneously degrade with rate ν. An alternative model could involve neglecting this degradation step by counting the arrival of morphogen molecules rather than the concentration. This method can at best reduce the variance by a factor of 2 as the noise from degradation is eliminated but the noise from arrival remains. This would cause negligible change to our results presented in Figure 3 and Figure 4 given the order of magnitude difference in precision seen between our two models.

The dynamics of the mean number of morphogen molecules in the source cell m0(t) and jth target cell mj(t), and the mean density of forward-moving molecules uj+(x,t) and backward-moving molecules uj-(x,t) in the jth cytoneme are (Bressloff and Kim, 2018)

(1) m0t=βj[γm0vuj(0,t)],uj+t=v+uj+x+ζujζ+uj+,ujt=vujxζuj+ζ+uj+,mjt=v+uj+(Lj,t)νmj,

where the summation in the first line runs from j=-N to j=N excluding 0 (the source cell). Additionally, the boundary conditions v+uj+(0,t)=γm0(t) and v-uj-(Lj,t)=0 are imposed to reflect the rate at which morphogen molecules enter the cytoneme from either end. This creates a steady-state solution of the form

(2) mjDT=βΓj2νk=1NΓk, where Γj=e2|j|κa(1eϕ)1eϕ2|j|κa.

This solution is identical to that found in Bressloff and Kim, 2018 with the exception of the factor of 1/2 that accounts for target cells existing on both sides of the source cell in our model. Here, γΓj is the effective transport rate of morphogen molecules to the jth target cell, and ϕ=log(d-/d+) and κ=(d+)-1-(d-)-1 are defined in terms of the average distance a molecule would move forward d+=v+/ζ+ or backward d-=v-/ζ- within a cytoneme before switching direction. The parameter ϕ sets the shape of Γj, and thus of mj: when ϕ-1 the profile is constant, Γj=1; when ϕ1 it is exponential, Γj=e-2|j|κa; and when |ϕ|1 it is a power law for large j, Γj=(1+2|j|a/d+)-1. The parameter κ sets the lengthscale of the profile, defined as

(3) λDT=j=1NΓj-ΓNΓ1-ΓN1|κ|(e|ϕ|-1)(|ϕ|-log(e|ϕ|-1)),

where we approximate the sum as an integral for N1. We use this expression to eliminate κ, writing Γj in Equation 2 entirely in terms of ϕ and λ^λ/a.

Despite the complexity of the transport process in Equation 1, we find that it adds no noise to mj. In fact, here we prove that any system in which molecules can only degrade in the target cells and cannot leave the target cells has the steady-state statistical properties of a simple birth-death process. First, consider the special case of only one target cell. Because each morphogen molecule produced in the source cell acts independently of every other morphogen molecule, we define p(τ) as the probability density that any given molecule will enter the target cell a time τ after it is created in the source cell. Next, we define Q(δt) as the probability that a morphogen molecule will enter the target cell between t and t+δt. This event requires the molecule to have been produced between t-τ and t-(τ+dτ), which occurs with probability βdτ; to arrive at the target cell a time τ later and to enter the target cell within the window δt, which occurs with probability p(τ)δt; and we must integrate over all possible times τ. Therefore,

(4) Q(δt)=0[βdτ][p(τ)δt]=βδt0𝑑τp(τ)=βδt,

where the last step follows from normalization.

This generalized version of the DT model is visualized in Figure 2. We see that regardless of the form of p(τ), the probability of a morphogen molecule entering the target cell in any given small time window δt is simply βδt. Since the mechanism by which morphogen molecules go from the source cell to the target cell can only affect p(τ), this result holds regardless of the specifics of the mechanism so long as the condition that the morphogen cannot leave the target cell other than by degradation is maintained. This result also holds when the system is expanded to have multiple target cells, as then p(τ) is replaced with pj(τ), the probability density that the molecule enters the jth target cell a time τ after being produced. In this case, 0𝑑τpj(τ) evaluates to πj, the total probability the morphogen molecule is ultimately transported to the jth target cell, and βδt is simply replaced with βπjδt. Combined with the constant degradation rate ν of morphogen molecules within the target cell, this is precisely a birth-death process with birth rate βπj and death rate ν. For our system πj=Γj/2k=1NΓk in Equation 2. The conditions that morphogen molecules act independently and can only degrade within the target cell are critical as the former ensures the noise sources are linear and the later will be violated by the SDC mechanism.

Diagram outlining a generalized version of the DT model.

Between times t-(τ+dτ) and t-τ a molecule is produced with probability βdτ. This molecule then undergoes a transport process over a time τ with probability density p(τ). Finally, the molecule is deposited into the target cell at the end of the transport process. Integrating over all possible values of τ then yields Q(δt), the probability of the molecule entering the target cell between times t and t+δt.

We now assume that each cell integrates its morphogen molecule count over a time T (Berg and Purcell, 1977; Gregor et al., 2007a). The variance in the time average T-10T𝑑tmj(t) is simply that of a birth-death process, given by σj2=2mj/(T/τ) (Fancher and Mugler, 2017), so long as Tτ, where τ=ν-1 is the correlation time. We see that, as expected for a time-averaged Poisson process, the variance increases with the mean mj and decreases with the number T/τ of independent measurements made in the time T. The precision is therefore

(5) PDT2=mjDTT2τDT(ΔmjDTmjDT)2,withτDT=1ν.

We see that the precision increases with the profile amplitude mj, the number of independent measurements T/τ, and the profile steepness Δmj/mj. The transport process influences the precision only via mj, not τ. For a given N, j, and λ^, we find that the precision is maximized at a particular ϕ*>0 (Figure 3A). The reason is that an exponential profile (ϕ1) has constant steepness but small amplitude, whereas a power-law profile (ϕ1) has low steepness but large amplitude due to its long tail; the optimum is in between.

Comparing theoretical DT precision to SDC precision for a single cell.

(A) DT precision shows a maximum as a function of shape parameter ϕ for any value of the profile lengthscale. (B) Ratio ρj of DT to SDC precision shows a crossover (ρj=1) as a function of profile lengthscale λ/a for 1D, 2D, and 3D geometries. Here j=50 is the central cell of N=100 target cells. For each value of λ^ the value of ϕ which maximizes precision in the DT model (ϕ*) as seen in A is used.

SDC model

We next consider the SDC case (Figure 1B). Again a single source cell at the origin x=0 produces morphogen at rate β. However, now morphogen molecules diffuse freely along x with coefficient D and degrade spontaneously at any point in space with rate ν. The dynamics of the morphogen concentration c(x,t) are

(6) ct=D2c+ηD-νc-ην+(β+ηβ)δ(x),

where the noise terms associated with diffusion, degradation, and production obey

(7) ηD(x,t)ηD(x,t)=2Dδ(tt)xxc(x)δ(xx)ην(x,t)ην(x,t)=νc(x)δ(tt)δ(xx),ηβ(t)ηβ(t)=βδ(tt),

respectively (Gardiner, 2004; Gillespie, 2000; Fancher and Mugler, 2017; Varennes et al., 2017). Here, the time independent c(x)=βe-|x|/λ/(2νλ) is the steady state mean concentration, with characteristic lengthscale λSDC=D/ν. We imagine a target cell located at x that is permeable to the morphogen and counts the number m(x,t)=V𝑑yc(x+y,t) of morphogen molecules within its volume V. We use this simpler prescription over explicitly accounting for more realistic mechanisms such as surface receptor binding because it has been shown that the two approaches ultimately yield similar concentration sensing results up to a factor of order unity (Berg and Purcell, 1977). For a cell in steady state at position x=2ja, the integral evaluates to

(8) mjSDC=(β/ν)sinh(1/λ^)e-2|j|/λ^.

Importantly, in the model presented here the morphogen molecules can diffuse both into and out of the target cells, thus violating the condition that they can only degrade once in a target cell and disallowing our previous argument depicted in Figure 2. However, because Equation 6 is linear with Gaussian white noise, calculating the time-averaged variance σj2 is straightforward: we Fourier transform Equation 6 in space and time, calculate the power spectrum of m(x,t), and take its low-frequency limit (Appendix 1). So long as Tν-1, we obtain the same functional form as Equation 5,

(9) PSDC2=mjSDCT2τSDC(ΔmjSDCmjSDC)2,

because diffusion is a Poisson process. This result is distinguished from that of the DT system by the correlation time taking the form

(10) τSDC=1ν[1-(2/λ^)+sinh(2/λ^)4sinh(1/λ^)e1/λ^].

The factor in brackets is always less than one and decreases with λ^. It reflects the fact that, unlike in the DT model, molecules can leave a target cell not only by degradation, but also by diffusion. Therefore, the rate τ-1 at which molecules are refreshed is larger than that from degradation alone. This effect increases the precision because more independent measurements (T/τ) can be made.

To understand this effect more intuitively, consider a simplified SDC model in which diffusion is modeled as discrete hopping between adjacent target cells at rate h. The autocorrelation function is Cj(t)=mjI0(2ht)e-(2h+ν)t (Appendix 2), where I0 is the zeroth modified Bessel function of the first kind. The correlation time is τ=0𝑑tCj(t)/Cj(0)=[ν(4h+ν)]-1/2, and we see explicitly that it decreases with both degradation (ν) and diffusion (h). In fact, in the limit of fast diffusion (hν), the expression becomes τ=(4νh)-1/2. Correspondingly, in the fast-diffusion limit of Equation 9 (λ^1), the term in brackets reduces to λ^-1, and it becomes τ=(νλ^)-1/2=[4νD/(2a)2]-1/2. These expressions are identical, with D/(2a)2 playing the role of the hopping rate h, as expected.

Comparing the models

We now ask which model has the higher precision. We first note that while the precision in both models has the same form when expressed in terms of the means and correlation times (Equations 5 and 8), substituting in the corresponding expressions reveals how the precision depends on the various parameters of each model. Specifically, the precision in the DT model is seen to depend on N, j, the product βT, λ^, and ϕ. Importantly, it is independent of ν so long as the condition TτDT=ν-1 is met. This is due to the mean molecule count scaling as ν-1 (Equation 2) and the number of independent measurements (T/τDT=νT) scaling as ν, thus causing their product and in turn the precision to be independent of ν. In the SDC model, the precision depends on j, the product βT, and λ^. For similar reasons as in the DT model, ν does not explicitly appear once Equations 7 and 9 are inserted into Equation 8, but it is present implicitly in the definition of λ^=D/ν/a.

To properly compare the two models, we equate several variables. Specifically, we wish to compare the precision of each model within a specific system, which requires N and j to be the same in both models. Additionally, β and ν are restricted by the energy and material costs of producing and degrading morphogen molecules while T is restricted by the need of the system to properly develop in a finite amount of time. These restrictions are assumed to be independent of the method of morphogen profile establishment, which implies that both the DT and SDC systems will adopt the same maximal values of β and T. While the value of ν is restricted in a similar manner, explicitly equating it between the two models does not reduce the number of free parameters, as the precision is independent of ν in the DT model, and ν is insufficient to fully define the value of λ^ in the SDC model. Therefore, we equate the characteristic profile length scale λ^, as this parameter is consistently defined across both models and is also measured in experiments, allowing us to compare our theory with data as discussed below. Finally, we optimize over ϕ as it is unique to the DT model.

We now observe how the precision of the DT and SDC models compare in a representative system. Figure 3B shows ρj=PDT2/PSDC2 as a function of profile length λ^ for a cell in the center (j=N/2) of a line of N=100 target cells, where for each λ^ we use the ϕ* that maximizes PDT2 as seen in Figure 3A. Since β and T have been equated between the two models, ρj is independent of both. We see that for short profiles the DT model is more precise (ρj>1) whereas for long profiles the SDC model is more precise (ρj<1). This effect holds for a single source cell providing morphogen for a 1D line of target cells as well as for a 1D line of source cells with a 2D sheet of target cells and a 2D sheet of source cells with a 3D volume of target cells. For the DT model, the 2D and 3D cases are identical to the 1D case as we assume that cytonemes extend perpendicular to the source cells; for the SDC model see Appendix 1.

The reason that the SDC model is more precise for long profiles is that long profiles correspond to fast diffusion, which increases the refresh rate τSDC-1 as discussed above. Conversely, the reason that the DT model is more precise for short profiles is that it has a larger amplitude. It also has a smaller steepness, but the larger amplitude wins out. Specifically, whereas the SDC amplitude falls off exponentially, mje-2|j|/λ^, for sufficiently small ϕ* the DT amplitude falls off as a power law, mj1/|j|. The steepness Δmj/mj of the SDC profile is constant, while the steepness of the DT profile also scales like 1/j. Thus, the product of the ratio of amplitudes and the square of the ratio of steepnesses, on which ρj depends, scales like e2|j|/λ^/|j|3. For small λ^, the exponential dominates over the cubic for the majority of j values. Consequently, the DT model has the higher precision.

Comparison to data

We now test our predictions against data for various morphogens. In Drosophila, the morphogen Wingless (Wg) is localized near cell protrusions such as cytonemes (Huang and Kornberg, 2015; Stanganello and Scholpp, 2016), and the Hedgehog (Hh) gradient correlates highly in both space and time with the formation of cytonemes (Bischoff et al., 2013), suggesting that these two morphogen profiles are formed via a DT mechanism. Conversely, Bicoid has been understood as a model example of SDC for decades (Driever and Nüsslein-Volhard, 1988; Gregor et al., 2007a; Houchmandzadeh et al., 2002). Similarly, Dorsal is spread by diffusion; however, its absorption is localized to a specific region of target cells via a nonuniform degradation mechanism, making it more complex than the simple SDC model (Carrell et al., 2017). Finally, for Dpp there is evidence for a variety of different gradient formation mechanisms (Akiyama and Gibson, 2015; Müller et al., 2013; Wilcockson et al., 2017).

In zebrafish, the morphogen Fgf8 has been studied at the single molecule level and found to have molecular dynamics closely matching the Brownian movement expected in an SDC mechanism (Yu et al., 2009). Similarly, Cyclops, Squint, Lefty1, and Lefty2, all of which are involved in the Nodal/Lefty system, have been shown to spread diffusively and affect cells distant from their source (Müller et al., 2013; Rogers and Müller, 2019). This would support the SDC mechanism, although Cyclops and Squint have been argued to be tightly regulated via a Gierer-Meinhardt type system, thus diminishing their gradient sizes to values much lower than what they would be without this regulation (Gierer and Meinhardt, 1972; Rogers and Müller, 2019).

For all these morphogens, we estimate the profile lengthscales λ from the experimental data (Kicheva et al., 2007; Wartlick et al., 2011; Gregor et al., 2007b; Liberman et al., 2009; Yu et al., 2009; Müller et al., 2012) (Appendix 3). Figure 4A shows these λ values and indicates for each morphogen whether the evidence described above suggests a DT mechanism (red), an SDC mechanism (blue), or multiple mechanisms including DT and SDC (white). We see that in general, the three cases correspond to short, long, and intermediate profile lengths, respectively, which is qualitatively consistent with our predictions.

Comparing theory and experiment.

(A) λ values for morphogens estimated from experiments, colored by whether experiments support a DT (red), SDC (blue), or multiple mechanisms (white). (B) Data from A overlaid with color from theory using values of a and N estimated from experiments. Color indicates percentage of cells for which SDC is predicted to be more precise with dots signifying 0% and 100%, dashed lines signifying 25% and 75%, and solid lines signifying 50%. The λ^ axis is normalized by λ^50, the value of λ^ at which 50% of cells are more precise in SDC.

To make the comparison quantitative, we estimate the values of cell radius a and cell number N from the experimental data (Kicheva et al., 2007; Gregor et al., 2007a; Liberman et al., 2009; Yu et al., 2009; Kimmel et al., 1995) (Appendix 3) in order to calculate ρj from our theory in each case. The background color in Fig. Figure 4B shows the percentage of cells within each system for which we predict that the SDC model is more precise as a function of λ^. The data points in Fig. Figure 4B show the values of λ^ from the experiments, also normalized by λ^50, the value of λ^ at which 50% of cells are more precise in SDC, from the theory. For each morphogen species, we assume a 1D system for simplicity as we have checked that considering higher dimensions yields negligible differences to the results presented in Figure 4B. We see that our theory predicts the correct threshold: the morphogens for which the evidence suggests either a DT or an SDC mechanism (red or blue) fall into the regime in which we predict that mechanism to be more precise for most of the cells, and the morphogens with multiple mechanisms (white) fall in between. This result provides quantitative support for the idea that morphogen profiles form according to the mechanism that maximizes the sensory precision of the target cells.

Discussion

We have shown that in the steady-state regime, the DT and SDC models of morphogen profile formation yield different scalings of readout precision with the length of the profile and population size. As a result, there exist regimes in this parameter space in which either mechanism is more precise. While the DT model benefits from larger molecule numbers and no added noise from the transport process, the ability of molecules to diffuse into and away from a target cell in the SDC model allows the cell to measure a greater number of effectively unique molecules in the same time frame. By examining how these phenomena affect the cells’ sensory precision, we predicted that morphogen profiles with shorter lengths should utilize cytonemes or some other form of direct transport mechanism, whereas morphogens with longer profiles should rely on extracellular diffusion, a prediction that is in quantitative agreement with measurements on known morphogens. It will be interesting to observe whether this trend is further strengthened as more experimental evidence is obtained for different morphogens, as well as to expand the theory of multicellular concentration sensing to further biological contexts.

Despite the quantitative agreement between our theory and experiments, it is clear that the models presented here are minimal and thus cannot be directly applied to all systems. This is exemplified by morphogen such as Dorsal, which due to aforementioned diffusive spreading and nonuniform degradation mechanism clearly does not strictly follow either model. Additionally, the SDC model can be violated if the diffusion of morphogen through a biological environment is hindered by the typically crowded nature of such environments, leading to possibly subdiffusive behavior (Ellery et al., 2014; Fanelli and McKane, 2010). For the DT model, we explicitly ignored the dynamics of the cytonemes themselves due to the growth rate of the cytonemes being sufficiently fast so as to traverse the entire system size in significantly less time than is required for the cells to integrate their morphogen counts over (Bischoff et al., 2013; Chen et al., 2017). This assumption is problematic if cytonemes continue to behave dynamically after reaching the source cell. In particular, the process of cytonemes switching between phases of growing and retracting can introduce super-Poissonian noise sources to the morphogen count within the target cells. Super-Poissonian noise can also be introduced by relaxing the assumption that the morphogen molecules behave independently of each other as this was a critical component of our proof that the molecule count in the target cells is statistically identical to a birth-death process. Finally, it is conceivable that a hybrid system which utilizes a combination of diffusion and directed transport could be developed. However, we are unaware of any experimental study into such a possibility and as such have not considered it in this particular work. It will be interesting to explore the implications of each of these complications in future works.

Materials and methods

Methods are described in Appendices 1, 2, and 3 along with more detailed evaluations of 2D and 3D SDC systems and further discussion of data used in Figure 4. Additionally, code used to generate the plots seen in Figure 3 and Figure 4 can be found at Fancher, 2020.

Appendix 1

Time-averaged variance in the SDC model

Here we calculate the time-averaged variance of the morphogen molecule number using the low-frequency limit of the power spectrum. We first introduce the power spectrum, and then we calculate the variance for the 1D, 2D, and 3D geometries.

Power spectrum

We first discuss the correlation function and power spectrum to establish some definitions and notation. Specifically, we show that the variance in the long-time average of a variable is given by the low-frequency limit of its power spectrum. For a one-dimensional function x(t) with mean 0, the correlation function C(t) takes the form

(11) C(t-t)=x(t)x(t).

Since absolute time is irrelevant in the steady state of any physical system with no time dependent forcing, t can be set to 0 without loss of generality. This leads to a definition for the power spectrum of x(t) as

(12) S(ω)=dω2πx~(ω)x~(ω)=12πdωdtdtx(t)x(t)eiωteiωt=dtdtC(tt)eiωtδ(t)=dtC(t)eiωt.

Thus, under this definition the power spectrum is seen to be the Fourier transform of the correlation function. Additionally, when x(t) is averaged over a time T, the time averaged correlation function of x(t) takes the form

(13) CT(tt)=(1Ttt+Tdτx(τ))(1Ttt+Tdτx(τ))=1T2tt+Tdτtt+Tdτx(τ)x(τ)=1T2tt+Tdτtt+TdτC(ττ).

Let y(τ-τ)-(t-t) and z(τ+τ)-(t+t). This transforms Equation 13 into

(14) CT(tt)=1T2TTdy|y|2T|y|dz12C(y+tt)=1T2TTdy(T|y|)C(y+tt).

By inverting the relationship found in Equation 12, C(y+t-t) can be replaced with an inverse Fourier transform of S(ω) to produce

(15) CT(tt)=1T2TTdydω2π(T|y|)S(ω)eiω(y+tt)=dω2π(2ωTsin(ωT2))2S(ω)eiω(tt).

The factor of (ωT)-2 in the integrand of Equation 15 forces only small values of ω to contribute when T is large. Thus, the approximation S(ω)S(0) can be made since only values of ω near 0 are contributing. This causes CT(0), which we will denote as σ2 through this and the main text, to be exactly calculable to

(16) σ2=CT(0)S(0)dω2π(2ωTsin(ωT2))2=S(0)T.

Of important note is the fact that this approximation only works if S(ω) varies slowly compared to (2sin(ωT/2)/ωT)2 near ω=0. Since C(t) must be time symmetric, S(ω) must also be symmetric and thus an even function of ω. Thus, near ω=0 the lowest order correction term for each function will be the second order term. Normalizing each term by the 0-frequency value of each function then lets us to impose the condition

(17) |1S(0)2S(ω)ω2|ω=0||2ω2(2ωTsin(ωT2))2|ω=0|=T26.

So long as this condition is satisfied, the approximation given in Equation 16 is valid.

We now cast Equation 16 into a more intuitive form by considering the correlation time τ, which can be defined as

(18) τ=0𝑑tC(t)C(0).

Continuing the use the fact that C(t) must be time symmetric and thus an even function of t, Equation 12 can be used to produce the result

(19) S(0)=𝑑tC(t)=20𝑑tC(t)=2τC(0).

Inserting this result into Equation 16 produces

(20) σ22τTC(0),

thus relating the long-time averaged variance, σ2, to the instantaneous variance, C(0), and the number of correlation times the system averages over, T/τ.

Variance and precision

We now consider a model for the Synthesis-Diffusion-Clearance system. We still assume there is a single source cell which produces morphogen at rate β, but now the morphogen is released into the extracellular environment where it freely diffuses at rate D. The morphogen can also spontaneously degrade at rate ν. Even though in the main text we focus on a zero-dimensional source in a one-dimensional space, here we will look at diffusion in a multitude of different spaces with different dimensions as well as morphogen sources that span a multitude of different dimensions. In each case, the sources will secrete morphogen molecules into a density field c which must follow

(21) ct=D2c+ηD-νc-ην+(β+ηβ)δSP-SO(x),

where SP is the number of spatial dimensions, SO is the dimensionality of the source, and 2 is taken over all SP dimensions. Each η term is a Langevin noise term that represents Gaussian white noise for the diffusion, degradation, and production processes respectively. Of important note is that δSP-SO(x) is a δ function only in the last SP-SO dimensions of the space. So, for example, if there was a one dimensional source in three dimensional space, then δ3-1(x) would be a δ function in the y^ and z^ directions but not the x^ direction. This means that β and ηβ will have units of T-1L-SO, where T is time and L is space.

We can now assume c has reached a steady state and separate it into c=c¯+δc, which in turn allows Equation 21 to separate into

(22) 0=D2c¯-νc¯+βδSP-SO(x)
(23) δct=D2δc+ηD-νδc-ην+ηβδSP-SO(x).

where

Fourier transforming Equation 22 in space and dividing it by ν then yields

(24) 0=λ2|k|2c¯~c¯~+βν(2π)SOδSO(k)  c¯~=βν(2π)SOδSO(k)1+λ2|k|2,

where

(25) λ=Dν.

Of similarly important note is that δSO(k) is a δ function only in the first SO dimensions of k-space. So in the one-dimensional source, three-dimensional space example δSO(k) would be a δ function in the x^ direction of k-space but not the y^ or z^ directions.

This allows c¯ to be written as

(26) c¯(x)=dSPk(2π)SPeikxc¯~(k)=βνdSPk(2π)SPeikx(2π)SOδSO(k)1+λ2|k|2=βνdSPSOk(2π)SPSOeikx11+λ2|k|2=βλ(SPSO)νPSPSO(|x|λ),

where

(27) PN(x)=dNu(2π)Ne-iux11+|u|2.

It is important to note that PN does not integrate over all available dimensions, but only over the last N dimensions of the space. This in turn means that its argument can only depend on the last N dimensions of any input vector. Returning to the one dimensional source, three dimensional space example, P3-1(|x|/λ) should only take the y and z components of x into account. The x component is made irrelevant by the translational symmetry of the system along the x-axis.

Moving on to the noise terms, Equation 23 can be Fourier transformed in space and time to yield

(28) iωδc~=D|k|2δc~+η~Dνδc~η~ν+η~β  δc~=η~Dη~ν+η~βν(1+λ2|k|2iων),

where ηβ(k,ω) depends only on the first SO dimensions of k-space. Assuming the η terms are all independent of each other allows the cross spectrum of c to be

(29) δc~(k,ω)δc~(k,ω)=1ν2(1+λ2|k|2iων)(1+λ2|k|2+iων)(η~D(k,ω)η~D(k,ω)+η~ν(k,ω)η~ν(k,ω)+η~β(k,ω)η~β(k,ω)).

The cross spectrum of ηD can be obtained from its correlation function. To derive such a correlation function, we first consider a separate Markovian system comprised of a 1-dimensional lattice of discrete compartments that a diffusing species Y can exist in. The dimensionality is chosen purely for simplicity, as the method outlined below can be easily generalized to higher dimensions to produce the same result. Let yi(t) be the number of Y molecules in the ith compartment at time t and d be the rate at which these molecules move to the i-1 or i+1 compartment. Given a sufficiently small time step δt, the probability of a molecule moving from the ith compartment to the i±1 compartment is

(30) P({yi(t+δt),yi±1(t+δt)}={yi(t)-1,yi±1(t)+1})=yi(t)dδt.

Higher order interactions in which multiple molecules are transfered within the time step δt will have probabilites of order (δt)2 or higher and can thus be ignored. This allows the mean of δyi(t)=yi(t+δt)-yi(t) to take the form

(31) δyi(t)=(yi-1(t)+yi+1(t)-2yi(t))dδt,

where the first two terms come from molecules moving into theith compartment from the i-1 and i+1 compartments respectively and the third term comes from the two different ways molecules can leave the ith compartment. As δt is small, each of these transfer processes can be treated as being Poissonianly distributed. This allows the variance of δyi(t) to simply be the right-hand side of Equation 24 but with each term taken to be its absolute value so there are no subtractions. Additionally, this approximation allows the covariance between δyi and δyi±1 to be taken as the negative of the sum of the expected number of molecules moving from the ith compartment to the i±1 compartment and vice versa. With these, the correlation function between δyi(t) and δyj(t) can be written as

(32) δyj(t)δyi(t)=(yi1(t)+yi+1(t)+2yi(t))dδtδi,j(yi(t)+yi1(t))dδtδi1,j(yi(t)+yi+1(t))dδtδi+1,j.

We now take the system to continuous space by letting yi(t)c(x,t) and δi,jδ(x-x) with any intances of ±1 in the indices also being converted to ±. Putting these substitutions into Equation 25 and dividing by (δt)2 yields

(33) δc(x,t)δtδc(x,t)δt=dδt((c(x,t)+c(x+,t)+2c(x,t))δ(xx)(c(x,t)+c(x,t))δ(xx)(c(x,t)+c(x+,t))δ(x+x))=dδt((c(x+,t)δ(xx)c(x+,t)δ(x+x))(c(x,t)δ(xx)c(x,t)δ(xx))(c(x,t)δ(xx)c(x,t)δ(x+x))(c(x,t)δ(xx)c(x,t)δ(xx))).

Equation 33 has been rearranged into this form so as to easily apply the operators x± defined as

(34a) x+f(x)=f(x+)-f(x),
(34b) x-f(x)=f(x)-f(x-).

Using this notation, Equation 33 can be simplfied into

(35) δc(x,t)δtδc(x,t)δt=dδt(x+(c(x,t)δ(xx)c(x,t)δ(xx))+x(c(x,t)δ(xx)c(x,t)δ(x+x)))=2dδt(x+x++xx)(c(x,t)δ(xx)).

Taking the 0 limit while holding D=2d constant allows x± and x± to converge to true derivatives, x and x. Additionally, if the δc(x,t)/δt term on the left-hand side of Equation 35 is replaced with δc(x,t)/δt for tt, then the entire right-hand side must go to 0 as the system is Markovian. This can be accomplished by multiplying the right-hand side by a factor of δt,t. Taking the δt0 limit then turns the two terms on the left-hand side into true derivatives in time, t and t, acting on c(x,t) and c(x,t) respectively while the factor of δt,t/δt on the right-hand side becomes δ(t-t). Altogether, this transforms Equation 35 into

(36) tc(x,t)tc(x,t)=2Dδ(t-t)xx(c(x,t)δ(x-x)).

Finally, by approximating the system as being in steady state, c(x,t) can be replaced with c¯(x) and tc(x,t) becomes equivalent to ηD(x,t). Making these substitutions and generalizing Equation 36 to arbitrary dimensions yields

(37) ηD(x,t)ηD(x,t)=2Dδ(t-t)(c¯(x)δSP(x-x)).

Fourier transforming Equation 37 can be easily performed due to the δ functions, integrating the spatial terms by parts, and utilizing Equation 24 to yield

(38) η~D(k,ω)η~D(k,ω)=dSPxdSPxdtdteikxeikxeiωteiωtηD(x,t)ηD(x,t)=2DdSPxdSPxdtdteikxeikxeiωteiωtδ(tt)(c¯(x)δSP(xx))=2D(2πδ(ωω))dSPxdSPxeikxeikx(c¯(x)δSP(xx))=2D(2πδ(ωω))dSPxdSPxc¯(x)δSP(xx)(eikxeikx)=2Dkk(2πδ(ωω))dSPxdSPxc¯(x)δSP(xx)eikxeikx=2Dkk(2πδ(ωω))dSPxc¯(x)eix(kk)=2Dkkc¯~(kk)(2πδ(ωω))=2λ2kk1+λ2|kk|2(β(2π)SO+1δ(ωω)δSO(kk)).

Moving on to ην, its correlation function must be δ correlated in time and space since it is a purely local reaction and as such, at steady state, must take the form

(39) ην(x,t)ην(x,t)=νc¯(x)δ(t-t)δSP(x-x).

Fourier transforming Equation 39 is again easily performed due to the δ functions and Equation 24. This yields

(40) η~ν(k,ω)η~ν(k,ω)=dSPxdSPxdtdteikxeikxeiωteiωtην(x,t)ην(x,t)=νdSPxdSPxdtdteikxeikxeiωteiωtc¯(x)δ(tt)δSP(xx)=ν(2πδ(ωω))dSPxdSPxeikxeikxc¯(x)δSP(xx)=ν(2πδ(ωω))dSPxeix(kk)c¯(x)=νc¯~(kk)(2πδ(ωω))=11+λ2|kk|2(β(2π)SO+1δ(ωω)δSO(kk)).

Finally, the cross spectrum of ηβ must be δ correlated in ω-space as well as all source dimensions of k-space since it is merely a uniform production term that does not depend on space or time. This yields

(41) η~β*(k,ω)η~β(k,ω)=β(2π)SO+1δ(ω-ω)δSO(k-k).

Combining Equations 29, 38, 40, and 41 then yields

(42) δc~(k,ω)δc~(k,ω)=β(2π)SO+1δ(ωω)δSO(kk)ν2(1+λ2|k|2iων)(1+λ2|k|2+iων)(2λ2kk1+λ2|kk|2+11+λ2|kk|2+1)=β(2π)SO+1δ(ωω)δSO(kk)ν2(1+λ2|k|2iων)(1+λ2|k|2+iων)2+λ2(|k|2+|k|2)1+λ2|kk|2=c¯~(kk)(2πδ(ωω))(2+λ2(|k|2+|k|2))ν(1+λ2|k|2iων)(1+λ2|k|2+iων).

We now define m as

(43) m(x,t)=V(a)dSPrc(x+r,t),

where V(a) is a SP-dimensional sphere with radius a. This allows the mean value of m to be written as

(44) m¯(x)=V(a)dSPrc¯(x+r)=βλ2(SPSO)DV(a)dSPrPSPSO(|x+r|λ)=βλSOνMSPSO,SP(|x|λ,aλ),

where

(45) MN,N(x,y)=V(y)dNuPN(|x+u|).

Since PN(|x|) can only depend on the last N dimensions of its input vectors, the same must be true of MN,N. From here we define S(x) as the 0-frequency limit of the cross spectrum in ω-space of m. This allows the time averaged variance, σ2(x) to take the form

(46) σ2(x)=S(x)T=1Tlimω0dω2πδm~(x,ω)δm~(x,ω)=1Tlimω0dω2πV(a)dSPrdSPrdSPk(2π)SPdSPk(2π)SPeik(x+r)eik(x+r)δc~(k,ω)δc~(k,ω)=1(2π)2SPνTV(a)dSPrdSPrdSPkdSPkeik(x+r)eik(x+r)c¯~(kk)(2+λ2(|k|2+|k|2))(1+λ2|k|2)(1+λ2|k|2)=1(2π)2SPνTV(a)dSPrdSPrdSPkdSPkdSPzeik(x+r)eik(x+r)eiz(kk)c¯(z)2+λ2(|k|2+|k|2)(1+λ2|k|2)(1+λ2|k|2)=1(2π)2SPνTV(a)dSPrdSPrdSPkdSPkdSPzeik(x+rz)eik(x+rz)c¯(z)(11+λ2|k|2+11+λ2|k|2)=1(2π)2SPνTV(a)dSPrdSPrdSPzc¯(z)(dSPkeik(x+rz)(2π)SPδSP(x+rz)1+λ2|k|2+dSPkeik(x+rz)(2π)SPδSP(x+rz)1+λ2|k|2)=βλ2(SPSO)DνλSPTV(a)dSPrdSPrdSPzPSPSO(|z|λ)(δSP(x+rz)PSP(|x+rz|λ)+δSP(x+rz)PSP(|x+rz|λ))=βλ4(2SPSO)D2TV(a)dSPrdSPrPSP(|rr|λ)(PSPSO(|x+r|λ)+PSPSO(|x+r|λ))=βλ4(SPSO)D2T(V(a)dSPrMSP,SP(|r|λ,aλ)PSPSO(|x+r|λ)+V(a)dSPrMSP,SP(|r|λ,aλ)PSPSO(|x+r|λ))=2βλ4(SPSO)D2TV(a)dSPrMSP,SP(|r|λ,aλ)PSPSO(|x+r|λ)=2βλSOν2TΣSPSO,SP(|x|λ,aλ)=2m¯(x)νTΣSPSO,SP(|x|λ,aλ)MSPSO,SP(|x|λ,aλ),

where

(47) ΣN,N(x,y)=V(y)dNuMN,N(u,y)PN(|x+u|).

Wherein once again only the last N dimensions of the input vectors can be taken into account. Combining Equations 44 and 46 yields the full precision to be

(48) P2(x)=m¯2(x)σ2(x)(Δm¯(x)m¯(x))2=T2τβνMSP-SO,SP(|x|λ,aλ)(1-MSP-SO,SP(|x|+2aλ,aλ)MSP-SO,SP(|x|λ,aλ))2,

where

(49) τ=1νΣSP-SO,SP(|x|λ,aλ)MSP-SO,SP(|x|λ,aλ).

With Equation 48, once the forms of PN, MN,N, and ΣN,N are determined for a given SP and SO, the full form of the noise-to-signal ratio can be found. We now calculate these forms for specific choices of SP and SO.

1D space, 0D source

To begin, we start with the simple scenario in which SP=1 and SO=0. This allows P1, M1,1, and Σ1,1 to take the forms

(50) P1(x)=du2πe-iux11+u2=12e-|x|
(51) M1,1(x,y)=yyduP1(|x+u|)=12yydue|x+u|={1eycosh(x)x<yexsinh(y)xy
(52) Σ1,1(x,y)=yyduM1,1(u,y)P1(|x+u|)=12yydu(1eycosh(u))e|x+u|={114ey((5+2ye2y)cosh(x)2xsinh(x))x<y14ex(4sinh(y)ey(2y+sinh(2y)))xy

Equation 51 and Equation 52 can then be put into Equation 48 along with the assumption |x|>a to obtain

(53) P2(x)=m¯(x)T2τ(1-e-2aλ)2,

and

(54) τ=1ν(1-e-aλ2aλ+sinh(2aλ)4sinh(aλ))

as in Equations 9 and 10 of the main text.

Next we apply the condition given by Equation 17 to determine the regime in which these results are valid for the SP=1 and SO=0 case. A similar methodology can be done for each of the other cases we will look at, though this is the only one we do explicitly. To begin, we will reperform the calculation done in Equation 46 but without taking the ω0 limit so as to obtain the full form of S(ω,x).

(55) S(ω,x)=dω2πδm~(x,ω)δm~(x,ω)=dω2πaadrdrdk2πdk2πeik(x+r)eik(x+r)δc~(k,ω)δc~(k,ω)=1(2π)2νaadrdrdkdkeik(x+r)eik(x+r)c¯~(kk)(2+λ2(k2+k2))(1+λ2k2iων)(1+λ2k2+iων)=1(2π)2νaadrdrdkdkdzeik(x+r)eik(x+r)eiz(kk)c¯(z)2+λ2(k2+k2)(1+λ2k2iων)(1+λ2k2+iων)=1(2π)2νaadrdrdkdkdzeik(x+rz)eik(x+rz)c¯(z)(11+λ2k2iων+11+λ2k2+iων)=1(2π)2νaadrdrdzc¯(z)(dkeik(x+rz)2πδ(x+rz)1+λ2k2iων+dkeik(x+rz)2πδ(x+rz)1+λ2k2+iων)=12πνaadrdr(dkeik(rr)c¯(x+r)1+λ2k2iων+dkeik(rr)c¯(x+r)1+λ2k2+iων)=1νλaadrdr(c¯(x+r)Q(rrλ,ων)+c¯(x+r)Q(rrλ,ων)),

where

(56) Q(x,y)=du2πe-iux11+iy+u2=121+iye-|x|1+iy

and 1+iy is assumed to be the branch with a positive real component. Plugging this and the explicit form of c¯ into Equation 55 then yields

(57) S(ω,x)=β4νDaadrdr(11iωνe|x+r|λe|rr|λ1iων+11+iωνe|x+r|λe|rr|λ1+iων)=β2νDRe[aadrdr11+iωνe|x+r|λe|rr|λ1+iων]=2βν2Re[Υ(|x|λ,aλ,1+iων)],

where

(58) Υ(x,y,w)=-yy𝑑u𝑑u14we-|x+u|e-w|u-u|.

The function Υ(x,y,w) limits to Σ1,1(x,y) when w1 and as such has different forms when x is less or greater than y. As the purpose of this exercise is to determine the regime in which our theoretical approximations are valid and our model obeys |x|2a for all cells, here we will only present the x>y solution for simplicity. Using this to perform the integrals in Equation 58 and applying the result toEquation 57 then yields

(59) S(ω,x)=2βν2e-|x|λRe[1W2sinh(aλ)-e-aλWWsinh(aλW)cosh(aλ)-cosh(aλW)sinh(aλ)W2(W2-1)],

where W=1+iων, which in turn implies ω=-iν(W2-1). With this, it is easier to perform all further calculations with respect to W and take the W1 limit as that is equivalent to the ω0 limit.

We can now combine this with the known form of S(0,x) given in Equation 46 to evaluate Equation 17 to take the form

(60) T2|6S2Sω2|ω=0|=|6SWωW(WωSW)|W=1|=|6S((ωW)22SW2(ωW)32ωW2SW)|W=1|=12ν296sinh(aλ)eaλ(48aλ+30(aλ)2+8(aλ)3+33sinh(2aλ))+6e3aλ(3aλ+(aλ)2)4sinh(aλ)eaλ(2aλ+sinh(2aλ)).

The right-hand side of Equation 60 is a function that monotonically increases from 9/2ν2 to 21/2ν2 as a/λ goes from 0 to . Thus, regardless of the value of λ, ν sets the timescale to which T must be compared.

2D space, 0D source

For SP=2 and SO=0, P2, M2,2, and Σ2,2 each take the form

(61) P2(x)=d2u(2π)2e-iux11+|u|2=12πK0(x)
(62) M2,2(x,y)=V(y)d2uP2(|x+u|)=V(y)d2ud2u(2π)2eiu(x+u)11+|u|2=y0duJ0(xu)J1(yu)1+u2
(63) Σ2,2(x,y)=V(y)d2uM2,2(|u|,y)P2(|x+u|)=yV(y)d2u0dud2u(2π)2J0(|u|u)J1(yu)1+u2eiu(x+u)1+|u|2=y20duduuJ0(xu)J1(yu)(uJ0(yu)J1(yu)uJ0(yu)J1(yu))(u2u2)(1+u2)(1+u2),

where Jn(x) and Kn(x) are the Bessel functions of the first kind and modified Bessel functions of the second kind, respectively. Unfortunately, the complicated nature of Bessel functions makes the remaining integrals unsolvable analytically, and therefore we evaluate them numerically. Similar problems arise whenever SP=2 or SP-SO=2.

3D space, 0D source

For SP=3 and SO=0, P3, M3,3, and Σ3,3 each take the form

(64) P3(x)=d3u(2π)3e-iux11+|u|2=14πxe-x
(65) M3,3(x,y)=V(y)d3uP3(|x+u|)=14πV(y)d3u1|x+u|e|x+u|={11+yxeysinh(x)x<y1xex(ycosh(y)sinh(y))xy
(66) Σ3,3(x,y)=V(y)d3uM3,3(|u|,y)P3(|x+u|)=14πV(y)d3u(11+y|u|eysinh(|u|))1|x+u|e|x+u|={114xey(1+y)((5+2y+e2y)sinh(x)2xcosh(x))x<y14xex(4(ycosh(y)sinh(y))+ey(1+y)(2ysinh(2y)))xy

2D space, 1D source

For SP=2, SO=1, P1 and M2,2 are known from Equations 50 and Equations 62. This leaves M1,2 and Σ1,2 to take the forms

(67) M1,2(x,y)=V(y)d2uP1(|x+u|)=120ydu02πdθue|x2+u2|=e|x2|02πdθ1eysin(θ)(1+ysin(θ))2(sin(θ))2
(68) Σ1,2(x,y)=V(y)d2uM2,2(|u|,y)P1(|x+u|)=y20ydu02πdθ0duuJ0(uu)J1(yu)1+u2e|x2+usin(θ)|

Again, we evaluate the remaining integrals numerically.

3D space, 2D source

For SP=3, SO=2, P1 and M3,3 are known from Equations 50 and Equations 65. This leaves M1,3 and Σ1,3 to take the forms

(69) M1,3(x,y)=V(y)d3uP1(|x+u|)=12V(y)d3ue|x3+u3|=2π{ey(1+y)cosh(x)+y2x221x<yex(ycosh(y)sinh(y))xy
(70) Σ1,3(x,y)=V(y)d3uM3,3(|u|,y)P1(|x+u|)=12V(y)d3u(11+y|u|eysinh(|u|))e|x3+u3|=2π{ey(1+y)(7+2y+e2y4cosh(x)x2sinh(x)cosh(y))+y2x221x<yex(4y2+5y18ey+1+y8e3y+3y4cosh(y)54sinh(y))xy

Appendix 2

Hopping model for SDC case

To obtain a more intuitive understanding of why the SDC model results in the scaling properties seen in the various calculations of MSP-SO,SP and ΣSP-SO,SP, we now look at a simpler version of one dimensional diffusion in which we discretize space into compartments of uniform size. Let molecules still be produced in the 0th compartment at rate β and degrade anywhere in space at rate ν. The process of diffusion can be approximated by letting the molecules hop to neighboring compartments with rate h with equal probability of moving left or right. This allows the dynamics of mj, the number of molecules in the j compartment for j, to be written as

(71) mjt=βδ0j+h(mj+1+mj-1-2mj)-νmj.

By setting the left-hand side of Equation 45 to 0, the resulting system of equations can be easily solved by assuming m¯j=Aexp(-2|j|/λ) and calculating A and λ. Imposing this assumption on Equation 45 and taking j>0 yields

(72) 0=h(Ae2(j+1)λ+Ae2(j1)λ2Ae2jλ)νAe2jλ=Ae2jλ(he2λ+he2λ2hν)=Ae2jλ(4hsinh2(1λ)ν)λ=asinh1(ν4h).

With λ solved for, we solve for the proportionality constant by noting that the total number of molecules in the whole system must follow a simple birth-death process with a mean of β/ν. This in turn implies

(73) βν=j=Ae2|j|λ=A(2(j=0e2jλ)1)=A(21e2λ1)=A(e1λsinh(1λ)1)=Acoth(1λ)A=βνtanh(1λ),

This in turn gives the average value of mj to be 

(74) m¯j=βνtanh(1λ)e-2|j|λ.

Next, we calculate the full distribution of mj by assuming that at any given moment in time each molecule in the system has probability Pj of being in the jth compartment. This can be combined with the aforementioned fact that N, the total number of molecules in the system, must follow a birth-death process and thus to Poissonianly distributed with mean β/ν. For any given value of N, P(mj|N) must be a binomial distribution with success probability Pj since each molecule is independent. This allows the marginal distribution P(mj) to be calculated to be

(75) P(mj)=N=mjP(N)P(mj|N)=N=mjeβν(βν)NN!(Nmj)Pjmj(1Pj)Nmj=eβν(βνPj)mjmj!N=mj(βν(1Pj))Nmj(Nmj)!=eβν(βνPj)mjmj!eβν(1Pj)=eβνPj(βνPj)mjmj!.

Thus, mj is seen to be Poissonianly distributed with mean βPj/ν. Comparing this mean to that derived in Equation 46 then implies

(76) Pj=tanh(1λ)e-2|j|λ.

We now consider the joint distribution of mj and mk for jk. Since molecules cannot be in the jth and kth compartment simultaneously, the joint conditional distribution P(mj,mk|N) must be trinomially distributed. This allows for the joint distribution to be calculated in a manner similar to Equation 75 to produce

(77) P(mj,mk)=N=mj+mkP(N)P(mj,mk|N)=N=mj+mkeβν(βν)NN!(Nmj,mk)PjmjPkmk(1PjPk)Nmjmk=eβν(βνPj)mjmj!(βνPk)mkmk!N=mj+mk(βν(1PjPk))Nmjmk(Nmjmk)!=eβν(βνPj)mjmj!(βνPk)mkmk!eβν(1PjPk)=(eβνPj(βνPj)mjmj!)(eβνPk(βνPk)mkmk!).

Thus, the joint probability distribution of mj and mk is seen to be separable into the product of the two marginal distribution, meaning that same-time, instantaneous measurements of mj an mk must be uncorrelated.

From here we can begin to calculate the full correlation function for mj and mk. We start by defining δmj(t)=mj(t)-m¯j and δmk(t)=mk(t)-m¯k. Since m¯j is known to set the right-hand side of Equation 45 to 0, the dynamics of δmj can be written as

(78) δmjt=h(δmj+1+δmj-1-2δmj)-νδmj,

with the same being true for δmk. Additionally, we assume the system is at steady state so that all mean expressions are invariant to time translation. Given this, we can without loss of generality take the correlation function between δmj and δmk to have the form

(79) Cj,k(t)=δmk(t)δmj(0),

where t>0. Applying the dynamic result given in Equation 78 then yields

(80) Cj,kt=δmk(t)tδmj(0)=(h(δmk+1(t)+δmk1(t)2δmk(t))νδmk(t))δmj(0)=h(Cj,k+1+Cj,k1)(2h+ν)Cj,k.

The final form of Equation 80 can be split into the term -(2h+ν)Cj,k which implies Cj,kexp(-(2h+ν)t) and the term h(Cj,k+1+Cj,k-1) which is the recursion relation for I(2ht), the modified Bessel function of the first kind, where is some function of j and k. This means Cj,k(t) can be written as

(81) Cj,k(t)=AI(j,k)(2ht)e-(2h+ν)t,

for some proportionality constant A.

To determine the forms of A and (j,k), we can utilize the initial condition that mj is Poissonianlly distributed and thus has a variance equal to its mean while being completely uncorrelated with mk when both are measured at the same time. This means Cj,k(0) can be written as

(82) Cj,k(0)=βνPjδjk,

which in turn implies (j,j)=0 as In(0)=δ0n for n. To satisfy the recursion relation term of Equation 80, it must then be the case that (j,j+n)=n. Setting k=j+n thus yields (j,k)=k-j. Since k and j are integers, (j,k)=j-k is equally valid as In=I-n again for n. Combining these results together yields the final form of Cj,k(t) to be

(83) Cj,k(t)=βνPjIk-j(2ht)e-(2h+ν)t.

Next, let τ be the autocorrelation time of mj. This quantity is typically defined by integrating Cj,j(t)/Cj,j(0) over all time. Using the known properties of modified Bessel functions, this can be solved to yield

(84) τ=0𝑑tCj,j(t)Cj,j(0)=0𝑑tI0(2ht)e-(2h+ν)t=1ν(4h+ν).

If we now define M=T/τ where M is the number of effectively independent measurements that can be made in a time T, we see that for hν, M2νhT. Additionally, from Equation 72 we see that in the hν regime λ2h/ν. By equating this λ to the nondimensionalized λSDC/a from the SDC model we see that MλνT=(λSDC/a)νT. This is consistent with the fact that for λSDCa the right-hand side of Equation 54 becomes approximately a/λSDCν, which allows M=T/τSDC(λSDC/a)νT.

In the hν regime, we find MνT. Once again, this consistent with Equation 54 when λSDCa as this causes the right-hand side to become approximately ν-1. Thus, the SDC model is seen to have a correlation time that agrees with Equation 84 in both the large and small h regime.

Appendix 3

Comparison to experimental data

To compare our theory to experimental data, we focus on ten of the morphogens presented in Table 1 of Kicheva et al., 2012 and obtain data from the references therein. For Bicoid, we obtain a value of λ of ∼100 µm from the text of Gregor et al., 2007b with and error of ±10 µm from the finding in Gregor et al., 2007a that cells have a ∼10% error in measuring the Bicoid gradient. We then take the a value of the Drosophila embryo cells that are subjected to the Bicoid gradient to be ∼2.8 µm based on Figure 3A of Gregor et al., 2007a. We use the same figure to estimate the size of the whole embryo to be ∼500 µm or ∼90 cells. This value of a is also used for Dorsal as measurements of both Bicoid and Dorsal occur in the Drosophila embryo at nuclear cycle 14. For the value of λ for Dorsal, we use Figure 3D from Liberman et al., 2009 to obtain a full width at 60% max of 45 ± 10 µm. Since this represents the width of Gaussian fit on both sides of the source whereas our model uses an exponential profile, we assume the appropriate λ value for such an exponential fit would be half this value, 22.5 ± 5 µm. Figure 3A from the same source also shows that the distance from the ventral midline to the dorsal midline is ∼200 µm or ∼35 cells.

For Dpp and Wg, Kicheva et al., 2007 provides explicit measurements of λ for each. These values are 20.2 ± 5.7 µm and 5.8 ± 2.04 µm respectively. For Hh, we use Figure S2C in the supplementary material of Wartlick et al., 2011 to determine λ to be 8 ± 3 µm. Dpp, Wg, and Hh all occur in the wing disc during the third instar of the Drosophila development. As such, we use a common value of a for all three. This value is taken to be 1.3 µm based on the area of the cells being reported as 5.5 ± 0.8 µm2 in the supplementary material of Kicheva et al., 2007 and the assumption that the cells are circular. Additionally, the scale bar for Figure 1A in Wartlick et al., 2011 shows the maximal distance from the morphogen producing midline of the wing disc to its edge to be ∼250 µm or ∼100 cells.

The λ value of Fgf8 is reported as being 197 ± 7 µm in Yu et al., 2009. Additionally, based off the scale bars seen in Figure 2C–E of Yu et al., 2009, we estimate the value of a for the cells to be ∼10 µm. For the morphogens involved in the Nodal/Lefty system (cyclops, squint, lefty1, and lefty2), measurements of λ for each are taken from Figure 2C–F of Müller et al., 2012 by observing where the average of the three curves crosses the 37% of max threshold with error bars given by the width of the region in which the vertical error bars of each plot intersect this threshold line. We assume the a value of each morphogen in the Nodal/Lefty system to be equivalent to the a value of cells in the Fgf8 measurements performed in Yu et al., 2009. This is because the measurements made in Müller et al., 2012 were taken during the blastula stage of the zebrafish development while measurements taken in Yu et al., 2009 we taken in the sphere germ ring stage. These stages occur at ∼2.25 and ∼5.67 hpf respectively, but the blastula stage can last until ∼6 hpf based on the timeline of zebrafish development presented in Kimmel et al., 1995. As such, since there is potential overlap in the time frame of these two stages, we assume the cells maintain a relatively fixed size and thus that the value of a for the Nodal/Lefty system can be taken as the same value of a used for Fgf8. Additionally, as seen in Figures 8F and 11B in Kimmel et al., 1995, these two stages also share a rougly equal overall diameter of the embryo of ∼500 µm at the largest point. This creates a circumference of ∼1600 µm or ∼80 cells, which in turn means the morphogen must travel a maximum distance of ∼40 cells away from the source.

MorphogenOrganismλ (µm)a (µm)N
BicoidDrosophila100 ± 102.890
Fgf8Zebrafish197 ± 71040
Lefty2Zebrafish150 ± 251040
Lefty1Zebrafish115 ± 201040
DppDrosophila20.2 ± 5.71.3100
DorsalDrosophila22.5 ± 52.835
SquintZebrafish65 ± 101040
CyclopsZebrafish30 ± 51040
HhDrosophila8 ± 31.3100
WgDrosophila5.8 ± 2.041.3100

Data availability

All data used in this study is simulated via computational methods outlined in the manuscript and appendices.

References

    1. Kornberg TB
    (2014) Cytonemes and the dispersion of morphogens
    Wiley Interdisciplinary Reviews: Developmental Biology 3:445–463.
    https://doi.org/10.1002/wdev.151

Article and author information

Author details

  1. Sean Fancher

    1. Department of Physics and Astronomy, Purdue University, West Lafayette, United States
    2. Department of Physics and Astronomy, University of Pennsylvania, Philadelphia, United States
    Contribution
    Conceptualization, Data curation, Software, Formal analysis, Investigation, Visualization, Methodology, Writing - original draft, Writing - review and editing
    For correspondence
    sfancher@sas.upenn.edu
    Competing interests
    No competing interests declared
    ORCID icon "This ORCID iD identifies the author of this article:" 0000-0002-8701-192X
  2. Andrew Mugler

    1. Department of Physics and Astronomy, Purdue University, West Lafayette, United States
    2. Department of Physics and Astronomy, University of Pittsburgh, Pittsburgh, United States
    Contribution
    Conceptualization, Supervision, Funding acquisition, Visualization, Methodology, Writing - original draft, Project administration, Writing - review and editing
    For correspondence
    andrew.mugler@pitt.edu
    Competing interests
    No competing interests declared
    ORCID icon "This ORCID iD identifies the author of this article:" 0000-0001-9367-7026

Funding

Simons Foundation (376198)

  • Sean Fancher
  • Andrew Mugler

Simons Foundation (568888)

  • Sean Fancher

National Science Foundation (PHY-1945018)

  • Andrew Mugler

The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication.

Acknowledgements

This work was supported by Simons Foundation Grants No. 376198 and 568888 and National Science Foundation Grant No. PHY-1945018. We thank Chris Bairnsfather for useful discussions.

Copyright

© 2020, Fancher and Mugler

This article is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use and redistribution provided that the original author and source are credited.

Metrics

  • 1,041
    views
  • 208
    downloads
  • 9
    citations

Views, downloads and citations are aggregated across all versions of this paper published by eLife.

Download links

A two-part list of links to download the article, or parts of the article, in various formats.

Downloads (link to download the article as PDF)

Open citations (links to open the citations from this article in various online reference manager services)

Cite this article (links to download the citations from this article in formats compatible with various reference manager tools)

  1. Sean Fancher
  2. Andrew Mugler
(2020)
Diffusion vs. direct transport in the precision of morphogen readout
eLife 9:e58981.
https://doi.org/10.7554/eLife.58981

Share this article

https://doi.org/10.7554/eLife.58981

Further reading

    1. Physics of Living Systems
    Marcelo A Carignano, Martin Kroeger ... Igal Szleifer
    Research Article

    We propose the Self Returning Excluded Volume (SR-EV) model for the structure of chromatin based on stochastic rules and physical interactions. The SR-EV rules of return generate conformationally defined domains observed by single-cell imaging techniques. From nucleosome to chromosome scales, the model captures the overall chromatin organization as a corrugated system, with dense and dilute regions alternating in a manner that resembles the mixing of two disordered bi-continuous phases. This particular organizational topology is a consequence of the multiplicity of interactions and processes occurring in the nuclei, and mimicked by the proposed return rules. Single configuration properties and ensemble averages show a robust agreement between theoretical and experimental results including chromatin volume concentration, contact probability, packing domain identification and size characterization, and packing scaling behavior. Model and experimental results suggest that there is an inherent chromatin organization regardless of the cell character and resistant to an external forcing such as RAD21 degradation.

    1. Physics of Living Systems
    Yaojun Zhang, Andrew GT Pyo ... Ned S Wingreen
    Research Article

    A hallmark of biomolecular condensates formed via liquid-liquid phase separation is that they dynamically exchange material with their surroundings, and this process can be crucial to condensate function. Intuitively, the rate of exchange can be limited by the flux from the dilute phase or by the mixing speed in the dense phase. Surprisingly, a recent experiment suggests that exchange can also be limited by the dynamics at the droplet interface, implying the existence of an ‘interface resistance’. Here, we first derive an analytical expression for the timescale of condensate material exchange, which clearly conveys the physical factors controlling exchange dynamics. We then utilize sticker-spacer polymer models to show that interface resistance can arise when incident molecules transiently touch the interface without entering the dense phase, i.e., the molecules ‘bounce’ from the interface. Our work provides insight into condensate exchange dynamics, with implications for both natural and synthetic systems.