Tutorials › Marginal Structural Models › Conditional Treatment Support and Positivity

Sequential Exchangeability, Consistency and Positivity · Tutorial 48 of 501

Conditional Treatment Support and Positivity

Learn to distinguish treatment being common overall from the target treatment being available in the histories where it is needed.

Intermediate 10 min read

What You'll Learn

  • Define the conditional support set for a discrete treatment given observed history.
  • State positivity for a specified treatment level and relevant histories.
  • Derive what marginal treatment prevalence does and does not imply about conditional support.
  • Check support using stratified probabilities and identify zero and near-zero probabilities.
  • Distinguish a support check from a marginal frequency check or a fitted probability estimate.

Why Overall Treatment Frequency Is Not Enough

At a treatment decision, a treatment level may be common in the study overall but unavailable for some observed histories. For example, a treatment might be assigned frequently to patients with mild disease and never assigned to patients with severe disease. The overall frequency alone cannot show whether both treatment options are supported within the histories relevant to a comparison.

The earlier material on positivity at each treatment decision motivates checking treatment availability conditional on observed history. Here the emphasis is on expressing that availability as a conditional support set, and on separating support for a target treatment level from marginal treatment prevalence. We consider a discrete treatment at a decision time \(t\). Let \(H_t\) denote the observed history just before that decision, and let \(A_t\) be the treatment assigned then. For example, \(H_t\) can contain baseline covariates, prior treatments, and covariates measured before time \(t\).

Definition: For a discrete treatment, the conditional support of \(A_t\) at history \(h\) is $$ \mathcal{S}_t(h)=\{a:P(A_t=a\mid H_t=h)>0\}. $$ A treatment level \(a\) is supported at \(h\) if \(a\in\mathcal{S}_t(h)\). Conditional probabilities are understood through a regular conditional distribution and, in general, are defined only up to sets of histories with probability zero.

For a target level \(a^\star\), conditional positivity at a particular relevant history means \(P(A_t=a^\star\mid H_t=h)>0\). If the target is to assign \(a^\star\) at every history in a set \(\mathcal{H}^\star\), the corresponding requirement is that this conditional probability be positive for almost every history in that set under the history distribution relevant to the requirement. The precise choice of relevant histories matters: positivity is not a claim about every imaginable history, including histories that cannot occur.

This is a support condition, not a claim that treatment is equally likely at all histories. A probability of \(0.02\) is positive, although it signals limited representation; a probability of zero means the treatment level is absent at that history. The distinction between zero and small positive probabilities is important for interpretation and estimation.

What Marginal Prevalence Establishes

Write \(p_a(h)=P(A_t=a\mid H_t=h)\). Marginal prevalence averages these conditional probabilities over the observed distribution of histories. The averaging identity is useful, but it does not establish positivity at every history.

Result: For any discrete treatment level \(a\), $$ P(A_t=a)=E[p_a(H_t)]. $$ Consequently, \(P(A_t=a)>0\) if and only if \(p_a(H_t)>0\) on a set of histories having positive probability. It does not follow that \(p_a(H_t)>0\) almost surely.

Proof. Let \(I_a=I(A_t=a)\), the indicator that treatment level \(a\) was assigned. By the definition of conditional probability for a discrete treatment, \(E[I_a\mid H_t]=p_a(H_t)\). Taking expectations and applying the law of iterated expectations gives

$$ P(A_t=a)=E[I_a]=E\{E[I_a\mid H_t]\}=E[p_a(H_t)]. $$

The random variable \(p_a(H_t)\) is nonnegative. If \(P\{p_a(H_t)>0\}=0\), then it is zero almost surely, so its expectation is zero. Conversely, suppose \(P\{p_a(H_t)>0\}>0\). Since $$ \{p_a(H_t)>0\}=\bigcup_{k=1}^{\infty}\{p_a(H_t)\geq 1/k\}, $$ at least one set on the right has positive probability. For that \(k\), $$ E[p_a(H_t)]\geq \frac{1}{k}P\{p_a(H_t)\geq 1/k\}>0. $$ This proves the stated equivalence. It only guarantees positivity on some non-negligible set of histories, not across all histories of interest. \(\square\)

