Double-estimation-friendly inference for high-dimensional misspecified models

TL;DR

This paper explores the robustness of inference methods in high-dimensional models under misspecification, proposing a flexible framework that maintains valid tests and confidence intervals even when models are not perfectly specified.

Contribution

It introduces a methodology for high-dimensional regression that preserves the double-estimation-friendly property, allowing valid inference under model misspecification.

Findings

Valid inference under misspecification in high-dimensional settings

Extension of DEF property to generalized linear models

Numerical experiments confirm effectiveness

Abstract

All models may be wrong -- but that is not necessarily a problem for inference. Consider the standard $t$-test for the significance of a variable $X$ for predicting response $Y$ whilst controlling for $p$ other covariates $Z$ in a random design linear model. This yields correct asymptotic type~I error control for the null hypothesis that $X$ is conditionally independent of $Y$ given $Z$ under an \emph{arbitrary} regression model of $Y$ on $(X, Z)$, provided that a linear regression model for $X$ on $Z$ holds. An analogous robustness to misspecification, which we term the "double-estimation-friendly" (DEF) property, also holds for Wald tests in generalised linear models, with some small modifications. In this expository paper we explore this phenomenon, and propose methodology for high-dimensional regression settings that respects the DEF property. We advocate specifying (sparse) generalised linear regression models for both $Y$ and the covariate of interest $X$; our framework gives valid inference for the conditional independence null if either of these hold. In the special case where both specifications are linear, our proposal amounts to a small modification of the popular debiased Lasso test. We also investigate constructing confidence intervals for the regression coefficient of $X$ via inverting our tests; these have coverage guarantees even in partially linear models where the contribution of $Z$ to $Y$ can be arbitrary. Numerical experiments demonstrate the effectiveness of the methodology.