Searcharxiv⌕ Search

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 145 records · Page 8Linked to original sources

Adapting the Lanczos algorithm to matrices with almost continuous spectra

We consider approximating $B^T(A+sI)^{-1}B$, where $A\in\mathbb{R}^{n\times n}$ is large, symmetric positive definite, and $B\in\mathbb{R}^{n\times p}$ with $p\ll n$. We focus on the case where $A$ has an almost continuous (dense) spectrum: its eigenvalues fill one or more intervals so densely that Krylov methods cannot resolve them individually. Our target is computing multiple-input multiple-output transfer functions arising from large-scale discretizations of problems with continuous spectral measures, such as linear time-invariant PDEs on unbounded domains. Traditional Krylov methods, such as Lanczos or conjugate gradients, resolve individual eigenvalues of a dense discretization while ignoring the underlying continuous spectral measure these points approximate. We argue it is more efficient to model the operator's inherent branch cut than to exhaustively resolve the artificial point spectrum induced by discretization. We adapt the framework of Kreĭn-Nudelman semi-infinite strings to the block Lanczos algorithm, with parameters chosen adaptively by maximizing the energy absorbed at the string termination relative to the energy stored in the string. This yields a low-rank modification to the block Lanczos matrix, dependent on $\sqrt{s}$, at an additional $O(n)$ cost. We show significant error reductions for large-scale self-adjoint PDE discretizations in unbounded domains, including two- and three-dimensional Maxwell's equations in diffusive regimes. The method is especially advantageous for computing state-space solutions for wave propagation, specifically for 2D wave and 3D Maxwell operators. Replacing the conventional Lanczos spectral decomposition with the continuous Kreĭn-Nudelman spectrum yields a qualitative improvement in finite-difference approximations, transforming standing-wave artifacts into outgoing propagating waves.

math.NA↗

Hölder-Logarithmic Stability and Convergence Rates for an Inverse Random Source Problem

In this paper, we investigate an inverse random source problem concerned with recovering the strength of a random, uncorrelated acoustic source from correlation measurements of emitted time-harmonic acoustic waves. Such problems arise in applications including aeroacoustics and seismic imaging. Unlike their deterministic counterparts, inverse random source problems are known to be uniquely solvable in the absence of noise. Nevertheless, due to their inherent ill-posedness, regularization is required to stably reconstruct the source strength. We derive conditional Hölder-logarithmic stability estimates under Sobolev smoothness assumptions by employing complex geometrical optics solutions. Moreover, by establishing a variational source condition, we obtain Hölder-logarithmic convergence rates for spectral regularization methods. At fixed frequency, the exponents in the logarithmic stability and convergence estimates grow unboundedly as the Sobolev regularity of the source increases. Finally, we present numerical experiments supporting our theoretical findings.

math.NA↗

A counterexample to Kusner's conjecture on equilateral sets

We disprove Kusner's 1983 conjecture that every equilateral set in $\ell_p^n$ with $2 57$. This is the first equilateral set of more than $n+1$ points in $\ell_p^n$ for any finite $p\ge2$. The construction persists on an open interval of exponents around $5$; since Ge, Xu and Zhou recently proved the conjecture for $2\le p\le4$, the infimum of exponents at which it fails lies in $[4,5)$. The configuration is the unique solution of an explicit polynomial system with rational coefficients in a rational box, established in exact arithmetic.

math.MG↗

Robust High-Order Projector-Splitting Integrators

We develop a general framework for constructing robust high-order projector-splitting integrators for dynamical low-rank approximation. For a prescribed matrix increment, we show that the standard K-S-L projector-splitting step is equivalent to a reduced K-L step, thereby eliminating the explicit backward S-step. We then establish a central relaxed exactness property of the standard projector-splitting integrator: the rank-$r$ approximation inherits the accuracy of the numerical matrix increment, with an error bound independent of small singular values. The resulting schemes evolve fixed rank-$r$ factors and require neither basis augmentation nor rank truncation. As concrete examples, we combine the framework with selected second- and third-order Runge--Kutta methods to obtain robust high-order projector-splitting integrators. Numerical experiments confirm the predicted uniform convergence rates with respect to small singular values.

math.NA↗

