High-Dimensional Gaussian Mean Estimation under Realizable Contamination

arXiv:2603.1679827.8h-index: 6
Predicted impact top 75% in LG · last 90 daysOriginality Incremental advance
AI Analysis

This addresses a fundamental challenge in robust statistics for high-dimensional data, providing theoretical insights into computational limits, but it is incremental as it builds on prior work to characterize complexity.

The paper tackles the problem of Gaussian mean estimation under a realizable contamination model, where data can be missing in a structured adversarial way, and shows that efficient algorithms require either many more samples than information-theoretically optimal or exponential runtime, establishing an information-computation gap.

We study mean estimation for a Gaussian distribution with identity covariance in $\mathbb{R}^d$ under a missing data scheme termed realizable $ε$-contamination model. In this model an adversary can choose a function $r(x)$ between 0 and $ε$ and each sample $x$ goes missing with probability $r(x)$. Recent work Ma et al., 2024 proposed this model as an intermediate-strength setting between Missing Completely At Random (MCAR) -- where missingness is independent of the data -- and Missing Not At Random (MNAR) -- where missingness may depend arbitrarily on the sample values and can lead to non-identifiability issues. That work established information-theoretic upper and lower bounds for mean estimation in the realizable contamination model. Their proposed estimators incur runtime exponential in the dimension, leaving open the possibility of computationally efficient algorithms in high dimensions. In this work, we establish an information-computation gap in the Statistical Query model (and, as a corollary, for Low-Degree Polynomials and PTF tests), showing that algorithms must either use substantially more samples than information-theoretically necessary or incur exponential runtime. We complement our SQ lower bound with an algorithm whose sample-time tradeoff nearly matches our lower bound. Together, these results qualitatively characterize the complexity of Gaussian mean estimation under $ε$-realizable contamination.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes