Survival probability of an immobile target in a sea of evanescent diffusive or subdiffusive traps: a fractional equation approach

Bernoulli trial under subsystem restarts: Two competing searchers looking for a target

We study a pair of independent searchers competing for a target under restarts and find that introduction of restarts tends to enhance the search efficiency of an already efficient searcher. As a result, the difference between the search probabilities of the individual searchers increases when the system is subject to restarts. This result holds true independent of the identity of individual searchers or the specific details of the distribution of restart times. However, when only one of a pair of searchers is subject to restarts while the other evolves in an unperturbed manner, a concept termed as subsystem restarts, we find that the search probability exhibits a nonmonotonic dependence on the restart rate. We also study the mean search time for a pair of run and tumble and Brownian searchers when only the run and tumble particle is subject to restarts. We find that, analogous to restarting the whole system, the mean search time exhibits a nonmonotonic dependence on restart rates.

Dynamic redundancy as a mechanism to optimize collective random searches

We explore the case of a group of random walkers looking for a target randomly located in space, such that the number of walkers is not constant but new ones can join the search, or those that are active can abandon it, with constant rates r_{b} and r_{d}, respectively. Exact analytical solutions are provided both for the fastest-first-passage time and for the collective time cost required to reach the target, for the exemplifying case of Brownian walkers with r_{d}=0. We prove that even for such a simple situation there exists an optimal rate r_{b} at which walkers should join the search to minimize the collective search costs. We discuss how these results open a new line to understand the optimal regulation in searches conducted through multiparticle random walks, e.g., in chemical or biological processes.

Constructing efficient strategies for the process optimization by restart

Optimization of the mean completion time of random processes by restart is a subject of active theoretical research in statistical physics and has long found practical application in computer science. Meanwhile, one of the key issues remains largely unsolved: how to construct a restart strategy for a process whose detailed statistics are unknown to ensure that the expected completion time will reduce? Addressing this query here we propose several constructive criteria for the effectiveness of various protocols of noninstantaneous restart in the mean completion time problem and in the success probability problem. Being expressed in terms of a small number of easily estimated statistical characteristics of the original process (MAD, median completion time, low-order statistical moments of completion time), these criteria allow informed restart decision based on partial information.

Bernoulli trial under restarts: A comparative study of resetting transitions

A Bernoulli trial describing the escape behavior of a lamb to a safe haven in pursuit by a lion is studied under restarts. The process ends in two ways: either the lamb makes it to the safe haven (success) or is captured by the lion (failure). We study the first passage properties of this Bernoulli trial and find that only mean first passage time exists. Considering Poisson and sharp resetting, we find that the success probability is a monotonically decreasing function of the restart rate. The mean time, however, exhibits a nonmonotonic dependence on the restart rate taking a minimal value at an optimal restart rate. Furthermore, for sharp restart, the mean time possesses a local and a global minima. As a result, the optimal restart rate exhibits a continuous transition for Poisson resetting while it exhibits a discontinuous transition for sharp resetting as a function of the relative separation of the lion and the lamb. We also find that the distribution of first passage times under sharp resetting exhibits a periodic behavior.

Impact of Evanescence Process on Three-Dimensional Sub-Diffusion-Based Molecular Communication Channel

In most of the existing works of molecular communication (MC), the standard diffusion environment is taken into account where the mean square displacement (MSD) of an information molecule (IM) scales linearly with time. On the contrary, this work considers the sub-diffusion motion that appears in crowded and complex (porous or fractal) environments (movement of the particles in the living cells) where the particle's MSD scales as a fractional order power law in time. Moreover, we examine an additional evanescence process resulting from which the molecules can degrade before hitting the boundary of the receiver (RX). Thus, in this work, we present a 3D MC system with a point transmitter (TX) and the spherical RX with the sub-diffusive behavior of an IM along with its evanescence. Furthermore, an IM's closed-form expressions for the arrival probability and the first passage time density (FPTD) are emulated in the above context. Additionally, we investigate the performance of MC by using the concentration-based modulation technique in a sub-diffusion channel. Finally, the considered MC channel is exploited in terms of the probability of detection, probability of false alarm, and probability of error for different parameters such as the reaction rate, fractional power, and radius of the RX.

Target searches of interacting Brownian particles in dilute systems

