Searcharxiv⌕ Search

subject

cs.NA

cs.NA: explore 425 source-linked works published from 2021 to 2026, with original documents and citations.

This collection is a preview while coverage and quality are evaluated.

Search within this collection

Coverage and selection

Includes records with this source-supplied label or an explicit phrase match in their metadata. Matches indicate a mention, not proof that a paper uses a method or tests a material. Source versions are consolidated by DOI.

Sources: arxiv. Collection updated 2026-09-16. Counts describe this index, not the complete source archives.

Separable Nonnegative Matrix Factorization Using Powered Ratio-of-Norms Regularization

Separable nonnegative matrix factorization (SNMF) has been widely used for low-rank representation and clustering of nonnegative data, owing to its ability to produce part-based and interpretable decompositions. In particular, SNMF is closely related to graph clustering and community detection. To enhance sparsity and identifiability of the learned factors, we propose an $\ell_1^p/\ell_2$-regularized SNMF model based on a powered ratio-of-norms regularizer. The resulting formulation is nonconvex and nonsmooth, which poses significant challenges for optimization. To address this, we develop efficient algorithms based on the difference-of-convex function algorithm (DCA) and the alternating direction method of multipliers (ADMM). The proposed methods decompose the original problem into tractable subproblems, leveraging closed-form proximal operators associated with the powered norm terms. We establish descent and limiting criticality properties for the DCA scheme and convergence under standard assumptions for the ADMM scheme. Extensive numerical experiments on synthetic datasets and hand gesture classification tasks demonstrate that the proposed approach achieves competitive or improved performance in anchor identification and classification accuracy compared with existing SNMF methods, while maintaining competitive computational efficiency.

math.NA↗

High-Order-Accurate Continuity Enforcing Nyström Discretization of 3D Maxwell Combined Field Integral Equations

In Nyström-collocation discretizations of the electric field integral equation (EFIE), the surface divergence acts on surface densities that may be discontinuous across patch boundaries, which degrades accuracy and convergence. We show that this not only affects the EFIE but every formulation in which the operator occurs, either in the equation itself or in the scattered field computation, and propose a high-order-accurate continuity-enforcing scheme for smooth surfaces as a remedy for the direct and indirect EFIEs, magnetic field integral equations (MFIEs), and regularized combined field integral equations (CFIEs) alike. The scheme comprises two ingredients: i) We show how to discretize the equations via a Chebyshev-based Nyström scheme, which admits closed quadrature rules. ii) Since unknowns and test vectors are in terms of patch-local curvilinear bases, continuity is enforced by a change of basis: we construct sparse mapping matrices assembled solely from the curvilinear geometry description. In doing so, we restore the accuracy of the EFIE such that it can be combined with the MFIEs with equal weights to form CFIEs. Numerical studies for the scattering from canonical and realistic geometries show that all considered formulations individually and combined benefit from the continuity enforcement in terms of better conditioning, reduced iterations of an iterative solver, and several more digits of accuracy in the scattered fields, despite reducing the total number of unknowns.

math.NA↗

A General Superconvergence Result for Cubature on Tesselated Polytopal Domains in Two and Three Dimensions

Cubature rules, which approximate definite integrals as a linear combination of a set of function values, are ubiquitous and necessary for computational methods in the physical sciences. A superconvergence result for cubature rules on polytopal domains in two and three dimensions is developed, whereby a rule that is exact for all bivariate polynomials of a fixed even degree realizes an extra order of convergence under a decrease in the spacing between nodes.

math.NA↗

A GPU-Accelerated Blocked Adaptive Randomized Range Finder Based on an Implicit Householder QR Decomposition

Low-rank methods can reduce the memory and computational requirements of deep neural network training in approaches such as GaLore. Randomized range finders offer an attractive alternative to singular value decompositions, particularly when the required rank is determined adaptively from a prescribed approximation tolerance. We introduce a blocked adaptive randomized range finder based on an implicit Householder QR decomposition and an optimized hybrid CPU--GPU implementation. The proposed method avoids explicit reorthogonalization. Numerical experiments show that it preserves orthogonality and approximation accuracy in regimes where block Gram--Schmidt without reorthogonalization becomes unstable. The blocked formulation exposes matrix--matrix operations and enables overlap of CPU panel factorization with GPU updates. On an NVIDIA GH200, the overlapped implementation reduces the runtime for the largest tested matrix from 9.91 seconds on the CPU to 0.407 seconds. The method provides a stable and efficient building block for low-rank approximation on heterogeneous systems with applications in computational science and engineering.

