SEARCH · arXiv Science

Results for “math.NA”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

606 records · Page 2Linked to original sources

arXiv2026

A variant of the block preconditioner for indefinite complex symmetric linear systems

In this paper, we propose an efficient preconditioner for solving indefinite complex symmetric linear systems within a block preconditioning framework. We analyze the convergence of the corresponding iterative method and investigate several spectral properties of the preconditioned matrix, including eigenvalue distributions and eigenvector structures. The new preconditioner is used to accelerate the convergence of the flexible version of GMRES. Numerical experiments are presented to illustrate the effectiveness of the proposed preconditioner, and comparisons with existing block preconditioners demonstrate its superior performance.

math.NA↗

arXiv2026

Accelerated primal--dual dynamics and algorithms for convex optimization with nonlinear inequality constraints

We consider convex optimization with nonlinear inequality constraints and develop a primal--dual multiplier framework that is consistent in continuous and discrete time. We first propose continuous-time dynamics with Nesterov-type vanishing damping $α/t$, together with suitable extrapolations of the dual variable and the nonlinear constraint mapping. Under convexity assumptions and $α\geq3$, we establish $\mathcal O(t^{-2})$ convergence rates for both nonlinear feasibility and the objective residual. We then derive an inexact accelerated primal--dual algorithm through a compatible discretization of a perturbed version of the dynamics. For composite convex objectives, a weighted summability condition on the primal inexactness yields the $\mathcal O(k^{-2})$ rates for feasibility and the objective residual, thereby matching the accelerated rates of their continuous-time counterparts. To the best of our knowledge, this is the first Nesterov-type primal--dual multiplier framework for convex optimization with nonlinear inequality constraints.

math.OC↗

arXiv2026

Mathematical and numerical analysis of quantum signal processing

Quantum signal processing (QSP) provides a representation of scalar polynomials of degree $d$ as products of matrices in $\mathrm{SU}(2)$, parameterized by $(d+1)$ real numbers known as phase factors. QSP is the mathematical foundation of quantum singular value transformation (QSVT), which is often regarded as one of the most important quantum algorithms of the past decade, with a wide range of applications in scientific computing, from Hamiltonian simulation to solving linear systems of equations and eigenvalue problems. In this article we survey recent advances in the mathematical and numerical analysis of QSP. In particular, we focus on its generalization beyond polynomials, the computational complexity of algorithms for phase factor evaluation, and the numerical stability of such algorithms. The resolution to some of these problems relies on an unexpected interplay between QSP, nonlinear Fourier analysis on $\mathrm{SU}(2)$, fast polynomial multiplications, and Gaussian elimination for matrices with displacement structure.

quant-ph↗

arXiv2026

GraHTP: A Provable Newton-like Algorithm for Sparse Phase Retrieval

This paper investigates the sparse phase retrieval problem, which aims to recover a sparse signal from a system of quadratic measurements. In this work, we propose a novel non-convex algorithm, termed Gradient Hard Thresholding Pursuit (GraHTP), for sparse phase retrieval with complex sensing vectors. GraHTP is theoretically provable and exhibits high efficiency, achieving a quadratic convergence rate after a finite number of iterations, while maintaining low computational complexity per iteration. Numerical experiments further demonstrate GraHTP's superior performance compared to state-of-the-art algorithms.

math.NA↗

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

An Immersed Interface Method for Parabolic Interface Problems with Nonlinear Jump Conditions

We develop an immersed interface finite difference method for a one-dimensional nonlinear parabolic interface problem with jump condition \[ [u]_α=λu^+u^-. \] The method combines a Crank--Nicolson immersed interface discretization with an $s$-parameter reduction of the nonlinear interface condition, thereby reducing the nonlinear coupling to a scalar quadratic equation. We also discuss two different viewpoints for combining Newton iteration with immersed interface discretization, namely the IIM--Newton and Newton--IIM formulations. Numerical experiments are presented to illustrate the behavior and accuracy of the method.

math.NA↗

arXiv2026

Optimal error estimates for the half-way bounce-back lattice Boltzmann method for the Stokes equations

We give a mathematical proof of the optimal convergence rates for the D2Q9 BGK lattice Boltzmann method with the half-way bounce-back rule for the incompressible Stokes equations in a flat channel. The convergence rates are second-order for the velocity and first-order for the pressure as the lattice spacing $h$ tends to zero, in agreement with formal analyses and numerical experiments, whereas the available rigorous convergence theorems only yield an $O(h^{1/2})$ bound for the velocity error. A key step in the proof is a decomposition of the leading boundary consistency error into macroscopic and kinetic components. These components are absorbed by suitably constructed Stokes and discrete Knudsen layer correctors, respectively. Incorporating these correctors into the prediction function used in previous rigorous analyses, we obtain a refined prediction function with consistency errors of sufficiently high order. Combined with the known weighted $L^2$-stability estimate, this gives the optimal convergence rates.

