Skip to main content

A mixture model approach to sample size estimation in two-sample comparative microarray experiments



Choosing the appropriate sample size is an important step in the design of a microarray experiment, and recently methods have been proposed that estimate sample sizes for control of the False Discovery Rate (FDR). Many of these methods require knowledge of the distribution of effect sizes among the differentially expressed genes. If this distribution can be determined then accurate sample size requirements can be calculated.


We present a mixture model approach to estimating the distribution of effect sizes in data from two-sample comparative studies. Specifically, we present a novel, closed form, algorithm for estimating the noncentrality parameters in the test statistic distributions of differentially expressed genes. We then show how our model can be used to estimate sample sizes that control the FDR together with other statistical measures like average power or the false nondiscovery rate. Method performance is evaluated through a comparison with existing methods for sample size estimation, and is found to be very good.


A novel method for estimating the appropriate sample size for a two-sample comparative microarray study is presented. The method is shown to perform very well when compared to existing methods.


One of the most frequently used experimental setups for microarrays is the two-sample comparative study, i.e. a study that compares expression levels in samples from two different experimental conditions. In the case of replicated two-sample comparisons statistical tests may be used to assess the significance of the measured differential expression. A natural test statistic for doing so is the t-statistic (see e.g. [1]), which will be our focus here. In the context of two-sample comparisons it is also convenient to introduce the concept of 'effect size'. In this paper effect size is taken to mean: the difference between two conditions in a gene's mean expression level, divided by the common standard deviation of the expression level measurements.

In an ordinary microarray experiment thousands of genes are measured simultaneously. Performing a statistical test for each gene leads to a multiple hypothesis testing problem, and a strategy is thus needed to control the number of false positives among the tests. A successful approach to this has been to control the false discovery rate (FDR) [2], or FDR-variations like the positive false discovery rate (pFDR) [3].

To obtain the wanted results from an experiment it is important that an appropriate sample size, i.e. number of biological replicates, is used. A goal can, for example, be set in terms of a specified FDR and average power, and a sample size chosen so that the goal may be achieved [4].

In the last few years many methods have been suggested that can help estimate the needed sample size. Some early approaches [5, 6] relied on simulation to see the effect of sample size on the FDR. Later work established explicit relationships between sample size and FDR. A common feature of the more recent methods is that they require knowledge of the distribution of effect sizes in the experiment to be run. In lack of this distribution there are two alternatives. The first alternative is simply specifying the distribution to be used. The choice may correspond to specific patterns of differential expression that one finds interesting, or it can be based on prior knowledge of how effect sizes are distributed. Many of the available methods discuss sample size estimates for specified distributions [711]. The second alternative is estimating the needed distribution from a pilot data set. Ferreira and Zwinderman [12] discuss one such approach. Assuming that the probability density functions for the test statistics are symmetric and belonging to a location family, they obtain the wanted distribution using a deconvolution estimator. One should note that, for the sample sizes often used in a microarray experiment, the noncentral density functions for t-statistics depart from these assumptions. Hu et al. [13] and Pounds and Cheng [14] discuss two different approaches. Both methods recognize that test statistics for differentially regulated genes are noncentrally distributed, and aim to estimate the corresponding noncentrality parameters. From the noncentrality parameters, effect sizes can be found. Hu et al. consider, as we do, t-statistics and estimate the noncentrality parameters by fitting a 3-component mixture model to the observed statistics of pilot data. Pounds and Cheng consider F-statistics and estimate a noncentrality parameter for each observation. They then rescale the estimates according to a Bayesian q-value interpretation [15]. A last approach that needs mention is that of Pawitan et al. [16], which fits a mixture model to observed t-statistics using a likelihood-based criterion. The approach is not explored as a sample size estimation method in the paper by Pawitan et al., but it can be put to this use.

In this article we introduce a mixture model approach to estimating the underlying distribution of noncentrality parameters, and thus also effect sizes, for t-statistics observed in pilot data. The number of mixture components used is not restricted, and we present a novel, closed form, algorithm for estimating the model parameters. We then demonstrate how this model can be used for sample size estimation. By examining the relationships between FDR and average power, and between FDR and the false nondiscovery rate (FNR), we are able to choose sample sizes that control these measures in pairs. To validate our model and sample size estimates, we test its performance on simulated data. We include the estimates made by the methods of Hu et al., Pounds and Cheng and Pawitan et al.

Results and Discussion

Notation, assumptions and test statistics

Throughout this text t ν (λ) represents the probability density function (pdf) of a t-distributed random variable with ν degrees of freedom and noncentrality parameter λ. A central t pdf, t ν (0), can also be written t ν . A t ν (λ) evaluated at x is written t ν (x; λ).

Assume gene expression measurements can be made in a pilot study. For a particular gene we denote the n1 measurements from condition 1 and the n2 from condition 2 by X1i, (i = 1, ..., n1) and X2j, (j = 1, ..., n2). Let (μ1, σ 1 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aa0baaSqaaiabigdaXaqaaiabikdaYaaaaaa@2FAC@ ) and (μ2, σ 2 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aa0baaSqaaiabikdaYaqaaiabikdaYaaaaaa@2FAE@ ) be expectation and variance for each X1iand X2j, respectively. For simplicity we focus in this paper on the case where σ 1 2 = σ 2 2 = σ 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aa0baaSqaaiabigdaXaqaaiabikdaYaaakiabg2da9iab=n8aZnaaDaaaleaacqaIYaGmaeaacqaIYaGmaaGccqGH9aqpcqWFdpWCdaahaaWcbeqaaiabikdaYaaaaaa@3878@ . As is common in microarray data analysis, the X1is and X2js are assumed to be normally distributed random variables.

Measured expression levels are often transformed before normality is assumed.

A statistic frequently used to detect differential expression in this setting, is the t-statistic. Two versions of t-statistics can be used, depending on the experimental setup. In the first setup, measurements for each condition are made separately. Inference is based on the two-sample statistic

T 1 = n 1 n 2 ( n 1 + n 2 ) 1 ( X ¯ 1 X ¯ 2 ) ( n 1 + n 2 2 ) 1 [ ( n 1 1 ) S 1 2 + ( n 2 1 ) S 2 2 ] , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemivaq1aaSbaaSqaaiabigdaXaqabaGccqGH9aqpjuaGdaWcaaqaamaakaaabaGaemOBa42aaSbaaeaacqaIXaqmaeqaaiabd6gaUnaaBaaabaGaeGOmaidabeaacqGGOaakcqWGUbGBdaWgaaqaaiabigdaXaqabaGaey4kaSIaemOBa42aaSbaaeaacqaIYaGmaeqaaiabcMcaPmaaCaaabeqaaiabgkHiTiabigdaXaaaaeqaaiabcIcaOiqbdIfayzaaraWaaSbaaeaacqaIXaqmaeqaaiabgkHiTiqbdIfayzaaraWaaSbaaeaacqaIYaGmaeqaaiabcMcaPaqaamaakaaabaGaeiikaGIaemOBa42aaSbaaeaacqaIXaqmaeqaaiabgUcaRiabd6gaUnaaBaaabaGaeGOmaidabeaacqGHsislcqaIYaGmcqGGPaqkdaahaaqabeaacqGHsislcqaIXaqmaaGaei4waSLaeiikaGIaemOBa42aaSbaaeaacqaIXaqmaeqaaiabgkHiTiabigdaXiabcMcaPiabdofatnaaDaaabaGaeGymaedabaGaeGOmaidaaiabgUcaRiabcIcaOiabd6gaUnaaBaaabaGaeGOmaidabeaacqGHsislcqaIXaqmcqGGPaqkcqWGtbWudaqhaaqaaiabikdaYaqaaiabikdaYaaacqGGDbqxaeqaaaaakiabcYcaSaaa@6830@

