## This is an uncorrected proof.

## Figures

## Abstract

For a chemical signal to propagate across a cell, it must navigate a tortuous environment involving a variety of organelle barriers. In this work we study mathematical models for a basic chemical signal, the arrival times at the nuclear membrane of proteins that are activated at the cell membrane and diffuse throughout the cytosol. Organelle surfaces within human B cells are reconstructed from soft X-ray tomographic images, and modeled as reflecting barriers to the molecules’ diffusion. We show that signal inactivation sharpens signals, reducing variability in the arrival time at the nuclear membrane. Inactivation can also compensate for an observed slowdown in signal propagation induced by the presence of organelle barriers, leading to arrival times at the nuclear membrane that are comparable to models in which the cytosol is treated as an open, empty region. In the limit of strong signal inactivation this is achieved by filtering out molecules that traverse non-geodesic paths.

## Author summary

The inside of cells is a complex spatial environment, filled with organelles, filaments and proteins. It is an open question how cell signaling pathways function robustly in the presence of such spatial heterogeneity. In this work we study how organelle barriers influence the most basic of chemical signals; the diffusive propagation of an activated protein from the cell membrane to nucleus. Three-dimensional B cell organelle and membrane geometries reconstructed from soft X-ray tomographic images are used in building mathematical models of the signal propagation process. Our models demonstrate that organelle barriers significantly increase the time required for a diffusing protein to traverse from the cell membrane to nucleus when compared to a cell with an empty cytosolic space. We also show that signal inactivation, a fundamental component of all signaling pathways, can provide robustness in the signal arrival time in two ways. Increasing rates of signal inactivation reduce variability in the arrival time, while also dramatically reducing the degree to which organelle barriers increase the arrival time (in comparison to a cell with an empty cytosol).

**Citation: **Ma J, Do M, Le Gros MA, Peskin CS, Larabell CA, Mori Y, et al. (2020) Strong intracellular signal inactivation produces sharper and more robust signaling from cell membrane to nucleus. PLoS Comput Biol 16(11):
e1008356.
https://doi.org/10.1371/journal.pcbi.1008356

**Editor: **James R. Faeder,
University of Pittsburgh, UNITED STATES

**Received: **March 23, 2020; **Accepted: **September 21, 2020; **Published: ** November 16, 2020

**Copyright: ** © 2020 Ma et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

**Data Availability: **All B cell imaging files are available at http://math.bu.edu/people/isaacson/data/2020-plos-comp-bio.zip.