Anchored Regularized Direct Least Squares (ARDLS): Integrating Established Prioritization Operators for Priority Elicitation in the Analytic Hierarchy Process

Pairwise reciprocal matrices are fundamental to the Analytic Hierarchy Process (AHP),a decision-making model. While the Direct Least Squares (DLS) method provides an intuitive mechanism for deriving priority vectors without complex transformations, it is susceptible to solution non-uniqueness. Under high levels of inconsistency, such as severe cyclic contradictions, the DLS optimization landscape becomes non-convex, yielding multiple distinct global minima. Consequently, priority rankings become unstable and critically dependent on initial algorithmic guesses. Furthermore, established prioritization operators (POs), including normalization techniques, the Eigenvector method, Singular Value Decomposition, Cosine Maximization, and the Pseudo-Inverse Gram Matrix (the closed-form solution of Weighted Least Squares), frequently generate disparate outcomes. To overcome these structural deficiencies, this paper introduces the Anchored Regularized Direct Least Squares (ARDLS) optimization model as a harmonizing framework. ARDLS integrates uniquely determined established POs as theoretical anchors within a regularization penalty. This integration systematically breaks mathematical symmetries and tilts the optimization landscape to guarantee convergence upon a single, unique global minimum. By minimizing the root mean square variance (RMSV) of the initial baseline vectors, ARDLS effectively unifies these divergent solutions. Comprehensive numerical experiments validate that the framework successfully fine-tune the solution of established POs by reducing RMSV while ensuring strict mathematical uniqueness. The practical utility of the method is further demonstrated through a numerical case study resolving an innovation fund dilemma in FinTech project selection. The proposed ARDLS approach offers a robust alternative to classical AHP across a wide range of decision-making domains.

math.OC↗

Foundations of Global Ocean Climate Modelling at all Scales

We introduce a computational method that extends the range of current global ocean climate models to non-hydrostatic scales, and establishes a convection resolving ocean model. The main obstruction towards this goal at global scale -the calculation of the non-hydrostatic pressure- is resolved by computing the pressure locally in a manner that capitalizes on particular conditions of ocean dynamics, and the structure of ocean models. Our claims are substantiated 1) by a theoretical analysis, which shows that the proposed method is compatible with ocean physics, 2) by numerical experiments, which evidence by comparison that it represents faithfully and to high accuracy non-hydrostatic dynamics, and 3) by a performance analysis that establishes that our non-hydrostatic method exceeds the cost of a hydrostatic model by a fixed factor of about $1.2$ in operation count and $1.3$ in runtime at any resolution. We show how to use the additional information contained in non-hydrostatic scales can be used to calculate the diffusivity free from numerical contributions and the mixing efficiency, transforming both from prescribed values by the modeller to calculated values from the dynamics.

math.NA↗

InKAN: B-Spline KANs via Truncated Power Form

Kolmogorov-Arnold Networks (KANs) place learnable B-spline activations on network edges rather than fixed activations on nodes. The standard Cox-de Boor recursion evaluates these activations through $k$ sequential passes for degree-$k$ splines, consuming over 90% of forward-pass time. InKAN replaces this recursion with the truncated power form, a classical result from approximation theory that expresses each uniform cubic B-spline as five $(x)_+^3$ terms at shifted knot positions. The resulting expression computes exact B-spline basis values: the same mathematical function as the Cox-de Boor recursion, evaluated without sequential passes. This paper documents three contributions: (1) an implementation structured for torch . compile fusion, eliminating recursion, span lookup, and scatter-gather operations; (2) a bounded-coordinate evaluation that clamps the normalized input to $[0, k{+}1]$, preventing the growth of cancellation error at large off-support coordinates; and (3) an open-source package (pip install inkan). In the tested configurations, InKAN has 2.8--3.5$\times$ lower forward-pass latency than the Cox-de Boor recursion. Partition-of-unity errors remain below $10^{-5}$ for grid sizes up to 200.

cs.LG↗

A discontinuous Petrov-Galerkin finite-element framework for the simulation of microwave-heated flows

