BUFFER-X-Lite: Efficient 3D Registration

• BUFFER-X-Lite is a training-free, zero-shot point cloud registration algorithm that adapts to unseen environments without dataset-specific tuning.
• It employs geometric bootstrapping, multi-scale patch embedding, and a fast deterministic KISS-Matcher for robust and efficient pose estimation.
• The algorithm achieves a 43% reduction in computation time, making it highly suited for real-time, resource-constrained robotics applications.

BUFFER-X-Lite is an efficiency-optimized, training-free point cloud registration algorithm developed as an extension of the BUFFER-X framework. It targets zero-shot generalization—registering point clouds from unseen environments, sensor modalities, and scales without dataset-specific hyperparameter tuning or retraining. BUFFER-X-Lite achieves a 43% reduction in average computation time relative to BUFFER-X while effectively preserving registration accuracy, making it suitable for real-time and resource-constrained robotics deployments (Lim et al., 6 Jan 2026).

1. Background and Motivation

Point cloud registration aims to estimate a rigid transformation, $(\hat R, \hat t)$, aligning two 3D point sets $\mathcal{P}$ and $\mathcal{Q}$. Traditional deep learning-based methods frequently struggle with zero-shot generalization due to three central issues: dependence on dataset-specific parameters (e.g., voxel size, search radius), limited transferability of learned keypoint detectors, and the sensitivity of absolute point coordinates to global scale mismatches. BUFFER-X addresses these via geometric bootstrapping for hyperparameter auto-tuning, distribution-aware farthest point sampling (FPS), and patch-level coordinate normalization. BUFFER-X-Lite further targets runtime efficiency through algorithmic modifications suited for real-time applications.

2. BUFFER-X Pipeline Overview

The BUFFER-X pipeline consists of three principal stages:

1. Geometric Bootstrapping:
   • Automatically estimates the voxel size $v$ based on sphericity $\lambda_3/\lambda_1$ and PCA spread $s$.
   • Determines density-aware radii $r_l, r_m, r_g$ for hierarchical receptive fields, removing the need for user-defined parameters.
2. Multi-Scale Patch Embedding and Sampling:
   • Keypoints are selected at each receptive field scale ($\xi \in \{l, m, g\}$) using FPS.
   • Each patch's coordinates are normalized to $[-1,1]^3$ by dividing by $r_\xi$, guaranteeing local geometric descriptors remain scale-invariant.
   • Features are extracted using Mini-SpinNet, a lightweight local geometry descriptor.
3. Hierarchical Inlier Search and Pose Estimation:
   • At each scale, mutual matching is performed on feature vectors, producing candidate correspondences.
   • Pairwise $\mathrm{SO}(3)$ estimation is conducted from cylindrical features, followed by cross-scale consensus maximization to select inliers $\mathcal{I}$ and estimate the final pose $(\hat R, \hat t)$.

3. Enhancements Introduced in BUFFER-X-Lite

BUFFER-X-Lite introduces two primary algorithmic modifications to accelerate inference:

3.1 Early-Exit Strategy

After middle-scale matching ($\xi = m$), BUFFER-X-Lite computes an initial pose $(R_m, t_m)$ and inlier set $\mathcal{I}_m$. If $|\mathcal{I}_m| > \tau_N$ (where $\tau_N$ is an early-exit threshold), the algorithm halts, outputting $(R_m, t_m)$ as the final registration result. This skips the local ($l$) and global ($g$) scales, which further reduces computation without materially impacting final accuracy. Otherwise, the algorithm continues with the full three-scale hierarchical matching.

3.2 Fast Deterministic Pose Solver

BUFFER-X-Lite replaces RANSAC-based pose estimation at each scale with the KISS-Matcher, a deterministic graph-based solver. KISS-Matcher uses $k$-core pruning on a compatibility graph with an edge criterion $|\|q_j-q_{j'}\|-\|p_i-p_{i'}\|| \le 2\beta$ (with $\beta = 1.5v$), followed by graduated non-convexity (GNC) for robust estimation. The solver complexity is reduced from the $O(N_\mathrm{iter}\cdot|\mathcal{A}|)$ in RANSAC to $O(|V|+|E|)$ plus the GNC phase, allowing pose hypotheses to be generated 10–100× faster, a crucial advantage in high-density LiDAR scenarios.

