We study high-dimensional mean estimation in a collaborative setting where data is contributed by N users in batches of size n. In this environment, a learner seeks to recover the mean μ of a true distribution P from a collection of sources that are both statistically heterogeneous and potentially malicious. We formalize this challenge through a double corruption landscape: an ε-fraction of users are entirely adversarial, while the remaining ``good'' users provide data from distributions that are related to P, but deviate by a proximity parameter α. Unlike existing work on the untrusted batch model, which typically measures this deviation via total variation distance in discrete settings, we address the continuous, high-dimensional regime under two natural variants for deviation: (1) good batches are drawn from distributions with a mean-shift of α, or (2) an α-fraction of samples within each good batch are adversarially corrupted. In particular, the second model presents significant new challenges: in high dimensions, unlike discrete settings, even a small fraction of sample-level corruption can shift empirical means and covariances arbitrarily. We provide two Sum-of-Squares (SoS) based algorithms to navigate this tiered corruption. Our algorithms achieve the minimax-optimal error rate O(ε/n+d/nN+α), demonstrating that while heterogeneity α represents an inherent statistical difficulty, the influence of adversarial users is suppressed by a factor of 1/n due to the internal averaging afforded by the batch structure.
Figures & tables
Figure 1: Mean Shift Model. Illustration of Problem 1.1 : each good user provides samples drawn from a distribution whose mean lies within a α -neighborhood of the target mean μ , while an ε -fraction of users (yellow) are fully adversarial and may provide arbitrary samples.
Figure 2: Adversarial Model. Illustration of Problem 1.2 : beyond an ε -fraction of entirely adversarial users (yellow clusters), each good user’s batch contains an α -fraction of adversarially corrupted samples (yellow points within blue clusters), resulting in a two-level corruption model.
Figure 3: Lower Bound Construction for Ω(ε/n) . Distributions H0 and H1 differ in their means by ε/n while maintaining bounded variance.
Figure 4: Lower Bound Construction for Ω(α) . Distributions H2 and H3 differ in their means by α while maintaining bounded variance.