Unsupervised Bayesian linear unmixing of gene expression microarrays

Background This paper introduces a new constrained model and the corresponding algorithm, called unsupervised Bayesian linear unmixing (uBLU), to identify biological signatures from high dimensional assays like gene expression microarrays. The basis for uBLU is a Bayesian model for the data samples which are represented as an additive mixture of random positive gene signatures, called factors, with random positive mixing coefficients, called factor scores, that specify the relative contribution of each signature to a specific sample. The particularity of the proposed method is that uBLU constrains the factor loadings to be non-negative and the factor scores to be probability distributions over the factors. Furthermore, it also provides estimates of the number of factors. A Gibbs sampling strategy is adopted here to generate random samples according to the posterior distribution of the factors, factor scores, and number of factors. These samples are then used to estimate all the unknown parameters. Results Firstly, the proposed uBLU method is applied to several simulated datasets with known ground truth and compared with previous factor decomposition methods, such as principal component analysis (PCA), non negative matrix factorization (NMF), Bayesian factor regression modeling (BFRM), and the gradient-based algorithm for general matrix factorization (GB-GMF). Secondly, we illustrate the application of uBLU on a real time-evolving gene expression dataset from a recent viral challenge study in which individuals have been inoculated with influenza A/H3N2/Wisconsin. We show that the uBLU method significantly outperforms the other methods on the simulated and real data sets considered here. Conclusions The results obtained on synthetic and real data illustrate the accuracy of the proposed uBLU method when compared to other factor decomposition methods from the literature (PCA, NMF, BFRM, and GB-GMF). The uBLU method identifies an inflammatory component closely associated with clinical symptom scores collected during the study. Using a constrained model allows recovery of all the inflammatory genes in a single factor.