Worked Example: Positive Prevalence With a Missing Stratum

Suppose \(H_t\) is a binary severity indicator, with \(P(H_t=0)=0.7\) and \(P(H_t=1)=0.3\). Treatment \(A_t\) is binary. The conditional treatment probabilities are

$$ P(A_t=1\mid H_t=0)=0.40,\qquad P(A_t=1\mid H_t=1)=0. $$

The marginal prevalence of treatment 1 is

$$ P(A_t=1) =0.7(0.40)+0.3(0) =0.28. $$

Thus, 28% of the study receives treatment 1, so the treatment is certainly not absent from the study overall. But at \(H_t=1\), its conditional probability is zero and \(\mathcal{S}_t(1)=\{0\}\). A target requiring treatment 1 for patients with \(H_t=1\) is unsupported there. The marginal prevalence cannot repair this missing conditional support.

Support for a Target Level, History by History

A target treatment level must be compared with the conditional support at the histories where it is intended to be used. For a fixed target level \(a^\star\), one can examine \(p_{a^\star}(h)\) across those histories. If the target changes with history, write it as \(g(h)\); the relevant conditional probability is then \(P(A_t=g(h)\mid H_t=h)\). This notation describes the support check without changing the central point: the probability must be evaluated conditional on the history, not averaged over the study.

There is also a useful identity for a history-dependent target. Let \(M=I\{A_t=g(H_t)\}\). Conditional on \(H_t=h\), the target level \(g(h)\) is fixed, so \(E[M\mid H_t=h]=P(A_t=g(h)\mid H_t=h)\). Taking expectations yields the following result.

Result: For a discrete treatment and a measurable target rule \(g\), $$ P\{A_t=g(H_t)\} =E\left[P\{A_t=g(H_t)\mid H_t\}\right]. $$ This is the overall fraction whose observed treatment matches the target rule. A positive value only means that matches occur for a set of histories with positive probability; it does not establish support at every history where the rule is to be used.

Derivation. The indicator \(M\) is measurable, and conditioning on \(H_t\) fixes \(g(H_t)\). Therefore, $$ E[M\mid H_t] =P\{A_t=g(H_t)\mid H_t\}. $$ The law of iterated expectations gives \(P\{A_t=g(H_t)\}=E[M]=E\{E[M\mid H_t]\}\), which is the identity. As in the preceding result, an average of nonnegative conditional probabilities can be positive even when some of them are zero. \(\square\)

Worked Example: Checking a Target Level Across Three Histories

Suppose a pre-treatment history has three categories with probabilities \(0.5\), \(0.3\), and \(0.2\). For a binary treatment, the conditional probabilities of treatment 1 are \(0.60\), \(0.10\), and \(0\), respectively. The target is treatment 1 in all three categories.

The marginal prevalence is

$$ P(A_t=1)=0.5(0.60)+0.3(0.10)+0.2(0)=0.30+0.03=0.33. $$

The probability that an observed treatment matches the target is also \(0.33\), since the target is always 1. Nevertheless, the target fails the conditional support check in the third category: \(P(A_t=1\mid H_t=3)=0\), and that category has probability \(0.2\). It is supported in the first two categories, with probabilities \(0.60\) and \(0.10\). A positive overall match rate therefore coexists with an unsupported target in a non-negligible group.

Worked Example: A Low Probability Is Not a Zero

Consider two history groups, each with probability \(0.5\), and suppose $$ P(A_t=1\mid H_t=0)=0.50,\qquad P(A_t=1\mid H_t=1)=0.02. $$

The marginal prevalence is $$ P(A_t=1)=0.5(0.50)+0.5(0.02)=0.25+0.01=0.26. $$

Treatment 1 is conditionally supported in both groups because both conditional probabilities are strictly positive. The probability in the second group is nonetheless small: among 1,000 people with this history, the model implies an expected \(1{,}000(0.02)=20\) treated people. This expectation is not a guarantee that the realized sample contains 20; random variation can leave very few observations, or none in a small sample. The population support statement and the adequacy of the sample for estimation are distinct questions.

How to Check Support and Recognize Trouble

