Random walk of passive tracers among randomly moving obstacles

Background This study is mainly motivated by the need of understanding how the diffusion behavior of a biomolecule (or even of a larger object) is affected by other moving macromolecules, organelles, and so on, inside a living cell, whence the possibility of understanding whether or not a randomly walking biomolecule is also subject to a long-range force field driving it to its target. Method By means of the Continuous Time Random Walk (CTRW) technique the topic of random walk in random environment is here considered in the case of a passively diffusing particle among randomly moving and interacting obstacles. Results The relevant physical quantity which is worked out is the diffusion coefficient of the passive tracer which is computed as a function of the average inter-obstacles distance. Conclusions The results reported here suggest that if a biomolecule, let us call it a test molecule, moves towards its target in the presence of other independently interacting molecules, its motion can be considerably slowed down.


Background
The topic of random walk in random environment (RWRE) has been the object of extensive studies during the last four decades and is of great interest to mathematics, physics and several applications. There is a huge literature on numerical, theoretical, and rigorous analytical results. The subject has been pioneered both through applications, as is the case of the models introduced to describe DNA replication [1], or through more abstract models in the field of probability theory [2]. One can find in Ref. [3] the definition of the mathematical framework of RWRE and since then a vast body of results has been built for both static and dynamic random environments, to mention just a few of them see [4][5][6][7] and the references therein quoted.
An example of biophysical application of RWRE is related with single-particle tracking experiments allowing to measure the diffusion coefficient of an individual particle (protein or lipid) on the cell surface; the knowledge of single-trajectory diffusion coefficient is useful as a measure of the heterogeneity of the cell membrane and requires to model hindered diffusion conditions [8].
To give another example among a huge number of processes in living matter, during B lymphocyte development, immunoglobulin heavy-chain variable, diversity, and joining segments assemble to generate a diverse antigen receptor repertoire. Spatial confinement related with diffusion hindrance from the surrounding network of proteins and chromatin fibres is the dominant parameter that determines the frequency of encounters of the above mentioned segments. When these particles encounter obstacles present at high concentration, the particles motions become subdiffusive [9] as described by the continuous time random walk (CTRW) model [8,10].
In a biophysical context this kind of problems is referred to as "macromolecular crowding" which, among other issues, encompasses the effects of excluded volume on molecular diffusion and biochemical reaction rates within living cells. This problem has been largely studied both experimentally and numerically over the years (see respectively [11,12] and references therein).
In this paper, we consider a very simplified model in order to obtain analytical results on the diffusion coefficient of passive tracers evolving among interacting and randomly moving particles. The prospective reason for studying this problem stems from the need of estimating how the encounter time of a given macromolecule (passive tracer) with its cognate partner, say a transcription factor diffusing towards is target on the DNA, is affected by the surrounding particles intervening in other biochemical reactions.
The complexity of real crowded systems appears at the moment very difficult to be managed by analytical calculations, for these reasons we have made important simplifications with respect to the realistic case. In particular, we have limited our analysis to a low concentration limit for the obstacles, assuming that the average distances among the particles (both tracers and obstacles) is much larger than their characteristic dimensions. Although this assumption is unrealistic in vivo, the present work can be considered as a first step in a feasibility study for an experiment oriented to infer whether intermolecular electrodynamic long range forces are at work in living matter using dilute solutions of biomolecules in vitro. This is in the same line as some recent works ( [13][14][15][16]).

