1. Introduction
Recent studies demonstrated that anomalous transport in cellular and molecular biology is often heterogeneous in time and space [
1]. As a result, a single anomalous exponent or generalised diffusion is insufficient to fully describe many anomalous transport phenomena. Various models have been developed to describe heterogeneous anomalous transport, including space-dependent variable order fractional subdiffusion [
2,
3,
4,
5,
6] and space-dependent diffusivity [
7,
8]. A good example of heterogeneous anomalous transport is intracellular transport, which exhibits diverse non-Brownian behavior, including subdiffusion and Lévy walks [
1,
9]. Machine learning techniques have been used to analyze the heterogeneity of anomalous transport [
10] (see also [
11,
12]). Another example of the impact of heterogeneity on transport in biological and soft matter systems is the linear growth of the mean-squared displacement, accompanied by a non-Gaussian distribution of increments [
1,
13,
14]. A non-Gaussian distribution can be obtained by assuming random diffusion coefficients. The distribution of diffusivities can be obtained from the displacement distributions, as demonstrated for the diffusion of liposomes in nematic solutions of actin filaments [
13].
The topic of random walks in heterogeneous, random environments has been covered extensively in the literature [
15,
16]. To describe random walks in heterogeneous disordered media, quenched and annealed models are widely used in physics and biology [
1,
15]. Anomalous diffusion may occur in quenched random media with a highly heterogeneous energy landscape with the random potential for which the waiting time for the jump or jump probability depend on the position of the random walker [
15]. In annealed disorder, the random motion of particles in a heterogeneous environment can be described by time-dependent local diffusion coefficients [
17] or a temporally fluctuating bias parameter [
18].
Another approach to anomalous transport is based on population or ensemble heterogeneity [
19]. In this approach, one can use a random parametrization of the stochastic force for the generalized Langevin Equation [
20] or consider a heterogeneous ensemble of Brownian particles described by a distribution of diffusivities, rather than a single diffusion coefficient [
21]. In cellular biology, populations of cells and organelles within cells are almost always heterogeneous [
1]. Cells and organelles differ in size, shape, and behavior. In order to accurately quantify ’population-averaged assays’ [
22] and properly identify the effects of subpopulations, stochastic models that account for static population heterogeneity have to be explored. As pointed out in [
19], explaining experimental observables of intracellular transport dynamics requires both ensemble heterogeneity and time–space heterogeneity together.
In this paper, we deal with anomalous unidirectional transport of a heterogeneous population and derive an integral subordination formula for the averaged particle position probability. Specifically, we consider only ensemble heterogeneity where each member of the population has its own individual jump probability, and do not account for spatial and temporal random heterogeneity. It is well known [
23,
24] that in systems with anomalous transport, drift significantly influences the distribution and statistical properties of displacement, including ensemble and time variances. Recent studies have shown [
25] that population heterogeneity, characterised by a distribution of jump probability (bias parameter), alters the fundamental nature of the fractional master equation. In particular, it has been shown that the variance can exhibit ballistic superdiffusion even as the fractional exponent approaches 1, in contrast to anomalous continuous-time random walk (CTRW) with a fixed bias parameter. Our research is motivated by the recent papers by Gavrilova et al. [
26,
27] who analysed the experimental trajectories of the unidirectional movement of dense core vesicles (DCVs) in the neurons of the
C. elegans strains. DCVs are organelles in neurons responsible for storing neuropeptides, which neurons use to initiate and regulate complex behaviors and transport them along microtubules [
28,
29]. Gavrilova et al. [
27] found that the dynein-driven motion of DCVs exhibits superdiffusive ballistic behavior with displacement variance
It turns out that the distribution of DCV displacements fits a beta-binomial distribution, with the mean and variance following linear and quadratic growth patterns, respectively. They proposed a simple discrete space and time random walk model for the heterogeneous population to explain the observed superdiffusive ballistic retrograde transport behavior of DCV movement. In this paper, we propose a continuous in-time extension of the random walk model [
27] by taking into account the subdiffusive trapping of DCVs that explain the frequent immobilization observed in experiments [
26]. We introduce a continuous random walk model on a one-dimensional lattice, where after escaping from a trap, particles can either jump in one direction with a certain probability or remain at the same trap. For a heterogeneous population, each particle is characterized by its own jumping probability.
2. Random Walk Model for Anomalous Unidirectional Transport
We consider a continuous time random walk on the lattice for which a particle experiences trapping with heavy-tailed waiting times with infinite mean [
30]. When the particle escapes from its current position
x, it either jumps with probability
q to the right at the point
or stays in the same position
x (zero jump) with the probability
. In what follows we consider the heterogeneous population of particles with random
Anomalous unidirectional movement of a particle on a lattice can be described by the fractional master equation [
25,
30],
Here
is the conditional probability of finding the particle at position
with
at time
t for given
q,
is the time parameter,
, and
is the Riemann–Liouville derivative
To account for the population’s heterogeneity, we assume that
q is a random variable with a beta distribution defined on the interval
:
where
is the beta function. This distribution takes different geometrical forms depending on the values of parameters
and
[
31]. If, for example,
, the beta distribution is skewed to the right. It corresponds to the case of a high chance of successful particle movement to the right. If
, the beta distribution describes more failures in movement. Small values of
and
correspond to a very broad distribution, explaining the high heterogeneity of the population in terms of their motility. Increasing values of these parameters leads to a narrow distribution with the mean value,
. This corresponds to a reduced heterogeneity of the population. In what follows, we consider the limit
with a finite value of the parameter
which corresponds to the very small probability of jumping to the right. Recently, a beta distribution (
3) has been used for the analysis of heterogeneous nanoparticle internalization by cells, where cellular uptake has been represented as a compound Poisson process with a random probability of success [
32].
It is convenient to introduce the non-dimensional time
and rewrite the master equation (
1) in terms of the Caputo fractional derivative [
33]
Using subordination [
30,
31], we can write the solution to the master equation (
5) as follows
where
is the probability of the position of the underlying discrete time random walk
. It can be described by the difference equation
where the random jump
with probability
q and
with the probability
The probability
obeys the master equation
The solution to this equation is well-known binomial distribution [
31]
The particle reaches the point
x at time
n if it makes
positive jumps, and
is the number of immobilization events (zero jumps).
The mass probability
for the fractional Poisson process
is given by [
34,
35,
36]
The function
gives the probability that in the time interval
, the particle has
n jumps, including zero jumps.
Let us define the average probability
From (
6) we get
where
. It is well-known [
37] that a mixture of binomial distribution with the parameter
q having a beta distribution is a beta-binomial distribution:
2.1. Underlying Discrete in Time Random Walk with Ensemble Self-Reinforcement
To obtain the master equation for
we need to average the master equation for
by using beta distribution
One can find [
25]
where the transition probability
is
Using a binomial distribution for
we obtain
The solution to the master equation (
12) is the beta-binomial distribution (
11) [
37] (Pólya–Eggenberger distribution [
38]).
It follows from (
14) that the randomness of the parameter
q generates effective transition probability,
, which describes the
ensemble self-reinforcement phenomenon [
25]. One can think of the underlying random walk
for which the probability of the step in the positive direction (see (
14)) increases as more steps in those directions are made in the past, which is known as self-reinforcement. It was demonstrated in [
25] that there exists a link between the random walk model described by (
12) with (
14) and random walks with transition probabilities dependent on the entire history of its past (strong memory). Feller discussed this phenomenon [
31,
39], where population inhomogeneity can create an apparent self-reinforcing effect (contagion) by emphasizing that a good fit of the Pólya–Eggenberger distribution to data does not necessarily imply an underlying contagion process.
2.2. Comparison of the CTRW Model with Fixed Jump Probability and the Heterogeneous Model
The aim of this subsection is to compare the classical CTRW model with a fixed jump probability
q to a heterogeneous model in which
q is a random variable with a beta distribution. We analyse the variance in both models and discuss the fundamental differences between them. The main reason for this difference is that the variance of the underlying discrete-time random walk
for a fixed
q is a linear function of the number of steps
whereas in heterogeneous model, the variance is quadratic [
27]. It follows from (
7) that
while for (
11) one can obtain
Now we compare the variances for the continuous case. Let
be the position of the particle at time
for CTRW with fixed
q. Then
Using the well-known first and second moments of the fractional Poisson process [
34], we compute the variance:
where
When the anomalous exponent
, the second superdiffusive term in (
18) disappears because
.
Let us now show that, in contrast to the CTRW model with fixed
q, the variance in the heterogeneous model becomes ballistic and superdiffusive as
By using the subordination formula (
10) and the variance (
16), we obtain
It follows from (
20) that for
the last term becomes zero while the second term describes the ballistic superdiffusion. Therefore, when the jump probability
q is random, we cannot replace
q with its average value, as the variance behaves differently in the two models.
3. Integral Subordination Formula and Time-Changed
Pólya Process
The purpose of this section is to derive the subordination integral for the average mass probability function of the particle positions for a heterogeneous population. We make long-time scaling
where
is a small positive parameter. Using subordination formula (
10) we represent rescaled mass probability
as follows
Here
is the beta-binomial distribution defined in (
11) and
Our main purpose is to find the limiting probability
and represent it in the integral subordination form by using the operation time
u as [
40,
41]
In what follows, we show that the limiting mass probability
describes a time-changed Pólya process
, where
is the Pólya process [
31] and
is the inverse stable subordinator [
41]. The probability density function
is the density of the inverse stable subordinator
and
is the probability mass function for the Pólya process:
for
. The Pólya process can be derived as the continuous limit of the Pólya urn model (see Feller’s book [
31] for details).
To obtain the integral subordination Formula (
25), we need to represent (
23) as a Riemann sum in the limit
. Taking the Laplace transform of (
23), we get
Here
where
is the Laplace transform of the waiting time probability density function
[
30]. This function corresponds to the survival probability
given by the Mittag–Leffler function
:
In the limit
, one can write
Therefore
This formula allows us to obtain the Laplace transform of the density
in the integral subordination formula (see (
25)). We introduce the dimensionless operational time
related to the index
n in the subordination formula (
6). Then
The inverse Laplace transform of
is the the density of the inverse stable subordinator
It obeys the fractional drift equation [
41,
42]
where
is the Caputo fractional derivative [
33].
To obtain
in (
26), we need to find the continuous-time limit of the beta-binomial distribution (
11). Let us rewrite it in another form:
Taking the limits
,
and using the formula
as
, we get
To be consistent with the limit (
32), we set
By using (
36) and the non-dimensional operational time
u defined in (
31), we obtain from (
35) the limiting distribution (
26).
With the aid of (
30), (
35), and (
36), we write the subordination formula (
27) as a Riemann sum
as
By using operational time
, the distribution
(
26), and taking the limit
, we obtain
The inverse Laplace transform of (
38) gives the subordination integral (
25).
As an example, let us obtain the subordination integral (
25) for the continuous-time random walk (CTRW) described by the fractional master equation (
5) with fixed probability
To be consistent with (
32), we set
In the limit
and
such that
is finite, the binomial distribution (
7) can be written as
The Laplace transform of rescaled probability
can be written as a Riemann sum
as
Finally, we obtain the limiting probability
as
for
One can recognise this function as the mass probability for a time-changed Poisson process
This probability obeys the fractional equation
Thus, we obtain the well-known result [
43] that the fractional Poisson process can be derived from the Poisson process by applying a time change with the inverse stable subordinator
In this case, as the anomalous exponent
tends to one, the variance becomes a linear function of time, in contrast to the behavior described by (
25).
3.1. Underlying Pólya Process
It is instructive to find the relationship between the discrete-time master equation (
12) and its continuous-time counterpart. It turned out that the position of particle
at time
u is the well-known Pólya process [
31]. Let us divide the time interval
into
n sub-intervals
and consider the limit
such that
It follows from (
14) that the conditional probability of jumping from point
x to
in infinitesimal time
h is
so the transition rate
T depends on space and time variables as
The master equation (
12) in continuous limit takes the form
The solution of this equation can be written in the form of a negative binomial distribution (
26).
3.2. First Moment and Variance
The first and second moments of the position of the particle described by the Pólya process
can be written as follows [
31]
The variance
It follows from the subordination integral (
25) that a time-changed Pólya process
with the inverse stable subordinator
has the following first and second moments:
where
For a particular case
,
that corresponds to ballistic superdiffusive movement.
3.3. Governing Equation for the Limiting Probability
Although we have an explicit formula for the limiting probability
in terms of the subordination integral (
25), we cannot obtain a closed equation for
The main reason is that the transition rate (
46) for the Pólya process depends on both space and time variables. To show the problem of obtaining the closed-form equation for
g we now multiply both sides of Equation (
33) by
and integrate from 0 to
∞ with respect to
u. One can obtain
Integration by parts together with (
47) gives
It is clear that we cannot obtain a closed equation for
It can be achieved only for the case
that corresponds to the standard Poisson process
) with
and
The drift Equation (
33) takes the form
It has a solution
Then
obeys the master equation (
47) and has a form of negative binomial distribution (
26). It is interesting that for the case
the probability of a particle remaining at the position
follows a power-law distribution
In the long-time limit
,
takes the form of power-law distribution
3.4. The Probability of First Arrival to the Given Point
Gavrilova et al. [
27] analyzed the time distribution for dense core vesicles to reach a certain threshold for the first time. They found that a beta-negative binomial distribution fits the empirical data well.
Let us find the continuous-time probability density function
for the first arrival to the point
z when
It can be written as
where the transition rate
is defined in (
46). By using the negative binomial distribution (
26) for
, we obtain
For large
As follows from above formula, the mean of the first arrival time does not exist for
The reason for the infinite mean first arrival time is as follows. It is well-known that when the beta distribution parameters satisfy
and
, the probability density is concentrated near zero. This implies that, in the context of particle motion, most particles are effectively “trapped”. As a result, the average time it takes for the particles in a heterogeneous population to reach a certain point
z diverges, since a significant fraction of particles do not move.
4. Summary
Heterogeneity is always present in any cell population, and the ensemble behavior of the population can differ significantly from that of individual cells [
22]. Inside cells, organelles move as heterogeneous populations, in such a way that their motion varies significantly in speed, rest durations, etc. [
1]. One of the key factors influencing organelle motility is size. Larger organelles move more slowly due to drag forces in the crowded environment of the cells. However, size is not the only parameter that contributes to the heterogeneity of movement. The other factors are local viscosity, energy (ATP) and microtubules availability, etc. The question is how these important factors can be implemented into the random walk models. An indirect method of taking into account these factors is to tune parameters
and
of the beta distribution. For example, the influence of the size of organelles can be implemented as follows. The parameter
that represents the level of success in organelle movement should be greater for smaller organelles.
Motivated by the recent experimental analysis of the movement of dense core vesicles in
C. elegans neurons by Gavrilova et al. [
26,
27], we introduce a continuous-time unidirectional random walk model for a heterogeneous population of particles with subdiffusive trapping effects. To model the heterogeneity in population motility, we assume a random jump probability governed by a beta distribution. This randomness in the jump parameter leads to an effective self-reinforcement, leading to superdiffusive motion at the ensemble level. After time rescaling, we derived the limiting probability for the ensemble average of the particle position, which is described by a time-changed Pólya process involving the inverse stable subordinator. We should also mention that the random walk with a temporally fluctuating bias parameter [
18] is fundamentally different from our model for a heterogeneous population, as it does not, to our knowledge, lead to ensemble self-reinforcement.
It has been found [
27] that a simple discrete random walk model accurately captures the empirical ballistic superdiffusive behavior of the displacement variance over the time span of
to
s. Additional experiments with longer observation durations of DCB movement are needed to validate our model with anomalous rest states. Further developments might include estimating the parameters
and
of the beta distribution from the analysis of DSB trajectories, similar to how diffusivity distributions were obtained in [
13]. As a further application, it would be interesting to employ our random walk models for the analysis of cell population movement, given that cellular heterogeneity is a widespread phenomenon [
22].