Worst-case Performance Of Popular Approximate Nearest Neighbor Search Implementations Guarantees And Limitations

Indyk Piotr, Xu Haike. Arxiv 2023

[Paper]    
ARXIV Graph

Graph-based approaches to nearest neighbor search are popular and powerful tools for handling large datasets in practice, but they have limited theoretical guarantees. We study the worst-case performance of recent graph-based approximate nearest neighbor search algorithms, such as HNSW, NSG and DiskANN. For DiskANN, we show that its “slow preprocessing” version provably supports approximate nearest neighbor search query with constant approximation ratio and poly-logarithmic query time, on data sets with bounded “intrinsic” dimension. For the other data structure variants studied, including DiskANN with “fast preprocessing”, HNSW and NSG, we present a family of instances on which the empirical query time required to achieve a “reasonable” accuracy is linear in instance size. For example, for DiskANN, we show that the query procedure can take at least $0.1n$ steps on instances of size $n$ before it encounters any of the $5$ nearest neighbors of the query.

Similar Work

• Diskann Fast Accurate Billion-point Nearest Neighbor Search On A Single Node
• Diskann Fast Accurate Billion-point Nearest Neighbor Search On A Single Node
• On The Adversarial Robustness Of Locality-sensitive Hashing In Hamming Space
• LANNS A Web-scale Approximate Nearest Neighbor Lookup System