arXiv Science⌕ Search

subject

math.NA

math.NA: explore 425 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-16. Counts describe this index, not the complete source archives.

arXiv2026

Weakly chained matrices, policy iteration, and impulse control

This work is motivated by numerical solutions to Hamilton-Jacobi-Bellman quasi-variational inequalities (HJBQVIs) associated with combined stochastic and impulse control problems. In particular, we consider (i) direct control, (ii) penalized, and (iii) semi-Lagrangian discretization schemes applied to the HJBQVI problem. Scheme (i) takes the form of a Bellman problem involving an operator which is not necessarily contractive. We consider the well-posedness of the Bellman problem and give sufficient conditions for convergence of the corresponding policy iteration. To do so, we use weakly chained diagonally dominant matrices, which give a graph-theoretic characterization of nonsingular weakly diagonally dominant M-matrices. We compare schemes (i)--(iii) under the following examples: (a) optimal control of the exchange rate, (b) optimal consumption with fixed and proportional transaction costs, and (c) pricing guaranteed minimum withdrawal benefits in variable annuities. We find that one should abstain from using scheme (i).

math.NA↗
arXiv2026

Fast Engset computation

The blocking probability of a finite-source bufferless queue is a fixed point of the Engset formula, for which we prove existence and uniqueness. Numerically, the literature suggests a fixed point iteration. We show that such an iteration can fail to converge and is dominated by a simple Newton's method, for which we prove a global convergence result. The analysis yields a new Turán-type inequality involving hypergeometric functions, which is of independent interest.

math.NA↗
arXiv2026

A fast and stable test to check if a weakly diagonally dominant matrix is a nonsingular M-matrix

We present a test for determining if a substochastic matrix is convergent. By establishing a duality between weakly chained diagonally dominant (w.c.d.d.) L-matrices and convergent substochastic matrices, we show that this test can be trivially extended to determine whether a weakly diagonally dominant (w.d.d.) matrix is a nonsingular M-matrix. The test's runtime is linear in the order of the input matrix if it is sparse and quadratic if it is dense. This is a partial strengthening of the cubic test in [J. M. Peña., A stable test to check if a matrix is a nonsingular M-matrix, Math. Comp., 247, 1385-1392, 2004]. As a by-product of our analysis, we prove that a nonsingular w.d.d. M-matrix is a w.c.d.d. L-matrix, a fact whose converse has been known since at least 1964. We point out that this strengthens some recent results on M-matrices in the literature.

math.NA↗
arXiv2026

Convergence of implicit schemes for Hamilton-Jacobi-Bellman quasi-variational inequalities

In [Azimzadeh, P., and P. A. Forsyth. "Weakly chained matrices, policy iteration, and impulse control." SIAM J. Num. Anal. 54.3 (2016): 1341-1364], we outlined the theory and implementation of computational methods for implicit schemes for Hamilton-Jacobi-Bellman quasi-variational inequalities (HJBQVIs). No convergence proofs were given therein. This work closes the gap by giving rigorous proofs of convergence. We do so by introducing the notion of nonlocal consistency and appealing to a Barles-Souganidis type analysis. Our results rely only on a well-known comparison principle and are independent of the specific form of the intervention operator.

math.NA↗
arXiv2026

High order Bellman equations and weakly chained diagonally dominant tensors

We introduce high order Bellman equations, extending classical Bellman equations to the tensor setting. We introduce weakly chained diagonally dominant (w.c.d.d.) tensors and show that a sufficient condition for the existence and uniqueness of a positive solution to a high order Bellman equation is that the tensors appearing in the equation are w.c.d.d. M-tensors. In this case, we give a policy iteration algorithm to compute this solution. We also prove that a weakly diagonally dominant Z-tensor with nonnegative diagonals is a strong M-tensor if and only if it is w.c.d.d. This last point is analogous to a corresponding result in the matrix setting and tightens a result from [L. Zhang, L. Qi, and G. Zhou. "M-tensors and some applications." SIAM Journal on Matrix Analysis and Applications (2014)]. We apply our results to obtain a provably convergent numerical scheme for an optimal control problem using an "optimize then discretize" approach which outperforms (in both computation time and accuracy) a classical "discretize then optimize" approach. To the best of our knowledge, a link between M-tensors and optimal control has not been previously established.

