arXiv Science⌕ Search

subject

cs.NA

cs.NA: explore 425 source-linked works published from 2015 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

A Stress-Based Estimator for Pressure and Stress Recovery from Velocity Measurements

Non-invasive pressure field estimation from velocity measurements is a longstanding engineering problem. We propose, analyze, and test a pressure-recovery method that computes a full stress field from velocity measurements, and leaves the pressure estimation as a cheap post-processing step. The method relies on a stress-velocity first order formulation of the Navier-Stokes equations, and we show that the formulation accounts for deviations from incompressibility in the measured velocity field by construction. In addition, we theoretically establish the convergence of the finite element (FE) approximation scheme, the stability of the stress recovery with respect to finite-resolution velocity measurements, and then validate this theory numerically. Our results show that the proposed estimator is robust in convective flow regimes and remains accurate at reduced spatial resolution, improving upon state-of-the-art pressure-recovery strategies.

math.NA↗
arXiv2026

Constructive Tchakaloff results and well-conditioned quadrature through randomized least squares

We consider using randomized least squares to construct quadrature rules exact on a subspace of functions. Using new conditions that we call relative admissibility and reference weight concentration, we establish both that the quadrature weights from such a procedure concentrate close to their asymptotic values with prescribed and arbitrarily large probability, and this in turn provides useful finite-sample probabilistic bounds on the stability of the resulting quadrature rules for very general classes of possibly complex-valued functions. Our analysis both significantly generalizes the existing analysis of randomized least squares quadrature construction, and provides new bounds on stability for these rules. These results specialize to existence results for positive quadrature rules, when such rules can be theoretically expected. Because our procedures are formally algorithmic, our analysis is a substantive advance toward computationally constructive generalized Tchakaloff theorems.

math.NA↗
arXiv2024

A new randomized CholeskyQR based on LU decomposition with partial pivoting

CholeskyQR has received considerable attention in recent years for its efficiency and simplicity in computing QR decomposition of the tall-skinny $X \in \mathbb{R}^{m\times n}$ with $m \ge n$ and $\mbox{rank}(X)=n$. Leveraging matrix sketching from randomized linear algebra, randomized CholeskyQR (RCholeskyQR) has been proposed to accelerate the computation by reducing the dimension of the problems. In this work, we propose RCLUPP, a new randomized CholeskyQR-type algorithm based on LU decomposition with partial pivoting (LUP decomposition). By taking LUP decomposition and the thin HouseholderQR on the sketched matrix, RCLUPP significantly improves the applicability and efficiency compared with LU-CholeskyQR2 (LC2). We present a rigorous rounding error analysis of RCLUPP, with a sharper bound of residual compared with those in the existing works. Comparative studies demonstrate that RCLUPP outperforms CholeskyQR2, Shifted CholeskyQR3 (SCholeskyQR3), and LC2 in terms of applicability while maintaining competitive accuracy and efficiency. A variant, RCLUPPr, performs LUP decomposition directly on $X \in \mathbb{R}^{m\times n}$, offering exceptional robustness and numerical stability for the ill-conditioned scenarios, which exceeds that of RCLUPP and RCholeskyQR. Numerical experiments on the synthetic and real-world matrices validate the theoretical results.

math.NA↗
arXiv2025

Geometric multiscale analysis via nonstationary subdivision schemes

Pyramid transforms are constructive methods for analyzing sequences in a multiscale fashion. Traditionally, these transforms rely on stationary upsampling and downsampling operations. In this paper, we propose employing nonstationary subdivision schemes as upsampling operators that vary with the refinement level. These schemes offer greater flexibility, enabling the development of more expressive multiscale transforms, including geometric multiscale analysis. We establish the fundamental properties of the resulting nonstationary transforms, namely the decay of their detail coefficients and the stability of both the decomposition and the reconstruction, and we demonstrate their effectiveness in capturing and analyzing geometric features. In particular, we apply the framework to assess the consistency of planar samples with a circular shape and to detect localized geometric anomalies, including a study of circles generated by a neural network. The accompanying code is publicly available.

math.NA↗
arXiv2025

A Semi-Implicit Variational Multiscale Formulation for the Incompressible Navier-Stokes Equations via Exact Adjoint Linearization