Methods: continuous time random walk formalism
One of the many ways of modelling diffusive behavior is by Continuous Time Random Walk (CTRW) [17,18]. This framework is mainly used to extend the description of Brownian motion to anomalous transport, in order to deal with subdiffusive or superdiffusive behavior in connection with Lévy processes, but it can of course be used to describe the simpler and more frequent case of normal diffusion. In this paper, we focus on cases where diffusion of tracers and interacting molecules is indeed Gaussian, so that a diffusion coefficient can be defined.
Consider a population of independent particles A, and suppose that their motion can be modeled as a sequence of motional events that take place in euclidean three dimensional space and in continuous time. In the literature (see for example [17]) calculations are often carried out in one dimension, however, the extension to two and three dimensions is trivial. In the CTRW framework the random walk is specified by ψ(r, t), the probability density of making a displacement r in time t in a single motional event. The normalization condition on ψ(r, t) is In many applications of CTRW ψ(r, t) is decoupled so that there is no correlation between the displacement r and the time interval t: Here we rather consider the formulation where space and time are coupled, thus expressing the fact that the particles move with a given velocity during single motional events; this amounts to introducing a conditional probability p(r|t), i.e., the probability that a given displacement r takes place in a time t Normalization requires that We take the velocity to be constant in magnitude Furthermore, we consider isotropic systems, which implies that the distribution (r) is a function of r = |r| only. We write it in the form with the normalization condition +∞ 0 dr λ(r) = 1 which allows to rewrite ψ(r, t) as where φ(t) is the free-flight or waiting time distribution representing the probability density function for a random walker to keep the same direction of its velocity during a time t. φ(t) is the fundamental quantity for the description of our isotropic system. It satisfies the relations Starting from these quantities, one can compute the Fourier-Laplace transform of the probability density P(r, t) for a particle to be at the position r at time t, and consequently calculate the diffusion properties. This is done in the Appendix, where we generalise the analysis carried out in [17] for the one-dimensional case to three dimensions, considering two slightly different versions of the CTRW: (i) The Velocity Model, in which each particle A moves with constant velocity v 0 between two turning points; at a turning point, a new direction and a new length of flight are taken according to the probability density (r). (ii) The Jump Model, in which each particle waits at a particular location before instantaneously moving to the next one, the displacement being chosen according to the probability density (r), the waiting time for a jump to take place being |r|/v 0 .
The expression of P(r, t) is formally different for these two versions of the CTRW, but from their definition it appears that the two models are equivalent in the long time limit.
As a general remark on other possible applications of our work, this CTRW description where space and time are coupled (see Eq. (3)) allows us to model situations not only of Gaussian diffusion but also of enhanced diffusion (where r 2 (t) t α with α > 1) [18], because it can describe cases where the particles keep the same velocity for very long times (if the free-flight distribution φ(t) decays slowly, typically as an inverse power law).
We get normal diffusion as soon as φ(t) has a finite second moment. In this case, the long time behavior of the mean square displacement, and hence of the diffusion coefficient, is, both for the Velocity and Jump models (see the Appendix) where t n φ is the n-th moment of the distribution φ(t) defined by Eqs. (8) and (9): The diffusion coefficient is then given by Let us notice that the same CTRW formalism can also describe subdiffusion (where r 2 (t) t α with α < 1) [18]. This can be obtained by considering a version of the Jump Model where space and time are decoupled, as in Eq. (2): particles remain at a particular location for times distributed according to ψ(t) and make instantaneous jumps on distances distributed according to (r). Subdiffusion is obtained as soon as (r) has finite second moment while the first moment of the waiting time distribution ψ(t) diverges.

Diffusion of independent tracers in the presence of interacting obstacles
If we adopt the CTRW description of diffusion presented in the preceding section, then the main quantity to consider is φ A (t), the probability density function that a random walker A keeps the same direction of velocity during a time t.
We will refer to "unperturbed" diffusion if A is the only species present in a solution, and we denote the free-flight time distribution of the unperturbed case by φ 0 A (t). The discussion in the preceding section gives which is also independently given by Einstein's relation where k is the Boltzmann constant, T is the temperature and γ A is the friction coefficient for A-particles given by Stokes' Law: where R A is the hydrodynamic radius of the diffusing particles and η is the viscosity of the medium where the particles diffuse.
Moreover, we can estimate the typical particle velocity using equipartition of energy where m A is the mass of a particle A. So, if we interpret φ 0 A (t) as the free-flight time distribution between Brownian collisions of the particles A on the molecules of the medium, then Eqs. (13), (14), (16) imply that the two first moments of φ 0 A must satisfy the relation As stated in the introduction, the physical situation we are interested in is the one where another population of particles, say B-particles, is also present in the solution. Particles B are supposed to diffuse and mutually interact, but there is no interaction at a distance between them and the particles A. It is reasonable to suppose that the diffusive and dynamic properties of these moving obstacles B induce changes in the diffusive properties of the A-particles which can be thus seen as passive tracers.
We want to model how the B-particles affect the diffusion properties of the A-particles by resorting to a suitable modification of the CTRW probability distribution φ A (t). The amount of the modification will of course depend on the concentration C B (or equivalently on the average distance d = C −1/3 B ) of obstacles. Our goal is to estimate with simple arguments the dependence on the average distance d between any pair of obstacles of the ratio D A /D 0 A between perturbed and unperturbed diffusion coefficients.
We always assume that so that the A-particles can be regarded as tracers: any A-particle does not influence the dynamics of the obstacles and of the other tracers.

