- Research
- Open Access

# Tracking of time-varying genomic regulatory networks with a LASSO-Kalman smoother

- Jehandad Khan
^{1}, - Nidhal Bouaynaya
^{1}Email author and - Hassan M Fathallah-Shaykh
^{2, 3, 4, 5, 6}

**2014**:3

https://doi.org/10.1186/1687-4153-2014-3

© Khan et al.; licensee Springer. 2014

**Received:**20 June 2013**Accepted:**25 November 2013**Published:**12 February 2014

## Abstract

It is widely accepted that cellular requirements and environmental conditions dictate the architecture of genetic regulatory networks. Nonetheless, the status quo in regulatory network modeling and analysis assumes an invariant network topology over time. In this paper, we refocus on a dynamic perspective of genetic networks, one that can uncover substantial topological changes in network structure during biological processes such as developmental growth. We propose a novel outlook on the inference of time-varying genetic networks, from a limited number of noisy observations, by formulating the network estimation as a target tracking problem. We overcome the limited number of observations (small *n* large *p* problem) by performing tracking in a compressed domain. Assuming linear dynamics, we derive the LASSO-Kalman smoother, which recursively computes the minimum mean-square sparse estimate of the network connectivity at each time point. The LASSO operator, motivated by the sparsity of the genetic regulatory networks, allows simultaneous signal recovery and compression, thereby reducing the amount of required observations. The smoothing improves the estimation by incorporating all observations. We track the time-varying networks during the life cycle of the *Drosophila melanogaster*. The recovered networks show that few genes are permanent, whereas most are transient, acting only during specific developmental phases of the organism.

## Keywords

- Kalman Filter
- Cluster Coefficient
- Compress Sense
- Network Inference
- Genetic Regulatory Network

## 1 Introduction

### 1.1 Motivation

A major challenge in systems biology today is to understand the behaviors of living cells from the dynamics of complex genomic regulatory networks. It is no more possible to understand the cellular function from an informational point of view without unraveling the underlying regulatory networks than to understand protein binding without knowing the protein synthesis process. The advances in experimental technology have sparked the development of genomic network inference methods, also called *reverse engineering* of genomic networks. Most popular methods include (probabilistic) Boolean networks [1, 2], (dynamic) Bayesian networks [3–5], information theoretic approaches [6–9], and differential equation models [10–12]. A comparative study is compiled in [13]. The Dialogue on Reverse Engineering Assessment and Methods (DREAM) project, which built a blind framework for performance assessment of methods for gene network inference, showed that there is no single inference method that performs optimally across all data sets. In contrast, integration of predictions from multiple inference methods shows robust and high performance across diverse data sets [14].

These methods, however, estimate one single network from the available data, independently of the cellular ‘themes’ or environmental conditions under which the measurements were collected. In signal processing, it is senseless to find the Fourier spectrum of a non-stationary time series [15]. Similarly, time-dependent genetic data from dynamic biological processes such as cancer progression, therapeutic responses, and developmental processes cannot be used to describe a unique time-invariant or static network [16, 17]. Inter- and intracellular spatial cues affect the course of events in these processes by rewiring the connectivity between the molecules to respond to specific cellular requirements, e.g., going through the successive morphological stages during development. Inferring a unique static network from a time-dependent dynamic biological process results in an ‘average’ network that cannot reveal the regime-specific and key transient interactions that cause cell biological changes to occur. For a long time, it has been clear that the evolution of the cell function occurs by change in the genomic program of the cell, and it is now clear that we need to consider this in terms of change in regulatory networks [16, 17].

### 1.2 Related work

While there is a rich literature on modeling static or time-invariant networks, much less has been done towards inference and learning techniques for recovering topologically rewiring networks. In 2004, Luscombe et al. made the earliest attempt to unravel topological changes in genetic networks during a temporal cellular process or in response to diverse stimuli [17]. They showed that under different cellular conditions, transcription factors, in a genomic regulatory network of *Saccharomyces cerevisiae*, alter their interactions to varying degrees, thereby rewiring the network. Their method, however, is still based on a static representation of known regulatory interactions. To get a dynamic perspective, they integrated gene expression data for five conditions: cell cycle, sporulation, diauxic shift, DAN damage, and stress response. From these data, they traced paths in the regulatory network that are active in each condition using a trace-back algorithm [17].

The main challenge facing the community in the inference of time-varying genomic networks is the unavailability of multiple measurements of the networks or multiple observations at every instant *t*. Usually, one or at most a few observations are available at each instant. This leads to the ‘large *p* small *n*’ problem, where the number of unknowns is smaller than the number of available observations. The problem may seem ill defined because no unique solution exists. However, we will show that this hurdle can be circumvented by using prior information.

One way to ameliorate this data scarcity problem is to presegment the time series into stationary epochs and infer a static network for each epoch separately [18, 18–23]. The segmentation of the time series into stationary pieces can be achieved using several methods including estimation of the posterior distribution of the change points [19], HMMs [20], clustering [18], detecting geometric structures transformed from time series [21], and MCMC sampling algorithm to learn the times of non-stationarities (transition times) [22, 23]. The main problem with the segmentation approach for estimating time-varying gene networks is the limited number of time points available in each stationary segment, which is a subset of the already limited data. Since the time-invariant networks are inferred in each segment using only the data points within that segment and disregarding the rest of the data, the resulting networks are limited in terms of their temporal resolution and statistical power.