A semi-implicit, residual-based variational multiscale (VMS) formulation is developed for the incompressible Navier-Stokes equations. The convection term is linearized using an extrapolated (Oseen-type) convecting velocity, producing a linear advection operator whose adjoint can be written exactly. Because of this exact adjoint, unresolved-scale contributions enter the weak form without spatial derivatives of the fine-scale velocity, thereby eliminating the case-by-case adjustments that often accompany nonlinear residual-based VMS implementations. The formulation is presented for a generalized linear convection operator encompassing the convective, skew-symmetric, and divergence forms. Since the discrete method is linear by construction and monolithic for velocity and pressure, each time step requires only one linear solve, reducing wall-clock time by a factor of $2$ to $5$ relative to fully implicit nonlinear formulations while maintaining comparable accuracy. Temporal convergence is verified, and validation is performed on the lid-driven cavity, flow past a cylinder, turbulent channel flow, and flow over a NACA0012 airfoil at a high Reynolds number, demonstrating the efficiency of the proposed approach on problems of practical scale.

physics.flu-dyn↗
arXiv2026

Solving the Offline and Online Min-Max Problem of Non-smooth Submodular-Concave Functions: A Zeroth-Order Approach

We consider max-min and min-max problems with objective functions that are possibly non-smooth, submodular with respect to the minimiser and concave with respect to the maximiser. We investigate the performance of a zeroth-order method applied to this problem. The method is based on the subgradient of the Lov\'asz extension of the objective function with respect to the minimiser and based on Gaussian smoothing to estimate the smoothed function gradient with respect to the maximiser. In expectation sense, we prove the convergence of the algorithm to an $\epsilon$-saddle point in the offline case. Moreover, we show that, in the expectation sense, in the online setting, the algorithm achieves $O(\sqrt{N(1+\bar{P}_N)})$ online duality gap, where $N$ is the number of iterations and $\bar{P}_N$ is the path length of the sequence of optimal decisions. The complexity analysis and hyperparameter selection are presented for all the cases. The theoretical results are illustrated via numerical examples.

math.OC↗
arXiv2026

Adaptive Randomized Pivoting for Tensor Cross Approximation in the T-Product Framework

This paper studies extensions of adaptive randomized pivoting (ARP), recently introduced for matrix column subset selection, to tensors in the t-product framework. We propose two constructions. ARP-T-CUR applies matrix ARP-cross at the nonredundant Fourier frequencies and uses conjugate symmetry to preserve real-valued tensors. Assuming that the selected intersections are nonsingular almost surely, the matrix theory gives a direct expected-error bound for this Fourier-slicewise approximation. T-ARP instead selects common lateral and horizontal slices, with the same indices used at every Fourier frequency. This common-index constraint requires a new analysis. Under frequency-alignment and frequency-wise rank-growth assumptions, we prove an expected-error bound and recover the matrix ARP factor $r+1$ when the frequency-wise sampling distributions are aligned. We also derive bounds for tensor cross approximation and t-DEIM. The numerical experiments show that both proposed methods give accurate tensor approximations and perform favorably against the considered slice-selection baselines. A separate full-enumeration experiment verifies the assumptions and the expected-error bound for common-index T-ARP.

math.NA↗
arXiv2026

Smallest Singular Value Estimates for Nonuniform Fourier Matrices via Periodic Nonuniform Sampling

We study the smallest singular value of nonuniform Fourier matrices in two settings: clustered nodes and perturbations of an equispaced grid. By reducing the problem to spectral norm estimates for periodic nonuniform interpolation matrices, we obtain nearly optimal bounds in both cases. For clustered nodes, we derive the first local separation condition in which each required gap depends only on the sizes of the two neighboring clusters. For perturbations with the bound \(1/4\leq L<1/2\), our result confirms the conjecture of Austin and Trefethen on the \(2\)-norm Lebesgue constant up to a logarithmic factor.

math.NA↗
arXiv2026

A Complete Resolution of Forsythe's Conjecture for Restarted Conjugate Gradients

