arXiv Science⌕ Search

subject

cs.NA

cs.NA: explore 187 source-linked works published from 2021 to 2026, with original documents and citations.

This collection is a preview while coverage and quality are evaluated.

Search within this collection

Coverage and selection

Includes records with this source-supplied label or an explicit phrase match in their metadata. Matches indicate a mention, not proof that a paper uses a method or tests a material. Source versions are consolidated by DOI.

Sources: arxiv. Collection updated 2026-09-15. Counts describe this index, not the complete source archives.

arXiv2026

Numerical Ergodicity and Optimal Strong Error Estimates for a Class of Novel Tamed Schemes to Superlinear SPDEs

We construct a class of novel tamed schemes for superlinear stochastic partial differential equations (SPDEs), including the stochastic Allen--Cahn equation driven by either multiplicative or additive noise. The schemes preserve the same Lyapunov structure as the original system, and we rigorously establish their longtime unconditional stability. Furthermore, we prove that the corresponding Galerkin-based fully discrete tamed schemes inherit the unique ergodicity of the underlying SPDEs and achieve optimal strong convergence rates in both the multiplicative and additive noise cases.

math.NA↗
arXiv2026

Constrained dynamics for searching saddle points on embedded Riemannian submanifolds of Euclidean space

Finding constrained saddle points on embedded Riemannian submanifolds of Euclidean space is significant for analyzing energy landscapes arising in physics and chemistry. Existing works exploit explicit global/local regular level-set representations of manifolds, which may be unavailable or computationally inconvenient for manifolds represented through, e.g., projectors, factorizations, or rank constraints. In this paper, we develop a constrained saddle dynamic based on embedded-submanifold geometric primitives, completely avoiding the use of explicit representations. In particular, our dynamic is formulated compactly on the Grassmann bundle of the tangent bundle. By analyzing the Grassmann bundle geometry, we rigorously establish the local linear stability of the dynamic and the local linear convergence of the resulting algorithms. Remarkably, our analysis provides the first iterate convergence result for discretized algorithms to saddle points of prescribed indices in embedded-submanifold settings. Moreover, by virtue of the Grassmann bundle formulation, we remove unnecessary nondegeneracy assumptions on the eigenvalues of the Riemannian Hessian that are present in existing works. We also point out that locating saddle points can be more ill-conditioned than finding local minimizers, and requires using nonredundant parametrizations. Finally, numerical experiments on linear eigenvalue problems and electronic excited-state calculations showcase the effectiveness of the proposed algorithms and corroborate the established local theory.

math.NA↗
arXiv2026

Sensor Placement for Tsunami Early Warning via Large-Scale Bayesian Optimal Experimental Design

Real-time tsunami early warning relies on distributed sensor networks to infer seismic sources and seafloor motion. Optimizing these networks via Bayesian optimal experimental design (OED) is exceptionally challenging for systems governed by hyperbolic partial differential equations, which lack the spectral decay required by standard low-rank approximations. We present a scalable Bayesian OED framework for linear time-invariant systems. By reformulating the inverse problem in the data space, we transform OED into dense matrix subset selection. We propose a multi-GPU, Schur-complement-update-based, greedy algorithm that solves the OED problem using a pipelined approach that fully overlaps I/O with GPU computations. Our framework achieves near-perfect weak and strong scaling across hundreds of GPUs on Perlmutter and Frontier. Applied to the 2025 Gordon Bell Prize-winning digital twin for tsunami forecasting in the Cascadia Subduction Zone, we optimize a 175-sensor network, minimizing the uncertainty of a parameter field with over one billion degrees of freedom.

cs.DC↗
arXiv2026

A class of low-rank short recurrences for nonsymmetric linear matrix equations

We propose a new class of short matrix recurrences for the solution of nonsymmetric linear equations of the type $\mathbf{A}_1\mathbf{X}\mathbf{B}_1+\ldots+\mathbf{A}_p\mathbf{X}\mathbf{B}_p=CD^T$. Building on ideas underpinning the recently introduced subspace conjugate gradient algorithm, we derive low-rank short recurrences that generalize one-dimensional subspace projection methods to the nonsymmetric matrix equation setting. To limit memory consumption and maximize computational efficiency, rank truncation strategies and modern randomization procedures are incorporated into the proposed algorithms. Computational experiments on a benchmark problem as well as a challenging discretized mixed formulation of a diffusion equation with random inputs illustrate the potential of the proposed methodology.

math.NA↗
arXiv2026

Two Adjoint Perspectives on Fokker-Planck Optimization: A Microscopic-Macroscopic Correspondence

