The redundancy principle in biology expresses the need of many copies of the same entity (cells, molecules, ions) to fulfill a biological function. Examples are numerous: disproportionate numbers of spermatozoa during fertilization compared to one egg, large number of neurotransmitters released during neuronal communication compared to the number of receptors, large numbers of released calcium ions during transient in cells, and many more in molecular and cellular transduction or gene activation and cell signaling. This redundancy is particularly relevant when the sites of activation are physically separated from the initial position of the molecular messengers. The redundancy is often generated for the purpose of resolving the time constraint of fast-activating pathways. It can be expressed in terms of the theory of extreme statistics to determine its laws and quantify how the shortest paths are selected. The main goal is to estimate these large numbers from physical principles and mathematical derivations.

When a large distance separates the source and the target (a small activation site), the redundancy principle explains that this geometrical gap can be compensated by large number. Had nature used less copies than normal, activation would have taken a much longer time, as finding a small target by chance is a rare event and falls into narrow escape problems.

Molecular rate 
The time for the fastest particles to reach a target in the context of redundancy depends on the numbers and the local geometry of the target. In most of the time, it is the rate of activation. This rate should be used instead of the classical Smoluchowski's rate describing the mean arrival time, but not the fastest. The statistics of the minimal time to activation set kinetic laws in biology, which can be quite different from the ones associated to average times.

Physical models

Stochastic process 
The motion of a particle located at position  can be described by the Smoluchowski's limit of the Langevin equation:

where  is the diffusion coefficient of the particle,  is the friction coefficient per unit of mass,  the force per unit of mass, and  is a Brownian motion. This model is classically used in molecular dynamics simulations.

Jump processes 
, which is for example a model of telomere length dynamics. Here  , with .

Directed motion process 
 where  is a unit vector chosen from a uniform distribution. Upon hitting an obstacle at a boundary point , the velocity changes to  where  is chosen on the unit sphere in the supporting half space at  from a uniform distribution, independently of .  This rectilinear with constant velocity is a simplified model of spermatozoon motion in a bounded domain . Other models can be diffusion on graph, active graph motion.

Mathematical formulation: Computing the rate of arrival time for the fastest 
The mathematical analysis of large numbers of molecules, which are obviously redundant in the traditional activation theory, is used to compute the in vivo time scale of  stochastic chemical reactions. The computation relies on asymptotics or probabilistic approaches to estimate the mean time of the fastest to reach a small target in various geometries.

With N  non-interacting i.i.d. Brownian trajectories (ions) in a bounded domain Ω  that bind at a site, the shortest arrival time  is by definition

 where   are the independent arrival times of the N ions in the medium.  The survival distribution of arrival time of the fastest     is expressed in terms of a single particle, . Here  is the survival probability of a single particle prior to binding at the target.This probability is computed from the solution of the diffusion equation in a domain :

where the boundary  contains NR binding sites  (). The  single particle survival probability is

 so that where

and .

The probability density function (pdf) of the arrival time is

 which gives the MFPT

 The probability   can be computed using short-time asymptotics of the diffusion equation as shown in the next sections.

Explicit computation in dimension 1 
The short-time asymptotic of the diffusion equation is based on the ray method approximation. For an semi-interval  , the survival pdf is solution of

that is

The survival probability with D=1 is . To compute the MFPT, we expand the complementary error function

 which gives,

leading (the main contribution of the integral is near 0) to 

This result is reminiscent of using the Gumbel's law.  Similarly, escape from the interval [0,a] is computed from the infinite sum

.The conditional survival probability is approximated by

, where the maximum occurs at  min[y,a-y] for 0<y<a (the shortest ray from y to the boundary). All other integrals can be computed explicitly, leading to

Arrival times of the fastest in higher dimensions 
The arrival times of the fastest among many Brownian motions  are expressed in terms of the shortest distance from the source S to the absorbing window A, measured by the distance where d is the associated Euclidean distance. Interestingly, trajectories followed by the fastest are as close as possible from  the optimal trajectories. In technical language, the associated trajectories of the fastest among N, concentrate near the optimal trajectory (shortest path) when the number N of particles increases. For a diffusion coefficient D and a window of size a, the expected first arrival times of N identically independent distributed Brownian particles initially positioned at the source S are expressed in the following asymptotic formulas :

