Power-law modeling based on least-squares minimization criteria

Biochemical Systems Theory: A Review

Biochemical systems theory (BST) is the foundation for a set of analytical andmodeling tools that facilitate the analysis of dynamic biological systems. This paper depicts major developments in BST up to the current state of the art in 2012. It discusses its rationale, describes the typical strategies and methods of designing, diagnosing, analyzing, and utilizing BST models, and reviews areas of application. The paper is intended as a guide for investigators entering the fascinating field of biological systems analysis and as a resource for practitioners and experts.

Steady-state global optimization of metabolic non-linear dynamic models through recasting into power-law canonical models

Background

Design of newly engineered microbial strains for biotechnological purposes would greatly benefit from the development of realistic mathematical models for the processes to be optimized. Such models can then be analyzed and, with the development and application of appropriate optimization techniques, one could identify the modifications that need to be made to the organism in order to achieve the desired biotechnological goal. As appropriate models to perform such an analysis are necessarily non-linear and typically non-convex, finding their global optimum is a challenging task. Canonical modeling techniques, such as Generalized Mass Action (GMA) models based on the power-law formalism, offer a possible solution to this problem because they have a mathematical structure that enables the development of specific algorithms for global optimization.

Results

Based on the GMA canonical representation, we have developed in previous works a highly efficient optimization algorithm and a set of related strategies for understanding the evolution of adaptive responses in cellular metabolism. Here, we explore the possibility of recasting kinetic non-linear models into an equivalent GMA model, so that global optimization on the recast GMA model can be performed. With this technique, optimization is greatly facilitated and the results are transposable to the original non-linear problem. This procedure is straightforward for a particular class of non-linear models known as Saturable and Cooperative (SC) models that extend the power-law formalism to deal with saturation and cooperativity.

Conclusions

Our results show that recasting non-linear kinetic models into GMA models is indeed an appropriate strategy that helps overcoming some of the numerical difficulties that arise during the global optimization task.

Metabolic Engineering with power-law and linear-logarithmic systems

Metabolic Engineering aims to improve the performance of biotechnological processes through rational manipulation rather than random mutagenesis of the organisms involved. Such a strategy can only succeed when a mathematical model of the target process is available. Simplifying assumptions are often needed to cope with the complexity of such models in an efficient way, and the choice of such assumptions often leads to models that fall within a certain structural template or formalism. The most popular formalisms can be grouped in two categories: power-law and linear-logarithmic. As optimization and analysis of a model strongly depends on its structure, most methods in Metabolic Engineering have been defined within a given formalism and never used in any other. In this work, the four most commonly used formalisms (two power-law and two linear-logarithmic) are placed in a common framework defined within Biochemical Systems Theory. This framework defines every model as matrix equations in terms of the same parameters, enabling the formulation of a common steady state analysis and providing means for translating models and methods from one formalism to another. Several Metabolic Engineering methods are analysed here and shown to be variants of a single equation. Particularly, two problem solving philosophies are compared: the application of the design equation and the solution of constrained optimization problems. Generalizing the design equation to all the formalisms shows it to be interchangeable with the direct solution of the rate law in matrix form. Furthermore, optimization approaches are concluded to be preferable since they speed the exploration of the feasible space, implement a better specification of the problem and exclude unrealistic results. Beyond consolidating existing knowledge and enabling comparison, the systematic approach adopted here can fill the gaps between the different methods and combine their strengths.

In silico pathway reconstruction: Iron-sulfur cluster biogenesis in Saccharomyces cerevisiae

Background

Current advances in genomics, proteomics and other areas of molecular biology make the identification and reconstruction of novel pathways an emerging area of great interest. One such class of pathways is involved in the biogenesis of Iron-Sulfur Clusters (ISC).

Results

Our goal is the development of a new approach based on the use and combination of mathematical, theoretical and computational methods to identify the topology of a target network. In this approach, mathematical models play a central role for the evaluation of the alternative network structures that arise from literature data-mining, phylogenetic profiling, structural methods, and human curation. As a test case, we reconstruct the topology of the reaction and regulatory network for the mitochondrial ISC biogenesis pathway in S. cerevisiae. Predictions regarding how proteins act in ISC biogenesis are validated by comparison with published experimental results. For example, the predicted role of Arh1 and Yah1 and some of the interactions we predict for Grx5 both matches experimental evidence. A putative role for frataxin in directly regulating mitochondrial iron import is discarded from our analysis, which agrees with also published experimental results. Additionally, we propose a number of experiments for testing other predictions and further improve the identification of the network structure.

Conclusion

We propose and apply an iterative in silico procedure for predictive reconstruction of the network topology of metabolic pathways. The procedure combines structural bioinformatics tools and mathematical modeling techniques that allow the reconstruction of biochemical networks. Using the Iron Sulfur cluster biogenesis in S. cerevisiae as a test case we indicate how this procedure can be used to analyze and validate the network model against experimental results. Critical evaluation of the obtained results through this procedure allows devising new wet lab experiments to confirm its predictions or provide alternative explanations for further improving the models.

Cooperativity and saturation in biochemical networks: A saturable formalism using Taylor series approximations