Background
Factor analysis methods such as principal component analysis (PCA) have been widely studied and can be used for discovering the patterns of differential expression in time course and/or multiple treatment biological experiments using gene or protein microarray samples. These methods aim at finding a decomposition of the observation matrix Y ∈ R G×N whose rows (respectively columns) are indexed by gene index (respectively sample index). Typically, in gene expression analysis, the number N of *Correspondence: cecile.bazot@enseeiht.fr; nicolas.dobigeon@enseeiht.fr 1 University of Toulouse, IRIT/INP-ENSEEIHT, 2 rue Camichel, BP 7122, 31071 Toulouse cedex 7, France Full list of author information is available at the end of the article samples is much less than the number G of genes. For example, in an Affymetrix HU133 gene chip, the number G of genes may range from ten to twenty thousand depending on the type of chip description file (CDF) processing used to translate the oligonucleotide fragments to gene labels whereas we only analyze about a hundred of samples.
This decomposition expresses each of the N samples as a particular linear combination of R characteristic gene expression signatures, also referred to as factors, with appropriate proportions (or contributions), called factor scores, following a linear mixing model where M ∈ R G×R represents the factor loading matrix, A ∈ R R×N the factor score matrix and N ∈ R G×N is a matrix containing noise samples. Each sample y i (i = 1, . . . , N), corresponding to the i-th column of the observed gene expression matrix Y, is a vector of G gene expression levels that can be expressed as m r a r,i + n i = Ma i + n i (2) where m r is the r-th column of M, a r,i denotes the (r, i)-th element of the matrix A, a i and n i are the i-th column of A and N respectively. The number of factors R in the decomposition is usually much less than the number of samples N. Traditional factor analysis methods such as PCA require the experimenter to specify the desired number of factors to be estimated. However, some recent Bayesian factor analysis methods are totally unsupervised in the sense that the number of factors is directly estimated from the data [1][2][3].
The model (1) is identical to the standard factor analysis model [4] for which the columns of M are called factors and should correspond to biological signatures (or pathways). Note that the elements of the matrix M are referred to as factor loadings, and the columns of A are the factor scores. Approaches to fitting the model (1) to data include principal component analysis [5,6], least squares matrix factorization [7,8], finite mixture modeling [9,10], and Bayesian factor analysis [4,11,12].
This paper presents a new Bayesian factor analysis method called unsupervised Bayesian linear unmixing (uBLU), that estimates the number of factors and incorporates non-negativity constraints on the factors and factor scores, as well as a sum-to-one constraint for the factor scores. The uBLU method presented here differs from the BLU method, developed in [13] for hyperspectral imaging and applied to gene microarray expression analysis in [14]. Note that BLU requires user specification of the number of factors while uBLU determines the number of factors using Bayesian birth-death model. The positivity and sum-to-one constraints are natural in gene microarray analysis when the entries of the observation matrix are non-negative and when a proportional decomposition is desired. Thus each factor score corresponds to the concentration (or proportion) of a particular factor to a given sample. The advantage of this representation for gene expression analysis is twofold: i) the factor scores correspond to the strengths of each gene contributing to that factor; ii) for each gene chip the factor scores give the relative abundance of each factor present in the chip. For example, a gene having a large loading level (close to one) for a particular factor should have a small loading (close to zero) for all other factors. In this way, as opposed to other factor analysis methods, there is less multiplexing making it easier to associate specific genes to specific factors and vice versa.
A similar approach, based on NMR spectral imaging and called the Bayesian decomposition (BD), has been previously developed by Moloshok et al. and applied to gene expression data [11]. More recently, the coordinated gene activity in pattern sets method (CoGAPS), available as an open R-source [12], combines the GAPS-MCMC matrix factorization algorithm with a thresholdindependent statistic to infer activity in specific gene sets. However, these approaches require cold restarts of the algorithm with different number of factors and with different random seeds to avoid the large number of local minima encountered in the process of fitting the matrix factorization model MA to the data Y. In contrast, the proposed uBLU algorithm uses a judicious model to reduce sensitivity to local minima rather than using cold restarts. The novelty of the uBLU model is that it consists of: (1) a birth-death process to infer the number of factors; (2) a positivity constraint on the loading and score matrices M, A to restrict the space of solutions; (3) a sum-to-one constraint on the columns of A to further restrict the solution space. The uBLU model is justified for non-negative data problems like gene expression analysis and produces an estimate of the non-negative factors in addition to their proportional representation in each sample.
Bayesian linear unmixing, traditionally used for hyperspectral image analysis (see [13] for example), is one of many possible factor analysis methods that could be applied to gene expression analysis. These methods include non-negative matrix factorization (NMF) [7,8], independent component analysis (ICA) [15], Bayesian decomposition (BD) [11], PCA [5], bi-clustering [16], penalized matrix decomposition (PMD) [2], Bayesian factor regression modeling (BFRM) [1], and more recently the gradient-based algorithm of Nikulin et al. for general matrix factorization (GB-GMF) [17]. Contrary to uBLU, the PCA, ICA, BFRM, GB-GMF, bi-clustering and PMD methods do not account for non-negativity of the factor loadings and factor scores. On the other hand, NMF does not account for sum-to-one constraints on the columns of the factor score matrix. Contrary to PCA and ICA, uBLU does not impose orthogonality or independence on the factors, as well as the GB-GMF algorithm. These relaxed assumptions might better represent what is known about the preponderance of overlap and dependency in biological pathways. Finally, uBLU naturally accommodates Bayesian estimation of the number of factors, like BFRM. Note that BFRM has been specifically developed for gene expression data [1].
In this paper we provide comparative studies that establish quantitative performance advantages of the proposed constrained model and its corresponding uBLU algorithm http://www.biomedcentral.com/1471-2105/14/99 with respect to PCA, NMF, BFRM and GB-GMF for timevarying gene expression analysis, using synthetic data with known ground truth. We also illustrate the application of uBLU to the analysis of a real gene expression dataset from a recent viral challenge study [18] in which several subjects were administered viral inoculum and gene expression time course data were collected over a period of several days. Using these data, we may infer relationships between genes and symptoms and examine how the human host response to viral infection evolves with time.

