English

Compressed Inverse Suffix Arrays

Data Structures and Algorithms 2026-07-19 v1

Abstract

The suffix array (\SA\SA) and inverse suffix array (\ISA\ISA) are fundamental data structures in string algorithms. Given a text of length nn over an integer alphabet of size σ\sigma, explicitly storing these structures requires Θ(nlogn)\Theta(n\log n) bits, motivating compressed representations that approach the information-theoretic minimum of nlogσn\log\sigma bits. Two landmark solutions are the FM-index, which achieves succinct space and supports \SA\SA and \ISA\ISA queries in roughly logarithmic time, and the Compressed Suffix Array (CSA), which uses O(nlogσ)O(n\log\sigma) bits and answers both queries in O(logσϵn)O(\log_\sigma^\epsilon n) time. Nearly all subsequent compressed indexes, including entropy-compressed and repetitiveness-aware variants, support \SA\SA and \ISA\ISA using essentially the same techniques, leading to similar space--time trade-offs. This raises a fundamental question: under the same asymptotic space bound, do \SA\SA and \ISA\ISA have the same inherent query complexity? We provide evidence that this symmetry is not intrinsic. Under an O(nlogσ)O(n\log\sigma)-bit space bound, we show that \SA\SA queries are unlikely to admit logo(1)n\log^{o(1)} n query time, suggesting that improving the classical CSA bound would require a major breakthrough. In contrast, we present a new encoding supporting \ISA\ISA queries in O(τ+loglogn/loglogσ)O(\tau+\log\log n/\log\log\sigma) time using (1+1/τ+o(1))nlogσ(1+1/\tau+o(1))n\log\sigma bits, for any τ1\tau\ge1. Our main insight is that the \LF\LF-mapping, traditionally implemented using the Burrows--Wheeler Transform, can be adapted to support \ISA\ISA queries directly from the packed text, eliminating the need to store the BWT while achieving substantially faster query times.

Cite

@article{arxiv.2607.17287,
  title  = {Compressed Inverse Suffix Arrays},
  author = {Sharma V. Thankachan},
  journal= {arXiv preprint arXiv:2607.17287},
  year   = {2026}
}

Comments

To appear in the Proceedings of the 67th IEEE Symposium on Foundations of Computer Science (FOCS 2026)