We present a high-order multiphysics solver for the simulation of microwave-heated flows. The solver couples a discontinuous Petrov-Galerkin (DPG) finite element method for the time-harmonic Maxwell equations with continuous Galerkin finite element methods for the heat equation and the incompressible Navier-Stokes equations. We validate the electromagnetic solver against multiple benchmark problems: wave propagation in a rectangular waveguide, a cavity problem with a singular solution, and a microwave-heated obstacle problem, comparing our results against numerical and experimental data from the literature. The results confirm the validity of the implementation and demonstrate its ability to perform adaptive mesh refinement using the DPG method's built-in error estimator. The final part of the study showcases the capabilities of the multiphysics framework through simulations of microwave-heated flow around obstacles with singular geometric features. These results highlight the potential of the proposed framework for the simulation and optimization of microwave-assisted chemical processes. Finally, the developed high-order multiphysics solver has a low memory footprint, since the electromagnetic solver relies on a Conjugate Gradient (CG) iterative solver and the fluid solver is implemented in a matrix-free fashion, making the overall approach scalable and well-suited for large-scale parallel simulations.

math.NA↗

Nonlinear elliptic homogenization with the parametric Deep Ritz method

Elliptic homogenization is used to determine coarse-grained properties of materials with features on small scales. When these small scale features have rapid, periodic fluctuations, the solution field corresponding to a homogenized constitutive relation closely resembles the true solution based on the heterogeneous material. This homogenized behavior of the material is computed from a cell problem, where a cell is defined to be one period of the fluctuating material. In the context of linear elliptic partial differential equations, the homogenized constitutive relation is defined simply by a constant coefficient tensor, but for nonlinear problems, the homogenized response depends on the macroscopic state and/or its gradient, thus requiring solutions to parametric cell problems. When computing a numerical solution with the homogenized constitutive relation, it is useful to have a differentiable representation of the solution to the cell problem, as derivatives of the homogenized constitutive relation are required in Newton iterations for the macroscopic state field. In this work, we use the Deep Ritz method to solve the parametric cell problems that arise from nonlinear homogenization. First, we exploit the variational structure of the cell problem, then we discretize the dependence of the cell response on both space and the macroscopic state with a neural network. Enforcing boundary conditions on the cell response strongly, we next use the parametric Deep Ritz method to simultaneously solve the cell problem over a range of macroscopic states. We show that this method is accurate, efficient, and offers a continuous and differentiable representation of the cell response over the macroscopic state and gradient. We then show that our parametric representation of the cell response significantly expedites macroscale solutions when compared to a traditional $\text{FE}^2$ scheme.

cs.LG↗

Efficient $C^1$ Bernstein Quasi-Trefftz Discretization for Heterogeneous High-Frequency Helmholtz Problems

We develop an efficient $C^1$ Bernstein quasi-Trefftz discretization for heterogeneous high-frequency Helmholtz problems on unstructured triangular meshes. The method first imposes strong $C^1$ continuity through Bernstein--Bézier smoothness relations on local macro-patches and then reduces the resulting conforming polynomial space by enforcing projected Helmholtz residual constraints. On two-triangle patches, this compresses the local dimension from quadratic growth in the polynomial degree to a trace-sized space of dimension $2p+1$ under the natural rank condition. Variable matrix-valued coefficients are handled through local polynomial projection, allowing coefficient-approximation effects to be separated from discretization error. A graph-residual formulation couples the reduced patch spaces and produces a sparse global system in compressed coordinates. The implementation combines explicit $C^1$ continuation, batched coefficient projection, batched residual construction, and stable local kernel extraction by QR factorization. Numerical experiments on heterogeneous unstructured meshes demonstrate high-order accuracy, roundoff-level $C^1$ conformity, robust high-frequency resolution, and substantial reductions in local and global computational cost. Turning-point and penetrable-scattering examples further illustrate the flexibility of the approach.

math.NA↗

High-order smoothness and high-order collocation approximation for Volterra integral equation with multiscale and nonlinear exponent kernel

We consider a Volterra integral equation with multiscale and nonlinear exponent kernel. We propose the high-order smoothing conditions, under which the initial singularity of the solutions can be eliminated up to any prescribed order. This indicates the application of the multiscale nature of the kernel on local modification of the solutions. Then a discontinuous high-order collocation method with arbitrary polynomial degree is developed and analyzed on uniform or graded meshes based on the solution regularity. This work serves as a comprehensive extension and complement to [Zheng, Qiu and Stynes, SIAM J. Numer. Anal., to appear] in both mathematical and numerical aspects.