math.NA↗

arXiv2026

Spectral convergence of random feature method in one dimension

We first prove the spectral convergence of the random feature method (RFM) when used to solve second-order elliptic equations and eigenvalue problems in one dimension, provided that the solutions belong to Gevrey classes or Sobolev spaces. Second, we derive the convergence rate of RFM when integrated with the Partition of Unity Method (PUM) in terms of the patch size. Finally, we show that the singular values of the resulting random feature matrix decay exponentially, leading to exponential growth of the condition number. We also prove that PUM can mitigate this excessive singular-value decay.

math.NA↗

arXiv2026

Conformal Uncertainty Quantification Guarantees for Neural Operators

Neural operators provide fast surrogate models for approximating operators between function spaces, but their predictions often lack uncertainty quantification. We develop a split conformal framework to guarantee that a calibrated pointwise band around the neural operator output contains the true solution on at least a $1-γ$ fraction of the evaluation domain, with probability at least $1-α$ over test and calibration inputs, where $α,γ\in(0,1)$. Our method reduces a normalized residual field to its spatial $(1-γ)$-quantile and computes a scaling factor using a held-out calibration dataset. We prove marginal coverage guarantees for measurable residual fields defined on arbitrary probability spaces, covering both continuum domains and fixed discretizations. Under mild assumptions on the data distribution, we show that the coverage conditional on the calibration set follows a Beta distribution, which we verify with numerical experiments on Darcy flow and Navier--Stokes equations, where our calibration yields bands consistently tighter than existing corrections while retaining the target coverage.

math.NA↗

arXiv2026

Randomized inexact block triangular preconditioners for double saddle-point systems in PDE-constrained optimization

We develop a new class of inexact block triangular preconditioners for double saddle-point systems arising from PDE-constrained optimization. The proposed preconditioners are constructed through matrix factorization techniques while preserving the inherent block structure of the original systems. A comprehensive spectral analysis of the preconditioned matrices is provided, yielding explicit bounds for both real and nonreal eigenvalues. To enable efficient construction of the inexact preconditioners, randomized strategies are introduced to select the required subblocks. We establish high-probability bounds for the expected approximation error, with the error estimates explicitly characterized in terms of the eigenvalues of the associated matrices. Numerical experiments demonstrate the effectiveness, robustness, and scalability of the proposed preconditioners, and validate the efficiency of the randomized construction strategies.

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

Greedy sampling designs via reduced basis methods: optimal recovery in the uniform norm

We study optimal sampling recovery in reproducing kernel Hilbert spaces (RKHS) in the uniform norm. For every RKHS with bounded kernel, we establish new comparisons between linear sampling widths and Gelfand widths that overcome the known square-root gap, without requiring a measure or a Christoffel-type condition. Our bounds rely on nested sampling designs obtained by kernel interpolation at (weak) P-greedy points. Under additional (polynomial) decay assumptions the decay rate of the Gelfand widths directly transfers to the sampling widths. With either a logarithmic oversampling or passing to the square root of the Gelfand widths we obtain a direct comparison (requiring no decay assumption) between them. This is particularly effective for super-polynomial decay, such as in Paley-Wiener spaces. Our results follow from representations of both widths in terms of kernel translates and yield, in the opposite direction, a new existence result for a sharp reduced basis selection. Numerical experiments for Legendre, mixed-Sobolev, and Paley-Wiener kernels illustrate our findings.

math.NA↗

arXiv2026

32-point DFT Approximations Based on Minimal Frobenius Error and DFT Symmetries

This work introduces low-complexity, multiplierless approximations for the 32-point discrete Fourier transform. The proposed methods are obtained by minimizing the Frobenius error compared against the DFT matrix over a set of trivial multipliers. A row-wise, symmetry-constrained parameterization is employed to reduce the search space size, rendering the task computationally tractable. The resulting approximations could outperform the reference method in the literature according to energy-based error measurements. A sparse matrix factorization is provided for efficient computation; the arithmetic costs are 152 real additions and 34 bit-shifts only.

eess.SP↗

arXiv2026

Variation Spaces for Encoder--Decoder Neural Operators: Approximation and Generalization

