Bareinboim 2016 - Transportability and Data Fusion

Summary

Task 4 asks how to extrapolate experimental findings across populations that differ in distributions and in causal mechanisms. The paper recaps selection diagrams, re-derives three transport formulas (Eqs. 15-17) for the age, language-proxy and biomarker scenarios of the 2014 paper, states that transportability is feasible iff a do-calculus sequence separates the -operator from the -variables, and extends to data fusion: combining many heterogeneous studies, with a consistent estimator constructible from several limited sources even when it is not constructible from any one alone (Summary Result 3). The Conclusion declares recovery from selection bias plus generalization of trials, together “external validity”, to be formally solved.

Overview

Transportability, introduced in ref. 45 (the 2014 paper reviewed in Pearl Bareinboim 2014 - External Validity and Transportability - Overview), “lies at the heart of every scientific investigation because, invariably, experiments performed in one environment are intended to be used elsewhere, where conditions are likely to be different.” Special cases appear under labels such as lack of external validity (refs 46, 47), heterogeneity (48) and meta-analysis (49, 50). The paper formalizes the problem nonparametrically and shows that, “despite glaring differences between the two populations, it might still be possible to infer causal effects at the target population by borrowing experimental knowledge from the source populations.”

Main Content

Selection diagrams and the query

Selection diagram (this paper's phrasing)

Variable (drawn as a square) is a special variable representing the set of all unaccounted factors (the paper’s example: proximity to the beach) that create differences in, say, (age) between source and target . Conditioning on means considering ; otherwise . Footnote : each diagram is the overlap of the causal diagrams of source and target; formally, each variable is supplemented with an -node whenever the underlying function or background factor differs between and . “If knowledge about commonalities and disparities is not available, transport across domains cannot, of course, be justified.”

Task. Express in terms of experiments conducted in , i.e. , and observations collected in , i.e. .

Fig. 5A: age differs between populations (Eq. 15)

treatment, outcome, age; and no .

Justification (paper): the first line conditions on ; the second uses the independence , called S-admissibility, “the graphical mirror of S-ignorability”; the third is Rule 3 of the do-calculus ( is a pretreatment variable not affected by ); the last is the definition of the -node. Equation 15 is a transport formula: the first factor is estimable from , the second from .

Fig. 5B: language as proxy for unmeasured age (Eq. 16)

= language skills, a proxy for unmeasured age; populations differ in how depends on age, with the same age distribution. A simple derivation (ref 45) gives the different equation

i.e. direct transport with no reweighting.

Fig. 5C: post-treatment biomarker (Eq. 17)

is a post-treatment biomarker and populations differ in how depends on :

To estimate the effect in , estimate the -specific effect in and average over weighted by estimated at rather than the traditional .

Fig. 5D: not transportable

A scenario “in which is not transportable regardless of the number of samples collected”: the unmeasured confounder (bidirected arrow) between and precludes transportability.

Fig.Where pointsStoryFormula
5Aage distributions differ [15]
5B (via unmeasured age)proxy; age law the same [16]
5C (post-treatment) depends on differently [17]
5D with confoundinghidden confoundernot transportable

General theory: decision procedure

Transportability criterion (refs 45, 51, 52)

Transportability is feasible if and only if there exists a sequence of do-calculus rules that transforms the query into an expression where the -operator is separated from the -variables. A complete and effective procedure (refs 51, 52) decides, given any selection diagram, whether such a sequence exists and synthesizes a transport formula when possible. Each transport formula determines what information must be extracted from the experimental and observational studies and how to combine them.

Transportability from multiple populations (data fusion)

Generalizing transportability to multiple environments with limited experiments in each yields a principled solution to data fusion: combine results from many experimental and observational studies, each on a different population and under different conditions, to synthesize an aggregate effect measure “better in some sense than any one study in isolation.” This problem is “typically handled by ‘averaging out’ differences (e.g. using inverse-variance weighting), which, in general, tends to blur, rather than exploit design distinctions among the available studies.” Using multiple selection diagrams to encode commonalities, ref. 53 synthesizes an estimator that is guaranteed to provide an unbiased estimate of the desired quantity whenever such an estimate exists, based on information each study shares with the target. “Remarkably, a consistent estimator can be constructed from multiple sources with a limited experiment even in cases where it is not constructable from any subset of sources considered separately” (ref. 54).

Summary Result 3 (Transportability and data fusion)

There are complete solutions to transportability and data fusion, comprising (a) graphical and algorithmic criteria for deciding transportability and data fusion in nonparametric models; (b) automated procedures for extracting transport formulas specifying what must be collected in each study; and (c) an assurance that, when the algorithm fails, fusion is infeasible regardless of sample size. Details: refs 45, 52, 54.

Conclusion (as stated)

The unification of the structural, counterfactual and graphical approaches produced tools resolving confounding control, sampling bias and generalization across populations through one approach: a syntactic transformation of the query into a form derivable from the available information. A by-product: recovery from sampling selection bias and generalization of randomized clinical trials, “which, taken together, make up the formidable problem called ‘external validity’ (refs 45 and 46), have been given a complete formal characterization and can thus be considered ‘solved’ (55).” The authors hope to stimulate further research on drawing causal inferences from big data.

Examples

Fusion thinking for a measurement stack (our illustration, not the paper's)

Data sources: national MMM time series (observational, population ), two geo experiments in different regions (experimental, ), a platform conversion-lift study (experimental, selection-biased user sample), and the target = next year’s planned budget in region .

  1. Draw one selection diagram per source against the target; put -nodes on the mechanisms you believe differ (e.g. baseline demand, media price, funnel conversion).
  2. Let the algorithm (or by hand, the do-calculus) decide whether is derivable.
  3. If yes, the resulting formula says which factor to take from which study. For example, a factor like from the geo test with the largest overlap and from the target’s own observational panel.
  4. If the algorithm fails, no amount of additional data of the same design will help; the remedy is a new design (a second experiment on the missing variable) or a stronger assumption.

Contrast with inverse-variance pooling, which would blend the experiments’ effects without regard to which mechanisms are shared.

Python: formula (15) vs (17) vs (16) as a decision function

def transport(story, p_y_do_xz, p_star_z=None, p_star_z_given_x=None, p_y_do_x=None, x=None):
    """Return P*(y|do(x)) under each of the paper's three stories (dicts keyed by z / (x,z))."""
    if story == "5A":   # pre-treatment Z, S->Z                  Eq. 15
        return sum(p_y_do_xz[(x, z)] * p_star_z[z] for z in p_star_z)
    if story == "5B":   # proxy, age law unchanged               Eq. 16
        return p_y_do_x[x]
    if story == "5C":   # post-treatment Z, S->Z                 Eq. 17
        return sum(p_y_do_xz[(x, z)] * p_star_z_given_x[x][z] for z in (0, 1))
    raise ValueError("5D-type diagrams are not transportable: no formula exists")

Connections

See Also