Least-squares methods for identifying biochemical regulatory networks from noisy measurements

Background We consider the problem of identifying the dynamic interactions in biochemical networks from noisy experimental data. Typically, approaches for solving this problem make use of an estimation algorithm such as the well-known linear Least-Squares (LS) estimation technique. We demonstrate that when time-series measurements are corrupted by white noise and/or drift noise, more accurate and reliable identification of network interactions can be achieved by employing an estimation algorithm known as Constrained Total Least Squares (CTLS). The Total Least Squares (TLS) technique is a generalised least squares method to solve an overdetermined set of equations whose coefficients are noisy. The CTLS is a natural extension of TLS to the case where the noise components of the coefficients are correlated, as is usually the case with time-series measurements of concentrations and expression profiles in gene networks. Results The superior performance of the CTLS method in identifying network interactions is demonstrated on three examples: a genetic network containing four genes, a network describing p53 activity and mdm2 messenger RNA interactions, and a recently proposed kinetic model for interleukin (IL)-6 and (IL)-12b messenger RNA expression as a function of ATF3 and NF-κB promoter binding. For the first example, the CTLS significantly reduces the errors in the estimation of the Jacobian for the gene network. For the second, the CTLS reduces the errors from the measurements that are corrupted by white noise and the effect of neglected kinetics. For the third, it allows the correct identification, from noisy data, of the negative regulation of (IL)-6 and (IL)-12b by ATF3. Conclusion The significant improvements in performance demonstrated by the CTLS method under the wide range of conditions tested here, including different levels and types of measurement noise and different numbers of data points, suggests that its application will enable more accurate and reliable identification and modelling of biochemical networks.


Background
A key objective of Systems Biology research is to move from a qualitative to a quantitative understanding of cellular signalling and gene networks. Motivated by recent advances in high-throughput genomics and proteomics analysis, and the resulting explosive growth in the amount of data available for analysis, much effort is currently focused on developing reliable methods for inferring the structural and functional organisation of biochemical networks from data obtained by time-series measurementssee for example [1][2][3][4][5][6] and references therein.
Interactions between components of biological networks can conveniently be represented by weighted, directed graphs, where the nodes correspond to the biochemical components, and the edges, represented as arrows with weights attached, indicate the direct quantitative effect that a change in one component has on another component [1]. The weights are, in general, nonlinear functions that represent often largely unknown reaction kinetics, and it is therefore not usually practical to directly determine these weights from experimental data. This is particularly the case for gene networks whose structures are poorly understood in general, even qualitatively. In such cases, a useful approach is to consider the biochemical network behaviour about some steady-state, and assume that it behaves linearly for small deviations from this steady-state [2,3]. With this assumption, the network weights become constants, quantifying the reactions between the components in the neighbourhood of the steady-state. An interaction matrix, known as the Jacobian, is then obtained by grouping the constant weights into a matrix.
Several different approaches for determining the Jacobian of a network from time-series data have recently appeared in the literature [1][2][3][4][5][6]. A common feature of all these approaches is that the network is perturbed in some way, and then data are collected from time-series measurements of one or more components of the network. In [1], an approach was proposed which can handle very general types of system perturbations, such as gene knockouts and inhibitor additions. For these types of perturbations, the exact size, as well as the direct effect of the perturbations will be largely unknown, and therefore the method also allows the determination of the perturbation itself from the data. Another advantage of the approach of [1] is that the effect of unsteady-state initial conditions can be treated as an unknown perturbation and hence also estimated from the data. This removes the requirement for the system to be in a steady-state with known activities and concentrations when the perturbation is applied.
Another common feature of almost all the approaches for reverse engineering biomolecular networks so far pro-posed in the literature is that they employ some estimation algorithm to infer network structure from the measurement data. In [1], for example, the basis of the method for simultaneous estimation of the system states and parameter perturbations is a linear least-squares algorithm. A significant limitation of most such algorithms is that they do not take account of the noise that is inevitably present in the measurement data. Indeed, in the results presented in [1], it was observed that significant levels of noise in the measurement data could lead to quite large errors in the estimated Jacobian matrix.
In data from most biological experiments, the error associated with each measurement is substantial. The amount of measurement noise is often poorly defined but arises from 1) errors inherent in the measurement technique; 2) errors in the time a measurement is made (with absolute and drift components); and 3) biological variation in the behaviour of cells or organisms in the assay. Inaccuracy in measurements, leading to noise in the data available for analysis, can, in theory, be addressed by improvement of techniques and by replication. In practice, however, improving measurement quality or increasing replication is often not possible because it can involve slower sampling or result in the inclusion of more biological variation (e.g. through adding parallel cultures, or repeating experiments on different days). Therefore, it is critical to develop analytical approaches which allow robust identification of interactions in biochemical networks from data with a substantial, but poorly-defined, noise component. Such approaches are also valuable in reverse, i.e. in suggesting how experimental sampling strategies can be improved to provide optimal data in terms of both number and accuracy of data points.
Given the ubiquity of measurement noise in biological data, there is clearly a need for advanced estimation algorithms which can explicitly, and in some sense optimally, take such noise into account when producing estimates of the network interactions. In this paper, we consider two such extensions of the classical Least Squares (LS) algorithm, namely the Total Least Squares (TLS) [7,8], and the Constrained Total Least Squares (CTLS) [9,10] algorithm. The CTLS algorithm, in particular, is shown to be ideally suited to the problem of accurately and reliably identifying functional interactions between network components from noisy data. While both of these algorithms are now routinely used in advanced signal and image processing applications, we believe that this is the first time that their usefulness in Systems Biology has been highlighted.

