3.2. Overview
To reconstruct a surface
S from a sparse point cloud
P, we first optimize the signed distance function
to fit the shape of
P, then extract its iso-surface to obtain
S.
Figure 1 illustrates the optimization process (stage 1) and the extraction process (stage 2), where stage 1 is the deterministic stage.
In stage 1, we train to fit the SDF under supervision from a pre-trained data-driven nearest neighbor prior. The signed distance function represented by a neural network will be optimized to minimize a projection loss , which is defined as the distance between the projected point derived from and the nearest neighbor estimated by the prior function . The accuracy of the is reflected by the accuracy of the projection, which is measured by , to achieve normal-free optimization. To encourage the iso-surface of to be more stable and smooth, we add a positional encoding (PE) layer with low-frequency bands in the network representing as regularization.
In stage 2, we uniformly divide the space into voxels and evaluate the SDF value at each grid point using the learned signed distance function in stage 1. Subsequently, we apply the marching cubes algorithm to each voxel for iso-surface extraction to generate the final mesh.
3.3. Nearest Neighbor Prior
The sparsity of point clouds and the lack of point normal information make it impractical to obtain accurate ground truth values of SDFs, which poses significant challenges for direct SDF learning. Therefore, we employ a projection-based optimization approach to optimize the signed distance function. As formulated by Equation (
1), a query point
is projected along the gradient vector
to obtain a projected point
.
in Equation (
1) denotes the vector obtained by encoding the query point
through the positional encoding layer (more details are discussed in
Section 3.4). Through the comparison between the projected point and the nearest neighbor
predicted by the prior function, we optimize the signed distance function without explicit SDF supervision.
We employ a pre-trained data-driven nearest neighbor prior
to approximate the ground truth value of projection, providing supervision for optimizing
. Formally, the definition of the nearest neighbor prior function is as follows (Equation (
2)): Given a query point
and its corresponding set
of K-nearest neighbors in point cloud
P,
estimates the nearest neighbor
to the query point
on the local surface patch determined by
T.
For network implementation, we use a PointNet encoder to extract a geometric feature from the KNN set
T, followed by an MLP decoder that regresses the coordinates of
. This encoder-decoder network is trained to minimize Euclidean distance between its predicted nearest neighbors and the ground truth values obtained from reference meshes.
The nearest neighbor prior provides supervision during the optimization of the signed distance function . Therefore, the accuracy and smoothness properties of the signed distance function are directly influenced by the quality of the prior. While reconstruction tests offer a straightforward way to measure the quality of a prior, such an empirical evaluation suffers from two limitations: (1) high computational costs when performing reconstruction on the whole test set; and (2) inability to decouple errors originating from the optimization process itself. To enable direct quantification of the prediction error of a prior function, we perform some differential analysis on the prediction results.
Mathematically, the surface of an object is differentiable almost everywhere, implying that the SDF and its iso-surfaces inherit this differentiable property. We argue the prior function should also maintain similar differentiability, as it supervises
to approximate the SDF. To quantify this requirement, we propose a numerical approach for assessing the differentiability of a prior function. As illustrated in
Figure 2, given a query point
and its nearest neighbor
on the surface, the disk neighborhoods
and
should be approximately parallel when their radius becomes sufficiently small. The parallelism enables linear approximation of the nearest neighbor: for any perturbed point
, the nearest neighbor
can be approximated by its first-order Taylor expansion
. The approximation error at
is
. Larger average approximation error of all
indicates less smoothness, because the prior function
is sensitive to small tangential perturbations, thereby suggesting non-differentiability through failure of linear approximation.
To evaluate the average approximation error
over the disk neighborhood
, we sample sufficient perturbed points on it and average the error on each point according to Equation (
3) (the KNN set
T in Equation (
2) is omitted for simplicity):
where
denotes the area of the disk neighborhood
and
represents the number of sampled points within the
. In practice, we uniformly sample
from
, where
Figure 3 shows an example of some sets sampled from a beanbag sofa. The distribution of
of all possible query points around the entire point cloud
P reflects the differentiability of a prior function. The more concentrated the
distribution and the smaller the
values, the better the differentiability of the prior function. A well-posed prior function should be insensitive to small tangential perturbations. In contrast, an excessive variation would compromise its ability to provide a smooth supervision for
, potentially inducing some non-differentiable artifacts such as lots of micro spikes.
3.4. Low-Frequency Positional Encoding as a Regularization
The signed distance function
may inherit systematic errors from its supervision, as the optimization process minimizes deviations only from the nearest neighbor prior
, rather than from the ground truth SDF values. This implies that precise fitting of
to
predictions does not strictly equate to proper SDF reconstruction, as any inherent limitations in the prior’s geometric approximation may be propagated to the signed distance function. In practice,
may converge to the overall shape of the object quickly, but keep “oscillating” slightly during the following iterations, leading to bubbles or holes in some cases. To address this issue, we introduce a low-frequency positional encoding layer as a regularization for the optimization process (i.e., stage 1 in
Figure 1).
The positional encoding (PE) layer serves as a data augmentation strategy integrated into to mitigate the tendency of overfitting . Empirical observations from surfaces reconstructed by existing methods reveal that low-frequency components convey more stable geometric information when the input point cloud is highly sparse. This evidence motivates us to encode the input coordinates with a set of low-frequency sine and cosine functions. In our implementation, the period of each trigonometric function is greater than . As the object is scaled to fit into a unit cube, a period greater than means a very low frequency. This effectively reduces high-frequency error inherited from the local prior function.
More specifically, the positional encoding layer tends to fit the low-frequency components. The input coordinates
are transformed into components
spanning frequencies from
to
. As defined in Equation (
4), the final input vector
concatenates all components and the original coordinates:
Here, each
represents a component at a specific frequency, defined as the concatenation
.
denotes the corresponding weight assigned to this frequency component
(defined as in Equation (
5)), which is progressively increased with the intermediate variable
influenced by the time-dependent parameter
(as shown in Equations (
6) and (
7)) [
31].
Theoretically, maintains equivalent approximation capacity to since is a part of . However, explicit low-frequency components in accelerate convergence to the overall structure during finite optimization iterations. In addition, the frequency spectrum varies temporally through component weights . The spectral bandwidth expands with increasing , gradually incorporating higher frequency components during optimization. This temporal variation acts as implicit regularization to mitigate overfitting to the prior function.
3.5. Loss Functions for Reconstruction
We design a loss function that quantifies the difference between the signed distance function’s zero iso-surface and the target surface
S through sampling. Since neither the zero iso-surface nor the target surface is accessible during optimization, samples on the iso-surface and
S are approximated separately. Samples on the signed distance function’s zero iso-surface are obtained by projecting randomly sampled query points according to Equation (
1). Samples on
S are approximated by a data-driven prior function
that estimates the real nearest neighbor of
on
S. The average Euclidean distance between these samples is the loss function we used.
For a query point
near the surface, the projected point
(in Equation (
1)) effectively approximates
’s nearest neighbor on the current zero iso-surface. Because
is near
S, we should be able to locate its nearest neighbor on
S with a small local surface patch near
, which is determined by the KNN of
in
P. Therefore, we can locate the point on
S through
. While such local neighborhoods exhibit significant geometric diversity that precludes simple analytical modeling, we observe that recurrent local patterns often transcend object categories. These observations motivate us to design a neural network representing
. The projection loss defined in Equation (
8) is the average Euclidean distance between projected points and nearest neighbors estimated by
, where
is a projected point computed by Equation (
1). To ensure translation invariance, each point within
is transformed to
’s local space via Equation (
9) for position independence. After this transformation, we can pass only
to
because
is always at the origin.
An accurate projection consists of both accurate direction and distance. The nearest neighbor loss in Equation (
8) only constrains the product of direction and distance. If only
is applied to
, it will focus on projecting the query points to the nearest neighbor, not caring about the distance value. The result may be slower convergence or even wrong details of the shape. We resolve this issue by applying Eikonal regularization as Equation (
10) to encourage the unit gradient magnitude, which is an intrinsic property of a valid SDF. Our composite loss function defined in Equation (
11) balances projection accuracy with Eikonal regularization through
and
.