1. SPTs Allow Observing Moving Molecules Inside Cells to Collect Statistics

SPT allowed observing moving particles. These trajectories are used to investigate cytoplasm or membrane organization,^[1] but also the cell nucleus dynamics, remodeler dynamics or mRNA production. Due to the constant improvement of the instrumentation, the spatial resolution is continuously decreasing, reaching now values of approximately 20 nm, while the acquisition time step is usually in the range of 10 to 50 ms to capture short events occurring in live tissues. A variant of super-resolution microscopy called sptPALM is used to detect the local and dynamically changing organization of molecules in cells, or events of DNA binding by transcription factors in mammalian nucleus. Super-resolution image acquisition and particle tracking are crucial to guarantee a high quality data^[2][3][4]

2. Assembling Points Into a Trajectory Based on Tracking Algorithms

Once points are acquired, the next step is to reconstruct a trajectory. This step is done known tracking algorithms to connect the acquired points.^[5] Tracking algorithms are based on a physical model of trajectories perturbed by an additive random noise.

3. Extract Physical Parameters from Redundant SPTs

The redundancy of many short (SPTs) is a key feature to extract biophysical information parameters from empirical data at a molecular level.^[6] In contrast, long isolated trajectories have been used to extract information along trajectories, destroying the natural spatial heterogeneity associated to the various positions. The main statistical tool is to compute the mean-square displacement (MSD) or second order statistical moment:

${\displaystyle <|X(t+\mathrm{\Delta }t)-X(t){|}^2>\sim t^{\alpha }}$ ^[7][8] (average over realizations), where ${\displaystyle \alpha }$ is the called the anomalous exponent.

For a Brownian motion, ${\displaystyle <|X(t+\mathrm{\Delta }t)-X(t){|}^2>=2nDt}$, where D is the diffusion coefficient, n is dimension of the space. Some other properties can also be recovered from long trajectories, such as the radius of confinement for a confined motion.^[9] The MSD has been widely used in early applications of long but not necessarily redundant single particle trajectories in a biological context. However, the MSD applied to long trajectories suffers from several issues. First, it is not precise in part because the measured points could be correlated. Second, it cannot be used to compute any physical diffusion coefficient when trajectories consists of switching episodes for example alternating between free and confined diffusion. At low spatiotemporal resolution of the observed trajectories, the MSD behaves sublinearly with time, a process known as anomalous diffusion, which is due in part to the averaging of the different phases of the particle motion. In the context of cellular transport (ameoboid), high resolution motion analysis of long SPTs ^[10] in micro-fluidic chambers containing obstacles revealed different types of cell motions. Depending on the obstacle density: crawling was found at low density of obstacles and directed motion and random phases can even be differentiated.

4. Physical Model to Recover Spatial Properties from Redundant SPTs

4.1. Langevin and Smoluchowski Equations as a Model of Motion

Statistical methods to extract information from SPTs are based on stochastic models, such as the Langevin equation or its Smoluchowski's limit and associated models that account for additional localization point identification noise or memory kernel.^[11] The Langevin equation describes a stochastic particle driven by a Brownian force ${\displaystyle \mathrm{\Xi }}$ and a field of force (e.g., electrostatic, mechanical, etc...) with an expression ${\displaystyle F(x,t)}$:

${\displaystyle m\ddot{x}+\mathrm{\Gamma }\dot{x}-F(x,t)=\mathrm{\Xi },}$

where m is the mass of the particle and ${\displaystyle \mathrm{\Gamma }=6\pi a\rho }$is the friction coefficient of a diffusing particle, ${\displaystyle \rho }$ the viscosity. Here ${\displaystyle \mathrm{\Xi }}$ is the ${\displaystyle \delta }$-correlated Gaussian white noise . The force can derived from a potential well U so that ${\displaystyle F(x,t)=-U^{\prime }(x)}$ and in that case, the equation takes the form

${\displaystyle m\frac{d^{2}x}{d{t}^2}+\mathrm{\Gamma }\frac{dx}{dt}+\mathrm{\nabla }U(x)=\sqrt{2ϵ\gamma }\frac{d\eta }{dt},}$

