A localized packing lemma for sets of bounded $\operatorname{VC}_2$-dimension

Abstract

In the setting of abelian groups, Haussler's packing lemma implies that any subset of bounded $\operatorname{VC}$-dimension can be approximated by one of a small number of representative translates. While this exact statement is provably false under the weaker hypothesis that $A$ has bounded $\operatorname{VC}_2$-dimension, we show that in $\mathbb{F}_p^n$ a similar statement does hold after localization to cosets of subspaces depending on the individual translates. More precisely, given $ε>0$ and $A\subseteq \mathbb{F}_p^n$ with $\operatorname{VC}_2(A)<k$, we show that there exist $r\leq ε^{-O_{k,p}(1)}$ and $g_1,\ldots, g_r\in \mathbb{F}_p^n$ with the property that for every $x\in \mathbb{F}_p^n$, there is a partition $\mathcal{C}_x$ of $\mathbb{F}_p^n$ into cosets of (possibly distinct) subgroups, each of index at most $\exp(ε^{-O_{k,p}(1)})$, and a subcollection $Ω_x\subseteq \mathcal{C}_x$ whose union has size at least $(1-ε)|\mathbb{F}_p^n|$, such that on each $C\in Ω_x$, the translate $A-x$ looks like one of $A-g_1,\ldots, A-g_r$, in the sense that $|((A-x)Δ(A-g_{i_{x,C}}))\cap C|<ε|C|$ for some $1\leq i_{x,C}\leq r$. We also prove a second version of this result in which each partition $\mathcal{C}_x$ is the set of cosets of a single subgroup $H_x$ of quasipolynomial index but where the bound on $r$ is a quadruple exponential.