Results and Discussion
In this section, the performance of the three algorithms described above is tested on an in silico four-gene network example, on a high fidelity in silico p53 and mdm2 inter-action model and on an example of interleukin (IL)-6 and IL-12b interactions with activating transcription factor 3 (ATF3) and Rel (a component of NF-κB) based on in vivo data.
All computations were performed on a 3.06 GHz Pentium IV machine with 1.00 GB of RAM using Windows XP Professional, MATLAB 7.2, and the MATLAB Optimisation Toolbox Version 3.0.4.

A Four-Gene Network Model
A four-gene network example is presented in the supplementary material of [2]. This network was used as a testbed to evaluate the performance of network identification approaches in both [1] and [2]. The differential equations for the gene network are given by where x i (t) is the concentration of mRNA i , for i = 1, 2, 3, 4, the first term and the second term on the right hand side of the equations represent the rate of transcription and the rate of degradation of each mRNA, respectively, and each maximal enzyme rate is given by = 5, =  Figure 2.
The three different least squares algorithms are tested for different numbers of data points per experiment, i.e., 3,6,9,12,21,30,60, and the quality of the Jacobian estimations was evaluated according to a number of different definitions of estimation error, which are discussed in the Methods section. The results generated from 1000 Monte-Carlo simulations are given in Table 1.
Note that the estimation errors of the TLS for the cases of very few data points, i.e. 6, 9, and 12 are larger than the errors from the standard least squares algorithm. This is because, as discussed later in the Methods section, the TLS algorithm requires a minimum number of data points to work properly. For the case of only 3 data points, all three algorithms provide the same result, since in this case the set of equations to be solved is not over-determined, i.e. there is a single unique solution. Excluding this case, the CTLS reduces the mean of the relative magnitude error for each element of the Jacobian, i.e. ε M , by an average of 27% compared with the standard least squares technique, over all the different cases considered. This improvement rises to 37% when the four cases with the fewest data points are removed. The variance of the error is reduced by an average of 25.6%, excluding the first three cases. For the sign estimation error, ε S , all three methods give a similar level of performance -the reason for this is easy to see, however, by considering the true Jacobian of the network: Clearly, the Jacobian contains no terms which are very close to zero and therefore the signs of the estimates for each term will be very similar for all three methods. The CTLS almost always gives the best performance in the root mean square sense. A common feature of the results presented in Table 1 is that the accuracy of the estimate improves with increasing numbers of data points. However, beyond a certain critical number of data points, there is no further improvement in the quality of the estimate     . .
using any algorithm. The fact that for certain error measures the estimate dis-improves slightly for a large number of data points is due to the biased nature of the least squares solution. It is well known that when A and b in Ax = b are statistically independent, the least square solution has no bias error. However, when they are not independent, which is the case here, the solution has a bias in general. Moreover, the level of bias is generally a nonlinear function of the number of measurements and hence the bias error may not decrease monotonically [11]. From Table 1, it is clear that using too few data points can generate huge errors in the inferred network. However, since the error does not decrease monotonically with larger number of data points, it may be better to increase the accuracy of the data while obtaining fewer data points rather than sacrificing accuracy to obtain many more data points. In this specific case, the optimal number of data points seems to be between 21 and 60. Finally, to evaluate the effect of drift noise, which is a common form of noise in biochemical measurements, each algorithm was again evaluated using Monte-Carlo simulations. In this case, the measurements are given by [12] for k = 1, 2, ..., L where v k is white noise and b k is the drift noise. The drift noise, which is also called Brownian motion or random walk, is modelled as follows: for k = 1, 2, ..., L -1 where b 1 equals to 0 and w k is white noise. The dimensions of b k and w k are n × 1 and the variance of the i-th element of w k is (x i eq γ) 2 for i = 1, 2, ..., n.
For this example, n is equal to 4. Monte-Carlo simulation results for various levels of drift noise are shown in Tables  2 and 3, for 12 and 21 data points per experiment, respectively. Again, for each case, and for all different levels of drift noise considered, the CTLS algorithm generally yields significant reductions in the Jacobian estimation error. By comparing Tables 2 and 3, it can be seen that the errors with 21 data points are smaller than the ones with 12 data points. However, if the number of data points is increased by too much, adverse effects will occur, as the bias error is stronger as time increases and hence the later data are effected more strongly by bias noise. Hence, in the presence of bias noise it is also important to try to choose the optimal number of data points so that the noise does not increase the estimation error too much.