math.NA↗

A structure-preserving implicit-explicit method for a hyperbolic approximation of fourth-order PDEs

We introduce a novel structure-preserving numerical method for a first-order hyperbolic approximation system, which approximates the solutions of general fourth-order partial differential equations. By employing an implicit-explicit (IMEX) splitting between the stiff and non-stiff terms, we rigorously prove that the proposed scheme is energy-consistent and positivity-preserving under a CFL-type condition. Furthermore, we show that the method remains robustly stable in asymptotic regimes, with a time-step restriction that is entirely independent of the relaxation parameters. Finally, we present a series of numerical examples for thin film equations to validate the theoretical properties and efficacy of the scheme.

math.NA↗

Robust high-dimensional integration using medians of coarsely scrambled Sobol' sequences

We study the numerical approximation of high-dimensional integrals using randomized quasi-Monte Carlo (RQMC) methods, with a focus on scrambled Sobol' sequences. While asymptotically faster than Monte Carlo, classical RQMC suffers from error bounds that grow exponentially in the dimension $s$, and its root mean squared error (RMSE) convergence rate is generally no better than $O(N^{-3/2})$. To overcome these limitations, we combine two recent developments: Suzuki's coarse scrambling and the median trick. Coarse scrambling randomizes Sobol' sequences according to their generating base polynomials and significantly reduces the maximal gain coefficient. By appropriately choosing the base polynomials, we show that the coefficient can be made uniformly bounded in $s$, yielding an $O(N^{-1/2})$ RMSE for $L^2$ integrands with a dimension-independent constant. The median trick then enables near-optimal convergence for function classes beyond $L^2$: for $L^p$ integrands with $p\in(1,2)$, the median of independent coarsely scrambled estimates achieves an error of $O(N^{-1+1/p})$ with high probability; for integrands in the Haar wavelet space $\mathcal H_{\mathrm{wav},α,s,p,q}$ with $α_p:=α-(1/p-1/2)_+>0$, we prove a high-probability error bound of $O(N^{-α_p-1/2+\varepsilon})$ for any $\varepsilon>0$; the bound improves to $O(N^{-r-α_p-1/2+\varepsilon})$ when the integrand has dominating mixed derivatives of order $r\ge1$ that belong to $\mathcal H_{\mathrm{wav},α,s,p,q}$. The latter two bounds are uniform in $s$ under suitable conditions on the ANOVA components of the integrands. Numerical experiments confirm the predicted convergence rates and demonstrate the robustness of the proposed approach.

math.NA↗

Quasi-uniform designs from random candidates: optimal candidate complexity and farthest-point sampling

We study randomized constructions of quasi-uniform designs on a compact metric-measure space satisfying two-sided polynomial ball-growth conditions. Given integers $N\le M$, we first draw $M$ independent candidate points and then retain the first $N$ points of a farthest-point traversal of the candidate set. We prove probabilistic non-asymptotic bounds on the mesh ratio and show that $M=Θ(N\log N)$ is the sharp order of the candidate-pool size required for bounded mesh ratio: a sufficiently large multiple of $N\log(N/δ)$ suffices with probability at least $1-δ$, whereas, if $M=o(N\log N)$, the mesh ratio diverges in probability for every procedure that selects $N$ points from the same independent candidate pool. If $M/(N\log M)\to\infty$, the upper bound on the mesh ratio for the exact farthest-point sampling (FPS) tends to $2$. We also quantify the effect of approximate FPS and analyze direct and fast implementations in spaces of bounded doubling dimension. Finally, using a single infinite stream of candidate points and increasing candidate budgets, we construct an almost surely quasi-uniform nested sequence; under supercritical oversampling and exact FPS, or more generally when the approximation factors tend to $1$, its mesh-ratio limit superior equals $2$ for compact positive-volume subsets of Euclidean space.

math.NA↗

Crouzeix--Raviart--Marini realisation of computable a priori $L^2$-error bounds on anisotropic meshes