The Fokker-Planck equation admits both a macroscopic Eulerian description through probability densities and a microscopic Lagrangian description through stochastic trajectories. Consequently, optimization problems constrained by the Fokker-Planck equation can be formulated from either perspective. Surprisingly, the corresponding adjoint equations appear to be fundamentally different: the macroscopic adjoint is governed by the backward Kolmogorov equation, whereas the microscopic adjoint evolves pathwise along stochastic trajectories. In this note, we reconcile these two formulations by establishing their correspondence in the continuum setting. We further show that, although their discrete gradients no longer coincide after discretization, both provide consistent numerical approximations of the continuum gradient. Explicit convergence rates are established for both discretization strategies.

math.NA↗
arXiv2026

Exact Limits of Random Projections for Preserving Geometry: Distance Recovery, Nearest-Neighbor Rankings, and Covariance Shape in Gaussian Models

The Johnson-Lindenstrauss (JL) lemma guarantees that a random projection of $n$ points to $m=O(\varepsilon^{-2}\log n)$ dimensions preserves pairwise squared distances within relative error $\varepsilon$ with high probability, and this dimension order is asymptotically optimal. In high dimensions, however, distances concentrate around a baseline while key geometric information lies in much smaller fluctuations. We show that the JL bound can therefore be uninformative about retained geometry: an independent Gaussian replacement map can satisfy it even though the replacement cloud is independent of the original data. We then ask how well any decoder can recover a feature $f(D)$ of a squared distance $D$ from a linear sketch. Under squared-error loss, the optimal decoder is conditional expectation, so recovery defines a linear operator whose singular values quantify feature recovery. For isotropic Gaussian data ($Σ=σ^2 I_d$), we diagonalize this operator in closed form. For fixed $k$ with $m,d-m\to\infty$, its $k$th singular value satisfies $\ell_k\approx(m/ d)^{k/2}$. This yields three sharp consequences. A rank-$m$ sketch retains at most an $m/d$ fraction of the variance of any feature of one squared distance. If $m\to\infty$ and $m/d\to0$, the expected Kendall correlation is $\frac{2}π\sqrt{m/d}(1+o(1))$; for fixed $q$, nearest- neighbor agreement tends to $1/q$. Yet one projection can satisfy the JL bound while mean Kendall correlation vanishes when $\log n\ll m\ll d$. After removing scale, Haar-averaged retained covariance-shape information is $(m/d)^2$. Thus JL distance preservation does not quantify the geometry available for comparison or inference.

cs.LG↗
arXiv2026

Error estimate of the nonuniform BDF3-L2 method for subdiffusion equations via multiscale solution decomposition

Numerical experiments reported by Quan and Wu [SIAM J Numer Anal 61 (2023) 2106-2132] show that the observed temporal convergence rates of nonuniform L2 methods for subdiffusion models are not consistent with the theoretically predicted order $3-α$. This discrepancy suggests that a more refined analysis is needed and motivates the development of a nonuniform BDF3-L2 method for the subdiffusion equation. To account for the initial solution singularity, we employ the multiscale solution decomposition to decompose the original solution and approximate a smoother unknown variable that satisfies the subdiffusion model with a smoother source term. The resulting formulation, however, involves restrictive high-order boundary conditions on the source term and initial data. To overcome this difficulty, we introduce a spectral truncation technique that requires only slightly stronger regularity of the data and a controllable truncation error. We establish high-order regularity estimates of the solution to the truncated problem and develop a nonuniform BDF3-L2 method for its numerical approximation, based on which we derive a rigorous error estimate of temporal convergence order $2+α$. Numerical experiments are carried out to substantiate the theoretical findings.

math.NA↗
arXiv2026

Scattered data interpolation on the torus by compactly supported multinode Shepard operators

We introduce a compactly supported multinode Shepard operator for the interpolation of scattered data on the torus embedded in $\mathbb{R}^3$. The method combines local polynomial interpolation of total degree $d\in \mathbb{N}$ with compactly supported Shepard-type weights, so that the approximation at each evaluation point depends only on neighbouring stencils of nodes. The torus is treated as an algebraic surface defined by a quartic polynomial, and Gröbner bases are used to construct reduced polynomial spaces on the surface by removing the redundancy induced by the defining equation. This yields local Vandermonde systems adapted to the toroidal geometry. We discuss the metric structure of the torus, show the local equivalence between the periodic parameter distance and the Euclidean distance inherited from $\mathbb{R}^3$, and use this equivalence to motivate the compact support construction. We establish a uniform error estimate in terms of the maximal support radius and the local Lebesgue constants. Under uniform locality and stability assumptions, the method converges with order $d+1$ with respect to the fill distance. Numerical experiments on analytical test functions confirm polynomial reproduction and exhibit an error decay consistent with the theoretical analysis. The approach is also tested on Computational Fluid Dynamics data mapped onto the torus, including the interpolation of the velocity components, the reconstruction of the velocity magnitude from the interpolated components, and the reconstruction of a tangent velocity field through an orthonormal lifting of the interpolated components.