We study the target searches of interacting Brownian particles in a finite domain, focusing on the effect of interparticle interactions on the search time. We derive the integral equation for the mean first-passage time and acquire its solution as a series expansion in the orders of the Mayer function. We analytically obtain the leading order correction to the search time for dilute systems, which are most relevant to target search problems and prove a universal relation given by the particle density and the second virial coefficient. Finally, we validate our theoretical prediction by Langevin dynamics simulations for the various types of the interaction potential.

Slowest first passage times, redundancy, and menopause timing

Biological events are often initiated when a random "searcher" finds a "target," which is called a first passage time (FPT). In some biological systems involving multiple searchers, an important timescale is the time it takes the slowest searcher(s) to find a target. For example, of the hundreds of thousands of primordial follicles in a woman's ovarian reserve, it is the slowest to leave that trigger the onset of menopause. Such slowest FPTs may also contribute to the reliability of cell signaling pathways and influence the ability of a cell to locate an external stimulus. In this paper, we use extreme value theory and asymptotic analysis to obtain rigorous approximations to the full probability distribution and moments of slowest FPTs. Though the results are proven in the limit of many searchers, numerical simulations reveal that the approximations are accurate for any number of searchers in typical scenarios of interest. We apply these general mathematical results to models of ovarian aging and menopause timing, which reveals the role of slowest FPTs for understanding redundancy in biological systems. We also apply the theory to several popular models of stochastic search, including search by diffusive, subdiffusive, and mortal searchers.

Effects of mortality on stochastic search processes with resetting

We study the first-passage time to the origin of a mortal Brownian particle, with mortality rate μ, diffusing in one dimension. The particle starts its motion from x>0 and it is subject to stochastic resetting with constant rate r. We first unveil the relation between the probability of reaching the target and the mean first-passage time of the corresponding problem in absence of mortality, which allows us to deduce under which conditions the former can be increased by adjusting the restart rate. We then consider the first-passage time conditioned on the event that the particle reaches the target before dying, and provide exact expressions for the mean and the variance as functions of r, corroborated by numerical simulations. By studying the impact of resetting for different mortality regimes, we also show that, if the average lifetime τ_{μ}=1/μ is long enough with respect to the diffusive time scale τ_{D}=x^{2}/(4D), there exist both a resetting rate r_{μ}^{*} that maximizes the probability and a rate r_{m} that minimizes the mean first-passage time. However, the two never coincide for positive μ, making the optimization problem highly nontrivial.

Extreme first-passage times for random walks on networks

Many biological, social, and communication systems can be modeled by "searchers" moving through a complex network. For example, intracellular cargo is transported on tubular networks, news and rumors spread through online social networks, and the rapid global spread of infectious diseases occurs through passengers traveling on the airport network. To understand the timescale of search (or "transport" or "spread"), one commonly studies the first-passage time (FPT) of a single searcher (or "transporter" or "spreader") to a target. However, in many scenarios the relevant timescale is not the FPT of a single searcher to a target, but rather the FPT of the fastest searcher to a target out of many searchers. For example, many processes in cell biology are triggered by the first molecule to find a target out of many, and the time it takes an infectious disease to reach a particular city depends on the first infected traveler to arrive out of potentially many infected travelers. Such fastest FPTs are called extreme FPTs. In this paper, we study extreme FPTs for a general class of continuous-time random walks on networks (which includes continuous-time Markov chains). In the limit of many searchers, we find explicit formulas for the probability distribution and all the moments of the kth fastest FPT for any fixed k≥1. These rigorous formulas depend only on network parameters along a certain geodesic path(s) from the starting location to the target since the fastest searchers take a direct route to the target. Hence, the extreme FPTs are independent of the details of the network outside this geodesic(s) and can be drastically faster and less variable than conventional FPTs of single searchers. Furthermore, our results allow one to estimate if a particular system is in a regime characterized by fast extreme FPTs. We also prove similar results for mortal searchers on a network that are conditioned to find the target before a fast inactivation time. We illustrate our results with numerical simulations and uncover potential pitfalls of modeling diffusive or subdiffusive processes involving extreme statistics. In particular, we find that the many searcher limit does not commute with the diffusion limit for random walks, and thus care must be taken when choosing spatially continuous versus spatially discrete diffusion models.

First-encounter time of two diffusing particles in confinement

