Technological motivations

The modern widespread use of the FDR is believed to stem from, and be motivated by, the development in technologies that allowed the collection and analysis of a large number of distinct variables in several individuals (e.g., the expression level of each of 10,000 different genes in 100 different persons).^[3] By the late 1980s and 1990s, the development of "high-throughput" sciences, such as genomics, allowed for rapid data acquisition. This, coupled with the growth in computing power, made it possible to seamlessly perform a very high number of statistical tests on a given data set. The technology of microarrays was a prototypical example, as it enabled thousands of genes to be tested simultaneously for differential expression between two biological conditions.^[4]

As high-throughput technologies became common, technological and/or financial constraints led researchers to collect datasets with relatively small sample sizes (e.g. few individuals being tested) and large numbers of variables being measured per sample (e.g. thousands of gene expression levels). In these datasets, too few of the measured variables showed statistical significance after classic correction for multiple tests with standard multiple comparison procedures. This created a need within many scientific communities to abandon FWER and unadjusted multiple hypothesis testing for other ways to highlight and rank in publications those variables showing marked effects across individuals or treatments that would otherwise be dismissed as non-significant after standard correction for multiple tests. In response to this, a variety of error rates have been proposed—and become commonly used in publications—that are less conservative than FWER in flagging possibly noteworthy observations. The FDR is useful when researchers are looking for "discoveries" that will give them followup work (E.g.: detecting promising genes for followup studies), and are interested in controlling the proportion of "false leads" they are willing to accept.

Literature

The FDR concept was formally described by Yoav Benjamini and Yosef Hochberg in 1995^[1] (BH procedure) as a less conservative and arguably more appropriate approach for identifying the important few from the trivial many effects tested. The FDR has been particularly influential, as it was the first alternative to the FWER to gain broad acceptance in many scientific fields (especially in the life sciences, from genetics to biochemistry, oncology and plant sciences).^[3] In 2005, the Benjamini and Hochberg paper from 1995 was identified as one of the 25 most-cited statistical papers.^[5]

Prior to the 1995 introduction of the FDR concept, various precursor ideas had been considered in the statistics literature. In 1979, Holm proposed the Holm procedure,^[6] a stepwise algorithm for controlling the FWER that is at least as powerful as the well-known Bonferroni adjustment. This stepwise algorithm sorts the p-values and sequentially rejects the hypotheses starting from the smallest p-values.

Benjamini (2010) said that the false discovery rate,^[3] and the paper Benjamini and Hochberg (1995), had its origins in two papers concerned with multiple testing:

• The first paper is by Schweder and Spjotvoll (1982) who suggested plotting the ranked p-values and assessing the number of true null hypotheses (${\displaystyle m_{0}}$) via an eye-fitted line starting from the largest p-values.^[7] The p-values that deviate from this straight line then should correspond to the false null hypotheses. This idea was later developed into an algorithm and incorporated the estimation of ${\displaystyle m_{0}}$ into procedures such as Bonferroni, Holm or Hochberg.^[8] This idea is closely related to the graphical interpretation of the BH procedure.
• The second paper is by Branko Soric (1989) which introduced the terminology of "discovery" in the multiple hypothesis testing context.^[9] Soric used the expected number of false discoveries divided by the number of discoveries ${\displaystyle \left(E[V]/R\right)}$ as a warning that "a large part of statistical discoveries may be wrong". This led Benjamini and Hochberg to the idea that a similar error rate, rather than being merely a warning, can serve as a worthy goal to control.

The BH procedure was proven to control the FDR for independent tests in 1995 by Benjamini and Hochberg.^[1] In 1986, R. J. Simes offered the same procedure as the "Simes procedure", in order to control the FWER in the weak sense (under the intersection null hypothesis) when the statistics are independent.^[10]

Classification of multiple hypothesis tests

The following table defines the possible outcomes when testing multiple null hypotheses. Suppose we have a number m of null hypotheses, denoted by: H₁, H₂, ..., H_m. Using a statistical test, we reject the null hypothesis if the test is declared significant. We do not reject the null hypothesis if the test is non-significant. Summing each type of outcome over all H_i  yields the following random variables:

	Null hypothesis is true (H0)	Alternative hypothesis is true (HA)	Total
