Exchangeability and coverage boundaries
State the randomization and exchangeability behind marginal conformal coverage, and identify subgroup, dependence, and shift claims it does not provide.
On this page
The question for today
What you’ll understand
- Explain conditional exchangeability of calibration and test pairs.
- Distinguish marginal, subgroup, input-conditional, and calibration-conditional coverage.
- Calculate how a population-mixture change alters coverage without changing group rates.
A conformal coverage theorem has a probability space, not merely a percentage. The usual split guarantee averages over the random calibration set and a future test pair, conditional on separately trained model information. It does not promise that each input, each subgroup, or each realized calibration set receives that percentage. Before putting a coverage target in a service contract, identify exactly which data are exchangeable and which randomness the probability statement includes.
Exchangeability is a joint symmetry condition
A finite collection is exchangeable when its joint distribution is invariant to permutation of its members. Independent identically distributed observations satisfy this property, but exchangeability is broader than independence. For split conformal prediction, require calibration and test pairs to be exchangeable conditional on the information used to fix the score. Applying one fixed score to every pair preserves the needed symmetry. Training on the calibration labels, or treating one member differently after inspecting its outcome, can destroy that argument.
Randomly shuffling a dependent time series does not by itself make the future exchangeable with the past. A repeated customer, overlapping document window, device batch, or adaptive collection policy can alter the sampling unit. Specify whether the target is a new record, a new customer, or a future period, and construct the split accordingly. Clustered or temporal procedures can offer other guarantees under other assumptions, but they are not obtained by relabeling the ordinary independent-data split conformal theorem.
A marginal guarantee is weaker than uniform local performance
A population can meet a 90% average coverage target while failing badly on a small group. The average is a weighted sum of group coverages, so an easy majority can conceal a difficult minority. Conditioning on a realized feature vector is stronger still. Without restrictions on the distribution, nontrivial exact input-conditional coverage is generally unavailable in continuous regression. Restricted groups, smoothness, or other structure can support more specific procedures, but the procedure and its guarantee must be named.
The finite-sample bound also does not imply independent coverage events for many future points sharing one calibrated threshold. Conditional on that threshold, test behavior can vary, and averaging over calibration introduces dependence between events. A repeated-test binomial confidence analysis therefore needs its own independent sampling assumptions and conditioning statement. If the product requires a high-probability bound on the coverage of the realized calibration procedure, use an appropriate calibration-conditional analysis rather than reading that stronger claim into marginal validity.
Shift checks must track what changed
A shift in class prevalence, language, acquisition process, or labeling policy can invalidate calibration-test exchangeability. Coverage monitoring should therefore record both group mix and group-specific outcomes, together with missing-label and delay mechanisms. Weighted conformal methods under covariate shift require additional information such as appropriate density ratios and a stable conditional label law. They do not license arbitrary unknown concept shift. Recalibration with fresh representative labels is an intervention whose costs and validation must be included in the release plan.
The Markov instrument illustrates temporal dependence rather than conformal calibration. Reset, set both transition probabilities p and q to 0.1, predict state-one mass 0.1 after one Step and 0.18 after two Steps. Compare a fresh Reset with both p and q at 0.5 before two Steps: state-one mass is 0.5. These are exact distributions from initial state zero, not sampled trajectories. They demonstrate changing state probabilities without testing whether any real calibration or future data are exchangeable.
Work it through
A mixture shift exposes a weak group
A hypothetical fixed prediction-set procedure covers 98% of group A and 60% of group B. Initially the population is 80% A and 20% B; later it becomes half A and half B. Assume the within-group coverage rates remain unchanged.
Initial marginal coverage is 0.8 × 0.98 + 0.2 × 0.60 = 0.904, or 90.4%. The minority group still has only 60% coverage.
After the mixture shift, coverage becomes 0.5 × 0.98 + 0.5 × 0.60 = 0.79, or 79%. The marginal decline is 11.4 percentage points.
The calculation diagnoses a mixture effect under the stated fixed group rates. An old calibration distribution and the changed test distribution are not made exchangeable by the fact that each period separately contains random samples.
Average coverage is population-dependent and does not protect every subgroup or survive arbitrary changes in mixture.
The living notebook
Explore the model
Interactive lab · markov
Temporal distributions are not a shuffled-data guarantee
Reset, set p = 0.1 and q = 0.1, predict state-one masses 0.1 after one Step and 0.18 after two Steps. Compare a fresh Reset with both p = 0.5 and q = 0.5 before two Steps: mass 0.5. Each Step is one transition. This exact two-state distribution model does not construct conformal sets or validate exchangeability.
- P(state 1) at step 0
- 0%
- Stationary P(state 1)
- 60%
- Chain behavior
- Monotone convergence
Exact finite-step probabilities for a two-state chain starting in state 0, not sampled trajectories. Playback advances two transitions per second. When p = q = 0 every distribution is stationary; when p = q = 1 the chain alternates forever. A single zero transition creates an absorbing state. 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 forSpecify the joint sampling assumptions instead of inferring them from familiar marginal rates.
Pause & reason
Check your understanding
Your turn
Try it yourself
A fixed procedure has group coverages 0.96 and 0.40. Calculate marginal coverage with weights (0.9, 0.1), then with (0.7, 0.3). Does the initial overall rate establish 90% coverage for each group?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Use a disjoint population partition and weight the same two group rates in each scenario.
Compare with the solution
Initial coverage is 0.9 × 0.96 + 0.1 × 0.40 = 0.904. The second mixture gives 0.7 × 0.96 + 0.3 × 0.40 = 0.792, a decline of 11.2 percentage points. The first marginal rate never established a 90% bound for the second group, whose assumed coverage was only 40%. A validation report should show both the mixture and group rates before attributing a change solely to model behavior.
Keep the idea
Take it with you
- Exchangeability is a condition on the joint sampling process.
- Marginal coverage averages over calibration and future-point randomness.
- Subgroup, conditional, and shift guarantees require their own procedures and assumptions.
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.