where X ¯ k = n k 1 i = 1 n k X k i MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGafmiwaGLbaebadaWgaaWcbaGaem4AaSgabeaakiabg2da9iabd6gaUnaaDaaaleaacqWGRbWAaeaacqGHsislcqaIXaqmaaGcdaaeWaqaaiabdIfaynaaBaaaleaacqWGRbWAcqWGPbqAaeqaaaqaaiabdMgaPjabg2da9iabigdaXaqaaiabd6gaUnaaBaaameaacqWGRbWAaeqaaaqdcqGHris5aaaa@40EF@ and S k 2 = ( n k 1 ) 1 i = 1 n k ( X k i X ¯ k ) 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaem4uam1aa0baaSqaaiabdUgaRbqaaiabikdaYaaakiabg2da9iabcIcaOiabd6gaUnaaBaaaleaacqWGRbWAaeqaaOGaeyOeI0IaeGymaeJaeiykaKYaaWbaaSqabeaacqGHsislcqaIXaqmaaGcdaaeWaqaaiabcIcaOiabdIfaynaaBaaaleaacqWGRbWAcqWGPbqAaeqaaOGaeyOeI0IafmiwaGLbaebadaWgaaWcbaGaem4AaSgabeaakiabcMcaPmaaCaaaleqabaGaeGOmaidaaaqaaiabdMgaPjabg2da9iabigdaXaqaaiabd6gaUnaaBaaameaacqWGRbWAaeqaaaqdcqGHris5aaaa@4C33@ . Under the null hypothesis H0 : μ1 = μ2, T1 has a t n 1 + n 2 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemiDaq3aaSbaaSqaaiabd6gaUnaaBaaameaacqaIXaqmaeqaaSGaey4kaSIaemOBa42aaSbaaWqaaiabikdaYaqabaWccqGHsislcqaIYaGmaeqaaaaa@354D@ pdf. If, however, H0 is not true, and there is a difference μ1 - μ2 = ξ, the pdf of the statistic is a t n 1 + n 2 2 ( ξ σ 1 n 1 n 2 ( n 1 + n 2 ) 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemiDaq3aaSbaaSqaaiabd6gaUnaaBaaameaacqaIXaqmaeqaaSGaey4kaSIaemOBa42aaSbaaWqaaiabikdaYaqabaWccqGHsislcqaIYaGmaeqaaOGaeiikaGccciGae8NVdGNae83Wdm3aaWbaaSqabeaacqGHsislcqaIXaqmaaGcdaGcaaqaaiabd6gaUnaaBaaaleaacqaIXaqmaeqaaOGaemOBa42aaSbaaSqaaiabikdaYaqabaGccqGGOaakcqWGUbGBdaWgaaWcbaGaeGymaedabeaakiabgUcaRiabd6gaUnaaBaaaleaacqaIYaGmaeqaaOGaeiykaKYaaWbaaSqabeaacqGHsislcqaIXaqmaaaabeaaaaa@4AA9@ . This setup includes comparing measurements from single color arrays and two-color array reference designs. In a second kind of experiment, measurements are paired. In the case of, for example, n two-color slides that compare the two conditions directly, then n1 = n2 = n, and the statistic used is

T 2 = d ¯ S d 2 / n , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemivaq1aaSbaaSqaaiabikdaYaqabaGccqGH9aqpjuaGdaWcaaqaaiqbdsgaKzaaraaabaWaaOaaaeaacqWGtbWudaqhaaqaaiabdsgaKbqaaiabikdaYaaacqGGVaWlcqWGUbGBaeqaaaaakiabcYcaSaaa@3860@

where d ¯ = n 1 i = 1 n ( X 1 i X 2 i ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGafmizaqMbaebacqGH9aqpcqWGUbGBdaahaaWcbeqaaiabgkHiTiabigdaXaaakmaaqadabaGaeiikaGIaemiwaG1aaSbaaSqaaiabigdaXiabdMgaPbqabaGccqGHsislcqWGybawdaWgaaWcbaGaeGOmaiJaemyAaKgabeaakiabcMcaPaWcbaGaemyAaKMaeyypa0JaeGymaedabaGaemOBa4ganiabggHiLdaaaa@4288@ and S d 2 = ( n 1 ) 1 i = 1 n ( d i d ¯ ) 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaem4uam1aa0baaSqaaiabdsgaKbqaaiabikdaYaaakiabg2da9iabcIcaOiabd6gaUjabgkHiTiabigdaXiabcMcaPmaaCaaaleqabaGaeyOeI0IaeGymaedaaOWaaabmaeaacqGGOaakcqWGKbazdaWgaaWcbaGaemyAaKgabeaakiabgkHiTiqbdsgaKzaaraGaeiykaKYaaWbaaSqabeaacqaIYaGmaaaabaGaemyAaKMaeyypa0JaeGymaedabaGaemOBa4ganiabggHiLdaaaa@4640@ . Now, under H0 : μ1 = μ2, T2 has as a tn - 1pdf. If μ1 - μ2 = ξ, however, the pdf of T2 is a tn - 1(ξ σ-1 n MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWaaOaaaeaacqWGUbGBaSqabaaaaa@2D53@ ).

In both experimental setups we note that the pdf of t-statistics for truly unregulated genes is t ν (0). For truly regulated genes the pdf is t ν (δ), with δ ≠ 0 reflecting the gene's level of differential expression. We also note that this δ is proportional to the gene's effect size, ξ/σ . The δ s can be considered realizations of some underlying random variable Δ, distributed as h(δ). Under our assumptions the observed t-scores should thus be modelled as a mixture of t ν (δ)-distributions, with the h(δ) as its mixing distribution. The h(δ) is not directly observed and must be estimated.

In the following, the t-statistics calculated in an experiment are assumed to be independent. This assumption, and the assumption that σ 1 2 = σ 2 2 = σ 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aa0baaSqaaiabigdaXaqaaiabikdaYaaakiabg2da9iab=n8aZnaaDaaaleaacqaIYaGmaeaacqaIYaGmaaGccqGH9aqpcqWFdpWCdaahaaWcbeqaaiabikdaYaaaaaa@3878@ , may not hold in the microarray setting. In the Testing section we examine cases where these assumptions are not satisfied to see how results are affected.

Algorithm for estimating effect sizes

Let y j , j = 1, ..., m denote observed t-statistics for the m genes of an experiment, having Y j s as corresponding random variables. Let f(y) be their pdf. Our mixture model can then generally be stated asf(y; h) = ∫ t ν (y; δ) dh(δ),

where h(δ) is any probability measure, discrete or continuous. To estimate h(δ) we want to find a probability measure that maximizes the likelihood, L(h), of our observations, where

L ( h ) = i = 1 m f ( y i ; h ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemitaWKaeiikaGIaemiAaGMaeiykaKIaeyypa0ZaaebCaeaacqWGMbGzcqGGOaakcqWG5bqEdaWgaaWcbaGaemyAaKgabeaakiabcUda7iabdIgaOjabcMcaPaWcbaGaemyAaKMaeyypa0JaeGymaedabaGaemyBa0ganiabg+GivdGccqGGUaGlaaa@4190@

It has been shown [17] that to solve this maximization problem, when L(h) is bounded, it is sufficient to consider only discrete probability measures with m or fewer points of support. Motivated by this we choose h(δ) to be a discrete probability measure, and aim to fit a mixture model of the form

f ( y ) = i = 0 g π i t ν ( y ; δ i ) = π 0 t ν ( y ; 0 ) + i = 1 g π i t ν ( y ; δ i ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOzayMaeiikaGIaemyEaKNaeiykaKIaeyypa0ZaaabCaeaaiiGacqWFapaCdaWgaaWcbaGaemyAaKgabeaakiabdsha0naaBaaaleaacqWF9oGBaeqaaOGaeiikaGIaemyEaKNaei4oaSJae8hTdq2aaSbaaSqaaiabdMgaPbqabaGccqGGPaqkcqGH9aqpcqWFapaCdaWgaaWcbaGaeGimaadabeaakiabdsha0naaBaaaleaacqWF9oGBaeqaaOGaeiikaGIaemyEaKNaei4oaSJaeGimaaJaeiykaKcaleaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWGNbWza0GaeyyeIuoakiabgUcaRmaaqahabaGae8hWda3aaSbaaSqaaiabdMgaPbqabaGccqWG0baDdaWgaaWcbaGae8xVd4gabeaakiabcIcaOiabdMha5jabcUda7iab=r7aKnaaBaaaleaacqWGPbqAaeqaaOGaeiykaKcaleaacqWGPbqAcqGH9aqpcqaIXaqmaeaacqWGNbWza0GaeyyeIuoakiabc6caUaaa@69B4@

The h(δ) is thus a distribution where Pr(δ = δ i ) = π i , (i = 0, ..., g), and i = 0 g π i = 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWaaabmaeaaiiGacqWFapaCdaWgaaWcbaGaemyAaKgabeaakiabg2da9iabigdaXaWcbaGaemyAaKMaeyypa0JaeGimaadabaGaem4zaCganiabggHiLdaaaa@37C6@ . The second form of f(y) in (3) is due to knowing that δ = 0 for unregulated genes.

We now aim to find the parameters of a model like (3) with a fixed number of components g + 1. It is clear that finding these parameters can be formulated as a missing data problem, which suggests the use of the EM-algorithm [18]. Although this approach has been discussed in earlier work [13, 16], a closed form EM-algorithm that solves the problem has not been available until now. The main difficulty with constructing the algorithm is the lack of a closed form expression for the noncentral t pdf. In the remainder of this section we show how the needed algorithm can be obtained.

As is usual with EM, random component-label vectors Z1, ..., Z m are introduced that define the origin of Y1, ..., Y m . These have Z ij = (Z j ) i equal to one or zero according to whether or not Y j belongs to the i th component. A Z j is distributed according to

Pr ( Z j = z j ) = π 0 z 0 j π 1 z 1 j π g z g j , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGagiiuaaLaeiOCaiNaeiikaGccbeGae8NwaO1aaSbaaSqaaiab=PgaQbqabaGccqGH9aqpcqWF6bGEdaWgaaWcbaGae8NAaOgabeaakiabcMcaPiabg2da9GGaciab+b8aWnaaDaaaleaacqaIWaamaeaacqWG6bGEdaWgaaadbaGaeGimaaJaemOAaOgabeaaaaGccqGFapaCdaqhaaWcbaGaeGymaedabaGaemOEaO3aaSbaaWqaaiabigdaXiabdQgaQbqabaaaaOGaeS47IWKae4hWda3aa0baaSqaaiabdEgaNbqaaiabdQha6naaBaaameaacqWGNbWzcqWGQbGAaeqaaaaakiabcYcaSaaa@5072@

where the z j is a realized value of the random Z j .

We proceed by recognizing the fact that a noncentral t pdf of is itself a mixture. The cumulative distribution of a variable distributed according to t ν (δ) is (see [19])

F ν ( y ; δ ) = 1 2 ν 2 Γ ( ν 2 ) 0 v ν 1 e v 2 2 1 2 π y v ν e 1 2 ( s δ ) 2 d s d v . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOray0aaSbaaSqaaGGaciab=17aUbqabaGccqGGOaakcqWG5bqEcqGG7aWocqWF0oazcqGGPaqkcqGH9aqpjuaGdaWcaaqaaiabigdaXaqaaiabikdaYmaaCaaabeqaamaalaaabaGae8xVd4gabaGaeGOmaidaaaaacqqHtoWrdaqadaqaamaalaaabaGae8xVd4gabaGaeGOmaidaaaGaayjkaiaawMcaaaaakmaapedabaGaemODay3aaWbaaSqabeaacqWF9oGBcqGHsislcqaIXaqmaaGccqWGLbqzdaahaaWcbeqcfayaamaalaaabaGaeyOeI0IaemODay3aaWbaaeqabaGaeGOmaidaaaqaaiabikdaYaaaaaWaaSaaaeaacqaIXaqmaeaadaGcaaqaaiabikdaYiab=b8aWbqabaaaaaWcbaGaeGimaadabaGaeyOhIukaniabgUIiYdGcdaWdXaqaaiabdwgaLnaaCaaaleqabaGaeyOeI0scfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaWccqGGOaakcqWGZbWCcqGHsislcqWF0oazcqGGPaqkdaahaaadbeqaaiabikdaYaaaaaaaleaacqGHsislcqGHEisPaKqbagaadaWcaaqaaiabdMha5jabdAha2bqaamaakaaabaGae8xVd4gabeaaaaaaniabgUIiYdGccqWGKbazcqWGZbWCcqWGKbazcqWG2bGDcqGGUaGlaaa@7123@

Differentiating F ν (y) with respect to y, and substituting v = ν u MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemODayNaeyypa0ZaaOaaaeaaiiGacqWF9oGBcqWG1bqDaSqabaaaaa@319B@ , yields

F ν ( y ; δ ) = 0 u 2 π e 1 2 ( y δ u ) 2 u 2 ν 2 ν 2 1 Γ ( ν 2 ) ( ν u ) ν 1 e ν u 2 2 d u . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOray0aaSbaaSqaaGGaciab=17aUbqabaGccqGGOaakcqWG5bqEcqGG7aWocqWF0oazcqGGPaqkcqGH9aqpdaWdXaqcfayaamaalaaabaGaemyDauhabaWaaOaaaeaacqaIYaGmcqWFapaCaeqaaaaaaSqaaiabicdaWaqaaiabg6HiLcqdcqGHRiI8aOGaemyzau2aaWbaaSqabeaajuaGcqGHsisldaWcaaqaaiabigdaXaqaaiabikdaYaaalmaabmaabaqcfaOaemyEaKNaeyOeI0YaaSaaaeaacqWF0oazaeaacqWG1bqDaaaaliaawIcacaGLPaaadaahaaadbeqaaiabikdaYaaaliabdwha1naaCaaameqabaGaeGOmaidaaaaajuaGdaWcaaqaamaakaaabaGae8xVd4gabeaaaeaacqaIYaGmdaahaaqabeaadaWcaaqaaiab=17aUbqaaiabikdaYaaacqGHsislcqaIXaqmaaGaeu4KdC0aaeWaaeaadaWcaaqaaiab=17aUbqaaiabikdaYaaaaiaawIcacaGLPaaaaaGaeiikaGYaaOaaaeaacqWF9oGBaeqaaiabdwha1jabcMcaPmaaCaaabeqaaiab=17aUjabgkHiTiabigdaXaaacqWGLbqzdaahaaqabeaacqGHsisldaWcaaqaaiab=17aUjabdwha1naaCaaabeqaaiabikdaYaaaaeaacqaIYaGmaaaaaOGaemizaqMaemyDauNaeiOla4caaa@7153@

This form of the noncentral t pdf can be identified as a mixture of normal N ( δ u , 1 u 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOta40aaeWaaeaajuaGdaWcaaqaaGGaciab=r7aKbqaaiabdwha1baakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaemyDau3aaWbaaeqabaGaeGOmaidaaaaaaOGaayjkaiaawMcaaaaa@3747@ distributions, with a scaled χ ν mixing distribution for the random variable U. Based on the characterization in (4) we can introduce a new set of missing data u ij , (i = 0, ..., g; j = 1, ..., m) that are realizations of U ij , and defined so that (Y j |u ij , z ij = 1) follows a N ( δ u i j , 1 u i j 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOta40aaeWaaeaajuaGdaWcaaqaaGGaciab=r7aKbqaaiabdwha1naaBaaabaGaemyAaKMaemOAaOgabeaaaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabdwha1naaDaaabaGaemyAaKMaemOAaOgabaGaeGOmaidaaaaaaOGaayjkaiaawMcaaaaa@3CD8@ distribution. Restating the model in this form, as a mixture of mixtures, is a vital step in finding the closed form algorithm.

The y j s augmented by the z ij s and u ij s form the complete-data set. The complete-data log-likelihood may be written

log L c ( π , δ ) = i = 0 g j = 1 m z i j log ( π i f c ( y j | u i j , z i j = 1 ) g c ( u i j ) ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGagiiBaWMaei4Ba8Maei4zaCMaemitaW0aaSbaaSqaaiabdogaJbqabaGccqGGOaakiiWacqWFapaCcqGGSaalcqWF0oazcqGGPaqkcqGH9aqpdaaeWbqaamaaqahabaGaemOEaO3aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccyGGSbaBcqGGVbWBcqGGNbWzcqGGOaakiiGacqGFapaCdaWgaaWcbaGaemyAaKgabeaakiabdAgaMnaaBaaaleaacqWGJbWyaeqaaOGaeiikaGIaemyEaK3aaSbaaSqaaiabdQgaQbqabaGccqGG8baFcqWG1bqDdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabcYcaSiabdQha6naaBaaaleaacqWGPbqAcqWGQbGAaeqaaOGaeyypa0JaeGymaeJaeiykaKIaem4zaC2aaSbaaSqaaiabdogaJbqabaGccqGGOaakcqWG1bqDdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabcMcaPiabcMcaPiabcYcaSaWcbaGaemOAaOMaeyypa0JaeGymaedabaGaemyBa0ganiabggHiLdaaleaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWGNbWza0GaeyyeIuoaaaa@73DC@

where π= (π1, ..., π g ), δ= (δ1, ..., δ g ) and f c (y|u, z) and g c (u) are the above-mentioned normal and scaled χ ν distribution, respectively. The E-step of the EM-algorithm requires the expectation of L c in (5) conditional on the data. Combining (4) with (5) we find that we need the expectationsE(Z ij |y j ) and E(U ij |y j , z ij = 1).

Calculating the first expectation is straightforward (see e.g. [20]) and is found to be

E ( Z i j | y j ) = π i t ν ( y j ; δ i ) i = 0 g π i t ν ( y j ; δ i ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemyrauKaeiikaGIaemOwaO1aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGG8baFcqWG5bqEdaWgaaWcbaGaemOAaOgabeaakiabcMcaPiabg2da9KqbaoaalaaabaacciGae8hWda3aaSbaaeaacqWGPbqAaeqaaiabdsha0naaBaaabaGae8xVd4gabeaacqGGOaakcqWG5bqEdaWgaaqaaiabdQgaQbqabaGaei4oaSJae8hTdq2aaSbaaeaacqWGPbqAaeqaaiabcMcaPaqaamaaqadabaGae8hWda3aaSbaaeaacqWGPbqAaeqaaiabdsha0naaBaaabaGae8xVd4gabeaacqGGOaakcqWG5bqEdaWgaaqaaiabdQgaQbqabaGaei4oaSJae8hTdq2aaSbaaeaacqWGPbqAaeqaaiabcMcaPaqaaiabdMgaPjabg2da9iabicdaWaqaaiabdEgaNbGaeyyeIuoaaaGccqGGUaGlaaa@5F49@

Calculating the second expectation is harder, but by using Bayes theorem we find that it can be stated as (now omitting indices for clarity)

E ( U i j | y j , z i j = 1 ) = 0 u f c ( u | y , z ) d u MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemyrauKaeiikaGIaemyvau1aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGG8baFcqWG5bqEdaWgaaWcbaGaemOAaOgabeaakiabcYcaSiabdQha6naaBaaaleaacqWGPbqAcqWGQbGAaeqaaOGaeyypa0JaeGymaeJaeiykaKIaeyypa0Zaa8qmaeaacqWG1bqDcqWGMbGzdaWgaaWcbaGaem4yamgabeaakiabcIcaOiabdwha1jabcYha8jabdMha5jabcYcaSiabdQha6jabcMcaPiabdsgaKjabdwha1bWcbaGaeGimaadabaGaeyOhIukaniabgUIiYdaaaa@53F2@
= 0 u f c ( y | u , z ) g c ( u ) 0 f c ( y | u , z ) g c ( u ) d u d u MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaeyypa0Zaa8qmaKqbagaadaWcaaqaaiabdwha1jabdAgaMnaaBaaabaGaem4yamgabeaacqGGOaakcqWG5bqEcqGG8baFcqWG1bqDcqGGSaalcqWG6bGEcqGGPaqkcqWGNbWzdaWgaaqaaiabdogaJbqabaGaeiikaGIaemyDauNaeiykaKcabaWaa8qmaeaacqWGMbGzdaWgaaqaaiabdogaJbqabaGaeiikaGIaemyEaKNaeiiFaWNafmyDauNbauaacqGGSaalcqWG6bGEcqGGPaqkcqWGNbWzdaWgaaqaaiabdogaJbqabaGaeiikaGIafmyDauNbauaacqGGPaqkcqWGKbazcuWG1bqDgaqbaaqaaiabicdaWaqaaiabg6HiLcGaey4kIipaaaaaleaacqaIWaamaeaacqGHEisPa0Gaey4kIipakiabdsgaKjabdwha1baa@6042@

where f c (u|y, z) is the pdf of (U ij |y j , z ij = 1). Note that g c (u|z) = g c (u) since U ij and Z ij are independent.

The integral in (8) must now be evaluated. To do this, we note that the denominator of the integrand is itself an integral and that it does not depend on the integrating variable u. In effect, (8) is thus the ratio of two integrals. After a substitution of variables in both integrals, ( w = u y 2 + ν ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaeiikaGIaem4DaCNaeyypa0JaemyDau3aaOaaaeaacqWG5bqEdaahaaWcbeqaaiabikdaYaaakiabgUcaRGGaciab=17aUbWcbeaakiabcMcaPaaa@36DF@ and ( w = u y 2 + ν ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaeiikaGIaem4DaCNaeyypa0JafmyDauNbauaadaGcaaqaaiabdMha5naaCaaaleqabaGaeGOmaidaaOGaey4kaSccciGae8xVd4galeqaaOGaeiykaKcaaa@36EB@ , we find that this ratio can be rewritten in terms of H h-functions as

E ( U i j | y j , z i j = 1 ) = ν + 1 y j 2 + ν H h v + 1 ( y j δ i y j 2 + v ) H h v ( y j δ i y j 2 + v ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemyrauKaeiikaGIaemyvau1aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGG8baFcqWG5bqEdaWgaaWcbaGaemOAaOgabeaakiabcYcaSiabdQha6naaBaaaleaacqWGPbqAcqWGQbGAaeqaaOGaeyypa0JaeGymaeJaeiykaKIaeyypa0tcfa4aaSaaaeaaiiGacqWF9oGBcqGHRaWkcqaIXaqmaeaadaGcaaqaaiabdMha5naaDaaabaGaemOAaOgabaGaeGOmaidaaiabgUcaRiab=17aUbqabaaaamaalaaabaGaemisaGKaemiAaG2aaSbaaeaacqWG2bGDcqGHRaWkcqaIXaqmaeqaamaabmaabaWaaSaaaeaacqGHsislcqWG5bqEdaWgaaqaaiabdQgaQbqabaGae8hTdq2aaSbaaeaacqWGPbqAaeqaaaqaamaakaaabaGaemyEaK3aa0baaeaacqWGQbGAaeaacqaIYaGmaaGaey4kaSIaemODayhabeaaaaaacaGLOaGaayzkaaaabaGaemisaGKaemiAaG2aaSbaaeaacqWG2bGDaeqaamaabmaabaWaaSaaaeaacqGHsislcqWG5bqEdaWgaaqaaiabdQgaQbqabaGae8hTdq2aaSbaaeaacqWGPbqAaeqaaaqaamaakaaabaGaemyEaK3aa0baaeaacqWGQbGAaeaacqaIYaGmaaGaey4kaSIaemODayhabeaaaaaacaGLOaGaayzkaaaaaOGaeiilaWcaaa@7354@

where H h k ( x ) = 0 w k k ! e 1 2 ( w + x ) 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemisaGKaemiAaG2aaSbaaSqaaiabdUgaRbqabaGccqGGOaakcqWG4baEcqGGPaqkcqGH9aqpdaWdXaqcfayaamaalaaabaGaem4DaC3aaWbaaeqabaGaem4AaSgaaaqaaiabdUgaRjabcgcaHaaaaSqaaiabicdaWaqaaiabg6HiLcqdcqGHRiI8aOGaemyzau2aaWbaaSqabeaacqGHsisljuaGdaWcaaqaaiabigdaXaqaaiabikdaYaaaliabcIcaOiabdEha3jabgUcaRiabdIha4jabcMcaPmaaCaaameqabaGaeGOmaidaaaaaaaa@49F8@ dw for an integer k ≥ 0. The properties of the H h k -functions are discussed in [21]. A particularly nice property is that it satisfies the recurrence relation(k + 1) H hk + 1(x) = - x H h k (x) + H hk - 1(x).

With easily calculated H h 1 ( x ) = e 1 2 x 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemisaGKaemiAaG2aaSbaaSqaaiabgkHiTiabigdaXaqabaGccqGGOaakcqWG4baEcqGGPaqkcqGH9aqpcqWGLbqzdaahaaWcbeqaaiabgkHiTKqbaoaalaaabaGaeGymaedabaGaeGOmaidaaSGaemiEaG3aaWbaaWqabeaacqaIYaGmaaaaaaaa@3C1A@ , H h 0 ( x ) = x e 1 2 u 2 d u MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemisaGKaemiAaG2aaSbaaSqaaiabicdaWaqabaGccqGGOaakcqWG4baEcqGGPaqkcqGH9aqpdaWdXaqcfayaaiabdwgaLnaaCaaabeqaaiabgkHiTmaalaaabaGaeGymaedabaGaeGOmaidaaiabdwha1naaCaaabeqaaiabikdaYaaaaaaaleaacqWG4baEaeaacqGHEisPa0Gaey4kIipakiabdsgaKjabdwha1baa@42E4@ , we have a convenient way of computing (9).

The M-step requires maximizing the L c with respect to π and δ. This is accomplished by simple differentiation and yields maximizers

π ^ i = 1 m j = 1 m z i j MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hWdaNbaKaadaWgaaWcbaGaemyAaKgabeaakiabg2da9KqbaoaalaaabaGaeGymaedabaGaemyBa0gaaOWaaabCaeaacqWG6bGEdaWgaaWcbaGaemyAaKMaemOAaOgabeaaaeaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGTbqBa0GaeyyeIuoaaaa@3ED5@
δ ^ i = j = 1 m z i j y j u i j j = 1 m z i j . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hTdqMbaKaadaWgaaWcbaGaemyAaKgabeaakiabg2da9KqbaoaalaaabaWaaabmaeaacqWG6bGEdaWgaaqaaiabdMgaPjabdQgaQbqabaGaemyEaK3aaSbaaeaacqWGQbGAaeqaaiabdwha1naaBaaabaGaemyAaKMaemOAaOgabeaaaeaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGTbqBaiabggHiLdaabaWaaabmaeaacqWG6bGEdaWgaaqaaiabdMgaPjabdQgaQbqabaaabaGaemOAaOMaeyypa0JaeGymaedabaGaemyBa0gacqGHris5aaaakiabc6caUaaa@4F31@

Equations (6) and (9) – (11) constitute the backbone of the needed closed form EM-algorithm to fit a mixture model like (3) with g + 1 components. Parameter estimates are updated according to the scheme

i . ) u i j ( k ) = E π ^ ( k ) δ ^ ( k ) ( U i j | y j , z i j = 1 ) , z i j ( k ) = E π ^ ( k ) δ ^ ( k ) ( Z i j | y j ) i i . ) π ^ i ( k + 1 ) = 1 m j = 1 m z i j ( k ) , δ ^ i ( k ) = j = 1 m z i j ( k ) y j u i j ( k ) j = 1 m z i j ( k ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaqbaeaabiqaaaqaauaabeqabmaaaeaacqWGPbqAcqGGUaGlcqGGPaqkaeaacqWG1bqDdaqhaaWcbaGaemyAaKMaemOAaOgabaGaeiikaGIaem4AaSMaeiykaKcaaOGaeyypa0Jaemyrau0aaSbaaSqaaGGadiqb=b8aWzaajaWaaWbaaWqabeaacqGGOaakcqWGRbWAcqGGPaqkaaWccuWF0oazgaqcamaaCaaameqabaGaeiikaGIaem4AaSMaeiykaKcaaaWcbeaakiabcIcaOiabdwfavnaaBaaaleaacqWGPbqAcqWGQbGAaeqaaOGaeiiFaWNaemyEaK3aaSbaaSqaaiabdQgaQbqabaGccqGGSaalcqWG6bGEdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabg2da9iabigdaXiabcMcaPiabcYcaSaqaaiabdQha6naaDaaaleaacqWGPbqAcqWGQbGAaeaacqGGOaakcqWGRbWAcqGGPaqkaaGccqGH9aqpcqWGfbqrdaWgaaWcbaGaf8hWdaNbaKaadaahaaadbeqaaiabcIcaOiabdUgaRjabcMcaPaaaliqb=r7aKzaajaWaaWbaaWqabeaacqGGOaakcqWGRbWAcqGGPaqkaaaaleqaaOGaeiikaGIaemOwaO1aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGG8baFcqWG5bqEdaWgaaWcbaGaemOAaOgabeaakiabcMcaPaaaaeaafaqabeqadaaabaGaemyAaKMaemyAaKMaeiOla4IaeiykaKcabaacciGaf4hWdaNbaKaadaqhaaWcbaGaemyAaKgabaGaeiikaGIaem4AaSMaey4kaSIaeGymaeJaeiykaKcaaOGaeyypa0ZaaSaaaeaacqaIXaqmaeaacqWGTbqBaaWaaabCaeaacqWG6bGEdaqhaaWcbaGaemyAaKMaemOAaOgabaGaeiikaGIaem4AaSMaeiykaKcaaaqaaiabdQgaQjabg2da9iabigdaXaqaaiabd2gaTbqdcqGHris5aOGaeiilaWcabaGaf4hTdqMbaKaadaqhaaWcbaGaemyAaKgabaGaeiikaGIaem4AaSMaeiykaKcaaOGaeyypa0tcfa4aaSaaaeaadaaeWaqaaiabdQha6naaDaaabaGaemyAaKMaemOAaOgabaGaeiikaGIaem4AaSMaeiykaKcaaiabdMha5naaBaaabaGaemOAaOgabeaacqWG1bqDdaqhaaqaaiabdMgaPjabdQgaQbqaaiabcIcaOiabdUgaRjabcMcaPaaaaeaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGTbqBaiabggHiLdaabaWaaabmaeaacqWG6bGEdaqhaaqaaiabdMgaPjabdQgaQbqaaiabcIcaOiabdUgaRjabcMcaPaaaaeaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGTbqBaiabggHiLdaaaOGaeiOla4caaaaaaaa@C2BE@

On convergence, the estimated π and δ are used as the parameters of a h(δ) with g + 1 point masses. As discussed above we fix δ0 = 0.

An issue that has received much attention is estimating the proportion of true null hypotheses when many hypothesis tests are performed simultaneously (e.g. [3, 22, 23]). In the microarray context this amounts to estimating the proportion of truly unregulated genes among all genes considered. Referring to (3) we see that this quantity enters our model as π0. To draw on the extensive work on π0-estimation, we suggest using a known conservative π0-estimate to guide the choice of some model parameters. This is discussed below. In our implementation we use the convex decreasing density estimate proposed in [24], but a different estimate may be input.

Assessing the appropriate number of components in a mixture model is a difficult problem that is not completely resolved. An often adopted strategy is using measures like the Akaike Information Criterion (AIC) [25] or the Bayesian Information Criterion (BIC) [26]. We find from simulation that, in our setting, these criteria seem to underestimate the needed number of components (refer to the Testing section for some of the simulation results). This is possibly due to the large proportion of unregulated genes often found in microarray data. With relatively few regulated genes, the gain in likelihood from fitting additional components is, for these criteria, not enough to justify the additional parameters used. In our implementation we use g = log2((1 - π ^ 0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hWdaNbaKaadaWgaaWcbaGaeGimaadabeaaaaa@2EC1@ ) m), where π ^ 0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hWdaNbaKaadaWgaaWcbaGaeGimaadabeaaaaa@2EC1@ is the above-mentioned estimate. This choice is motivated by experience, but has proven itself adequate in our numerical studies. It also reflects the fact that a single component should provide sufficient explanation for the unregulated genes, while the remaining g components explain the regulated ones. A different g may be specified by users of the sample size method.

A complication that could arise when fitting the mixture model is that one or more of the { δ i } i = 1 g MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGae8hTdq2aaSbaaSqaaiabdMgaPbqabaGccqGG9bqFdaqhaaWcbaGaemyAaKMaeyypa0JaeGymaedabaGaem4zaCgaaaaa@36E5@ , could be assigned to δ = 0, or very close to it, thus affecting the fit of the central component. To avoid this, we define a small neighbourhood around δ0 = 0 from which all g remaining components are excluded. A δ i , i ≠ 0, that tries crossing into this neighbourhood while fitting the model, is simply halted at the neighbourhood boundary. The boundary is determined by finding the smallest δ ˜ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hTdqMbaGaaaaa@2D8E@ for which it is possible to tell apart the t ν (0) distribution from a t ν ( δ ˜ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hTdqMbaGaaaaa@2D8E@ ) one, based on samples of sizes π ^ 0 m MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hWdaNbaKaadaWgaaWcbaGaeGimaadabeaakiabd2gaTbaa@302E@ and (1 - π ^ 0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hWdaNbaKaadaWgaaWcbaGaeGimaadabeaaaaa@2EC1@ ) m/g, respectively. The latter sample size assumes regulated genes to be evenly distributed among their components. The samples are taken as evenly spaced points within the 0.05 and 0.95 quantiles of the two distributions. The criterion used to check if the two samples originated from the same distribution is a two-sample Kolmogorov-Smirnov test with a significance level of 0.05. The rationale behind this criteron is that, for the g components associated with regulated genes, we only want to allow those that with reasonable certainty can be distinguished from the central component. Again, the π ^ 0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGaf8hWdaNbaKaadaWgaaWcbaGaeGimaadabeaaaaa@2EC1@ used is the estimate discussed above.

Another difficulty related to fitting a mixture model is that the optimal fit is not unique, something which might cause convergence problems. The difficulty is due to the fact that permuting mixture components does not change the likelihood function. In our implementation we do not have any constraints that resolve this problem. We did, however, track the updates of our mixture components in a number of test runs and did not see this problem occur.

In summary, our approach provides estimates, { δ ^ i } i = 0 g MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGaf8hTdqMbaKaadaWgaaWcbaGaemyAaKgabeaakiabc2ha9naaDaaaleaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWGNbWzaaaaaa@36F3@ and { π ^ i } i = 0 g MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGaf8hWdaNbaKaadaWgaaWcbaGaemyAaKgabeaakiabc2ha9naaDaaaleaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWGNbWzaaaaaa@370B@ , of the noncentrality parameters in the data and a set of weights. Together these quantities make up an estimate of the distribution h(δ). As seen in the section on test-statistics a δ is proportional to the effect size, ξ/σ. No estimates or assumptions are thus made on the numerical size of the means or variances in the data. We only estimate a set of mean shift to variance ratios.

Algorithm for estimating sample sizes for FDR control

An important issue in experimental design is estimating the sample size required for the experiment to succeed. We now outline how to choose sample sizes that control FDR together with other measures, and how the model discussed above can be used for this purpose.

Table 1 Outcomes of m hypothesis tests

Table 1 summarizes the possible outcomes of m hypothesis tests. All table elements except m are random variables. From Table 1 the much used positive false discovery rate (pFDR) [3] can be defined as E(R0/M R |M R > 0). In [3] it is also proven that, for a given significance region and under assumed independence for the tests, we havepFDR = Pr(H0 true|H0 rejected),

and that, in terms of p-values p and a chosen p-value cutoff α, (12) can be rewritten as

pFDR ( α ) = π 0 α Pr ( p < α ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaeeiCaaNaeeOrayKaeeiraqKaeeOuaiLaeiikaGccciGae8xSdeMaeiykaKIaeyypa0tcfa4aaSaaaeaacqWFapaCdaWgaaqaaiabicdaWaqabaGae8xSdegabaGagiiuaaLaeiOCaiNaeiikaGIaemiCaaNaeyipaWJae8xSdeMaeiykaKcaaiabc6caUaaa@4365@

Equation (13) is important in sample size estimation as it provides the relationship between pFDR, significance region and sample size. Sample size will determine Pr(p <α) since the shape of the t-distributions depends on n1, n2. (An explanation is provided at the end this section). The application of (13) to sample size estimation was first discussed by Hu et al. [13].

Using (13), and a fitted mixture model, one can estimate the sample size that achieves a specified α and pFDR. The remaining issue is choosing an appropriate α and pFDR. The pFDR is an easily understood measure, and its size can be set directly by users of the sample size estimation method. How to pick α, on the other hand, is not as clear. One solution to this is to restate (13) as relationships between α, pFDR and other statistical measures. Hu et al. present one such relationship. They suggest picking the α by specifying the expected number of hypotheses to be rejected, E(M R ). Their idea is substituting Pr(p <α) = E(M R )/m in (13) to get

α = pFDR π 0 E ( M R ) m . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae8xSdeMaeyypa0tcfa4aaSaaaeaacqqGWbaCcqqGgbGrcqqGebarcqqGsbGuaeaacqWFapaCdaWgaaqaaiabicdaWaqabaaaamaalaaabaGaeeyrauKaeiikaGIaemyta00aaSbaaeaacqWGsbGuaeqaaiabcMcaPaqaaiabd2gaTbaakiabc6caUaaa@3E7B@

In words, instead of specifying an α, one can specify E(M R ). This way of obtaining α, however, has a shortcoming. It provides little direct information to the user about the experiment's ability to recognize regulated genes. In our view, a more informative way to choose α would be to let the user specify quantities such as average power or the false nondiscovery rate (FNR). We now discuss how this can be accomplished.

Power is defined as the probability of rejecting a hypothesis that is false. In the microarray multiple hypothesis setting, average power controls the proportion of regulated genes that is correctly identified. Setting α through an intuitively appealing measure as average power would thus be helpful. A relationship between α and average power can be found by rewriting the denominator of the right side in (13) asPr(p <α) = Pr(p <α|H0 true)π0 + Pr(p <α|H0 false)(1 - π0).

Recognizing Pr(p <α|H0 false) as average power, (13) can be inverted to find

α = pFDR 1 pFDR 1 π 0 π 0 average power . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae8xSdeMaeyypa0tcfa4aaSaaaeaacqqGWbaCcqqGgbGrcqqGebarcqqGsbGuaeaacqaIXaqmcqGHsislcqqGWbaCcqqGgbGrcqqGebarcqqGsbGuaaWaaSaaaeaacqaIXaqmcqGHsislcqWFapaCdaWgaaqaaiabicdaWaqabaaabaGae8hWda3aaSbaaeaacqaIWaamaeqaaaaakiabgwSixlabbggaHjabbAha2jabbwgaLjabbkhaYjabbggaHjabbEgaNjabbwgaLjabbccaGiabbchaWjabb+gaVjabbEha3jabbwgaLjabbkhaYjabc6caUaaa@568E@

Combining (15) and (13) one can now find sample sizes that achieve a specified pFDR and average power, with no need of specifying α.

Another interesting measure to control is the false nondiscovery rate (FNR), the expected proportion of false negatives among the hypotheses not rejected. In other words, the FNR controls the proportion of regulated genes erroneously accepted as unregulated. We use a version of the FNR discussed in [15] called the pFNR = E(A1/M A |M A > 0), which, under the same assumptions as for the pFDR, can be stated aspFNR = Pr(H0 false|H0 accepted).

Rewriting this probability in terms of pFDR and α yields

α = 1 pFDR π 0 1 pFNR pFDR . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae8xSdeMaeyypa0tcfa4aaSaaaeaacqaIXaqmcqGHsislcqqGWbaCcqqGgbGrcqqGebarcqqGsbGucqGHsislcqWFapaCdaWgaaqaaiabicdaWaqabaaabaGaeGymaeJaeyOeI0IaeeiCaaNaeeOrayKaeeOta4KaeeOuaiLaeyOeI0IaeeiCaaNaeeOrayKaeeiraqKaeeOuaifaaiabc6caUaaa@46DA@

Again, specifying a pFNR will correspond to a specific choice of α. The pFNR approach to setting α could be interesting to use. One should note, however, that in the microarray setting this measure can sometimes be hard to apply. The reason is the potentially large M A , due to a high proportion of unregulated genes. A large M A makes pFNR numerically small, and a reasonable size may be hard to set.

Having chosen a pFDR and α (from average power or pFNR), we need to find a sample size that solves (13). To do this, we express Pr(p <α) via our mixture model (3) as

Pr ( p < α ) = y > | y 0 | f ( y ; h ) d y , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGagiiuaaLaeiOCaiNaeiikaGIaemiCaaNaeyipaWdcciGae8xSdeMaeiykaKIaeyypa0Zaa8qeaeaacqWGMbGzcqGGOaakcqWG5bqEcqGG7aWocqWGObaAcqGGPaqkcqWGKbazcqWG5bqEaSqaaiabdMha5jabg6da+iabcYha8jabdMha5naaBaaameaacqaIWaamaeqaaSGaeiiFaWhabeqdcqGHRiI8aOGaeiilaWcaaa@4A3F@

where y0 is the t-score corresponding to a p-value cutoff α for testing the null hypothesis. Since f(y) is a weighted sum of t ν (δ)s, the integrals needed to be taken are simply quantiles of (noncentral) t-distributions. Sample size affects (17) because all t ν (δ)s to be integrated are on the form t s 1 ( n ) ( ξ i σ i 1 s 2 ( n ) ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemiDaq3aaSbaaSqaaiabdohaZnaaBaaameaacqaIXaqmaeqaaSGaeiikaGIaemOBa4MaeiykaKcabeaakiabcIcaOGGaciab=57a4naaBaaaleaacqWGPbqAaeqaaOGae83Wdm3aa0baaSqaaiabdMgaPbqaaiabgkHiTiabigdaXaaakiabdohaZnaaBaaaleaacqaIYaGmaeqaaOGaeiikaGIaemOBa4MaeiykaKIaeiykaKcaaa@4310@ , with s1(n) and s2(n) dependent on n1 and n2. (Refer to pdfs of (1) and (2)). If the effect sizes { ξ i σ i 1 } i = 0 g MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGae8NVdG3aaSbaaSqaaiabdMgaPbqabaGccqWFdpWCdaqhaaWcbaGaemyAaKgabaGaeyOeI0IaeGymaedaaOGaeiyFa03aa0baaSqaaiabdMgaPjabg2da9iabicdaWaqaaiabdEgaNbaaaaa@3C2E@ and the weights { π i } i = 0 g MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGae8hWda3aaSbaaSqaaiabdMgaPbqabaGccqGG9bqFdaqhaaWcbaGaemyAaKMaeyypa0JaeGimaadabaGaem4zaCgaaaaa@36FB@ were known we could evaluate (17) for all s1(n), s2(n).

These parameters can, however, be found from the fitted model. To obtain the effect sizes we can equate δ i = ξ i σ i 1 s 2 ( n ˜ ) , i = ( 0 , ... , g ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae8hTdq2aaSbaaSqaaiabdMgaPbqabaGccqGH9aqpcqWF+oaEdaWgaaWcbaGaemyAaKgabeaakiab=n8aZnaaDaaaleaacqWGPbqAaeaacqGHsislcqaIXaqmaaGccqWGZbWCdaWgaaWcbaGaeGOmaidabeaakiabcIcaOiqbd6gaUzaaiaGaeiykaKIaeiilaWIaemyAaKMaeyypa0JaeiikaGIaeGimaaJaeiilaWIaeiOla4IaeiOla4IaeiOla4IaeiilaWIaem4zaCMaeiykaKcaaa@49F3@ , where ñ is the sample size used in the fit. The weights are estimated directly. Having expressed Pr(p <α) in terms of sample size we aim to find one that solves (13). This problem can be reformulated as finding the root of the function

S ( n ) = pFDR i = 0 g ( π i y > | y 0 | t s 1 ( n ) ( ξ i σ i 1 s 2 ( n ) ) d y ) π 0 α . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaem4uamLaeiikaGIaemOBa4MaeiykaKIaeyypa0JaeeiCaaNaeeOrayKaeeiraqKaeeOuai1aaabCaeaadaqadaqaaGGaciab=b8aWnaaBaaaleaacqWGPbqAaeqaaOWaa8qeaeaacqWG0baDdaWgaaWcbaGaem4Cam3aaSbaaWqaaiabigdaXaqabaWccqGGOaakcqWGUbGBcqGGPaqkaeqaaOGaeiikaGIae8NVdG3aaSbaaSqaaiabdMgaPbqabaGccqWFdpWCdaqhaaWcbaGaemyAaKgabaGaeyOeI0IaeGymaedaaOGaem4Cam3aaSbaaSqaaiabikdaYaqabaGccqGGOaakcqWGUbGBcqGGPaqkcqGGPaqkcqWGKbazcqWG5bqEaSqaaiabdMha5jabg6da+iabcYha8jabdMha5naaBaaameaacqaIWaamaeqaaSGaeiiFaWhabeqdcqGHRiI8aaGccaGLOaGaayzkaaaaleaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWGNbWza0GaeyyeIuoakiabgkHiTiab=b8aWnaaBaaaleaacqaIWaamaeqaaOGae8xSdeMaeiOla4caaa@6C6D@

For finding the root of S(n) we implement a bisection method.


To evaluate our approach we implemented the EM-algorithm and the sample size estimation method described above. We then ran tests on simulated data sets. For reasons discussed above we focused on controlling average power, along with the pFDR, in our sample size estimates.

When using simulated data sets it is possible to calculate the true sample size needed to achieve a given combination of pFDR and average power. To evaluate the performance of our method we compared our estimates to the true values. For comparison with existing approaches we also included the estimates made by the methods of Hu et al. [13], Pounds and Cheng [14] and Pawitan et al. [16].

Use of existing methods

In their paper Hu et al. discuss three different mixture models. In our comparison we used their truncated normal model, as this seemed to be the favored one. To produce sample size estimates using this model one needs to input the wanted pFDR and E(M R ). As we wished to control pFDR along with average power, we calculated the E(M R ) corresponding to each choice of pFDR and average power as E(M R ) = average power·m(1 - π0)/(1 – pFDR). All tests were run with default parameters as found in the source code. In the implementation of Hu et al., however, three parameters (diffthres, iternum, gridsize) were missing default values. Reasonable choices (0.01,10,100) were kindly provided by the authors.

For the method of Pounds and Cheng one needs to input quantities called anticipated false discovery ratio (aFDR) and anticipated average power. For the estimates presented here we used the corresponding pFDR and average power combination. As Pounds and Cheng work with F-statistics, the t-statistics calculated in our tests were transformed accordingly. (If T follows a t ν distribution, then T2 is distributed as F1,ν). In their implementation Pounds and Cheng set an upper limit, nmax, on the sample size estimates, and replace all estimates above nmax with nmax itself. The default value of nmax = 50 was replaced with nmax = 1000 in our tests. The reason for this was that sample size estimates of more than 50 could, and did, occur in the tests. Using a low nmax would then affect the comparison to the other methods. Apart from nmax all tests were run with default parameters as found in the source code.

In [16] Pawitan et al. discuss a method for fitting a mixture model to t-statistics. The fitted model is used to make an estimate of the proportion of unregulated genes, π0. The use of their method for sample size estimation is mentioned, but is not further explored or tested. The only input needed to fit a model is the number of mixture components. In our tests, this number was determined using the AIC, as suggested by Pawitan et al. in their paper. In the implementation of Pawitan et al. the assignment of non-central components close to the central one is not restricted. A preliminary test run using their unadjusted model fit showed that sample size estimates were greatly deteriorated by this. In our tests we therefore adjusted their fitted model by collapsing all non-central components within a given threshold (|δ| < 0.75) into the central one. Our model adjustment corresponds to the π0-estimation procedure used in the implementation of Pawitan et al. For our test runs we used our procedures to produce sample size estimates based on the models fitted by this method.

Test procedure and results

For the test results presented here we used m = 10000 genes, and n1 = n2 = 5 measurements per group. For the proportion of unregulated genes we examined the cases of π0 = 0.7 and π0 = 0.9.

In a first set of tests we considered sample size estimates in the case of normally distributed measurements and equal variances. In this setting we simulated data with and without a correlation structure. The true distribution of noncentrality parameters for the m1 = (1 - π0)m regulated genes was generated in the following way: A random sample was drawn from a N(1,0.52) and a N(-1,0.52) distribution. Both samples were of size m1/2, and together they made up the { ξ k } k = 1 m 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGae8NVdG3aaSbaaSqaaiabdUgaRbqabaGccqGG9bqFdaqhaaWcbaGaem4AaSMaeyypa0JaeGymaedabaGaemyBa02aaSbaaWqaaiabigdaXaqabaaaaaaa@3834@ for the regulated genes in data set. The measurement variances were set to σ 2 = σ 1 2 = σ 2 2 = 0.5 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aaWbaaSqabeaacqaIYaGmaaGccqGH9aqpcqWFdpWCdaqhaaWcbaGaeGymaedabaGaeGOmaidaaOGaeyypa0Jae83Wdm3aa0baaSqaaiabikdaYaqaaiabikdaYaaakiabg2da9iabicdaWiabc6caUiabiwda1maaCaaaleqabaGaeGOmaidaaaaa@3D71@ . The noncentrality parameters of the regulated genes were then calculated as { ξ k σ 1 n 1 n 2 ( n 1 + n 2 ) 1 } k = 1 m 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGae8NVdG3aaSbaaSqaaiabdUgaRbqabaGccqWFdpWCdaahaaWcbeqaaiabgkHiTiabigdaXaaakmaakaaabaGaemOBa42aaSbaaSqaaiabigdaXaqabaGccqWGUbGBdaWgaaWcbaGaeGOmaidabeaakiabcIcaOiabd6gaUnaaBaaaleaacqaIXaqmaeqaaOGaey4kaSIaemOBa42aaSbaaSqaaiabikdaYaqabaGccqGGPaqkdaahaaWcbeqaaiabgkHiTiabigdaXaaaaeqaaOGaeiyFa03aa0baaSqaaiabdUgaRjabg2da9iabigdaXaqaaiabd2gaTnaaBaaameaacqaIXaqmaeqaaaaaaaa@4AEE@ (Refer to discussion of (1)). Based on our experience with microarray data analysis the above choices seem plausible for log-transformed microarray measurements. Since the true noncentrality parameters are all known, the true sample size needed to achieve a particular pFDR and average power can be calculated.

Correlation was introduced using a block correlation structure with block size 50. The reasoning behind such a structure was discussed in [27]. All genes, regulated and unregulated, were randomly assigned to their blocks. A correlation matrix for each group was then generated by first sampling random values from a uniform U(-1, 1) distribution into the off-diagonal elements of a symmetric matrix. Then, using the iteration procedure described in [28], we iterated to find the positive semidefinite matrix with unit diagonal that was closest to our randomly generated one.

Using the above approach we simulated data. For each test case we generated 50 data sets and made sample size estimates based on these. In an initial test run we wanted to evaluate our choice of using a larger number of mixture components, g, than what is suggested by the AIC or BIC criterion. To do so, two models were fitted to each simulated data set using our algorithm. One model had our chosen number of mixture components, the other had the number indicated by the AIC. Sample size estimates were then produced for both models. The reason for comparing with the AIC instead of the BIC is that the BIC, in this setting, will favor even fewer components than the AIC. In this initial run only uncorrelated data were used. The sample size estimation results are listed in Table 2. The average number of components chosen by the AIC and our method were, respectively, 6.1 and 11.8 for π0 = 0.7 and 5.0 and 10.1 for π0 = 0.9. Based on our findings we concluded that there may be an advantage to using more components than suggested by the AIC, and we used this larger number of components in the remaining tests. We then turned our attention to comparing the different approaches to sample size estimation. Uncorrelated and correlated data were generated and sample size estimates were produced using all four methods. The results are found in the upper half of Table 3. In general it seems that our estimates are close to their true values. Results are slightly better when there is no correlation between genes. As was to be expected, accuracy decreases, and standard deviation increases, with increasing power. This is probably related to the difficult problem of describing the distribution of noncentrality parameters well near the point of no regulation, i.e. close to δ = 0. The estimates of Hu et al. seem largely to be further from the true value than our estimates, and to be more conservative, but have lower standard deviation. The deviation from the true value is particularly high in estimates for high power. The estimates of Pounds and Cheng seem to deviate from the true value, be more conservative than our estimates and have higher standard deviation. The conservativeness of the estimates of Pounds and Cheng is seen from their own numerical tests as well, in which the estimated actual power exceeds the desired power. The estimates of Pawitan et al. appear to be better than those of Hu et al. and Pounds and Cheng, but still seem to be further from the true value than our estimates, and to have higher standard deviation. For high power there is a tendency of underestimating the needed sample size using this method.

Table 2 Evaluating the number of mixture components.

Tests with normally distributed measurements were also run, in which the { ξ k } k = 1 m 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaei4EaShcciGae8NVdG3aaSbaaSqaaiabdUgaRbqabaGccqGG9bqFdaqhaaWcbaGaem4AaSMaeyypa0JaeGymaedabaGaemyBa02aaSbaaWqaaiabigdaXaqabaaaaaaa@3834@ were drawn from gamma distributions and where variances differed according to the model discussed below. Results were similar to those discussed above (not shown).

In a second set of tests we wanted to simulate data from a model having the characteristics of a true microarray experiment. We also wanted to see how sample size estimates were affected if the assumptions of normality and equal variances did not hold. To accomplish this we based our simulation on the Swirl data set, which is included in the limma software package [29], and on a model for gene expression level measurements discussed by Rocke and Durbin [30]. The model of Rocke and Durbin states thatw = α + μeη+ ,

where w is the intensity measurement, μ is the expression level, α is the background level and and η are error terms distributed as N (0, σ ε 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aa0baaSqaaiab=v7aLbqaaiabikdaYaaaaaa@305E@ ) and N (0, σ η 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacciGae83Wdm3aa0baaSqaaiab=D7aObqaaiabikdaYaaaaaa@3063@ ) respectively. Using the estimation method discussed in their paper we estimated the parameters of (18) for the Swirl data set. The estimated parameters ( α ^ , σ ^ ε , σ ^ η ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaeiikaGccciGaf8xSdeMbaKaacqGGSaalcuWFdpWCgaqcamaaBaaaleaacqWF1oqzaeqaaOGaeiilaWIaf83WdmNbaKaadaWgaaWcbaGae83TdGgabeaakiabcMcaPaaa@384C@ were, for the mutant: (394.12, 150.84, 0.18), and for the wild-type: (612.99, 291.40, 0.19). To generate a set of log-ratios representative of the same data we performed a significance analysis as outlined in the limma user's guide. Using a cutoff level of 0.10 for the FDR-adjusted p-values, we obtained a set of 280 log-ratios for genes likely to be regulated. Log-ratios for the regulated genes in our tests were sampled from this set with replacement. The true expression levels were generated by sampling from the background-corrected mean intensities of the genes in the mutant data set. To simulate microarray data for two conditions the following procedure was used: A set of log-ratios, and the true expression levels for one condition, were sampled. The true expression levels for the other condition were then calculated. Using the above-mentioned model, with their respective sets of parameters, measurements were simulated for both conditions and then log-transformed. To introduce correlation in this setting we added a random effect, γ, to the log-transformed measurements for each correlated block of genes. The γ was drawn from a N (0, 0.5 σ η 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaeGimaaJaeiOla4IaeGynaudcciGae83Wdm3aa0baaSqaaiab=D7aObqaaiabikdaYaaaaaa@332D@ ) distribution. The block size was again assumed to be 50, and the genes were assigned randomly to each block. The true sample size requirements were in this case estimated by repeatedly drawing data sets from the given model and calculating their average power and FDR on a fine grid of cutoff values for the t-statistics. A direct calculation is possible since the regulated genes are known.

After generating a model as described above we again simulated data with and without a correlation structure. For each test setting we sampled 50 data sets and made sample size estimates from the data using all four methods. The results are summarized in the lower half of Table 3. For the methods of Hu et al. and Pounds and Cheng the trend is the same as in the first set of tests. Our method seems to slightly overestimate the needed sample size, while the method of Pawitan et al. now interestingly provides the estimates closest to the true value. The standard deviations for the estimates of Pawitan et al. are still somewhat higher than ours.

Table 3 Evaluating sample size estimates from different methods.

Note that, since the implementations of Hu et al. and Pounds and Cheng support only sample size estimates based on two-sample t-statistics (1), all tests listed are based on this statistic. Our implementation supports both types, and tests were also run to check the case of one-sample t-statistics (2). The results were similar to those of the two-sample t-statistics (not shown).


We have in this article discussed a mixture model approach to estimating the distribution of noncentrality parameters, and thus effect sizes, among regulated genes in a two-sample comparative microarray study. The model can be fitted to t-statistics calculated from pilot data for the study. We have also illustrated how the model can be used to estimate sample sizes that control the pFDR along with other statistical measures like average power or pFNR. In the microarray setting our results will often also be approximately valid when using the FDR and FNR instead of the pFDR and pFNR. This is due to, referring to Table 1, that one frequently will have Pr(M R ) ≈ 1 and Pr(M A ) ≈ 1 in this setting. Sample size estimation methods like the one presented are useful in the planning of any large scale microarray experiment.

We examined the accuracy of our sample size estimates by performing a series of numerical studies. The conclusions are that our estimates are reasonably accurate, and have low variance, for moderate cutoffs in the error measures used. For stringent cutoffs we see a larger variance and a somewhat lowered accuracy. Overall our method seems to provide better results than the available sample size estimation methods of Hu et al. and Pounds and Cheng. We have also evaluated a method by Pawitan et al. for fitting a mixture model and its use in sample size estimation. The results using the method are good, and our tests suggest that optimizing the method of Pawitan et al. for use in sample size estimation could be interesting.

The decreased accuracy for stringent cutoffs found in the estimates is probably due to the difficult task of describing the distribution of regulated genes well near the point of no regulation, that is near δ = 0. It is important that the characterization of such genes is precise, but also that it does not affect the estimated distribution of the unregulated genes. Our solution in this article was to introduce a small neighbourhood around δ = 0 in which no other components are fitted. Better ways of differentiating between the two distributions close to 0 could be a subject of further study.

In our tests we also checked how correlation among the genes would affect the sample size estimates. We found that the estimates were only moderately affected. Nevertheless, we believe that estimation methods that incorporate correlation among genes is an important topic for future studies.

For the microarray setting the use of a moderated t-statistic, as discussed in [31], is often more appropriate than the ordinary t-statistic. For our method to be directly applicable to this type of statistic one would need to know that moderated t-statistics for unregulated genes follow a central t-distribution, and one would need the distribution's degrees of freedom. In [31] this distributional result is shown to hold, with augmented degrees of freedom for the central t-distribution. One would also need to know that moderated t-statistics for a regulated gene, with some given degree of regulation, follow a noncentral t-distribution, and one would need the distribution's degrees of freedom and noncentrality parameter. For this second result we are not aware of any findings. If this second result is shown to hold, then our method can be applied to moderated t-statistics as well. Testing the performance of our algorithm with moderated t-statistics, even without the second result, could also be interesting.

In our work we focus on average power as the control measure used along with the pFDR. One should note that having an average power of 0.9 means being able to correctly identify 90% of the regulated genes. In many experiments achieving this may not be interesting. One example is studies that aim only at identifying the small set of marker genes that best distinguishes one sample from the other. Other examples are experiments that, when comparing a treated and untreated tissue sample, only are interested in the most heavily affected regulatory pathways. In both these examples a power well below 0.9 could suffice. Our estimates are in this case particularly useful since they seem to be both accurate, and have low variance, for moderate power cutoffs with a low pFDR.

Although our main goal in this paper was fitting a model to be used in sample size estimation we would like to emphasize that the fitted model itself does provide some interesting information. One example is a direct estimate of π0, the proportion of unregulated genes, which we often found to be better than the one made by existing methods.

Other subjects for future work include a speed-up of the algorithm. The convergence of a straightforward EM-algorithm is known to be rather slow, and methods that improve on it will be implemented. Another issue that may be investigated further is picking the number of model components. As already mentioned, using a few more components than suggested by the traditionally used information criteria would often improve sample size estimates substantially. A different approach might be needed to choose the number of components in this setting.

The methods discussed in this article are applicable to any two-sample comparative multiple hypothesis testing situation where t-tests are used, and not only to problems in the microarray setting.


An implementation of the methods discussed in this paper for the R environment is available from the authors upon request.


  1. 1.

    Callow MJ, Dudoit S, Gong EL, Speed TP, Rubin EM: Microarray Expression Profiling Identifies Genes with Altered Expression in HDL-Deficient Mice. Genome Res 2000, 10: 2022–2029.

    PubMed Central  CAS  Article  PubMed  Google Scholar 

  2. 2.

    Benjamini Y, Hochberg Y: Controlling the false discovery rate: a practical and powerful approach to multiple testing. J R Stat Soc Ser B 1995, 57: 289–300.

    Google Scholar 

  3. 3.

    Storey JD: A direct approach to false discovery rates. J R Stat Soc Ser B 2002, 64: 479–498.

    Article  Google Scholar 

  4. 4.

    Jørstad TS, Langaas M, Bones AM: Understanding sample size: what determines the required number of microarrays for an experiment? Trends Plant Sci 2007, 12: 46–50.

    Article  PubMed  Google Scholar 

  5. 5.

    Gadbury GL, Page GP, Edwards J, Kayo T, Prolla TA, Weindruch R, Permana PA, Mountz JD, Allison DB: Power and sample size estimation in high dimensional biology. Stat Methods Med Res 2004, 13: 325–338.

    Article  Google Scholar 

  6. 6.

    Müller P, Parmigiani G, Robert C, Rousseau J: Optimal Sample Size for Multiple Testing: the Case of Gene Expression Microarrays. J Am Stat Assoc 2004, 99: 990–1001.

    Article  Google Scholar 

  7. 7.

    Jung SH: Sample size for FDR-control in microarray data analysis. Bioinformatics 2005, 21: 3097–3104.

    CAS  Article  PubMed  Google Scholar 

  8. 8.

    Li SS, Bigler J, Lampe JW, Potter JD, Feng Z: FDR-controlling testing procedures and sample size determination for microarrays. Stat Med 2005, 24: 2267–2280.

    Article  PubMed  Google Scholar 

  9. 9.

    Pawitan Y, Michiels S, Koscielny S, Gusnanto A, Ploner A: False discovery rate, sensitivity and sample size for microarray studies. Bioinformatics 2005, 21: 3017–3024.

    CAS  Article  PubMed  Google Scholar 

  10. 10.

    Tibshirani R: A simple method for assessing sample sizes in microarray experiments. BMC Bioinformatics 2006, 7: 106.

    PubMed Central  Article  PubMed  Google Scholar 

  11. 11.

    Liu P, Hwang JTG: Quick Calculation for Sample Size while Controlling False Discovery Rate with Application to Microarray Anaylsis. Bioinformatics 2007, 23: 739–746.

    CAS  Article  PubMed  Google Scholar 

  12. 12.

    Ferreira JA, Zwinderman AH: Approximate Power and Sample Size Calculations with the Benjamini-Hochberg Method. Int J Biostat 2007, 2: Article 8.

    Google Scholar 

  13. 13.

    Hu J, Zou F, Wright FA: Practical FDR-based sample size calculations in microarray experiments. Bioinformatics 2005, 21: 3264–3272.

    CAS  Article  PubMed  Google Scholar 

  14. 14.

    Pounds S, Cheng C: Sample Size Determination for the False Discovery Rate. Bioinformatics 2005, 21: 4263–4271.

    CAS  Article  PubMed  Google Scholar 

  15. 15.

    Storey JD: The Positive False Discovery Rate: A Bayesian Interpretation and the q-value. Ann Stat 2003, 31: 2013–2035.

    Article  Google Scholar 

  16. 16.

    Pawitan Y, Murthy KRK, Michiels S, Ploner A: Bias in the estimation of the false discovery rate in microarray studies. Bioinformatics 2005, 21: 3865–3872.

    CAS  Article  PubMed  Google Scholar 

  17. 17.

    Lindsay BG: The Geometry of Mixture Likelihoods: A General Theory. Ann Stat 1983, 11: 86–94.

    Article  Google Scholar 

  18. 18.

    Dempster AP, Laird NM, Rubin DB: Maximum Likelihood from Incomplete Data via the EM Algorithm. J R Stat Soc Ser B 1977, 39: 1–38.

    Google Scholar 

  19. 19.

    Johnson NL, Kotz S, Balakrishnan N: Continuous Univariate Distributions. Volume 2. second edition. John Wiley and Sons, Inc; 1995.

    Google Scholar 

  20. 20.

    McLachlan G, Peel D: Finite Mixture Models. John Wiley and Sons, Inc; 2000.

    Google Scholar 

  21. 21.

    Jeffreys H, Jeffreys BS: Methods of Mathematical Physics. third edition. Cambridge University Press; 1972.

    Google Scholar 

  22. 22.

    Schweder T, Spjøtvoll E: Plots of p-values to evaluate many tests simultaneously. Biometrika 1982, 69: 493–502.

    Article  Google Scholar 

  23. 23.

    Allison DB, Gadbury GL, Heo M, Fernandez JR, Lee CK, Prolla TA, Weindruch R: A mixture model approach for the analysis of microarray gene expression data. Comput Stat Data An 2002, 39: 1–20.

    Article  Google Scholar 

  24. 24.

    Langaas M, Lindqvist BH, Ferkingstad E: Estimating the proportion of true null hypotheses, with application to DNA microarray data. J R Stat Soc Ser B 2005, 67: 555–572.

    Article  Google Scholar 

  25. 25.

    Akaike H: Information theory and an extension of the maximum likelihood principle. In Second International Symposium on Information Theory Edited by: Petrov BN, Csaki F. 1973, 267–281.

    Google Scholar 

  26. 26.

    Schwarz G: Estimating the Dimension of a Model. Ann Stat 1978, 6: 461–464.

    Article  Google Scholar 

  27. 27.

    Storey JD: Invited comment on 'Resampling-based multiple testing for DNA microarray data analysis' by Ge, Dudoit, and Speed. Test 2003, 12: 1–77.

    Article  Google Scholar 

  28. 28.

    Higham NJ: Computing the nearest correlation matrix – a problem from finance. IMA J Numer Anal 2002, 22: 329–343.

    Article  Google Scholar 

  29. 29.

    Smyth GK: Limma: linear models for microarray data. In Bioinformatics and Computational Biology Solutions using R and Bioconductor. Edited by: Gentleman R, Carey V, Dudoit S, Irizarry R, Huber W. Springer, New York; 2005:397–420.

    Google Scholar 

  30. 30.

    Rocke DM, Durbin B: A Model for Measurement Error for Gene Expression Arrays. J Comput Biol 2001, 8: 557–569.

    CAS  Article  PubMed  Google Scholar 

  31. 31.

    Smyth GK: Linear Models and Empirical Bayes Methods for Assessing Differential Expression in Microarray Experiments. Stat Appl Genet Mol Biol 2004, 3: Article 3.

    Google Scholar 

Download references


This work was supported by grants NFR 143250/140 and NFR 151991/S10 from the biotechnology and the functional genomics (FUGE) programs of the Norwegian Research Council (AMB, TSJ). Financial support was also given by the cross-disciplinary project "BIOEMIT – Prediction and modification in functional genomics: combining bioinfomatical, bioethical, biomedical, and biotechnlogical research" at the Norwegian University of Science and Technology (HM). The authors would like to thank Mette Langaas for reading the manuscript and making suggestions for improvements. We would also like to thank two anonymous reviewers for their careful reading and helpful advice.

Author information



Corresponding author

Correspondence to Atle M Bones.

Additional information

Authors' contributions

HM and TSJ developed the statistical algorithms, AMB provided the biological insight. TSJ implemented the methods, ran the tests and drafted the manuscript. HM and AMB revised the manuscript. All authors read and approved the final manuscript.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Jørstad, T.S., Midelfart, H. & Bones, A.M. A mixture model approach to sample size estimation in two-sample comparative microarray experiments. BMC Bioinformatics 9, 117 (2008).

Download citation


  • False Discovery Rate
  • Mixture Model
  • Akaike Information Criterion
  • Average Power
  • Bayesian Information Criterion