We investigate how confinement may drastically change both the probability density of the first-encounter time and the associated survival probability in the case of two diffusing particles. To obtain analytical insights into this problem, we focus on two one-dimensional settings: a half-line and an interval. We first consider the case with equal particle diffusivities, for which exact results can be obtained for the survival probability and the associated first-encounter time density valid over the full time domain. We also evaluate the moments of the first-encounter time when they exist. We then turn to the case with unequal diffusivities and focus on the long-time behavior of the survival probability. Our results highlight the great impact of boundary effects in diffusion-controlled kinetics even for simple one-dimensional settings, as well as the difficulty of obtaining analytic results as soon as the translational invariance of such systems is broken.

Anomalous reaction-diffusion equations for linear reactions

Deriving evolution equations accounting for both anomalous diffusion and reactions is notoriously difficult, even in the simplest cases. In contrast to normal diffusion, reaction kinetics cannot be incorporated into evolution equations modeling subdiffusion by merely adding reaction terms to the equations describing spatial movement. A series of previous works derived fractional reaction-diffusion equations for the spatiotemporal evolution of particles undergoing subdiffusion in one space dimension with linear reactions between a finite number of discrete states. In this paper, we first give a short and elementary proof of these previous results. We then show how this argument gives the evolution equations for more general cases, including subdiffusion following any fractional Fokker-Planck equation in an arbitrary d-dimensional spatial domain with time-dependent reactions between infinitely many discrete states. In contrast to previous works which employed a variety of technical mathematical methods, our analysis reveals that the evolution equations follow from (1) the probabilistic independence of the stochastic spatial and discrete processes describing a single particle and (2) the linearity of the integro-differential operators describing spatial movement. We also apply our results to systems combining reactions with superdiffusion.

Heterogeneous continuous-time random walks

We introduce a heterogeneous continuous-time random walk (HCTRW) model as a versatile analytical formalism for studying and modeling diffusion processes in heterogeneous structures, such as porous or disordered media, multiscale or crowded environments, weighted graphs or networks. We derive the exact form of the propagator and investigate the effects of spatiotemporal heterogeneities onto the diffusive dynamics via the spectral properties of the generalized transition matrix. In particular, we show how the distribution of first-passage times changes due to local and global heterogeneities of the medium. The HCTRW formalism offers a unified mathematical language to address various diffusion-reaction problems, with numerous applications in material sciences, physics, chemistry, biology, and social sciences.

The escape problem for mortal walkers

We introduce and investigate the escape problem for random walkers that may eventually die, decay, bleach, or lose activity during their diffusion towards an escape or reactive region on the boundary of a confining domain. In the case of a first-order kinetics (i.e., exponentially distributed lifetimes), we study the effect of the associated death rate onto the survival probability, the exit probability, and the mean first passage time. We derive the upper and lower bounds and some approximations for these quantities. We reveal three asymptotic regimes of small, intermediate, and large death rates. General estimates and asymptotics are compared to several explicit solutions for simple domains and to numerical simulations. These results allow one to account for stochastic photobleaching of fluorescent tracers in bio-imaging, degradation of mRNA molecules in genetic translation mechanisms, or high mortality rates of spermatozoa in the fertilization process. Our findings provide a mathematical ground for optimizing storage containers and materials to reduce the risk of leakage of dangerous chemicals or nuclear wastes.

Continuous-time random-walk model for anomalous diffusion in expanding media

Expanding media are typical in many different fields, e.g., in biology and cosmology. In general, a medium expansion (contraction) brings about dramatic changes in the behavior of diffusive transport properties such as the set of positional moments and the Green's function. Here, we focus on the characterization of such effects when the diffusion process is described by the continuous-time random-walk (CTRW) model. As is well known, when the medium is static this model yields anomalous diffusion for a proper choice of the probability density function (pdf) for the jump length and the waiting time, but the behavior may change drastically if a medium expansion is superimposed on the intrinsic random motion of the diffusing particle. For the case where the jump length and the waiting time pdfs are long-tailed, we derive a general bifractional diffusion equation which reduces to a normal diffusion equation in the appropriate limit. We then study some particular cases of interest, including Lévy flights and subdiffusive CTRWs. In the former case, we find an analytical exact solution for the Green's function (propagator). When the expansion is sufficiently fast, the contribution of the diffusive transport becomes irrelevant at long times and the propagator tends to a stationary profile in the comoving reference frame. In contrast, for a contracting medium a competition between the spreading effect of diffusion and the concentrating effect of contraction arises. In the specific case of a subdiffusive CTRW in an exponentially contracting medium, the latter effect prevails for sufficiently long times, and all the particles are eventually localized at a single point in physical space. This "big crunch" effect, totally absent in the case of normal diffusion, stems from inefficient particle spreading due to subdiffusion. We also derive a hierarchy of differential equations for the moments of the transport process described by the subdiffusive CTRW model in an expanding medium. From this hierarchy, the full time evolution of the second-order moment is obtained for some specific types of expansion. In the case of an exponential expansion, exact recurrence relations for the Laplace-transformed moments are obtained, whence the long-time behavior of moments of arbitrary order is subsequently inferred. Our analytical and numerical results for both Lévy flights and subdiffusive CTRWs confirm the intuitive expectation that the medium expansion hinders the mixing of diffusive particles occupying separate regions. In the case of Lévy flights, we quantify this effect by means of the so-called "Lévy horizon."