Mathematical constrained model
Let y i represent a gene microarray vector of G gene expression levels. The elements of y i have units of hybridization abundance levels with non-negative values. In the context of gene expression data, the starting point for Bayesian linear unmixing is the linear mixing model (LMM) where R is the number of distinct gene signatures that can be present in the chip, m r = m 1,r , . . . , m G,r T is the r-th gene signature vector, m g,r ≥ 0 is the strength of the g-th gene (g = 1, . . . , G) in the r-th signature (r = 1, . . . , R), and a r,i is the relative contribution of the r-th signature vector to the i-th sample y i , where a r,i ∈[ 0, 1] and R r=1 a r,i = 1. Here n i denotes the residual error of the LMM representation. For a matrix of N data samples Y = y 1 , . . . , y N ∈ R G×N , the LMM can be rewritten with matrix notations where m g,r denotes the (g, r)-th element of matrix M. The constraints (5) arise naturally when dealing with positive data for which one is seeking the relative contribution of positive factors that have the same numerical characteristics as the data, i.e., the signature m r is itself interpretable as a vector of hybridization abundances. The objective of linear unmixing is to simultaneously estimate the factor matrix M and the factor score matrix A from the available N data samples. The representation (1) is rank deficient since A has rank N − 1. This presents algorithmic challenges for solving the unmixing problem. Several algorithms have been proposed in the context of hyperspectral imaging to solve similar problems [6,19]. Most of these algorithms perform unmixing in a two step procedure where M is estimated first using an endmember extraction algorithm (EEA) followed by a constrained linear least squares step to estimate A. A common (but restrictive) assumption in these algorithms is that some samples in the dataset are "pure" in the sense that the linear combination of (2) contains a unique factor, say m r , with factor score a r,i . Recently, this assumption has been relaxed by applying a hierarchical Bayesian approach, called Bayesian linear unmixing (BLU). The resulting algorithm requires the number R of factors to be specified (see [13] for details). Here we extend BLU to a fully unsupervised algorithm, called unsupervised BLU (uBLU), that estimates R using a birth-death model and a Gibbs sampler. The Gibbs sampler produces an estimate of the entire joint posterior distribution of the model parameters, resulting in a fully Bayesian estimator of the number of factors R, the factor loadings M, and the factor scores A. The uBLU model is described in the next subsection and the Gibbs sampling algorithm is given in the Appendix. In the Results and discussion section below we demonstrate the performance advantages of uBLU as a factor analysis model for simulated and real gene expression data.

