📝 SummarXiv

Abstract

We study the problem of deriving compressibility measures for \emph{Piecewise Linear Approximations} (PLAs), i.e., error-bounded approximations of a set of two-dimensional {\em increasing} data points using a sequence of segments. Such approximations are widely used tools in implementing many \emph{learned data structures}, which mix learning models with traditional algorithmic design blocks to exploit regularities in the underlying data distribution, providing novel and effective space-time trade-offs. We introduce the first lower bounds to the cost of storing PLAs in two settings, namely {\em compression} and {\em indexing}. We then compare these compressibility measures to known data structures, and show that they are asymptotically optimal up to a constant factor from the space lower bounds. Finally, we design the first data structures for the aforementioned settings that achieve the space lower bounds plus small additive terms, which turn out to be {\em succinct} in most practical cases. Our data structures support the efficient retrieval and evaluation of a segment in the (compressed) PLA for a given $x$-value, which is a core operation in any learned data structure relying on PLAs. As a result, our paper offers the first theoretical analysis of the maximum compressibility achievable by PLA-based learned data structures, and provides novel storage schemes for PLAs offering strong theoretical guarantees while also suggesting simple and efficient practical implementations.