p53 and mdm2 messenger RNA expression
The negative feedback interactions between the tumor suppressor p53 and the oncogene Mdm2 have been the subject of much attention in the recent Systems Biology literature. p53 protein activates mdm2 and the Mdm2 protein in turn negatively regulates p53, forming a negative feedback loop. The nature of the oscillations in p53 have been observed to vary significantly from cell to cell. The period and the amplitude variability seem to stem from low frequency noise in the protein production rate, [13]. A detailed mathematical model for the single-cell response of p53 to ionising radiation, which includes the levels of p53 and transcription of the mdm2 gene, the corresponding protein levels of mdm2 and the activation kinetics of the protein p53 and ataxia telangiectasia mutated (ATM), is presented in [14]. The model accurately replicates the experimentally observed phenomenon that the number, but not the frequency or amplitude, of p53 oscillations depends on the radiation dose. The full model includes not only deterministic but also some stochastic dynamics, which represent the stochastic behaviour of the number of double-strand break complexes. To formulate a realistic problem to demonstrate the performance of the constrained total least-squares algorithm, we considered the following scenario: First, the p53 activity and mdm2 gene expression levels, as shown in Figure 7A of [14], are the only measurements available. Second, we do not know the activity of ATM and other proteins including p53. Finally, the relation between these two genes is to be estimated by the Jacobian estimation algorithm. The kinetics for the two gene expression levels are given by x The four-gene network interactions Figure 1 The four-gene network interactions. The arrows indicate activating regulatory relationships and the bars indicate inhibiting regulatory relationships. Each messenger RNA is functionally inhibited and/or activated by the expression of other mRNA's. The expression rates are described by the Hill-type equations and given by (1).
[mRNA ] [mRNA ] [mRNA ] [mRNA ] where the transcription rate of p53 is invariant and leads to a constant mRNA steady state and p53*(t -τ 1 ) is the activated p53 protein level, which is phosphorylated by the phosphorylated ATM. The effect of the activated p53 on mdm2 is delayed by τ 1 . Since this protein activation part is unknown, the effect of p53 on mdm2 is hidden in the measurements and the estimated Jacobian will be effected accordingly. The unknown kinetics includes negative feedback interactions between p53 and Mdm2 proteins and the stochastic dynamics of double-strand break complexes -see [14] for more details. The true Jacobian is simply given by where the numbers are given in [14].
The perturbation level on p53 is negative 10%, the measurement sampling time is 2 hours and white noise is added to the measurement data. Note that the true states converge to a steady state after around 16 samples, i.e. 30 hours. The true and the measured values of the perturbed gene expression levels are shown in Figure 3. The estimation results are shown in Table 4. In most cases, the aver- . , The four-gene network measurements corrupted by white noise Figure 2 The four-gene network measurements corrupted by white noise. Measurements of 30 noisy data points for each mRNA concentration are shown. The solid line represents the true simulated value and the crosses denote the measurements corrupted by white noise. The measurements are taken starting at 72.01 h, 0.01 h after the perturbation is applied. age errors for all measures produced by the CTLS are the smallest. Similarly to the previous example, the error reduction stops after the number of data points reaches around 8. Hence, further reductions in the estimation error for this example would require the application of more accurate detection methodologies. Since there are some ignored kinetics, even with virtually no measurement error data the Jacobian still gives some connections between p53 and mdm2. Then, we may conclude that there are some additional kinetics, which have not been discovered yet, and this may motivate further experiments to elucidate these hidden regulatory mechanisms.

