Tutorials › Biostatistics › Graphical Approaches to Multiple Testing

Multiple Testing & Multiplicity

Graphical Approaches to Multiple Testing

A practical guide to graphical multiple-testing procedures in clinical trials, including weighted hypotheses, alpha allocation, transition weights, alpha recycling, gatekeeping, family-wise error rate control, and a complete worked example.

Advanced 18 min read

What You'll Learn

  • Why graphical procedures are useful for complex clinical-trial multiplicity
  • How local alpha levels and initial weights are assigned to hypotheses
  • How transition weights transfer alpha after a hypothesis is rejected
  • How alpha recycling creates flexible graphical procedures
  • How gatekeeping, hierarchical testing, and graphical procedures are related
  • How to construct and implement a graphical procedure in a clinical trial

Introduction

Clinical trials frequently evaluate several hypotheses simultaneously. Examples include multiple primary or key secondary endpoints, multiple doses, different patient populations, or combinations of efficacy objectives.

If each hypothesis were tested independently at the conventional significance level, the probability of making at least one false positive decision could be substantially greater than the desired family-wise error rate.

Traditional procedures such as Bonferroni and Holm solve this problem by adjusting significance levels according to relatively simple rules.

But clinical-trial hypotheses often have a much richer structure.

For example, an investigator might want to:

  • Prioritize a primary endpoint.
  • Give a smaller amount of alpha to supportive endpoints.
  • Test a key secondary endpoint only after success on the primary endpoint.
  • Transfer unused alpha after a successful hypothesis.
  • Recycle alpha among several hypotheses.
  • Allow different hypotheses to receive different fractions of recycled alpha.

A graphical multiple-testing procedure provides a natural way to represent these relationships.

Key idea: A graphical procedure represents hypotheses as nodes and the movement of significance level, or alpha, between hypotheses as directed edges. The graph therefore describes both where testing begins and how alpha is redistributed after successful tests.

The Multiplicity Problem

Suppose a clinical trial tests three null hypotheses:

\[ H_1,\qquad H_2,\qquad H_3 \]

If each hypothesis is tested at the one-sided level 0.05, the probability of at least one false rejection can exceed 5%.

If the tests were independent, for example, the probability of no false rejection when all three null hypotheses are true would be:

\[ (1-0.05)^3=0.95^3 \]

Therefore the probability of at least one false rejection would be:

\[ 1-0.95^3\approx0.1426 \]

or approximately 14.3%.

The exact family-wise error rate depends on the dependence structure of the tests, but the basic problem remains: testing several hypotheses without multiplicity control can inflate the probability of at least one false-positive conclusion.

Family-Wise Error Rate

The family-wise error rate, or FWER, is the probability of making at least one false rejection among a family of hypotheses.

\[ FWER = P(\text{at least one true null hypothesis is rejected}) \]

A multiplicity procedure is commonly designed to satisfy:

\[ FWER\le\alpha \]

For a confirmatory clinical trial, a common one-sided family-wise error target is:

\[ \alpha=0.05 \]

The graphical procedure determines how that overall alpha budget is distributed and subsequently transferred among the hypotheses.

Why a Graph?

A graphical procedure makes the testing strategy visible.

Each hypothesis is represented by a node. The initial allocation of alpha is represented by the node's starting weight. Directed arrows represent possible transfers of alpha after a hypothesis is rejected.

For example:

H₁ α = 0.025
1.0
H₂ α = 0.015
1.0
H₃ α = 0.010

The initial local significance levels sum to the overall alpha:

\[ 0.025+0.015+0.010=0.050 \]

If \(H_1\) is rejected, the arrow labeled 1.0 means that all of its available alpha can be transferred to \(H_2\).

If \(H_2\) is subsequently rejected, its available alpha can be transferred to \(H_3\).

The graph is a prespecified testing algorithm. It is not simply a visualization added after the analysis. The initial weights, transition weights, and testing rules should be specified before unblinding confirmatory results.

Hypotheses as Nodes

Suppose a trial has three objectives:

Hypothesis Clinical Objective Initial Alpha
\(H_1\) Primary efficacy endpoint 0.025
\(H_2\) Key secondary endpoint 0.015
\(H_3\) Additional secondary endpoint 0.010

The initial alpha weights are:

\[ w_1=0.50,\qquad w_2=0.30,\qquad w_3=0.20 \]

because:

\[ 0.50+0.30+0.20=1 \]

Multiplying these weights by the family-wise alpha gives:

\[ \alpha_i=\alpha w_i \]

so:

\[ \alpha_1=0.05(0.50)=0.025 \]
\[ \alpha_2=0.05(0.30)=0.015 \]
\[ \alpha_3=0.05(0.20)=0.010 \]

Initial Alpha Weights

The initial weights describe how the total type I error budget is allocated before any hypothesis has been rejected.

In general, if there are \(m\) hypotheses:

\[ w_1,w_2,\ldots,w_m \]

with:

\[ w_i\ge0 \qquad\text{and}\qquad \sum_{i=1}^{m}w_i=1 \]

The initial local significance level for hypothesis \(H_i\) is:

\[ \alpha_i=\alpha w_i \]

A hypothesis with a larger initial weight receives a larger initial testing level.

Clinical interpretation: The initial weights can reflect the relative importance of hypotheses. A primary endpoint might receive more initial alpha than exploratory or supportive endpoints.

Transition Weights

Initial weights tell us where alpha starts.

Transition weights tell us where alpha goes next.

Suppose \(H_i\) has an outgoing transition to \(H_j\) with weight \(g_{ij}\).

The transition weights from a node satisfy:

\[ g_{ij}\ge0 \]

and, when all available alpha is distributed after rejection:

