Volumetric Functional Maps

• Volumetric functional maps are a spectral framework that encodes 3D solid correspondences using bases of low-frequency volumetric Laplace eigenfunctions.
• They project both discrete and continuous signals onto compact eigenbases, enabling noise suppression, compression, and effective segmentation transfer in applications like medical imaging.
• The approach minimizes descriptor, spectral commutativity, and orthogonality errors to refine correspondences, supporting accurate mesh deformation and reduced geodesic error.

Volumetric functional maps are a spectral framework for computing correspondences, transferring signals, and structuring data between 3D solids. Extending the classical functional maps method from 2D surfaces to volumetric domains, they encode volumetric shape correspondences as compact linear operators between bases of volumetric Laplace eigenfunctions. The resulting machinery supports robust, efficient transfer of discrete and continuous volumetric information across solids, with demonstrated applications in medical imaging, geometry processing, and signal analysis (Maggioli et al., 16 Jun 2025).

1. Theoretical Foundations

Volumetric functional maps generalize the functional maps paradigm from triangulated surfaces to three-dimensional solids. The foundational object is a tetrahedral mesh $M=(V_M,T_M)$ discretizing a solid domain $\Omega\subset\mathbb{R}^3$ with boundary $\partial\Omega$. The volumetric Laplace operator $\Delta_\Omega$ is defined on scalar functions $\phi:\Omega\to\mathbb{R}$ with Neumann boundary conditions: $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$ where $n$ is the outward boundary normal. In the finite-element setting, piecewise-linear basis functions $\{\phi_j\}$ yield the stiffness matrix $K$ and mass matrix $M$: $\Omega\subset\mathbb{R}^3$0 The generalized eigenproblem

$\Omega\subset\mathbb{R}^3$1

produces a basis $\Omega\subset\mathbb{R}^3$2 of the first $\Omega\subset\mathbb{R}^3$3 low-frequency volumetric eigenfunctions, orthonormal under the discrete $\Omega\subset\mathbb{R}^3$4 inner product $\Omega\subset\mathbb{R}^3$5 (Maggioli et al., 16 Jun 2025).

2. Signal Representation and Projection

A key property of $\Omega\subset\mathbb{R}^3$6 is that any scalar signal $\Omega\subset\mathbb{R}^3$7—such as a segmentation label, coordinate function, or texture—admits a compact projection: $\Omega\subset\mathbb{R}^3$8 Truncating to $\Omega\subset\mathbb{R}^3$9 yields a smooth, noise-suppressed signal representation, facilitating both compression and regularization. This spectral approach is robust to perturbations and local irregularities in the input signal.

3. Construction and Optimization of Volumetric Functional Maps

Given two tetrahedral meshes $\partial\Omega$0 and $\partial\Omega$1 with bases $\partial\Omega$2 and eigenvalues $\partial\Omega$3, a volumetric functional map is a matrix $\partial\Omega$4 such that

$\partial\Omega$5

where $\partial\Omega$6 is the (unknown) linear operator induced by the (unknown) pointwise correspondence $\partial\Omega$7.

For $\partial\Omega$8 pairs of descriptor functions (e.g., HKS, WKS, coordinates) $\partial\Omega$9, the corresponding spectral coefficients $\Delta_\Omega$0, $\Delta_\Omega$1 are computed. The functional map $\Delta_\Omega$2 is then obtained by minimizing the regularized objective: $\Delta_\Omega$3 where the terms respectively enforce descriptor preservation, spectral commutativity (isometry), and orthogonality. The closed-form solution for the first term is $\Delta_\Omega$4 with $\Delta_\Omega$5 the pseudoinverse. When using all terms, general-purpose solvers or alternating least squares are employed over $\Delta_\Omega$6 unknowns (Maggioli et al., 16 Jun 2025).

Several refinements—such as ZoomOut (increasing $\Delta_\Omega$7 iteratively), orthogonalized eigenproducts, and coupled bases—carry over directly from the surface functional maps literature, further improving correspondence accuracy and stability.

4. Practical Algorithmic Pipeline

Computation of volumetric functional maps proceeds through several standard steps:

1. Mesh Preprocessing: Ensure both $\Delta_\Omega$8 and $\Delta_\Omega$9 are watertight and manifold; tetrahedralization is required if only surface data is available.
2. Laplace Eigen-Decomposition: Assemble and diagonalize the stiffness and mass matrices to obtain $\phi:\Omega\to\mathbb{R}$0, $\phi:\Omega\to\mathbb{R}$1.
3. Signal Projection: Project descriptors $\phi:\Omega\to\mathbb{R}$2, $\phi:\Omega\to\mathbb{R}$3 into the respective spectral bases.
4. Functional Map Estimation: Estimate $\phi:\Omega\to\mathbb{R}$4 by minimizing $\phi:\Omega\to\mathbb{R}$5, possibly with iterative enlargement of $\phi:\Omega\to\mathbb{R}$6 and repeated refinement (ZoomOut).
5. Pointwise Map Recovery: For each vertex $\phi:\Omega\to\mathbb{R}$7 in $\phi:\Omega\to\mathbb{R}$8, assign the match $\phi:\Omega\to\mathbb{R}$9.

This pipeline supports both discrete and continuous signal transfer and enables extraction of approximate pointwise correspondences by nearest neighbor search in spectral space (Maggioli et al., 16 Jun 2025).

5. Applications in Geometry Processing and Medical Imaging

Volumetric functional maps facilitate a wide array of transfer and correspondence tasks:

• Segmentation Transfer: Label information encoded as one-hot vectors is mapped between volumes. The method yields noise-robust, smoothly varying labelings suitable for medical anatomical segmentation of, e.g., brain structures.
• Mesh Connectivity Transfer: With a known boundary correspondence $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$0, one can transfer interior coordinates volumetrically or extrapolate from surface-only information. Mesh deformation is achieved with low rates of tetrahedra flips ($$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$1 when using 20% of the spectrum).
• Solid Texturing: Procedural or empirical 3D textures, modeled as scalar fields on $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$2, are mapped to $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$3 in a manner that respects the interior geometry of the target domain.
• Improved Surface Shape Matching: Embedding surface meshes as boundaries of volumetric solids and computing volumetric functional maps can substantially reduce average geodesic error (AGE) compared to surface-only pipelines. For example, on the Su et al. 2019 dataset, volumetric ZoomOut with $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$4 achieved AGE $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$5 versus $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$6 for the surface-only approach, with a modest 1.6$$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$7 computational overhead (Maggioli et al., 16 Jun 2025).

6. Comparison with Voxelwise and Atlas-Based Volumetric Methods

While volumetric functional maps are primarily formulated for geometric and signal transfer tasks between 3D solids, a closely related approach in brain imaging is the construction of high-resolution volumetric functional atlases, such as DiFuMo (Dadi et al., 2020). DiFuMo decomposes preprocessed 4D fMRI data $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$8 into a sparse, non-negative dictionary $$\Delta_\Omega \phi_i = \lambda_i \phi_i\quad{\rm in}\;\Omega,\qquad (\partial\phi_i/\partial n) = 0\;{\rm on}\;\partial\Omega,$$9 of $n$0 spatial modes, capturing functional gradients of brain activity as high-dimensional volumetric maps. While both frameworks leverage spectral or dictionary-based bases for volumetric representation, the objectives and constraints differ: DiFuMo emphasizes soft, spatially localized, overlapping functional modes for signal reduction and statistical analysis, whereas volumetric functional maps focus on precise bijective correspondences and spectral signal transfer across meshes.

A plausible implication is that future work might integrate the regularized, sparse representations of DiFuMo with spectral volumetric mapping techniques, especially for tasks requiring both functional parcellation and accurate geometric correspondence (Dadi et al., 2020, Maggioli et al., 16 Jun 2025).

7. Limitations and Prospects

Volumetric functional maps require computation of low-frequency volumetric Laplace eigenfunctions, which can introduce modest runtime overhead (approximately 1.2–2$n$1 slower than surface-only analogues when interior vertices are $n$22--3$n$3 the surface count). The quality of correspondences strongly depends on tetrahedral mesh regularity, choice of descriptors, and the rank $n$4 of the truncated basis.

The main advantages are robustness to non-isometric deformations, flexibility in transferring both discrete and continuous signals, and the ability to reuse spectral refinement strategies from the well-established surface functional map literature (Maggioli et al., 16 Jun 2025). Potential future directions include integration of learned or data-driven descriptors, scalable eigen-solvers, and application to domains combining functional and anatomical information, as in neuroimaging workflows.

---

Key References:

• "Volumetric Functional Maps" (Maggioli et al., 16 Jun 2025)
• "Fine-grain atlases of functional modes for fMRI analysis" (Dadi et al., 2020)