math.RA↗
arXiv2026

Data sparse multilevel covariance estimation in optimal complexity

We consider the $\calH^2$-formatted compression and computational estimation of covariance functions on a compact set in $\bbR^d$. The classical sample covariance or Monte Carlo estimator is prohibitively expensive for many practically relevant problems, where often approximation spaces with many degrees of freedom and many samples for the estimator are needed. In this article, we propose and analyze a data sparse multilevel sample covariance estimator, i.e., a multilevel Monte Carlo estimator. For this purpose, we generalize the notion of asymptotically smooth kernel functions to a Gevrey type class of kernels for which we derive new variable-order $\calH^2$-approximation rates. These variable-order $\calH^2$-approximations can be considered as a variant of $hp$-approximations. Our multilevel sample covariance estimator then uses an approximate multilevel hierarchy of variable-order $\calH^2$-approximations to compress the sample covariances on each level. The non-nestedness of the different levels makes the reduction to the final estimator nontrivial and we present a suitable algorithm which can handle this task in linear complexity. This allows for a data sparse multilevel estimator of Gevrey covariance kernel functions in the best possible complexity for Monte Carlo type multilevel estimators, which is quadratic. Numerical examples which estimate covariance matrices with tens of billions of entries are presented.

math.NA↗
arXiv2026

Sampling recovery in Bochner spaces and applications to parametric PDEs

We prove convergence rates of linear sampling recovery of functions in abstract Bochner spaces satisfying weighted summability of their generalized polynomial chaos expansion coefficients. The underlying algorithm is a function-valued extension of the least squares method widely used and thoroughly studied in scalar-valued function recovery. We apply our theory to two core problems in Computational Uncertainty Quantification. First, we address non-intrusive approximations of solutions to parametric elliptic or parabolic PDEs with log-normal or affine inputs using a finite set of particular solvers. Second, we consider approximating infinite-dimensional holomorphic functions that arise as solutions to more general parametric PDEs with Gaussian random field inputs. Our framework allows a unified treatment of the log-normal and affine input models and yields substantial improvements to the state of the art of these problems. More specifically, we obtain convergence rates that improve known results by a polynomial factor in the log-normal case and by a logarithmic factor in the affine case.

math.NA↗
arXiv2026

Towards provable energy-stable overset grid methods using sub-cell summation-by-parts operators

Overset grid methods handle complex geometries by overlapping simpler, geometry-fitted grids to cover the original, more complex domain. However, ensuring their stability---particularly at high orders---remains a theoretical challenge: although overset grid methods perform robustly in extensive practical use, general stability proofs are not available. In this work, we address this gap by developing a discrete counterpart to the recent well-posedness analysis of Kopriva, Gassner, and Nordström for continuous overset domain initial-boundary-value problems. To this end, we introduce the novel concept of sub-cell summation-by-parts (SBP) operators. These discrete derivative operators mimic integration by parts at a sub-cell level. By exploiting this sub-cell SBP property, we develop provably conservative and energy-stable overset grid methods for fixed one-dimensional overset domains that do not change with time or under grid refinement, providing a step toward stability proofs for overset grid methods based on the energy method.

math.NA↗
arXiv2026

Inverse obstacle scattering regularized by the tangent-point energy

We employ the so-called tangent-point energy as Tikhonov regularizer for ill-conditioned inverse scattering problems in 3D. The tangent-point energy is a self-avoiding functional on the space of embedded surfaces that also penalizes surface roughness. Moreover, it features nice compactness and continuity properties. These allow us to show the well-posedness of the regularized problems and the convergence of the regularized solutions to the true solution in the limit of vanishing noise level. We also provide a reconstruction algorithm of iteratively regularized Gauss-Newton type. Our numerical experiments demonstrate that our method is numerically feasible and effective in producing reconstructions of unprecedented quality.

math.NA↗
arXiv2026

Eigenvalue stability and new perturbation bounds for the extremal eigenvalues of a matrix