Unsupervised Bayesian linear unmixing algorithm
The BLU algorithm studied in [13] generates samples distributed according to the posterior distribution of M and A given the number R of factors for appropriate prior distributions assigned to the mixing parameters in (2). First, the residual errors n i in (2) are assumed to be independent identically distributed (i.i.d.) according to zero-mean Gaussian distributions: n i ∼ N 0 G , σ 2 I G for i = 1, . . . , N, where I G denotes the identity matrix of dimension G × G.
The number of factors R to be estimated by the proposed uBLU algorithm is assigned a discrete uniform prior distribution on [ 2, . . . , R max ] where R max is the maximal number of factors present in the mixture. Because of the constraints in (5), the data samples y i (i = 1, . . . , N) live in a lower-dimensional subspace of R K (whose dimension is upper-bounded by K − 1) denoted as . This subspace can be identified by a standard dimension reduction procedure, such as PCA. Hence, instead of estimating the factor loadings m r ∈ R G (r = 1, . . . , R), we propose to estimate their http://www.biomedcentral.com/1471-2105/14/99 corresponding projections t r ∈ R K onto this subspace. Specifically, these projections can be represented as y i is the empirical mean of the data matrix Y and P is the (K − 1) × G appropriate projection matrix that projects onto V K−1 , which can be constructed from the principal eigenvectors of the empirical covariance matrix of Y. This dimension reduction procedure allows us to work in a lower-dimensional subspace without loss of information, and reduces significantly the computational complexity of the Bayes estimator of the factor loadings. A multivariate Gaussian distribution (MGD) truncated on a subset T r is chosen as prior distribution for the projected factors t r . The subset T r is defined in order to ensure the non-negativity constraint on m r (see [13]) More precisely, T r is obtained by noting that m r = P −1 t r + y and by looking for the vectors t r such that all components of P −1 t r +ȳ are non-negative. To estimate the mean vectors e r of these truncated MGDs, one can use a standard endmember extraction algorithm (EEA) common in hyperspectral imaging, e.g. N-FINDR [19]. To summarize, the prior distribution for the projected factor t r is t r |e r , s 2 r ∼ N T r e r , s 2 r I R−1 (9) where N T r e r , s 2 r I R−1 denotes the truncated MGD with mean vector e r and covariance matrix s 2 r I R−1 , with s 2 r a fixed hyperparameter. Assuming the vectors t r , for r = 1, . . . , R, are a priori independent, the prior distribution for the projected factor matrix T where ∝ stands for "proportional to", · is the standard l 2 -norm, 1 X (·) denotes the indicator function on the set X , E = [e 1 , . . . , e R ] and s 2 = s 2 1 , . . . , s 2 R . The sum-to-one constraint for the factor scores a i , for each observed sample i (i = 1, . . . , N), allows this vector a i to be rewritten as and a R,i = 1 − R−1 r=1 a r,i . Note here that any component of a i could be expressed as a function of the others, i.e., a r,i = 1 − k =r a k,i . The last component a R,i has been chosen here for notation simplicity. To ensure the positivity constraint, the subvectors a 1:R−1,i must belong to the simplex S = {a 1:R−1,i | a 1:R−1,i 1 ≤ 1 and a i 0}, (12) where · 1 is the l 1 norm ( a i 1 = R r=1 |a r,i |) and a i 0 stands for the set of inequalities {a r,i ≥ 0} r=1,...,R . Following the model in [13], we propose to assign uniform distributions over the simplex S as priors for the subvectors a 1: For the prior distribution on the variance σ 2 of the residual errors we chose a conjugate inverse-Gamma distribution with parameters ν/2 and γ /2 The shape parameter ν is a fixed hyperparameter whereas the scale parameter γ will be adjustable, as in [13]. A noninformative Jeffreys' prior is chosen as prior distribution for the hyperparameter γ , i.e., The resulting hierarchical structure of the proposed uBLU model is summarized in the directed acyclic graph (DAG) presented in Additional file 1: Figure S1.
The model defined in (1) and the Gaussian assumption for the noise vectors n 1 , . . . , n N allow the likelihood of y 1 , . . . , y N to be determined Multiplying this likelihood by the parameter priors defined in (10), (13), (14) and (6), and integrating out the nuisance parameter γ , the posterior distribution of the unknown parameter vector = {M, A, σ 2 , R} can be expressed as Considering the parameters to be a priori independent, the following result can be obtained (18) where f (A|R), f T|E, s 2 , R and f σ 2 |ν, γ are respectively the prior distributions of the factor score matrix A, the projected factor matrix T and the noise variance σ 2 previously defined. http://www.biomedcentral.com/1471-2105/ 14/99 Due to the constraints enforced on the data, the posterior distribution f (M, A, R|Y) obtained from the proposed hierarchical structure is too complex to derive analytical expressions of the Bayesian estimators, e.g., the minimum mean square (MMSE) and maximum a posteriori (MAP) estimators. In such case, it is natural to use Markov chain Monte Carlo (MCMC) methods [20] to generate samples M (t) , A (t) and R (t) asymptotically distributed according to f (M, A, R|Y). However, the dimensions of the factor loading matrix M and the factor score matrix A depend on the unknown number R of signatures to be identified. As a consequence, sampling from f (M, A, R|Y) requires exploring parameter spaces of different dimensions. To solve this dimension matching problem, we include a birth/death process within the MCMC procedure. Specifically, a birth, death or switch move is chosen at each iteration of the algorithm (see the Appendix and [21]). This birth-death model differs from the classical reversiblejump MCMC (RJ-MCMC) (as defined in [21]) in the sense that, for the birth-death model, each move is accepted or rejected at each iteration using the likelihood ratio between the current state and the new state proposed by the algorithm. The factor matrix M, the factor score matrix A and the noise variance σ 2 are then updated, conditionally upon the number of factors R, using Gibbs moves.
After a sufficient number of iterations (N mc iterations, including a burn-in period of N bi iterations), the traditional Bayesian estimators (e.g., MMSE and MAP) can be approximated using the generated samples M (t) , A (t) and R (t) . First, the generated samples are used to approximate the MAP estimator of the number of factors (19) where N k is the number of generated samples Then, conditioned on R MAP , the joint MAP estimator M MAP , A MAP of the factor and factor score matrices is determined as follows

Results and discussion
The proposed method consists of estimating simultaneously the matrices M and A defined in (1), under the positivity and sum-to-one constraints mentioned previously, in a fully unsupervised framework, i.e., the number of factors R is also estimated from the data. A Gibbs sampler algorithm is designed that generates samples distributed according to the posterior distribution associated to the proposed uBLU model. For more details about the Gibbs sampling strategy, see the Appendix.

Simulations on synthetic data
To illustrate the performance of the proposed Bayesian factor decomposition, we first present simulations conducted on synthetic data. More extensive simulation results are reported in the Additional file 1.

