jaxknn

Exact k-nearest neighbours in JAX: a kd-tree that traces under jit, vmap and grad.

pip install jaxknn

>>> import jax
>>> import jax.numpy as jnp
>>> import jaxknn

>>> points = jax.random.normal(jax.random.key(0), (1000, 3))
>>> idx, dist = jaxknn.knn(points, 5)  # each point's 5 nearest *other* points
>>> idx.shape, dist.shape
((1000, 5), (1000, 5))

>>> queries = jnp.zeros((2, 3))
>>> idx, dist = jax.jit(lambda p, q: jaxknn.knn(p, 1, queries=q))(points, queries)
>>> idx.shape
(2, 1)

What it gives you

• Exact results. No approximation. Ties go to the lower index, identically eagerly and under jit.
• Fully traceable. knn works inside jit, vmap and grad. Distances are differentiable with respect to the coordinates, with the neighbour selection held fixed, and the gradient is 0 rather than NaN at coincident points.
• Robust inputs.
  • NaN or inf input is an error, not a silently wrong answer: ValueError eagerly, a runtime error under jit.
  • Integers and bfloat16 are promoted to float32.
  • Coordinates are divided by an exact power of two when float32 would overflow or underflow, so values from about 1e-38 to 3e38 keep their neighbours. Typical cases are metres at kiloparsec scale, or tiny lengths.
• Compiles once per size bucket. Eager calls pad n to a bucket (2ʲ or 1.5·2ʲ), so inputs of different sizes share compiled code.
• A raw tree for custom queries. jaxknn.tree exposes build_tree, knn, all_knn and label-excluding queries (knn(tree, q, k, exclude=(point_labels, query_labels)): the nearest point with a different label, with whole same-label subtrees pruned).

jaxknn.brute_knn has the same contract by brute force. It's faster for small inputs.

When to use it

Use jaxknn when the kNN has to live inside a traced JAX program: under jit, vmap or grad, or on an accelerator.

On a CPU, eagerly, SciPy's cKDTree is faster, because it queries with every core. Here's all-points kNN (k=10, a 3-D stream with 2% interlopers), comparing jaxknn compiled under jit with SciPy called eagerly. It was measured on an Apple M2 Pro under load, so the ratios matter more than the absolute times.

Against jaxkd at n = 100,000 (all-points, k = 10, CPU):

Origin

jaxknn was extracted from phasecurvefit, where it is the traceable kNN behind MSTOrderer, with its history. See phasecurvefit#197.

License

MIT