math.NA↗
arXiv2026

A Stream-Function Formulation for the Surface Stokes-Helfrich Model - Surface Finite Element Discretization and Validation

We introduce a stream-function formulation for the Surface Stokes-Helfrich model and study an Arbitrary Lagrangian-Eulerian (ALE) Surface Finite Element (SFEM) discretization in space and a semi-implicit discretization in time of these equations. In contrast with special cases of a surface Stokes model on stationary or prescribed evolving surfaces the surface pressure remains as an unknown and needs to be reconstructed in each time step. As for the surface Stokes model on a prescribed evolving surface the formulation also requires an additional gradient potential. A detailed computational comparison with an ALE-SFEM discretization in space and a similar semi-implicit discretization in time of the corresponding velocity-pressure formulation is explored on a representative problem formulation for simply-connected surfaces, demonstrating the validity of the approach.

math.NA↗
arXiv2026

A Multiscale Finite Element Method for reaction-diffusion eigenproblems arising from neutronics

We consider reaction-diffusion eigenproblems with oscillatory diffusion and reaction coefficients. The reaction coefficient magnitude is large: the corrector equation identified by periodic homogenization involves both the diffusion and the reaction operators. We study the numerical approximation of this problem using the Multiscale Finite Element Method (MsFEM). This now classical method is a finite element type method that performs a Galerkin approximation of the oscillatory problem on a specific, problem dependent, basis set. The basis functions are precomputed in an offline stage. Inspired by homogenization theory and using some filtering ideas, we show how to define these basis functions in order to obtain an efficient method. The comprehensive set of numerical experiments that we present, in periodic and non-periodic cases, for the scalar-valued version of the problem (which is then self-adjoint) and for the vector-valued version of the problem (which is then in general non self-adjoint), demonstrates the performance of the approach. Some theoretical arguments complement the numerical observations.

math.NA↗
arXiv2026

Geometry-dependent rank defect in $C^1$ cubic spline space

Determining the dimension of the $C^1$ cubic spline space $S_3^1(\mathcal{T})$ on an arbitrary nondegenerate planar triangulation has remained unresolved since the 1970s. Schumaker's lower bound includes a local correction $σ$ for singular interior four-stars, and it was conjectured that this bound is always attained. We disprove this conjecture by constructing a one-parameter family of nondegenerate realizations of a fixed 18-triangle complex, with only the central vertex moving as $v_6(t)=(t,0)$ on the admissible interval $I=(-3/4,24/55)$. The family exhibits three distinct cases. For $t\in I\setminus\{1/5,3/83\}$, the lower bound is attained and $\dim S_3^1(\mathcal{T}(t))=33$. At $t=3/83$, the central four-star is singular, $σ=1$, and the resulting dimension 34 is exactly accounted for by the classical local correction. At $t=1/5$, however, all interior vertices are nonsingular and $σ=0$, yet $\dim S_3^1(\mathcal{T}(1/5))=34>P_{\mathcal{T}(1/5)}(1,3)=33$. The smoothing-cofactor calculation shows that the dependence at $t=3/83$ is confined to the central vertex block, whereas the dependence at $t=1/5$ couples all seven interior vertex cycles even though every individual block has full row rank. A complementary Bernstein--Bézier calculation gives the same dimension profile. Thus the singular-four-star correction does not capture every geometry-dependent contribution to $\dim S_3^1(\mathcal{T})$; genuinely global compatibility must also be taken into account.

math.NA↗
arXiv2026

Numerical Analysis of the Virtual Element Approximation for the Smagorinsky Turbulence Model

In this paper, we consider the Smagorinsky model for the Navier-Stokes equations within a virtual element framework. Under the standard assumption of small data, we prove the existence and uniqueness of a solution. Assuming more regularity to the solutions, we derive the known convergence rates $h$ for the a priori error estimates of the Smagorinsky model in two dimensional domains. We additionally prove that divergence-free virtual discretizations provide improved convergence orders, with weaker regularity assumptions than in the finite element literature. We conclude the paper with numerical results that corroborate the theory.