A practical assessment starts by specifying the treatment level of interest and the histories at which it is required. For categorical histories, cross-tabulations can reveal zero cells directly. With many covariates, conditional probabilities may instead be estimated, but an estimated probability is evidence about support, not a definition of it. A fitted value above zero does not prove that a population conditional probability is positive, especially when the model extrapolates into sparse data.

1
Name the target.
State which treatment level is required, and whether it is fixed or depends on history.
2
Specify relevant histories.
List the pre-treatment covariates and prior treatment information that define the conditioning history for this decision.
3
Inspect conditional support.
For each relevant history or stratum, check whether the target level occurs and assess its conditional probability; do not substitute an overall frequency.
4
Separate absence from scarcity.
A zero conditional probability indicates a support failure; a very small positive probability indicates weak representation and may make analyses unstable.

Common warning signs include zero treatment counts within a covariate stratum, extremely imbalanced counts, and large changes in estimated conditional probabilities under modest model changes. Sparse strata also make estimates uncertain: an observed zero in a finite sample does not by itself prove the population probability is exactly zero. Conversely, a smooth fitted model that predicts nonzero probabilities in empty strata cannot establish empirical representation there.

Common Mistake, Alternatives, and Limits

Common mistake: “Treatment 1 was given to 30% of the sample, so treatment 1 is supported for every patient history.” This reasoning replaces a conditional requirement with a marginal average. The correction is to inspect \(P(A_t=1\mid H_t=h)\) at each relevant history; the same marginal percentage can arise from widespread availability or from treatment concentrated in only a subset of histories.

ApproachWhat it can establishWhat it cannot establish alone
Marginal treatment frequencyWhether a treatment level appears in the study overallWhether it is available at each relevant history
Stratified counts or conditional probabilitiesSupport patterns within specified observed-history strataPopulation probabilities with certainty from finite data
Fitted conditional-probability modelA model-based summary of how assignment varies with historySupport in data-sparse regions merely because fitted probabilities are nonzero

The discussion here is limited to conditional support for discrete treatment levels at an observed decision history. For continuous treatment, exact treatment values generally have probability zero, so support requires a different formulation. Also, checking one decision’s conditional support does not by itself settle support for a multi-decision treatment strategy. These are separate questions; the present check concerns whether the target level is available conditional on the history at the decision being assessed.

The practical importance is direct: when the target level is absent for a relevant history, the observed data do not provide treatment comparisons within that history. A marginal frequency, a model-based extrapolation, or a large total sample cannot turn that absence into conditional support. When support is positive but weak, estimates may still be highly sensitive to a small number of observations, so both the conditional probabilities and the counts behind them should be reported.

Check Your Understanding

Answer each question, then compare your reasoning with the solutions.

  1. If \(P(A_t=1)=0.40\), does this show that treatment 1 is supported at every history? Explain.
  2. Two history groups have probabilities \(0.8\) and \(0.2\), and treatment probabilities \(0.50\) and \(0\). Calculate marginal prevalence and identify the unsupported group for a target of treatment 1.
  3. If both history-specific probabilities for treatment 1 are positive, must they be equal? Explain.
  4. For history probabilities \(0.6\) and \(0.4\), with treatment-1 probabilities \(0.25\) and \(0.05\), calculate marginal prevalence. Is treatment 1 supported in both groups?
  5. Why does a fitted conditional probability of \(0.03\) not by itself demonstrate that the treatment is adequately represented in a finite sample?

Solutions. (1) No. The marginal probability is an average over histories and can be positive even if the conditional probability is zero for some histories. (2) The marginal prevalence is \(0.8(0.50)+0.2(0)=0.40\). Treatment 1 is unsupported in the second group, whose conditional probability is zero. (3) No. Positivity requires each relevant conditional probability to be greater than zero, not that the probabilities be equal. (4) The prevalence is \(0.6(0.25)+0.4(0.05)=0.15+0.02=0.17\). Both groups support treatment 1 because both probabilities are positive. (5) A fitted value is model-based, and a probability of \(0.03\) can correspond to few expected observations in a small stratum; the observed count may be very low or zero. It neither proves population support nor guarantees adequate sample representation.

Clinical Biostats