Skip to main content

Crate innr

Crate innr 

Source
Expand description

SIMD-accelerated vector similarity primitives.

Fast building blocks for embedding similarity with automatic hardware dispatch.

§Which Function Should I Use?

TaskFunctionNotes
Similarity (normalized)cosineMost embeddings are normalized
Similarity (raw)dotWhen you know norms
Distance (L2)l2_distanceFor k-NN, clustering
Token-level matchingmaxsimColBERT-style late interaction
Sparse vectorssparse_dotBM25 scores, SPLADE

§SIMD Dispatch

All functions automatically dispatch to the fastest available instruction set:

ArchitectureInstructionsDetection
x86_64AVX-512FRuntime
x86_64AVX2 + FMARuntime
aarch64NEONAlways available
OtherPortableLLVM auto-vectorizes

Vectors shorter than 16 dimensions use portable code (SIMD overhead not worthwhile).

§Historical Context

The inner product (dot product) dates to Grassmann’s 1844 “Ausdehnungslehre” and Hamilton’s quaternions, formalized in Gibbs and Heaviside’s vector calculus (~1880s). Modern embedding similarity (Word2Vec 2013, BERT 2018) relies on inner products in high-dimensional spaces where SIMD acceleration is essential.

ColBERT’s MaxSim (Khattab & Zaharia, 2020) extends this to token-level late interaction, requiring O(|Q| x |D|) inner products per query-document pair.

§Example

use innr::{dot, cosine, norm};

let a = [1.0_f32, 0.0, 0.0];
let b = [0.707, 0.707, 0.0];

// Dot product
let d = dot(&a, &b);
assert!((d - 0.707).abs() < 0.01);

// Cosine similarity (normalized dot product)
let c = cosine(&a, &b);
assert!((c - 0.707).abs() < 0.01);

// L2 norm
let n = norm(&a);
assert!((n - 1.0).abs() < 1e-6);

§References

  • Gibbs, J.W. (1881). “Elements of Vector Analysis”
  • Mikolov et al. (2013). “Efficient Estimation of Word Representations” (Word2Vec)
  • Khattab & Zaharia (2020). “ColBERT: Efficient and Effective Passage Search”

Re-exports§

pub use dense::angular_distance;
pub use dense::cosine;
pub use dense::dot;
pub use dense::l1_distance;
pub use dense::l2_distance;
pub use dense::l2_distance_squared;
pub use dense::matryoshka_cosine;
pub use dense::matryoshka_dot;
pub use dense::norm;
pub use binary::binary_dot;
pub use binary::binary_hamming;
pub use binary::binary_jaccard;
pub use binary::encode_binary;
pub use binary::PackedBinary;
pub use fast_math::fast_cosine;
pub use fast_math::fast_cosine_dispatch;
pub use fast_math::fast_rsqrt;
pub use fast_math::fast_rsqrt_precise;

Modules§

batch
Batch vector operations with columnar (PDX-style) layout. Batch vector operations with columnar (PDX-style) data layout.
binary
Binary (1-bit) quantization: encode, Hamming distance, dot product, Jaccard. SIMD-accelerated binary (1-bit) vector operations.
dense
Dense vector primitives: dot, cosine, norm, L2/L1 distance, matryoshka. Dense vector operations with SIMD acceleration.
fast_math
Fast math operations using hardware-aware approximations (rsqrt, NR iteration). Fast math operations using hardware-aware approximations.
scalar
Scalar quantization (uint8) for memory-efficient asymmetric similarity. Scalar quantization (uint8) for memory-efficient similarity search.
ternary
Ternary quantization (1.58-bit) for ultra-compressed embeddings. SIMD-accelerated ternary vector operations.

Functions§

maxsim
MaxSim: sum over query tokens of max dot product with any doc token.
maxsim_cosine
MaxSim with cosine similarity instead of dot product.
sparse_dot
Sparse dot product for sorted index arrays.
sparse_maxsim
Sparse MaxSim (SPLADE-style) scoring.