Cooperative and saturable systems are common in molecular biology. Nevertheless, common canonical formalisms for kinetic modeling that are theoretically well justified do not have a saturable form. Modeling and fitting data from saturable systems are widely done using Hill-like equations. In practice, there is no theoretical justification for the generalized use of these equations, other than their ability to fit experimental data. Thus it is important to find a canonical formalism that is (a) theoretically well supported, (b) has a saturable functional form, and (c) can be justifiably applicable to any biochemical network. Here we derive such a formalism using Taylor approximations in a special transformation space defined by power-inverses and logarithms of power-inverses. This formalism is generalized for processes with n-variables, leading to a useful mathematical representation for molecular biology: the Saturable and Cooperative Formalism (SC formalism). This formalism provides an appropriate representation that can be used for modeling processes with cooperativity and saturation. We also show that the Hill equation can be seen as a special case within this formalism. Parameter estimation for the SC formalism requires information that is also necessary to build Power-Law models, Metabolic Control Analysis descriptions or (log)linear and Lin-log models. In addition, the saturation fraction of the relevant processes at the operating point needs to be considered. The practical use of the SC formalism for modeling is illustrated with a few examples. Similar models are built using different formalisms and compared to emphasize advantages and limitations of the different approaches.

Toward large-scale modeling of the microbial cell for computer simulation

In the post-genomic era, the large-scale, systematic, and functional analysis of all cellular components using transcriptomics, proteomics, and metabolomics, together with bioinformatics for the analysis of the massive amount of data generated by these "omics" methods are the focus of intensive research activities. As a consequence of these developments, systems biology, whose goal is to comprehend the organism as a complex system arising from interactions between its multiple elements, becomes a more tangible objective. Mathematical modeling of microorganisms and subsequent computer simulations are effective tools for systems biology, which will lead to a better understanding of the microbial cell and will have immense ramifications for biological, medical, environmental sciences, and the pharmaceutical industry. In this review, we describe various types of mathematical models (structured, unstructured, static, dynamic, etc.), of microorganisms that have been in use for a while, and others that are emerging. Several biochemical/cellular simulation platforms to manipulate such models are summarized and the E-Cell system developed in our laboratory is introduced. Finally, our strategy for building a "whole cell metabolism model", including the experimental approach, is presented.

Simplified method for the computation of parameters of power-law rate equations from time-series

Modeling biological processes from time-series data is a resourceful procedure which has received much attention in the literature. For models established in the context of non-linear differential equations, parameter-dependent phenomenological tentative response functions are tested by comparing would-be solutions of those models to the experimental time-series. Those values of the parameters for which a tested solution is a best fit are then retained. It is done with the help of some appropriate optimization algorithm which simplifies the searching procedure within the range of variability of the parameters that are to be estimated. The procedure works well in problems with a small number of adjustable parameters or/and with narrow searching ranges. However, it may start to be problematic for models with a large number of problem parameters inasmuch as convergence to the best fit is not necessarily ensured. In this case, a reduction in size of the parameter estimation problem must be undertaken. We presently address this issue by proposing a systematic procedure that does so in problems in which the system's response to a sufficiently small pulse perturbation of steady-state can be obtained. The response is then assumed to be a solution of the linearized equations, the Jacobian of which can be retrieved by a simple multilinear regression. The calculated n(2) Jacobian entries provide as many relationships among problem parameters, thus cutting substantially the size of the starting problem. After this preliminary treatment is applied, only (kappa-n(2)) of the initial kappa adjustable parameters are left for evaluation by means of a non-linear optimization procedure. The benefits of the present variant are both in economy of computation and in accuracy in determining the parameter values. The performance of the method is established under different circumstances. It is illustrated in the context of power-law rates, although this does not preclude its applicability to more general functional responses.

Power-law modeling based on least-squares criteria: consequences for system analysis and simulation

The power-law formalism was initially derived as a Taylor series approximation in logarithmic space for kinetic rate-laws. The resulting models, either as generalized mass action (GMA) or as S-systems models, allow to characterize the target system and to simulate its dynamical behavior in response to external perturbations and parameter changes. This approach has been succesfully used as a modeling tool in many applications from cell metabolism to population dynamics. Without leaving the general formalism, we recently proposed to derive the power-law representation in an alternative way that uses least-squares (LS) minimization instead of the traditional derivation based on Taylor series [B. Hernández-Bermejo, V. Fairén, A. Sorribas, Math. Biosci. 161 (1999) 83-94]. It was shown that the resulting LS power-law mimics the target rate-law in a wider range of concentration values than the classical power-law, and that the prediction of the steady-state using the LS power-law is closer to the actual steady-state of the target system. However, many implications of this alternative approach remained to be established. We explore some of them in the present work. Firstly, we extend the definition of the LS power-law within a given operating interval in such a way that no preferred operating point is selected. Besides providing an alternative to the classical Taylor power-law, that can be considered a particular case when the operating interval is reduced to a single point, the LS power-law so defined is consistent with the results that can be obtained by fitting experimental data points. Secondly, we show that the LS approach leads to a system description, either as an S-system or a GMA model, in which the systemic properties (such as the steady-state prediction or the log-gains) appear averaged over the corresponding interval when compared with the properties that can be computed from Taylor-derived models in different operating points within the considered operating range. Finally, we also show that the LS description leads to a global, accurate description of the system when it is submitted to external forcing.