where ${\displaystyle ϵ=k_{B}T,}$ is the energy and ${\displaystyle k_B}$ the Boltzmann's constant and T the temperature. Langevin's equation is used to describe trajectories where inertia or acceleration matters. For example, at very short timescales, when a molecule unbinds from a binding site or escapes from a potential well ^[12] and the inertia term allows the particles to move away from the attractor and thus prevents immediate rebinding that could plague numerical simulations.

In the large friction limit ${\displaystyle \gamma \to \mathrm{\infty }}$ the trajectories ${\displaystyle x(t)}$ of the Langevin equation converges in probability to those of the Smoluchowski's equation

${\displaystyle \gamma \dot{x}+U^{\prime }(x)=\sqrt{2ϵ\gamma }\dot{w},}$

where ${\displaystyle \dot{w}(t)}$ is ${\displaystyle \delta }$-correlated . This equation is obtained when the diffusion coefficient is constant in space. When this is not case, coarse grained equations (at a coarse spatial resolution) should be derived from molecular considerations. Interpretation of the physical forces are not resolved by Ito's vs Stratonovich integral representations or any others.

4.2. General Model Equations

For a timescale much longer than the elementary molecular collision, the position of a tracked particle is described by a more general overdamped limit of the Langevin stochastic model. Indeed, if the acquisition timescale of empirical recorded trajectories is much lower compared to the thermal fluctuations, rapid events are not resolved in the data. Thus at this coarser spatiotemporal scale, the motion description is replaced by an effective stochastic equation

${\displaystyle \dot{X}(t)=b(X(t))+\sqrt{2}{B}_e(X(t))\dot{w}(t),(1)}$

where ${\displaystyle b(X)}$ is the drift field and ${\displaystyle B_e}$the diffusion matrix. The effective diffusion tensor can vary in space ${\displaystyle D(X)=\frac{1}{2}B(X)B^T(X)}$(.^T denotes the transposition). This equation is not derived but assumed. However the diffusion coefficient should be smooth enough as any discontinuity in D should be resolved by a spatial scaling to analyse the source of discontinuity (usually inert obstacles or transitions between two medias). The observed effective diffusion tensor is not necessarily isotropic and can be state-dependent, whereas the friction coefficient ${\displaystyle \gamma }$ remains constant as long as the medium stays the same and the microscopic diffusion coefficient (or tensor) could remain isotropic.

5. Statistical Analysis of These Trajectories

The development of statistical methods are based on stochastic models, a possible deconvolution procedure applied to the trajectories. Numerical simulations could also be used to identify specific features that could be extracted from single particle trajectories data.^[13] The goal of building a statistical ensemble from SPTs data is to observe local physical properties of the particles, such as velocity, diffusion, confinement or attracting forces reflecting the interactions of the particles with their local nanometer environments. It is possible to use stochastic modeling to construct from diffusion coefficient (or tensor) the confinement or local density of obstacles reflecting the presence of biological objects of different sizes.

5.1. Empirical Estimators for the Drift and Diffusion Tensor of a Stochastic Process

Several empirical estimators have been proposed to recover the local diffusion coefficient, vector field and even organized patterns in the drift, such as potential wells.^[14] The construction of empirical estimators that serve to recover physical properties from parametric and non-parametric statistics. Retrieving statistical parameters of a diffusion process from one-dimensional time series statistics use the first moment estimator or Bayesian inference.

The models and the analysis assume that processes are stationary, so that the statistical properties of trajectories do not change over time. In practice, this assumption is satisfied when trajectories are acquired for less than a minute, where only few slow changes may occur on the surface of a neuron for example. Non stationary behavior are observed using a time-lapse analysis, with a delay of tens of minutes between successive acquisitions.

The coarse-grained model Eq. 1 is recovered from the conditional moments of the trajectory by computing the increments ${\displaystyle \mathrm{\Delta }X=X(t+\mathrm{\Delta }t)-X(t)}$:

