Bayesian graphical models for computational network biology

Background Computational network biology is an emerging interdisciplinary research area. Among many other network approaches, probabilistic graphical models provide a comprehensive probabilistic characterization of interaction patterns between molecules and the associated uncertainties. Results In this article, we first review graphical models, including directed, undirected, and reciprocal graphs (RG), with an emphasis on the RG models that are curiously under-utilized in biostatistics and bioinformatics literature. RG’s strictly contain chain graphs as a special case and are suitable to model reciprocal causality such as feedback mechanism in molecular networks. We then extend the RG approach to modeling molecular networks by integrating DNA-, RNA- and protein-level data. We apply the extended RG method to The Cancer Genome Atlas multi-platform ovarian cancer data and reveal several interesting findings. Conclusions This study aims to review the basics of different probabilistic graphical models as well as recent development in RG approaches for network modeling. The extension presented in this paper provides a principled and efficient way of integrating DNA copy number, DNA methylation, mRNA gene expression and protein expression.


Background
This article starts with a comprehensive review of graphical models and recent development in constructing biological networks using reciprocal graphs (RG's). In order to integrate multi-omics data including proteomics, we extend the work in [1] utilizing fundamental biological knowledge and the factorization of the joint distribution.
Computational network biology (CNB) is an emerging research field that encompasses theory and applications of network models to systematically study different molecules (DNA, RNA, proteins, metabolites and small molecules) and their complex interactions in living cells. CNB provides new insights in diverse research areas including system biology, molecular biology, genetics, pharmacology and precision medicine. The development *Correspondence: yangni87@gmail.com 1 Department of Statistics and Data Sciences, The University of Texas at Austin, Austin, TX 78712, USA Full list of author information is available at the end of the article of high-throughput profiling technologies allows for the interrogation of the status of many molecules in a cell at the same time, which makes it possible to jointly model these cell components with network modeling approaches. CNB is an interdisciplinary research area and has received contributions from researchers with various background. In this paper, we focus on network modeling approaches from a statistical perspective, namely, probabilistic graphical models (PGM) which allow a complete probabilistic description of interaction patterns between molecules and the associated uncertainties when estimating such interactions from noisy genomic and/or proteomic data.
PGM are probabilistic models for multivariate random variables whose conditional independence (also known as Markov property) structure is characterized by an underlying graph. PGM provides a concise, complete and explicit representation of joint distribution and allows for convenient Gibbs factorization of the density (if it exists) and hence local computations. The Markov property can be directly read off the graph through the notion of graph separation. PGM is closely related to causal inference, path analysis and expert system and finds a wide range of applications in political sciences, economics, genetics, biology, physics and psychology.
The most commonly used graphs are undirected graphs (UG) and directed acyclic graphs (DAG). UG represents symmetric interactions between variables whereas DAG allows for asymmetric ones that can be potentially interpreted as cause-effect relationships. Both UG and DAG are a special case of a more general graphical model known as chain graphs (CG) [2,3] which allow for both symmetric and asymmetric conditional independence relationships. Despite of the flexibility of CG, the directed relationships are still constrained to be (block-) recursive, that is, reciprocal causality is prohibited. However, cyclic causal relationship are fundamental and ubiquitous in science, including, for example, the law of supply and demand in economics or feedback mechanism in gene regulatory networks. Spirtes [4] and Koster [5], in their respective seminal work, independently proposed coherent non-recursive graphical models including directed cycles of which the joint distribution was previously thought ill-defined ( [6], p. 72). Spirtes [4] developed directed cyclic graphical (DCG) models which include DAG's as a special case, and [5] proposed an even more general class of graphical models, reciprocal graphical (RG) models, which include CG (hence UG and DAG) and DCG as special cases. The relationships between the aforementioned graphs are depicted as a Venn's diagram in Fig. 1.
In this paper, we focus on RG's due to their statistical generality, the capability of modeling feedback loops and their still underappreciated popularity in the biostatistics and bioinformatics literature. The rest of this paper is structured as follows. We first review the basics of UG, DAG and RG in this section. In the next section, we provide a comprehensive review of novel Bayesian approaches in modeling molecular networks using RG. Then, we extend the RG approach in [1] to modeling The Cancer Genome Atlas (TCGA) ovarian cancer data that are measured on three different levels: DNA, RNA and proteins. The extension is non-trivial: we factorize an RG into two separate RG's (one for DNA and RNA and the other for RNA and protein) and make coherent joint inference by exploiting two known biochemical processes: DNA transcribes to RNA and RNA in turn translates to protein, the latter also allowing us to estimate the direction of the relationship between RNA and protein which informs the directionality of the regulatory relationships between proteins. To the best of our knowledge, we are among the first to reconstruct multi-omics functional networks that consider mass spectrometry proteomics data generated by the CPTAC.
Overview of directed, undirected and reciprocalgraphical models. Graphical models are a class of statistical models for a set of random variables Z = (Z 1 , . . . , Z p ) T that provide a graphic representation of conditional independence relationships among the variables. Using graphical models allow practitioners to simplify inferences, obtain parsimonious solutions via variable selection, enable local computations, and define a framework for causal inference.
In a graphical model, variables are represented by a set of nodes and their associated interactions are represented by edges. A missing edge usually represents the conditional independence between the corresponding pair of random variables conditional on a certain set of other variables. The conditioning set depends on the chosen type of graph. Here, we provide a minimal set of terminologies required to describe the Markov properties in later sections.
A graph G = (V , E) is defined by a set of nodes V = {1, . . . , p} and a set of directed and undirected edges E = E d ∪ E u . For a pair of nodes i, j ∈ V , we denote an undirected edge by i−j or {i, j} ∈ E u and a directed edge by A path component is a set of nodes that are all connected by an undirected path. The boundary of a node i is bd(i) = {j | {j, i} ∈ E or (j, i) ∈ E} and the boundary of a subset A ⊆ V is bd(A) = i∈A bd(i)\A. A node i is said to be a parent of node j, if (i, j) ∈ E. The set of parents of j is denoted by pa(j). The ancestors of node i are an(i) = {i} ∪ {j|j → i}. The descendants of node i, denoted by de(i), are the nodes i such that there is a path from i to j. The non-descendants of i are nd(i) = V \(de(i) ∪ {i}).
and the minimal anterior set of A is denoted by an(A). Note that we use an() to denote both ancestors and minimal anterior set; it should not cause any confusion because in fact an({i}) = an(i). Notice that (minimal) anterior set [5] is equivalent to (minimal) ancestral set in [7]. A graph is complete if all nodes are joined by an edge. A complete subgraph that is maximal with respect to the subset relation is called clique. A useful procedure in defining Markov properties of graphs with directed edges is moralization. The moralization is performed in two steps. Make the boundary of each path component complete by adding undirected edges and then replace all directed edges by undirected ones. We call the resulting undirected graph moral graph, denoted by G m = (V , E m ).
We say that graph G is a undirected graph (UG) if E = E u contains only undirected edges. And graph G is said to be a directed acyclic graph (DAG) if E = E d contains only directed edges and no cycles. A reciprocal graph (RG) is a graph G that can have both directed and undirected edges and cycles, with the only restriction being no directed edges between nodes in the same path component [5]. In the following, we provide a concise overview of each type of graph. More comprehensive and technical details of the contents can be found in [7] and [6].

Undirected graphical models
Let P denote the joint distribution of Z = Z V = (Z 1 , . . . , Z p ) T . We say P has a Gibbs factorization (or simply factorization) with respect to a UG G if its density f (Z) can be written as where C is the collection of cliques of G and ψ C is an arbitrary nonnegative function on the domain of Z C for C ∈ C.
Not surprisingly, the factorization property of P is closely related to its Markov properties; in fact, the former implies the latter. The Markov property of a UG relies on a notion of graph separation. For three disjoint subsets A, B, C ∈ V of nodes, A is said to be separated from B by C if every path between A and B includes a node in C. The global Markov property of a UG is given in the following definition.
Definition 1 (Global Markov property) Given a UG G, the joint distribution P of Z V is global Markov with respect to G if for any three disjoint subsets A, B and C of V, Z A is independent of Z B given Z C , written as Z A ⊥ ⊥ Z B | Z C whenever C separates A and B.
The global Markov property always implies the local Markov property.

Definition 2 (Local Markov property) Given a UG G, the joint distribution P of Z V is local Markov with respect to G if for any node i
The local Markov property in turn always implies the pairwise Markov property.
In summary, factorization in (1) ⇒ global Markov property ⇒ local Markov property ⇒ pairwise Markov property. A natural question to ask is: is the relation also true backwards? The answer is yes when P has a positive and continuous density, which is summarized in the following theorem, often referred to as Hammersley-Clifford theorem [8].

Theorem 1 (Hammersley-Clifford) Suppose a probability distribution P has a positive and continuous density f. Then P satisfies the pairwise Markov property with respect to a UG G if and only if f factorizes according to G.
When P = N(0, −1 ) is multivariate Gaussian with precision matrix , undirected graphical models are defined by zero constraints on . There is a one-to-one correspondence between the graph structure G and the zero patterns in . Specifically, the precision matrix is constrained to the cone of positive definite matrices with off-diagonal entry ij = 0 if and only if there is a missing edge in G between nodes i and j. Therefore, in the Gaussian case, learning the graph structure is equivalent to recovering the zero patterns in . Interested readers are referred to recent Bayesian approaches [9][10][11] and non-Bayesian approaches [12,13].

Directed graphical models
We say the distribution P factorizes with respect to a DAG G if its density f (Z) can be written as Similar to UG's, the Markov property of a DAG can be also defined by the concept of graph separation. However, unlike UG's, the separation is more complicated in DAG's. There are two different but equivalent approaches in describing separation in a DAG. Pearl [14] introduced the notion of d-separation characterized by several conditions and then defined the global Markov property of a DAG in the same way as that of an UG except that separation is replaced by d-separation. Another approach [3] is based on the moralization and graph separation in UG's. We elaborate more on the latter because it will be used again in defining Markov properties of RG's. Similar to the previous section, we introduce global, local and pairwise Markov properties of DAG and then state the relationships between them. Recall that G m denotes the moralized graph.

Definition 6 (Directed pairwise Markov property)
Similar to UG's, it is easy to show that factorization in (2) ⇒ directed global Markov property ⇒ directed local Markov property ⇒ directed pairwise Markov property. In fact, directed global and local Markov properties are equivalent [15]. Moreover, a theorem similar to Hammersley-Clifford's theorem holds for DAG's as well. In a Gaussian DAG, each conditional distribution in (2) is a linear model where N(· | μ, σ 2 ) is a Gaussian density with mean μ and variance σ 2 . Essentially, a DAG is decomposed as a system of recursive and independent linear regressions for which the graph structure inference can be performed using standard model selection technique. However, there is an important caveat in using DAG's for statistical inference. That is the the notion of Markov equivalence -different DAG's may induce the same set of conditional independence relationships. For example, the graphs i ← j → k and i ← j ← k induce the same conditional independence relationship, i ⊥ ⊥ k | j. Both are equivalent to the UG i − j − k. In fact, any perfect DAG (i.e. a DAG without configuration i → j ← k, that is, all parents are married) is Markov equivalent to a decomposable UG (i.e. UG in which all cycles of length four or more have a chord, which is an edge that is not part of the cycle but connects two nodes of the cycle). Conversely, given an undirected decomposable graph, there exists a Markovequivalent perfect DAG; see [7] or [16]. One approach to avoid repeatedly analyzing Markov equivalent DAG's is adopting a prior ordering of the nodes. The ordering may be obtained from subjective prior knowledge such as a reference network [17] or more objectively from an ordering learning algorithm such as order-MCMC [18]. For other recent DAG approaches, see [19][20][21] or [22].

Reciprocal graphical models, simultaneous equation models and path diagrams
We introduce the global Markov property for RG's in the following definition and omit the local and pairwise Markov properties since they are not as practically useful as in UG and DAG.

Definition 7 (Reciprocal global Markov property) Given a RG G, the joint distribution P of Z V is global Markov with respect to G if for any three disjoint subsets A, B and C of V, Z
Similarly to UG and DAG, there is also a Hammersley-Clifford-type theorem for RG's ( [5], Theorem 3.4).
However, while it is a beautiful theoretical result on the equivalence between the global Markov property and the Gibbs factorization in RG, the latter is difficult to work with in practice due to its complex form. Fortunately, in the Gaussian case, there is an easy connection between RG and simultaneous equation models (SEMs). To describe this connection, let Z = (Y , X) be divided into two sets of variables Y and X and consider an SEM, where we assume the following five conditions: To link an SEM to an RG, we draw a path diagram G = (V , E) of SEM by the following rules: In words, (i) we introduce a node for each variable in (Y , X) with nodes j = 1, . . . , p corresponding to Y j and p + j corresponding to X j for j = 1, . . . , q; (ii) nodes i = 1, . . . , p (i.e. Y i nodes) become targets of directed edges from node j if the corresponding a ij = 0 or b i,j−p = 0; (iii) we introduce undirected edges between X i and X j (i.e. nodes i + p and j + p) if i,j = 0. Figure 2a shows an example of an RG with p = 2 and q = 3, with * indicating non-zero elements. With conditions C1-C5, the Markov properties of an SEM can be read off its path diagram.
For example, the SEM with configuration in (4) implies X 1 ⊥ ⊥ X 2 , X 3 which is evident by looking at the moral subgraph G m an(X 1 ,X 2 ,X 3 ) = G m {X 1 ,X 2 ,X 3 } in Fig. 2b. Clearly, the empty set ∅ separates X 1 and X 2 , X 3 . We can also find a b c Fig. 2 Illustration. a Path diagram G for SEM with configuration in (4). 1 , Y 2 by moralizing the entire path diagram (Fig. 2c) since set {Y 1 , Y 2 } separates X 1 and X 2 , X 3 in G m . However, we remark that the class of SEMs satisfying conditions C1-C5 is a subclass of RG. For instance, i → j − k ← l is a CG (hence an RG) but does not correspond to an SEM. Similarly to DAG's, DCG's (or more generally RG's) can also be divided into Markov equivalence classes; see [23][24][25][26][27][28] for characterization and learning of Markov equivalence classes of DCG's.

Methods
In this section, we will review recent RG approaches in modeling molecular networks including [29,30] and [1].

Modeling signaling pathways through latent variables
Telesca et al. [29] considered gene expressions y ij for p genes measured over n samples, i = 1, . . . , n and j = 1, . . . , p. They follow [31] and introduce trinary latent variables e ij ∈ {−1, 0, 1} defining three possible categories of each expression y ij , The e ij can be interpreted as an underlying biologic signal of under-, over-or normal expression. The motivation of the proposed inference is that only e ij should be modeled without over-interpreting the additional noise in y ij as biologically meaningful. Given e ij , a Gaussian-uniform mixture model is assumed for gene expression y ij , where is the normalized relative abundance, corrected for a sample-specific effect α i and a gene-specific effect μ j . Conditional conjugate priors are assigned to σ , b σ ). Note that α i and μ j are not identifiable because α i + μ j = (α i − c) + (μ j + c) for any constant c. If desired, the identifiability problem can be resolved by setting n i=1 α i = 0. For posterior simulation, the constraint can be implemented by setting α i ← α i −c and μ j ← μ j +c with c = n i=1 α i at each iteration. The dependence of gene expressions is modeled through the prior model for the latent variables e ij . In [29], they further introduced another set of latent Gaussian variables z ij as probit scores for each trinary e ij ,

The continuous latent probit scores are then modeled by an SEM
and m ij = x T i β j for covariates x i . Conjugate normal priors are assumed for regression coefficients β j and a jk . By (3) this defines an RGM. Let A be the p × p matrix of which the diagonal elements are zeros and the off-diagonal (j, k) entries are a jk . Then the joint distribution of Z i = (z i1 , . . . , z ip ) T is given by The structure of the path diagram G for this SEM is determined by the zero patterns in A, i.e. a jk = 0 if and only if there is a missing edge from k to j. They define the prior over graph G to be a subgraph of some fixed graph G 0 = (V , E 0 ). The idea is to specify G 0 as some known maximum pathway. That is, Beta(a ψ , b ψ ). Restricting G to subgraphs of G 0 very effectively incorporates the prior information that might be available about an established biological pathway, using, for example, a public database such as KEGG. This restriction to subgraphs of G 0 is important to mitigate nonidentifiability due to Markov equivalence between distinct graphs. Moreover, it also greatly reduces the graph search space, which allows for efficient posterior simulation through trans-dimensional Markov chain Monte Carlo (MCMC). Further discussion and detailed treatment of this topic can be found in [29].
The network structure in [29] is built on the latent Gaussian variables which are linked to the observed gene expressions through another layer of latent trinary variables. Therefore it defines an indirect dependence structure on the actual gene expression. [30] extend this work to allow for a more direct characterization of the dependence structure of the observed protein expressions. Particularly, they proposed a fully general dependence prior between latent binary variables and developed a parsimonious framework for Bayesian model determination that allows for local computation.
Telesca et al. [30] start with the same sampling model as in (5) and (6), but then deviate substantially from the earlier model by reducing the trinary variable e ij to a binary indicator variable z ij = 2I(e ij = 1) − 1. That is,

fp r o t e i nj is activated in sample i
The motivation of this reduction is the simplicity of the prior model on the resulting binary vector Z i = (z ij ). In fact, it is possible [8] to describe all possible probability models p(Z i ) that comply with a given conditional independence structure. See below. Also, investigators usually focus on protein activations in RPPA studies. The joint distribution of Z i = (z i1 , . . . , z ip ) T conditioned on the graph G is by an Ising model, The model is completed with normal priors for α j and β jk . In essence, the approach first maps an RG G = (V , E) to its moral graph G m = (V , E m ) and then defines the joint probability model for Z i based on G m . The prior model for the graph G is again hinged upon a known reference network G 0 = (V , E 0 ). However, it is not constrained to be a subgraph of the reference network as before. Instead, they which is a weighted sum of edges dropped from and added to the reference graph G 0 . With δ > 1, the discrepancy measure allows for parsimonious inference by imposing a heavier penalty for adding edges than removing edges. A distinctive feature of this construction is that the prior decreases to zero exponentially fast as discrepancy measure increases, which allows the posterior simulation to be concentrated around the reference network. See [30] for more modeling and inference details of this topic.

Integrative network analysis from multi-platform genomic data
Different types of molecules in a living cell do not act in isolation; in fact, DNA, RNA and proteins work closely together to carry out various functions for each cell. Studies that consider only one specific type of molecules remain unnecessarily restricted. In [1] they integrate DNA and RNA molecules for a more robust and biologically interpretable estimate of a gene network. In particular, they consider p gene expressions Y = (Y 1 , . . . , Y p ) T , together with corresponding copy number and methylation, collectively denoted by X = (X 1 , . . . , X 2p ) T . They then exploit the central dogma of molecular biology that gene expression is produced by transcription from segments of DNA on which the copy number and methylation are measured, but the reverse processes are rare and biologically uninterpretable. The importance of this restriction is that in a network of Z = (Y , X) some edges have fixed pre-determined directions corresponding this observation. This in turn allows us to report meaningful inference on the directions of the remaining edges. Similar idea but in a different context has been proposed by [32][33][34]. With this assumption, they then model the regulatory relationships between copy number, methylation and gene expression with the following SEM Y = AY + BX + E (7) where A = (a ij ) ∈ R p×p with zeros on the diagonal, The SEM in (7) immediately prohibits gene expression from regulating copy number or methylation since there is no X on the right-hand side of the equation. It also explicitly allows for feedback loops between the genes which are quite common motifs in molecular networks and have key functional roles in many cellular processes such as regulating gene expressions and acting as bistable switches [35]. Such feature is missing in DAG's, UG's and CG's. Next they assign thresholded priors [36] for A and B, for i = 1, . . . , p, j = i and k = 2i − 1, 2i. The threshold parameter t i controls the minimum effect sizes of a ij and b ik and is assigned a uniform hyperprior t i ∼ Uniform(0, t 0 ). Normal priors are given toã ij andb ik , The thresholded priors enjoy nice theoretical properties as they are closely related to spike-and-slab prior and nonlocal prior as shown in [36][37][38]. We refer readers to [1] for a more comprehensive description of the work.

Reverse engineering gene networks with heterogeneous samples
Genomic data are often heterogeneous in the sense that the samples can be naturally divided into observed or hidden groups. For example, in a pan-cancer study, patients are normally grouped by the known cancer types whereas when studying a specific cancer, patients can be split into homogeneous latent subtypes. The inferential goals of these two cases are typically quite different. In the case with observed groups, much of the statistical work has been devoted to building models that allow information to be shared across groups. Such approaches improve the statistical power in graph estimation especially for groups with very limited samples by borrowing strength from other groups. For hidden groups, the underlying task becomes a clustering problem which aims to partition subjects into homogeneous clusters. In this section, we introduce two hierarchical RG models that are suitable for heterogeneous datasets. Interested readers can find more details in [38].
Suppose there are C known groups in the data. Let  (a c,ij ), B c = (b c,ij )and E c = ( c,1 , . . . , c,p To link the graphs across groups, they impose multivariate normal priors on the edge strength The covariance matrix = (ω cc ) connects edge strength and graph structure across groups. When ω cc is close to ±1,ã c,ij andã c ,ij tend to have similar absolute values, which gives rise to a high probability that the edge i ← j is included or excluded in groups c and c simultaneously since the threshold t i is shared across groups. Therefore, graphs from group c and c are more likely to share common edges. On the other hand, when ω cc is close to 0, the association between groups c and c is negligible. They do not fix . Instead, they use an inverse-Wishart prior, ∼ IW (ν, ) and let the data dictate how strong the associations should be. The Bayesian hierarchical model above allows for easy extension to the case where the groups are unknown. Ni et al. [38] simply augment the model with a Dirichletmultinomial (DM) allocation model on the group indicator c|π, C ∼ Multinomial(1, π 1 , . . . , π C ) and π|C ∼ Dir(η, . . . , η). The number of clusters C is usually unknown; they assume a geometric prior for C ∼ Geo(ρ), which eliminates the need to fix C a priori. They set the covariance matrix to be diagonal since the goal of clustering is to split samples into groups with disparate networks rather than encourage similarity across the clusters. Alternatively, one can also set to be a Stieltjes matrix (i.e. a positive definite matrix with nonpositive off-diagonal entries) to induce repulsive graphs.

Results
In this section, we generalize the RG approach of [1] by incorporating protein expressions in modeling the molecular network. Proteins provide important and orthogonal information in reverse engineering the network because they represent the downstream cumulative effect of changes that happen at the DNA and RNA levels and are more directly related to the phenotypical changes in cancer cells. Clinical utilization of genomic data alone show limited benefits, which is partly due to the poor concordance between gene and protein expressions [39,40]. Many factors such as complex interactions between different types of molecules are responsible for the discrepancy between gene and protein abundance.
The goal of this analysis is to explicitly model such complex interactions. We choose RG because it allows for efficient computation and great interpretability and is suitable to model reciprocal causality such as feedback mechanism.
We use the same notations Y = (Y 1 , . . . , Y p ) T and X = (X 1 , . . . , X 2p ) T to denote gene expressions and the matched copy number and methylation. Importantly, additionally, for each gene Y j , there is also the associated protein expression, denoted by Z j for j = 1, . . . , p. We extend the SEM in (7) to . In essence, model (8) defines the following joint probability model for (Y , Z) given X, The network structure is embedded in the parameters A, B, C and D. In this analysis, we restrict our attention to cis-regulatory relationships between DNAs and RNAs by constraining b ij to 0 for j = 2i − 1 or 2i for i = 1, . . . , p. That is, copy number and methylation of gene i can only affect gene expression i. The interpretation of model (9)  For error variances, we assume inverse-gamma priors, σ j , λ j ∼ IG(a, b) for j = 1, . . . , p which imply an inverse gamma conditional posterior distribution which in turn allows the use of a Gibbs sampling transition probability by sampling from the respective inverse gamma. The complete MCMC algorithm is provided in Algorithm 1.
Using TCGA-Assembler ( [41], version 2), we acquired, processed and combined TCGA ovarian cancer data, including copy number, methylation and gene expression from the Genomic Data Commons (GDC) and mass spectrometry proteomic samples generated by the Clinical Proteomic Tumor Analysis Consortium (CPTAC). The resulting dataset contains 104 samples. In this case Algorithm 1 3: update σ i , λ i by a Gibbs step 4: for j = 1, . . . , i − 1, i + 1, . . . , p do 5: update τ (a) ij by a Gibbs step 6: update τ (c) ij by a Gibbs step 7: update a ij by a Metropolis-Hastings step 8: update c ij by a Metropolis-Hastings step 9: end for 10: for j = 2i − 1, 2i do 11: update τ ij by a Gibbs step 12: update b ij by a Metropolis-Hastings step 13: end for 14: for j = 1, . . . , p do 15: update τ (d) ij by a Gibbs step 16: update d ij by a Metropolis-Hastings step 17: end for 18: update t i by a Metropolis-Hasting step 19: end for 20: Repeat steps 2-20 until convergence 21: Output posterior samples of A, B, C, D, t, Y , Z , τ study, we focus on p = 10 genes that are core members of the PI3K pathway [42], as shown in Fig. 3a, by playing a critical role in cell cycle progression, survival, motility, angiogenesis and immune surveillance [43]. It is one of the most frequently altered pathways in ovarian cancer [44,45]. For each gene, we have matched copy number, methylation, gene expression and protein expression (i.e. 40 nodes in total). We report inference based on 100,000 MCMC samples (thinned out to every 10th iteration) after discarding the first 50,000 iterations as burn-in.
The recovered network is shown in Fig. 3b where the blue solid lines represent activation whereas the red dashed lines are inactivations. The edge width is proportional to the posterior probabilities of inclusion p(a ij = 0|X, Y , Z), 0|X, Y , Z), which can be approximated by MCMC sample averages, for example, p(a ij = 0|X, Y , Z) = activities. AKT1 and AKT3 belong to the same AKT family which is known to have shown strong oncogenic function and is a key mediator of PI3K pathway function [46]. AKT isoforms are often phosphorylated in ovarian cancers and may play a role in mediating the progression of late-stage serous ovarian carcinomas [47]. mTOR plays a critical role in regulating cell growth and proliferation by integrating signals including growth factors, nutrients, energy and stress [48,49]. We also capture the well-known positive regulatory relationship between AKT1 and its downstream target mTOR [45,49]. Other findings that are consistent with the biological literature include the inhibitory relationship between proteins PTEN and AKT1 and stimulatory relationship between proteins PIK3CA and AKT1 [50,51]. Interestingly, the recovered network includes a negative feedback from proteins of mTOR to AKT1. Recent studies [45,[52][53][54] confirmed that such feedback mechanism can be either positive or negative depending on many factors including cell types and conditions.
Inference includes some surprising findings. For example, PIK3R1 is expected to activate rather than inactivate AKT1. Although the unexpected result may simply be a false positive, it deserves further experimental validation.

Discussion and conclusions
We have reviewed the basics of UG's, DAG's and RG's and discussed recent RG-based approaches in modeling molecular networks. The extension of the approach in [1] allows to integrate multi-platform data including copy number, methylation, gene expression and protein expression. Our approach can be further be generalized to incorporating other data types such as single nucleotide polymorphisms (SNPs), mutation status and microRNAs. SEM-based RG approaches, however, cannot be directly applied to SNPs and mutation status because they have discrete support and the condition C1 requires the data to be multivariate normal. This limitation can be addressed by imputing latent normal variables. Although we do not find serious violation of normality assumption in our data, if desired, one could adopt the approach of [29] and introduce additional layers of hidden variables when the data are seemingly non-normal. Another important assumption of the discussed approaches in this paper is homogeneity across samples. It is an unrealistic assumption in many applications, especially in oncology where the consensus is that tumors are extremely heterogeneous. Characterizing tumor heterogeneity can fundamentally improve our understanding of the cancer biology and practically allow us to divide heterogeneous patient population into homogeneous subpopulations so that refined personalized treatments can be developed targeting specific subgroups of cancer patients. Several approaches have been proposed for modeling networks with heterogeneous samples [38,[55][56][57].