A Falsifiability Characterization of Double Robustness Through Logical Operators

We address the characterization of problems in which a consistent estimator exists in a union of two models, also termed as a doubly robust estimator. Such estimators are important in missing information, including causal inference problems. Existing characterizations, based on the semiparametric theory of projections, have seen sufficient progress, but can still leave one's understanding less than satisfied as to when and especially why such estimation works. We explore here a different, explanatory characterization - an exegesis based on logical operators. We show that double robustness exists if and only if we can produce consistent estimators for each contributing model based on an "AND" estimator, i. e., an estimator whose consistency generally needs both models to be correct. We show how this characterization explains double robustness through falsifiability.