Modification of the microscopic free-flight time distribution
If the concentration C B of the obstacles B is low enough, in the sense that their average distance d is such that we can consider that the diffusion of A-particles is not perturbed by the presence of the obstacles B; thus for the waiting time distribution we will have φ A (t) φ 0 A (t), and, As the concentration of B-particles grows, the diffusion of A-particles is affected accordingly, and this is described by a modification of φ A (t). It is reasonable to suppose that φ A (t) will be close to φ 0 A (t) at sufficiently short times, i.e., for displacements small enough that a tracer A does not "see" any obstacle B, and that φ A (t) will be reduced with respect to the unperturbed φ 0 A (t) at long times, because long free displacements are likely to be interrupted by the presence of obstacles.
Following this idea, we model the waiting time distribution as follows: we call T d the characteristic time of flight at which a tracer A begins to "see" the obstacles B, where T d depends of course on the typical distance d C between the B-particles. We then make the simplest assumption that φ A (t) coincides (except for a normalisation factor) with φ 0 A (t) for times smaller than T d and is zero for times larger than T d . We take the unperturbed distribution φ 0 A (t) to be exponentially decreasing where, using Eq. (17): So, we write the modified probability density φ A (t) for passive tracers (A-particles) in presence of interacting moving obstacles (B-particles) as: If we compute the diffusion coefficient using Eq. (12) and expressions (22), (20) we get which is a function of the ratio between the transition time T d and the characteristic timescale τ A of the non perturbed waiting time distribution. The issue is now to establish the dependence of the transition time T d (and consequently, of the parameter x) on the average distance d between obstacles. The fact that the obstacles move under the influence of deterministic nonlinear interparticle potentials implies a chaotic dynamics which a-priori could be very different from a stochastic dynamics, this notwithstanding such a chaotic dynamics entails a Brownianlike diffusion as was found by numerical simulations in Ref. [14]. Hence we assume that the B-molecules (obstacles) diffuse with Brownian motion: we can apply to them the CTRW description with velocity v 0 B and waiting time distribution φ B (t), corresponding to a situation where they do not interact. We can then approximately take into account their mutual interaction by giving them a systematic drift velocity that is due to deterministic forces acting between them. This drift velocity depends on their mutual distance d, and we will call it V d . If we suppose that the dynamics of the B-molecules is over-damped, a crude estimation of V d is given by The transition time T d can be roughly estimated by considering that, if the diffusive displacement of a tracer A is interrupted by the presence of the B-molecules, this is due to a molecule B which is moving in the direction of the tracer A, so that For the parameter x appearing in (23) this gives where we have used Eqs. (16), (17) and (20). Now, some remarks are in order. The most tricky point in the procedure mentioned above to compute D A /D 0 A of the tracers consists in the choice of the functional form of where U(r) is the potential energy among interacting obstacles which depends only on the distance r between them, i.e.
Equation (24) is a rough estimate of this characteristic time because it excludes, for instance, effects due to the dimensionality of physical space where diffusion takes place (1D, 2D, etc.), the sign of interaction energy among obstacles, spatial correlation among obstacles and the possibility of multiple collisions among the molecules. The last point entails the exclusion -from the range of validity of our model -of all the cases where d min{R A , R B } (as in the case of densely crowded systems). For this reason we do not take into account the sizes of both tracers and obstacles at a distance d from the colliding particle.
Moreover, this model is meaningful if the transition time T d is of the same order of magnitude than the characteristic timescale τ A of φ A (t). Such a condition is equivalent to requiring that the viscosity η of the medium and the interparticle distance d are sufficiently small and, possibly, the interaction strength among the obstacles is sufficiently large. To the contrary, if the parameters of the system are such that the typical time T d at which the tracers "see" the obstacles is many orders of magnitude larger than the typical time τ A between Brownian collisions, the free-flight time distribution φ 0 A (t) will not be modified by the presence of the obstacles, and Eq. (23) will always give D A D 0 A , as 1 for all the accessible values of d. More precisely, if we look at Eq. (25) for the ratio between T d and τ , it is reasonable to think that the presence of B-particles modifies the microscopic free-flight time distribution between Brownian collisions if the product (γ A d) is not much larger than √ m A kT. Unfortunately this is not true in many applications. Consider, for instance, the case of two molecular species diffusing in water (η = 5.1 × 10 8 KDa μm −1 μs −1 ) at room temperature T = 300 K, where the A-particles are non interacting small molecules (say a small peptide complex), and the B-particles represent mutually interacting biomolecules with m B 20 KDa and R B 2 × 10 −3 μm, so that R A 0.5 R B and m A 0.025 m B 0.5 KDa. Using Eqs. (21) and the previous choice of physical parameters for A-particles, we obtain that τ A 5 × 10 −8 μs. Suppose that the B-particles are characterized by a net electric charge Z B 10, that their mutual average distance is d = 0.05 μm 50 R B , and that they interact through a non screened electrostatic potential. This models the case of an ideal watery solution of A-and B-type particles with no Debye screening, and with ε rel 80 (the value of the static dielectric constant of water). Using Eq. (16) we see that the contribution due to thermal noise of A-type molecules is larger than that of the B-type molecules, in fact v 0 A 1.2 × 10 2 μmμs −1 6 v 0 B ; moreover, the interaction term is negligible with respect to the velocities, as where q is the elementary charge expressed in Gaussian units. Using (24), the transition time is T d 3 · 10 −4 μs, whence we get x(d) 6 · 10 3 .

