SEARCH · Searcharxiv

Search Searcharxiv

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.

At least 55 records · Page 3Linked to original sources

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↗

arXiv2026

Third-order Halley-type iterative method with positive and bounded correction function

In this paper, we propose a new one-point iterative method for finding simple roots of nonlinear equations by modifying Halley's method. Its correction function is positive and bounded on $\mathbb{R}$ and matches the local expansion of Halley's correction function near a simple root. The method avoids the singularity and sign reversal of Halley's correction function while retaining at least third-order local convergence. We also establish sufficient conditions for global convergence. Numerical experiments show that the proposed method achieves high convergence success rates and favorable iteration counts over a wide range of initial guesses. Further experiments near the singularity of Halley's correction function demonstrate robust convergence behavior of the proposed method. An application to the van der Waals equation illustrates the effectiveness of the proposed method.

math.NA↗

arXiv2026

Finite difference methods for three kinds of reaction-diffusion equations with free boundaries

This work considers to numerically solve three kinds of reaction-diffusion equations with free boundaries. First, the popular front-fixing method is used to transform the considered free boundary problems into fixed boundary problems. Then, by employing the finite difference method, numerical schemes with $\mathrm{M}$-matrices as their coefficient matrices are developed for these transformed fixed-boundary problems. Next, for the developed numerical schemes, we establish numerical theory involving positivity preservation, monotonicity preservation, and stability. It is noteworthy that, unlike some existing works that impose tight restrictions on the time step-size to discuss the numerical theory, the proposed numerical schemes require only a mild restriction. Finally, numerical examples are provided to test the developed numerical schemes and to confirm the theoretical results.

math.NA↗

arXiv2026

Compact implicit high-resolution numerical scheme for multicomponent transport problems with Langmuir sorption

We present a compact implicit high-resolution finite volume scheme for one-dimensional multicomponent transport problems with nonlinear Langmuir sorption. The method combines a second order compact implicit discretization with WENO reconstruction and a time limiter for the treatment of steep gradients and discontinuities. A special attention is given to the Courant number used in the limiter, where local characteristic Courant numbers based on the eigenvalues of the inverse retardation matrix are considered. The compact implicit schemes are compared with analogous explicit first and second order methods. Numerical experiments show second order convergence for smooth solutions and demonstrate that the implicit approach can be used with significantly larger Courant numbers. The method is also applied to a three-component displacement chromatography problem with sharp concentration fronts.

math.NA↗

arXiv2026

A Discontinuous Galerkin Method for the Intrinsic Beam Model with Kelvin-Voigt Damping

We present an energy-stable discontinuous Galerkin (DG) spatial discretization of the intrinsic beam equations with Kelvin-Voigt damping. We reformulate the governing equations by splitting the total sectional resultants into elastic and viscous parts, thereby exposing a mixed system without mixed space-time derivatives. For homogeneous cantilever boundary data, the continuous system obeys an energy dissipation identity. With characteristic upwinding and alternating auxiliary traces the DG discretization is energy stable at the semidiscrete level for the stated homogeneous split boundary closure. The method is implemented in the Julia-based simulation framework Trixi.jl. A physically compatible manufactured solution with all state and viscous components active assesses convergence, while a rotating-beam test verifies the analytic constant-spin branch and the actuated energy balance.

math.NA↗

arXiv2026

Picard Iteration for the Characteristic Initial Value Problem in Einstein Equations

We present an iteration algorithm for vacuum and Einstein scalar-field equations in double-null gauge, which transform the non-linear PDE into systems of ODE. The numerical realization combines characteristic constraint solves, LGL spectral elements, pole-free spherical operators, Galerkin projection, and independent first-order residual and consistency checks.

gr-qc↗

arXiv2026

Selective boundary condition reduction via learned error gating

Parametric PDEs can admit different boundary conditions with different accuracy and computational cost. We introduce a framework for learning when one reduced boundary condition can replace another: paired solutions train a neural network to estimate the resulting domain and boundary errors, and the simpler condition is used only when both predicted errors meet prescribed tolerances. We focus on singular limits in applications, in which a stiff Robin or nonlinear boundary law is replaced by its limiting Dirichlet form. We evaluate the method on a galvanic corrosion problem and other nonlinear stationary and evolution problems.