\[ \sum_{j\ne i}g_{ij}=1 \]

For example:

H₁ initial α = .025
0.70
H₂ receives 70%

If \(H_1\) is rejected, 70% of its available alpha is transferred to \(H_2\).

If \(H_1\) had local alpha 0.025, the transfer would be:

\[ 0.025(0.70)=0.0175 \]

If another 30% is directed toward \(H_3\), then:

\[ 0.025(0.30)=0.0075 \]

and the full amount of \(H_1\)'s alpha has been redistributed:

\[ 0.0175+0.0075=0.025 \]

Alpha Recycling

One of the most powerful features of graphical procedures is alpha recycling.

Instead of allowing alpha associated with a rejected hypothesis to disappear, the procedure can transfer that alpha to hypotheses that remain active.

For example:

H₁ initial α = .025
1.0
H₂ receives α

If \(H_1\) is rejected, its available alpha moves to \(H_2\).

If \(H_2\) is then rejected, its accumulated alpha can be transferred again.

The alpha therefore follows a path through the graph.

Important distinction: Alpha recycling does not mean that the analyst is allowed to increase significance levels arbitrarily after observing results. The recycling rules are specified in advance as part of the multiplicity procedure.

A Simple Serial Graph

The simplest graphical procedure is a sequential chain:

H₁ α = .025
1.0
H₂ α = .015
1.0
H₃ α = .010

The interpretation is:

  1. Test \(H_1\) at 0.025.
  2. If \(H_1\) is rejected, transfer its available alpha to \(H_2\).
  3. Test \(H_2\) at its updated alpha.
  4. If \(H_2\) is rejected, transfer its available alpha to \(H_3\).
  5. Test \(H_3\) at its updated alpha.

This is closely related to a hierarchical or gatekeeping strategy.

Graphical Procedures Are More General Than Simple Gatekeeping

A strict hierarchy might require:

H_1\rightarrow H_2\rightarrow H_3 \]

with all alpha moving sequentially from one hypothesis to the next.

A graphical procedure can be more flexible.

For example, after rejecting \(H_1\), alpha could be split between \(H_2\) and \(H_3\):

H₁ α = .025
0.60
H₂ 60% transfer
30% of the available alpha could simultaneously be transferred to \(H_3\).

This allows the statistical strategy to reflect a more complex clinical decision structure.

Graphical Testing in Matrix Form

For a larger procedure, it is often useful to describe the graph using a transition matrix.

Suppose there are three hypotheses and the transition matrix is:

\[ G= \begin{pmatrix} 0 & 1.0 & 0\\ 0 & 0 & 1.0\\ 0 & 0 & 0 \end{pmatrix} \]

The first row says that when \(H_1\) is rejected, all available alpha is transferred to \(H_2\).

The second row says that when \(H_2\) is rejected, all available alpha is transferred to \(H_3\).

The third row contains no outgoing transition because \(H_3\) is the final hypothesis in this simple chain.

The Graph Changes After a Rejection

The graphical procedure should be thought of as a dynamic system.

Initially:

\[ \boldsymbol{\alpha}^{(0)} = (0.025,\;0.015,\;0.010) \]

If \(H_1\) is rejected, its available alpha is transferred according to the transition weights.

With a 1.0 transition from \(H_1\) to \(H_2\):

\[ \boldsymbol{\alpha}^{(1)} = (0,\;0.040,\;0.010) \]

The total alpha remains:

\[ 0.040+0.010=0.050 \]

If \(H_2\) is then rejected and all of its available alpha moves to \(H_3\):

\[ \boldsymbol{\alpha}^{(2)} = (0,\;0,\;0.050) \]

The total alpha budget remains 0.05.

Core principle: The graph redistributes the prespecified type I error budget; it does not create additional type I error out of nowhere.

A Complete Worked Example

Consider a confirmatory clinical trial with three hypotheses:

Hypothesis Endpoint Initial Weight Initial Alpha
\(H_1\) Primary endpoint 0.50 0.025
\(H_2\) Key secondary endpoint 0.30 0.015
\(H_3\) Additional key endpoint 0.20 0.010

The total family-wise error rate is:

\[ \alpha=0.05 \]

The graph is:

H₁ α = .025
1.0
H₂ α = .015
1.0
H₃ α = .010

The transition rules are:

  • If \(H_1\) is rejected, transfer all of its available alpha to \(H_2\).
  • If \(H_2\) is rejected, transfer all of its available alpha to \(H_3\).
  • If a hypothesis is not rejected, its alpha is not transferred through that rejection pathway.

Step 1: Test the Primary Hypothesis

Suppose the primary endpoint produces:

\[ p_1=0.008 \]

The initial significance level for \(H_1\) is:

\[ \alpha_1=0.025 \]

Because:

\[ 0.008<0.025 \]

we reject \(H_1\).

The full 0.025 alpha associated with \(H_1\) is now transferred to \(H_2\).

Step 2: Update the Alpha for \(H_2\)

Before the rejection of \(H_1\), \(H_2\) had:

\[ \alpha_2=0.015 \]

After receiving the 0.025 transferred from \(H_1\):

\[ \alpha_2^{*} = 0.015+0.025 = 0.040 \]

Suppose the p-value for \(H_2\) is:

\[ p_2=0.018 \]

Since:

\[ 0.018<0.040 \]

we reject \(H_2\).

Step 3: Transfer Alpha to \(H_3\)

The available alpha for \(H_3\) initially is:

\[ \alpha_3=0.010 \]

The rejected \(H_2\) now transfers its entire 0.040 alpha to \(H_3\).

Therefore:

\[ \alpha_3^{*} = 0.010+0.040 = 0.050 \]

