Query complexity of heavy hitter estimation
share
We consider the problem of identifying the subset 𝒮^γ_𝒫 of elements in the support of an underlying distribution 𝒫 whose probability value is larger than a given threshold γ, by actively querying an oracle to gain information about a sequence X_1, X_2, ... of i.i.d. samples drawn from 𝒫. We consider two query models: (a) each query is an index i and the oracle return the value X_i and (b) each query is a pair (i,j) and the oracle gives a binary answer confirming if X_i = X_j or not. For each of these query models, we design sequential estimation algorithms which at each round, either decide what query to send to the oracle depending on the entire history of responses or decide to stop and output an estimate of 𝒮^γ_𝒫, which is required to be correct with some pre-specified large probability. We provide upper bounds on the query complexity of the algorithms for any distribution 𝒫 and also derive lower bounds on the optimal query complexity under the two query models. We also consider noisy versions of the two query models and propose robust estimators which can effectively counter the noise in the oracle responses.
READ FULL TEXT