A Strong Separation for Adversarially Robust ℓ₀ Estimation for Linear Sketches

The majority of streaming problems are defined and analyzed in a static setting, where the data stream is any worst-case sequence of insertions and deletions which is fixed in advance. However, many real-world applications require a more flexible model, where an adaptive adversary may select future stream elements after observing the previous outputs of the algorithm. Over the last few years, there has been increased interest in proving lower bounds for natural problems in the adaptive streaming model. In this work, we give the first known adaptive attack against linear sketches for the well-studied ℓ₀-estimation problem over turnstile, integer streams. For any linear streaming algorithm A which uses sketching matrix Aϵ Z^r×n, this attack makes Õ(r⁸) queries and succeeds with high constant probability in breaking the sketch. Additionally, we give an adaptive attack against linear sketches for the ℓ₀-estimation problem over finite fields F_p, which requires a smaller number of Õ(r³) queries. Finally, we provide an adaptive attack over {Rⁿ against linear sketches A in R^r×n for ℓ₀-estimation, in the setting where A has all nonzero subdeterminants at least 1poly(r). Our results provide an exponential improvement over the previous number of queries known to break an ℓ₀-estimation sketch.