---
title: 'Smooth Interpolation: Methods & Applications'
url: https://www.emergentmind.com/topics/smooth-interpolation
type: topic
---

# Smooth Interpolation: Methods & Applications

Searching arXiv for relevant papers on smooth interpolation across major subfields.
Smooth interpolation denotes a family of constructions in which intermediate values, functions, fields, or geometric objects are recovered from discrete data under explicit regularity constraints. Across the literature, the interpolant may be a nonnegative \(C^m\) function on \(\mathbb{R}^n\), a density field over enumeration units, a graph signal, a curve or surface, a shell trajectory on a Riemannian manifold, a curve of probability measures in Wasserstein space, or a learned predictor that varies smoothly in input space [1603.02330] [2207.00663] [1702.06746]. What counts as “smooth” is correspondingly domain-specific: continuity up to a polygonal boundary, small curvature or Laplacian energy, low graph variation, non-oscillatory high-order behavior near discontinuities, or regular geodesic behavior on a nonlinear state space.

## 1. Problem statements and admissibility conditions

A recurring formulation starts from partial or aggregated data and asks for an interpolant satisfying exact constraints together with smoothness. In geospatial analysis, smooth pycnophylactic interpolation seeks a smooth, nonnegative density \(\rho(x,y)\) such that for enumeration units \(U_1,\dots,U_n\) with totals \(P_i\),
\[
\iint_{U_i}\rho(x,y)\,dx\,dy=P_i,\qquad i=1,\ldots,n,
\]
thereby preserving unit-level aggregates exactly [2207.00663]. The same preservation principle motivates the term *pycnophylactic*, namely mass-preserving interpolation.

For polygonal domains, the formulation may instead be boundary-driven. Transfinite mean value interpolation considers a polygon \(\Omega\subset\mathbb{R}^2\) with continuous boundary data \(f:\partial\Omega\to\mathbb{R}\), and constructs an interior interpolant \(g\) from edge integrals weighted by angular geometry. The key guarantee is continuity up to the boundary,
\[
g\in C(\overline{\Omega}),\qquad g|_{\partial\Omega}=f,
\]
including at both edge interiors and vertices [1906.08358].