Suppose:

\[ p_3=0.012 \]

Since:

\[ 0.012<0.050 \]

we reject \(H_3\).

Worked Example Result

Hypothesis Initial Alpha Updated Alpha P-value Decision
\(H_1\) 0.025 0.025 0.008 Reject
\(H_2\) 0.015 0.040 0.018 Reject
\(H_3\) 0.010 0.050 0.012 Reject

The sequence is:

1
\(H_1\) rejects at 0.025.
2
Its 0.025 alpha is transferred to \(H_2\), increasing \(H_2\)'s level from 0.015 to 0.040.
3
\(H_2\) rejects at 0.040.
4
The resulting 0.040 alpha is transferred to \(H_3\), increasing its level from 0.010 to 0.050.
5
\(H_3\) rejects at 0.050.

What Happens if \(H_1\) Fails?

Now consider a different result for the same prespecified procedure.

Suppose:

\[ p_1=0.030 \]

The primary hypothesis is tested at:

\[ \alpha_1=0.025 \]

Since:

\[ 0.030>0.025 \]

\(H_1\) is not rejected.

Under the simple serial graph, its alpha is therefore not transferred to \(H_2\).

If \(H_2\) has:

\[ p_2=0.018 \]

then:

\[ 0.018>0.015 \]

so \(H_2\) is also not rejected.

If \(H_3\) has \(p_3=0.012\), then:

\[ 0.012>0.010 \]

and \(H_3\) is not rejected either.

Notice what did not happen: The analyst cannot decide after seeing the results that \(H_1\)'s unused alpha should now be given to \(H_3\). The transfer pathway was prespecified in the graph.

Partial Alpha Transfer

The graph does not have to transfer all alpha to one hypothesis.

Suppose \(H_1\) distributes its available alpha as follows:

H₁ available α
0.70
H₂ 70% transfer

The remaining 30% is transferred to \(H_3\).

If \(H_1\) has 0.025 available alpha, then \(H_2\) receives:

\[ 0.025(0.70)=0.0175 \]

while \(H_3\) receives:

\[ 0.025(0.30)=0.0075 \]

The total transferred alpha remains:

\[ 0.0175+0.0075=0.025 \]

Why Partial Transfer Is Useful

Partial transfer can represent situations in which several hypotheses remain clinically important after a particular objective succeeds.

For example, a trial might want to prioritize:

  • A key secondary endpoint at 70% of recycled alpha.
  • A second key secondary endpoint at 30%.

This is more flexible than a strict serial hierarchy.

Alpha Recycling Back to an Earlier Hypothesis

Graphical procedures can also contain cycles.

For example, alpha from \(H_2\) might be partially returned to \(H_1\) while another portion moves to \(H_3\).

A conceptual graph might be:

H₁ primary
0.50
H₂ secondary

A second transition from \(H_2\) could send the remaining 50% toward another hypothesis or back toward \(H_1\), depending on the prespecified graph.

This kind of recycling is useful when the hypotheses are not naturally arranged in a one-way hierarchy.

Caution: Cyclic graphs require careful specification and implementation. The transition weights must satisfy the mathematical conditions of the chosen graphical procedure, and the resulting procedure should be validated before use in a confirmatory analysis.

Graphical Procedures and Gatekeeping

Gatekeeping procedures divide hypotheses into families or testing sequences and determine when later hypotheses become eligible for testing.

For example:

\[ \text{Primary family} \longrightarrow \text{Key secondary family} \]

A graphical procedure can represent this same logic using nodes and transition weights.

Concept Gatekeeping Graphical Procedure
Primary hypotheses Tested first Initial nodes
Secondary hypotheses Become accessible after success Receive transferred alpha
Alpha transfer Often family-based Explicit transition weights
Complexity Can be moderate Highly flexible
Visualization Usually sequential Graph structure

Graphical Procedures and Hierarchical Testing

Hierarchical testing is a particularly simple special case of a graphical strategy.

Consider:

\[ H_1\rightarrow H_2\rightarrow H_3 \]

If all alpha is transferred sequentially, the graph encodes a hierarchy.

The advantage of the graphical representation becomes more apparent when the strategy becomes more complicated.

For example:

  • \(H_1\) may transfer 60% to \(H_2\) and 40% to \(H_3\).
  • \(H_2\) may transfer alpha to \(H_3\).
  • \(H_3\) may recycle some alpha to another hypothesis.

A graph can display all of these relationships explicitly.

Graphical Procedures and Bonferroni

The Bonferroni procedure can also be viewed through the lens of alpha allocation.

If \(m\) hypotheses receive equal weights:

\[ w_i=\frac{1}{m} \]

then each hypothesis initially receives:

\[ \alpha_i=\frac{\alpha}{m} \]

For three hypotheses and \(\alpha=0.05\):

\[ \alpha_i=\frac{0.05}{3} \approx0.01667 \]

This illustrates an important conceptual difference.

Bonferroni allocates alpha statically, whereas a graphical procedure can redistribute alpha dynamically according to prespecified testing relationships.

Graphical Procedures and Holm

Holm's step-down procedure also creates a sequence in which the testing level changes as hypotheses are processed.

However, graphical procedures are generally specified through an explicit network of initial weights and transition weights rather than simply ranking p-values and applying a step-down formula.

This makes graphical procedures particularly attractive when the order and relationships among clinical hypotheses have substantive meaning.

Local Alpha Versus Overall Alpha

A common source of confusion is the difference between the overall family-wise alpha and the local alpha assigned to an individual hypothesis.

Suppose:

\[ \alpha=0.05 \]

and \(H_1\) initially receives weight 0.50.

Its local testing level is:

\[ \alpha_1=0.05(0.50)=0.025 \]

This does not mean the trial has a 2.5% family-wise error target.

The 0.025 is the current local level at which \(H_1\) is tested within the overall 0.05 multiplicity framework.

Think of alpha as a budget. The overall budget might be 0.05. The graph determines how much of that budget is currently available at each hypothesis.

What Does a Rejected Hypothesis Contribute?

Suppose \(H_i\) has current local alpha:

\[ \alpha_i \]

and is rejected.

If its transition weight to \(H_j\) is \(g_{ij}\), the amount transferred is:

\[ \alpha_i g_{ij} \]

If several hypotheses receive transfers, then the receiving hypothesis may accumulate alpha from multiple sources.

For example:

\[ \alpha_j^{new} = \alpha_j^{old} + \sum_i\alpha_i g_{ij} \]

where the summation is over rejected hypotheses that transfer alpha to \(H_j\).

Multiple Incoming Paths

Suppose \(H_3\) receives alpha from both \(H_1\) and \(H_2\).

If:

\[ \alpha_1=0.020 \]

with transition weight 0.50 to \(H_3\), and:

\[ \alpha_2=0.015 \]

with transition weight 0.40 to \(H_3\), then \(H_3\) receives:

\[ 0.020(0.50)+0.015(0.40) \]

or:

\[ 0.010+0.006=0.016 \]

If \(H_3\) originally had 0.010 alpha, its updated level becomes:

\[ 0.010+0.016=0.026 \]

This is one reason graphical procedures can become difficult to implement manually in large trials.

Graphical Procedures With Multiple Endpoints

A common clinical-trial application is a primary endpoint followed by several key secondary endpoints.

For example:

Hypothesis Clinical Question
\(H_1\) Does treatment improve the primary endpoint?
\(H_2\) Does treatment improve a key secondary endpoint?
\(H_3\) Does treatment improve another key secondary endpoint?
\(H_4\) Does treatment improve a patient-reported outcome?

A graphical strategy might allocate more initial alpha to \(H_1\), while allowing successful testing of \(H_1\) to increase the levels available for the secondary objectives.

Graphical Procedures With Multiple Doses

The same framework can be used when multiplicity arises from multiple doses.

For example, suppose a study evaluates:

  • Low dose
  • Medium dose
  • High dose

and each dose has an efficacy hypothesis.

The graph can encode a strategy such as:

1
Test the high dose first because it is the preferred confirmatory dose.
2
If successful, transfer some alpha to the medium dose.
3
If the medium dose succeeds, transfer alpha to the low dose.
4
Alternatively, recycle part of the alpha among doses according to a prespecified strategy.

Graphical Procedures With Multiple Families

More complex trials may contain several families of hypotheses.

For example:

  • Family 1: primary efficacy endpoints
  • Family 2: key secondary endpoints
  • Family 3: dose-related hypotheses
  • Family 4: patient-reported outcomes

A graphical procedure can connect individual hypotheses or groups of hypotheses depending on the desired testing strategy.

This can be especially useful when the trial has multiple clinically meaningful paths to success.

Closed Testing and Graphical Procedures

Graphical procedures are closely related to the broader framework of closed testing.

The closed-testing principle requires testing appropriate intersection hypotheses so that rejection of an individual hypothesis is supported by the required family of tests.

Many graphical procedures can be interpreted as computationally efficient ways of implementing multiple-testing strategies that maintain strong control of the FWER.

Do not confuse the graph with a proof by itself. A graph is a representation of a multiplicity procedure. Its validity depends on the underlying testing rules, assumptions, transition structure, and the conditions under which the procedure was constructed.

Strong Control of the FWER

A major goal of confirmatory multiplicity procedures is strong control of the family-wise error rate.

Strong control means that the probability of at least one false rejection is controlled at or below the target alpha for every configuration of true and false null hypotheses.

Symbolically:

\[ P(\text{at least one false rejection}) \le\alpha \]

for every possible configuration of the hypotheses.

This is stronger than controlling error only under the global null hypothesis.

Why the Graph Must Be Prespecified

The graph determines which hypotheses can receive additional alpha.

Therefore changing the graph after observing unblinded efficacy results can change the operating characteristics of the procedure.

The following should generally be prespecified:

  • The family of hypotheses.
  • The definition of each hypothesis.
  • The overall alpha level.
  • The initial alpha weights.
  • The transition weights.
  • The order or conditions for testing.
  • The statistical test used for each hypothesis.
  • The handling of multiple interim or final analyses, if relevant.
  • The treatment of missing data and estimands.

A More Complex Worked Graph

Consider four hypotheses:

H₁ Primary
0.60
H₂ Key secondary
\(H_1\) also transfers 40% of its available alpha to \(H_3\).

Suppose the initial weights are:

\[ (w_1,w_2,w_3,w_4) = (0.50,0.20,0.20,0.10) \]

With \(\alpha=0.05\):

\[ (\alpha_1,\alpha_2,\alpha_3,\alpha_4) = (0.025,0.010,0.010,0.005) \]

Suppose \(H_1\) is rejected.

Then 60% of its 0.025 alpha goes to \(H_2\):

\[ 0.025(0.60)=0.015 \]

and 40% goes to \(H_3\):

\[ 0.025(0.40)=0.010 \]

Therefore the updated levels are:

\[ \alpha_2=0.010+0.015=0.025 \]
\[ \alpha_3=0.010+0.010=0.020 \]

while \(H_4\) remains at:

\[ \alpha_4=0.005 \]

The total available alpha remains:

\[ 0.025+0.020+0.005=0.050 \]

Alpha Allocation Is Not the Same as Sample Size Allocation