Test is declared significant	V	S	R
Test is declared non-significant	U	T	${\displaystyle m-R}$
Total	${\displaystyle m_{0}}$	${\displaystyle m-m_{0}}$	m

• m is the total number hypotheses tested
• ${\displaystyle m_{0}}$ is the number of true null hypotheses, an unknown parameter
• ${\displaystyle m-m_{0}}$ is the number of true alternative hypotheses
• V is the number of false positives (Type I error) (also called "false discoveries")
• S is the number of true positives (also called "true discoveries")
• T is the number of false negatives (Type II error)
• U is the number of true negatives
• ${\displaystyle R=V+S}$ is the number of rejected null hypotheses (also called "discoveries", either true or false)

In m hypothesis tests of which ${\displaystyle m_{0}}$ are true null hypotheses, R is an observable random variable, and S, T, U, and V are unobservable random variables.

Benjamini–Hochberg procedure

The Benjamini-Hochberg procedure applied to a set of m = 20 ascendingly ordered pvalues, with a false discovery control level α = 0.05. The p-values of the rejected null hypothesis (i.e. declared discoveries) are colored in red. Note that there are rejected p-values which are above the rejection line (in blue) since all null hypothesis of p-values which are ranked before the pvalue of the last intersection are rejected

The Benjamini–Hochberg procedure (BH step-up procedure) controls the FDR at level ${\displaystyle \alpha }$.^[1] It works as follows:

1. For a given ${\displaystyle \alpha }$, find the largest k such that ${\displaystyle P_{(k)}\leq {\frac {k}{m}}\alpha }$
2. Reject the null hypothesis (i.e., declare discoveries) for all ${\displaystyle H_{(i)}}$ for ${\displaystyle i=1,\ldots ,k}$

Geometrically, this corresponds to plotting ${\displaystyle P_{(k)}}$ vs. k (on the y and x axes respectively), drawing the line through the origin with slope ${\displaystyle {\frac {\alpha }{m}}}$ , and declaring discoveries for all points on the left, up to, and including the last point that is below the line.

The BH procedure is valid when the m tests are independent, and also in various scenarios of dependence, but is not universally valid.^[11] It also satisfies the inequality:

${\displaystyle E(Q)\leq {\frac {m_{0}}{m}}\alpha \leq \alpha }$

If an estimator of ${\displaystyle m_{0}}$ is inserted into the BH procedure, it is no longer guaranteed to achieve FDR control at the desired level.^[3] Adjustments may be needed in the estimator and several modifications have been proposed.^{[12][13][14][15]}

Note that the mean ${\displaystyle \alpha }$ for these m tests is ${\displaystyle {\frac {\alpha (m+1)}{2m}}}$, the Mean(FDR ${\displaystyle \alpha }$) or MFDR, ${\displaystyle \alpha }$ adjusted for m independent or positively correlated tests (see AFDR below). The MFDR expression here is for a single recomputed value of ${\displaystyle \alpha }$ and is not part of the Benjamini and Hochberg method.

Benjamini–Yekutieli procedure

The Benjamini–Yekutieli procedure controls the false discovery rate under arbitrary dependence assumptions.^[11] This refinement modifies the threshold and finds the largest k such that:

${\displaystyle P_{(k)}\leq {\frac {k}{m\cdot c(m)}}\alpha }$

• If the tests are independent or positively correlated (as in Benjamini–Hochberg procedure): ${\displaystyle c(m)=1}$
• Under arbitrary dependence (including the case of negative correlation), c(m) is the harmonic number: ${\displaystyle c(m)=\sum _{i=1}^{m}{\frac {1}{i}}}$.

Note that ${\displaystyle c(m)}$ can be approximated by using the Taylor series expansion and the Euler–Mascheroni constant (${\displaystyle \gamma =0.57721...}$):

${\displaystyle \sum _{i=1}^{m}{\frac {1}{i}}\approx \ln(m)+\gamma +{\frac {1}{2m}}.}$

Using MFDR and formulas above, an adjusted MFDR (or AFDR) is the minimum of the mean ${\displaystyle \alpha }$ for m dependent tests, i.e., ${\displaystyle {\frac {\mathrm {MFDR} }{c(m)}}=\alpha (m+1)/(2m[\ln(m)+\gamma ]+1)}$. Another way to address dependence is by bootstrapping and rerandomization.^[4][16][17]

Storey-Tibshirani procedure

