Guaranteed error bounds for structured complexity reduction of biochemical networks.

Biological systems are typically modelled by nonlinear differential equations. In an effort to produce high fidelity representations of the underlying phenomena, these models are usually of high dimension and involve multiple temporal and spatial scales. However, this complexity and associated stiffness makes numerical simulation difficult and mathematical analysis impossible. In order to understand the functionality of these systems, these models are usually approximated by lower dimensional descriptions. These can be analysed and simulated more easily, and the reduced description also simplifies the parameter space of the model. This model reduction inevitably introduces error: the accuracy of the conclusions one makes about the system, based on reduced models, depends heavily on the error introduced in the reduction process. In this paper we propose a method to calculate the error associated with a model reduction algorithm, using ideas from dynamical systems. We first define an error system, whose output is the error between observables of the original and reduced systems. We then use convex optimisation techniques in order to find approximations to the error as a function of the initial conditions. In particular, we use the Sum of Squares decomposition of polynomials in order to compute an upper bound on the worst-case error between the original and reduced systems. We give biological examples to illustrate the theory, which leads us to a discussion about how these techniques can be used to model-reduce large, structured models typical of systems biology.