math.NA↗
arXiv2026

A meshfree solver for coupled bulk-surface problems with self-organizing surface geometry

In many systems, the interaction between a deformable surface or interface and the surrounding bulk fluid is coupled with intrinsic spatiotemporal dynamics within the moving surface. Examples include tumor growth, biological tissue morphogenesis, cardiac mechanics, multi-phase surfactant chemistry, additive manufacturing, clothing wear-and-tear, and reactive combustion flows. Solving such problems requires both geometric computing algorithms to track and resolve the surface and numerical methods to solve the coupled governing equations in the surface and the surrounding bulk phase. Here, we present a fully meshfree numerical solver for such coupled bulk-surface problems with deformable interfaces. The presented solver tracks the surface implicitly, solving for the dynamic surface geometry based on stress balance coupled to surrounding fluid phases. We show convergence for a mass-conserving case on a growing sphere and solve bulk-surface problems with incompressible Navier-Stokes fluids coupled to in-surface nonlinear reaction-diffusion dynamics. Finally, we show a model of biological morphogenesis, solving simultaneously for the dynamic surface shape and the fields on the curved surface with two-way coupling.

cs.CE↗
arXiv2026

Deep learning based numerical approximation algorithms for stochastic partial differential equations

In this article, we introduce a deep learning based approximation algorithm for SPDEs. Our approach employs neural networks to approximate the solutions of SPDEs along given realizations of the driving noise process. If applied to a set of simulated noise trajectories, it yields empirical distributions of SPDE solutions, from which functionals like the mean and variance can be estimated. We test the performance of the method on stochastic heat equations with additive and multiplicative noise as well as stochastic Black-Scholes equations with multiplicative noise and Zakai equations from nonlinear filtering theory. In all cases, the proposed algorithm yields accurate results with short runtimes in up to 100 space dimensions.

math.NA↗
arXiv2026

Scheme-Induced Minimum Action Methods for SPDEs: A Variational Framework for Convergence Analysis

The minimum action method (MAM) is an important numerical tool for computing the most probable transition paths and the leading exponential rates of rare-event probabilities for stochastic systems with small noise. To the best of our knowledge, no rigorous convergence analysis is available for fully discrete MAMs for stochastic partial differential equations (SPDEs). This paper establishes the convergence of the constrained minima of fully discrete scheme-induced action functionals for terminal observations of scalar semilinear SPDEs. A main difficulty is that a consistent discrete approximation of an admissible control generally fails to satisfy the discrete terminal constraint exactly. To overcome this difficulty, we construct an asymptotically negligible correction that restores the constraint, and incorporate this argument into an abstract variational framework. We then propose a criterion that reduces the assumptions of this framework to verifiable conditions involving the continuous and discrete Green functions. Applying this criterion to fully discrete schemes for a stochastic wave equation and a fourth-order parabolic equation, we prove convergence of the constrained minima along arbitrary spatial and temporal refinement sequences, without a mesh-ratio condition.

math.NA↗
arXiv2026

Greedy recursion parameter selection for one-way spatial integration of hyperbolic equations

Solutions to hyperbolic systems comprise waves propagating at finite speeds. When wave propagation is predominantly unidirectional, one-way wave equations can be used to evolve only the right-going solution by removing support for left-going waves. The One-Way Navier-Stokes (OWNS) approach, which was originally developed for systems of first-order hyperbolic equations, constructs one-way approximations to the linearized Navier-Stokes equations using a recursive filter to remove left-going waves. The computational cost scales with the number of recursion parameters, which must be carefully chosen to ensure accuracy and stability of the resulting one-way equation. Previous work has chosen parameters based on heuristic estimates of key eigenvalues, which requires trial-and-error tuning while also yielding slow error convergence. We propose a greedy algorithm for automatic parameter selection, which we show yields faster convergence and a net decrease in computational cost for linear and nonlinear disturbance evolution in boundary-layer flows. We review the OWNS projection (OWNS-P) and recursive (OWNS-R) methods, comparing their convergence properties, and show through our numerical analysis and experiments that OWNS-P yields superior convergence and stability properties. Although we demonstrate the method for Navier-Stokes equations, we perform our analyses on systems of linear first-order hyperbolic equations and emphasize that the greedy algorithm is applicable to such systems.

math.NA↗
arXiv2026

Interpolation in Polynomial Spaces of p-Degree