math.NA↗

Minimizing the Arithmetic and Communication Complexity of Jacobi's Method for Eigenvalues and Singular Values: Part Two -- Parallel Algorithms

This paper presents several parallel versions of Jacobi's method for the symmetric eigenvalue problem and the SVD. A continuation of [Demmel, Luo, Schneider, & Wang 2025], we develop parallel Jacobi algorithms whose arithmetic cost is optimal and whose bandwidth or latency can match the corresponding lower bounds of parallel matrix multiplication. Our focus is a standard distributed-memory setting with variable processor layouts, including both 2D and 2.5D processor grids. In the 2D case, we demonstrate that a standard implementation of parallel Jacobi achieves a perfect speedup in arithmetic cost -- i.e., complexity $O(n^3/P)$ when done with $P$ processors -- while hitting the 2D matrix-multiplication lower bound for bandwidth and (nearly) the lower bound for latency. By employing a 2.5D processor grid and leveraging 2.5D matrix multiplication, equivalently by increasing the memory per processor, we demonstrate that parallel Jacobi can achieve even lower bandwidth/latency, though we also prove that these costs cannot simultaneously match the best-known bounds for parallel matrix multiplication in any Jacobi algorithm. Finally, we extend our results to one-sided Jacobi SVD.

math.NA↗

WINO: A Weak-Form Physics Informed Neural Operator for Hyperelasticity on Variable Domains

We propose a Weak-form Physics-Informed Neural Operator (WINO), a data-free framework that combines the efficiency of neural operators with the geometric flexibility of the $φ$-finite element method ($φ$-FEM). $φ$-FEM is an unfitted method that accommodates geometric variations without body-fitted meshes, where the domain geometry is represented by the level-set function $φ$. To impose the boundary conditions, Dirichlet problems adopt the $φ$-FEM lifting so only the homogeneous displacement contribution is learned, whereas traction-driven Neumann problems additionally predict the auxiliary fields necessary for the unfitted weak formulation. Parameters are trained by minimizing squared weak-form residuals aligned with $φ$-FEM together with squared penalties on the cut-cell auxiliary equations, which removes the need for large paired datasets of converged reference solutions. When labeled reference data are available, an optional data-augmented variant (WINO+data) can further combine this physics-informed loss with a supervised term. After training, WINO outputs can seed the nonlinear $φ$-FEM solvers as neural operator warm starts (NOWS), which reduce iteration counts relative to traditional cold-started solvers. Numerical benchmarks show substantial accuracy of WINO together with total training times of about 15%-70% of those of supervised $φ$-FEM-FNO across all cases, without requiring reference-solution generation.

math.NA↗

A Projected Semiexplicit Integrator for Dissipative Systems with Configuration-Dependent Kinetic Energy: Contact-Herglotz Formulation and Benchmarks

Contact Hamiltonian dynamics gives dissipative mechanics an intrinsic action variable, but explicit contact splittings reach only kinetic energies whose terms are exactly integrable: frozen-coordinate diagonal metrics (the spherical pendulum, a torus particle) are included, while dense metrics with momentum cross terms, with the double pendulum as flagship, are not. We introduce a projected Pihajoki-contact integrator for this non-separable setting, combining phase-space duplication, symmetric projection onto the physical diagonal, and constant-friction damping half-steps, with the action factor carried by an exact Herglotz update. As in the projected extended-phase-space framework it builds on, the construction needs no binding parameter, returns the copies to the diagonal at every step, and confines the nonlinear solve to the $2n$ projection variables. For constant friction the step rescales $ω=dη$ by the exact factor $e^{-γτ}$ when the projection is solved exactly (a classical conformally symplectic identity, realized here for this class), while time-symmetry, consistency, and smoothness yield an $O(τ^3)$ one-step contact-form residual, a bound not specific to the contact form. On the damped double pendulum, spherical pendulum, and torus particle the method is second-order accurate, reproduces the contact decay law, and controls long-time energy and contact drift in coarse or stiff regimes where the Tao baseline and the unprojected average lose the solution. A head-to-head with exact-contactomorphism splittings delimits the niche: where a frozen-coordinate splitting exists it preserves the contact form exactly and wins at matched cost; for the dense double-pendulum metric the realizable alternative is first-order with a prohibitive constant and the projected method prevails. The contact-form estimate is local, one-step, and constant-friction.

