Optimal space lower bounds for all frequency moments

  • Authors:
  • David Woodruff

  • Affiliations:
  • MIT

  • Venue:
  • SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that any one-pass streaming algorithm which (ε, δ)-approximates the kth frequency moment Fk, for any real k ≠ 1 and any ε = Ω(1/√m), must use Ω(1/ε²) bits of space, where m is the size of the universe. This is optimal in terms of ε, resolves the open questions of Bar-Yossef et al in [3, 4], and extends the Ω(1/ε²) lower bound for F0 in [11] to much smaller ε by applying novel techniques. Along the way we lower bound the one-way communication complexity of approximating the Hamming distance and the number of bipartite graphs with minimum/maximum degree constraints.