A semi-flexible model based on a piecewise homogeneous dynamic Bayesian network, where the network structure in each segment shares information with adjacent segments, was proposed in [24]. This setting allows the network to vary gradually through segments. However, some information is lost by not considering the entire data samples for the piecewise inference. A more flexible model of time-varying Bayesian networks based on a non-parametric Bayesian method for regression was recently proposed in [25]. The non-parametric regression is expected to enable capturing of non-linear dynamics among genes [24]. However, a full-scale study of a time-varying system was lacking; the approach was only tested on an 11-gene *Drosophila melanogaster* network.

Full resolution techniques, which allow a time-specific network topology to be inferred from samples measured over the entire time series, rely on model-based approaches [26, 27]. However, these methods learn the structure (or skeleton) of the network, but not the detailed strength of the interactions between the nodes. Dynamic Bayesian networks (DBNs) have been extended to the time-varying case [28–31]. Among the earliest models is the time-varying autoregressive (TVAR) model [29], which describes nonstationary linear dynamic systems with continuously changing linear coefficients. The regression parameters are estimated recursively using a normalized least-squares algorithm. In time-varying DBNs (TVDBN), the time-varying structure and parameters of the networks are treated as additional hidden nodes in the graph model [28].

In summary, the current state-of-the-art in time-varying network inference relies on either chopping the time-series sequence into homogeneous subsequences [18–23, 32–35] (concatenation of static networks) or extending graphical models to the time-varying case [28–31] (time modulation of static networks).

### 1.3 Proposed work and contributions

In this paper, we propose a novel formulation of the inference of time-varying genomic regulatory networks as a tracking problem, where the target is a set of incoming edges for a given gene. We show that the tracking can be performed in parallel: there are *p* independent trackers, one for each gene in the network, thus avoiding the curse of dimensionality problem and reducing the computation time. Assuming linear dynamics, we use a constrained and smoothed Kalman filter to track the network connections over time. At each time instant, the connections are characterized by their strength and sign, i.e., stimulative or inhibitive. The sparsity constraint allows simultaneous signal recovery and compression, thereby reducing the amount of required observations. The smoothing improves the estimation by incorporating all observations for each smoothed estimate. The paper is organized as follows: In Section 2, we formulate the network inference problem in a state-space framework, where the target state, at each time point, is the network connectivity vector. Assuming linear dynamics of gene expressions, we further show that the model can be decomposed into *p* independent linear models, *p* being the number of genes. Section 3 derives the LASSO-Kalman smoother, which renders the optimal network connectivity at each time point. The performance of the algorithm is assessed using synthetic data in Section 4. The LASSO-Kalman smoother is subsequently used to recover the time-varying networks of the *D. melanogaster* during the time course of its development spanning the embryonic, larval, pupal, and adulthood periods.

## 2 The state-space model

_{ k }represents the gene expression values at a particular time

*k*, and the microarray data y

_{ k }constitutes the set of noisy observations [36, 37]. A naive approach to tackle the time-varying inference problem is to generalize this representation of time-invariant networks and augment the gene profile state vector by the network parameters at all time instants. This approach, however, will result in a very poor estimate due to the large number of unknown parameters. Instead, we propose to re-formulate the state-space model as a function of the time-varying connections or parameters rather than the gene expression values. In order to do so, we need to model the time evolution of the parameters using, for instance, prior knowledge about the biological process. Denoting by a

_{ k }the network parameters to be estimated, the state-space model of the time-varying network parameters can be written as

The function *f*_{
k
} models the dynamical evolution of the network parameters, e.g., smooth evolution or abrupt changes across time. The observation function *g*_{
k
} characterizes the regulatory relationships among the genes and can be, for instance, derived from a differential equation model of gene expression (see Equation 8). In particular, observe that the state-space model in (1) to (2) does not incorporate the ‘true’ gene expression values, which have to be estimated and subsequently discarded. It only includes the measured gene expression values with an appropriate measurement noise term.

### 2.1 The observation model

where *i*=1,⋯,*p*, *p* being the number of genes, *x*_{
i
}(*t*) is the expression level of gene *i* at time *t*, ${\stackrel{\u0307}{x}}_{i}\left(t\right)$ is the rate of change of expression of gene *i* at time *t*, *λ*_{
i
} is the self degradation rate, *w*_{
ij
}(*t*) represents the time-varying influence of gene *j* on gene *i*, *b*_{
i
} is the effect of the external perturbation *u*(*t*) on gene *i*, and *v*_{
i
}(*t*) models the measurement and biological noise. The goal is to infer the time-varying gene interactions ${\lambda}_{i}\left(t\right),{\left\{{w}_{\mathit{\text{ij}}}\right(t\left)\right\}}_{i,j=1}^{p}$, given a limited number of measurements *n*<*p*.

*λ*

_{ i }(

*t*) into the interaction parameters by letting

*a*

_{ ij }(

*t*)=

*w*

_{ ij }(

*t*)-

*λ*

_{ i }(

*t*)

*δ*

_{ ij }, where

*δ*

_{ ij }is the Kronecker delta function. The external perturbation is assumed to be known. The model in (3) can be simplified by introducing a new variable

where **y**(*k*)= [*y*_{1}(*k*),…,*y*_{
p
}(*k*)]^{
T
}, *A*(*k*)={*a*_{
ij
}(*k*)} is the matrix of time-dependent interactions, **x**(*k*)=[*x*_{1}(*k*),…*x*_{
p
}(*k*)]^{
T
}, and **v**(*k*)=[*v*_{1}(*k*),…,*v*_{
p
}(*k*)]^{
T
}.

*m*

_{ k }<

*p*be the number of available observations at time