Forsythe's conjecture, published in 1968, asserts that for each restart length $s$, every exact-arithmetic restarted conjugate-gradient iteration on a real symmetric positive definite problem either terminates or has normalised residuals that converge separately along the even and odd restart subsequences. Apart from the classical steepest-descent case, this asymptotic question remained unresolved in full generality for nearly six decades. We give a complete classification by restart length in the original finite-dimensional setting and identify a sharp threshold. For $s=2$ and $s=3$, every problem either terminates or has convergent even and odd residual directions. For every $s\ge4$, there is a diagonal positive definite counterexample of dimension $s+4$ which never terminates and whose even residual directions do not converge. Together with Akaike's theorem for $s=1$, this shows that the conjectured universal conclusion is true precisely for $s\in\{1,2,3\}$ and false for every $s\ge4$. The positive results follow from a degree-independent double-orthogonality identity and an analysis of the low-degree fixed-point sets. At restart length four, rational interval arithmetic and Sturm sequences certify a transverse Hopf point of the leading vector field of the rescaled squared-weight map. Analytic periodic-orbit and shadowing arguments yield the counterexample at restart length four, and degree elevation extends the construction to every larger restart length. The classification for all $s\ge2$ is also formally verified in Lean.

math.NA↗
arXiv2026

A Generalized Finite Difference-Based Fragile Points Method for Heat Conduction Problems in Non-Homogeneous Media

This paper presents an enhanced formulation of the Fragile Points Method (FPM), a truly meshless approach for efficiently modeling implicit interfaces in two-dimensional differential equations involving non-homogeneous materials. The proposed framework eliminates the need for specialized numerical integration techniques and provides a systematic mathematical foundation for solving interface problems. Discontinuities in both primary and secondary variables across interfaces are naturally handled through the inherently discontinuous shape functions of FPM. Unlike conventional Galerkin methods, FPM employs simple, local, point-based polynomial trial and test functions constructed via a generalized finite difference approach. These discontinuous functions bypass the continuity requirements of standard Galerkin frameworks. To address the resulting inconsistency due to discontinuities, we incorporate numerical flux corrections inspired by the discontinuous Galerkin method. The proposed method is validated through several benchmark problems, demonstrating its efficiency and robustness.

math.NA↗
arXiv2026

Data Assimilation with Sparse Observations

Data assimilation by nudging (also called CDA) yields exponentially decaying errors and an infinite predictability horizon if the method parameter is large enough and the observations are frequent enough in time and dense enough in space. We consider the complementary case of moderate parameters and sparse and infrequent observations. We prove that assimilation with any data and any(positive) parameter strictly decreases errors and strictly increases the (now finite) predictability horizon.

math.NA↗
arXiv2026

Smoothed Picard Hamiltonian Monte Carlo

We develop a new low-accuracy sampler, called \emph{smoothed Picard Hamiltonian Monte Carlo}, which combines Gaussian smoothing, Picard iteration, and higher-order discretization. For a log-concave target $\pi \propto \exp(-V)$ in dimension $d$ satisfying $0 \prec \alpha I \preceq \nabla^2 V \preceq \beta I$, with condition number $\kappa := \beta/\alpha$, smoothed Picard HMC returns a sample with $\sqrt \alpha\,W_2(\cdot,\pi) \le \varepsilon$ using $\widetilde O(\kappa^2 + \kappa^{7/6} d^{1/6}/\varepsilon^{1/3})$ gradient queries. We also prove stronger $W_q$ bounds, and then develop an algorithmic framework, the recursive warm start generator, to upgrade these $W_q$ bounds to stronger divergence guarantees. This produces a warm start for the proximal bouncy particle sampler, introduced in a companion work, leading to a high-accuracy log-concave sampler with complexity $\widetilde O((\kappa^{7/6} d^{1/6} + \kappa^{1/2} d^{1/4})\mathrm{polylog}(1/\varepsilon))$.

math.ST↗
arXiv2026

Null--Space--Free 6D Spectral Embedding with Local Rayleigh Quotient Recovery for 3D Quasiperiodic Maxwell's Eigenproblems

