Fast vector index in Rust with Python bindings. Compresses vectors to 2-4 bits per dimension using TurboQuant (Google Research, ICLR 2026) with near-optimal distortion.
Unlike trained methods like FAISS PQ, TurboQuant is data-oblivious — no training step, no codebook retraining when data changes, and new vectors can be added at any time. This means faster index creation, simpler infrastructure, and comparable or higher recall.
Python
=
, =
=
Rust
use TurboQuantIndex;
let mut index = new;
index.add;
let results = index.search;
index.write.unwrap;
let loaded = load.unwrap;
Recall
TurboQuant vs FAISS IndexPQFastScan (100K vectors, k=64). FAISS PQ configurations sized to match TurboQuant compression ratios.
Both converge to 1.0 by k=4-8. At d=3072 2-bit, TurboQuant recall exceeds FAISS (0.912 vs 0.903). At d=1536 2-bit, FAISS is slightly ahead (0.882 vs 0.870). The recall discrepancy between TQ and FAISS varies by dimension and bit width — this requires further investigation. Full results: d=1536 2-bit, d=1536 4-bit, d=3072 2-bit, d=3072 4-bit, GloVe 2-bit, GloVe 4-bit.
No FAISS FastScan comparison for GloVe d=200 (dimension not compatible with FastScan's m%32 requirement).
Compression
Search Speed
All benchmarks: 100K vectors, 1K queries, k=64, median of 5 runs.
ARM (Apple M3 Max)
On ARM, TurboQuant beats FAISS FastScan by 12–20% across every config.
x86 (Intel Xeon Platinum 8481C / Sapphire Rapids, 8 vCPUs)
On x86, TurboQuant wins every 4-bit config by 1–6% and runs within ~1% of FAISS on 2-bit ST. The 2-bit MT rows (d=1536 and d=3072) are the last configs sitting slightly behind FAISS (2–4%), where the inner accumulate loop is too short for unrolling amortization to catch up with FAISS's AVX-512 VBMI path. See the Performance build section below for an opt-in PGO recipe that flips every config to a win.
How it works
Each vector is a direction on a high-dimensional hypersphere. TurboQuant compresses these directions using a simple insight: after applying a random rotation, every coordinate follows a known distribution -- regardless of the input data.
1. Normalize. Strip the length (norm) from each vector and store it as a single float. Now every vector is a unit direction on the hypersphere.
2. Random rotation. Multiply all vectors by the same random orthogonal matrix. After rotation, each coordinate independently follows a Beta distribution that converges to Gaussian N(0, 1/d) in high dimensions. This holds for any input data -- the rotation makes the coordinate distribution predictable.
3. Lloyd-Max scalar quantization. Since the distribution is known, we can precompute the optimal way to bucket each coordinate. For 2-bit, that's 4 buckets; for 4-bit, 16 buckets. The Lloyd-Max algorithm finds bucket boundaries and centroids that minimize mean squared error. These are computed once from the math, not from the data.
4. Bit-pack. Each coordinate is now a small integer (0-3 for 2-bit, 0-15 for 4-bit). Pack these tightly into bytes. A 1536-dim vector goes from 6,144 bytes (FP32) to 384 bytes (2-bit). That's 16x compression.
Search. Instead of decompressing every database vector, we rotate the query once into the same domain and score directly against the codebook values. The scoring kernel uses SIMD intrinsics (NEON on ARM, AVX2 on x86) with nibble-split lookup tables for maximum throughput.
The paper proves this achieves distortion within a factor of 2.7x of the information-theoretic lower bound (Shannon's distortion-rate limit). You cannot do much better for a given number of bits.
Building
Python (via maturin)
Rust
All x86_64 builds target x86-64-v3 (AVX2 baseline, Haswell 2013+) via .cargo/config.toml. Any CPU that can run the AVX2 fallback kernel can run the whole crate — the AVX-512 kernel is gated at runtime via is_x86_feature_detected! and only kicks in on hardware that supports it.
Performance build (x86)
The shipped Cargo config already gives most of the x86 win out of the box. For an additional ~5–10% on modern servers (Ice Lake / Sapphire Rapids / Zen 4+), you can opt into a profile-guided build with host-specific codegen. This flips every x86 config from parity-or-slight-win to a clear win across the board.
# 1. Instrumented build
RUSTFLAGS="-C profile-generate=/tmp/pgo -C target-cpu=native"
# 2. Collect a profile by running representative benchmarks
# 3. Merge and rebuild with the profile
RUSTFLAGS="-C profile-use=/tmp/merged.profdata -C target-cpu=native"
target-cpu=native is machine-specific — only use it when building on the same host (family) you'll run on. llvm-profdata ships with rustup component add llvm-tools-preview.
Running benchmarks
Download datasets:
Each benchmark is a self-contained script in benchmarks/suite/. Run any one individually:
Run all benchmarks for a category:
for; do ; done # all ARM speed
for; do ; done # all x86 speed
for; do ; done # all recall
Results are saved as JSON to benchmarks/results/. Regenerate charts:
References
- TurboQuant: Online Vector Quantization with Near-optimal Distortion Rate (ICLR 2026) -- the paper this implements
- FAISS Fast accumulation of PQ and AQ codes -- the FAISS FastScan approach our x86 kernel is based on