Let $A$ be a full ranked $ n\times n$ matrix, with singular values $σ_1 (A) \ge \dots \ge σ_n (A) >0$. The condition number $κ(A):= σ_1(A)/σ_n(A)=\|A\|\cdot \|A\|^{-1}$ is a key parameter in the analysis of algorithms taking $A$ as input. In practice, matrices (representing real data) are often perturbed by noise. Technically speaking, the real input would be a noisy variant $\tilde A =A +E$ of $A$, where $E$ represents the noise. The condition number $κ(\tilde A)$ will be used instead of $κ(A)$. Thus, it is of importance to measure the impact of noise on the condition number. In this paper, we focus on the case when the noise is random. We introduce the notion of regional stability, via which we design a new framework to estimate the perturbation of the extremal singular values and the condition number of a matrix. Our framework allows us to bound the perturbation of singular values through the perturbation of singular spaces. We then bound the latter using a novel contour analysis argument, which, as a co-product, provides an improved version of the classical Davis-Kahan theorem in many settings. Our new estimates concerning the least singular value $σ_n(A)$ complement well-known results in this area, and are more favorable in the case when the ground matrix $A$ is large compared to the noise matrix $E$.

math.NA↗
arXiv2026

Stabilizing the Rayleigh--Ritz procedure by randomization

Extracting approximate eigenpairs from a prescribed subspace is of fundamental importance in eigenvalue computation. While projecting the target eigenvector onto the subspace yields satisfactory accuracy, extracting an approximate eigenpair that attains a comparable convergence rate has remained a long-standing open problem. Although the standard Rayleigh--Ritz procedure is widely used for this purpose, it may suffer from deteriorated convergence of Ritz values and may even fail to produce convergent Ritz vectors. In this paper, we address this long-standing open problem by introducing a randomized Rayleigh--Ritz procedure whose output converges at a rate similar to the ideal projection. Our analysis requires only the simplicity of the target eigenvalue and extends naturally to nonlinear eigenvalue problems.

math.NA↗
arXiv2026

Nonconforming virtual element method for the Monge-Ampère equation

In this article, we develop the $C^1$-nonconforming $C^0$-conforming virtual element method (VEM) for the vanishing moment approximation of the second-order fully nonlinear Monge-Ampère equation in two dimensions. In the vanishing moment equation an artificial biharmonic term is introduced which produces a quasilinear fourth order problem. We derive optimal a priori error estimates in the $H^2$-, $H^1$- and $L^2$-norms for the virtual element method, and show the existence and uniqueness of the virtual element solution. We perform several numerical experiments to validate the convergence rate of the error with respect to the mesh size.

math.NA↗
arXiv2026

Optimal Energy-Norm Convergence for the Dynamic Diffusion Finite Element Method

We revisit the nonlinear two-scale Dynamic Diffusion (DD) finite element formulation mathematically analyzed by Santos et al. (2021) for stationary advection--diffusion--reaction problems. We establish an explicit local Lipschitz estimate for the artificial diffusivity, with a constant of order $h_T$, and use it to prove uniqueness of the discrete solution for sufficiently fine meshes. By separating the approximation error in the energy norm from the contribution associated with artificial diffusion, we derive an optimal first-order a priori energy-norm estimate for continuous piecewise linear finite elements enriched with simplex bubble functions. We further prove that the square root of the nonlinear artificial dissipation is $O(h)$. Consequently, the combined energy-error and artificial-dissipation measure also converges with first order, sharpening the previously available $O(h^{1/2})$ estimate. A smooth manufactured problem, considered with and without reaction, corroborates the predicted convergence rates. A second, strongly advection-dominated problem with sharp outflow layers illustrates the stabilizing behavior of the DD formulation.

math.NA↗
arXiv2026

A uniform elliptic reduction, an order-matching criterion, and precision benchmarks for the strong-coupling Birman-Schwinger analysis of the lattice three-boson trimer