We recently introduced the Fast Newton Transform (FNT), an hierarchical algorithm for performing multivariate Newton interpolation in arbitrary downward closed polynomial spaces of spatial dimension $m$. Here, we analyze the FNT in the context of a specific family of downward closed sets $A_{m,n,p}$, defined as all multi-indices with $\ell^p$ norm less than $n$ with $p \in [0,\infty]$. The FNT performs with time complexity $\mathcal{O}(|A_{m,n,p}|mn)$ on the induced downward closed polynomial spaces $Π_{m,n,p}$. We show that the $Π_{m,n,p}$ choice compared to the tensor product spaces $Π_{m,n,\infty}$, reduces time complexity by a factor of $ρ_{m,n,p}$, decaying super exponentially with spatial dimension when $m \lesssim n^p$. We showcase the efficiency of the FNT by computing activity scores in sensitivity analysis.

math.NA↗
arXiv2026

The Bayesian SIAC filter

We propose the Bayesian Smoothness-Increasing Accuracy-Conserving (SIAC) filter---a hierarchical Bayesian generalization of the existing deterministic SIAC filter. The SIAC filter is a powerful numerical tool for removing high-frequency noise from data or numerical solutions without degrading accuracy. However, current SIAC methodology is limited to (i) nodal/modal data (noisy direct function values/coefficients of a piecewise polynomial function approximation) and (ii) deterministic point estimates that do not account for uncertainty propagation of input data to the SIAC reconstruction. The proposed Bayesian SIAC filter overcomes these limitations by (i) supporting general (non-nodal) data models and (ii) enabling rigorous uncertainty quantification (UQ), thereby broadening the applicability of SIAC filtering. We also develop structure-exploiting algorithms for efficient maximum a posteriori (MAP) estimation and Markov chain Monte Carlo (MCMC) sampling, with a focus on linear data models with additive Gaussian noise. Computational experiments demonstrate the effectiveness of the Bayesian SIAC filter across several applications, including signal denoising, image deblurring, and post-processing of numerical solutions to hyperbolic conservation laws. The results show that the Bayesian approach produces point estimates with accuracy comparable to, and in some cases exceeding, that of the deterministic SIAC filter. In addition, it extends naturally to general data models and provides built-in UQ.

math.NA↗
Compare source metadata on this page
WorkPublishedSource identifierSource
Numerical Ergodicity and Optimal Strong Error Estimates for a Class of Novel Tamed Schemes to Superlinear SPDEs2026-09-022502.19117arxiv
Constrained dynamics for searching saddle points on embedded Riemannian submanifolds of Euclidean space2026-09-022601.03931arxiv
Sensor Placement for Tsunami Early Warning via Large-Scale Bayesian Optimal Experimental Design2026-09-022604.08812arxiv
A class of low-rank short recurrences for nonsymmetric linear matrix equations2026-09-022605.01276arxiv
Two Adjoint Perspectives on Fokker-Planck Optimization: A Microscopic-Macroscopic Correspondence2026-09-022609.02072arxiv
Exact Limits of Random Projections for Preserving Geometry: Distance Recovery, Nearest-Neighbor Rankings, and Covariance Shape in Gaussian Models2026-09-022609.02155arxiv
Error estimate of the nonuniform BDF3-L2 method for subdiffusion equations via multiscale solution decomposition2026-09-022609.02178arxiv
Scattered data interpolation on the torus by compactly supported multinode Shepard operators2026-09-022609.02259arxiv
A Stream-Function Formulation for the Surface Stokes-Helfrich Model - Surface Finite Element Discretization and Validation2026-09-022609.02347arxiv
A Multiscale Finite Element Method for reaction-diffusion eigenproblems arising from neutronics2026-09-022609.02420arxiv
Geometry-dependent rank defect in $C^1$ cubic spline space2026-09-022609.02424arxiv
Numerical Analysis of the Virtual Element Approximation for the Smagorinsky Turbulence Model2026-09-022609.02433arxiv
A meshfree solver for coupled bulk-surface problems with self-organizing surface geometry2026-09-022609.02489arxiv
Deep learning based numerical approximation algorithms for stochastic partial differential equations2026-09-012012.01194arxiv
Scheme-Induced Minimum Action Methods for SPDEs: A Variational Framework for Convergence Analysis2026-09-012209.08341arxiv
Greedy recursion parameter selection for one-way spatial integration of hyperbolic equations2026-09-012506.02320arxiv
Interpolation in Polynomial Spaces of p-Degree2026-09-012507.13640arxiv
The Bayesian SIAC filter2026-09-012509.14771arxiv

These are bibliographic comparisons, not experimental rankings. Follow the original document for methods and conditions.