In Whitney-type interpolation with inequality constraints, the question becomes whether prescribed values \(f:E\to[0,\infty)\) on a finite or arbitrary set \(E\subset\mathbb{R}^n\) can be extended by a global nonnegative function \(F\in C^m(\mathbb{R}^n)\) or \(C^{m-1,1}(\mathbb{R}^n)\). The decisive result is a finiteness principle: existence of such an interpolant is determined by testing all subsets of uniformly bounded cardinality \(k^\#(m,n)\) [1603.02330]. This places smooth interpolation within the broader Whitney-extension framework, but with the nontrivial additional constraint \(F\ge 0\).

## 2. Smoothness as an objective, penalty, or exact inequality

In many settings, smoothness is formalized by variational penalties. For polynomial and spline-like interpolation, one classical criterion is integrated curvature. In one dimension,
\[
\Psi_2=\int_{\mathcal X}|y''(x)|^2\,dx,
\]
and in higher dimensions,
\[
\Psi_2=\int_{\mathcal X}\|H(y(x))\|^2\,dx,
\]
with \(H(y(x))\) the Hessian. Smooth supersaturated models enlarge the polynomial basis and use the additional degrees of freedom to minimize this criterion under exact interpolation constraints, producing spline-like behavior while remaining algebraically polynomial [0809.4654].

An analogous principle appears in pycnophylactic interpolation. Tobler’s 1979 cellular-automaton method is described as minimizing
\[
\iint \left[\left(\frac{\partial^2 \rho}{\partial x^2}+\frac{\partial^2 \rho}{\partial y^2}\right)^2\right]\,dx\,dy,
\]
subject to unit-preserving and nonnegativity conditions [2207.00663]. Here smoothness is curvature suppression of a density surface rather than fidelity to point samples.

Other formulations characterize smooth interpolation through exact inequalities rather than an optimization functional. In smooth strongly convex interpolation, a finite set of triples \((x_i,g_i,f_i)\) is \(\mathcal F_{\mu,L}\)-interpolable if and only if a closed-form inequality holds for every pair \(i,j\). In the smooth convex special case \((\mu=0)\), the criterion reduces to
\[
f_i \ge f_j + g_j^\top(x_i-x_j) + \frac{1}{2L}\|g_i-g_j\|^2,
\]
which yields a finite representation of the function class and underlies exact semidefinite performance estimation for first-order methods [1502.05666].

A related extremal viewpoint appears for convex scattered data in \(\mathbb{R}^3\). There the admissible interpolants are smooth edge-convex curve networks, and the objective is to minimize the \(L_p\)-norm of the second derivative along the edges of a triangulation. For the previously open case \(p=\infty\), the problem always has a solution; on each edge, the minimizer is a quadratic spline with at most one knot [2212.11981]. Smooth interpolation is therefore not merely about continuity class, but about minimizing edgewise curvature in a prescribed norm.

## 3. Geometric design, geometric continuity, and manifold-valued interpolation

In geometric modeling, smooth interpolation is frequently governed by geometric continuity rather than scalar Sobolev-type penalties. For Pythagorean normal vector surfaces, a dual construction maps point-normal Hermite data into the isotropic model of dual space, constructs bicubic Coons patches there, and pulls them back to \(\mathbb{R}^3\). The result is a local patch construction with global \(G^1\) continuity and rational offsets [1602.01224]. The smoothness notion is geometric continuity of tangent-plane fields, not simply coordinatewise \(C^1\) regularity.

Compactly supported interpolatory generators extend this design perspective. By taking linear combinations of half-integer shifts of exponential B-splines, one obtains basis functions that are interpolatory, compactly supported, smooth to order \(\mathcal C^{n_0-2}\), refinable, and capable of reproducing polynomial, trigonometric, or hyperbolic primitives [1710.03617]. This construction makes control points lie on the curve or surface itself, while preserving local shape control and multi-resolution refinement.

On nonlinear configuration spaces, Euclidean averaging is replaced by geodesic operations. In the Riemannian shell space of Loop subdivision surfaces, interpolation between key-frame shells is built from discrete geodesic interpolation, a discrete logarithm, a discrete exponential map, and discrete parallel transport. These ingredients support discrete Bezier curves, Riemannian cardinal splines, and interpolatory subdivision schemes for shell animation [1702.06746]. The shell metric measures both membrane distortion and bending distortion, so the interpolated motion is tied to elastic shell geometry.

A further generalization constructs interpolating space curves in \(\mathbb{R}^d\) from four modules: local functions, redistribution functions, blending functions, and gluing functions. With \(r\)-blending functions whose derivatives vanish at the interval endpoints, the resulting curve is \(G^r\), local, cusp-free, and adaptable to corner preservation, convexity preservation, and sphere preservation [2405.11123]. This makes explicit that smooth interpolation of curves is often a local-to-global assembly procedure rather than a single global fit.

## 4. Structured discrete data: graphs, streaming signals, and discontinuous samples

When the domain itself is discrete or only sequentially observed, smooth interpolation is reformulated in terms of the ambient structure. For graph signals, the Markov variation
\[
MV(\mathbf{s})=\|\mathbf{s}-\mathbf{P}\mathbf{s}\|_p=\|\mathbf{s}-\mathbf{D}^{-1}\mathbf{A}\mathbf{s}\|_p
\]
measures deviation from a local Markov averaging process. Interpolation is then posed as recovery of a full signal from sampled nodes while favoring an approximately sparse spectrum in the eigenbasis of the Markov transition matrix \(\mathbf P\) [1806.03174]. Smoothness here has a probabilistic interpretation: a signal is smooth if each node value is well predicted by the probability-weighted average of its neighbors.

For streamed observations with zero delay, smooth interpolation becomes a sequential decision problem. A spline segment
\[
g_t(x)=\mathbf a_t^\top \mathbf p_t(x)
\]
must be emitted immediately when a new sample arrives, while continuity constraints propagate through the derivative state \(\mathbf e_{t-1}\). The one-step cost is a sum of residual error and a derivative-based smoothness penalty,
\[
\kappa(\mathbf s_t,\mathbf a_t)=\left(\mathbf a_t^\top\mathbf p_t(x_t)-y_t\right)^2+\eta\,\mathbf a_t^\top\mathbf M_t\mathbf a_t,
\]
and the proposed method augments the myopic spline rule with an RNN and a differentiable convex optimization layer to reduce cumulative cost on average [2203.03776]. This suggests that, in streaming settings, smooth interpolation is partly a prediction problem about future constraints.

High-order interpolation near discontinuities requires a different balance. A fourth-order WENO interpolant combines two quadratic substencil interpolants on a four-point stencil with nonlinear weights determined by interpolation-specific smoothness indicators. The method achieves fourth-order accuracy in smooth regions, remains non-oscillatory near discontinuities, and, unlike Bézier and monotonic high-order Hermite interpolations, does not degenerate to linear interpolation near smooth extrema [2110.11885]. Smooth interpolation in this context is compatible with shock-like behavior precisely because smoothness is enforced adaptively, not globally.

## 5. Transport, mass preservation, and interpolation on non-Euclidean state spaces

For probability measures, smooth interpolation can be defined through the geometry of optimal transport. A practical construction on Wasserstein space first couples the measures at the interpolation knots via successive Monge maps and then fits ordinary Euclidean natural cubic splines to the coupled particle trajectories. This yields a curve of measures with an explicit particle-flow interpretation and, in the Gaussian/Bures setting, a second-order approximation guarantee
\[
\sup_{t\in[0,1]} W_2(\mu_t,\mu_t^\star) \le \frac{58}{\alpha^3}\,R\,\delta^2
\]
under the stated regularity and mesh assumptions [2010.12101]. The method reduces measure-valued interpolation to classical spline fitting after a transport-based coupling step.

A related but distinct use of transport appears in algorithmic fairness. Extended Total Repair constructs a smooth extension of a discrete optimal-transport repair map from observed training points to unseen points. Starting from repaired pairs \((x_i,\tilde x_i)\), a convex potential
\[
\tilde\varphi_n(x)=\max_{1\le j\le n}\{\langle x,\tilde x_j\rangle-\psi_j\}
\]
is regularized by the Moreau–Yosida envelope
\[
\varphi_\epsilon(x)= \inf_{\tilde x\in\mathbb{R}^d}\left\{\tilde\varphi_n(\tilde x)+\frac{1}{2\epsilon}\|\tilde x-x\|_2^2\right\},
\]
and the repaired point is \(\bar T_s(x)=\nabla\varphi_\epsilon(x)\) [2503.15119]. The resulting map is smooth, cyclically monotone, and avoids recomputing the full OT problem for each incoming batch.

In reciprocal-space electronic-structure calculations, smooth interpolation takes yet another form. Within the optimally smooth subspace defined by maximally localized Wannier functions, matrix elements \(\mathcal O^{oss}(\mathbf{k}+\mathbf q,\mathbf{k})\) vary smoothly in \((\mathbf{k},\mathbf q)\). Direct Wannier Interpolation replaces real-space Fourier reconstruction by direct multidimensional interpolation in the OSS, which applies to both periodic and non-periodic observables and avoids explicit use of Wannier-center positions [2410.17640]. Here smoothness is a gauge property of the chosen Bloch subspace.

## 6. Learning-based, physical, and robotic interpretations

Recent work has also treated smooth interpolation as an empirical property of learned models. In deep overparameterized networks, smooth interpolation is studied by examining the loss \(\mathcal L_\theta(\mathbf x,y)\) as a function of the input near training samples, using the input-gradient norm and input-Hessian norm as pointwise sharpness measures and geodesic Monte Carlo integration for finite-volume sharpness. The central empirical finding is that sharpness exhibits both model-wise and epoch-wise double descent, and that sufficiently overparameterized models interpolate even noisy labels over large neighborhoods rather than narrow spikes [2209.10080]. The same study also shows that smooth interpolation is not identical to good generalization: with fully noisy labels, smooth interpolation can still occur while generalization is absent [2209.10080].

In anisotropic MRI, smooth interpolation is implemented in latent space. Autoencoding for Semantic Interpolation trains a convolutional autoencoder so that the latent codes of adjacent slices can be combined by convex combinations,
\[
z_\alpha=(1-\alpha)z_n+\alpha z_{n+1},
\]
and decoded into intermediate slices, while a synthesis loss forces an actual middle slice to be predictable from its neighbors [2202.09258]. The reported effect is semantically smooth through-plane interpolation that outperforms cubic B-spline interpolation in SSIM and PSNR on cardiac cine, neonatal brain, and adult brain MRI [2202.09258].

In thermal field theory, smooth interpolation can mean bridging asymptotic regimes rather than fitting data points. A single integrand-level construction is proposed to interpolate between Born \(1\leftrightarrow 2\) rates and LPM-resummed \(1+n\leftrightarrow 2+n\) rates by replacing the Born mass-shell structure with an LPM-style transverse Hamiltonian while keeping compatible kinematics and subtraction terms [2110.07149]. This makes the resulting rates applicable across a broader range of masses and momenta than either regime alone.

In robotic trajectory generation, smooth interpolation is explicitly multi-layered. For a 3T1R parallel kinematic milling robot, tool-tip positions are fit with quintic B-splines, orientations are represented by unit quaternions and interpolated in quaternion space, synchronization is performed through modifier polynomials and piece-wise Bézier curves, and temporal trajectories are optimized by minimum-jerk, time-optimal piece-wise Bézier curves in task space and then in joint space [2602.16758]. This is a concrete example in which geometric smoothness, temporal smoothness, and actuator feasibility are treated as separate interpolation subproblems.

Taken together, these developments show that smooth interpolation is not a single algorithmic doctrine but a family of exact constraints, variational principles, and geometric constructions adapted to the topology of the data domain and the physics of the application. A persistent theme is that exact interpolation and smoothness are not mutually exclusive, but the mechanism that reconciles them varies sharply across scalar fields, graphs, manifolds, measures, reciprocal space, and learned representations [0809.4654] [1702.06746] [2010.12101].

Source: https://www.emergentmind.com/topics/smooth-interpolation