A larger alpha allocation does not mean that a hypothesis automatically receives more patients.

The alpha allocation controls the significance level used for the hypothesis within the multiplicity procedure.

Sample size calculations must separately account for:

  • Effect size
  • Variance
  • Event rate
  • Power
  • Allocation ratio
  • Dropout assumptions
  • Multiplicity-adjusted testing levels

Thus, a hypothesis receiving alpha 0.025 instead of 0.010 may require a different sample size to achieve the desired power.

Graphical Procedures and Power

Multiplicity adjustment affects power because the available significance level for each hypothesis may be smaller than 0.05.

For a simple one-sided test, the required sample size generally increases as the significance level becomes more stringent, holding the desired power and effect size constant.

Therefore, designing a graphical procedure and designing the sample size should be considered together.

Important: The multiplicity strategy should be incorporated into the sample-size and power planning rather than added after the sample size has already been fixed.

Testing at Different Local Alpha Levels

Suppose three hypotheses have current levels:

\[ \alpha_1=0.025,\qquad \alpha_2=0.015,\qquad \alpha_3=0.010 \]

Then the decision rule for each hypothesis is based on its current local level.

For example:

Hypothesis P-value Current Alpha Decision
\(H_1\) 0.020 0.025 Reject
\(H_2\) 0.020 0.015 Do not reject
\(H_3\) 0.008 0.010 Reject

The fact that \(H_3\) has a smaller p-value than \(H_1\) does not mean that the same alpha level must be used for both hypotheses.

Their testing levels are determined by the prespecified multiplicity strategy.

What Happens When a Hypothesis Is Not Rejected?

This is one of the most important implementation details.

A graphical procedure must specify what happens to the alpha associated with a hypothesis that is not rejected.

In a simple one-way hierarchy:

H_1\rightarrow H_2\rightarrow H_3 \]

failure to reject \(H_1\) prevents the transfer of \(H_1\)'s alpha to \(H_2\).

Other graphical procedures may have more complicated behavior.

Therefore, one should never infer the testing algorithm from the picture alone without examining the accompanying rules.

Graphical Procedures Are Decision Algorithms

A useful mental model is:

1
Start with the prespecified initial alpha allocation.
2
Test an eligible hypothesis at its current local alpha level.
3
Determine whether the hypothesis is rejected.
4
If rejected, redistribute its available alpha according to the transition weights.
5
Update the alpha levels of the remaining hypotheses.
6
Continue according to the prespecified graph and testing sequence.

Why Graphical Methods Are Attractive in Clinical Trials

Clinical trials rarely have hypotheses that are all equally important.

For example, the primary endpoint may be substantially more important than several supportive endpoints.

A graphical method can encode that clinical hierarchy without requiring all hypotheses to receive identical alpha.

It can also make a complex multiplicity strategy easier to communicate among:

  • Biostatisticians
  • Clinical scientists
  • Regulatory statisticians
  • Medical reviewers
  • Data-management teams
  • Programming teams

Graphical Approaches and Regulatory Communication

In a confirmatory trial, the multiplicity strategy should be understandable before the confirmatory results are known.

A graphical representation can make several important features immediately visible:

  • Which hypothesis is prioritized.
  • How much alpha each hypothesis receives initially.
  • Which hypotheses depend on successful testing of others.
  • How alpha is recycled.
  • Which secondary objectives can benefit from success on another endpoint.
Practical advantage: A well-designed graph can function as a compact visual specification of a complex multiplicity strategy, but the numerical transition rules and testing algorithm should still be documented explicitly in the protocol and SAP.

Common Graphical Procedure Designs

Strategy Typical Structure Purpose
Simple hierarchy \(H_1\rightarrow H_2\rightarrow H_3\) Prioritize hypotheses sequentially
Parallel allocation One node distributes alpha to several nodes Preserve multiple testing pathways
Partial recycling Alpha split among several destinations Balance competing objectives
Full recycling Alpha moves through a cycle Reuse alpha across hypotheses
Gatekeeping graph Later nodes depend on earlier success Represent clinical hierarchy

Graphical Procedures Versus Fixed-Sequence Testing

Fixed-sequence testing uses a predetermined order:

H_1\rightarrow H_2\rightarrow H_3 \]

The next hypothesis is tested only after the preceding hypothesis succeeds.

Graphical procedures can reproduce this strategy but can also allow more flexible redistribution.

Therefore: fixed-sequence testing can be represented as a particularly simple graphical structure, but graphical procedures are not limited to fixed sequences.

Graphical Procedures Versus Bonferroni

Feature Bonferroni Graphical Procedure
FWER control Yes Yes, when validly constructed
Initial unequal alpha Possible with weighted Bonferroni Natural
Alpha transfer Not intrinsic Core feature
Alpha recycling Not intrinsic Possible
Clinical hierarchy Limited representation Natural representation
Complex testing paths Less convenient Highly flexible

Graphical Procedures Versus Holm

Feature Holm Graphical Procedure
Step-down structure Yes Can represent sequential structures
Requires p-value ordering Yes Not necessarily
Clinical hypothesis hierarchy Not central Central design feature
Alpha recycling Not the defining mechanism Can be explicitly incorporated
Complex endpoint relationships Less direct Highly adaptable

Graphical Procedures and Closed Testing

Closed testing and graphical procedures address the same fundamental problem: how to make multiple confirmatory decisions while maintaining control of the family-wise error rate.

Closed testing is a general theoretical framework.

Graphical procedures provide a practical way to specify many useful testing strategies through alpha weights and transitions.

The two concepts should therefore be understood as complementary rather than competing ideas.

Handling Multiple Primary Endpoints