We present a rigorous strong-coupling Birman-Schwinger analysis of the three-boson lattice Schroedinger operator on Z^2 at the exceptional quasimomentum K = pi. First, we provide an exact closed-form benchmark for the fiber Fredholm determinant, valid for every quasimomentum K, obtained via a uniform elliptic reduction. Second, we formulate and prove a general order-matching criterion determining whether a leading-order Fredholm determinant asymptotic, with relative error O(1/mu), suffices to fix the constant-order additive energy correction, or if the next-order refinement is required. Applying the criterion to the formal branch z = -2mu + d, we identify an algebraic crossing -2mu + 6 + 8/mu + O(mu^{-2}), but demonstrate that this crossing does not correspond to a true eigenvalue of the full Hamiltonian. The actual ground state obeys the rigorous variational bounds -3mu <= z_1^{pi,s}(mu) <= -3mu + 6, so that z_1^{pi,s}(mu) = -3mu + O(1), the same leading branch as at K = 0; direct finite-volume diagonalisation confirms the refined asymptotic -3mu + 6 + O(mu^{-1}) and spectral gap 2mu - 2 + O(mu^{-1}). We independently confirm that the known K = 0 constant C approximately 3.96458 requires no analogous refinement. Finally, we compare the asymptotic precision levels achieved across recent lattice few-body models and draw a structural parallel with the parity-based classification of topological band insulators at time-reversal-invariant momenta.

math-ph↗
arXiv2026

Eigenvalues and eigenfunctions of the fractional Laplacian on the interval

We prove a three-term asymptotic formula for the eigenvalues of the fractional Laplacian on the bounded interval $(-1,1)$. This improves the eigenvalue asymptotics of Kulczycki--Kwaśnicki--Małecki--Stós and Kwaśnicki, and confirms the conjectural $O_α(n^{-2})$ remainder suggested by the numerical simulations of Kaleta--Kwaśnicki--Małecki. Moreover, we prove that the normalized eigenfunctions are bounded uniformly in the eigenvalue index $n$ and the fractional order $α$. This settles the conjecture proposed by Kwaśnicki through numerical experiments. Furthermore, we prove that the $n$-th eigenfunction has exactly $n-1$ zeros in the interval $(-1,1)$ and every zero is simple, and hence there are exactly $n$ nodal domains. A key ingredient in the proof is an explicit representation of the eigenfunction.

math.CA↗
arXiv2026

Computing statistical Euler limits of the Navier--Stokes equations in three dimensions

We develop a Monte Carlo lattice Boltzmann method to compute statistical solutions to the three-dimensional incompressible Navier--Stokes and Euler equations. Entropic space-time adaptive relaxation of the higher order kinetic moments yields stable numerical solutions with decreasing viscosity. We provide a convergence analysis that is conditional on four explicitly stated assumptions regarding the discrete dynamics. Under diffusive scaling, the laws of the discrete ensemble converge along a subsequence to a limit satisfying the Foias--Temam Liouville formulation of the Navier--Stokes equations. Consequently, provided the structure function scaling holds uniformly, the vanishing viscosity limit of these measures satisfies the multi-point statistical Euler hierarchy of Fjordholm, Mishra, and Weber. The limit measures inherit the known weak-strong uniqueness principle on the interval of existence of a strong Euler solution. Under explicit scaling assumptions, a Kuznetsov-type argument yields a fractional 1-Wasserstein convergence rate. We present three-dimensional computations of time-dependent statistical solutions along the inviscid limit of the incompressible Navier--Stokes equations together with convergence measurements in the Wasserstein metric. Numerical experiments on a randomized Taylor--Green vortex with 24-dimensional initial uncertainty recover Kolmogorov's K41 scaling for energy spectra and structure functions, exhibit the failure of pathwise strong convergence, and yield Wasserstein convergence rates of about $0.5$ at the onset of turbulence. Finally, error measurements with respect to spectral hyperviscosity computations indicate that the computed limit measure is independent of the numerical regularization.

math.NA↗
arXiv2026

A Local Discontinuous Galerkin method for the modified Camassa--Holm equation

