Why Three Assumptions Are Needed
In Mendelian randomization, a genetic variant \(Z\) is used as an instrument for an exposure \(X\) to learn about its causal effect on an outcome \(Y\). The attraction is that inherited genetic variation can, under suitable conditions, provide variation in exposure that is less affected by some sources of confounding than ordinary observational comparisons. But a genetic association is not automatically a valid instrument. The causal interpretation depends on three assumptions: relevance, independence, and exclusion restriction.
These are causal assumptions, not three statistical tests that certify an instrument. Relevance concerns whether the instrument predicts the exposure. Independence and exclusion concern how the instrument relates to the potential outcomes and causal pathways. The distinction matters: a strong association with the exposure does not, by itself, establish that the instrument is independent of confounders or affects the outcome only through the exposure.
The Three Assumptions in Potential-Outcome Terms
For two instrument values \(z=0,1\), relevance requires that changing the instrument can change the exposure for at least some members of the target population. A common population-level expression is \(E[X\mid Z=1,C]\ne E[X\mid Z=0,C]\) for relevant values of \(C\). This mean contrast is a convenient expression of relevance; it is not a claim that every individual’s exposure changes.
Independence requires that, conditional on \(C\), instrument assignment be independent of the potential exposure and outcome values. One strong formulation is \(Z\perp\{X(0),X(1),Y(x,z):x,z\}\mid C\). This says that, within covariate strata, the instrument does not sort people according to the potential values that would determine their exposure or outcome. Independence is sometimes described as the absence of instrument–outcome confounding.
Exclusion restriction states that the instrument has no effect on the outcome except through the exposure. In potential-outcome notation, it requires \(Y(x,1)=Y(x,0)\) for every relevant \(x\). Thus, once exposure is held fixed, changing the instrument cannot change the outcome. A direct effect of the variant on the outcome, or an effect through a pathway that bypasses \(X\), violates this assumption.
Reading the Assumptions in a DAG
A directed acyclic graph (DAG) gives a complementary representation. A simple graph compatible with the assumptions contains the arrows \(Z\to X\to Y\), and may also contain \(U\to X\) and \(U\to Y\), where \(U\) is an unmeasured common cause of exposure and outcome. The pathway through \(U\) explains why an ordinary association between \(X\) and \(Y\) may be confounded. The instrument is useful if its variation shifts \(X\) without carrying that confounding into the comparison.
Relevance corresponds to a causal arrow or other causal dependence from \(Z\) to \(X\). Independence requires that there be no open noncausal path from \(Z\) to the potential outcomes after conditioning on \(C\). For example, if ancestry \(A\) affects both allele frequencies and the outcome, the path \(Z\leftarrow A\to Y\) can violate independence unless the design and adjustment adequately address it. Exclusion requires that every causal path from \(Z\) to \(Y\) pass through \(X\). An arrow \(Z\to Y\), or a path \(Z\to M\to Y\) through another trait \(M\), violates exclusion if that path does not operate through the defined exposure.
A DAG is a statement about causal structure, not a picture that proves the structure. No arrow from \(Z\) to \(Y\) represents the exclusion restriction; it cannot be confirmed simply because a statistical test fails to detect a direct association. Likewise, adjustment for \(C\) is justified only when the covariates and conditioning set are appropriate. Conditioning on a collider can itself create an association, so adding more covariates is not automatically protective.
Worked Example: Checking the Assumptions in a Hypothetical DAG
Suppose a hypothetical study uses a genetic variant \(Z\) as an instrument for a circulating biomarker \(X\), with disease outcome \(Y\). The proposed graph has \(Z\to X\to Y\), \(U\to X\), and \(U\to Y\). Assume there is no path from \(Z\) to \(U\), and no other path from \(Z\) to \(Y\).
Relevance. The arrow \(Z\to X\) represents a causal effect of the variant on the biomarker, so the proposed graph includes relevance. In data, a nonzero exposure contrast would be evidence consistent with this part of the proposal, though a small or imprecise contrast would not establish useful instrument strength.
Independence. The path \(Z\to X\leftarrow U\to Y\) is blocked at the collider \(X\) when it is not conditioned on. Given the stated absence of other paths from \(Z\) to \(U\) or \(Y\), the graph is compatible with independence. This conclusion depends on the graph being correct; the observed data alone do not rule out, for example, population structure creating a path \(Z\leftarrow A\to Y\).
Exclusion. The only directed path from \(Z\) to \(Y\) is \(Z\to X\to Y\), which passes through the exposure. The proposed graph is therefore compatible with exclusion. If the variant also affected disease through a separate pathway, such as \(Z\to M\to Y\), exclusion would fail even if the variant strongly predicted \(X\).
How the Assumptions Support Identification
Identification means that a causal estimand can be expressed in terms of the distribution of observed data under stated assumptions. The three assumptions do not, on their own, identify every possible causal effect. The identified estimand depends on the treatment and instrument scales and on additional conditions. The following binary case makes this explicit.
Let \(Z\) and \(X\) both be binary. Define the potential exposure \(X(z)\) and the potential outcome \(Y(x)\), where exclusion allows the outcome to be indexed by \(x\) alone. In addition to consistency, suppose instrument independence holds, relevance gives \(E[X\mid Z=1]\ne E[X\mid Z=0]\), and the instrument is monotone: \(X(1)\ge X(0)\) for every individual. Monotonicity rules out individuals whose exposure would be reduced by changing \(Z\) from 0 to 1. Under these conditions, the Wald ratio identifies the average causal effect among compliers—individuals with \(X(1)=1\) and \(X(0)=0\)—not necessarily the average effect for everyone.
To see why, let \(C_{\mathrm{comp}}\) indicate complier status. Under independence and consistency, the difference in mean exposure between instrument groups equals \(P(C_{\mathrm{comp}}=1)\): always-takers and never-takers have no exposure difference across instrument values. Under exclusion and independence, the difference in mean outcome equals the complier proportion multiplied by the mean causal effect among compliers. Dividing the outcome contrast by the exposure contrast therefore removes the complier proportion.
This result is a local causal effect: it applies to the people whose exposure is changed by the instrument. For continuous exposures, a ratio of instrument–outcome and instrument–exposure associations needs further modeling or identifying conditions—for example, a linear structural model with an adequately specified homogeneous causal effect. The three assumptions alone do not make a ratio a general, nonparametric average treatment effect.
Worked Example: A Binary Instrument and the Complier Effect
Consider hypothetical data with a binary instrument \(Z\), binary exposure \(X\), and outcome \(Y\) measured in disease-risk units. The observed exposure proportions are \(E[X\mid Z=1]=0.60\) and \(E[X\mid Z=0]=0.20\). The corresponding mean outcomes are \(E[Y\mid Z=1]=0.18\) and \(E[Y\mid Z=0]=0.10\). Assume consistency, independence, exclusion, and monotonicity hold.
The exposure contrast is \(0.60-0.20=0.40\), so relevance holds in this hypothetical population. The outcome contrast is \(0.18-0.10=0.08\). The Wald ratio is
Under the stated assumptions, the estimate is a complier average causal effect of \(0.20\) outcome-risk units per binary exposure change. It is not automatically the effect for all individuals. The numerical contrasts establish relevance in the hypothetical data, but independence and exclusion were assumed rather than demonstrated by these four means.
What Violations Do to the Causal Interpretation
A violation can produce a ratio that is numerically well-defined but causally misleading. Independence failure allows the instrument groups to differ in potential outcomes for reasons other than the instrument’s effect on exposure. Exclusion failure adds an outcome pathway that the exposure contrast does not capture. The next examples isolate these problems so that their effects on the arithmetic are visible.
Worked Example: Independence Failure Can Bias the Ratio
Suppose hypothetical binary variables \(Z\) and \(U\) satisfy \(P(Z=1)=0.5\), \(P(U=1\mid Z=1)=0.8\), and \(P(U=1\mid Z=0)=0.2\). Let \(X=Z+U\) and \(Y=2X+3U\). The structural causal effect of increasing \(X\) by one unit while holding \(U\) fixed is \(2\) outcome units.
Here \(E[U]=0.5\), and \(E[ZU]=0.5(0.8)=0.4\), so \(\operatorname{Cov}(Z,U)=0.4-(0.5)(0.5)=0.15\). Also, \(\operatorname{Var}(Z)=0.25\). Therefore,
and
The covariance ratio is \(1.25/0.40=3.125\), not the causal effect of \(2\). Relevance holds because \(\operatorname{Cov}(Z,X)=0.40\ne0\), and the outcome equation has no direct \(Z\) term once \(X\) and \(U\) are specified. But independence fails: \(Z\) is associated with \(U\), which affects the outcome. The excess ratio reflects that imbalance.
Worked Example: Exclusion Failure Adds a Direct Effect
Suppose a hypothetical randomized binary instrument changes the mean exposure by \(0.40\) units. Assume the true outcome model is \(Y=0.20X+0.05Z+\varepsilon\), where \(\varepsilon\) has the same mean in the two instrument groups. Randomization supports independence, and the exposure contrast establishes relevance. However, the term \(0.05Z\) violates exclusion.
The instrument–outcome contrast is the exposure-mediated contrast plus the direct contrast:
The Wald ratio is \(0.13/0.40=0.325\) outcome units per exposure unit, whereas the causal exposure effect in the model is \(0.20\). The difference arises because the numerator includes the direct instrument effect of \(0.05\). A precise estimate of this ratio would not repair the failed exclusion assumption.
Assessment, Alternatives, and Limitations
The assumptions differ in how directly observed data can inform them. Relevance can be assessed by estimating the instrument–exposure association, though the size and uncertainty of that association matter. Independence and exclusion are generally not fully testable from the observed instrument, exposure, and outcome alone: the relevant potential outcomes are never jointly observed, and an absent direct pathway is a causal claim. Background knowledge, study design, measured covariates, and sensitivity analyses can make these claims more or less credible, but no single diagnostic proves them.
In genetic studies, plausible threats include population structure that links allele frequencies to outcome determinants, assortative mating or family-level pathways, selection into the analyzed sample, and variant effects on the outcome through traits other than the target exposure. These possibilities are reasons to scrutinize the causal graph and target population. They are not resolved merely by labeling a variant “genetic.”
Instrumental-variable analysis is an alternative to estimating an exposure–outcome effect by ordinary covariate adjustment. Adjustment can identify a causal effect if all relevant confounders are appropriately measured and modeled; IV can identify a different estimand under its own assumptions, even when some exposure–outcome confounding remains. A randomized intervention on the exposure would avoid the need for an instrument, but may be infeasible or answer a different intervention question. The appropriate approach depends on the scientific estimand and the credibility of its assumptions.
A common mistake is to reason, “The variant is associated with the exposure, so it is a valid instrument.” That establishes, at most, evidence for relevance. A valid causal interpretation also requires independence and exclusion, and the estimand may require additional conditions such as monotonicity or a specified structural model. Another mistake is to interpret the binary Wald ratio as the population average treatment effect without qualification. Under the conditions derived here, it is the complier average causal effect.
Check Your Understanding
Answer each question, then compare your reasoning with the solutions below.
- A variant predicts the exposure, but ancestry affects both allele frequency and the outcome. Which assumption is threatened, and why?
- In a DAG, what kind of path from \(Z\) to \(Y\) violates exclusion restriction?
- In a binary-instrument study, the exposure contrast is \(0.25\) and the outcome contrast is \(0.05\). Under the conditions for the Wald result, what is the ratio and what does it estimate?
- Why does a nonsignificant test for a direct association between \(Z\) and \(Y\) not establish exclusion restriction?
Solutions. (1) Independence is threatened because ancestry can create the path \(Z\leftarrow A\to Y\), making the instrument associated with outcome determinants. (2) Any causal path from \(Z\) to \(Y\) that does not pass through \(X\), including a direct arrow or a pathway through another trait, violates exclusion. (3) The ratio is \(0.05/0.25=0.20\); with the stated assumptions and monotonicity, it estimates the complier average causal effect, not necessarily the population average effect. (4) A nonsignificant test may reflect limited precision, and observed associations cannot establish the absence of every direct causal pathway.