Suppose a trial has two primary endpoints:

H_1:\text{Endpoint A} \qquad H_2:\text{Endpoint B} \]

The clinical objective might require:

  • Both endpoints to succeed.
  • At least one endpoint to succeed.
  • One endpoint to succeed before another receives additional alpha.

These are fundamentally different multiplicity questions.

The graphical strategy should therefore be based on the clinical success criterion rather than chosen simply because a particular graph looks convenient.

Intersection Versus Union Success Criteria

Consider two primary hypotheses.

An intersection-style requirement might require:

H_1\text{ rejected} \quad\text{and}\quad H_2\text{ rejected} \]

before the treatment is considered successful on the overall primary objective.

A union-style objective might consider success if either endpoint is demonstrated.

H_1\text{ rejected} \quad\text{or}\quad H_2\text{ rejected} \]

These distinctions affect how alpha should be allocated and how the graph should be constructed.

Do not design the graph first. First define the clinical success criterion. Then construct the multiplicity procedure that appropriately protects that criterion.

Example: Two Co-Primary Endpoints

Suppose:

  • \(H_1\) tests progression-free survival.
  • \(H_2\) tests overall survival.

If both endpoints must be successful for the trial to meet its primary objective, the multiplicity problem differs from a trial in which either endpoint can establish success.

A simple alpha-recycling graph should not be used blindly in such a setting.

The clinical interpretation of success determines the appropriate statistical framework.

Graphical Procedures With Multiple Testing Across Time

Some trials also contain multiple testing over time, such as:

  • Interim analyses
  • Final analyses
  • Multiple endpoints
  • Multiple doses

These sources of multiplicity may need to be handled jointly.

A graphical endpoint procedure does not automatically solve every other multiplicity problem in the trial.

Important: Multiplicity from endpoints, doses, interim analyses, treatment arms, and other sources should be identified separately and then incorporated into a coherent overall error-control strategy.

Graphical Procedures and Alpha-Spending

Alpha-spending is commonly associated with repeated or sequential interim analyses.

Graphical multiple testing is instead primarily concerned with relationships among hypotheses and the transfer of alpha among them.

These concepts can coexist.

For example, a trial could use an alpha-spending approach for interim analyses and a graphical multiplicity strategy for multiple endpoints.

The combined procedure must preserve the intended overall type I error.

Implementation in Statistical Programming

A graphical procedure should be implemented from a precise numerical specification rather than manually interpreting a figure.

At minimum, programmers need:

  • Hypothesis identifiers
  • Initial weights
  • Transition weights
  • Testing order or eligibility rules
  • Local alpha calculation rules
  • P-values or test statistics
  • Decision rules
  • Rules for updating alpha after rejection

The implementation should be independently checked against the statistical analysis plan.

Simple Pseudocode

initialize alpha_total = 0.05

set initial alpha:
  H1 = 0.025
  H2 = 0.015
  H3 = 0.010

test H1 at alpha = 0.025

if H1 is rejected:
    transfer H1 alpha to H2
    update H2 alpha

test H2 at updated alpha

if H2 is rejected:
    transfer H2 alpha to H3
    update H3 alpha

test H3 at updated alpha

For a more complicated graph, the update operation becomes a weighted redistribution of the rejected node's available alpha.

R Implementation of the Simple Example

The basic alpha allocation can be represented in R as:

alpha <- 0.05

weights <- c(
  H1 = 0.50,
  H2 = 0.30,
  H3 = 0.20
)

local_alpha <- alpha * weights

local_alpha

The result is:

H1    H2    H3
0.025 0.015 0.010

Implementing a Simple Transition

Suppose \(H_1\) transfers all of its available alpha to \(H_2\).

local_alpha["H2"] <-
  local_alpha["H2"] +
  local_alpha["H1"]

local_alpha["H1"] <- 0

local_alpha

The resulting alpha allocation is:

H1    H2    H3
0.000 0.040 0.010

The total remains 0.05.

sum(local_alpha)
# 0.05

Implementing Partial Transition Weights

Suppose \(H_1\) transfers 70% of its alpha to \(H_2\) and 30% to \(H_3\).

alpha_H1 <- local_alpha["H1"]

local_alpha["H2"] <-
  local_alpha["H2"] +
  alpha_H1 * 0.70

local_alpha["H3"] <-
  local_alpha["H3"] +
  alpha_H1 * 0.30

local_alpha["H1"] <- 0

This implements the graph numerically.

Testing Decisions in R

A simple decision function can compare a p-value with the current local alpha:

reject_hypothesis <- function(p_value, alpha_level) {
  p_value <= alpha_level
}

reject_hypothesis(
  p_value = 0.018,
  alpha_level = 0.040
)

The result is:

TRUE

because 0.018 is below the updated 0.040 significance level.

Representing the Transition Matrix in R

For a three-hypothesis serial graph:

G <- matrix(
  c(
    0, 1, 0,
    0, 0, 1,
    0, 0, 0
  ),
  nrow = 3,
  byrow = TRUE
)

rownames(G) <- c("H1", "H2", "H3")
colnames(G) <- c("H1", "H2", "H3")

G

The rows describe where alpha moves after each corresponding hypothesis is rejected.

A Generic Alpha-Transfer Function

transfer_alpha <- function(alpha,
                           rejected,
                           transition_row) {

  available <- alpha[rejected]

  alpha <- alpha +
    available * transition_row

  alpha[rejected] <- 0

  alpha
}

For example:

alpha <- c(
  H1 = 0.025,
  H2 = 0.015,
  H3 = 0.010
)

transition_H1 <- c(
  H1 = 0,
  H2 = 1,
  H3 = 0
)