Schematic representation of the Storey-Tibshirani procedure for correcting for multiple hypothesis testing, assuming correctly calculated p-values. y-axis is frequency.

In the Storey-Tibshirani procedure, q-values are used for controlling the FDR.

Adaptive and scalable

Using a multiplicity procedure that controls the FDR criterion is adaptive and scalable. Meaning that controlling the FDR can be very permissive (if the data justify it), or conservative (acting close to control of FWER for sparse problem) - all depending on the number of hypotheses tested and the level of significance.^[3]

The FDR criterion adapts so that the same number of false discoveries (V) will have different implications, depending on the total number of discoveries (R). This contrasts with the family-wise error rate criterion. For example, if inspecting 100 hypotheses (say, 100 genetic mutations or SNPs for association with some phenotype in some population):

• If we make 4 discoveries (R), having 2 of them be false discoveries (V) is often very costly. Whereas,
• If we make 50 discoveries (R), having 2 of them be false discoveries (V) is often not very costly.

The FDR criterion is scalable in that the same proportion of false discoveries out of the total number of discoveries (Q), remains sensible for different number of total discoveries (R). For example:

• If we make 100 discoveries (R), having 5 of them be false discoveries (${\displaystyle q=5\%}$) may not be very costly.
• Similarly, if we make 1000 discoveries (R), having 50 of them be false discoveries (as before, ${\displaystyle q=5\%}$) may still not be very costly.

Dependency among the test statistics

Controlling the FDR using the linear step-up BH procedure, at level q, has several properties related to the dependency structure between the test statistics of the m null hypotheses that are being corrected for. If the test statistics are:

• Independent:^[11] ${\displaystyle \mathrm {FDR} \leq {\frac {m_{0}}{m}}q}$
• Independent and continuous:^[1] ${\displaystyle \mathrm {FDR} ={\frac {m_{0}}{m}}q}$
• Positive dependent:^[11] ${\displaystyle \mathrm {FDR} \leq {\frac {m_{0}}{m}}q}$
• In the general case:^[11] ${\displaystyle \mathrm {FDR} \leq {\frac {m_{0}}{m}}q/\left(1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{m}}\right)\approx {\frac {m_{0}}{m}}q/(\ln(m)+\gamma +{\frac {1}{2m}})}$ , where ${\displaystyle \gamma }$ is the Euler–Mascheroni constant.

Proportion of true hypotheses

If all of the null hypotheses are true (${\displaystyle m_{0}=m}$), then controlling the FDR at level q guarantees control over the FWER (this is also called "weak control of the FWER"): ${\displaystyle \mathrm {FWER} =P\left(V\geq 1\right)=E\left({\frac {V}{R}}\right)=\mathrm {FDR} \leq q}$, simply because the event of rejecting at least one true null hypothesis ${\displaystyle \{V\geq 1\}}$ is exactly the event ${\displaystyle \{V/R=1\}}$, and the event ${\displaystyle \{V=0\}}$ is exactly the event ${\displaystyle \{V/R=0\}}$ (when ${\displaystyle V=R=0}$, ${\displaystyle V/R=0}$ by definition).^[1] But if there are some true discoveries to be made (${\displaystyle m_{0}<m}$) then FWER ≥ FDR. In that case there will be room for improving detection power. It also means that any procedure that controls the FWER will also control the FDR.

Average power

The average power of the Benjamini-Hochberg procedure can be computed analytically^[18]

False coverage rate

The false coverage rate (FCR) is, in a sense, the FDR analog to the confidence interval. FCR indicates the average rate of false coverage, namely, not covering the true parameters, among the selected intervals. The FCR gives a simultaneous coverage at a ${\displaystyle 1-\alpha }$ level for all of the parameters considered in the problem. Intervals with simultaneous coverage probability 1−q can control the FCR to be bounded by q. There are many FCR procedures such as: Bonferroni-Selected–Bonferroni-Adjusted, Adjusted BH-Selected CIs (Benjamini and Yekutieli (2005)),^[24] Bayes FCR (Yekutieli (2008)), and other Bayes methods.^[25]

Bayesian approaches

Connections have been made between the FDR and Bayesian approaches (including empirical Bayes methods),^[21][26][27] thresholding wavelets coefficients and model selection,^{[28][29][30][31]} and generalizing the confidence interval into the false coverage statement rate (FCR).^[24]