**Funding: **SAI and JM were supported by National Science Foundation (http://nsf.gov) awards DMS-1255408 and DMS-1902854. SAI thanks the Isaac Newton Institute of Mathematical Sciences for hosting him for the Programme on Stochastic Dynamical Systems in Biology while working on this project. During this time, SAI was partially supported by a Simons Fellowship of the Isaac Newton Institute (https://www.newton.ac.uk/). A portion of the reported simulations made use of the Boston University Shared Computing Cluster. YM was supported by NSF DMS 1907583 and the Simons Foundation Math+X award. Research reported in this publication was conducted at The National Center for X-ray Tomography, located at the Advanced Light Source of Lawrence Berkeley National Laboratory, and was supported by grants from the National Institutes of Health (https://www.nih.gov/) (P41GM103445) and Department of Energy Office of Biological and Environmental Research (https://www.energy.gov/) (DE-AC02-5CH11231). MAL and CAL were supported by National Institutes of Health (http://nih.gov) (U1DA040582) and the Chan Zuckerberg Initiative Human Cell Atlas Program (https://chanzuckerberg.com/). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.

**Competing interests: ** The authors have declared that no competing interests exist.

## Introduction

Spatial dynamics can play a critical role in the successful functioning of cellular signaling processes, where as basic a property as cell shape can significantly influence the behavior of signaling pathways [1, 2]. Idealized one-dimensional [3], spherical [2, 4, 5] or planar [6] geometries are commonly used in mathematical models of the cell, with the cytosol represented as an empty region of fluid [1–3]. Despite the simplicity of the representation of the plasma membrane and/or cytosolic space, the study of spatial signaling dynamics within mathematical models has provided key insights into the function of many biological pathways, including cyclic AMP signaling in neurons [1], T cell synapse formation through T cell receptor signaling [6], B cell activation through kinase-receptor interactions [4], and general protein kinase signaling [2, 3, 5]. For example, changes in idealized cell shapes can induce significant changes in the timing of signal propagation and the size of concentration gradients across the cytosol [2].

In modeling signal propagation from the cell membrane to the nucleus, a further challenge arises from the crowded, spatially heterogeneous nature of the cytosolic space [7]. In this work we investigate the question of how spatial heterogeneity arising from organelle barriers, as illustrated in Fig 1b, might influence the propagation of signals from the cell membrane to the nuclear membrane. We consider the simplest possible model for signal propagation from the cell membrane to the nucleus, the release of a one or more activated proteins from the inner cell membrane, and their diffusion throughout the cytosol until they first reach the nuclear membrane. As the classical picture of signal propagation to the nucleus typically involves large pathways of many chemically reacting molecules (such as the MAPK pathway [3]), this model may seem overly simplified. However, a number of proteins are known to be activated at the cell membrane and then directly translocate to the nucleus [8, 9]. For example, in Notch signaling the extracellular domain of Notch receptor can interact with ligands, leading to release of NICD (Notch intracellular domain) from the plasma membrane into the cytosol. NICD then translocates to the nucleus where it can regulate gene transcription [8, 9]. More generally, studying signals that correspond to the diffusive propagation from cell membrane to nucleus of individual proteins provides a first step towards understanding how cellular substructure might influence the dynamics of more complicated signaling pathways.

**(a)** One 2D image plane within a 3D SXT reconstruction of a B cell. The corresponding 3D reconstruction is subsequently labeled as Bcell1 in simulations. Pixel intensity corresponds to linear absorption coefficient (LAC), a measure of the local density of organic material [10, 11]. Larger LAC values are shown in lighter colors. The bright white band corresponds to the glass capillary in which the cryo-preserved cell was contained. **(b)** 3D SXT reconstruction of a human B cell with cutaway to show segmented organelles: heterochromatin (blue), euchromatin (green), mitochondria (beige), Golgi (purple) and endoplasmic reticulum (ER) (red). Bulk cytosol is shown in gray, with the cell membrane given by the outer boundary of the cytosol. In our mathematical model, the nucleus, *N*, is given by the set of voxels with labels corresponding to components of the nucleus (e.g. euchromatin and heterochromatin in this image). Cytosol, *C*, is given by voxels rendered in gray, while all other (colored) voxels outside the nucleus are labeled as organelles, *O*. **(c)** Organelle label field values for voxels within the cell in the image plane shown in (a). Here free cytosolic space corresponds to the regions in yellow, and voxels outside the cell are not shown.

Using segmented reconstructions of organelle geometry obtained by soft X-ray tomography (SXT) imaging, we study how the presence of organelle barriers modifies the time needed for diffusing molecules to reach the nucleus in comparison to the time required within an empty cytosol. As signaling molecules diffusing through the cytosol can not persist indefinitely, we next investigate how signal inactivation might influence the search process. This creates a competition where the diffusing signal may be inactivated or degraded prior to reaching the nuclear membrane. We study how the strength of signal inactivation can modulate statistics of the first passage time (FPT) for an individual molecule to reach the nucleus, conditional on it reaching the nucleus before inactivation. It is shown that if the total signal (i.e. number of molecules) that ultimately reach the nucleus is held constant, increasing the inactivation rate leads to signal sharpening. We also find that signal inactivation can provide robustness to the presence of organelle barriers, significantly reducing the difference between the average arrival time of molecules that successfully reach the nucleus in geometries containing organelle barriers, from the time in geometries containing an empty cytosol.

We note that our studies focus on statistics of the time required for the diffusing protein to reach the nucleus. In the case that there is no inactivation, so that the protein simply diffuses until reaching the nucleus, this is an example of a classical diffusion-limited first passage time problem [12]. First passage time problems are widely used in the study of chemical reactions [13, 14], with a variety of asymptotic results and exact solution techniques when the target site is small or a basic geometrical shape such as a sphere [15–18].

## Results

### Mathematical model

We consider the time required for a protein to diffuse from the cell membrane to the nuclear membrane. Let *N* denote the nucleus of the cell, with ∂*N* denoting the nuclear membrane. Similarly, we let *C* denote the cytosol of the cell, with ∂*C* denoting the cell membrane. We assume the cytosol may be filled with a collection of closed subvolumes corresponding to organelles, denoted by *O*, with boundary surfaces ∂*O*. Fig 1a shows a slice plane through a 3D soft X-ray tomography (SXT) reconstruction of a human B cell illustrating such geometries, with Fig 1b showing a 3D reconstruction identifying the nucleus, cytosolic organelles, and the cytosol.

We assume a molecule is initially activated at the cell membrane, and diffuses throughout the cytosolic space until it first reaches the nuclear membrane. Both the cell membrane and organelle surfaces are assumed to be reflecting barriers to the molecule’s diffusion. Denote by *D* = 10(*μ*m)^{2}s^{−1} the diffusivity of the molecule, and by *p*(** x**,

*t*) the probability density the molecule is located at position

**within**

*x**C*at time

*t*.

**(**

*η***) will denote the unit outward normal to a surface at**

*x***.**

*x**p*(

**,**

*x**t*) then satisfies the diffusion equation (1)

Note, in the following we assume the initial position of the molecule is located on the inner surface of the cell membrane, so that *g*(** x**) is zero away from ∂

*C*. The Dirichlet boundary condition on ∂

*N*in (1) encodes that the protein is instantly absorbed upon reaching the nuclear membrane, allowing us to study statistics of diffusing protein’s arrival time at the nuclear membrane.

Let *T* denote the random time at which the protein first reaches the nuclear membrane surface. The survival probability that the protein has not yet reached ∂*N* at time *t* is then given by

The corresponding probability per time the molecule reaches ∂*N* is the probability density function (pdf)
(2)
where *dA*(** x**) denotes the surface area measure at

**∈ ∂**

*x**N*. Knowing

*f*(

*t*), we can calculate statistics of

*T*, using that the average of a function

*w*(

*T*), denoted by , is defined by

Our representations of cellular geometry are derived from 3D SXT reconstructions, see Methods, for which the label field identifying organelles is provided as a Cartesian grid of cubes with mesh-width *h*, see Fig 1. To simulate the time required for the protein to traverse the cytosol we therefore discretize (1) onto this grid, generating a system of ODEs we solve numerically. Let *C*_{h} denote the collection of mesh voxels that are labeled as being cytosol, with *N*_{h} those that are labeled as being within the nucleus, and *O*_{h} those within organelles. We label the individual voxels within the cytosol by , and let denote the indices of the subset of the six Cartesian grid nearest-neighbors of voxel *V*_{i} that are *within* the cytosol. will similarly denote the indices of the subset of the six Cartesian grid nearest-neighbors of *V*_{i} that are within the nucleus. For *x*_{i} denoting the centroid of voxel *V*_{i}, we let *p*_{h}(*x*_{i}, *t*) ≈ *p*(*x*_{i}, *t*). *p*_{h} then satisfies the semi-discrete diffusion equation that
(3)
where the discrete Laplacian is defined by
(4)
and *g*_{h}(*x*_{i}) denotes the initial condition in the semi-discrete model.

This semi-discrete model corresponds to approximating the continuous Brownian motion of the particle in *C* by a continuous-time random walk of the molecule hopping between nearest-neighbor voxels of *C*_{h}.

If we denote by *T*_{h} the corresponding random time for the protein to first reach a voxel that is labeled as being within the nucleus, we have the corresponding survival probability,
with analogous definitions for the pdf *f*_{h}(*t*) and averages, , as above.

In the remainder, unless stated otherwise time will be reported in units of seconds, and distance in units of *μ*m.

### Organelle barriers slow the propagation of a signal from the cell membrane to nucleus, while increasing variability in arrival time for signals initiated at different locations

We begin by numerically solving (3) to investigate how the presence of organelles as reflecting barriers influences statistics of the time required for the diffusing protein to reach the nuclear membrane. Let ∂*C*_{h} denote the collection of voxels within the free cytosol, *C*_{h}, that border the exterior of the cell, with |∂*C*_{h}| denoting the volume of this set of voxels. Note, this collection of voxels corresponds to a thin region of cytosol bordering the cell membrane. In the semi-discrete model, we will approximate starting the protein uniformly distributed on the inner surface of the cell membrane by starting the protein uniformly within the volume ∂*C*_{h}. Then
(5)

In Fig 2a we show the survival probability *S*_{h}(*t*) from Bcell1, the reconstruction shown in Fig 1 (results from two additional cell reconstructions, labeled Bcell2 and Bcell3, are shown in Fig A and Fig B of S1 Text. We consider three cases, the physiological data where voxels corresponding to organelles within the cytosol are inaccessible (labeled “physiological”), a modified geometry where voxels corresponding to the endoplasmic reticulum (ER) are added back into the collection of cytosolic voxels the protein can diffuse through (labeled “no ER”), and a modified geometry where all voxels within cytosolic organelles are added back into the collection of cytosolic voxels the protein can diffuse through (labeled “no organelles”). This latter geometry corresponds to the cytosol filling all space between the cell membrane and the nuclear membrane. In Fig 2a we observe that the presence of organelle barriers dramatically increases the time required for the protein to reach the nuclear membrane (shifting the survival probability curve upwards), with the primary contribution to this shift arising from the barrier provided by the ER. Table 1 shows that the corresponding mean and median times to reach the cell membrane change similarly. For Bcell1, the presence of the ER as a barrier accounts for most of the the time required to reach the nucleus; removing the ER decreases the median of *T*_{h} by almost a factor of three.

**(a)** Survival probability, *S*_{h}(*t*), when the diffusing molecule is started uniformly distributed within a thin region, ∂*C*_{h}, of cytosol bordering the inner surface of the cell membrane (5). **(b)** Mean first passage time (MFPT) *u*(*x*_{i}) from each voxel within ∂*C*_{h} to reach the nuclear membrane in the “physiological” case that organelles are present as diffusive barriers. Colorbar gives the MFPT values in seconds, spatial units are *μ*m. **(c)** Corresponding MFPTs in the “no organelles” case that the molecules can freely diffuse everywhere between the cell and nuclear membranes. Color scale is the same as (b). **(d)** Volume rendering of the organelles in Bcell1, with the cell in the same orientation as in (b) and (c) (but zoomed in). Note, the ER rendering (green) is attenuated to make other organelles more apparent, and the cell membrane is not shown. Nucleus is in yellow, mitochondria in cyan, and the Golgi in purple. **(e)** Distributions of mean first passage times (MFPTs), , starting from the same thin region of cytosolic voxels bordering the cell membrane as in (b) and (c). Note, here the distribution is over the voxels within the region, illustrating how starting at different initial positions can lead to variation in the MFPT. For the “No ER” case we use the analogous region when just the ER is removed. See (6) for definition of the MFPTs *u*_{h}(*x*_{i}). Bin width is .01 (seconds). **(f)** Distribution of the ratios of the corresponding “Physiological” to “No Organelles” MFPTS from (e). This illustrates when starting from each individual voxel bordering the cell membrane, how much organelle barriers increase the MFPT to reach the nucleus from that voxel. Bin width is .1. Note, almost all locations have a ratio of two or more, showing that organelle barriers significantly increase the time required to reach the nuclear membrane from most initial positions. Fig A and Fig B of S1 Text show similar results for Bcell2 and Bcell3 respectively. The obscured z-axes labels in panels (b) and (c) range from zero to eighteen on a linear scale.

The diffusing molecule is assumed to initially be randomly distributed on the cell membrane, ∂*C*_{h}. Here STD denotes standard deviation and CV denotes the coefficient of variation (the standard deviation divided by the mean). Values in parenthesis denote the ratio of the physiological value to the corresponding no ER or no organelle values. See Table A of S1 Text for statistics in Bcells 2 and 3.

In Fig 2b–2e we examine how the time to reach the nucleus varies when the diffusing molecule is started at different points on the cell membrane. Let *u*(** x**) denote the mean first passage time (MFPT) to diffuse from

**∈**

*x**C*to the nuclear membrane.

*u*(

**) then satisfies [19]**

*x*In practice, we solve a discretized version of this PDE that gives the corresponding MFPTs on our Cartesian grid arising from the imaging data. Let *u*_{h}(*x*_{i}) denote the MFPT to reach the nucleus from *x*_{i}, which satisfies the linear system of equations
(6)

Fig 2b plots *u*_{h}(*x*_{i}) over the cytosolic voxels bordering the cell membrane (∂*C*_{h}) in the physiological case, while Fig 2c shows the case with no organelles (i.e. an empty cytosol). We see that the presence of organelles *significantly* slows the MFPT to the nucleus for most points bordering the cell membrane. Not surprisingly, locations closest to the nucleus (left side) generally have smaller MFPTs than locations far from the nucleus (right side). Fig 2e shows that the distribution of MFPTs, , across the cytosolic voxels bordering the cell membrane is much flatter and broader when organelles are present as barriers (green, physiological case) in comparison to an empty cytosol (purple, no organelles case). Moreover, examining the ratio of these MFPTs in the physiological case to the no organelle case, Fig 2f, we find that at almost all locations the presence of organelle barriers increases the MFPT by a factor of two or more.

In conclusion, we observe that organelle barriers can substantially hinder the diffusion of molecules across the cytosol, significantly increasing the time required to reach the nuclear membrane, and increasing the variability of this time *over cytosolic voxels bordering the cell membrane* when comparing signals initiated at different points (Fig 2f). While our discussion has focused on Bcell1, we observe similar qualitative behavior in Bcell2 and Bcell3, see Fig A and Fig B of S1 Text

### Inactivation filters out molecules undergoing longer searches, reducing variability in signal arrival time

Activated signaling molecules cannot diffuse throughout the cytosol of cells searching for the nuclear membrane indefinitely. Whether by degradation mechanisms, or inactivation mechanisms (such as phosphorylation or dephosphorylation), cellular signals will eventually be terminated. From the perspective of a diffusing signaling molecule this creates a competition between the search for the nuclear membrane and the inactivation process. We now examine how the interplay between these two processes can modulate the timing at which activated signals reach the cell membrane.

We consider the simplest possible mechanism for modeling signal inactivation, assuming the diffusing molecule can now also be inactivated with probability per time λ. Let *p*_{λ}(** x**,

*t*) denote the probability density the diffusing molecule is still activated and within the cytosol at time

*t*.

*p*

_{λ}then satisfies (7)

Note that *p*_{λ}(** x**,

*t*) =

*e*

^{−λt}

*p*(

**,**

*x**t*), so that

*p*

_{0}(

**,**

*x**t*) =

*p*(

**,**

*x**t*), the solution to the diffusion eq (1).

We are interested in statistics of the exit time through the nuclear membrane, *T*_{λ}, conditioned on the protein actually reaching the nuclear membrane before inactivation (i.e. the event that *T*_{λ} < ∞). The probability per time that the diffusing molecule reaches the nuclear membrane at time *t* is then
(8)
where *f*(*t*) = *f*_{0}(*t*) denotes the probability per time to reach the nuclear membrane in the absence of degradation, given by (2). With these definitions, the probability the molecule reaches the nuclear membrane before inactivation is

Denoting the conditional cumulative distribution function (CDF) of *T*_{λ} by
(9)
in Section SI1 of S1 Text we prove the following results

**Theorem 1** *For all fixed t* > 0 *and* λ ≥ 0, *Z*_{λ}(*t*) *is a strictly decreasing function of* λ, *and F*_{λ}(*t*) *is a strictly increasing function of* λ.

This result gives several immediate corollaries, including that

**Corollary 1** *Both the conditional MFPT*, , *and the conditional median first passage time*, , *are strictly decreasing with respect to* λ. That 〈*T*_{λ}〉 is decreasing in λ was also shown in [20] for probability density functions with the factored form *e*^{−λt} *g*(*t*).

Theorem 1 and Corollary 1 together demonstrate that as the inactivation rate λ is increased, the time for a molecule to reach the nucleus, *conditioned* on the molecule actually reaching the nucleus, decreases. The probability any individual molecule actually reaches the nucleus, *Z*_{λ}, also decreases as λ increases. In this way strong signal inactivation will filter out molecules undergoing longer diffusive searches.

To explore how increasing the inactivation rate λ influences statistics of the time to reach the nucleus, we now study a semi-discrete model defined on the meshes representing the B cell geometries, and corresponding to a spatial discretization of (7). Let *p*_{λ,h}(*x*_{i}, *t*) ≈ *p*_{λ}(*x*_{i}, *t*) denote the probability density that the diffusing molecule is located at *x*_{i} at time *t*, then
(10)
where *p*_{λ,h}(*x*_{i}, *t*) = *e*^{−λt} *p*_{h}(*x*_{i}, *t*). Similarly, *f*_{λ,h}(*t*) = *e*^{−λt} *f*_{h}(*t*), so that the probability the diffusing molecule reaches the nucleus is given by
(11)

For *T*_{λ,h} the random time at which the nucleus is reached, the conditional MFPT to reach the nucleus is then
(12)

In Fig 3 we consider statistics of *T*_{λ,h} when the diffusing molecule is initially placed randomly on the cell membrane (i.e. the uniform initial condition (5)). Fig 3a illustrates Corollary 1, showing that for each cell 〈*T*_{λ,h}〉 is strictly decreasing as λ is increased. Similarly, Fig 3c illustrates Theorem 1, showing that the probability the molecule reaches the nucleus, *Z*_{λ,h}, is strictly decreasing as λ increases. In Fig 3b we examine the conditional variance of *T*_{λ,h}, defined by
(13)

The figures show statistics of the conditional first passage time, *T*_{λ,h}, to reach the nucleus when the diffusing molecule is started randomly on the cell membrane (i.e. uniformly distributed, see (5)), and the molecule can be inactivated with rate λ. **(a)** The conditional mean first passage time (MFPT), 〈*T*_{λ,h}〉 (12). In all cases we see that 〈*T*_{λ,h}〉 is strictly decreasing as λ increases, illustrating Corollary 1. Fig D of S1 Text shows an expanded range of λ values, with a logarithmic scale on the *y*-axis. **(b)** The conditional variance of *T*_{λ,h}, given by (13), is decreasing as λ increases. **(c)** The probability that the diffusing molecule reaches the nucleus, *Z*_{λ,h}, is strictly decreasing as λ increases, illustrating Theorem 1.

In each B cell the conditional variance is strictly decreasing. In Fig E, Fig F and Fig G of S1 Text we show that similar results hold when the diffusing molecule’s initial position is more localized. Here the molecule is initially placed randomly within small patches of the cell membrane, see Section SI2 of S1 Text for details.

### Inactivation can sharpen the signal reaching the nuclear membrane

To understand how inactivation can affect signal propagation, we investigate how the signal reaching the nucleus changes as the inactivation rate λ is increased, but the number of molecules reaching the nucleus is held fixed. By fixing the number of molecules (i.e. total signal) that ultimately reach the nucleus, we can investigate how inactivation influences signal timing without modulating the total signal strength. Note, to fix the total signal reaching the nucleus requires that an increasing number of signaling molecules be released from the cell membrane as λ increases.

Consider a deterministic version of (10). Assume *N*_{0} molecules are initially uniformly distributed across the interior of the cell, and let *u*_{h}(*x*_{i}, *t*) denote the (deterministic) concentration of molecules located at *x*_{i} at time *t*. We assume *u*_{h} has units of number per (*μ*m)^{3}. *u*_{h} then also satisfies (10), but with the initial condition
so that *u*_{h}(*x*_{i}, *t*) = *N*_{0} *p*_{λ,h}(*x*_{i}, *t*). The number of molecules per time that successfully reach the nucleus is given by the total flux of *u*_{h} into the nucleus, *N*_{0} *f*_{λ,h}(*t*). Similarly, the total number of molecules to successfully reach the nucleus is

We define the signal reaching the nucleus to be the number of molecules per time that reach the nucleus, given that we assume *N* molecules overall arrive. *N*_{0} is therefore chosen so as to keep *N* fixed as the inactivation rate is varied, so that

With this choice, the signal, i.e. number of molecules per time, reaching the nuclear membrane is then .

In Fig 4 we plot the signal reaching the nucleus in Bcell1 as the inactivation rate is increased. Fig H of S1 Text shows the corresponding signals reaching the nucleus in Bcell2 and Bcell3. We see a clear sharpening effect as λ increases, with molecules arriving within an earlier and more localized time window. In this context we can interpret increasing activation as speeding up the arrival of the signal at the nuclear membrane. We note that in the single particle stochastic model (10), corresponds to the particle’s first passage time density to reach the nucleus, conditional on it reaching the nucleus before inactivation. Fig 4 therefore illustrates that the (conditional) density of random arrival times for an individual particle also undergoes sharpening as the strength of inactivation is increased (setting *N* = 1 on the *y*-axis).

Here signal denotes the expected rate of arrival of signaling molecules at the nuclear membrane when the number of arriving molecules overall is *N*. The expected rate of arrival is plotted as a function of the time that has elapsed since the signaling molecules were released uniformly distributed across the interior of the cell membrane. Note that the total number of *arriving* molecules is being held constant in the results plotted here, and this requires that more signaling molecules be released when λ is greater. This is achieved by choosing the total number of molecules that are released initially as . As explained above, in a deterministic model with this initial condition, the signal corresponds to the flux (number of molecules per time) successfully reaching the nucleus (given by ). For the single-particle stochastic model (10), we can alternatively define the signal to be . This corresponds to the single particle’s first passage time density to reach the nucleus, conditional on the molecule arriving before inactivation. The graph of this function is mathematically equivalent to the preceding figure with the units *N* = 1 on the *y*-axis. A similar signal sharpening effect is observed in Bcell2 and Bcell3, see Fig H of S1 Text.

While the deterministic model shows the window in which the molecules arrive becomes smaller as inactivation increases, the single-particle stochastic model (10) allows us to see how much variation one would have in the number of molecules that successfully reach the nucleus. We again assume that *N*_{0} signaling molecules are activated uniformly on the interior of the cell membrane, and that the molecules’ dynamics are *completely independent*. The number of molecules that reach the nucleus would then be a binomial random variable, **N** ∼ *B*(*N*_{0}, *Z*_{λ,h}), in *N*_{0} with parameter *Z*_{λ,h}. The average number of molecules to reach the nucleus would be , while the coefficient of variation in the number of molecules to reach the nucleus is
(14)
for λ large. Here we have used that the probability to reach the nucleus, *Z*_{λ,h} approaches zero as λ → ∞, see the next section, and approximated the square root in the numerator by the leading-order term of its Taylor series expansion about *Z*_{λ,h} = 0. Keeping *N*_{0}*Z*_{λ,h} fixed as the inactivation rate is increased then preserves the expected number of molecules to reach the nucleus. Moreover, (14) demonstrates that the relative variation in the number of molecules that reach the nucleus will be small if the average number of molecules that reach the nucleus, , is sufficiently large. By modulating both the inactivation rate and the number of signaling molecules released at the cell membrane, a cell can then tune both how localized the signal is in time, and the noisiness in the number of molecules that successfully reach the nuclear membrane.

### Inactivation can provide robustness with respect to cellular substructure in the time for a signal to reach the nucleus

In Fig 5a we plot the ratio of 〈*T*_{λ,h}〉 in the physiological case to the no organelles case. For very small values of the inactivation rate the figure demonstrates that the presence of organelles can significantly increase the time required for one diffusing molecule to reach the nucleus. In contrast, as λ increases, for each B cell we see that the ratio decreases to a value close to one. That is, strong signal inactivation seems to be able to buffer out the effect of cellular geometry. This comes at the cost of a significantly decreased probability any individual signaling molecule will reach the nucleus.

**(a)** The ratio of the conditional mean first passage time (MFPT) to reach the nucleus, 〈*T*_{λ,h}〉, in the physiological case to the conditional MFPT in the no organelles case decreases significantly from its initial value as λ increases. For each cell the ratio approaches a number close to one, indicating that strong signal inactivation can completely buffer out the effect of cellular substructure on the time to find the nucleus. **(b)** Difference of the ratio of 〈*T*_{λ,h}〉 shown in (a) from its asymptotic limit (18). Note, (b) demonstrates that the slight increase above one for the ratio (18) in Bcell1 is just the approach to its asymptotic limit, 1.125. The ratios (18) for Bcell2 and Bcell3 both converge to 1 in (a).

These simulations illustrate that the ratio of the MFPTs between the physiological and no organelle cases is decreased for sufficiently strong signal inactivation. To understand the limit to how much strong signal inactivation can buffer out the effect of organelle barriers in our model, we now examine the large λ asymptotic expansion of the conditional MFPT, 〈*T*_{λ,h}〉. Our goal is to derive an explicit formula for the asymptotic limit of 〈*T*_{λ,h}〉 as λ → ∞ that illustrates the role of the geometry of the cytosolic space. Our derivation demonstrates how the effect of geometry on the limiting conditional MFPT arises. Readers interested solely in the derived formula may skip ahead to (17).

By (12), knowing the asymptotic behavior of *Z*_{λ,h} as λ → ∞ would allow us to calculate the behavior of 〈*T*_{λ,h}〉. In turn, the behavior of *Z*_{λ,h} can be calculated from the integral representation (11). This will be determined by the short-time behavior of *f*_{h}(*t*) due to the rapid decay of the exponential for large λ. We therefore begin by examining the behavior of *f*_{h} as *t* → 0. We can estimate this short-time behavior by direct Taylor series expansion using a matrix exponential representation for the evolution operator, i.e.
(15)

To simplify this expression we make use of the relationship between powers of the discrete Laplacian and geodesic (nearest-neighbor) graph distances.

Recall our assumption that *g*_{h}(*x*_{i}) = 0 for all *x*_{i} ∉ ∂*C*_{h}, and denote by the set of voxels in which *g*_{h}(*x*_{i}) ≠ 0 (i.e. the support of *g*_{h}). If the particle is started randomly placed within the voxels bordering the cell membrane then , whereas if the particle is initially started at a fixed point, *x*_{i}, then . Given a set of voxels , we define to be the shortest (integer) graph distance along a nearest-neighbor path from each voxel in to first reach a voxel in *N*_{h}. Here by nearest-neighbor we mean the six nearest-neighbors to a given voxel, two from each of the ** x**,

**and**

*y***directions. For example, if no voxel in is within**

*z**N*

_{h}, but

*some*voxel in has a nearest neighbor that is within

*N*

_{h}, then .

It is from the powers of the discrete Laplacian in (15) that the role of cytosolic geometry in the short-time behavior of *f*_{h}(*t*) arises, ultimately dictating the large λ behavior of 〈*T*_{λ,h}〉. As shown in Lemma 1 of S1 Text, the {*V*_{i} ∈ *C*_{h}|(Δ_{h})^{k} *g*_{h}(*x*_{i}) ≠ 0} will contain no voxels *bordering* the nucleus until . For any smaller *k*, one additional application of the discrete Laplacian then simply moves probability mass within the cytosol. As such, mass is conserved and we have the following result which is proven in Section SI1 of S1 Text

With , the theorem implies that (15) can be simplified to

Assuming that *d*_{g} > 1, we obtain the corresponding estimate for *Z*_{λ,h} as λ → ∞ by
(16)

In Theorem 3 of S1 Text we prove this asymptotic formula holds. Taking logarithmic derivatives, we find that (17)

In Fig D of S1 Text we show the convergence of 〈*T*_{λ,h}〉 to this asymptotic formula as λ → ∞.

Let denote the distance from to the nucleus in the physiological case, with the distance in the no organelle case. Define 〈*T*_{λ,h}〉_{phys} and 〈*T*_{λ,h}〉_{n.o.} analogously. The ratio of the conditional MFPTs then approaches
(18)

That is, how much the effect of geometry on the search time can be buffered out by strong inactivation in our model is essentially controlled by how the shortest path (nearest-neighbor) graph distance from the initial set the particle can be placed in to the nucleus changes between the physiological and no organelle cases. In particular, since the voxels within the cytosol in the physiological case are always a strict subset of those in the no organelles case, we see the ratio is always at least one (in the limit).

In Fig 5b we plot the difference between the ratio of the conditional MFPTs and the derived asymptotic limit in (18). We see that for each cell the asymptotic limit is approached as λ → ∞, but that the approach is not always monotonic. In particular, the asymptotic limit (18) does not appear to be a rigorous lower bound for how much the effect of geometry can be buffered out over all possible inactivation rates.

If the diffusing molecule is started at a fixed location, *x*_{i}, we obtain
the ratio of the shortest graph (nearest-neighbor) distances from *x*_{i} to the nucleus in the two cases. In particular, if the shortest path distance from *x*_{i} to the nucleus is the same in both cases, we find that the effect of organelle barriers on the conditional MFPT is completely filtered out in the limit of strong signal inactivation.

In Section SI2 of S1 Text, we show analogous results to Fig 5 when the diffusing molecule is started randomly within small patches of the cell membrane. We see similar qualitative behavior for statistics of *T*_{λ,h}, and for the ratio of 〈*T*_{λ,h}〉 in the physiological to no organelles cases. Note, however, that we observe a variation in how much the effect of geometry can be buffered out as the patch of cell membrane where the signal is initiated moves about.

## Discussion

Our results demonstrate that organelle barriers to the molecular diffusion of signaling molecules can significantly slow the propagation of a signal from the cell membrane to the nucleus. Such barriers also increase the variability in the distribution of times to reach the nucleus for signals activated at different localized portions of the cell membrane. Strong signal inactivation provides one potential mechanism to both buffer out the effect of organelle barriers, and to reduce variability in the time at which signals reach the nucleus. Mechanisms to reduce such variability may be needed to ensure robust functioning of pathways that involve pulsatile responses. For example, the relative expression of the pituitary hormones LH and FSH is controlled by the pulse frequency of extracellular GnRH ligands [21]. Sufficient variability in processing such signals might lead to improper expression levels through misidentification of the pulse frequency.

Under the constraint that the expected number of molecules to reach the nucleus should be *fixed* at *N*, the inactivation rate can be adjusted provided that the initial number of molecules activated at the inner surface of the cell membrane are varied in a compensating manner. Under these assumptions, Fig 4 demonstrates that the time for a signal to reach the nuclear membrane can be made arbitrarily small by increasing the inactivation rate. This comes with a clear cost though; increasing the rate of signal inactivation requires increasing numbers of signaling molecules to be activated at the cell membrane to maintain a fixed number of molecules that successfully reach the nucleus.

Our conclusions can be generalized in several ways. First, while we focused on the propagation of a signal between the cell and nuclear membranes, our results should hold more generally for a variety of signal sources and targets within cells. In more general signaling pathways they should also apply to the most downstream signaling component, presuming it is not activated right near the nuclear membrane. Finally, we note that while signaling pathways can involve complicated reaction kinetics throughout the cytosol, it may be that in some cases their overall effect can be approximated as a single signal that propagates throughout the cytosol and is inactivated on some timescale.

**Regime of Model Applicability:** It is important to note that the large λ asymptotic scaling in (17), and convergence to the ratio (18), may require relatively large values of λ (on the order of λ between 10^{4} s^{−1} and 10^{6} s^{−1} for *D* = 10(*μ*m)^{2}s^{−1}, see Fig 5b and Fig D of S1 Text). Molecules that successfully reach the nucleus would on average arrive on time scales of 10^{−4}s^{−1} or less, see Fig D of S1 Text, which would not necessarily be expected to be physically plausible in a typical mammalian cell. More generally, as λ → ∞ these results rely on the (increasingly) short-time behavior of the continuous-time random walk model (10). However, both the continuous diffusion model (7) and the continuous time random walk model (10) become physically unrealistic as models for the very short-time motion of a molecule within a cell. Moreover, the *very* short-time behavior of the semi-discrete model (10) and the continuous diffusion model (7) would not be expected to agree, since the former only approximates the latter on sufficiently large timescales.

The relative behavior of the two models is illustrated in Fig I and Section SI3 of S1 Text. There we compare the analytical PDE solution, when the nuclear membrane and cell membrane are represented as concentric spheres, to the numerical solution of the corresponding semi-discrete model on a Cartesian grid approximation of the cytosolic region between the spheres. We find that for a mesh spacing of *h* = 0.0351*μ*m, comparable to that of our B cell reconstructions, 〈*T*_{λ}〉 and 〈*T*_{λ,h}〉 agree exceptionally well until the asymptotic λ^{−1} scaling takes over in the semi-discrete model. Then we see a discrepancy due to the different short-time behavior of the semi-discrete model, with the λ^{−1} scaling, and the exact solution to the continuous diffusion PDE, which exhibits a λ^{−1/2} scaling, see (SI5) in S1 Text.

For these reasons the usefulness of understanding the large λ asymptotic behavior is not in the predicted scaling of 〈*T*_{λ,h}〉 (17), but in the decreasing asymptotic behavior of the conditional MFPT ratio (18). This asymptotic limit provides insight into why, on physiological timescales, we observe a decrease in the effect of organelle barriers on signal propagation. Namely, signal inactivation filters out the molecules that would have had to traverse longer paths to get to the nucleus. This reduces differences between the lengths of paths which molecules that reach the nucleus must take in the organelle filled, and organelle empty, cell.

**Conjectures and Open Problems:** For the continuous diffusion model (7), let denote the set on which *g*(*x*) ≠ 0 (i.e. the support of *g*(*x*)). For example, if the particle is started uniformly on the inner surface of the cell membrane than . We conjecture that the corresponding ratio of conditional MFPTs satisfies
where refers to the shortest path geodesic distance through the cytosol from the signal initiation location, , to the nuclear membrane ∂*N*. We have obtained partial results to this effect when there are straight line paths from to ∂*N* and the principal curvatures of the nuclear membrane satisfy certain constraints, but the general case remains an open problem.

The geodesic distance has recently been suggested to also arise in the context of the first searcher problem. Here one is interested in the average time at which the first of *N* searchers reaches a target as the number of searchers, *N*, becomes large (i.e. *N* → ∞). In [22] it was suggested that, similar to our observations for strong signal inactivation, this limit also filters out all but the shortest paths, with the average time for the first searcher to reach a target scaling like the square of the geodesic distance. An interesting future question would be to understand the interplay of these two problems; i.e. the time required for the first of many searchers to successfully reach a binding target in the presence of strong signal inactivation.

Finally, we note that it is an open question to understand whether spatial signaling pathways [3, 23, 24] involve more general mechanisms for filtering out the effect of spatial heterogeneity within the cytosolic environment. It would be particularly interesting to investigate such questions while also studying the role of two effects that we have not explicitly resolved; crowding between molecules within the cytosol and active transport of signaling molecules to the nuclear membrane. In addition, in this work we considered only the simplest of signaling components: linear inactivation. For many signaling pathways, including BCR signaling in B cells and general protein kinase signaling, inactivation is more appropriately modeled as occurring through a nonlinear interaction with a phosphatase [4, 5]. Such pathways also commonly involve cascades of interactions [3], which could conceivably have additional mechanisms that buffer out the influence of cellular substructure on signal timing. We hope to explore such models in future work.

Cell signaling and computational modeling are an enormous field with a breadth of studies, both spatial and non-spatial, that have been carried out, see the many references of [25, 26]. Within the field a variety of studies have investigated the spatial dynamics of cell signaling, which can be critical to the proper function and decision making of cells, see the review [23] and references. In particular, one focus within these works is understanding how cell shape and organelle positioning can influence signaling [1, 4], the former reviewed in [27]. Our work complements such studies, demonstrating how internal organelle barriers can impact signaling, and provides insight into mechanisms that regulate the timing of signal propagation. It represents another step in developing detailed, anatomically accurate whole-cell spatial models that can account for the inherent stochasticity in both spatial transport and chemical reactions [28].

## Methods

### Reconstruction of cellular substructure

To reconstruct the locations of organelles and membrane surfaces, we made use of soft X-ray tomographic (SXT) imaging of cells. For an overview of SXT imaging, we refer the reader to [11]. In this work we used reconstructions of three human B cells (GM12878 lymphoblastoids) from [29]. The experimental protocol for obtaining these reconstructions was also described in [29]. SXT is similar in concept to medical X-ray CT imaging, but uses soft X-rays in the “water window,” which are absorbed by carbon and nitrogen dense organic matter an order of magnitude more strongly than by water [11]. As the absorption process satisfies the Beer—Lambert law, the measured linear absorption coefficient (LAC) of one voxel of a 3D reconstruction is linearly related to the density of organic material within that voxel [11]. In practice, SXT reconstructions are able to achieve resolutions of 50 nm or less. For all reconstructions used in this work, the underlying voxels were cubes with sides of length 0.03515625*μ*m. Another advantage of SXT is in the minimal preprocessing of cells that is required before imaging. Cells are cryogenically preserved, but no segmentation, dehydration, or chemical fixation is necessary. Fig 1a shows the reconstructed LAC values from one image plane within a 3D SXT reconstruction of Bcell1.

As discussed in [30], many organelles have different underlying densities of organic material, and therefore attenuate soft X-rays differently. This is reflected in their having different LAC values. Exploiting this property, 3D SXT reconstructions were labeled and segmented in Amira [31], using a combination of Amira’s automated segmentation tools based on LAC values, followed by hand segmentation to refine segmentation boundaries [30]. Each underlying voxel within the 3D SXT reconstruction was labeled as belonging to one of a variety of organelles (heterochromatin, euchromatin, endoplasmic reticulum, mitochondria, Golgi apparatus, bulk cytosol, etc.). Fig 1c shows one plane of the resulting label field.

### Numerical solution of semi-discrete diffusion eq (3)

The semi-discrete diffusion eq (3) was solved in PETSc 3.7.7 [32, 33] using the adaptive Runge-Kutta Chebyshev (RKC) method of [34] with both the absolute and relative errors set to 10^{−8}. To evaluate the solution, *p*_{h}(** x**,

*t*), at larger times, it was approximated by a truncated eigenvector expansion using all terms with eigenvalues having a magnitude less than one. The corresponding eigenvalues and eigenvectors of the discrete Laplacian (4) were calculated in SLEPc 3.7.4 [35] using the Krylov-Schur solver with default parameter values and tolerances. For all simulations the decision to switch from the RKC solver to the eigenvector expansion was made by looking over the interval 1 <

*t*< 10 for where the two solutions first differed by an absolute error of less than 10

^{−5}and a relative error of less than.01.

To numerically evaluate the integrals defining statistics such as *Z*_{λ,h} and 〈*T*_{λ,h}〉, we split them into two pieces. The integral from zero to the time at which the PDE solver switched from the RKC method to the truncated eigenvector expansion, and the integral from this time to infinity. The first integral was evaluated using the cumulative trapezoidal rule at the discretization times used in the RKC method. The second integral was evaluated by analytically integrating the truncated eigenvector expansion. Within these integrals the probability density function for the molecule to reach the nucleus was calculated directly from the flux into voxels of the nucleus,
using the numerically computed solutions.

## Supporting information

### S1 Text. Supporting information for “Strong intracellular signal inactivation produces sharper and more robust signaling from cell membrane to nucleus”.

https://doi.org/10.1371/journal.pcbi.1008356.s001

(PDF)

## References

- 1. Neves S, Tsokas P, Sarkar A, Grace E, Rangamani P, Taubenfeld S, et al. Cell Shape and Negative Links in Regulatory Motifs Together Control Spatial Information Flow in Signaling Networks. Cell. 2008;133(4):666–680.
- 2. Giese W, Milicic G, Schröder A, Klipp E. Spatial modeling of the membrane-cytosolic interface in protein kinase signal transduction. PLoS Computational Biology. 2018;14(4):e1006075–27.
- 3. Muñoz-García J, Neufeld Z, Kholodenko BN, Sauro HM. Positional Information Generated by Spatially Distributed Signaling Cascades. PLoS Comp Biol. 2009;5(3):e1000330.
- 4. Hat B, Kazmierczak B, Lipniacki T. B Cell Activation Triggered by the Formation of the Small Receptor Cluster: A Computational Study. PLoS Computational Biology. 2011;7(10):e1002197–13pp. pmid:21998572
- 5. Kazmierczak B, Lipniacki T. Spatial gradients in kinase cascade regulation. IET Systems Biology. 2010;4(6):348–355.
- 6. Siokis A, Robert PA, Demetriou P, Dustin ML, Meyer-Hermann M. F-Actin-Driven CD28-CD80 Localization in the Immune Synapse. Cell Reports. 2018;24(5):1151–1162.
- 7. Goodsell DS, Franzen MA, Herman T. From Atoms to Cells: Using Mesoscale Landscapes to Construct Visual Narratives. Journal of molecular biology. 2018;430(21):3954–3968.
- 8. Liu Y, Li P, Fan L, Wu M. The nuclear transportation routes of membrane-bound transcription factors. Cell Communication and Signaling. 2018;16(12):1–9.
- 9.
Lim W, Mayer B, Pawson T. Cell signaling: principles and mechanisms. New York, NY: Garland Science, Taylor & Francis Group; 2014.
- 10. Larabell CA, Nugent KA. Imaging cellular architecture with X-rays. Cur Opin Struct Biol. 2010;20(5):623–631.
- 11. McDermott G, Le Gros MA, Knoechel CG, Uchida M, Larabell CA. Soft X-ray tomography and cryogenic light microscopy: the cool combination in cellular imaging. Trends in Cell Biology. 2009;19(11):587–595.
- 12.
Redner S. A Guide to First-Passage Processes. Cambridge, UK: Cambridge University Press; 2001.
- 13.
Rice SA. Diffusion-Limited Reactions. vol. 25 of Chemical Kinetics. Elsevier; 1985.
- 14. Calef DF, Deutch JM. Diffusion-controlled reactions. Annual Review of Physical Chemistry. 1983;34(1):493–524.
- 15. Szabo A, Schulten K, Schulten Z. First passage time approach to diffusion controlled reactions. The Journal of Chemical Physics. 2008;72(8):4350–4357.
- 16. Cheviakov AF, Ward MJ. Optimizing the principal eigenvalue of the Laplacian in a sphere with interior traps. Mathematical and Computer Modelling. 2011;53(7–8):1394–1409.
- 17. Isaacson SA, Newby J. Uniform asymptotic approximation of diffusion to a small target. Phys Rev E. 2013;88(1):012820 (13pp). pmid:23944531
- 18. Isaacson SA, Mauro AJ, Newby JM. Uniform asymptotic approximation of diffusion to a small target: generalized reaction models. Physical Review E. 2016;94:042414 (17pp). pmid:27841549
- 19.
Gardiner CW. Handbook of Stochastic Methods: For Physics, Chemistry, and the Natural Sciences. vol. 13 of Springer Series in Synergetics. 2nd ed. New York: Springer Verlag; 1996.
- 20. Choudhury GL, Whitt W. Probabilistic scaling for the numerical inversion of nonprobability transforms. INFORMS Journal on Computing. 1997;9(2):175–184.
- 21. Thompson IR, Kaiser UB. GnRH pulse frequency-dependent differential regulation of LH and FSH gene expression. Molecular and Cellular Endocrinology. 2014;385(1–2):28–35.
- 22.
Lawley SD. Universal Formula for Extreme First Passage Statistics of Diffusion; 2019.
- 23. Kholodenko BN, Hancock JF, Kolch W. Signalling ballet in space and time. Nat Rev Mol Cell Biol. 2010;11:414–426.
- 24. Takahashi K, Tanase-Nicola S, ten Wolde PR. Spatio-temporal correlations can drastically change the response of a MAPK pathway. PNAS. 2010;107(6):2473–2478.
- 25.
Munsky B, Hlavacek WS, Tsimring LS, editors. Quantitative Biology. MIT Press; 2018.
- 26.
Klipp E, Libermeister W, Wierling C, Kowald A, Lehrach H, Herwig R. Systems Biology: A Textbook. Wiley-VCH; 2009.
- 27. Haftbaradaran EP, Knöll R. Cell shape: effects on gene expression and signaling. Biophys Rev. 2020;12(4):895–901.
- 28. Smith S, Grima R. Spatial Stochastic Intracellular Kinetics: A Review of Modelling Approaches. Bull Math Biol. 2019;81(8):2960–3009.
- 29. Tjong H, Li W, Kalhor R, Dai C, Hao S, Gong K, et al. Population-based 3D genome structure analysis reveals driving forces in spatial genome organization. Proceedings of the National Academy of Sciences. 2016;113(12):E1663–72.
- 30. Do M, Isaacson SA, McDermott G, Le Gros MA, Larabell CA. Imaging and characterizing cells using tomography. Archives of Biochemistry and Biophysics. 2015;581(C):111–121.
- 31.
Amira, ThermoFisher Scientific; 2019. https://www.fei.com/software/amira/.
- 32.
Balay S, Abhyankar S, Adams MF, Brown J, Brune P, Buschelman K, et al. PETSc Web page; 2019. Available fromml: https://www.mcs.anl.gov/petsc.
- 33.
Balay S, Gropp WD, McInnes LC, Smith BF. Efficient Management of Parallelism in Object Oriented Numerical Software Libraries. In: Arge E, Bruaset AM, Langtangen HP, editors. Modern Software Tools in Scientific Computing. Birkhäuser Press; 1997. p. 163–202.
- 34. Sommeijer BP, Shampine LF, Verwer JG. RKC: an explicit solver for parabolic PDEs. Journal of Computational and Applied Mathematics. 1998;88(2):315–326.
- 35. Hernandez V, Roman JE, Vidal V. SLEPc: A scalable and flexible toolkit for the solution of eigenvalue problems. ACM Trans Math Software. 2005;31(3):351–362.