math-ph↗

A quantum-assisted framework for PDE-based Bayesian inverse problems

Quantum computing offers potential advantages for solving partial differential equations (PDEs). However, most existing quantum PDE solvers primarily focus on preparing quantum states for solutions, while the efficient recovery of classical information from these states remains less explored. Motivated by the readout limitation, we propose a quantum-classical hybrid framework for Bayesian PDE inversion problems: The quantum processor evolves the PDE and evaluate the loss function with sampling noises, while the classical computer tunes the hyper-parameters in the Gaussian Process Regression to explore the next trial candidate. To match the quantum solvers for linear and semi-linear autonomous evolution PDEs, we suggest to use a normalized quantum-state loss as the data-misfit function and evaluate the new misfit by combining quantum PDE solvers with the Hadamard test, thereby allowing us to extract useful classical information using only a limited number of quantum state copies without reconstructing the full solution vector. The analysis of error propagation and overall complexity of loss evaluation under a prescribed accuracy shows that the new data-misfit function outperforms the conventional L2-loss under quantum measurements. Quantum circuit simulations of 1D and 2D linear convection diffusion equations under approximate and finite sampling loss evaluations, together with classical numerical experiments on a nonlinear forced viscous Burgers equation, demonstrate the feasibility of the proposed approach for parameter inversion even when the loss evaluations are affected by sampling noise. This framework may provide a viable quantum-assisted scheme for PDE-based inverse problems and elucidate the potential of quantum PDE algorithms in addressing a complete quantum-to-end optimization stack.

math.NA↗

Numerical analysis of data assimilation for slightly compressible flow

Continuous data assimilation improves flow predictions by continually nudging a model toward available observational data. For slightly compressible flow, a recent model addresses the limitations of velocity-only nudging by assimilating both velocity and pressure data and nudging both quantities into the incompressible Navier-Stokes equations [5]; continuous-in-time error estimates and preliminary experiments show that this joint nudging is effective and substantially reduces the model error relative to velocity-only nudging. Motivated by these results, we carry out the numerical analysis of the model and its finite element discretizations. We establish stability and error estimates for the semi-discrete scheme and for the fully discrete, linearized backward Euler scheme. The analysis shows an infinite predictability horizon: the effect of the initial error decays exponentially in time, and the model error is first order in the observation resolution H and of order $μ_1^{-1/2}$ in the pressure nudging parameter $μ_1$. Balancing these two error terms, we choose $μ_1=\mathcal{O}(H^{-2})$, which yields the optimal convergence rate. Numerical experiments confirm the predicted rates.

math.NA↗

Efficient Quantum Simulation of Variable-Coefficient Transport with Continuous Source Injection

Quantum time-marching algorithms for transport PDEs often represent variable coefficients and forcing through register-expanding dilations, block-encoding oracles, or repeated postselection. We present an alternative algorithm for a forced variable-coefficient advection-diffusion equation in flow-inspired skew-symmetric form that incorporates spatially varying velocity, viscous dissipation, and persistent source injection with a peak logical requirement of $n_q+1$ qubits. A centered skew-symmetric discretization makes the advection operator strictly skew-Hermitian for arbitrary velocity profiles, enabling an ancilla-free unitary realization using a Gray-code Trotter sequence of controlled-$R_y$ rotations. Diffusion is applied in the Fourier basis through a uniformly controlled rotation on one postselected ancilla, which is measured, reset, and reused between the two diffusion half-steps, while the source is incorporated classically through second-order Strang splitting. Statevector simulations for $N=16$ and $32$ recover second-order temporal convergence against high-accuracy classical solutions, while Richardson extrapolation gives fourth-order accuracy and reduces kernel calls by factors of four to fourteen. Independent tests through $N=256$ confirm second-order spatial consistency. We further show that the per-step ancilla failure probability is proportional to the instantaneous viscous dissipation rate, making postselection cost self-regulating over a fifty-fold viscosity range. Stable evolution is demonstrated for $5\times10^4$ time steps without observable secular error growth, while Gray-code advection accounts for $71$--$95\%$ of transpiled controlled-NOT gates. The fixed-width kernel provides a qubit-efficient building block for near-term hardware studies, although classical readout and state re-preparation remain the main obstacles to coherent multistep evolution.