*k*. Taking into account all

*m*

_{ k }observations, Equation 6 becomes

where Y(*k*),X(*k*), and $\mathit{V}\left(k\right)\in {\mathbb{R}}^{p\times {m}_{k}}$ with the *m*_{
k
} observations ordered in the columns of the corresponding matrices.

*p*independent linear models as follows:

where ${\mathit{y}}_{i}^{t}\left(k\right),{\mathit{a}}_{i}^{t}\left(k\right)$, and ${\mathit{v}}_{i}^{t}\left(k\right)$ are the *i* th rows of Y(*k*),A(*k*), and V(*k*), respectively. In particular, the vector a_{
i
}(*k*) represents the set of incoming edges to gene *i* at time *k*. Equation 8 represents the observation equation for gene *i*.

### 2.2 The linear state-space model

_{ i }(

*k*) given

*a priori*knowledge of the system. In this work, we assume a random walk model of the network parameters. The random walk model is chosen for two reasons. First, it reflects a flat prior or a lack of

*a priori*knowledge. Second, it leads to a smooth evolution of the state vector over time (if the variance of the random walk is not very high). The state space model of the incoming edges for gene

*i*is, therefore, given by

*i*=1,⋯,

*p*, and w

_{ i }(

*k*) and v

_{ i }(

*k*) are, respectively, the process noise and the observation noise, assumed to be zero mean Gaussian noise processes with known covariance matrices,

*Q*(

*k*) and

*R*(

*k*), respectively. In addition, the process and observation noises are assumed to be uncorrelated with each other and with the state vector a

_{ i }(

*k*). In particular, we have

*p*independent state-space models of the form (9) for

*i*=1,⋯,

*p*. Thus, the connectivity matrix

*A*can be recovered by simultaneous recovery of its rows. Another important advantage of the representation in (9) is that the state vector a

_{ i }(

*k*) has dimension

*p*(the number of genes in the network) rather than

*p*

^{2}(the number of possible connections in the network), thus avoiding the curse of dimensionality problem. For instance, in a network of 100 genes, the state vector will have dimension 100 instead of 10,000!. Though the number of genes

*p*can be large, we show in simulations that the performance of the Kalman tracker is unchanged for

*p*as large as 5,000 genes by using efficient matrix decompositions to find the numerical inverse of matrices of size

*p*. A graphical representation of the parallel architecture of the tracker is shown in Figure 1.

It is well known that the minimum mean square estimator, which minimizes $E[\parallel \mathit{a}(k)-\widehat{\mathit{a}}(k\left){\parallel}_{2}^{2}\right]$, can be obtained using the Kalman filter if the system is observable. If the system is unobservable, then the classical Kalman filter cannot recover the optimal estimate. In particular, it seems hopeless to recover ${\mathit{a}}_{i}\left(k\right)\in {\mathbb{R}}^{p}$ in (9) from an under-determined system where *m*_{
k
}<*p*. Fortunately, this problem can be circumvented by taking into account the fact that a_{
i
}(*k*) is sparse. Genomic regulatory networks are known to be sparse: each gene is governed by only a small number of the genes in the network [11].

## 3 The LASSO-Kalman smoother

### 3.1 Sparse signal recovery

*ϵ*and where the

*l*

_{0}-norm, ∥z∥

_{0}, denotes the support of z or the number of non-zero elements in z. The optimization problem in (10) can be extended to the stochastic case as follows:

This is a fundamental result in the emerging theory of *compressed sensing*(CS) [38, 39]. CS reconstructs large dimensional signals from a small number of measurements, as long as the original signal is sparse or admits a sparse representation in a certain basis. Compressed sensing has been implemented in many applications including digital tomography [38], wireless communication [40], image processing [41], and camera design [42]. For a further review of CS, the reader can refer to [38, 39].

The constrained Kalman objective in (13) can be seen as the regularized version of least squares known as least absolute shrinkage and selection operator (LASSO) [43], which uses the *l*_{1} constraint to prefer solutions with fewer non-zero parameter values, effectively reducing the number of variables upon which the given solution is dependent. For this reason, the LASSO and its variants are fundamental to the theory of compressed sensing.

### 3.2 Constrained Kalman filtering

Constrained Kalman filtering has been mainly investigated in the case of linear equality constraints of the form D x=d, where D is a known matrix and d is a known vector [44]. The most straightforward method to handle linear equality constraints is to reduce the system model parametrization [45]. This approach, however, can only be used for linear equality constraints and cannot be used for inequality constraints (i.e., constraints of the form D x≤d). Another approach is to treat the state constraints as perfect measurements or pseudo-observations (i.e., no measurement noise) [46]. The perfect measurement technique applies only to equality constraints as it augments the measurement equation with the constraints. The third approach is to project the standard (unconstrained) Kalman filter estimate onto the constraint surface [44]. Though non-linear constraints can be linearized and then treated as perfect observations, linearization errors can prevent the estimate from converging to the true value. Non-linear constraints are, thus, much harder to handle than linear constraints because they embody two sources of errors: truncation errors and base point errors [47, 48]. Truncation errors arise from the lower order Taylor series approximation of the constraint, whereas base point errors are due to the fact that the filter linearizes around the estimated value of the state rather than the true value. In order to deal with these errors, iterative steps were deemed necessary to improve the convergence towards the true state and better enforce the constraint [47–49]. The number of necessary iterations is a tradeoff between estimation accuracy and computational complexity.

*l*