In this paper, we propose a local discontinuous Galerkin (LDG) method for the modified Camassa-Holm (mCH) equation that contains cubic nonlinearity and high-order derivative terms. Energy conservation and stability are obtained using the conservative and dissipative fluxes, respectively. The error estimate of the semi-discrete scheme is also established. Numerical examples verify that our theoretical findings are sharp and the proposed LDG method is capable of capturing the peakon solution of the mCH equation.

math.NA↗
arXiv2026

Finite-Precision Symmetric Krylov Methods: Exact Rounding Examples, Block Paige Identities,and a Variable-Block Lanczos Model

Short-recurrence Krylov methods that are equivalent in exact arithmetic often diverge in floating-point arithmetic. To illustrate this, we provide an exactly representable two-cycle for steepest descent with a recursively updated residual. A complementary convergence theorem gives a sufficient condition under which the stored residual decreases geometrically. We then show that a second positive definite family yields different outcomes for a Hestenes--Stiefel Conjugate Gradient (CG) implementation and a direct Lanczos--Galerkin approach. CG finds the exact solution after four updates, whereas the two-step projected system becomes inconsistent. Under stated perturbation and transfer hypotheses, a common spectral enclosure gives comparable convergence bounds. For a dense, left-to-right evaluation order, we prove a sufficient precision bound for a prescribed backward error within $n$ updates for an $n\times n$ matrix, together with a computable stopping test and specified exponent-range assumptions. We use polynomial estimates and numerical experiments to examine the trade-off between working precision and the number of CG iterations needed to achieve a prescribed backward error. We also compare results on inexact matrix-vector products and preconditioning with the frameworks of Paige and Greenbaum. For block Lanczos, we analyze Householder orthogonalization and singular-value truncation as the block size changes. Under componentwise and normwise error bounds, the computed coefficients satisfy a controlled local recurrence and an exact block Lanczos relation for a nearby symmetric problem in a larger space. A block form of Paige's identity bounds the overlap with a Ritz vector along its residual coordinate direction. An inter-block recurrence describes the evolution of overlap, and a Gram-matrix argument gives a count of additional nearby Ritz values.

math.NA↗
Compare source metadata on this page
WorkPublishedSource identifierSource
Weakly chained matrices, policy iteration, and impulse control2026-09-081510.03928arxiv
Fast Engset computation2026-09-081511.00291arxiv
A fast and stable test to check if a weakly diagonally dominant matrix is a nonsingular M-matrix2026-09-081701.06951arxiv
Convergence of implicit schemes for Hamilton-Jacobi-Bellman quasi-variational inequalities2026-09-081705.02922arxiv
High order Bellman equations and weakly chained diagonally dominant tensors2026-09-081803.08870arxiv
Data sparse multilevel covariance estimation in optimal complexity2026-09-082301.11992arxiv
Sampling recovery in Bochner spaces and applications to parametric PDEs2026-09-082409.05050arxiv
Towards provable energy-stable overset grid methods using sub-cell summation-by-parts operators2026-09-082509.21442arxiv
Inverse obstacle scattering regularized by the tangent-point energy2026-09-082512.14590arxiv
Eigenvalue stability and new perturbation bounds for the extremal eigenvalues of a matrix2026-09-082603.19758arxiv
Stabilizing the Rayleigh--Ritz procedure by randomization2026-09-082604.01037arxiv
Nonconforming virtual element method for the Monge-Ampère equation2026-09-082604.22589arxiv
Optimal Energy-Norm Convergence for the Dynamic Diffusion Finite Element Method2026-09-082608.09505arxiv
A uniform elliptic reduction, an order-matching criterion, and precision benchmarks for the strong-coupling Birman-Schwinger analysis of the lattice three-boson trimer2026-09-082608.11848arxiv
Eigenvalues and eigenfunctions of the fractional Laplacian on the interval2026-09-082608.23457arxiv
Computing statistical Euler limits of the Navier--Stokes equations in three dimensions2026-09-082608.23786arxiv
A Local Discontinuous Galerkin method for the modified Camassa--Holm equation2026-09-082608.28077arxiv
Finite-Precision Symmetric Krylov Methods: Exact Rounding Examples, Block Paige Identities,and a Variable-Block Lanczos Model2026-09-082609.08066arxiv

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