Optimal search strategies of space-time coupled random walkers with finite lifetimes

We present a simple paradigm for detection of an immobile target by a space-time coupled random walker with a finite lifetime. The motion of the walker is characterized by linear displacements at a fixed speed and exponentially distributed duration, interrupted by random changes in the direction of motion and resumption of motion in the new direction with the same speed. We call these walkers "mortal creepers." A mortal creeper may die at any time during its motion according to an exponential decay law characterized by a finite mean death rate ω(m). While still alive, the creeper has a finite mean frequency ω of change of the direction of motion. In particular, we consider the efficiency of the target search process, characterized by the probability that the creeper will eventually detect the target. Analytic results confirmed by numerical results show that there is an ω(m)-dependent optimal frequency ω=ω(opt) that maximizes the probability of eventual target detection. We work primarily in one-dimensional (d=1) domains and examine the role of initial conditions and of finite domain sizes. Numerical results in d=2 domains confirm the existence of an optimal frequency of change of direction, thereby suggesting that the observed effects are robust to changes in dimensionality. In the d=1 case, explicit expressions for the probability of target detection in the long time limit are given. In the case of an infinite domain, we compute the detection probability for arbitrary times and study its early- and late-time behavior. We further consider the survival probability of the target in the presence of many independent creepers beginning their motion at the same location and at the same time. We also consider a version of the standard "target problem" in which many creepers start at random locations at the same time.

Extreme values and the level-crossing problem: an application to the Feller process

We review the question of the extreme values attained by a random process. We relate it to level crossings to one boundary (first-passage problems) as well as to two boundaries (escape problems). The extremes studied are the maximum, the minimum, the maximum absolute value, and the range or span. We specialize in diffusion processes and present detailed results for the Wiener and Feller processes.

Evanescent continuous-time random walks

We study how an evanescence process affects the number of distinct sites visited by a continuous-time random walker in one dimension. We distinguish two very different cases, namely, when evanescence can only occur concurrently with a jump, and when evanescence can occur at any time. The first is characteristic of trapping processes on a lattice, whereas the second is associated with spontaneous death processes such as radioactive decay. In both of these situations we consider three different forms of the waiting time distribution between jumps, namely, exponential, long tailed, and ultraslow.

Search times with arbitrary detection constraints

Random encounters in space are central to describing diffusion-limited reactions, animal foraging, search processes, and many other situations in nature. These encounters, however, are often constrained by the capacity of the searcher to detect and/or recognize its target. This can be due to limited binding and perception abilities of the searcher or hiding and avoiding mechanisms used by the target. Hence detection failure upon passage over the target location turns the process into an n-passage problem, with n being random. Here we provide a general description of this detection problem for arbitrary dimensions and arbitrary detection constraints. The mean detection time (MDT) for a random searcher embedded in a sea of homogeneously distributed targets is obtained as a function of the target density ρ, the size domain L, and the effective detection distance a. While the scaling with ρ and L is found to be universal and equivalent to that found for the corresponding first-passage problem, the scaling of the MDT on a depends on the specific detection mechanism considered.

Exploration and trapping of mortal random walkers

Exploration and trapping properties of random walkers that may evanesce at any time as they walk have seen very little treatment in the literature, and yet a finite lifetime is a frequent occurrence, and its effects on a number of random walk properties may be profound. For instance, whereas the average number of distinct sites visited by an immortal walker grows with time without bound, that of a mortal walker may, depending on dimensionality and rate of evanescence, remain finite or keep growing with the passage of time. This number can in turn be used to calculate other classic quantities such as the survival probability of a target surrounded by diffusing traps. If the traps are immortal, the survival probability will vanish with increasing time. However, if the traps are evanescent, the target may be spared a certain death. We analytically calculate a number of basic and broadly used quantities for evanescent random walkers.