math.NA↗

arXiv2026

A Fully Dual Domain Decomposition Method for Extreme Learning Machines Using GenEO Spectral Coarse Spaces

Extreme learning machines (ELMs) are a class of machine learning algorithms that randomly intialize and subsequently fix the hidden layer parameters, and solve for the last layer coefficients using a least squares method. ELMs have been successfully applied to the solution of various partial differential equations, but the cost of solving large least squares problems limits their use in large scale problems or when high accuracy is desired. To address this limitation, domain decomposition methods (DDMs) have been developed for ELMs, reducing training times via parallel computation. Yet these methods, even those incorporating a coarse space, have struggled with scalability. This paper introduces a novel nonoverlapping DDM for ELMs that treats and enforces continuity and flux conditions equally. Additive Schwarz preconditioners and GenEO (Generalized Eigenvalues problems in the Overlaps) coarse spaces are constructed to accelerate the method. Numerical experiments show the new method outperforms previous DDMs for ELMs in both iteration count and accuracy, especially for the Stokes and wave equations. Furthermore, weak scalability has been observed in up to 4,096 subdomains when employing GenEO coarse spaces.

math.NA↗

arXiv2026

Off-Grid Point-Scatterer Localization from Sparse Limited-Aperture Data via Hankel Completion

We study the localization of $s$ distinct planar point scatterers from sparsely sampled single-incidence, single-frequency acoustic far-field data over a limited receiver aperture. Under the first Born approximation, the coherent data form a two-dimensional off-grid exponential sum and admit a low-rank Hankel representation. A limited aperture generally admits multiple aperture-admissible Hankel pencils with different lifted dimensions, sampling multiplicities, and Vandermonde conditioning. Hence, the choice of the Hankel pencil affects both data completion and subsequent localization. In this work, we introduce a unified framework for structured completion and off-grid localization based on general aperture admissible Hankel pencils. We establish exact recovery in the noiseless case and stable recovery under bounded noise from a number of random aperture samples that is linear in $s$, up to factors determined by the pencil geometry, source conditioning, and logarithmic terms, together with an explicit localization bound in terms of the completion error. The analysis separates the contribution of the pencil geometry from the conditioning induced by the source configuration and provides verifiable sufficient conditions for stable completion and MUSIC resolution. These results yield quantitative criteria for selecting sample efficient Hankel pencils under a prescribed physical aperture. Numerical experiments on connected and disconnected apertures demonstrate the effects of pencil geometry, sampling, and noise.

math.NA↗

arXiv2026

Strong convergence rates of tamed exponential Euler schemes for superlinear hyperbolic SPDEs

In this paper, we prove pathwise uniform convergence at rates up to $1/2$ for tamed exponential Euler schemes for semilinear hyperbolic stochastic evolution equations with superlinearly growing nonlinearities and multiplicative noise. We take the term hyperbolic to mean that the leading operator generates a contractive $C_0$-semigroup but no parabolic smoothing occurs. Under local Lipschitz, polynomial growth, coercivity, and monotonicity conditions on the nonlinearities, we establish pathwise uniform strong error estimates of the form \begin{equation*} \Big(\mathbb{E}\max_{0\le j \le N} \|U(t_j)-U^j\|_X^p\Big)^{1/p} \lesssim \sqrt{k} \end{equation*} on a Hilbert space $X$ for $p\in [2,\infty)$. Here, $U$ is the mild solution and $U^j$ is the tamed exponential Euler approximation at time $t_j=jk$ with step size $k>0$. This extends previous convergence results for non-parabolic SPDEs from globally to locally Lipschitz nonlinearities, allowing both drift and diffusion to grow polynomially. In a stochastic Kato framework, we further establish local and global well-posedness as well as uniform a priori estimates for the mild solution and its approximation. Applications to nonlinear stochastic transport, Airy, wave-type, and dissipatively damped nonlinear Schrödinger equations are included, covering different nonlinearities-stopped and fractionally tamed schemes. For the Klein-Gordon equation with cubic velocity damping, this complements previous results obtained for additive noise.

