Question: Given a population of detected plumes (and the ones we missed), what is the true total emitted mass over a region and time window?
This is the inventory-grade output of plumax — the number that gets reported into national greenhouse-gas inventories, climate models, and policy dashboards. It also requires the most care, because the satellite catalog you start from is systematically biased: detection thinning means the very things you can’t see (small, frequent leaks) are exactly the things that matter for total mass.
The missing-mass paradox¶
The full Monte Carlo proof is in the missing-mass paradox notebook. The result, in one sentence:
These two biases pull in opposite directions, but they don’t cancel — averaging the wrong thing over the wrong sample size gives you the wrong total. The corrected estimator has to model the thinning explicitly.
The corrected total-mass estimator¶
Given a TMTPP fit (Tier V.B) with posterior :
This is the un-thinned total — what would be emitted regardless of detection. Compare to the naive estimator:
with
is biased low because:
(some events missed).
(detected events are systematically bigger — heavy tail of ).
The two errors compound rather than cancel: the regional total is undercounted, and the per-event mean is inflated. Inverting the POD model is the only way to recover an unbiased total.
Posterior over total mass¶
With NUTS samples , the posterior over is:
Reported as posterior median + 95% credible interval. Both integrals are tractable for the standard intensity / mark choices (closed-form for constant + lognormal ; quadrature otherwise).
Validation strategy¶
MC ground truth (bias direction). Reproduce the qualitative result of the paradox notebook: simulate a known , compute exactly, and check that the corrected estimator recovers while is biased low.
MC ground truth (calibration). Across 1000 replicates of the previous test, the 95% credible interval on should contain ~95% of the time.
Per-satellite sensitivity. Same population, two different (e.g. GHGSat-floor [ghgsat] vs. TROPOMI-floor [s5p_tropomi]) → corrected estimator should give the same posterior. The naive estimator gives wildly different . This is the test that proves the correction is doing its job.
Real-data benchmark. Once
07_pod_fitting_mcmclands with IMEO + Tanager data, compare the corrected total for a well-studied basin (Permian) to published bottom-up inventories ([epa_ghgi,scarpelli2020sectoral], GHGRP) and to top-down inverse-modelling estimates ([maasakkers2023ghgi,jacob2022quantifying], Sherwin et al.). They will disagree; the question is whether the corrected estimator is closer to the top-down number than the naive one.
Module layout¶
Tier V.D module layout — concern, target module, status.
| Concern | Module | Status |
|---|---|---|
| Missing-mass MC simulator | plumax.population.paradox | ✓ in tree |
| Posterior fit | plumax.population.fitting | ✓ in tree (synthetic data); real data needs #111 |
| estimator + uncertainty | plumax.population.totals | ☐ #113 |
| Per-satellite calibration loader | plumax.population.pod.load_pod_calibrations | ☐ #110 |
| Multi-satellite fusion | plumax.population.pod.pod_union | ☐ #110 |
Multi-satellite fusion (Tier V.D extension)¶
For a region observed by satellites, each with its own POD, the unified detection probability is:
This is the “any satellite saw it” probability. Folds into the TMTPP likelihood as a single replacement of with . Adds one strong assumption: detections by different satellites are conditionally independent given the leak size — defensible at the population level, possibly violated for clustered super-emitters.