IL6 and IL12 messenger RNA expression
Proper regulation of the innate immune system is crucial for host survival, and is mediated, in part, by cytokines that are secreted by macrophages. In particular, break-down of immune system regulatory mechanisms can lead to inflammatory disease. Immune system control is extraordinarily complex, making it an obvious candidate for investigation using Systems Biology approaches. The biochemical network through which interleukin (IL)-6 and IL-12b interact with activating transcription factor 3 (ATF3) and Rel (a component of NF-κB) forms an important part of the innate immune system response [15]. A kinetic model for the expression of IL6 mRNA by ATF3 and Rel was recently proposed in [15] as follows: where τ = 600/ln (2)  The table shows the error comparisons in terms of the mean and the standard deviation (STD) for different numbers of data points for each method based on 1000 Monte-Carlo Simulations. ε M is the sum of two terms, i.e (l/N 1 ) Σ |α ij | and (l/N 2 ) Σ |β ij | where α ij and β ij are the relative magnitude errors in the non-zero and zero elements of the true Jacobian, respectively, and N 1 and N 2 are the number of non-zero and zero elements in the true Jacobian, respectively. ε S is given by (1/n 2 ) Σ |sign ( ij ) -sign (f ij )|, i.e. the average sign differences, where ij and f ij are the (i-th row, j-th column) elements of the estimated and the true Jacobian, respectively. ε F is the Frobenius norm of the difference between the estimated and the true Jacobian, i.e. || -F|| F .ff F hand side of the kinetic equation is a sigmoidal function that incorporates lower and upper bounds on Il6 expression, τ is given by T 1/2 /ln(2) and T 1/2 is a typical mRNA half-life in mammalian cells, and β Rel and β ATF3 represent the relative contributions of Rel and ATF3 in the levels of Il6 transcription, respectively. In [15], this kinetic model was developed to match the experimental data shown in Figure 4 using a least squares regression. Similarly, a kinetic model for IL12 is given by where τ = 600/ln(2), β Rel = 18.5, β ATF3 = -9.6, and [IL12] is the level of Il12 mRNA expression. Similar interpretations to those for Il6 can be applied to this equation. Unlike with the previous example, since this is a model based on real data from a partially understood biochemical network, the true Jacobian is unknown, and therefore the estimation error cannot be evaluated explicitly. However, using the proposed kinetic models we can obtain the following ratio: and therefore we can partially validate the Jacobian estimation from the data against the proposed model by checking the value of this ratio. The equivalent ratio for the case of IL12 is -1.93. Note that in the context of this example, the negative sign of this value is crucial since it corresponds to a negative feedback role for ATF3, which was the main finding presented in [15].
In [15], to obtain the data shown in Figure 4 wild type mice were stimulated (or perturbed) by 10 ng ml -1 lipopolysaccharide (LPS). The data was sampled at intervals of 10 minutes but the original data at 180 and 300 minutes were not given, hence, they are interpolated for our study to make all data equally spaced in time. Of course, the measurement data will definitely include some noise and the direct calculation of the Jacobian using the conventional least squares may therefore produce biased/ inaccurate results. Note that since the number of states is 3, the number of perturbations is 1, and the number of data points for each state is 7, there is relatively little data with which to accurately estimate the Jacobian for this particular example. However, using the various least squares algorithms, we tried to extract the maximum amount of information from the given set of experimental data. In addition, note that since the equilibrium point is  The table shows the error comparisons in terms of the mean and the standard deviation (STD) for different strengths of drift noise for each method based on 1000 Monte-Carlo simulations. The number of measurements per experiment is fixed at 12. All conditions are the same as in Table 1 with only the drift noise being added. ε M is the sum of two tems, i.e (1/N 1 ) Σ |α i j | and (1/N 2 ) Σ |β i j |, where β i j and β i j are the relative magnitude errors in the non-zero and zero elements of the true Jacobian, respectively, and N 1 and N 2 are the number of non-zero and zero elements in the true Jacobian, respectively. ε S is given by (1/n 2 ) Σ |sign ( i j ) -sign(f i j )|, i.e. the average sign differences, where i j and f i j are the (ith row, j-th column) elements of the estimated and the true Jacobian, respectively. ε F is the Frobenius norm of the difference between the estimated and the true Jacobian, i.e. || -F|| F .ff F not given, the measurements we have are not relative measurements Δ k but absolute measurements k . This presents no difficulty, however, since in the framework of [1], the problem formulation to estimate the Jacobian using k is exactly the same as the one for Δ k -see [1] for more details. For Il6 the key result for this example is that the standard least squares algorithm gives the wrong (positive) sign for the ratio defined above, whereas the more advanced algorithms give the correct sign. The correct ratio of Rel and ATF3 to Il6 is -1.59 and the estimated values computed with the LS, TLS, and CTLS algorithms are 1.43, -3.73, and -6.35, respectively. Thus, only by using the TLS or CTLS algorithms can the negative regulation effect of ATF3 proposed in [15] be confirmed from the noisy data presented in the paper. For Il12, the ratio calculated from each method, i.e., LS, TLS, and CTLS, is -4.53, -2.46, and -1.98, respectively. Therefore, in this case all three algorithms predict the negative regulation role of ATF3 correctly. However, the ratio computed from the CTLS, -1.98, is by far the closest to the true value (-1.93) predicted by the model. The improved parameterization achieved using the CTLS algorithm means that additional factors, in particular API and perhaps chromatin remodelling factors, can be added to the model with only limited and targeted new biological data.