math.NA↗

arXiv2026

High-Order Discontinuous Cut Finite Element Methods for Scalar Hyperbolic Conservation Laws

In this paper, we present a family of high-order cut finite element methods based on the discontinuous Galerkin (DG) framework for scalar hyperbolic conservation laws on complex domains. Building on our previous work, we develop a multidimensional formulation that combines macro-element stabilization with flux limiting to obtain a scheme that preserves the maximum principle and remains robust with respect to arbitrary boundary cuts of the background mesh. The physical domain is embedded in a regular background mesh, which may produce arbitrarily small cut cells. To avoid the severe time step restrictions typically associated with such cells, ghost penalty stabilization terms are added on interior facets of macro-elements. The resulting method exhibits stability and accuracy properties similar to those of standard DG methods on fitted meshes. An $L^2$-stability result is derived for the semi-discrete scheme under both periodic and inflow-outflow boundary conditions. To enforce the maximum principle and suppress nonphysical oscillations, we adapt limiter techniques from standard DG methods to the CutFEM setting by defining limiting parameters on macro-elements. In particular, we present a macro-element-based parameterized flux limiter together with adaptations of the Zhang-Shu bound-preserving limiter and the Barth-Jespersen slope limiter. Numerical experiments in two and three spatial dimensions demonstrate optimal convergence orders, preservation of the maximum principle, and accurate shock capturing without spurious oscillations, even for challenging cut configurations involving very small-cut cell intersections.

math.NA↗

arXiv2026

On the well-posedness and efficient approximation for the classical Melan equation in suspension bridges

The classical Melan equation modeling suspension bridges is considered. We first study the explicit expression and global properties of the analytical solution for the simplified ``less stiff'' model, based on which we derive an a priori estimate for the original classical Melan equation and establish, under an explicit load condition, that it has a unique solution with nonnegative integral under downward live loads, thereby showing the uniqueness of the corresponding deflection curve in the engineering setting. We also develop an efficient iterative approximation method by taking the solution of the simplified ``less stiff'' model as the first iterate, and prove its geometric convergence with explicit error estimates. The applicability and computational efficiency of the method are demonstrated through calculations for two actual bridges, which also quantify the influence of the nonlinear nonlocal term on the solution and clarify the relationship between the simplified and original models. Several engineering observations are verified and explained, and some related open problems are suggested.

math.NA↗

arXiv2026

On the sample complexity of the active subspace method

Active subspaces identify low-dimensional linear structure in high-dimensional parameter-to-output maps by estimating the dominant eigenspace of a gradient covariance operator. In practice this covariance is replaced by a Monte Carlo estimator built from a limited number of gradient evaluations. Classical analyses based on controlling the covariance error in operator norm lead to sample-complexity estimates that can be substantially more pessimistic than the sampling rules commonly used in computations. This paper studies the empirical active subspace method directly in the projection-error metric relevant for ridge approximation. We derive non-asymptotic quasi-optimality bounds governed by a regularized inverse Christoffel function associated with the gradient field. Under a bounded-gradient assumption, the resulting estimates already improve the sample-complexity estimates obtained from operator-norm covariance bounds. We then show that additional smoothness of the gradient map, expressed through membership in a reproducing kernel Hilbert space, yields sharper coherence estimates and motivates tractable importance sampling from kernel diagonal measures. Furthermore, the same smoothness assumption yields a priori decay bounds for the population active subspace tail energy, which can be combined with our finite-sample estimate to prescribe rank, regularization scale, and sample size, allowing to fully characterize the a priori sample complexity. The abstract assumptions are verified for lognormal Gaussian and affine uniform parametric elliptic PDEs using weighted summability of Hermite and Legendre series expansions.

math.NA↗

arXiv2026

Sharp Computational Bounds for Spectral Types of Schrödinger Operators