These formulas show that the expected arrival time of the fastest particle is in dimension 1 and 2, O(1/\log(N)). They should be used instead of the classical forward rate in models of activation in biochemical reactions. The method to derive formulas is based on short-time asymptotic and the Green's function representation of the Helmholtz equation. Note that other distributions could lead to other decays with respect N.

Optimal Paths

Minimizing  The optimal path in large N 
The optimal paths for the fastest can be found using the Wencell-Freidlin functional in the Large-deviation theory.  These paths correspond to the short-time asymptotics of the diffusion equation from a source to a target. In general, the exact solution is hard to find, especially for a space containing various distribution of obstacles.

The Wiener integral representation of the pdf for a pure Brownian motion is obtained for a zero drift and diffusion tensor  constant, so that it is given by the probability of a sampled path until it exits at the small window at the random time T

where

 in the product and T is the exit time in the narrow absorbing window  Finally,

where  is the ensemble of shortest paths selected among n Brownian trajectories, starting at point y and exiting between time t and t+dt from the domain . The probability is used to show that the empirical stochastic trajectories of  concentrate near the shortest paths starting from y and ending at the small absorbing window , under the condition that .  The paths of   can be approximated using discrete broken lines among a finite number of points and we denote the associated ensemble by .  Bayes' rule leads to where   is the probability that a path of   exits in m-discrete time steps. A path made of broken lines (random walk with a time step) can be expressed using Wiener path-integral.  The probability of a Brownian path x(s) can be expressed in the limit of a path-integral with the functional:

The Survival probability conditioned on starting at y is given by the Wiener representation:

where  is the limit Wiener measure: the exterior integral is taken over all end points x and the path integral is over all paths starting from x(0). When we consider n-independent paths  (made of points with a time step  that exit in m-steps, the probability of such an event is

.Indeed, when there are n paths of m steps, and the fastest one escapes in m-steps, they should all exit in m steps. Using the limit of path integral, we get heuristically the representation

where the integral is taken over all paths starting at y(0) and exiting at time . This formula suggests that when n is large, only the paths that minimize the integrant will contribute. For large n, this formula suggests that paths that will contribute the most are the ones that will minimize the exponent, which allows selecting the paths for which the energy functional is minimal, that is

where the integration is taken over the ensemble of regular paths inside  starting at y and exiting in , defined as

This formal argument shows that the random paths associated to the fastest exit time are concentrated near the shortest paths. Indeed, the Euler-Lagrange equations for the extremal problem are the classical geodesics between y and a point in the narrow window .

Fastest escape from a cusp in two dimensions 

The formula for the fastest escape can generalize to the case where the absorbing window is located in funnel cusp and the initial particles are distributed outside the cusp. The cusp has a size   in the opening and a curvature R. The diffusion coefficient is D.  The shortest arrival time, valid for large n is given by   Hereand c is a constant that depends on the diameter of the domain. The time taken by the first arrivers is proportional to the reciprocal of the size of the narrow target   . This formula is derived for fixed geometry and large n and not in the opposite limit of large n and small epsilon.

Concluding remarks 
How nature sets the disproportionate numbers of particles remain unclear, but can be found using the theory of diffusion. One example is the number of neurotransmitters around 2000 to 3000 released during synaptic transmission, that are set to compensate the low copy number of receptors, so the probability of activation is restored to one.

In natural processes these large numbers should not be considered wasteful, but are necessary for generating the fastest possible response and make possible rare events that otherwise would never happen. This property is universal, ranging from the molecular scale to the population level.

Nature's strategy for optimizing the response time is not necessarily defined by the physics of the motion of an individual particle, but rather by the extreme statistics, that select the shortest paths. In addition, the search for a small activation site selects the particle to arrive first: although these trajectories are rare, they are the ones that set the time scale. We may need to reconsider our estimation toward numbers when punctioning nature in agreement with the redundant principle that quantifies the request to achieve the biological function.

References 

Biology terminology