quant-ph↗

The singular Zienkiewicz tetrahedron: Definition and Integration

We extend the two-dimensional singular Zienkiewicz element to three dimensions, leading to a novel $H^2$-conforming finite element on tetrahedral meshes based on rational shape functions. Besides the finite element construction and its conformity analysis, we develop an exact iterative integration procedure for the associated class of rational functions. The resulting formulae allow for the exact integration of the basis functions, their derivatives, and the products occurring in finite element assembly.

math.NA↗

High-order robust basis-update & Galerkin integrators for dynamical low-rank approximation

Dynamical low-rank approximation has become a widely used numerical method in diverse disciplines. Its main idea is to represent the matrix or tensor-valued solution to a time-dependent differential equation as a low-rank factorization. The evolution of the factorization leads to highly stiff dynamics and requires the derivation of novel time integration methods that are not prone to this stiffness. A promising family of integrators are basis-update \& Galerkin (BUG) integrators as they enable implicit time integration and structure--preservation. However, current BUG integrators are limited to second--order accuracy while general-order BUG integrators are designed as projections of explicit time integration methods, thus severely limiting their use. In this work, we propose general-order BUG integrators that do not rely on an explicit time integration scheme while requiring a smaller number of basis functions to achieve high-order accuracy. We prove a general order error bound for the proposed augmented and parallel BUG integrators and demonstrate their behaviour for a series of stiff and non-stiff numerical benchmarks in which they significantly outperform previous BUG versions.

math.NA↗

Optimal control of fractional diffusion with Dirac measures

We study a PDE-constrained optimization problem for an elliptic equation with the spectral fractional Laplacian and a linear combination of Dirac measures as the forcing term; the controls are the amplitudes of these singular sources. We prove existence and uniqueness of an optimal solution and derive first-order optimality conditions. We then propose a discretization based on finite elements. Since the set of admissible controls is finite dimensional, the control variable itself does not require discretization. We conclude by deriving a priori error bounds

math.OC↗

A Framework Integrating the Dynamic Stiffness Matrix with Physics-Informed Neural Networks for Solving Eigenvalue Problems and Analysing Dynamic Response

This paper introduces a framework that integrates the dynamic stiffness matrix (DSM) with physics-informed neural networks (PINN). The DSM-PINN embeds physical constraints within the model and demonstrates robustness, particularly when addressing limited datasets across diverse investigations. In this approach, deep neural network outputs approximate the displacement fields of element nodes. Unlike the finite element method (FEM), the element shape functions are homogeneous solutions to the governing partial differential equation, forming the basis of the exact dynamic stiffness matrix, thereby avoiding high-order derivative terms. This matrix also serves as a frequency-domain spectral element, resulting in a strong-form PINN. The loss function is produced by connecting neural networks with dynamic stiffness matrices. We focus on utilising PINNs to resolve eigenvalue problems by employing the Wittrick-Williams algorithm, which overcomes the challenge of neural networks failing to converge to higher-order eigenvalues. Additionally, the frequency domain-PINN method is used to analyse structural dynamic responses under moving and impulsive loads, addressing the limitation of neural networks in handling complex numbers. Theoretical convergence stability of the suggested approach is also analysed even DSM is an indefinite matrix after implementing the boundary condition. The numerical results validate the practicality and efficacy of the recommended approach.

math.NA↗

Verification, Sensitivity, and Operating Limits of a GPU-Accelerated Planar WCSPH Model for Hydrodynamic Ram