alpha <- transfer_alpha(
  alpha,
  rejected = "H1",
  transition_row = transition_H1
)

alpha

The result is:

H1    H2    H3
0.000 0.040 0.010

Validation of the Implementation

Graphical procedures should be validated before they are used for a confirmatory analysis.

Useful checks include:

  • Initial weights sum to 1.
  • Transition weights satisfy the prespecified constraints.
  • Local alpha levels are calculated correctly.
  • Transferred alpha is not accidentally duplicated.
  • Alpha does not exceed the permitted amount under the specified procedure.
  • Each hypothesis is tested at the correct current level.
  • Rejection decisions are correctly propagated through the graph.
  • Independent programming reproduces the planned decisions.
Programming principle: The graph should be treated as a mathematical specification that can be translated into deterministic code and independently tested with known scenarios.

Common Mistakes

  1. Testing every endpoint at 0.05. This ignores the family-wise error problem.
  2. Confusing initial alpha with final alpha. A hypothesis may begin with a small local alpha and later receive additional alpha through prespecified transitions.
  3. Changing transition weights after seeing results. The graph is part of the prespecified multiplicity strategy.
  4. Assuming rejected hypotheses automatically give all their alpha to the next hypothesis. The amount transferred depends on the transition weights.
  5. Forgetting that a hypothesis may receive alpha from multiple sources. Its current testing level can reflect several incoming transfers.
  6. Assuming a graph automatically guarantees FWER control. The underlying graphical procedure must satisfy the conditions required for valid error control.
  7. Ignoring other sources of multiplicity. Multiple endpoints are only one possible source of multiplicity.
  8. Failing to align the graph with the clinical success criterion. The statistical procedure should reflect what constitutes success scientifically.
  9. Using a graph without numerical transition rules. The SAP should make the procedure reproducible without relying on visual interpretation alone.
  10. Failing to validate the programming implementation. Complex alpha recycling is especially susceptible to implementation errors.

How to Design a Graphical Procedure

1
List all hypotheses that belong to the confirmatory multiplicity family.
2
Define the clinical meaning of success for the family.
3
Determine which hypotheses are most important.
4
Choose the overall family-wise error rate, such as 0.05.
5
Assign initial weights to the hypotheses.
6
Define transition weights for each possible rejection.
7
Determine whether alpha should be transferred sequentially, partially, or recycled.
8
Evaluate the resulting type I error and power properties.
9
Incorporate the multiplicity strategy into sample-size and power planning.
10
Validate the numerical implementation independently.
11
Prespecify the complete procedure in the protocol and statistical analysis plan.

What Should Be Documented in the SAP?

A graphical multiple-testing procedure should be sufficiently explicit that an independent statistician could reproduce the testing decisions.

The statistical analysis plan should generally include:

  • The full list of hypotheses.
  • The clinical endpoint corresponding to each hypothesis.
  • The estimand associated with each hypothesis.
  • The overall family-wise alpha level.
  • The initial alpha weights.
  • The numerical initial significance levels.
  • The transition matrix or equivalent transition rules.
  • The graphical representation.
  • The testing order or eligibility rules.
  • The rule for transferring alpha after rejection.
  • The rule for hypotheses that are not rejected.
  • The statistical test used for each hypothesis.
  • The treatment of missing data and intercurrent events.
  • The relationship between the multiplicity procedure and interim analyses.
  • The programming implementation and validation approach.

Graphical Approaches and Estimands

Multiplicity should be considered after the clinical questions themselves have been clearly defined.

Each hypothesis should correspond to a clearly specified estimand or statistical question.

For example, the trial should distinguish among:

  • The treatment effect of interest.
  • The population in which the effect is evaluated.
  • The endpoint or variable.
  • The handling of intercurrent events.
  • The summary measure used for inference.

The graphical procedure then controls multiplicity among the resulting confirmatory hypotheses.

Graphical Approaches Do Not Replace Good Hypothesis Design

A sophisticated graphical procedure cannot rescue poorly chosen hypotheses.

If a trial has too many nominally confirmatory endpoints, assigning them to a graph does not automatically make the clinical strategy scientifically appropriate.

The first questions should be:

  • Which outcomes are truly confirmatory?
  • Which outcomes are supportive?
  • Which outcomes define regulatory success?
  • Which outcomes are exploratory?
  • What clinical decisions depend on each result?

Only then should the graphical multiplicity strategy be constructed.

A Practical Three-Hypothesis Template

For a common primary-plus-secondary design, a useful starting structure is:

Component Example
Overall alpha 0.05
Primary weight 0.50
Key secondary weight 0.30
Additional key endpoint weight 0.20
Primary → secondary transition 1.00
Secondary → additional endpoint transition 1.00

This produces initial local levels of:

\[ (0.025,\;0.015,\;0.010) \]

If all hypotheses succeed sequentially, the alpha can ultimately accumulate at the later hypothesis.

But the actual weights and transitions should always be selected according to the trial's scientific objectives.

Example of a Parallel Graph

Suppose a primary hypothesis \(H_1\) is tested first, and after rejection its alpha is split between two secondary hypotheses.

H₁ Primary
0.70 → H₂
0.30 → H₃

Suppose \(H_1\) has 0.025 available alpha.

Then:

\[ H_2\text{ receives }0.025(0.70)=0.0175 \]
\[ H_3\text{ receives }0.025(0.30)=0.0075 \]

This allows both secondary endpoints to become more accessible following success on the primary endpoint.

Sequential Versus Parallel Strategies

Strategy Advantage Potential Limitation
Sequential Strong clinical prioritization Later hypotheses may receive no additional alpha
Parallel Several hypotheses can benefit from success Less aggressive prioritization
Partial recycling Flexible compromise More complex to explain and implement
Full recycling Efficient reuse of alpha Requires careful construction and validation