Conclusion
We have considered the problem of identifying the dynamic interactions in biochemical networks from noisy data. Since time-series measurements of, for example, concentrations and expression profiles in gene networks, are almost guaranteed to be corrupted by significant levels of noise, algorithms are required which explicitly take this noise into account when computing estimates of quantitative interactions in biochemical networks. The TLS and CTLS algorithms are extensions of the widely used least squares approach which optimally deal with the presence of uncorrelated and correlated noise in the measurements, respectively. Since noise in time-series measurements from biological experiments are generally correlated, the CTLS approach is ideally suited to estimation problems of this type.  The table shows the error comparisons in terms of the mean and the standard deviation (STD) for different strengths of drift noise for each method based on 1000 Monte-Carlo simulations. The number of measurements per experiment is fixed at 21. All conditions are the same as the ones for Table 1 with only the drift noise being added. ε M is the sum of two tems, i.e (1/N 1 ) Σ |α i j | and (l/N 2 ) Σ |β i j |, where β i j and β i j are the relative magnitude errors in the non-zero and zero elements of the true Jacobian, respectively, and N 1 and N 2 are the number of non-zero and zero elements in the true Jacobian, respectively. ε S is given by (1/n 2 ) Σ |sign( i j ) -sign(f i j )|, i.e. the average sign differences, where i j and f i j are the (ith row, j-th column) element of the estimated and the true Jacobian, respectively. ε F is the Frobenius norm of the difference between the estimated and the true Jacobian, i.e. || -F|| F .ff F least-squares methods to estimate the Jacobian from the measurements of a high fidelity gene network with neglected kinetics. For the third, it has allowed the correct identification, from noisy data, of the negative regulation of (IL)-6 and (IL)-12b by ATF3. The ability to take into account errors from various noise sources when identifying biochemical networks is valuable in informing decisions about the optimal numbers of data measurements that are required. While the use of very few data points generates huge errors, the errors do not decrease monotonically with much larger numbers of points. Thus, the calculations presented in this paper provide a rational basis for the design of experiments, in particular regarding the required frequency and accuracy of sampling. This is a very important issue in practice, since for some experiments there will be a practical upper limit on the number of data points per experiment (e.g. some measurements may take a certain amount of time to make; or if a measurement uses 5% of a starting culture which changes properties if scaled by more than 2-fold, one can only ever obtain 10 measurements). Secondly, the number of data points is often a trade-off with accuracy of the measurements. Typically, one would schedule a single day to do an experiment and then the choice is often between making more, noisier measurements or fewer, more accurate ones (since it is usually impossible to make conditions on two different days exactly the same.) The excellent performance of the CTLS method compared to LS and TLS approaches (or the implicit assumption of perfect data) under the wide range of conditions tested here -including different levels of noise, different numbers of data points, and with drift -suggests that its application will enable better identification and modelling of The measurements of the perturbed p53 and mdm2 gene expression levels Figure 3 The measurements of the perturbed p53 and mdm2 gene expression levels. An example of the measurements for the perturbed p53 and mdm2 gene expression levels are shown. The data are generated from the model suggested in [14]. The true perturbed gene expression levels are shown in lines, and the corresponding measurements are the cross for p53 and the circle for mdm2, respectively. biochemical networks. In the future, explicit analysis with the CTLS method is likely to increase the number of parameters that can be included in a model, even where there is limited knowledge of the noise levels and their source.