We develop a numerical framework for three-dimensional quasiperiodic Maxwell eigenvalue problems obtained through a six-dimensional periodic embedding. A projected Bloch--Fourier discretization yields a structured generalized eigenvalue problem with a large gradient-type kernel. Explicit orthonormal bases for the longitudinal and transverse subspaces remove this kernel exactly and reduce the original generalized eigenvalue problem to a null-space-free standard eigenvalue problem containing only the positive spectrum. An explicit inverse representation of the reduced operator avoids nested inner--outer linear solves and leads to an inverse Lanczos method whose main inner computation is a Hermitian positive definite conjugate-gradient solve with condition number bounded by that of the mass matrix; a residual estimate quantifies the effect of inner solves on the inverse Ritz pairs. To recover the computed modes in physical space, the six-dimensional Fourier eigenvectors are reconstructed on a three-dimensional Yee grid by a separated multi-center Taylor expansion, which avoids the dense Fourier-to-grid phase matrix and remains practical when direct dense reconstruction becomes prohibitively expensive. Local weighted Rayleigh quotients provide an independent physical-space validation, and their mass-weighted expectation is proved to equal the cropped Yee Rayleigh quotient under a partition-of-unity condition. Numerical experiments confirm the accuracy and computational effectiveness of the proposed framework and its physical-space recovery of three-dimensional quasiperiodic Maxwell modes.

math.NA↗
arXiv2026

Uniform Inf-Sup Norm Equivalence and Robust Operator Preconditioning for Stokes Flow in tight domains with Periodic Pillars

Many microfluidic and porous-media computations reduce to the same core task: solving a Stokes saddle-point system on a domain perforated by a dense periodic array of pillars, as in deterministic lateral displacement (DLD) particle sorters. After rescaling the device to unit size, the geometry is controlled by a single dimensionless parameter $m$---the number of pillars across the device, equal to the inverse period. In realistic devices $m$ reaches the hundreds or thousands, and as it grows the Stokes inf-sup constant decays like $m^{-1}$, the pressure Schur complement becomes severely ill-conditioned, and standard block solvers slow down in proportion to the pillar density. We remove this bottleneck by identifying the pressure norm that the divergence operator induces on such geometries. For periodic pillar arrays in the proportional-hole regime, we prove that this inf-sup norm is uniformly equivalent to the $L^2+\sigma_\epsilon H^1$ $K$-functional norm at the pore scale $\sigma_\epsilon\asymp\epsilon$, with constants independent of the period, the pillar count $m$, and the mesh size $h$. The equivalence identifies the perforated Stokes problem with a Brinkman problem at a homogenized permeability, and its Riesz map reduces to a pressure-mass inverse plus a scaled stiffness inverse. Combined with operator preconditioning, this yields a block preconditioner built from standard algebraic-multigrid solves whose iteration count is essentially independent of both mesh size and pillar density. Two-dimensional Taylor--Hood experiments confirm the predicted robustness in mesh refinement, pillar density, geometric scale, close packing, and time step.

math.NA↗
arXiv2026

Limiter-based fully-discrete entropy stable explicit DG schemes for ideal MHD equations

We propose a class of high-order fully-discrete entropy stable (ES) explicit discontinuous Galerkin (DG) solvers for the compressible ideal magnetohydrodynamics (MHD) equations. Our main theoretical contribution is the introduction of a novel generalized-path-decomposition framework for MHD equations in Godunov's symmetric form. By innovatively interpreting the interior volume integral of the non-conservative source term as a path integral along a generalized path constructed by the solution polynomial, we establish the weak cell entropy inequality for the fully-discrete DG schemes. This overarching framework also accommodates other existing DG solvers based on the symmetric form. Combined with a carefully designed ES limiter, the proposed scheme satisfies the genuine fully-discrete cell entropy inequality. With this property, a Lax--Wendroff-type theorem can be obtained to show that the solution limit satisfies the entropy condition. Finally, the scheme is naturally compatible with the locally divergence-free space. Extensive numerical experiments demonstrate the scheme's low numerical dissipation and strong robustness.

math.NA↗
arXiv2026

Formation of grain boundaries in ductile single crystals under plane-strain simple shear: a block-coordinate finite element method