Simulation scenario
Several synthetic datasets D 1 , . . . , D 4 were generated. The experiments presented here correspond to the expression values of G = 512 genes (for datasets D 1 , D 3 and D 4 ) or G = 12000 genes (for dataset D 2 ) with N = 128 samples. Each sample is composed of exactly R = 3 factors mixed using the linear mixing model in (1). The factors of the first dataset D 1 have been generated so that only a few genes affect each factor. For the second dataset D 2 , realistic factors have been extracted from real genetic datasets. The third dataset D 3 has been generated enforcing the factors to be orthogonal but not necessarily positive whereas in the forth dataset, D 4 , factors are orthogonal and positive. These simulation conditions are summarized in Table 1.
In each case, the R = 3 factors were mixed in random proportions (factor scores), with positivity and sum-toone constraints. All synthetic datasets were corrupted by an i.i.d. Gaussian noise sequence. The signal-to-noise ratio

Proposed method (uBLU)
The first step of the algorithm consists of estimating the number of factors R involved in the mixture, and hence determining the dimensions of the matrices M and A, using the maximum a posteriori (MAP) estimator R MAP . The second step of the algorithm consists of estimating the unknown model parameters (M, A and σ 2 ) given R MAP . The estimated posterior distributions of the unknown model parameters are given in Additional file 1: Figure S5 and validate the proposed Bayesian model.
The burn-in period and number of Gibbs samples were determined using quantitative methods described in the Additional file 1: Section "Convergence diagnosis".

Comparison to other methods
The performance of the proposed uBLU algorithm is compared with other existing factor decomposition methods including PCA, NMF, BFRM and GB-GMF by using the following criteria, which are common measures used to compare factor analysis algorithms, • the factor mean square errors (MSE) wherem r is the estimated r-th factor loading vector, • the global MSE of factor scores whereâ r,i is the estimated proportion of the r-th factor in the i -th sample, • the reconstruction error (RE) whereŷ i = R r=1m râr,i is the estimate of y i , • the spectral angle distance (SAD) between m r and its estimatem r for each factor r = 1, . . . , R SAD r = arccos m T r m r m r m r where arccos(·) is the inverse cosine function, • the global spectral angle distance (GSAD) between y i (the i -th observation vector) andŷ i (its estimate) • the computational time.
The proposed uBLU algorithm, the PCA, NMF and GB-GMF methods were implemented in Matlab 7.8.0 (R2009a). The BFRM software (version 2.0) was downloaded from [22] and implemented with default values for the parameters. All methods were implemented on an Intel(R) Core(TM)2 Duo processor.
Simulation results are reported in Tables 2, 3, 4 and 5. Note that the positivity and sum-to-one constraints that are enforced on the data for the proposed uBLU algorithm avoid the scale ambiguity inherent to any factor decomposition problem. Conversely, for the other factor decomposition methods (PCA, NMF, BFRM and GB-GMF), if {M, A} is an admissible solution, {MB, B T A} is also admissible for any scaling and permutation matrix B. Hence a re-scaling is required to identify appropriate permutations before computing MSEs and GMSEs. Moreover, when PCA, NMF, BFRM and GB-GMF methods are run for R = 4, we only considered the 3 factors yielding the 3 smallest SADs values.
These results show that the uBLU method is more flexible since it provides better unmixing performance across all of the considered synthetic datasets D 1 , . . . , D 4 as compared to other existing factorization methods (PCA, NMF, BFRM and GB-GMF). Moreover, uBLU has the following advantages: i) it is fully unsupervised and does not require the number of factors to be specified as a prior knowledge, ii) due to the constraints, the factors and factor scores are estimated without scale ambiguity. The disadvantage is the execution time: uBLU requires more computation due to the Gibbs sampling.

Evaluation on gene expression data
Here the proposed algorithm is illustrated on a real timeevolving gene expression data from recent viral challenge studies on influenza A/H3N2/Wisconsin. The data are available at GEO, accession number GSE30550.

Details on data collection
We briefly describe the dataset. For more details the reader is referred to [14,18]. H3N2 dataset consists of the gene expression levels of N = 267 Affymetrix chips collected on 17 healthy human volunteers experimentally infected with influenza A/Wisconsin/67/2005 (H3N2). A clinical symptom score was assigned to each sample by clinicians who participated in the study. Nine of the 17 subjects (those labeled Z01, Z05, Z06, Z07, Z08, Z10, Z12, Z13, and Z15 in Figure 1c) became clinically ill during the study. These labels are only used as ground truth to quantify performance and are not available to the uBLU algorithm. The challenge consists of inoculating intranasally a dose of 10 6 TCID 50 Influenza A manufactured and processed under current good manufacturing practices (cGMP) by Baxter BioScience. Peripheral blood microarray analysis was performed at multiple time instants corresponding to baseline (24 hours prior to inoculation with virus), then at 8 hour intervals for the initial 120 hours and then 24 hours for two further days. Each sample consisted of over G = 12000 gene expression values after standard microarray data normalization with RMA using the custom brain array cdf [14]. No other preprocessing was applied prior to running the five unsupervised methods (uBLU, PCA, NMF, BFRM, and GB-GMF).