We prove sharp bounds for determining the spectral-type decomposition of Schrödinger operators in the spirit of Smale's program on the foundations of computation. For explicit one-dimensional self-adjoint Schrödinger operators $H=-{\mathrm d^2}/{\mathrm dx^2}+V$ on $L^2(\mathbb R)$, where $V\in C^\infty(\mathbb R;\mathbb R)$ is given by a finite description of all derivatives and derivative bounds, the pure point and absolutely continuous spectral sets cannot, in general, be recovered by any single limiting procedure. The singular continuous spectral set is strictly harder: it cannot, in general, be recovered by two nested limiting procedures. Analytic constructions of dichotomies realize the lower bounds: Gordon-type repetitions for pure point spectrum, high barriers for absolutely continuous spectrum, and an inverse spectral construction for singular continuous spectrum based on Riesz products, moment-killing perturbations, and a computational Gelfand--Levitan scheme. The finite-description framework also implies corresponding limitations on what can be certified in fixed formal systems (e.g., when used in computer-assisted proofs). Conversely, using wavelet-based certified computation, we prove matching upper bounds for broad classes of self-adjoint differential operators on $\mathbb R^d$ with coefficients of locally bounded variation and quantitative local variation control: two limits suffice for the pure point and absolutely continuous parts, and three for the singular continuous part. This provides a sharp hierarchy for spectral types.

math.NA↗

arXiv2026

Quadratic Point Estimate Method for Uncertainty Quantification with Dependent Non-Gaussian Inputs

As an extension of the Point Estimate Method (PEM) to evaluate probabilistic moments of quantities of interest (QoI) in general $n$-dimensional spaces, the Quadratic Point Estimate Method (QPEM) has been recently developed. This new method is defined to fully represent up to fifth-order input moments in the Gaussian space, providing general analytical expressions for sample locations and weights, without requiring any numerical optimization. The QPEM can significantly improve the estimation accuracy of the output QoI moments, in relation to PEM-based methods whose numbers of sigma points grow linearly with the problem dimension, while at the same time having an affordable and competitive computational cost up to a considerable number of dimensions. The QPEM is further enhanced in this work by enabling copula integration into the framework, which enables effective modeling of the joint input probability density function by estimating marginals and the dependence structure of the involved random variables. The validity and efficient performance of the copula-based QPEM are showcased against numerous other sampling methods in various examples considering two practical scenarios: (i) when the joint dependence structure can be inferred from data, and (ii) when only marginal distributions and correlation matrices are known.

math.NA↗

arXiv2026

CAST: Canonical Approximate Schur Tree for Approximate Cholesky on Graphs

Graph-data workloads such as diffusion estimation, ranking, semi-supervised learning, and network optimization often solve many Laplacian or symmetric diagonally dominant M-matrix (SDDM) systems with the same coefficient matrix. Approximate Cholesky preconditioners eliminate vertices one at a time and store the resulting sparse approximate factorization, the \emph{factor}, whose construction cost is amortized across these solves. But eliminating a vertex, the \emph{pivot}, creates a dense Schur-complement clique among its $d$ active neighbors. We introduce CAST (Canonical Approximate Schur Tree), which replaces this clique with a weighted random spanning tree sampled directly from it. Every realization is connected and contains exactly d-1 edges, while reweighting each selected edge by the reciprocal of its tree-inclusion probability makes the update unbiased. The distribution is independent of the ordering of the pivot neighbors, and we prove that its leverage-score marginals minimize the largest normalized reweighted-edge contribution among unbiased inverse-marginal one-tree estimators. We also introduce CAST-$ρ$, which replaces each pivot neighbor with $ρ$ copies, each carrying a $1/ρ$ share of that neighbor's incident weight, samples a weighted random spanning tree on the expanded clique, and contracts the copies back to the original neighborhood. The resulting update remains unbiased and connected, can be sampled exactly in $O(ρd)$ time, and satisfies a $1/ρ$ bound on the second moment of the normalized local Schur error. Increasing $ρ$ therefore reduces certified local sampling variability, but may increase construction cost and downstream fill. Empirically, we observe that CAST-1 is the faster default, whereas CAST-2 is preferable when its additional edge contributions remain inexpensive.

stat.ML↗