Hydrodynamic ram (HRAM) loading remains a persistent challenge in impact mechanics, less due to exotic physics than to the difficulty of achieving convincing quantitative agreement in reduced-order representations. Prevailing studies typically employ a single mesh and boundary treatment validated against one experimental dataset, leaving unresolved whether agreement reflects genuine fidelity or compensating discretization errors. This work presents a planar 2D, GPU-accelerated WCSPH solver employing an Adami-type ghost-particle boundary condition, extended for the first time to a moving, decelerating disk penetrating a confined liquid channel at ballistic velocity. The boundary condition is examined against a purpose-derived potential-flow added-mass solution and the analytical acoustic reflection coefficient at the steel-water interface; this exploration reveals that the stiff equation of state and cavitation cutoff impose identifiable delineation of the solver's operating regime on quantitative agreement. A three-point resolution convergence study reveals a non-monotone near-probe pressure peak, attributed to a bounded ghost-fluid density inconsistency. A comprehensive coefficient sweep, conservation diagnostics, and O(N) GPU throughput scaling enable exhaustive characterization impractical in 3D. Qualitative comparison against literature evidence at 900 and 600m/s clarifies load bearing versus approximate elements. Notably, energy diagnostics reveal a modest total energy growth over the simulated window, with the fluid absorbing disproportionately more energy than the projectile relinquishes - an instructive signature of prescribed, non-back-reacting projectile kinematics that helps map the formulation's operating envelope. The resulting solver, while confined to planar geometry, delivers verified, convergence-checked performance well suited for rapid parametric design exploration.

cs.CE↗

Robust topology optimization with non-Gaussian material fields using polygonal finite elements

We present a computational framework for robust topology optimization that integrates polygonal finite-element discretizations, spatially correlated non-Gaussian material modeling, and non-intrusive polynomial-chaos surrogates. Spatial uncertainty in Young's modulus is represented as a homogeneous non-Gaussian random field obtained via a memoryless transformation of a truncated Karhunen-Loève expansion, ensuring physical admissibility through positivity of stiffness while preserving the prescribed autocovariance. Polygonal finite elements provide a stable discretization for density-based optimization on unstructured meshes and mitigate checkerboard artefacts and mesh bias, while the sparse polynomial-chaos expansion enables efficient estimation of low-order statistical moments required by the robust objective at a fraction of the cost of intrusive or Monte Carlo approaches. Numerical studies on a cantilever and a curved beam show that introducing non-Gaussian material variability leads to systematic load-path redistribution and a reallocation of 6-12% of the structural volume, together with a reduction in compliance scatter. The non-intrusive surrogate reproduces intrusive reference results within 3% using an order of magnitude fewer full finite-element analyses. These results demonstrate that the proposed framework offers a physically consistent and computationally efficient route to topology-optimized designs that remain reliable under realistic material uncertainty.

cs.CE↗

Compositional Aeroelastic Operators for Morphing Flexible Multibody Aircraft: A Geometric Framework with Structural Verification

Morphing flexible multibody aircraft require structural strain, aerodynamic geometry, surface velocity, and generalized loading to remain compatible as joints and flexible components change configuration. A compositional formulation is developed around an assumed material attachment between each lifting surface and a geometrically exact beam. Separating the component root pose from the section field shows that the body strain and elastic potential of a component depend on its own elastic coordinates, while upstream motion enters kinetic terms and external-load pullbacks. At element level, an exact relative logarithm $d$ supplies strain and potential energy, whereas a reference-anchored section coordinate $σ$ supplies deformed section geometry. Finite-order expansions retain the finite reference geometry exactly and truncate only endpoint perturbations. The attachment map then generates surface points, tangents, normals, velocities, and force Jacobians from common section kinematics. Euler--Poincare beam balance, moving-surface potential-flow relations, graph cotangent assembly, and the associated semidiscrete power identity are stated in a common twist--wrench convention. Collocation, pressure, equivalent-load, and structural-station sites are distinguished to expose their approximation errors. Verification gives the expected $N_d+1$ convergence order for degree-$N_d$ relative-log expansions. In a geometrically nonlinear cantilever comparison, a cubic static-manifold correction reduces mean full-record displacement error from $0.479$ to $0.255$ over four completed load cases. These results provide structural and interface-level evidence rather than validation of a complete aircraft aeroelastic prediction.