Modification of the rescaled free-flight time distribution
In order to describe physical systems for which T d τ for all the accessible values of the intermolecular distance d, as the one described by the preceding example, we have to modify the CTRW model. Let us still model the unperturbed diffusion of tracers as a sequence of linear motional events described in the CTRW formalism by a rescaled functionψ 0 A (r, t), given bỹ where, analogously to the previous case, Of course this does not model the microscopic level, in the sense that the single motional events -whose probability is specified byψ A (r, t) -are no longer the microscopic displacements between successive Brownian collisions. Rather, we focus on the motion on longer timescalesτ A (β A > 1) and model the diffusion of tracers as a sequence of displacements on typical distancesṽ A 0τ A .
The conditions on the rescaling parameters (α A , β A , α B , β B ) are then • the typical motional event for tracers (A -particles) takes place between two consecutive encounters with an obstacle (B -particles); this means that the spatial scale of a typical motional event for tracers described byψ 0 A (r, t) is d, the average distance between any two obstacles. This condition guarantees that τ A , and consequentlyψ 0 A (r, t), is modified in the presence of obstacles: • for B -particles we can also write a condition analogous to Eq. (30) under the assumption that the motional events for obstacles are determined by encounters among them in absence of mutual interactions. This is justified by the assumption that the concentration of tracers is negligible compared with the concentration of obstacles. In this framework it is reasonable to assume: • the dynamics of tracers is now dominated by the encounters with obstacles, that where D exVol A (d) is the diffusion coefficient of tracers taking into account the excluded volume effects due to the presence of the obstacles. As we are investigating the case d R A + R B , we can neglect the excluded volume effects and substitute • the considerations in the previous item can be extended to obstacles (B -particles) if no interactions act among them, so that: Notice that the rescaled velocity and time now implicitly depend on the parameter d.
Solving the system formed by Eqs. (30), (31), (33) and (34), we obtain: while for the rescaled parameters for A-particles: where, as α A > 0, the physical solution we choose is the one with the "+" sign. Using Eqs. (16) and (21) we can rewrite this as: and We suppose that, in the presence of mutually interacting biomolecules of B-type, the functionφ 0 A (t) is modified as follows where q 1 , q 2 are such thatφ A (t) is normalized and continuous at t =T d .T d is again the characteristic time at which the motional events described byψ 0 A (r, t) are perturbed by the presence of the obstacles. Equation (39) expresses the fact that, on spatial scales larger than the average intermolecular distance d between any pair of obstacles, the timescale of diffusion changes fromτ A toT d , which is the characteristic time that takes to cover a distance d for a tracer in presence of interacting obstacles. Two physically equivalent conditions for definingT d arẽ Here V d is the drift velocity of the obstacles, that we can estimate in the same way as in Section "Modification of the microscopic free-flight time distribution", that is, V d F(d)/γ B . For both conditions, it is evident thatT d ≤τ A , where the equality holds when V d = 0, that is, the B-particles do not interact.
After a straightforward calculation, we obtain the following dependence of the diffusion coefficient on the parameter y(d) =T d /τ A : If we take the condition (40) forT d we get for the dependence of y on d where we have used Eq. (38) for β A .

