arXiv · Oct 21, 2026
A Sharp Dynamic Haussler Lemma
By Shihao Shao, Dacheng Tao
Haussler's covering lemma (JCTA 1995) gives the sharp (C/δ)^d metric-entropy bound for binary VC classes under normalized ℓ₁ distance. We prove a sharp global dynamic analogue for bounded real-valued classes in normalized ℓ_p, for every 1≤ p<∞. Writing d=sfat_(ε/32)(mathcal F), we obtain a global dynamic cover of size at most (C/ε^p)^d for every horizon and 0<ε<1/2. Here a single family of deterministic causal experts, fixed independently of the instance sequence, covers every target on every sequence. For 0<ε<1/4, a matching worst-case lower bound (c/ε)^(pd) holds already for binary classes on one fixed sequence, even with real-valued experts. The constants are universal, independent of p. For p=2, this resolves the horizon-independent sequential ℓ₂ covering problem of Rakhlin, Sridharan, and Tewari (PTRF 2015) in a stronger global form. For p=1, it gives the sharp (C/δ)^(Ldim(mathcal H)) global dynamic covering bound for binary classes, resolving questions of Alon, Ben-Eliezer, Dagan, Moran, Naor, and Yogev (STOC 2021) and Malliaris and Moran (Trans. AMS 2024). Our proof combines rank-decreasing correction schedules and accurate sampled prefixes with exact continuations after target identification. Shared-parent routing distributes these continuations among eligible prefixes, eliminating the logarithmic overhead.