_{1}-norm of the state vector. We adopt the projection approach, which projects the unconstrained Kalman estimate at each step onto the set of sparse vectors, as defined by the constraint in (13). Denoting by $\stackrel{~}{\mathit{a}}$ the unconstrained Kalman estimate, the constrained estimated, $\widehat{\mathit{a}}$, is then obtained by solving the following (convex) LASSO optimization:

where *λ* is a parameter controlling the tradeoff between the residual error and the sparsity. This approach is motivated by two reasons: First, we found through extensive simulations that the projection approach leads to more accurate estimates than the iterative pseudo-measurement techniques (PM) in [47–49]. Additionally, the sparsity constraint is controlled by only one parameter, namely *λ*, whereas in PM, the number of iterations is a second parameter that needs to be properly tuned and presents a tradeoff between accuracy and computational time. Second, for large-scale genomic regulatory networks (few thousands of genes), the iterative PM approaches render the constrained Kalman tracking problem computationally prohibitive.

### 3.3 The LASSO-Kalman smoother

The Kalman filter is causal, i.e., the optimal estimate at time *k* depends only on past observations {y(*i*),*i*≤*k*. In the case of genomic measurements, all observations are recorded and available for post-processing. By using all available measurements, the covariance of the optimal estimate can be reduced, thus improving the accuracy. This is achieved by smoothing the Kalman filter using a forward-backward approach [44]. The forward-backward approach obtains two estimates of a(*j*). The first estimate, ${\widehat{\mathit{a}}}_{f}$, is based on the standard Kalman filter that operates from *k*=1 to *k*=*j*. The second estimate, ${\widehat{\mathit{a}}}_{b}$, is based on a Kalman filter that runs backward in time from *k*=*n* back to *k*=*j*. The forward-backward approach combines the two estimates to form an optimal smoothed estimate. The LASSO-Kalman smoother algorithm is summarized below (see also Figure 1).

#### Algorithm 1 **The LASSO-Kalman smoother algorithm**

## 4 Results and discussion

### 4.1 Synthetic data

where *a*_{
ij
} is the (*i*,*j*)th true edge value and $\widehat{{a}_{\mathit{\text{ij}}}}$ is the corresponding predicted edge value. The criterion in (15) counts an error if the estimated edge value is outside an *α*-vicinity of the true edge value. In our simulations, we adopted a value of *α* equal to 0.2. That is, the error tolerance interval is ± 20*%* of the true value. The percentage of total correct or incorrect edges in a connectivity matrix is used to determine the accuracy of the algorithm.

*p*. We observe that the network estimation error is about constant between

*p*=100 to

*p*=1,000 and is thus unaffected by how large the network is, at least for networks of size few thousand genes. The reason for this outcome may be the linear increase of the size vector with the number of genes, which is due to the splitting of the original connectivity estimation problem (

*p*

^{2}parameters) into

*p*smaller problems, that can be solved simultaneously.

*m*on the prediction accuracy. Figure 2b shows the prediction error as a function of the number of observations for a network of size

*p*=100. The estimation error seems to be constant up to 50 measurements then decreases rapidly as the number of observations increase to 100. But even for a small number of observations (10% of the network size), the estimation error is fairly small (less than 18%). This is an important result because in real-world applications, the number of available observations is very limited. We believe that the reason the error stays about constant for a small number of measurements (up to 50) is due to the good initial condition that is adopted in these simulations (see below for details on the estimation of the initial condition). For randomly chosen initial conditions, the LASSO-Kalman smoother takes a longer time, and thus requires more observations, to converge.Figure 3 shows a ten-gene directed time-varying network over five time points Figure 3a. For each time point, we assume that seven observations are available. The thickness of the edge indicates the strength of the interaction. Blue edges indicate stimulative interactions, whereas red edges indicate repressive or inhibitive interactions. In order to show the importance of the LASSO formulation and the smoothing, we track the network using the classical Kalman filter Figure 3d, the LASSO online Kalman filter Figure 3c, and the LASSO Kalman smoother Figure 3b. It can be seen that the LASSO constraint is essential in imposing the sparsity of the network, hence significantly reducing the false positive rate. The smoothing improves the estimation accuracy by reducing the variance of the estimate.

**Performance analysis of the smoothed LASSO-Kalman, unsmoothed LASSO-Kalman, and the classical Kalman filter**

TP (%) | TN (%) | FP (%) | FN (%) | Sensitivity | Specificity | Accuracy | Precision | |
---|---|---|---|---|---|---|---|---|

Classical Kalman | 71.06 | 13.60 | 13.11 | 2.22 | 0.97 | 0.50 | 0.85 | 0.84 |

Unsmoothed LASSO-Kalman | 80.21 | 11.52 | 4.32 | 3.93 | 0.95 | 0.72 | 0.91 | 0.94 |

Smoothed LASSO-Kalman | 81.11 | 10.21 | 5.63 | 3.02 | 0.96 | 0.64 | 0.91 | 0.93 |

#### 4.1.1 Estimation of *λ*

Equation 14 introduces the penalty parameter *λ*. This parameter controls the sparsity of the resulting estimate, and hence, a correct estimate of *λ* is of paramount importance. Tibshirani [43] enumerates three methods for the estimation of the sparsity parameter: cross-validation, generalized cross-validation, and an analytical unbiased estimate of risk. The first two methods assume that the observations (*X*, *Y*) are drawn from some unknown distribution, and the third method applies to the *X*-fixed case. We adopt the second approach with a slight variation to improve the estimation accuracy. As proposed in [43], this method is based on a linear approximation of the LASSO estimate by the ridge regression estimator. In this paper, instead of calculating the ridge regression estimate as an approximation to the LASSO, we calculate the actual LASSO and determine the number of its effective parameters in order to construct the generalized cross-validation style statistic. The sparsity of the constrained solution is directly proportional to the value of *λ*. If *λ* is small, the solution will be less sparse and if it is large, the solution will be very sparse. At the limit, when *λ*→*∞*, the solution to (14) is the zero vector. To find the optimum value for *λ* for the specific data at hand, we compute the generalized cross-validation statistic for different values of *λ* with a coarse step size to determine the neighborhood of the optimum value of *λ*. Then, we perform a finer search in this neighborhood to find the optimal *λ* for the data. This two-step procedure finds an accurate estimate of *λ* while keeping the computational cost low.

#### 4.1.2 Estimation of the initial condition

The fact that very few observations are available (at each time point) implies that the Kalman filter may take considerable time to converge to the true solution. To make the tracker converge faster, we generate an initial condition based on the maximum likelihood estimate of the static network, as proposed in [11]. This gives the Kalman filter the ability to start from an educated guess of the initial state estimate, which will increase the convergence time of the filter and hence its estimation accuracy over time.

### 4.2 Time-varying gene networks in *Drosophila melanogaster*

A genome-wide microarray profiling of the life cycle of the *D. melanogaster* revealed the evolving nature of the gene expression patterns during the time course of its development [50]. In this study, cDNA microarrays were used to analyze the RNA expression levels of 4,028 genes in wild-type flies examined during 66 sequential time periods beginning at fertilization and spanning embryonic, larval, pupal, and the first 30 days of adulthood. Since early embryos change rapidly, overlapping 1-h periods were sampled; the adults were sampled at multiday intervals [50]. The time points span the embryonic (samples 1 to 30; time E01h until E2324h), larval (samples 31 to 40; time L24h until L105h), pupal (samples 41 to 58; M0h until M96h), and adulthood (samples 59 to 66; A024h until A30d) periods of the organism.

Costello et al. [51] normalized the Arbeitman et al. raw data [50] using the optimized local intensity-dependent normalization (OLIN) algorithm [52]. Details of the normalization protocol can be found at http://www.sciencemag.org/content/suppl/2002/09/26/297.5590.2270.DC1/ArbeitmanSOM.pdf. In their procedure, a gene may be flagged for several reasons: the corresponding transcript not being expressed under the considered condition, the amplification of the printed cDNA was reported as ‘failed’ in the original data, or the data is missing for technical reasons. A statistical test was also conducted to determine if the expression of a labeled sample is significantly above the distribution of background values. Spots with a corrected *p* value greater than 0.01 were considered absent (or within the distribution of background noise). In this study, we downloaded the Costello et al. dataset [51] and considered the unflagged genes only, which amount to a total of 1,863 genes.

*D. melanogaster*. Figure 4 shows the estimated networks, where edges with absolute strength less than 10

^{-3}were set to zero. The networks were visualized in Cytoscape using a force-directed layout [53]. Markov clustering [54] was used to identify clusters within each network. Clusters containing more than 30 genes were tested for functional enrichment using the BiNGO plugin for Cytoscape [55]. The Gene Ontology term with the highest enrichment in a particular cluster was used to label the cluster on the network. The changing connectivity patterns are an evident indication of the evolution of gene connectivity over time.Figure 5 shows the evolution of the degree connectivity of each gene as a function of time. This plot helps visualize the hubs (high degree nodes) at each time point and shows which genes are active during the phases of the organism’s development. It is clear that certain genes are mainly active during specific developmental phases (transient genes), whereas others seem to play a role during the entire developmental process (permanent genes).

To show the advantages of dynamic networks over a static network, we compared the recovered interactions against a list of known undirected gene interactions hosted in FlyBase (http://flybase.org/). The LASSO-Kalman algorithm was able to recover 1,065 gene interactions (ignoring all interactions smaller or equal than 10^{-3}). The static network, computed as one network across all time periods using the algorithm in [11], recovers 248 interactions. Using the segmentation approach, we also computed four networks, where each network uses the number of samples in each developmental phase of the organism (embryonic, larval, pupal, and adulthood). The embryonic-stage network uses the 30 time points sampled during the embryonic phase and recovers 121 interactions. The larval-stage network uses nine time points available for the larval phase and recovers 28 known interactions. The pupal-stage network uses 18 time points collected during the pupal period and recovers 125 interactions. The adult-stage network utilizes eight time points sampled during adulthood and recovers 41 interactions. Hence, in total, the segmentation approach recovers 315 interactions. The dynamic networks of Tesla [56] were able to recover 96 known interactions. We mention that, in [56], the network size was 4,028 genes, whereas we considered a subset of 1,863 unflagged genes. Thus, Tesla’s recovery rate is 2.4*%*, whereas the LASSO-Kalman recovery rate is 57.2*%*. The low recovery rate of Tesla in [56] may be due to the presence of spurious samples since the flagged genes were included in the networks.

### 4.3 High-performance computing implementation

*p*×

*p*covariance matrices must be stored and computed (the

*a priori*and

*a posteriori*error covariance matrices), where

*p*is the number of genes. In order to alleviate the memory requirement, we used a memory mapped file, which swaps the data between the local disk and the memory. We used the Razor II HPC system at the Arkansas High Performance Computing Center (AHPCC) at the University of Arkansas at Fayetteville. The AHPCC has 16 cores per node, with 32 GB of memory; each node is interconnected using a 40-Gbps QLogic quad-data rate QDR InfiniBand (Aliso Viejo, CA, USA). In our implementation, we were allowed to use 40 such nodes at a given time. This implementation is scalable and supports a larger number of genes for future investigations. Further details of the implementation are available at http://users.rowan.edu/~bouaynaya/EURASIP2014.

## 5 Conclusions

Due to the dynamic nature of biological processes, biological networks undergo systematic rewiring in response to cellular requirements and environmental changes. These changes in network topology are imperceptible when estimating a static ‘average’ network for all time points. The dynamic view of genetic regulatory networks reveals the temporal information about the onset and duration of genetic interactions, in particular showing that few genes are permanent players in the cellular function while others act transiently during certain phases or ‘regimes’ of the biological process. It is, therefore, essential to develop methods that capture the temporal evolution of genetic networks and allow the study of phase-specific genetic regulation and the prediction of network structures under given cellular and environmental conditions.

In this paper, we formulated the reverse-engineering of time-varying networks, from a limited number of observations, as a tracking problem in a compressed domain. Under the assumption of linear dynamics, we derived the LASSO-Kalman smoother, which provides the optimal minimum mean-square sparse estimate of the connectivity structure. The estimated networks reveal that genetic interactions undergo significant rewiring during the developmental process of an organism such as the *D. melanogaster*. We anticipate that these topological changes and phase-specific interactions apply to other genetic networks underlying dynamic biological processes, such as cancer progression and therapeutic treatment and development.

Finally, we anticipate that the rapid breakthroughs in genomic technologies for measurement and data collection will make the static representation of biological networks obsolete and establish instead the dynamic perspective of biological interactions.

## Declarations

### Acknowledgements

The authors would like to thank Mr. Lee Henshaw and Adam Haskell, undergraduate students with the Department of Electrical and Computer Engineering at Rowan University, for their contribution to the network visualization. This project is supported by the Award Number R01GM096191 from the National Institute of General Medical Sciences (NIH/NIGMS). The content is solely the responsibility of the authors and does not necessarily represent the official views of the National Institute Of General Medical Sciences or the National Institutes of Health. This project is also supported in part by the National Science Foundation through grants MRI-R2 #0959124 (Razor), ARI #0963249, #0918970 (CI-TRAIN), and a grant from the Arkansas Science and Technology Authority, with resources managed by the Arkansas High Performance Computing Center. Partial support has also been provided by the National Science Foundation through grants CRI CNS-0855248, EPS-0701890, EPS-0918970, MRI CNS-0619069, and OISE-0729792.

## Authors’ Affiliations

## References

- Kauffman SA:
**Metabolic stability and epigenesis in randomly constructed genetic nets.***J Theor. Biol*1969,**22:**437-467. 10.1016/0022-5193(69)90015-0MathSciNetView ArticleGoogle Scholar - Shmulevich I, Dougherty ER, Kim S, Zhang W:
**Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks.***Bioinformatics*2002,**18**(2):261-274. 10.1093/bioinformatics/18.2.261View ArticleGoogle Scholar - Friedman N, Linial M, Nachman I, Peter D:
**Using Bayesian networks to analyze expression data.***J. Comput. Biol*2000,**7**(3-4):601-620. 10.1089/106652700750050961View ArticleGoogle Scholar - Murphy K, Mian S:
**Modeling gene expression data using dynamic Bayesian networks.**Technical report, Computer Science Division, University of California, Berkeley, 1999Google Scholar - Friedman N:
**Inferring cellular networks using probabilistic graphical models.***Science*2004,**303**(5659):799-805. 10.1126/science.1094068View ArticleGoogle Scholar - Meyer PE, Kontos K, Lafitte F, Bontempi G:
**Information-theoretic inference of large transcriptional regulatory networks.***EURASIP J. Bioinformat. Syst. Biol*2007,**2007:**79879. doi:10.1155/2007/79879Google Scholar - Zhao W, Serpedin E, Dougherty ER:
**Inferring connectivity of genetic regulatory networks using information-theoretic criteria.***IEEE/ACM Trans. Comput. Biol. Bioinf*2008,**5**(2):262-274.View ArticleGoogle Scholar - Chaitankar V, Ghosh P, Perkins EJ, Gong P, Deng Y, Zhang C:
**A novel gene network inference algorithm using predictive minimum description length approach.***BMC Syst. Biol*2010,**4**(Suppl 1):S7. 10.1186/1752-0509-4-S1-S7View ArticleGoogle Scholar - Zoppoli P, Morganella S, Ceccarelli M:
**TimeDelay-ARACNE: reverse engineering of gene networks from time-course data by an information theoretic approach.***BMC Bioinformatics*2010.,**11**(154): doi: 10.1186/1471-2105-11-154Google Scholar - Fathallah-Shaykh HM, Bona JL, Kadener S:
**Mathematical model of the**drosophila**circadian clock: loop regulation and transcriptional integration.***Biophys. J*2009,**97**(9):2399-2408. 10.1016/j.bpj.2009.08.018View ArticleGoogle Scholar - Rasool G, Bouaynaya N, Fathallah-Shaykh HM, Schonfeld D:
**Inference of genetic regulatory networks using regularized likelihood with covariance estimation.**Paper presented at the IEEE statistical signal processing workshop, Aug. 2012, pp. 560–563Google Scholar - Cao J, Qi X, Zhao H:
**Modeling gene regulation networks using ordinary differential equations.***Methods Mol. Biol*2012,**802:**185-197. 10.1007/978-1-61779-400-1_12View ArticleGoogle Scholar - Hache H, Lehrach H, Herwig R:
**Reverse engineering of gene regulatory networks: a comparative study.***EURASIP J. Bioinform. Syst. Biol*2009,**2009:**617281. doi:10.1155/2009/617281 10.1155/2009/617281View ArticleGoogle Scholar - Marbach D, Costello JC, Küffner R, Vega NM, Prill RJ, Camacho DM, Allison KR:
**Wisdom of crowds for robust gene network inference.***Nature Methods*2012,**9**(8):796-804. 10.1038/nmeth.2016View ArticleGoogle Scholar - Huang NE, Shen Z, Long SR, Wu MC, Shih HH, Zheng Q, Yen NC, Tung CC, Liu HH:
**The empirical mode decomposition and the Hilbert spectrum for nonlinear and non-stationary time series analysis.***Proc. R. Soc. A*1998,**454**(1971):903-995. 10.1098/rspa.1998.0193MathSciNetView ArticleGoogle Scholar - Davidson EH, Rast JP, Oliveri P, Ransick A, Calestani C, Yuh CH, Minokawa T, Amore G, Hinman V, Arenas-Mena C, Otim O, Brown CT, Livi CB, Lee PY, Revilla R, Rust AG, Pan ZJ, Schilstra MJ, Clarke PJC, Arnone MI, Rowen L, Cameron RA, McClay DR, Hood L, Bolouri H:
**A genomic regulatory network for development.***Science*2002,**295**(5560):1669-1678. 10.1126/science.1069883View ArticleGoogle Scholar - Luscombe NM, Babu MM, Yu H, Snyder M, Teichmann SA, Gerstei M:
**Genomic analysis of regulatory network dynamics reveals large topological changes.***Lett. Nature*2004,**431:**308-312. 10.1038/nature02782View ArticleGoogle Scholar - Rao A, Hero AO, States DJ, Engel JD:
**Inferring time-varying network topologies from gene expression data.***EURASIP J. Bioinform. Syst. Biol*2007,**2007:**51947. doi:10.1155/2007/51947Google Scholar - Fearnhead P:
**Exact and efficient Bayesian inference for multiple change point problems.***Stat. Comput*2006,**16**(2):203-213. 10.1007/s11222-006-8450-8MathSciNetView ArticleGoogle Scholar - Ernst J, Vainas O, Harbison CT, Simon I, Bar-Joseph Z:
**Reconstructing dynamic regulatory maps.***Mol. Syst. Biol*2007,**3**(3):74.Google Scholar - Xidian KW, Zhang J, Shen F, Shi L:
**Adaptive learning of dynamic Bayesian networks with changing structures by detecting geometric structures of time series.***Knowl. Inf. Syst*2008,**17:**121-133. 10.1007/s10115-008-0124-8View ArticleGoogle Scholar - Robinson JW, Hartemink EJ:
*Non-stationary dynamic Bayesian networks, Paper presented at the twenty-first annual conference on neural information processing systems.*Vancouver, Canada; 11–13 Dec 2008:1369-1376.Google Scholar - Grzegorczyk M, Husmeier D:
*Non-stationary continuous dynamic Bayesian networks, Paper presented at the twenty-second annual conference on neural information processing systems.*Vancouver, Canada; 6–11 Dec. 2009:682-690.Google Scholar - Dondelinger F, Lébre S, Husmeier D:
**Non-homogeneous dynamic Bayesian networks with Bayesian regularization for inferring gene regulatory networks with gradually time-varying structure.***Mach. Learn*2013,**90**(2):191-230. 10.1007/s10994-012-5311-xMathSciNetView ArticleGoogle Scholar - Miyashita H, Nakamura T, Ida Y, Matsumoto T, Kaburagi T:
*Nonparametric Bayes-based heterogeneous Drosophila melanogaster gene regulatory network inference: T-process regression. Paper presented at the international conference on artificial intelligence and applications.*Innsbruck, Austria; 11–13 Feb. 2013:51-58.Google Scholar - Ahmed A, Xing EP:
**Recovering time-varying networks of dependencies in social and biological studies.***Proc. Nat. Acad. Sci*2009,**106**(29):11878-11883. 10.1073/pnas.0901910106View ArticleGoogle Scholar - Guo F, Hanneke S, Fu W, Xing EP:
*Recovering temporally rewiring networks: a model-based approach. Paper presented at the twenty-fourth international conference on machine learning.*Corvalis, OR, USA; 20–24 June 2007:321-328.Google Scholar - Wang Z, Kuruoǧlu EE, Yang X, Xu Y, Huang TS:
**Time varying dynamic Bayesian network for nonstationary events modeling and online inference.***IEEE Trans. Signal Process*2011,**59**(4):1553-1568.View ArticleGoogle Scholar - Prado R, Huerta G, West M:
**Bayesian time-varying autoregressions: theory, methods and applications.***Resenhas*2000,**4:**405-422.MathSciNetGoogle Scholar - Robinson JW, Hartemink AJ:
**Learning non-stationary dynamic Bayesian networks.***J. Mach. Learn. Res*2010,**11:**3647-3680.MathSciNetGoogle Scholar - Song L, Kolar M, Xing E:
*Time-varying dynamic Bayesian networks. Paper presented at the twenty-second annual conference on neural information processing systems.*Vancouver, Canada; 6–11 Dec. 2009.Google Scholar - Tucker A, Liu X:
**A Bayesian network approach to explaining time series with changing structure.***Intell. Data Anal*2004,**8**(8):469-480.Google Scholar - Nielsen SH, Nielsen TD:
**Adapting Bayes network structures to non-stationary domains.***Int. J. Approx. Reason*2008,**49**(2):379-397. 10.1016/j.ijar.2008.02.007View ArticleGoogle Scholar - Oh SM, Rehg JM, Balch T, Dellaert F:
**Learning and inferring motion patterns using parametric segmental switching linear dynamic systems.***Int. J. Comput. Vis*2008,**77:**103-124. 10.1007/s11263-007-0062-zView ArticleGoogle Scholar - Fox E, Sudderth EB, Jordan MI, Willsky AS:
**Bayesian nonparametric inference of switching dynamic linear models.***IEEE Trans. Signal Process*2011,**59**(4):1569-1585.View ArticleGoogle Scholar - Wang Z, Liu X, Liu Y, Liang J, Vinciotti V:
**An extended Kalman filtering approach to modeling nonlinear dynamic gene regulatory networks via short gene expression time series.***IEEE/ACM Trans. Comput. Biol. Bioinform*2009,**6**(3):410-419.View ArticleGoogle Scholar - Noor A, Serpedin E, Nounou M, Nounou HN:
**Inferring gene regulatory networks via nonlinear state-space models and exploiting sparsity.***IEEE Trans. Comput. Biol. Bioinform*2012,**9**(4):1203-1211.View ArticleGoogle Scholar - Candes EJ, Romberg J, Tao T:
**Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information.***IEEE Trans. Inf. Theory*2006,**52**(2):489-509.MathSciNetView ArticleGoogle Scholar - Fornasier M, Rauhut H:
**Compressive sensing.**In*Handbook of Mathematical Methods in Imaging*. Edited by: Scherzer O. Springer, New York; 2011:187-228.View ArticleGoogle Scholar - Tauböck G, Hlawatsch F, Eiwen D, Rauhut H:
**Compressive estimation of doubly selective channels in multicarrier systems: leakage effects and sparsity-enhancing processing.***IEEE J. Sel. Top. Sign. Proces*2010,**4**(2):255-271.View ArticleGoogle Scholar - Bobin J, Starck JL, Ottensamer R:
**Compressed sensing in astronomy.***IEEE J. Sel. Top. Sign. Proces*2008,**2**(5):718-726.View ArticleGoogle Scholar - Duarte M, Davenport M, Takhar D, Laska J, Sun T, Kelly K, Baraniuk R:
**Single-pixel imaging via compressive sampling.***IEEE Signal Process. Mag*2008,**25**(2):83-91.View ArticleGoogle Scholar - Tibshirani R:
**Regression shrinkage and selection via the lasso.***J. R. Stat. Soc. Series B*1996,**58:**267-288.MathSciNetGoogle Scholar - Simon D:
*Optimal State Estimation*. Wiley, New York; 2006.View ArticleGoogle Scholar - Wen W, Durrant-Whyte HF: Model-based multi-sensor data fusion. proceedings of the IEEE international conference on robotics and automation pp 1720–1726, May 1992Google Scholar
- Hayward S:
**Constrained Kalman filter for least-squares estimation of time-varying beamforming weights.**In*Mathematics in, Signal Processing IV*. Edited by: Mc Whirter J, Proudler I. Oxford University Press, Oxford; 1999:113-125.Google Scholar - Geeter JD, Brussel HV, Schutter JD, Decreton M:
**A smoothly constrained Kalman filter.***IEEE Trans. Pattern Anal. Mach. Intell*1997,**19**(10):1171-1177. 10.1109/34.625129View ArticleGoogle Scholar - Julier SJ, LaViola JJ:
**On Kalman filtering with nonlinear equality constraints.***IEEE Trans. Signal Process*2007,**55**(6):2774-2784.MathSciNetView ArticleGoogle Scholar - Carmi A, Gurfil P, Kanevsky D:
**Methods for sparse signal recovery using Kalman filtering with embedded pseudo-measurement norms and quasi-norms.***IEEE Trans. Signal Process*2010,**58**(4):2405-2409.MathSciNetView ArticleGoogle Scholar - Arbeitman M, Furlong E, Imam F, Johnson E, Null B, Baker B, Krasnow M, Scott M, Davis R, White K:
**Gene expression during the life cycle of Drosophila melanogaster.***Science*2002,**297:**2270-2275. 10.1126/science.1072152View ArticleGoogle Scholar - Costello JC, Dalkilic MM, Andrews JR:
*Microarray normalization protocols*. FlyBase Consortium, FlyBase; 2008.Google Scholar - Futschik ME, Crompton T:
**OLIN: optimized normalization, visualization and quality testing of two-channel microarray data.***Bioinformatics*2005,**21**(8):1724-1726. 10.1093/bioinformatics/bti199View ArticleGoogle Scholar - Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T:
**Cytoscape: a software environment for integrated models of biomolecular interaction networks.***Genome Res*2003,**13**(11):2498-2504. 10.1101/gr.1239303View ArticleGoogle Scholar - Dongen SV: Performance criteria for graph clustering and Markov cluster experiments. Technical report, National Research Institute for Mathematics and Computer Science, 2000Google Scholar
- Maere S, Heymans K, Kuiper M:
**BiNGO: a Cytoscape plugin to assess overrepresentation of gene ontology categories in biological networks.***Bioinformatics*2005,**21:**3448-3449. 10.1093/bioinformatics/bti551View ArticleGoogle Scholar - Ahmed A, Song L, Xing EP:
**Time-varying networks: recovering temporally rewiring genetic networks during the life cycle of**Drosophila melanogaster**.**Technical report, Carnegie Mellon University, 2009Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.