Large plastic deformation can drive an initially uniform single crystal to spontaneously subdivide into misoriented grains separated by thin dislocation walls -- a pattern-forming instability rooted in the loss of convexity of the crystal's elastic energy at large strain. We study this phenomenon for a ductile crystal in plane-strain simple shear within continuum dislocation theory, using a polyconvex (Ciarlet--Geymonat) elastic energy that guarantees existence of minimizers for the coupled deformation--slip problem. Minimizing over the plastic slip yields a condensed energy of double-well form whose non-quasiconvexity favours a lamellar microstructure; the gradient of the geometrically necessary dislocation density regularizes it, giving the grain boundaries a finite thickness and energy as functions of the misorientation angle. A block-coordinate finite element scheme -- alternating a convex non-smooth solve for the slip with a Levenberg-regularized Newton solve for the deformation -- resolves this microstructure numerically and detects its spontaneous onset, reproducing the lamellar grain structure in agreement with the closed-form analysis.

physics.class-ph↗
arXiv2026

A covariance-based reduced-order framework for solving acoustic scattering problems

This paper presents a physics-aware reduced-order method (ROM) for the efficient computation of wave-scattering problems. Standard model order reduction techniques, typically treating scattering as generic parameterized systems, frequently overlook the underlying physical structure, limiting their effectiveness in practice. To address this limitation, we propose an algorithmic framework that utilizes the intrinsic low-rank structure of the induced contrast source density. By modeling the incident wave as a random variable governed by a specified prior probability measure, we formulate the contrast source as a spatial random field whose covariance function captures essential spatial correlation and physical interactions. The reduced-order basis is then constructed via the Karhunen-Lo\`eve (KL) expansion, effectively extracting the dominant features from the scattering process to resolve multiple scattering scenarios. A central algorithmic contribution is the efficient reconstruction of the covariance matrix for arbitrary scatterer geometries and specified incident wave priors. To circumvent the prohibitive computational cost of assembling high-fidelity covariance matrices, we introduce a non-intrusive, physics-informed graph neural network (GNN) surrogate to learn the complex mapping from scatterer geometry to the source correlation kernel, enabling a highly efficient offline-online computational paradigm suitable for large-scale scattering configurations. Extensive numerical experiments demonstrate that the proposed framework achieves robust computational acceleration over full-order models without sacrificing accuracy.

math.NA↗
Compare source metadata on this page
WorkPublishedSource identifierSource
A Stress-Based Estimator for Pressure and Stress Recovery from Velocity Measurements2026-09-082609.09484arxiv
Constructive Tchakaloff results and well-conditioned quadrature through randomized least squares2026-09-082609.09506arxiv
A new randomized CholeskyQR based on LU decomposition with partial pivoting2024-12-092412.06551arxiv
Geometric multiscale analysis via nonstationary subdivision schemes2025-07-132507.09668arxiv
A Semi-Implicit Variational Multiscale Formulation for the Incompressible Navier-Stokes Equations via Exact Adjoint Linearization2025-12-252512.21773arxiv
Solving the Offline and Online Min-Max Problem of Non-smooth Submodular-Concave Functions: A Zeroth-Order Approach2026-01-292601.21243arxiv
Bounds on the determinant of an exponential matrix2026-03-202603.19900arxiv
Adaptive Randomized Pivoting for Tensor Cross Approximation in the T-Product Framework2026-06-252606.26688arxiv
Smallest Singular Value Estimates for Nonuniform Fourier Matrices via Periodic Nonuniform Sampling2026-08-222608.21960arxiv
A Complete Resolution of Forsythe's Conjecture for Restarted Conjugate Gradients2026-09-042609.04659arxiv
A Generalized Finite Difference-Based Fragile Points Method for Heat Conduction Problems in Non-Homogeneous Media2026-09-072609.06891arxiv
Data Assimilation with Sparse Observations2026-09-072609.06901arxiv
Smoothed Picard Hamiltonian Monte Carlo2026-09-072609.06906arxiv
Null--Space--Free 6D Spectral Embedding with Local Rayleigh Quotient Recovery for 3D Quasiperiodic Maxwell's Eigenproblems2026-09-072609.06965arxiv
Uniform Inf-Sup Norm Equivalence and Robust Operator Preconditioning for Stokes Flow in tight domains with Periodic Pillars2026-09-072609.06999arxiv
Limiter-based fully-discrete entropy stable explicit DG schemes for ideal MHD equations2026-09-072609.07005arxiv
Formation of grain boundaries in ductile single crystals under plane-strain simple shear: a block-coordinate finite element method2026-09-072609.07016arxiv
A covariance-based reduced-order framework for solving acoustic scattering problems2026-09-072609.07083arxiv

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