Tau-leaping

In probability theory, tau-leaping, or τ-leaping, is an approximate method for the simulation of a stochastic system. It is based on the Gillespie algorithm, performing all reactions for an interval of length tau before updating the propensity functions. By updating the rates less often this sometimes allows for more efficient simulation and thus the consideration of larger systems.

Many variants of the basic algorithm have been considered.

Algorithm

The algorithm is analogous to the Euler method for deterministic systems, but instead of making a fixed change

$x(t+\tau)=x(t)+\tau x'(t)$

the change is

$x(t+\tau)=x(t)+P(\tau x'(t))$

where $P(\tau x'(t))$ is a Poisson distributed random variable with mean $\tau x'(t)$.

Given a state $\mathbf{x}(t)=\{X_i(t)\}$ with events $E_j$ occurring at rate $R_j(\mathbf{x}(t))$ and with state change vectors $\mathbf{v}_j$ (where $i$ indexes the state variables, and $j$ indexes the events), the method is as follows:

1. Initialise the model with initial conditions $\mathbf{x}(t_0)=\{X_i(t_0)\}$.
2. Calculate the event rates $R_j(\mathbf{x}(t))$.
3. Choose a time step $\tau$. This may be fixed, or by some algorithm dependent on the various event rates.
4. For each event $E_j$ generate Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): K_j \sim \text{Poisson}(R_j\tau)

, which is the number of times each event occurs during the time interval $[t,t+\tau)$.

1. Update the state by

   $\mathbf{x}(t+\tau)=\mathbf{x}(t)+\sum_j K_jv_{ij}$

   where $v_{ij}$ is the change on state variable $X_i$ due to event $E_j$. At this point it may be necessary to check that no populations have reached unrealistic values (such as a population becoming negative due to the unbounded nature of the Poisson variable $K_j$).

2. Repeat from Step 2 until some desired condition is met (e.g. a particular state variable reaches 0, or time $t_1$ is reached).

Algorithm for efficient step size selection

This algorithm is described by Cao et al. The idea is to bound the relative change in each event rate $R_j$ by a specified tolerance $\epsilon$ (Cao et al. recommend $\epsilon=0.03$, although it may depend on model specifics). This is achieved by bounding the relative change in each state variable $X_i$ by $\epsilon/g_i$, where $g_i$ depends on the rate that changes the most for a given change in $X_i$.Typically $g_i$ is equal the highest order event rate, but this may be more complex in different situations (especially epidemiological models with non-linear event rates).

This algorithm typically requires computing $2N$ auxiliary values (where $N$ is the number of state variables $X_i$), and should only require reusing previously calculated values $R_j(\mathbf{x})$. An important factor in this since $X_i$ is an integer value, then there is a minimum value by which it can change, preventing the relative change in $R_j$ being bounded by 0, which would result in $\tau$ also tending to 0.

1. For each state variable $X_i$, calculate the auxiliary values

   $\mu_i(\mathbf{x}) = \sum_j v_{ij} R_j(\mathbf{x})$

   $\sigma_i^2(\mathbf{x}) = \sum_j v_{ij}^2 R_j(\mathbf{x})$

2. For each state variable $X_i$, determine the highest order event in which it is involved, and obtain $g_i$
3. Calculate time step $\tau$ as

   $\tau = \min_i {\left\{ \frac{\max{\{\epsilon X_i / g_i, 1\}}}{|\mu_i(\mathbf{x})|}, \frac{\max{\{\epsilon X_i / g_i, 1\}}^2}{\sigma_i^2(\mathbf{x})} \right\}}$

This computed $\tau$ is then used in Step 3 of the $\tau$ leaping algorithm.