Slowing down of Brownian diffusion: the patterns of D/D 0
In this section we report the patterns of the ratio D A /D 0 A obtained by means of the theoretical expressions (23), (25) and (41), (42). We denote by D and D 0 the diffusion coefficients of the tracers (A-particles) in the presence and in the absence of obstacles (Bparticles), respectively. We plot this ratio as a function of the average distance d between any two obstacles obtained for different kinds of interaction potentials between the Bparticles: screened electrostatic potential, Coulombic potential, dipolar potential. These potentials have been chosen as they are representative of some relevant interaction in biology [19]. The choice of Coulombic and dipolar potentials is justified by the fact that these are long range interactions that can exert their action on a length scale much larger than the typical dimensions of biomolecules. In this framework other interactions, i.e. Van der Waals interactions, have a very short range and they exert their action on length scale comparable with biomolecules dimensions. Nevertheless the short range screened Coulombic potential has been investigated as its range distance depends on the free ions concentration in the diffusive medium, which is an accessible experimental parameter.
In what follows the diffusion of tracers in presence of interacting obstacles is studied for some cases corresponding to the different frameworks discussed in Sections "Modification of the microscopic free-flight time distribution", "Modification of the rescaled free-flight time distribution".

Case of modification of the microscopic free-flight time distribution
As discussed in Section "Modification of the microscopic free-flight time distribution", this approach corresponds to the case where the characteristic timescale τ A of Brownian collisions is of the same order of magnitude than T d (the characteristic timescale at which the tracers A "see" the obstacles B). This corresponds to intermolecular distances d of the obstacles that are comparable to m A kT . For the sake of simplicity we consider the case where the species A and B have the same size, R = R A = R B , and the same mass, m = m A = m B , which define a length and a mass scale for the system, respectively. Hence, for instance, the distance between two colliding particles can be rewritten as d = R l, where l is an adimensional parameter, with the assumption that d R. Moreover, the temperature T of the system defines an energy scale allowing to express Eq. (25) in terms of dimensionless quantities, since the friction coefficient as well can be expressed in terms of an adimensional parameter Let us consider a two-body interaction potential of the form where r is the interparticle distance, which can be written in adimensional units as With these conventions, Eq. (25) reads Let us consider the case of a Coulombic interaction among B-type particles. In order to study a somewhat realistic case we take for m and R values that are typical for macromolecules, i.e. m ∼ 10 KDa 1.6 × 10 −23 Kg, R 10 −9 m and |Z| 10, at room temperature T = 300 K; in this case we havē where q is the electric elementary charge and ε water 80 is the relative electric permittivity of water.
In Fig. 1 we plot the tracer self-diffusion coefficent behavior as a function of average distances among diffusing obstacles interacting through a Coulombic potential, following Eqs. (23) and (46); the intensity of Coulombic potential has been fixed toC Coul = 0.7×10 2 while the value of the adimensionalized friction coefficient has been changed. In this case it is necessary to choose 10 −2 in order to obtain sizeable effects on the value of D/D 0 at an average intermolecular distance of about l 10 3 . Moreover, the value of strongly affects the value of the intermolecular average distance among obstacles, which corresponds to a major deviation of the tracer self-diffusion coefficient from its Brownian value: the smaller the value of is, the larger the distance among obstacles at which diffusion of tracers deviates from Brownian diffusion.
Assuming that the friction coefficient is given by Stokes' law (15), the obtained value corresponds to η 1.5 × 10 −4 η water , where η water is the viscosity of water at temperature T = 300 K.
In Fig. 2 we plot the tracers self-diffusion coefficient behavior as a function of the average distances among diffusing obstacles interacting through a Coulombic potential, for a fixed value of = 10 −2 and different values of the strength of Coulombic interaction among obstacles. In this case we observe that, as we increase the strength of Coulombic potential, the profile of tracers self-diffusion coefficient as a function of the average distance among obstacles becomes sharper. Nevertheless, the intensity of the potential does not seem to affect the value of the average distance among obstacles at which the tracers self-diffusion coefficient deviates from its value in the absence of interactions. We can conclude that the self-diffusion coefficient of tracers is mainly affected by the value of the friction coefficient. In the range of cases we have studied, the presence of interactions among obstacles affects only slightly the diffusion behavior of tracers, as it can be seen by comparing with the caseC Coul = 0. This effect can be interpreted as a sort of "effective dynamical excluded volume" due to the presence of the obstacles; when the friction forces are weakened, the average speed both of the obstacles and the tracers increases and as a consequence the average free-flight time of tracers diminishes.
As mentioned above, the renormalized self-diffusion coefficient of tracers has been computed also in presence of obstacles interacting through a "dipole-dipole" potential and a screened Coulombic potential, of a form close to the Debye-Hückel potential (which usually models electrostatic interactions in electrolytic solutions), that is where λ D is the characteristic screening length scale, also called Debye length. The potential in (50) can be rewritten in adimensional form: whereλ D = λ D /R is the adimensional screening length. As pointed out before, the method proposed in the present paper is meaningful provided that d R, therefore we takeλ D ≥ 10, since for shorter screening length scales we don't expect any effect of the interactions among obstacles on the diffusion of tracers. For the screened Coulombic potential, Eq. (25) takes the form In Figs. 3 and 4 we show the behavior of tracers self-diffusion coefficient as a function of the concentration of interacting obstacles, in the case of "dipolar" and Coulomb screened interactions among obstacles, respectively. Different values for ,C Dip andC CoulScr have been chosen. In both cases we observe that the dependence of the tracers self-diffusion coefficient on the concentration of obstacles is much more affected by the value of than by the strength of the interaction potentials among obstaclesC Dip andC CoulScr , at least in the explored range of parameters. This allows to conclude that also in this case the "effective dynamical excluded volume" mainly affects the tracers self-diffusion coefficient.

