On Adaptive Distance Estimation

We provide a static data structure for distance estimation which supports it adaptive queries. Concretely, given a dataset X = xii = 1n of n points in ℝd and 0 < p ≤ 2, we construct a randomized data structure with low memory consumption and query time which, when later given any query point q ∈ ℝd, outputs a (1+ε)-approximation of lVert q - xi rVertp with high probability for all i∈[n]. The main novelty is our data structure's correctness guarantee holds even when the sequence of queries can be chosen adaptively: an adversary is allowed to choose the jth query point qj in a way that depends on the answers reported by the data structure for q1,ldots,qj-1. Previous randomized Monte Carlo methods do not provide error guarantees in the setting of adaptively chosen queries. Our memory consumption is tilde O((n+d)d/ε2), slightly more than the O(nd) required to store X in memory explicitly, but with the benefit that our time to answer queries is only tilde O(ε-2(n + d)), much faster than the naive Theta(nd) time obtained from a linear scan in the case of n and d very large. Here tilde O hides log(nd/ε) factors. We discuss applications to nearest neighbor search and nonparametric estimation. Our method is simple and likely to be applicable to other domains: we describe a generic approach for transforming randomized Monte Carlo data structures which do not support adaptive queries to ones that do, and show that for the problem at hand, it can be applied to standard nonadaptive solutions to ℓp norm estimation with negligible overhead in query time and a factor d overhead in memory.