Inspired by the function-space theory of neural networks, we formulate and analyze a variation space for nonlinear operators between Hilbert spaces, defined through vector-valued Borel measures of bounded variation. We characterize its unit ball as the closed convex hull of a vector-valued single-neuron dictionary in Bochner spaces. For the ReLU activation, the bounded linear operators in this space are precisely the Schatten-$1$ operators, with equivalent norms. For operators in this space, we establish encoder--decoder approximation bounds in the Bochner $L^q$-norm, where the error decomposes into input and output encoding errors and a finite-width term of order $N^{-1/2}$. Under sub-Gaussian assumptions on the input and noise, we further derive high-probability generalization bounds for empirical least squares over path-norm-constrained encoder--decoder networks; the finite-sample contribution to the squared prediction error is of order $K^{-1/2}$ up to logarithmic factors. The finite-width and finite-sample constants are independent of the encoding dimensions and bases, with the latter also independent of the network width. When the encoding errors decay algebraically, these bounds yield algebraic approximation and learning rates, in contrast to the complexity barriers for Lipschitz and Fréchet differentiable operator classes.

stat.ML↗

arXiv2026

An improved estimate of the intermediate internal energy in the energy-consistent HLLD scheme

The robustness of approximate Riemann solutions has been a crucial topic in computational magnetohydrodynamics, from both theoretical and practical perspectives. Recently, the widely used HLLD approximate Riemann solution was revised, becoming significantly more robust under strong magnetic fields. Yet, simplifications were needed as the compressible slow magnetoacoustic mode is not included in the HLLD scheme, and as a result non-physical density distribution has been found when having strong slow shocks. In this note, a simple fix is introduced for the estimated intermediate internal energy, providing robust results in several representative test cases, preserving pressure-positivity when the magnetic field is enhanced by a factor of 1000.

math.NA↗

arXiv2026

Feasible approximation of matching equilibria for large-scale matching for teams problems

We propose a numerical algorithm for computing feasible and approximately optimal solutions of the matching for teams problem. Specifically, we introduce the notion of approximate matching equilibrium as a feasible approximation of a matching equilibrium with relaxed rationality, and we show that a true equilibrium is recovered in the limit of a sequence of approximate matching equilibria with sub-optimality approaching 0. In our approximation scheme, we parametrize the so-called transfer functions, and we show that tackling the resulting parametric primal and dual optimization problems yields two approximate matching equilibria as well as provable and computable lower and upper bounds for the optimal social welfare. Under a flexible Euclidean setting, we show that the approximation error of our scheme can be controlled to be arbitrarily close to 0, we derive an explicit computational complexity bound, and we develop an algorithm for computing approximate matching equilibria that is efficient for large-scale problems involving a large number of agent populations. We study three problems in our numerical experiments: a retail business problem, the Wasserstein barycenter problem, and a large-scale problem involving up to 1000 agent populations. We show that the proposed algorithm can produce nearly optimal approximate matching equilibria to provide quantitative managerial insights for policymakers, and that the computed sub-optimality estimates are much less conservative than theoretical estimates.

math.OC↗

arXiv2026

Asymptotic behavior of Eckhoff's method for convergence acceleration of Dirac eigenfunction expansions

The current paper considers the problem of recovering a vector-function on $[-1,1]$ from a limited number of coefficients of its expansion into a series of eigenfunctions of a one-dimensional Dirac system. The Krylov--Lanczos--Eckhoff--Gottlieb acceleration method is examined in the situation when the boundary values it requires have to be computed from the generalized Fourier coefficients themselves. This leads to a $2q\times 2q$ linear system whose matrix is a block Vandermonde matrix; its determinant and inverse are computed explicitly, and the asymptotic $L_2$-error constant of the method is found, paralleling the classical trigonometric case.

math.NA↗

arXiv2026

A Variational Method for Conformable Fractional Equations Using Rank-One Updates

We make a complete variational treatment of rank-one Proper Generalised Decomposition for separable fractional partial differential equations with conformable derivatives. The setting is Hilbertian, the energy is induced by a symmetric coercive bilinear form, and the residual is placed in the dual space. A greedy rank-one update is obtained by maximizing an energy Rayleigh quotient over the rank-one manifold, followed by an exact line search. An exact one step energy decrease identity is proved, together with geometric decay of the energy error under a weak greedy condition that measures how well the search captures the Riesz representer of the residual. The alternating least squares realization is analyzed at the level of operators, including well posedness of the alternating subproblems, a characterization of stationary points, and monotonicity of the Rayleigh quotient along the inner iteration. Discretizations based on weighted finite elements and on Grünwald type schemes are described in detail, including assembly, boundary conditions, complexity, and memory. Two model problems, a stationary fractional Poisson problem and a space time fractional diffusion problem, are treated from the continuous level down to matrices.

math.NA↗