Case of modification of the rescaled free-flight time distribution
As discussed in Section "Modification of the rescaled free-flight time distribution", the proposed approach corresponds to the case where the characteristic timescale τ of Brownian collisions is much smaller than the transition time T d . This corresponds to intermolecular distances d of the obstacles that are much larger than m A kT We remark that if γ is given by the Stokes' law (15) then the collision time T d does not depend on the viscosity of the medium surrounding the particles but only on the ratio between the radii of the A-and B-type particles, on the functional form of the interaction potential between the obstacles, and on the strength of this potential. As in the previous section, we choose identical A-and B-particles in order to introduce adimensional units. For a potential of the form U = Cr −n , Eq. (42) is rewritten as follows: as γ A = γ B . In Figs. 5 and 6 we report the different patterns obtained for D/D 0 relative to the tracers (A-particles) as a function of the average distance d between any pair of obstacles (B-particles) interacting through the Coulombic and dipolar potential.

Conclusions
The main aim of this paper is to give an analytical estimation of the self-diffusion coefficient of passive tracers as a function of the concentration and strength of mutual interaction of obstacles. We considered a very simple model of passive tracers and interacting obstacles diffusing in a low concentration limit. The diffusion law was assumed to be Brownian both for the tracers and the obstacles. Nevertheless, it would certainly be interesting in further studies to consider also other diffusive laws, in order to refine the model for crowded systems [20]. The CTRW framework is well suited for this, as it has been discussed in Section "Methods: continuous time random walk formalism". We found that the value of the Brownian self-diffusion coefficient of passive tracers is markedly affected by the randomly moving obstacles. The effects related to the presence and the strength of interactions among obstacles is in general less important than the "effective dynamical excluded volume" related to the friction constant. We stress that this result strongly depends on our estimation of the free-flight time T d of passive tracers, which is quite crude and seems to be the main aspect to be refined in our model in order to obtain more accurate results. An attempt to modify the estimation of T d is suggested in this article, resulting in the so called rescaled free-flight time distribution; in this case, the effect of friction is neglected and the slowing down of the passive tracers diffusion is due to only to the concentration of the obstacles and the strength of their mutual interactions. Nevertheless, this model has not yet a clear correspondence to real biological models.
Although we have adopted strong approximations and simplifications with respect to a realistic biological case of crowding, this work represents a first step in the analytic study of the value of the diffusion coefficient of passive tracers in the presence of interacting obstacles, and this fact can have relevant prospective consequences for applications to biology. For instance, the description of the complex network of biochemical reactions taking place in living cells could be markedly affected by the activation of long-range intermolecular interactions of the kind discussed in Ref. [15]. In particular, if we imagine a cytoplasm crowded by biomolecules interacting at a long distance, then molecules that would be driven to their targets only by diffusion could be considerably slowed down.
We now use the fact that in our case diffusion is isotropic. As discussed in Section "Methods: continuous time random walk formalism", this allows to write where we have introduced the waiting time distribution φ(t), which is the probability density function that a single motional event has duration t, and is normalised by where φ(s) is the Laplace transform of φ(t). Isotropy implies that ∇ k ψ(k, s)| k=0 = 0, so that, replacing Eqs. (55), (56), (57) in Eq. (54) we get Expanding expression (58) around s 0, we obtain Using Tauberian theorems [21], which relate the behavior of a function f (t) at large t to that of its Laplace transform at small s, we have at large times: which is the same as Eq. (10) of Section "Methods: continuous time random walk formalism".