We consider conforming $\Pone$ and lowest-order Crouzeix--Raviart (CR) approximations of the Dirichlet Poisson problem in two and three dimensions. We obtain computable a priori $L^2$-error bounds on anisotropic simplicial meshes without a global $H^2$-regularity assumption. For piecewise constant data, the Marini relation gives an equilibrated lowest-order Raviart--Thomas (RT) flux from the scalar CR solution. The square of the resulting Marini constant is the largest generalised eigenvalue of a problem involving only scalar conforming and CR matrices. Combined with the elementwise Poincaré constant, it controls both the conforming and CR errors. The CR $L^2$ estimate uses positivity of the discrete CR--conforming gap operator rather than a nonconforming Aubin--Nitsche argument. We also derive an exact decomposition of the Marini defect into the CR--conforming energy gap and an explicit geometric term with no aspect-ratio factor. On the algebraically graded L-shaped mesh family considered here, $q>3/2$ yields $κ_{M,h}=O(h)$ and computable $O(h^2)$ $L^2$-operator bounds.

math.NA↗

Polytopic symmetric interior-penalty approximation of elliptic SPDEs driven by spatial white noise

We analyse symmetric interior-penalty discontinuous Galerkin approximations of elliptic stochastic partial differential equations driven by spatial Gaussian white noise on quasi-uniform polytopic meshes. The low regularity of the exact random field precludes the usual SIP consistency argument. We instead restrict the same continuum white-noise functional canonically to the discontinuous polynomial space and separate the error into stochastic forcing-restriction and deterministic discretisation components. For every fixed polynomial degree $k\geq1$, we prove the sharp two-sided estimate \[ \|Y-Y_h\|_{L^2(Ξ;L^2(Ω))} \simeq h^{2-d/2}, \] giving rates $h$ in two dimensions and $h^{1/2}$ in three dimensions. A finite-dimensional lower bound establishes optimality. The analysis allows polytopic elements with arbitrarily many and arbitrarily small faces, including admissible non-convex elements. In two dimensions we also treat polygons with a single reentrant corner. Although the deterministic approximation exhibits an angle-dependent loss of regularity, the singular resolvent contribution is finite rank, and the sharp first-order stochastic rate is retained. The discontinuous structure yields an exact element-local sampler for the restricted white noise. Numerical experiments on irregular polygonal, non-convex polytopic and reentrant domains support the predicted convergence behaviour.

math.NA↗

A Second Order Positivity-Preserving Scheme for the Nonlocal Cahn-Hilliard System with Variable Mobility and Logarithmic Flory-Huggins Potential

A second order finite difference scheme is analyzed for the nonlocal Cahn-Hilliard system with variable mobility and the singular Flory-Huggins logarithmic potential. The temporal discretization employs a modified Crank-Nicolson formulation, while the mobility is treated explicitly to guarantee ellipticity and reduce computational cost. To strictly enforce the positivity-preserving property at the discrete level, a nonlinear regularization term is added into the numerical scheme. Rigorous analysis shows that the scheme is uniquely solvable and stable under a modified numerical energy. The well-known analytical challenge associated with the variable mobility has to be handled carefully. To overcome this, a convergence framework is constructed based on two non-standard techniques: (1) a higher-order asymptotic expansion (extending up to the third order in time and fourth order in space) to retain a sufficiently order of accuracy; (2) a two-stage error strategy, wherein a rough error estimate first guarantees the discrete boundedness of the mobility and nonlinear terms, followed by a refined error analysis that yields the optimal convergence rate. Numerical experiments validate the theoretical results and demonstrate the robustness of the proposed scheme.

math.NA↗

Terminating Zero-Balanced Hypergeometric Series Using Divided Differences

There is a close relationship between divided differences and hypergeometric series, and recent studies have shown that divided differences can be used effectively to derive terminating hypergeometric identities. In this paper, we apply this approach to terminating zero-balanced hypergeometric series. Using explicit product evaluations arising from divided differences, we give alternative proofs of zero-balanced ${}_3F_2(1)$ and ${}_4F_3(1)$ summation formulas and then extend the argument to the general terminating ${}_{r+1}F_r(1)$ case. We also combine the Lagrange representation with the Leibniz rule for divided differences to derive a finite convolution transformation for a terminating ${}_{r+2}F_{r+1}(1)$ series. Thus, the divided-difference approach not only reproduces the known zero-balanced summation formulas but also yields a finite convolution transformation for terminating hypergeometric series, together with its zero-balanced specialization.

math.CA↗