Why does hierarchical subtraction prevent background combinations from accumulating compared to fitting all signals simultaneously?

# Why Hierarchical Subtraction Avoids Background Combination Errors

The key insight comes from how signals and backgrounds interact when you process data differently.

The simultaneous-fitting problem: When you fit all overlapping signals at once, you're asking your statistical model to disentangle everything in a single step. Each signal's estimated parameters depend on every other signal's parameters. If you have many overlapping sources, the model must explore an enormously high-dimensional space where one source's "shape" can bleed into another's—and the background must simultaneously adapt to all of them. The number of potential background combinations explodes because the background model has freedom to shift and morph to accommodate whatever parameter choices the signals make [AG-2025.07-149].

The hierarchical-subtraction advantage: By contrast, hierarchical subtraction works iteratively: extract the brightest signal first (with the full background intact), subtract it cleanly from the data, then extract the next signal from the *residual* [AG-2025.07-149]. At each step, you're fitting to a simpler problem—one signal plus whatever background remains. Critically, once you subtract a signal and move to the next iteration, that source's contribution is *gone*. The background in iteration 2 doesn't need to "explain away" the first source because it's already been removed. This dramatically shrinks the space of plausible background realizations at each stage.

Why convergence matters: The concern that iterative subtraction "amplifies errors" is real if you stop too early—mistakes in the first extraction can corrupt later ones. But [AG-2025.07-149] shows that with enough iterations, this cascading error actually *stabilizes*. Moreover, using neural density estimators (which generate posterior samples very quickly) makes it computationally feasible to run many iterations and apply likelihood-based resampling to accelerate convergence. The result is fast, accurate inference without the combinatorial explosion of background models you'd face in joint fitting.

In essence: simultaneous fitting creates competition for flexibility in the background; hierarchical subtraction eliminates that competition by removing signals one at a time.