Velocity model
In the Velocity Model, each walker moves with constant velocity v 0 between turning points where a new direction and a new distance of flight are chosen according to the probability density (r). We have in this case: where (r, t) represents the probability for a particle to make a displacement r in a time t in a single motional event and without stopping at time t. The explicit expression for (r, t) in three dimensions is given by: where α, α , β, β are the angles which define the direction of vectors r and r in a polar reference system and p α,β (r|t) is the conditional probability of making a displacement of distance r in a time interval t along a vector whose orientation is specified by the angles α and β. Heaviside functions θ(x) take into account time ordering t > t so that |r |−|r| > 0, as the velocity is constant. We again consider the Fourier-Laplace transform of the previous functions, obtaining: Q(k, s) = 1 1 − ψ(k, s) and P(k, s) = (k, s) 1 − ψ(k, s) The mean square displacement r 2 (t) as a function of time is the inverse Laplace transform of the quantity: r 2 (s) = − k=0 P(k, s)| k=0 = − k (k, s) (1 − ψ(k, s)) + 2∇ k ψ(k, s) · ∇ k (k, s) (1 − ψ(k, s)) 2 As we consider the isotropic case, we can rewrite ψ(r, t) as Under this hypothesis (r, t) has the form: The isotropy hypothesis implies ∇ k ψ(k, s)| k=0 = 0. Equation (59) then reduces to: