Mathematical formulation
The implementation uses the Horvitz–Thompson empirical mean throughout. Both potential-outcome means retain the original denominator n; there is no arm-specific self-normalization. Because this is the only IPW estimator used on the page, the superscript “HT” is omitted from the mathematical notation.
The denominator remains n. Therefore, finite-sample treated and control weight totals are not forced to equal n.
This is the default estimator in every estimate, confidence-interval, and repeated-sampling panel at 100% weighting.
At α=0 the HT empirical means equal the crude arm means; at α=1 they equal the formal HT-IPW means.
Identification step
Integrating over X gives E{Y(1)}; the analogous control expression identifies E{Y(0)}.
Selected model:
The identity holds for every integrable function f, including constants, first moments, higher moments, centered moments, and indicators.
Finite-sample equality is approximate. Model misspecification, poor overlap, capping, and sampling variation are visible in the new plots.