Application of the proposed uBLU algorithm
The uBLU algorithm was run with N mc = 10000 Monte Carlo iterations, including a burn-in period of N bi = 1000 iterations. uBLU allows the posterior distribution of the number of factors R, depicted in Figure 1a, to be estimated. The results show that the MAP estimate of the http://www.biomedcentral.com/1471-2105/14/99     number of factors is R MAP = 4 (more than 90% of the generated Gibbs samples of the number of factors were equal to 4). Figure 2 shows the reconstruction error RE (t) as a function of the number of iterations (t = 1, . . .). The reconstruction errors are computed from the observed gene expression data matrix and the estimates of the factor and factor score matrix M and A at each iteration. Figure 2 also indicates that the number of burn-in and Monte Carlo samples N bi = 1000 and N mc = 10000 are sufficient.
The different factors are depicted in Figure 1b where the G genes have been reordered so that the dominant genes are grouped together in each factor. Factors are then ordered with respect to their maximum loading. Specifically, the k-th sharp peak in the figure occurs at the gene index that has maximal loading in factor k. Genes to the right of this dominant gene up to the (k + 1)-st peak also dominate in this k-th factor, but at a lower degree. uBLU identifies a strong factor (the first factor, in red) by virtue of its significantly larger proportion of highly dominant genes. Many of the genes in this strong factor are recognizable as immune response genes that regulate pattern recognition, interferon, and inflammation pathways in respiratory viral response. A very similar factor was found in a different analysis [14,18] of this dataset and here we call it the "inflammatory component". http://www.biomedcentral.com/1471-2105/14/99 The factor scores corresponding to this inflammatory component are shown in Figure 1c, where they are rendered as an image whose columns (respectively rows) index the subjects (respectively the different time sampling instants). Figure 1c shows that uBLU clearly separates the samples of subjects exhibiting symptoms (associated with the last 9 rows) from those who remain asymptomatic (associated with the first 8 rows), when the estimated number of factors isR = 4. Moreover, this symptom factor can be used to segment the data matrix into 3 states: pre-onset-symptomatic (before significant symptoms occur), post-onset-symptomatic and asymptomatic.
Furthermore, this inflammatory factor identified by the proposed uBLU algorithm is most highly represented in those samples associated with acute flu symptoms, as measured by modified Jackson scores (see [14], Figure 1B). The dominant gene contributors to this inflammatory component correspond to well-known transcription factors controlling immune response, inflammatory response and antigen presentation -see Table 6. The reader is referred to [14,18] for more details on clinical determination of symptom scores and biological significance of the inflammatory component genes.
For comparison we applied a supervised version of the proposed uBLU algorithm to the H3N2 dataset. This was NCI-curated pathway associations of group of genes contributing to uBLU inflammatory component, whose factor scores are shown in Figure 1 (Source: NCI pathway interaction database http://pid.nci.nih.gov). Genes in uBLU factor are significantly better represented in the NCI-curated pathways than the genes in NMF (compare p-values here to those in Table 8).
implemented by setting the number of factors to R = 4 and using the algorithm [13] to jointly estimate M and A. The inflammatory component found by the supervised algorithm was virtually identical to the one found by the proposed algorithm (uBLU) that automatically selects R = 4.

Comparison to other methods
The uBLU algorithm is compared with four matrix factorization algorithms, i.e. PCA, NMF, BFRM and GB-GMF methods. Figure 3 depicts the different factors, ordered so that the inflammatory group is the leftmost one (in red). The factor loadings obtained with NMF or PCA reveal the inflammatory component. However, there are fewer highly dominant genes in the NMF and PCA loadings for this factor as compared to uBLU. The BFRM and GB-GMF methods found four pathways, several overlapping with those of uBLU, NMF and PCA.
The factor scores of the five matrix factorization methods corresponding to the inflammatory component are depicted in Figure 4. This figure shows that the uBLU and the NMF methods are better able to attain a high contrast separation between the acutely symptomatic samples and the other samples. This is confirmed by the evaluation of the Fisher criteria (22) between these two regions (see Table 7). Indeed, denote by μ pos , σ 2 pos the empirical mean and variance of the scores associated with the N pos samples in the acute symptomatic state (bright colored samples in the lower right rectangle of Figure 1c). Denote Figure 3 Factor loadings ranked by decreasing dominance for H3N2 challenge data. uBLU shows a particularly strong component (Figure 1b), the group 1, that corresponds to the well-known inflammatory pathway. NMF and PCA algorithms also reveal an inflammatory component, but it includes fewer relevant genes than uBLU. See Figure 4 for the corresponding factor scores. http://www.biomedcentral.com/1471-2105/14/99 Figure 4 Heatmaps of the factor scores of the inflammatory component for H3N2 challenge data. The inflammatory factor determined by the proposed uBLU method (a) shows higher contrast between symptomatic and asymptomatic subjects than the other methods. The five black colored pixels of the heatmaps indicate samples that were not assayed. http://www.biomedcentral.com/1471-2105/14/99 To compare the biological relevance of the inflammatory genes found by uBLU to those found by the other methods we performed gene enrichment analysis (GEA).
Here we only report GEA comparisons between uBLU and NMF. Tables 6 and 8 show the pathway enrichment associated with the top 200 genes found by uBLU and NMF, respectively, using NCI pathway interaction database (http://pid.nci.nih.gov). The uBLU genes are significantly better associated with the NCI-curated pathways than the NMF genes. In particular, the two most enriched pathways, IFN-gamma and PDGFR beta signaling, associated with the uBLU genes have much higher statistical significance (lower p-value) than any of the pathways associated with NMF. Figure 5 shows how the factor scores of the dominant factor can be used as features to cluster samples. Euclidean multidimensional scaling (MDS) [24] is used to map the factor score vector for each sample as a coordinate in the plane. Each sample is embedded with a color and a size, denoting the state of the subject (asymptomatic subjects in blue, symptomatic subjects in red) and the time stamp, respectively. These figures show that uBLU can separate sick and healthy subjects, as well as or better than NMF, BFRM and GB-GMF.
One can conclude from these comparisons that, when applied on the H3N2 dataset, the proposed uBLU algorithm outperforms PCA, NMF, BFRM, and GB-GMF algorithms in terms of finding genes with higher pathway enrichment and achieving higher contrast of the acute symptom states.
The computational times required by the five considered matrix factorization methods, including the proposed uBLU algorithm, when applied to this real dataset, are reported in Table 7. The GB-GMF algorithm is slightly faster than the proposed algorithm but does not identify the inflammatory component or achieve good contrast of the acute symptom states in the H3N2 challenge study.

Conclusions
This paper proposes a new Bayesian unmixing algorithm for discovering signatures in high dimensional biological data, and specifically for gene expression microarrays. An interesting property of the proposed algorithm is that it provides positive factor loadings to ensure positivity as well as sum-to-one constraints for the factor scores. NCI-curated pathway associations of group of genes contributing to NMF inflammatory component, whose factor scores are shown in Figure 4 (Source: NCI pathway interaction database http://pid.nci.nih.gov). Genes in uBLU factor are significantly better represented in the NCI-curated pathways than the genes in NMF (compare p-values here to those in Table 6). http://www.biomedcentral.com/1471-2105/14/99 Figure 5 Chip clouds after demixing for H3N2 challenge data. These figures show the scatter of the four dimensional factor score vectors (projected onto the plane using MDS) for each algorithm that was compared to uBLU. uBLU, NMF and BFRM obtain a clean separation of samples of symptomatic (red points) and asymptomatic (blue points) subjects whereas the separation is less clear with PCA. In these scatter plots the size of a point is proportional to the time at which the sample was taken during challenge study. http://www.biomedcentral.com/1471-2105/14/99 The advantages of these constraints are that they lead to better discrimination between sick and healthy individuals, and they recover the inflammatory genes in a unique factor, the inflammatory component. The proposed algorithm is fully unsupervised in the sense that it does not depend on any labeling of the samples and that it can infer the number of factors directly from the observation data matrix. Finally, as any Bayesian algorithm, the Monte Carlo-based procedure investigated in this study provides point estimates as well as confidence intervals for the unknown parameters, contrary to many existing factor decomposition methods such as PCA or NMF.
Simulation results performed on synthetic and real data demonstrated significant improvements. Indeed, when applied to real time-evolving gene expression datasets, the uBLU algorithm revealed an inflammatory factor with higher contrast between subjects who would become symptomatic from those who would remain asymptomatic (as determined by comparing to ground truth clinical labels).
In this study, the time samples were modeled as independent. Future works include extensions of the proposed model to account for time dependency between samples.

Appendix A: Gibbs sampler
This appendix provides more details about the Gibbs sampler strategy to generate samples {M (t) , A (t) , σ 2 (t) , R (t) } distributed according to the joint distribution f M, A, σ 2 , R|Y (the reader is referred to [25] for more details about the Gibbs sampler and MCMC methods). This joint distribution can be obtained by integrating out the hyperparameter γ from f ( , γ |Y) defined in (18) and can be written (23) where the dimensions of the matrices M, T, and A depend on the unknown number of factors R and the priors have been defined in the Section "Methods".
The different steps of the Gibbs sampler are detailed below.

Inference of the number of factors
The proposed unsupervised algorithm includes a birth/death process for inferring the number of factors R, i.e., it generates samples R in addition to M and A. More precisely, at iteration t of the algorithm, a birth, death or switch move is randomly chosen with probabilities b R (t) , d R (t) and s R (t) . The birth and death moves consist of increasing or decreasing by 1 the number R of factors using a reversible jump step (see [21] for more details), whereas the switch move does not change the dimension of R and requires the use of a Metropolis-Hastings acceptance procedure. Let consider a move, at iteration index t, from the state {M (t) , A (t) , R (t) } to the new state {M , A , R }. The birth, death and switch moves are defined as follows, similar to those used in [26] (Algorithms 3, 4 and 5).
• Birth move: When a birth move is proposed, a new signature m is randomly generated to build M = M (t) , m . The new corresponding space is checked so that the signatures are sufficiently distinct and separate from one another. Then, a new factor score coefficient is drawn, for each vector a i (i = 1, . . . , N), from a Beta distribution B 1, R (t) , and the new factor score matrix, denoted as A , is re-scaled to sum to one. • Death move: When a death move is proposed, one of the factors of M (t) , and its corresponding factor score coefficients, are randomly removed. The remaining factor scores are re-scaled to ensure the sum-to-one constraint. • Switch move: When a switch move is proposed, a signature m is randomly chosen and replaced with another signature randomly generated. If the new signature is too close to another, its corresponding factor scores are proportionately distributed among its closest factors. Indeed, the switch move consists of creating a new signature (birth move) and deleting another one (death move) in a faster single step.
Each move is then accepted or rejected according to an empirical acceptance probability: the likelihood ratio between the actual state and the proposed new state. The factor matrix M, the factor score matrix A and the noise variance σ 2 are then updated, conditionally upon the number of factors R, using the following Gibbs steps.

Generation of samples according to f T|A, σ 2 , R, Y
Sampling from the joint conditional f (T|A, σ 2 , R, Y) is achieved by updating each column of T using Gibbs moves. Let denote T \r the matrix T whose r-th column has been removed. The posterior distribution of t r is the following truncated multivariate Gaussian distribution (MGD) t r |T \r , a r , σ 2 , Y ∼ N T r (τ r , r ) (24) For more details on how we generate realizations from this truncated distribution, see [13].
1 R−1 = [1, . . . , 1] ∈ R R−1 and M \R denotes the factor loading matrix M whose R-th column has been removed. Figure 6 Contribution of each constraint on the scores of the inflammatory factor (H3N2 challenge data). The five black colored pixels of the heatmaps indicate samples that were not assayed. Note that when only the sum-to-one constraint is applied, non-negativity is not guaranteed. However, for this dataset the sum-to-one factor scores turn out to take on non-negative values for the inflammatory factor (but not for the other factors). http://www.biomedcentral.com/1471-2105/14/99 Benefit of constraints in uBLU in terms of gene enrichment in the NCI-curated IFN-gamma and IL23-mediated pathways. As in Tables 6 and 8, the top 200 genes in the inflammatory components, whose scores are shown in Figures 6(a-d), were analyzed using the NCI Pathway Interaction Database. Both positivity and sum-to-one constraints are necessary for uBLU to reveal these two pathways with the high significance (p-value less than 10 −6 ).
Equation (26) shows that the factor score distribution is an MGD truncated on the simplex S defined in (12).

Generation of samples according to f σ 2 |T, A, R, Y
Using (14) and (16), one can show that the conditional distribution f (σ 2 |M, A, Y) is the following inverse-Gamma distribution