${\displaystyle a(x)=\underset{\mathrm{\Delta }t\to 0}{lim}\frac{E[\mathrm{\Delta }X(t)|X(t)=x]}{\mathrm{\Delta }t}}$,

${\displaystyle D(x)=\underset{\mathrm{\Delta }t\to 0}{lim}\frac{E[\mathrm{\Delta }X(t{)}^T\mathrm{\Delta }X(t)|X(t)=x]}{2\mathrm{\Delta }t}.}$

Here the notation ${\displaystyle E[\cdot |X(t)=x]}$means averaging over all trajectories that are at point x at time t. The coefficients of the Smoluchowski equation can be statistically estimated at each point x from an infinitely large sample of its trajectories in the neighborhood of the point x at time t.

5.2. Empirical Estimation

In practice, the expectations for a and D are estimated by finite sample averages and${\displaystyle \mathrm{\Delta }t}$ is the time-resolution of the recorded trajectories. Formulas for a and D are approximated at the time step ${\displaystyle \mathrm{\Delta }t}$, where for tens to hundreds of points falling in any bin. This is usually enough for the estimation.

To estimate the local drift and diffusion coefficients, trajectories are first grouped within a small neighbourhood. The field of observation is partitioned into square bins ${\displaystyle S(x_k,r)}$of side r and centre ${\displaystyle x_k}$ and the local drift and diffusion are estimated for each of the square. Considering a sample with ${\displaystyle N_t}$ trajectories ${\displaystyle \{x^i(t_1),\dots ,x^i(t_{N_s})\},}$ where ${\displaystyle t_j}$ are the sampling times, the discretization of equation for the drift ${\displaystyle a(x_k)=(a_x(x_k),a_y(x_k))}$at position ${\displaystyle x_k}$ is given for each spatial projection on the x and y axis by

${\displaystyle a_x(x_k)\approx \frac{1}{N_k}\sum _{j=1}^{N_t}\sum _{i=0,{\tilde{x}}_i^j\in S(x_k,r)}^{N_s-1}\left(\frac{x_{i+1}^j-x_i^j}{\mathrm{\Delta }t}\right)}$

${\displaystyle a_y(x_k)\approx \frac{1}{N_k}\sum _{j=1}^{N_t}\sum _{i=0,{\tilde{x}}_i^j\in S(x_k,r)}^{N_s-1}\left(\frac{y_{i+1}^j-y_i^j}{\mathrm{\Delta }t}\right),}$

where ${\displaystyle N_k}$is the number of points of trajectory that fall in the square ${\displaystyle S(x_k,r)}$. Similarly, the components of the effective diffusion tensor ${\displaystyle D(x_k)}$are approximated by the empirical sums

${\displaystyle D_{xx}(x_k)\approx \frac{1}{N_k}\sum _{j=1}^{N_t}\sum _{i=0,x_i\in S(x_k,r)}^{N_s-1}\frac{(x_{i+1}^j-x_i^j{)}^2}{2\mathrm{\Delta }t},}$

${\displaystyle D_{yy}(x_k)\approx \frac{1}{N_k}\sum _{j=1}^{N_t}\sum _{i=0,x_i\in S(x_k,r)}^{N_s-1}\frac{(y_{i+1}^j-y_i^j{)}^2}{2\mathrm{\Delta }t}}$,

${\displaystyle D_{xy}(x_k)\approx \frac{1}{N_k}\sum _{j=1}^{N_t}\sum _{i=0,x_i\in S(x_k,r)}^{N_s-1}\frac{(x_{i+1}^j-x_i^j)(y_{i+1}^j-y_i^j)}{2\mathrm{\Delta }t}.}$

The moment estimation requires a large number of trajectories passing through each point, which agrees precisely with the massive data generated by the a certain types of super-resolution data such as those acquired by sptPALM technique on biological samples. The exact inversion of Lagenvin's equation demands in theory an infinite number of trajectories passing through any point x of interest. In practice, the recovery of the drift and diffusion tensor is obtained after a region is subdivided by a square grid of radius r or by moving sliding windows (of the order of 50 to 100 nm).