Skip to main content

BinaryQuantizer

Struct BinaryQuantizer 

Source
pub struct BinaryQuantizer;
Expand description

A simple, training-free binary quantizer.

The canonical implementation of compression with a binary quantizer maps negative values to -1 (encoded as a bit 0) and positive values to 1. Distances can then be approximated using the Hamming distance between the compressed vectors.

As a convenience diskann_quantization::bits::SquaredL2 and diskann_quantization::bits::InnerProduct may be used, which correctly dispatch to the proper post-op for similarity scores versus mathematical values.

§Example

use diskann_quantization::{
    AsFunctor, CompressInto,
    distances::Hamming,
    binary::BinaryQuantizer,
    bits::{BoxedBitSlice, Binary},
};

use diskann_utils::{Reborrow, ReborrowMut};
use diskann_vector::{
    PureDistanceFunction, DistanceFunction, MathematicalValue,
};

let x = vec![-1, 1, 1, -1, 1];
let y = vec![1, -1, 1, -1, -1];

// Create a quantizer
let quantizer = BinaryQuantizer;

// Create output vectors for compression.
let mut bx = BoxedBitSlice::<1, Binary>::new_boxed(x.len());
let mut by = BoxedBitSlice::<1, Binary>::new_boxed(y.len());

// Do the compression.
quantizer.compress_into(x.as_slice(), bx.reborrow_mut()).unwrap();
quantizer.compress_into(y.as_slice(), by.reborrow_mut()).unwrap();

// Because our inputs are limited to -1 and 1, the compression is perfect.
assert_eq!(bx.get(0).unwrap(), x[0]);
assert_eq!(bx.get(1).unwrap(), x[1]);

// But the compressed vectors only consume a single byte.
assert_eq!(bx.bytes(), 1);

// Lets compute some distances!
assert_eq!(
    Hamming::evaluate(bx.reborrow(), by.reborrow()).unwrap(),
    MathematicalValue::<u32>::new(3)
);

// We can also use the `AsFunctor` trait if we want more uniformity.
let f: Hamming = quantizer.as_functor();
assert_eq!(
    f.evaluate_similarity(bx.reborrow(), by.reborrow()).unwrap(),
    MathematicalValue::<u32>::new(3)
);

Trait Implementations§

Source§

impl AsFunctor<Hamming> for BinaryQuantizer

Source§

fn as_functor(&self) -> Hamming

Return a crate::distances::Hamming functor for performing distance computations on bit vectors.

Source§

impl Clone for BinaryQuantizer

Source§

fn clone(&self) -> BinaryQuantizer

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<T> CompressInto<&[T], BitSliceBase<1, Binary, MutSlicePtr<'_, u8>>> for BinaryQuantizer
where T: PartialOrd + Default,

Source§

fn compress_into( &self, from: &[T], into: MutBitSlice<'_, 1, Binary>, ) -> Result<(), Self::Error>

Compress the source vector into a binary representation.

This works by mapping positive numbers (as defined by v > T::default()) to 1 and negative numbers (as defined by v <= T::default()) to -1.

§Panics

Panics if from.len() != into.len().

Source§

type Error = Infallible

Errors that may occur during compression.
Source§

type Output = ()

An output type resulting from compression.
Source§

impl Debug for BinaryQuantizer

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Copy for BinaryQuantizer

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> ByRef<T> for T

Source§

fn by_ref(&self) -> &T

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Generator<T> for T
where T: Clone,

Source§

fn generate(&mut self) -> T

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> AsyncFriendly for T
where T: Send + Sync + 'static,