cs.CE↗

Annular liquid jets: exact constraint absorption and finite-time loss of global admissibility

An annular liquid jet may enclose a volume of gas and, when surface tension dominates over inertia, close on the symmetry axis at a finite distance. In the one-dimensional membrane model, closure provides an algebraic relation among the state variables at the free end. Earlier domain-adaptive schemes differentiate this relation to obtain an evolution equation for the domain length. We instead absorb the endpoint closure identically in the dependent variable and discretise the reduced system by Chebyshev collocation. Convergence is geometric, published steady data are recovered, and the unsteady calculations are checked by componentwise off-grid residuals, temporal refinement, and an independent upwind finite-difference discretisation. For jets of finite thickness, the convergence length decreases with nozzle thickness when the Froude number, Weber number, nozzle angle, and pressure coefficient are held fixed and the terminal zero remains transversal; this is a parameter-specific model result rather than a universal experimental thickness law. The forced response has a pressure-coefficient maximum near a Strouhal number of 0.093, whereas the convergence-length gain increases monotonically over the globally admissible frequency interval studied. Most importantly, a global positivity check changes the interpretation of the first finite-time event. Under body-force forcing, the mean radius first reaches zero at an interior point while the tracked endpoint remains transversal. The interior contact is quadratic, and the independent finite-difference scheme converges to the same first-contact time. After this event, the tracked endpoint is no longer the first physical closure point, so the single-interval annular-jet representation is no longer globally admissible.

cs.CE↗
Compare source metadata on this page
WorkPublishedSource identifierSource
Separable Nonnegative Matrix Factorization Using Powered Ratio-of-Norms Regularization2026-08-282608.28799arxiv
High-Order-Accurate Continuity Enforcing Nyström Discretization of 3D Maxwell Combined Field Integral Equations2026-08-282608.28876arxiv
A General Superconvergence Result for Cubature on Tesselated Polytopal Domains in Two and Three Dimensions2026-09-242608.28883arxiv
A GPU-Accelerated Blocked Adaptive Randomized Range Finder Based on an Implicit Householder QR Decomposition2026-08-282608.28941arxiv
Minimizing the Arithmetic and Communication Complexity of Jacobi's Method for Eigenvalues and Singular Values: Part Two -- Parallel Algorithms2026-08-282608.28952arxiv
WINO: A Weak-Form Physics Informed Neural Operator for Hyperelasticity on Variable Domains2026-08-272605.24651arxiv
A Projected Semiexplicit Integrator for Dissipative Systems with Configuration-Dependent Kinetic Energy: Contact-Herglotz Formulation and Benchmarks2026-08-272608.17198arxiv
A quantum-assisted framework for PDE-based Bayesian inverse problems2026-08-272608.27028arxiv
Numerical analysis of data assimilation for slightly compressible flow2026-08-272608.27647arxiv
Efficient Quantum Simulation of Variable-Coefficient Transport with Continuous Source Injection2026-08-272608.27712arxiv
The singular Zienkiewicz tetrahedron: Definition and Integration2026-08-272608.27741arxiv
High-order robust basis-update & Galerkin integrators for dynamical low-rank approximation2026-08-272608.27749arxiv
Optimal control of fractional diffusion with Dirac measures2026-08-272608.27776arxiv
A Framework Integrating the Dynamic Stiffness Matrix with Physics-Informed Neural Networks for Solving Eigenvalue Problems and Analysing Dynamic Response2026-08-262608.28683arxiv
Verification, Sensitivity, and Operating Limits of a GPU-Accelerated Planar WCSPH Model for Hydrodynamic Ram2026-08-262609.05494arxiv
Robust topology optimization with non-Gaussian material fields using polygonal finite elements2026-08-162609.05466arxiv
Compositional Aeroelastic Operators for Morphing Flexible Multibody Aircraft: A Geometric Framework with Structural Verification2026-08-152609.05464arxiv
Annular liquid jets: exact constraint absorption and finite-time loss of global admissibility2026-10-032609.05457arxiv

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