research30 min studyLesson 729 in Mathematics

Multiple testing and false discovery rate

Apply a step-up rule while distinguishing valid p-values, dependence assumptions, and expected false-discovery proportions.

On this page

What you’ll understand

  • Distinguish a realized false-discovery proportion from its expectation.
  • Apply Benjamini–Hochberg using the largest qualifying rank.
  • State independence and arbitrary-dependence guarantees without conflating them.

Testing many coordinates creates a decision problem with several possible error targets. Controlling each test separately does not control the probability of any false discovery, and controlling an expected false-discovery proportion does not bound that proportion in every realized dataset. The Benjamini–Hochberg rule adapts its rejection threshold to the number of discoveries, provided the p-values and their dependence satisfy the theorem being used.

Define the error before selecting a rule

Among a fixed family of mm null hypotheses, let RR be the number rejected and VV the number of rejected true nulls. The false-discovery proportion divides the latter by the former, taking value zero if there are no rejections. The false-discovery rate is its expectation over the data-generating experiment. It is not generally the ratio of two expectations, and it is not the probability that a particular selected hypothesis is false. Those are different quantities requiring different models or conditioning.

If every hypothesis is null, every rejection is false. In that special case the false-discovery proportion is the indicator of at least one rejection, so false-discovery rate equals familywise error probability. Outside the global null the criteria differ: allowing a small expected fraction of false discoveries can permit many more true discoveries than controlling the chance of any false rejection. A stated scientific decision target should determine which criterion is appropriate, rather than treating every multiplicity correction as interchangeable.

FDP⁡=VR∨1,FDR⁡=E ⁣[VR∨1],FWER⁡=Pr⁡(V≥1).\operatorname{FDP}=\frac{V}{R\vee1},\qquad \operatorname{FDR}=\mathbb E\!\left[\frac{V}{R\vee1}\right],\qquad \operatorname{FWER}=\Pr(V\geq1).
The denominator convention makes FDP zero when R is zero. FDR controls an expectation, not every realized FDP.↔ Scroll wide equations horizontally.

The largest qualifying rank matters

Sort the p-values in nondecreasing order and fix a target level q∈(0,1)q\in(0,1). Find the largest rank whose p-value is no larger than its rank times the target divided by the family size. Reject all hypotheses through that rank; if there is no qualifying rank, reject none. This is a step-up rule, so one must not stop at the first failed inequality. A later rank can qualify even if an earlier p-value exceeded its smaller individual threshold.

Suppose the p-values are mutually independent and each true-null p-value is valid, meaning its probability of falling below any threshold is at most that threshold. Then the rule controls FDR at most qm0/mq m_0/m, hence at most qq, where m0m_0 is the number of true nulls. Exact uniform null p-values are a familiar sufficient case; conservative valid p-values also give the inequality. Merely observing that p-values look small does not establish calibration. Approximate regression pivots require an additional argument before inheriting an exact finite-sample testing theorem.

r^=max⁡({i:p(i)≤qi/m}∪{0}),FDR⁡≤qm0m≤qunder independent valid p-values.\widehat r=\max\bigl(\{i:p_{(i)}\leq qi/m\}\cup\{0\}\bigr),\qquad \operatorname{FDR}\leq q\frac{m_0}{m}\leq q\quad\text{under independent valid p-values}.
All ranks are considered. The displayed guarantee assumes a fixed tested family and the stated calibration and independence.↔ Scroll wide equations horizontally.

Dependence and selection change the guarantee

Certain positive regression dependence conditions also support the unmodified rule, but arbitrary correlation is not the same condition. Under completely unrestricted dependence, valid marginal p-values suffice for the Benjamini–Yekutieli correction: replace the target by q/Hmq/H_m, where Hm=∑i=1m1/iH_m=\sum_{i=1}^m1/i. The harmonic factor can reduce power substantially. One should state the actual dependence theorem rather than assume that any positive-looking correlation or any two-sided construction qualifies for a more favorable result.

Filtering hypotheses using the same outcomes can change both the tested family and the conditional p-value law. An independence-preserving filter or a dedicated selection-aware method needs its own justification. Likewise, an FDR guarantee does not promise that a particular realized list contains at most the target fraction of false discoveries. That stronger realized-proportion or exceedance target requires different procedures and assumptions. Reporting the family, rule, target level, calibration, and dependence conditions makes the statistical claim assessable without implying knowledge of which individual discoveries are false.

A finite step-up calculation

Apply BH at target 0.1 to six sorted p-values: 0.006, 0.02, 0.04, 0.07, 0.11, 0.5. Then suppose exactly one of the rejected hypotheses is a true null.

  1. The six thresholds are 1/60,2/60,3/60,4/60,5/60,6/601/60,2/60,3/60,4/60,5/60,6/60. The first three p-values pass, while the fourth exceeds about 0.066670.06667 and the fifth and sixth exceed their thresholds.

  2. The largest qualifying rank is three, so the rule rejects the first three hypotheses. Every rank was checked rather than inferring the result from just one small p-value.

  3. If one of those three rejections is false, the realized false-discovery proportion is 1/31/3, greater than the target 0.10.1. This single outcome does not contradict FDR control, which constrains an expectation under the assumed experiment and does not reveal the false discoveries from the observed p-values alone.

The result

The selected list has three entries; a realized false-discovery proportion above the nominal FDR level can occur under a valid procedure.

Explore the model

Interactive lab

Interactive lab · probability

The global-null cost of uncorrected tests

Pause/Reset, set success probability 0.05 and trials 20. Interpret successes as independent false rejections: predict mean 1 and probability of any success 1 minus 0.95 to the twentieth, about 0.6415. For a fresh comparison Pause/Reset, set both probability 0.01 and trials 20, giving mean 0.2 and any-success probability about 0.1821.

The global-null cost of uncorrected testsThese are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Current readings: Mean · np: 5; Variance · np(1−p): 2.5; Total probability: 1. All parameters are adjustable with the labeled controls below.03581000.070.150.220.3Successes kP(X = k)k = 0 · P = 9.77e-4
Exact probabilityHighlighted outcomeMean np
Mean · np
5
Variance · np(1−p)
2.5
Total probability
1
t = 0 s

These are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forUnder the global null, any-rejection probability equals FDR. These exact binomial bars describe independent fixed-threshold decisions, not a simulation of BH or correlated p-values.

Check your understanding

What does a valid FDR bound of 0.05 guarantee?

Try it yourself

For sorted p-values 0.02, 0.021, 0.022, 0.8, apply BH at target 0.05. Then apply the arbitrary-dependence harmonic correction at the same target and compare the rejection counts.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

BH must inspect ranks beyond the first failed inequality. For four tests the harmonic sum is twenty-five twelfths.

Compare with the solution

Ordinary BH thresholds are 0.0125,0.025,0.0375,0.050.0125,0.025,0.0375,0.05. Although the first inequality fails, the second and third pass, so the largest qualifying rank is three and BH rejects the first three. The harmonic-corrected target is 0.05/(25/12)=0.0240.05/(25/12)=0.024, giving thresholds 0.006,0.012,0.018,0.0240.006,0.012,0.018,0.024. None passes, so the corrected rule rejects zero. The difference reflects a more conservative dependence guarantee, not evidence that one of these lists has a known realized false-discovery proportion.

Take it with you

  • FDR is the expectation of a ratio, with zero false-discovery proportion when nothing is rejected.
  • BH selects the largest qualifying rank and needs calibrated p-values plus appropriate dependence conditions.
  • Arbitrary dependence and data-dependent filtering require their own corrections or justification.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.