Static Retrieval Revisited: To Optimality and Beyond

TL;DR

This paper establishes tight bounds for static retrieval data structures, revealing a fundamental space-time trade-off for large value sizes and proposing a combined data structure approach to achieve efficient queries with low redundancy.

Contribution

It provides the first tight lower and matching upper bounds for static retrieval, especially highlighting the limitations and possibilities for large value sizes.

Findings

Tight lower bounds for static retrieval with large values.

A space-time trade-off showing $O(1)$ query impossibility at minimal space for $v=\Theta(\log n)$.

A method to combine data structures to achieve efficient queries with low redundancy.

Abstract

In the static retrieval problem, a data structure must answer retrieval queries mapping a set of $n$ keys in a universe $[U]$ to $v$-bit values. Information-theoretically, retrieval data structures can use as little as $nv$ bits of space. For small value sizes $v$, it is possible to achieve $O(1)$ query time while using space $nv + o(n)$ bits -- whether or not such a result is possible for larger values of $v$ (e.g., $v = \Theta(\log n)$) has remained open. In this paper, we obtain a tight lower bound (as well as matching upper bounds) for the static retrieval problem. In the case where values are large, we show that there is actually a significant tension between time and space. It is not possible, for example, to get $O(1)$ query time using $nv + o(n)$ bits of space, when $v = \Theta(\log n)$ (and assuming the word RAM model with $O(\log n)$-bit words). At first glance, our lower bound would seem to render retrieval unusable in many settings that aim to achieve very low redundancy. However, our second result offers a way around this: We show that, whenever a retrieval data structure $D_1$ is stored along with another data structure $D_2$ (whose size is similar to or larger than the size of $D_1$), it is possible to implement the combined data structure $D_1 \cup D_2$ so that queries to $D_1$ take $O(1)$ time, operations on $D_2$ take the same asymptotic time as if $D_2$ were stored on its own, and the total space is $nv + \mathrm{Space}(D_2) + n^{0.67}$ bits.