4. Mathematical Foundations

Key mathematical formulations in BUFFER-X-Lite include:

4.1 Patch Coordinate Normalization

For each keypoint $p_i$ and its neighborhood $$\mathcal{P}_i=\{x \in \mathcal{P}: \|x - p_i\| \le r_\xi \}$$, coordinates are normalized:

$$\tilde x = \frac{x - p_i}{r_\xi},\quad \tilde x \in [-1,1]^3$$

This normalization ensures local patch descriptors are scale-invariant and focus on intrinsic geometry.

4.2 Density-Aware Neighborhoods

Radii $r_\xi$ at each scale are selected to satisfy a target neighborhood density $\tau_\xi$:

$$r_\xi = \arg\min_r \left| \frac{1}{N_r} \sum_{q \in \text{sample}} | \{ x : \|x-q\| \le r \} | - \tau_\xi \right|$$

4.3 Early-Exit Inlier Threshold

The early termination criterion is formalized as:

$|\mathcal{I}_m| > \tau_N$

where $\mathcal{I}_m$ is the inlier set from the KISS-Matcher solver at the middle scale.

5. Algorithmic Workflow

The table summarizes the core steps of the BUFFER-X-Lite pipeline:

Stage	Technique	Details
Geometric Bootstrapping	Sphericity, PCA	Estimate $v, r_l, r_m, r_g$ automatically
Downsampling	Voxelization	With $v$ for both $\mathcal{P}, \mathcal{Q}$
Sampling & Embedding	FPS, Mini-SpinNet, Normalization	Multi-scale, scale-invariant descriptors
Matching & Filtering	Mutual matching, KISS-Matcher	Inlier selection per scale
Early Exit (if applicable)	Inlier threshold at middle scale	$|\mathcal{I}_m| > \tau_N$
Consensus & Output	Cross-scale maximization	Final $(\hat R, \hat t)$

If the early exit condition is met, the algorithm terminates before considering local and global scales, outputting the pose and inlier set from the middle scale. Otherwise, it aggregates inliers and estimates across all scales through cross-scale consensus.

6. Runtime and Accuracy Analysis

BUFFER-X-Lite yields significant runtime improvements without substantial losses in registration accuracy:

• On the 3DMatch benchmark, full three-scale BUFFER-X (with RANSAC) achieves 95.58% success at 1.81 Hz, only middle-scale attains 93.38% at 5.47 Hz, and BUFFER-X-Lite (early exit + KISS-Matcher) achieves 94.95% at 4.72 Hz (Table VII, Sec. VII-D) (Lim et al., 6 Jan 2026).
• Across 12 diverse datasets, BUFFER-X-Lite reduces mean runtime to 56.8% of BUFFER-X, representing a 43% average speedup (Fig. 11).
• The KISS-Matcher yields up to 100× speedup over RANSAC for point clouds exceeding $10^4$ points (Fig. 12).
• Empirically, an early-exit threshold $\tau_N=50$ preserves 94.95% success versus 95.58% for the full pipeline.

Ablation studies indicate that using two of three receptive fields (e.g., middle+global) retains approximately 94.6% success, while three-scale matching achieves about 95.6%. Early exit with KISS-Matcher is more reliable (<94% success with RANSAC vs. ~95% for KISS-Matcher). PaCMAP visualizations reveal that patch descriptors remain domain-invariant, supporting robust zero-shot transfer. KISS-Matcher’s inlier distributions distinctly separate successful and failed matches, enabling stable early termination.

7. Applications and Significance

BUFFER-X-Lite is tailored to robotics and sensor-fusion scenarios demanding real-time performance and adaptability across varying environmental scales, geometric complexity, and sensor configurations. Its training-free, parameter-agnostic design enables deployment on previously unseen data domains, including cross-sensor registration between heterogeneous LiDAR setups. The algorithm’s configurable speed-accuracy trade-off—via early exit and deterministic pose solving—makes it suitable for both high-throughput mapping and time-critical autonomous navigation (Lim et al., 6 Jan 2026).

Significantly, BUFFER-X-Lite exemplifies a broader paradigm in 3D vision: rigorous geometric self-calibration, adaptive receptive fields, and deterministic consensus approaches can outperform or complement learning-based methods in cross-domain generalization and computational efficiency.