hermes_core/structures/postings/sparse/config.rs
1//! Configuration types for sparse vector posting lists
2
3use serde::{Deserialize, Serialize};
4
5/// Sparse vector index format
6///
7/// Determines the on-disk layout and query execution strategy:
8/// - **MaxScore**: Per-dimension variable-size blocks (DAAT — document-at-a-time).
9/// Default, optimal for general sparse retrieval with block-max pruning.
10/// - **Bmp**: Fixed doc_id range blocks (BAAT — block-at-a-time).
11/// Based on Mallia, Suel & Tonellotto (SIGIR 2024). Divides the document
12/// space into fixed-size blocks and processes them in decreasing upper-bound
13/// order, enabling aggressive early termination.
14#[derive(Debug, Clone, Copy, PartialEq, Eq, Default, Serialize, Deserialize)]
15pub enum SparseFormat {
16 /// Per-dimension variable-size blocks (existing format, DAAT MaxScore)
17 #[default]
18 MaxScore,
19 /// Fixed doc_id range blocks (BMP, BAAT block-at-a-time)
20 Bmp,
21}
22
23impl SparseFormat {
24 fn is_default(&self) -> bool {
25 *self == Self::MaxScore
26 }
27}
28
29/// Size of the index (term/dimension ID) in sparse vectors
30#[derive(Debug, Clone, Copy, PartialEq, Eq, Default, Serialize, Deserialize)]
31#[repr(u8)]
32pub enum IndexSize {
33 /// 16-bit index (0-65535), ideal for SPLADE vocabularies
34 U16 = 0,
35 /// 32-bit index (0-4B), for large vocabularies
36 #[default]
37 U32 = 1,
38}
39
40impl IndexSize {
41 /// Bytes per index
42 pub fn bytes(&self) -> usize {
43 match self {
44 IndexSize::U16 => 2,
45 IndexSize::U32 => 4,
46 }
47 }
48
49 /// Maximum value representable
50 pub fn max_value(&self) -> u32 {
51 match self {
52 IndexSize::U16 => u16::MAX as u32,
53 IndexSize::U32 => u32::MAX,
54 }
55 }
56
57 pub(crate) fn from_u8(v: u8) -> Option<Self> {
58 match v {
59 0 => Some(IndexSize::U16),
60 1 => Some(IndexSize::U32),
61 _ => None,
62 }
63 }
64}
65
66/// Quantization format for sparse vector weights
67///
68/// Research-validated compression/effectiveness trade-offs (Pati, 2025):
69/// - **UInt8**: 4x compression, ~1-2% nDCG@10 loss (RECOMMENDED for production)
70/// - **Float16**: 2x compression, <1% nDCG@10 loss
71/// - **Float32**: No compression, baseline effectiveness
72/// - **UInt4**: 8x compression, ~3-5% nDCG@10 loss (experimental)
73#[derive(Debug, Clone, Copy, PartialEq, Eq, Default, Serialize, Deserialize)]
74#[repr(u8)]
75pub enum WeightQuantization {
76 /// Full 32-bit float precision
77 #[default]
78 Float32 = 0,
79 /// 16-bit float (half precision) - 2x compression, <1% effectiveness loss
80 Float16 = 1,
81 /// 8-bit unsigned integer with scale factor - 4x compression, ~1-2% effectiveness loss (RECOMMENDED)
82 UInt8 = 2,
83 /// 4-bit unsigned integer with scale factor (packed, 2 per byte) - 8x compression, ~3-5% effectiveness loss
84 UInt4 = 3,
85}
86
87impl WeightQuantization {
88 /// Bytes per weight (approximate for UInt4)
89 pub fn bytes_per_weight(&self) -> f32 {
90 match self {
91 WeightQuantization::Float32 => 4.0,
92 WeightQuantization::Float16 => 2.0,
93 WeightQuantization::UInt8 => 1.0,
94 WeightQuantization::UInt4 => 0.5,
95 }
96 }
97
98 pub(crate) fn from_u8(v: u8) -> Option<Self> {
99 match v {
100 0 => Some(WeightQuantization::Float32),
101 1 => Some(WeightQuantization::Float16),
102 2 => Some(WeightQuantization::UInt8),
103 3 => Some(WeightQuantization::UInt4),
104 _ => None,
105 }
106 }
107}
108
109/// Query-time weighting strategy for sparse vector queries
110#[derive(Debug, Clone, Copy, PartialEq, Eq, Default, Serialize, Deserialize)]
111#[serde(rename_all = "snake_case")]
112pub enum QueryWeighting {
113 /// All terms get weight 1.0
114 #[default]
115 One,
116 /// Terms weighted by IDF (inverse document frequency) from global index statistics
117 /// Uses ln(N/df) where N = total docs, df = docs containing dimension
118 Idf,
119 /// Terms weighted by pre-computed IDF from model's idf.json file
120 /// Loaded from HuggingFace model repo. No fallback to global stats.
121 IdfFile,
122}
123
124/// Query-time configuration for sparse vectors
125///
126/// Research-validated query optimization strategies:
127/// - **weight_threshold (0.01-0.05)**: Drop query dimensions with weight below threshold
128/// - Filters low-IDF tokens that add latency without improving relevance
129/// - **max_query_dims (10-20)**: Process only top-k dimensions by weight
130/// - 30-50% latency reduction with <2% nDCG loss (Qiao et al., 2023)
131/// - **heap_factor (0.8)**: Skip blocks with low max score contribution
132/// - ~20% speedup with minor recall loss (SEISMIC-style)
133#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
134pub struct SparseQueryConfig {
135 /// HuggingFace tokenizer path/name for query-time tokenization
136 /// Example: "Alibaba-NLP/gte-Qwen2-1.5B-instruct"
137 #[serde(default, skip_serializing_if = "Option::is_none")]
138 pub tokenizer: Option<String>,
139 /// Weighting strategy for tokenized query terms
140 #[serde(default)]
141 pub weighting: QueryWeighting,
142 /// Heap factor for approximate search (SEISMIC-style optimization)
143 /// A block is skipped if its max possible score < heap_factor * threshold
144 ///
145 /// Research recommendation:
146 /// - 1.0 = exact search (default)
147 /// - 0.8 = approximate, ~20% faster with minor recall loss (RECOMMENDED for production)
148 /// - 0.5 = very approximate, much faster but higher recall loss
149 #[serde(default = "default_heap_factor")]
150 pub heap_factor: f32,
151 /// Minimum weight for query dimensions (query-time pruning)
152 /// Dimensions with abs(weight) below this threshold are dropped before search.
153 /// Useful for filtering low-IDF tokens that add latency without improving relevance.
154 ///
155 /// - 0.0 = no filtering (default)
156 /// - 0.01-0.05 = recommended for SPLADE/learned sparse models
157 #[serde(default)]
158 pub weight_threshold: f32,
159 /// Maximum number of query dimensions to process (query pruning)
160 /// Processes only the top-k dimensions by weight
161 ///
162 /// Research recommendation (Multiple papers 2022-2024):
163 /// - None = process all dimensions (default, exact)
164 /// - Some(10-20) = process top 10-20 dimensions only (RECOMMENDED for SPLADE)
165 /// - 30-50% latency reduction
166 /// - <2% nDCG@10 loss
167 #[serde(default, skip_serializing_if = "Option::is_none")]
168 pub max_query_dims: Option<usize>,
169 /// Fraction of query dimensions to keep (0.0-1.0), same semantics as
170 /// indexing-time `pruning`: sort by abs(weight) descending,
171 /// keep top fraction. None or 1.0 = no pruning.
172 #[serde(default, skip_serializing_if = "Option::is_none")]
173 pub pruning: Option<f32>,
174 /// Minimum number of query dimensions before pruning and weight_threshold
175 /// filtering are applied. Protects short queries from losing most signal.
176 ///
177 /// Default: 4. Set to 0 to always apply pruning/filtering.
178 #[serde(default = "default_min_terms")]
179 pub min_query_dims: usize,
180 /// Maximum number of superblocks to visit (LSP/0 gamma cap).
181 /// 0 = unlimited (default). Only applies to BMP format.
182 #[serde(default)]
183 pub max_superblocks: usize,
184}
185
186fn default_heap_factor() -> f32 {
187 1.0
188}
189
190impl Default for SparseQueryConfig {
191 fn default() -> Self {
192 Self {
193 tokenizer: None,
194 weighting: QueryWeighting::One,
195 heap_factor: 1.0,
196 weight_threshold: 0.0,
197 max_query_dims: None,
198 pruning: None,
199 min_query_dims: 4,
200 max_superblocks: 0,
201 }
202 }
203}
204
205/// Configuration for sparse vector storage
206///
207/// Research-validated optimizations for learned sparse retrieval (SPLADE, uniCOIL, etc.):
208/// - **Weight threshold (0.01-0.05)**: Removes ~30-50% of postings with minimal nDCG impact
209/// - **Posting list pruning (0.1)**: Keeps top 10% per dimension, 50-70% index reduction, <1% nDCG loss
210/// - **Query pruning (top 10-20 dims)**: 30-50% latency reduction, <2% nDCG loss
211/// - **UInt8 quantization**: 4x compression, 1-2% nDCG loss (optimal trade-off)
212#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
213pub struct SparseVectorConfig {
214 /// Index format: MaxScore (DAAT) or BMP (BAAT)
215 #[serde(default, skip_serializing_if = "SparseFormat::is_default")]
216 pub format: SparseFormat,
217 /// Size of dimension/term indices
218 pub index_size: IndexSize,
219 /// Quantization for weights (see WeightQuantization docs for trade-offs)
220 pub weight_quantization: WeightQuantization,
221 /// Minimum weight threshold - weights below this value are not indexed
222 ///
223 /// Research recommendation (Guo et al., 2022; SPLADE v2):
224 /// - 0.01-0.05 for SPLADE models removes ~30-50% of postings
225 /// - Minimal impact on nDCG@10 (<1% loss)
226 /// - Major reduction in index size and query latency
227 #[serde(default)]
228 pub weight_threshold: f32,
229 /// Document-side mass cropping: keep the top-|weight| entries covering
230 /// this fraction of a sparse vector's total |weight| mass; the excessive
231 /// tail is dropped at indexing time.
232 ///
233 /// SPLADE-style vectors concentrate importance in a few head terms; the
234 /// long tail inflates the index and query cost with little relevance
235 /// signal. 0.9-0.95 typically drops 20-40% of postings with <1% nDCG loss.
236 ///
237 /// - None or >= 1.0 = keep all entries (default)
238 /// - Applied after `weight_threshold`; vectors with <= `min_terms`
239 /// entries are never cropped.
240 #[serde(default, skip_serializing_if = "Option::is_none")]
241 pub doc_mass: Option<f32>,
242 /// Block size for posting lists (must be power of 2, default 128 for SIMD)
243 /// Larger blocks = better compression, smaller blocks = faster seeks.
244 /// Used by MaxScore format only.
245 #[serde(default = "default_block_size")]
246 pub block_size: usize,
247 /// BMP block size: number of consecutive doc_ids per block (must be power
248 /// of 2, max 256). Only used when format = Bmp. Uniform across every
249 /// segment of the field — set per field in SDL (`bmp_block_size: N`).
250 /// Smaller = better pruning granularity; larger = smaller grid — the
251 /// dense 4-bit grid is `dims × num_blocks / 2` bytes, so grid memory
252 /// scales as 1/block_size. Default 64; large corpora (10M+ docs at
253 /// 100k-dim vocabularies) should set 256 to bound grid memory
254 /// (docs/bmp-grid-compression.md).
255 #[serde(default = "default_bmp_block_size")]
256 pub bmp_block_size: u32,
257 /// BMP superblock size: number of consecutive blocks grouped for hierarchical
258 /// pruning (Carlson et al., SIGIR 2025). Must be power of 2.
259 /// Default 64. Set to 0 to disable superblock pruning (flat BMP scoring).
260 /// Only used when format = Bmp.
261 #[serde(default = "default_bmp_superblock_size")]
262 pub bmp_superblock_size: u32,
263 /// Static pruning: fraction of postings to keep per inverted list (SEISMIC-style)
264 /// Lists are sorted by weight descending and truncated to top fraction.
265 ///
266 /// Research recommendation (SPLADE v2, Formal et al., 2021):
267 /// - None = keep all postings (default, exact)
268 /// - Some(0.1) = keep top 10% of postings per dimension
269 /// - 50-70% index size reduction
270 /// - <1% nDCG@10 loss
271 /// - Exploits "concentration of importance" in learned representations
272 ///
273 /// Applied only during initial segment build, not during merge.
274 #[serde(default, skip_serializing_if = "Option::is_none")]
275 pub pruning: Option<f32>,
276 /// Query-time configuration (tokenizer, weighting)
277 #[serde(default, skip_serializing_if = "Option::is_none")]
278 pub query_config: Option<SparseQueryConfig>,
279 /// Fixed vocabulary size (number of dimensions) for BMP format.
280 ///
281 /// When set, all BMP segments use the same grid dimensions (rows = dims),
282 /// enabling zero-copy block-copy merge. The grid is indexed by dim_id directly
283 /// (no dim_ids Section C needed).
284 ///
285 /// Required for BMP format. Typical values:
286 /// - SPLADE/BERT: 30522 or 105879 (WordPiece / Unigram vocabulary)
287 /// - uniCOIL: 30522
288 /// - Custom models: set to vocabulary size
289 ///
290 /// If None, BMP builder derives dims from observed data (V10 behavior).
291 #[serde(default, skip_serializing_if = "Option::is_none")]
292 pub dims: Option<u32>,
293 /// Fixed max weight scale for BMP format.
294 ///
295 /// When set, all BMP segments use the same quantization scale
296 /// (`max_weight_scale = max_weight`), eliminating rescaling during merge.
297 ///
298 /// For SPLADE models: 5.0 (covers typical weight range 0-5).
299 /// If None, BMP builder derives scale from data (V10 behavior).
300 #[serde(default, skip_serializing_if = "Option::is_none")]
301 pub max_weight: Option<f32>,
302 /// Minimum number of postings in a dimension before pruning and
303 /// weight_threshold filtering are applied. Protects dimensions with
304 /// very few postings from losing most of their signal.
305 ///
306 /// Default: 4. Set to 0 to always apply pruning/filtering.
307 #[serde(default = "default_min_terms")]
308 pub min_terms: usize,
309}
310
311fn default_block_size() -> usize {
312 128
313}
314
315fn default_bmp_block_size() -> u32 {
316 64
317}
318
319fn default_bmp_superblock_size() -> u32 {
320 64
321}
322
323fn default_min_terms() -> usize {
324 4
325}
326
327impl Default for SparseVectorConfig {
328 fn default() -> Self {
329 Self {
330 format: SparseFormat::MaxScore,
331 index_size: IndexSize::U32,
332 weight_quantization: WeightQuantization::Float32,
333 weight_threshold: 0.0,
334 doc_mass: None,
335 block_size: 128,
336 bmp_block_size: default_bmp_block_size(),
337 bmp_superblock_size: 64,
338 pruning: None,
339 query_config: None,
340
341 dims: None,
342 max_weight: None,
343 min_terms: 4,
344 }
345 }
346}
347
348impl SparseVectorConfig {
349 /// SPLADE-optimized config with research-validated defaults
350 ///
351 /// Optimized for SPLADE, uniCOIL, and similar learned sparse retrieval models.
352 /// Based on research findings from:
353 /// - Pati (2025): UInt8 quantization = 4x compression, 1-2% nDCG loss
354 /// - Formal et al. (2021): SPLADE v2 posting list pruning
355 /// - Qiao et al. (2023): Query dimension pruning and approximate search
356 /// - Guo et al. (2022): Weight thresholding for efficiency
357 ///
358 /// Expected performance vs. full precision baseline:
359 /// - Index size: ~15-25% of original (combined effect of all optimizations)
360 /// - Query latency: 40-60% faster
361 /// - Effectiveness: 2-4% nDCG@10 loss (typically acceptable for production)
362 ///
363 /// Vocabulary: ~30K dimensions (fits in u16)
364 pub fn splade() -> Self {
365 Self {
366 format: SparseFormat::MaxScore,
367 index_size: IndexSize::U16,
368 weight_quantization: WeightQuantization::UInt8,
369 weight_threshold: 0.01, // Remove ~30-50% of low-weight postings
370 doc_mass: None,
371 block_size: 128,
372 bmp_block_size: default_bmp_block_size(),
373 bmp_superblock_size: 64,
374 pruning: Some(0.1), // Keep top 10% per dimension
375 query_config: Some(SparseQueryConfig {
376 tokenizer: None,
377 weighting: QueryWeighting::One,
378 heap_factor: 0.8, // 20% faster approximate search
379 weight_threshold: 0.01, // Drop low-IDF query tokens
380 max_query_dims: Some(20), // Process top 20 query dimensions
381 pruning: Some(0.1), // Keep top 10% of query dims
382 min_query_dims: 4,
383 max_superblocks: 0,
384 }),
385
386 dims: None,
387 max_weight: None,
388 min_terms: 4,
389 }
390 }
391
392 /// SPLADE-optimized config with BMP (Block-Max Pruning) format
393 ///
394 /// Same optimization settings as `splade()` but uses the BMP block-at-a-time
395 /// format (Mallia, Suel & Tonellotto, SIGIR 2024) instead of MaxScore.
396 /// BMP divides the document space into fixed-size blocks and processes them
397 /// in decreasing upper-bound order, enabling aggressive early termination.
398 pub fn splade_bmp() -> Self {
399 Self {
400 format: SparseFormat::Bmp,
401 index_size: IndexSize::U16,
402 weight_quantization: WeightQuantization::UInt8,
403 weight_threshold: 0.01,
404 doc_mass: None,
405 block_size: 128,
406 bmp_block_size: default_bmp_block_size(),
407 bmp_superblock_size: 64,
408 pruning: Some(0.1),
409 query_config: Some(SparseQueryConfig {
410 tokenizer: None,
411 weighting: QueryWeighting::One,
412 heap_factor: 0.8,
413 weight_threshold: 0.01,
414 max_query_dims: Some(20),
415 pruning: Some(0.1),
416 min_query_dims: 4,
417 max_superblocks: 0,
418 }),
419
420 dims: Some(105879),
421 max_weight: Some(5.0),
422 min_terms: 4,
423 }
424 }
425
426 /// Compact config: Maximum compression (experimental)
427 ///
428 /// Uses aggressive UInt4 quantization for smallest possible index size.
429 /// Expected trade-offs:
430 /// - Index size: ~10-15% of Float32 baseline
431 /// - Effectiveness: ~3-5% nDCG@10 loss
432 ///
433 /// Recommended for: Memory-constrained environments, cache-heavy workloads
434 pub fn compact() -> Self {
435 Self {
436 format: SparseFormat::MaxScore,
437 index_size: IndexSize::U16,
438 weight_quantization: WeightQuantization::UInt4,
439 weight_threshold: 0.02, // Slightly higher threshold for UInt4
440 doc_mass: None,
441 block_size: 128,
442 bmp_block_size: default_bmp_block_size(),
443 bmp_superblock_size: 64,
444 pruning: Some(0.15), // Keep top 15% per dimension
445 query_config: Some(SparseQueryConfig {
446 tokenizer: None,
447 weighting: QueryWeighting::One,
448 heap_factor: 0.7, // More aggressive approximate search
449 weight_threshold: 0.02, // Drop low-IDF query tokens
450 max_query_dims: Some(15), // Fewer query dimensions
451 pruning: Some(0.15), // Keep top 15% of query dims
452 min_query_dims: 4,
453 max_superblocks: 0,
454 }),
455
456 dims: None,
457 max_weight: None,
458 min_terms: 4,
459 }
460 }
461
462 /// Full precision config: No compression, baseline effectiveness
463 ///
464 /// Use for: Research baselines, when effectiveness is critical
465 pub fn full_precision() -> Self {
466 Self {
467 format: SparseFormat::MaxScore,
468 index_size: IndexSize::U32,
469 weight_quantization: WeightQuantization::Float32,
470 weight_threshold: 0.0,
471 doc_mass: None,
472 block_size: 128,
473 bmp_block_size: default_bmp_block_size(),
474 bmp_superblock_size: 64,
475 pruning: None,
476 query_config: None,
477
478 dims: None,
479 max_weight: None,
480 min_terms: 4,
481 }
482 }
483
484 /// Conservative config: Mild optimizations, minimal effectiveness loss
485 ///
486 /// Balances compression and effectiveness with conservative defaults.
487 /// Expected trade-offs:
488 /// - Index size: ~40-50% of Float32 baseline
489 /// - Query latency: ~20-30% faster
490 /// - Effectiveness: <1% nDCG@10 loss
491 ///
492 /// Recommended for: Production deployments prioritizing effectiveness
493 pub fn conservative() -> Self {
494 Self {
495 format: SparseFormat::MaxScore,
496 index_size: IndexSize::U32,
497 weight_quantization: WeightQuantization::Float16,
498 weight_threshold: 0.005, // Minimal pruning
499 doc_mass: None,
500 block_size: 128,
501 bmp_block_size: default_bmp_block_size(),
502 bmp_superblock_size: 64,
503 pruning: None, // No posting list pruning
504 query_config: Some(SparseQueryConfig {
505 tokenizer: None,
506 weighting: QueryWeighting::One,
507 heap_factor: 0.9, // Nearly exact search
508 weight_threshold: 0.005, // Minimal query pruning
509 max_query_dims: Some(50), // Process more dimensions
510 pruning: None, // No fraction-based pruning
511 min_query_dims: 4,
512 max_superblocks: 0,
513 }),
514
515 dims: None,
516 max_weight: None,
517 min_terms: 4,
518 }
519 }
520
521 /// Set weight threshold (builder pattern)
522 pub fn with_weight_threshold(mut self, threshold: f32) -> Self {
523 self.weight_threshold = threshold;
524 self
525 }
526
527 /// Set document-side mass cropping fraction (builder pattern)
528 /// e.g., 0.9 = keep top-weight entries covering 90% of each vector's mass
529 pub fn with_doc_mass(mut self, fraction: f32) -> Self {
530 self.doc_mass = Some(fraction.clamp(0.0, 1.0));
531 self
532 }
533
534 /// Set posting list pruning fraction (builder pattern)
535 /// e.g., 0.1 = keep top 10% of postings per dimension
536 pub fn with_pruning(mut self, fraction: f32) -> Self {
537 self.pruning = Some(fraction.clamp(0.0, 1.0));
538 self
539 }
540
541 /// Bytes per entry (index + weight)
542 pub fn bytes_per_entry(&self) -> f32 {
543 self.index_size.bytes() as f32 + self.weight_quantization.bytes_per_weight()
544 }
545
546 /// Serialize config to a single byte.
547 ///
548 /// Layout: bits 7-4 = IndexSize, bit 3 = format (0=MaxScore, 1=BMP), bits 2-0 = WeightQuantization
549 pub fn to_byte(&self) -> u8 {
550 let format_bit = if self.format == SparseFormat::Bmp {
551 0x08
552 } else {
553 0
554 };
555 ((self.index_size as u8) << 4) | format_bit | (self.weight_quantization as u8)
556 }
557
558 /// Deserialize config from a single byte.
559 ///
560 /// Note: weight_threshold, block_size, bmp_block_size, and query_config are not
561 /// serialized in the byte — they come from the schema.
562 pub fn from_byte(b: u8) -> Option<Self> {
563 let index_size = IndexSize::from_u8((b >> 4) & 0x03)?;
564 let format = if b & 0x08 != 0 {
565 SparseFormat::Bmp
566 } else {
567 SparseFormat::MaxScore
568 };
569 let weight_quantization = WeightQuantization::from_u8(b & 0x07)?;
570 Some(Self {
571 format,
572 index_size,
573 weight_quantization,
574 weight_threshold: 0.0,
575 doc_mass: None,
576 block_size: 128,
577 bmp_block_size: default_bmp_block_size(),
578 bmp_superblock_size: 64,
579 pruning: None,
580 query_config: None,
581
582 dims: None,
583 max_weight: None,
584 min_terms: 4,
585 })
586 }
587
588 /// Set block size (builder pattern)
589 /// Must be power of 2, recommended: 64, 128, 256
590 pub fn with_block_size(mut self, size: usize) -> Self {
591 self.block_size = size.next_power_of_two();
592 self
593 }
594
595 /// Set query configuration (builder pattern)
596 pub fn with_query_config(mut self, config: SparseQueryConfig) -> Self {
597 self.query_config = Some(config);
598 self
599 }
600}
601
602/// A sparse vector entry: (dimension_id, weight)
603#[derive(Debug, Clone, Copy, PartialEq)]
604pub struct SparseEntry {
605 pub dim_id: u32,
606 pub weight: f32,
607}
608
609/// Sparse vector representation
610#[derive(Debug, Clone, Default)]
611pub struct SparseVector {
612 pub(super) entries: Vec<SparseEntry>,
613}
614
615impl SparseVector {
616 /// Create a new sparse vector
617 pub fn new() -> Self {
618 Self {
619 entries: Vec::new(),
620 }
621 }
622
623 /// Create with pre-allocated capacity
624 pub fn with_capacity(capacity: usize) -> Self {
625 Self {
626 entries: Vec::with_capacity(capacity),
627 }
628 }
629
630 /// Create from dimension IDs and weights
631 pub fn from_entries(dim_ids: &[u32], weights: &[f32]) -> Self {
632 assert_eq!(dim_ids.len(), weights.len());
633 let mut entries: Vec<SparseEntry> = dim_ids
634 .iter()
635 .zip(weights.iter())
636 .map(|(&dim_id, &weight)| SparseEntry { dim_id, weight })
637 .collect();
638 // Sort by dimension ID for efficient intersection
639 entries.sort_by_key(|e| e.dim_id);
640 Self { entries }
641 }
642
643 /// Add an entry (must maintain sorted order by dim_id)
644 pub fn push(&mut self, dim_id: u32, weight: f32) {
645 debug_assert!(
646 self.entries.is_empty() || self.entries.last().unwrap().dim_id < dim_id,
647 "Entries must be added in sorted order by dim_id"
648 );
649 self.entries.push(SparseEntry { dim_id, weight });
650 }
651
652 /// Number of non-zero entries
653 pub fn len(&self) -> usize {
654 self.entries.len()
655 }
656
657 /// Check if empty
658 pub fn is_empty(&self) -> bool {
659 self.entries.is_empty()
660 }
661
662 /// Iterate over entries
663 pub fn iter(&self) -> impl Iterator<Item = &SparseEntry> {
664 self.entries.iter()
665 }
666
667 /// Sort by dimension ID (required for posting list encoding)
668 pub fn sort_by_dim(&mut self) {
669 self.entries.sort_by_key(|e| e.dim_id);
670 }
671
672 /// Sort by weight descending
673 pub fn sort_by_weight_desc(&mut self) {
674 self.entries.sort_by(|a, b| {
675 b.weight
676 .partial_cmp(&a.weight)
677 .unwrap_or(std::cmp::Ordering::Equal)
678 });
679 }
680
681 /// Get top-k entries by weight
682 pub fn top_k(&self, k: usize) -> Vec<SparseEntry> {
683 let mut sorted = self.entries.clone();
684 sorted.sort_by(|a, b| {
685 b.weight
686 .partial_cmp(&a.weight)
687 .unwrap_or(std::cmp::Ordering::Equal)
688 });
689 sorted.truncate(k);
690 sorted
691 }
692
693 /// Compute dot product with another sparse vector
694 pub fn dot(&self, other: &SparseVector) -> f32 {
695 let mut result = 0.0f32;
696 let mut i = 0;
697 let mut j = 0;
698
699 while i < self.entries.len() && j < other.entries.len() {
700 let a = &self.entries[i];
701 let b = &other.entries[j];
702
703 match a.dim_id.cmp(&b.dim_id) {
704 std::cmp::Ordering::Less => i += 1,
705 std::cmp::Ordering::Greater => j += 1,
706 std::cmp::Ordering::Equal => {
707 result += a.weight * b.weight;
708 i += 1;
709 j += 1;
710 }
711 }
712 }
713
714 result
715 }
716
717 /// L2 norm squared
718 pub fn norm_squared(&self) -> f32 {
719 self.entries.iter().map(|e| e.weight * e.weight).sum()
720 }
721
722 /// L2 norm
723 pub fn norm(&self) -> f32 {
724 self.norm_squared().sqrt()
725 }
726
727 /// Prune dimensions below a weight threshold
728 pub fn filter_by_weight(&self, min_weight: f32) -> Self {
729 let entries: Vec<SparseEntry> = self
730 .entries
731 .iter()
732 .filter(|e| e.weight.abs() >= min_weight)
733 .cloned()
734 .collect();
735 Self { entries }
736 }
737}
738
739impl From<Vec<(u32, f32)>> for SparseVector {
740 fn from(pairs: Vec<(u32, f32)>) -> Self {
741 Self {
742 entries: pairs
743 .into_iter()
744 .map(|(dim_id, weight)| SparseEntry { dim_id, weight })
745 .collect(),
746 }
747 }
748}
749
750impl From<SparseVector> for Vec<(u32, f32)> {
751 fn from(vec: SparseVector) -> Self {
752 vec.entries
753 .into_iter()
754 .map(|e| (e.dim_id, e.weight))
755 .collect()
756 }
757}