Why Graphical Methods Are Especially Useful for Complex Trials

As the number of hypotheses increases, a simple list of adjusted p-values can become difficult to interpret.

A graph can instead answer three questions immediately:

  1. Where does alpha start?
  2. Where does alpha go after a rejection?
  3. Which hypotheses become more powerful after earlier success?

This makes graphical methods particularly useful for complex confirmatory programs.

The Most Important Mathematical Idea

The central mathematical idea is the conservation and redistribution of the alpha budget.

Start with:

\[ \sum_i\alpha_i=\alpha \]

When a rejected hypothesis \(i\) transfers its available alpha according to weights \(g_{ij}\), the outgoing transfers satisfy:

\[ \sum_j\alpha_i g_{ij} = \alpha_i \]

provided the outgoing transition weights sum to one.

The receiving hypotheses then accumulate the transferred alpha.

This is the mathematical mechanism underlying the visual graph.

A Compact Worked Example

Suppose:

\[ \alpha=0.05 \]

and initial weights:

\[ (0.50,0.30,0.20) \]

giving:

\[ (0.025,0.015,0.010) \]

Now suppose the p-values are:

\[ (p_1,p_2,p_3) = (0.008,0.018,0.012) \]

The decisions are:

Step Current Alpha P-value Decision
\(H_1\) 0.025 0.008 Reject
\(H_2\) 0.040 0.018 Reject
\(H_3\) 0.050 0.012 Reject

The graphical procedure therefore permits all three hypotheses to be rejected even though the initial alpha levels of \(H_2\) and \(H_3\) were much smaller than 0.05.

That is the principal practical benefit of alpha recycling: successful earlier hypotheses can unlock additional significance level for later hypotheses.

What the Graph Does Not Mean

A graphical procedure does not mean:

  • Every hypothesis eventually receives 0.05.
  • A failed hypothesis can simply be skipped.
  • Alpha can be moved wherever the analyst wants.
  • P-values can be compared directly without regard to their assigned levels.
  • The procedure is automatically valid regardless of its graph.

Instead, every alpha transfer must follow the prespecified rules.

Final Practical Checklist

1
Identify the confirmatory family.
2
Define the clinical success criterion.
3
Specify the overall FWER target.
4
Assign initial weights.
5
Convert weights into initial local alpha levels.
6
Specify every transition weight.
7
Specify what happens after rejection.
8
Specify what happens after non-rejection.
9
Evaluate power under clinically relevant alternatives.
10
Validate the numerical implementation.
11
Document the graph and numerical rules in the protocol and SAP.

Summary of the Worked Example

Component Value
Overall FWER 0.05
Initial \(H_1\) weight 0.50
Initial \(H_2\) weight 0.30
Initial \(H_3\) weight 0.20
Initial \(H_1\) alpha 0.025
Initial \(H_2\) alpha 0.015
Initial \(H_3\) alpha 0.010
\(H_1\rightarrow H_2\) 100%
\(H_2\rightarrow H_3\) 100%
\(p_1\) 0.008
Updated \(H_2\) alpha 0.040
\(p_2\) 0.018
Updated \(H_3\) alpha 0.050
\(p_3\) 0.012
Final decisions Reject \(H_1\), \(H_2\), and \(H_3\)

The Most Important Concept

The most important idea behind graphical multiple-testing procedures is that alpha is treated as a prespecified resource that can be allocated and redistributed according to the clinical structure of the hypotheses.

The graph specifies:

  • Where alpha starts.
  • Which hypotheses receive the initial allocation.
  • How much alpha is transferred after a rejection.
  • Where transferred alpha goes.
  • Whether alpha can be recycled.
  • Which later hypotheses can benefit from earlier success.

This allows graphical procedures to represent complex confirmatory strategies while maintaining control of the family-wise error rate when the procedure is properly constructed.

Bottom line: Graphical approaches to multiple testing provide a flexible framework for controlling the family-wise error rate in clinical trials with multiple confirmatory hypotheses. Each hypothesis is represented as a node, initial weights determine the starting allocation of alpha, and transition weights determine how alpha moves after successful tests. Simple hierarchies, parallel testing, gatekeeping, partial alpha transfer, and alpha recycling can all be represented within a graphical framework. The graph must be designed and prespecified before confirmatory results are known, and the numerical implementation should be validated carefully. The key advantage is that the procedure can reflect the clinical importance and logical relationships among hypotheses rather than treating every endpoint as equally important.

References

Bretz, F., Maurer, W., Brannath, W. & Posch, M. (2009). A graphical approach to sequentially rejective multiple test procedures. Statistics in Medicine, 28, 586–604.
Bretz, F., Posch, M., Glimm, E., Klinglmueller, F., Maurer, W. & Rohmeyer, K. (2011). Graphical approaches for multiple comparison procedures using weighted Bonferroni, Simes, and parametric tests. Biometrical Journal, 53, 894–913.
Maurer, W. & Bretz, F. (2013). Memory and graphical approaches for simultaneous inference in multiple testing. Statistics in Medicine.
Goeman, J.J. & Solari, A. (2014). Multiple testing for exploratory research. Statistical Science, 29, 584–597.
Hochberg, Y. & Benjamini, Y. (1990). More powerful procedures for multiple significance testing. Statistics in Medicine, 9, 811–818.
Holm, S. (1979). A simple sequentially rejective multiple test procedure. Scandinavian Journal of Statistics, 6, 65–70.
Bretz, F., Hothorn, T. & Westfall, P. (2010). Multiple Comparisons Using R. Chapman & Hall/CRC.