Problem Formulation
In general, the dynamics of many biochemical networks can be modelled as a nonlinear differential equation [1] (t) = f (x(t)) (10) where (t) is the time derivative of x(t), i.e. dx (t)/dt, and x(t) is an element of ‫ޒ‬ n where ‫ޒ‬ n is the real n-dimensional space. Note that the symbol x is used for two purposes in this paper, one for the unknown in the linear equation Ax = b and the other for the state of an ordinary differential equation. To distinguish between them, the state vector of the ordinary differential equation will always be written as x(t), i.e. as a function of time. In the above differential equation, f (·) is a nonlinear function, which satisfies the conditions for the existence and uniqueness of the solution of the ordinary differential equation. In biochemical networks f (·) is often also a function of some experimen-tally adjustable parameters such as kinetic rate constants or gene transcription rates [1]. If the above system is perturbed at an equilibrium point, x 0 , that satisfies f (x 0 ) = 0, then the state around the equilibrium point is also perturbed by Δx, and satisfies the following linear ordinary differential equation: (11) In the following, u(t) is assumed to be a constant, however, all results also hold in the case of a time-varying u (t) [1]. From the above equation, it is clear that the matrix F reveals the relations between each state in x (t) around the equilibrium point. The main purpose of this paper is to provide a more efficient and reliable method for estimating the matrix F, known as the Jacobian of f (x(t)) at x (t) = x 0 , when the measurement data are effected by noise. Since the measurement data are recorded at discrete time intervals, we reformulate the continuous time system as a discrete time system given by (12) where Δx k + 1 and Δx k are the sampled versions of the corresponding states in the continuous system and Φ is an n x x x The table shows the error comparisons in terms of the mean and the standard deviation (STD) for different number of data for each method based on 1000 Monte-Carlo Simulations. The measurements are taken every 2 hours and the states converge to steady states around the 16-th sample.
ε M is the sum of two tems, i.e (1/N 1 ) Σ |α i j | and (1/N 2 ) Σ |β i j |, where α i j and β i j are the relative magnitude errors in the non-zero and zero elements of the true Jacobian, respectively, and N 1 and N 2 are the number of non-zero and zero elements in the true Jacobian, respectively. ε S is given by (1/ n 2 ) Σ |sign ( i j ) -sign (f i j )|, i.e. the average sign differences, where i j and f i j are the (i-th row, j-th column) elements of the estimated and the true Jacobian, respectively. ε F is the Frobenius norm of the difference between the estimated and the true Jacobian, i.e. || -F|| F . ffF × n matrix in ‫ޒ‬ n × n . Whenever Φ is determined, the original F can be recovered using the following relation [1]: where ΔT is the sampling time and log(Φ) is the solution of e X = Φ. Note, however, that when Φ is very poorly estimated, it could happen that log(Φ) becomes a complex matrix. To avoid this biologically meaningless result, the following approximation can be used [5]: where I n is the n × n identity matrix. Even with this approximation, however, there could exist numerically ill-conditioned problems if Φ + I n is close to singular and thereby not invertible. In such situations the following Euler approximation can be used instead [1]: although in this case the Jacobian F will be very sensitive to the magnitude of ΔT. Clearly, however, if the transformations using (13) and (14) fail then Φ is not a very good estimate and, hence, the resulting F from (15) cannot be expected to be close to the true Jacobian.
The measurements of the prominent network in the innate immune system Figure 4 The measurements of the prominent network in the innate immune system. The measurements of Rel, ATF3, I16, and I112 are taken from [15]. The actual data in [15] are measured at 0, 60, 120, 240, 360 minutes. To make the measurements equally spaced in time, the data at 180 and 300 minutes are interpolated. Rel ATF3

IL6 IL12
Let us consider L noisy measurements of Δx k . Then we have Δ k = Δx k + v k for k = 1, 2, ..., L (16) where v k is a zero-mean white noise vector in ‫ޒ‬ n . That is, Assuming that the number of measurements, L, is greater than n + 2, from the relations given in (12) and (16) we have for k = 1, 2, ..., L. However, since the true values of Δx k are not known, the left hand side of (17) must be replaced by the corresponding measured values:

Estimating the Jacobian in the Presence of Noise
Consider first the simple scalar version of the least squares problem in the absence of measurement noise, given by a* x = b*. In this case it is easy to see that the exact solution is given by x* = b*/a* for a* ≠ 0. Now, let the measurements of a* and b* be corrupted by noise as follows: a = a* + v 1 and b = b* + v 2 where a* and b* are the true values, v 1 and v 2 are the unknown measurement noise, and a and b are the (known) measurements of a* and b*. In this case, the standard least squares solution for just one set of measurements is Using the binomial theorem, the denominator of the above expression can be expanded as follows: Then, the least squares solution becomes Now, if both v 1 and v 2 are independent zero-mean white gaussian noises, this implies that E(v 1 ) = 0, E(v 2 ) = 0, .  solution gives the true solution in the average sense. However, when a* is corrupted by noise, the solution is not optimal but biased proportional to the variance of the noise. To correct this situation, the problem is now set up with so-called correction terms as follows: The For a higher number of measurements, i.e. Ax = b, the solution from the TLS is given by where λ is the smallest singular value of [A b] and the derivation can be found in the additional file (See Additional File 1) or [7]. On the other hand, the conventional least squares solution is given as follows: and thus it essentially has the same error as shown in (27). The TLS technique tries to find the correction terms for A such that the bias error, which stems from the inaccuracy in A, is reduced. Hence, the quality of x TLS depends on how close the estimated λ is to the true correction term. The TLS solution is always guaranteed to be as good or better than the least squares solution in the root mean square sense, if the number of measurements is sufficient to allow the algorithm to compute a reasonable approximation of the true correction term. If the number of measure-ments is too small, however, the TLS solution may not be better than the conventional least squares solution.
One of the main assumptions behind the TLS technique is that the two noise terms v 1 and v 2 are independent. However, if they are not independent but related to each other in some way, this knowledge about the structure of the problem should be used in estimating the solution. For example, if v 1 = v 2 , the least squares solution is approximated by The optimal solution for this case is the Constrained Total Least Squares (CTLS) technique. If it is known that v 1 = v 2 then Δa must be equal to Δb. Hence, instead of minimising the Frobenius norm of ||Δa Δb|| F , a more appropriate cost for this problem would be Δa 2 instead of Δa 2 + Δb 2 .
The CTLS algorithm exploits the knowledge that the true correction terms must be of the form Δa = -v 1 and Δb = -v 1 .
As a result, the CTLS technique searches for the correction term, which is a minimum in the 2-norm sense, i.e. , and simultaneously satisfies the constraint (28) where . Other than different cost functions for each method, the main difference between the TLS and the CTLS is the dimension of the correction term search space. For one set of measurements, for example, the TLS searches for the correction terms Δa and Δb in a two dimensional space, while the CTLS, on the other hand, searches for the single correction term Δa or Δb in the minimal (one dimensional) space. The CTLS formulation can finally be reduced to the following minimisation problem: where C is constructed from the measurements and H x is given in a special form which is a function of the structure of the correction terms and also of x -the details can be found in the additional file (See Additional File 1) or in [10]. The minimisation problem solved by the CTLS algorithm is nonlinear since H x is a function of x and in general will not be convex -therefore the quality of the resulting solution will depend on the initial guess for x. Of course the simplest way to obtain a good initial guess is to use the solution provided by the LS algorithm. If this solution is not too far away from the true solution, then the minimisation problem can be efficiently solved by some local minimisation algorithm such as Newton's method, Sequential Quadratic Programming, etc [16]. However, in some cases it may happen that the LS solution does not provide a good initial guess and, as a result, the minimisation algorithm may produce very large values for Δa and Δb. In general, large magnitudes of the correction terms correspond to incorrect solutions because if Δa and Δb are large compared to the magnitude of a and b, then Δa and Δb become dominant and the solution could be any number. For example, if a* and b* are equal to 1 and the measurements, i.e. a and b, are 1.1 and 0.9, respectively, the correct correction terms are -0.1 and 0.1. However, if the correction terms are given as 1 × 10 10 and -1 × 10 100 , then the solution is approximately -1 × 10 90 , which is too far from the true solution, 1. Hence, whenever the final solution produced by the CTLS algorithm is drastically different from the initial guess in terms of the magnitude, it is advisable to impose some bounds on the magnitude of the correction terms. To do this, the above unconstrained minimisation problem may be solved with the following constraint on x: where h is a small positive constant. Numerically, constrained optimisation problems are much harder to solve than unconstrained optimisation problems, and hence, the original unconstrained problem should generally be solved first, with the above constraints only being imposed if they are necessary to compute a reasonable solution.
Finally, we note that there are many cases of biochemical experimental data where the matrix inversions required in (31) and (33) are not possible, i.e., they are singular or very close to singular. This is usually a result of a too large sampling time which results in the A matrix not having full-rank. One way to fix this situation is by removing the dependent parts of A by using a singular value decomposition. After eliminating the dependent parts, the matrix inversions in (31) and (33) are feasible and the problems are again well-defined. More details can be found in [1]. Full details of the mathematics involved in the solutions of the TLS and CTLS problems are given in the additional files (See Additional File 1), together with complete MAT-LAB programmes for the solution of each algorithm (See Additional File 2).

Evaluating the Jacobian Estimation Error
The main reason for estimating the Jacobian is to gain a quantitative understanding of the local structure of the biochemical network. Hence, correct estimation of each element of the matrix is important, since each element provides a measure of the (local) functional interaction between two nodes in the network. From this point of view, the estimation error, ε M , can be naturally defined as follows: where N 1 is the number of non-zero elements in the true F, N 2 is the number of zero elements in the true F, F is given by where ij and f ij are the i-th row, j-th column element of and F, respectively, and is the estimated matrix whose form is the same as F. The above definition is a slight modification of the one proposed in [1] where β ij = 0 for all i = 1, 2, ..., n -1, n was made and j = 1, 2, ..., n -1, n (i.e. it effectively ignores errors in the estimation of the zero elements of the Jacobian).
In [5], two alternative measures of the error in the Jacobian estimation, r z and r nz , are defined. These measures quantify the error in the zero elements and non-zero elements of the estimated matrix, respectively. To do this, the elements of the estimated Jacobian are sorted according to their absolute values. For a given positive integer n h , the smallest n h elements of the estimated Jacobian are then set to zero. r z is then defined as the ratio of the number of zero elements in the estimated Jacobian to the number of zero elements in the true Jacobian. r nz is defined as the ratio of the number of non-zero elements in the estimated Jacobian whose signs are the same as the ones in the true Jacobian, to the number of non-zero elements in the true Jacobian. In this paper, we consider a slightly more compact version of this measure and define an error measure ε S as follows: where sign(a) is a function that has the sign of a as its value, i.e., -1, 0, 1, for a < 0, a = 0, and a > 0, respectively. This error measure arises naturally in the context of the TLS problem since this approach exactly minimises the Frobenius norm of the correction terms arising from the noise in the data, ΔA and Δb.