https://arxiv.org/api/jPDNj5KJF5udWdedM2ZMAF16blk 2026-03-22T08:39:04Z 48280 15 15 http://arxiv.org/abs/2506.18694v2 2026-03-19T13:51:35Z

We provide an iterative solution approach for the indefinite Helmholtz equation discretised using finite elements, based upon a Hermitian Skew-Hermitian Splitting (HSS) iteration applied to the shifted operator, and prove that the iteration is k- and mesh-robust when O(k) HSS iterations are performed. The HSS iterations involve solving a shifted operator that is suitable for approximation by multigrid using standard smoothers and transfer operators, and hence we can use O(N) parallel processors in a high performance computing implementation, where N is the total number of degrees of freedom. We argue that the algorithm converges in O(k) wallclock time when within the range of scalability of the multigrid. We provide numerical results in both 2D and 3D verifying our proofs and demonstrating this claim, establishing a method that can make use of large scale high performance computing systems.

2025-06-23T14:33:42Z Revision including new title before submission to SISC Colin J Cotter Kars Knook Joshua Hope-Collins http://arxiv.org/abs/2603.18907v1 2026-03-19T13:43:18Z

We propose a new Neural Galerkin Normalizing Flow framework to approximate the transition probability density function of a diffusion process by solving the corresponding Fokker-Planck equation with an atomic initial distribution, parametrically with respect to the location of the initial mass. By using Normalizing Flows, we look for the solution as a transformation of the transition probability density function of a reference stochastic process, ensuring that our approximation is structure-preserving and automatically satisfies positivity and mass conservation constraints. By extending Neural Galerkin schemes to the context of Normalizing Flows, we derive a system of ODEs for the time evolution of the Normalizing Flow's parameters. Adaptive sampling routines are used to evaluate the Fokker-Planck residual in meaningful locations, which is of vital importance to address high-dimensional PDEs. Numerical results show that this strategy captures key features of the true solution and enforces the causal relationship between the initial datum and the density function at subsequent times. After completing an offline training phase, online evaluation becomes significantly more cost-effective than solving the PDE from scratch. The proposed method serves as a promising surrogate model, which could be deployed in many-query problems associated with stochastic differential equations, like Bayesian inference, simulation, and diffusion bridge generation.

2026-03-19T13:43:18Z 12 pages, 4 figures Riccardo Saporiti Fabio Nobile http://arxiv.org/abs/2603.18905v1 2026-03-19T13:43:09Z

Accurate numerical simulation of fault and fracture mechanics is critical for the performance and safety assessment of many subsurface systems. The discretized representation of discontinuity surfaces and the robust simulation of their frictional contact behavior still represent major challenges. In this work, we use the mortar method to enforce the contact constraints and allow for non-conformity around the discontinuity surface, with a set of Lagrange multipliers playing the role of interface tractions. The formulation combines piecewise linear displacements with piecewise constant multipliers defined on one side of the fault interface (the non-mortar side). This choice for the Lagrange multipliers has a number of advantages from practical and computational viewpoints, but violates the inf-sup stability constraint. In order to stabilize the proposed formulation, we develop a traction-jump stabilization term to be added to the constraint equations. We use a macro-element analysis to derive an algorithmic strategy that automatically evaluates the proper scaling of the stabilization, without requiring any additional user-selected parameter. Numerical experiments demonstrate that the proposed formulation not only restores the inf-sup stability condition, but also recovers stable traction profiles in the presence of finer non-mortar sides, where other inf-sup-stable formulations fail. The proposed method is finally used to simulate non-linear contact conditions in non-conforming corner-point grids typically used in industrial geological applications.

2026-03-19T13:43:09Z 31 pages, 17 figures Daniele Moretto Andrea Franceschini Massimiliano Ferronato http://arxiv.org/abs/2603.18867v1 2026-03-19T13:13:17Z

We derive an identity that relates a class of multiple integrals involving Vandermonde polynomials to divided differences. Alternatively the identity can be viewed as an integral formula for divided differences. As part of the derivation we show that both sums of pure partial derivatives and mixed partial derivatives of Vandermonde polynomials are zero, which might be of independent interest.

2026-03-19T13:13:17Z Michael S. Floater http://arxiv.org/abs/2603.18837v1 2026-03-19T12:38:34Z

We investigate model order reduction (MOR) strategies for simulating unsteady hemodynamics within cerebrovascular systems, contrasting a physics-based intrusive approach with a data-driven non-intrusive framework. High-fidelity 3D Computational Fluid Dynamics (CFD) snapshots of an idealised basilar artery bifurcation are first compressed into a low-dimensional latent space using Proper Orthogonal Decomposition (POD). We evaluate the performance of a POD-Galerkin (POD-G) model, which projects the Navier-Stokes equations onto the reduced basis, against a POD-Reservoir Computing (POD-RC) model that learns the temporal evolution of coefficients through a recurrent architecture. A multi-harmonic and multi-amplitude training signal is introduced to improve training efficiency. Both methodologies achieve computational speed-ups on the order of 10^2 to 10^3 compared to full-order simulations, demonstrating their potential as efficient and accurate surrogates for predicting flow quantities such as wall shear stress.

2026-03-19T12:38:34Z 24 pages, 15 figures Rahul Halder Arash Hajisharifi Kabir Bakhshaei Gianluigi Rozza http://arxiv.org/abs/2512.12752v2 2026-03-19T12:37:06Z

We address the numerical solution of second-order Mean Field Game problems through Newton iterations in infinite dimensions, introduced in [14], where quadratic convergence of the method was rigorously established. Building upon this theoretical framework, we develop new numerical discretization techniques, including both a finite difference and a semi-Lagrangian scheme, that enable an effective computational implementation of the infinite-dimensional iterations. The proposed methods are tested on several benchmark problems, and the resulting numerical experiments demonstrate their robustness, accuracy, and efficiency. A comparative analysis between the two schemes and existing approaches from the literature is also presented, highlighting the potential of Newton-based solvers for MFG systems.

2025-12-14T16:25:53Z Elisabetta Carlini Ahmad Zorkot http://arxiv.org/abs/2601.01995v2 2026-03-19T11:34:43Z

In this paper, by means of a standard model problem, we devise an approach to computing approximate dual bounds for use in global optimization of coefficient identification in partial differential equations (PDEs) by, e.g., (spatial) branch-and-bound methods. Linearization is achieved by a McCormick relaxation (that is, replacing the bilinear PDE term by a linear one and adding inequality constraints), combined with local averaging to reduce the number of inequalities. Optimization-based bound tightening allows us to tighten the relaxation and thus reduce the induced error. Combining this with a quantification of the discretization error and the propagated noise, we prove that the resulting discretization regularizes the inverse problem, thus leading to an overall convergent scheme. Numerical experiments illustrate the theoretical findings.

2026-01-05T10:55:06Z Barbara Kaltenbacher Paul Manns http://arxiv.org/abs/2603.18777v1 2026-03-19T11:30:26Z

The Improved Partial Area-Analytical Calculation (IPA-AC) method represents a leading meshfree discretization strategy for peridynamic models, distinguished by its rigorous geometric treatment of boundary intersections via dual corrections of integration weights and quadrature points. Despite its empirical success in suppressing boundary-induced geometric errors, a systematic theoretical characterization of its convergence behaviors under distinct scaling limits has remained elusive. This work establishes a unified convergence framework for the IPA-AC method applied to both scalar and tensor kernels. By leveraging the Lax Equivalence Theorem, we explicitly derive error estimates that reveal the method's performance across three critical limiting regimes. The theoretical analysis, substantiated by numerical validation, demonstrates that: (1) for a fixed horizon $δ$, the method achieves robust second-order convergence $\mathcal{O}(h ^{2})$ with respect to the mesh size $h$; (2) for a fixed mesh, the discretization error scales as $\mathcal{O}(δ^{-2})$, indicating a sensitivity to the nonlocal length scale; and (3) the method does not satisfy the Asymptotic Compatibility (AC) condition. These findings clarify that while the IPA-AC method offers superior accuracy for simulating fixed nonlocal models, it requires a sufficiently large horizon-to-mesh ratio to mitigate intrinsic discretization errors when approximating the local limit.

2026-03-19T11:30:26Z 29 pages, 7 figures, 6 tables Xiuzhu Yang Xiaobo Yin http://arxiv.org/abs/2603.18728v1 2026-03-19T10:24:45Z

In nuclear arms control and disarmament processes, it is crucial to determine whether an object is a nuclear weapon or not without revealing sensitive information about it. At the MIT: Laboratory for Nuclear Security and Policy, such a nuclear verification method was developed, showcasing a transmission-based approach [1]. This method's essential part rests on a mathematical operation, the Single-Pixel X-Ray Transform: a cone of X-rays transmits an object and the remaining intensity is measured with a single-pixel detector. This transformation and the recovery of objects from dimensionless single-pixel measurements more generally has only been analyzed to a limited extent. In this work, we investigate some of the Single Pixel X-Ray Transform's mathematical properties. More specifically, we show that the Single Pixel X-ray transform is non-linear, continuous, Fréchet-differentiable and convex. We also introduce a method of reconstructing an object based only on a finite number of dimensionless, noisy Single Pixel X-Ray Transform measurement values. This method is based on Douglas-Rachford splitting and uses total variation denoising. We present an implementation for this method, focusing on rotational symmetric objects, as they allow the use of a one-dimensional direct total variation denoising algorithm [2].

2026-03-19T10:24:45Z 13 pages, 5 figures Christopher Fichtlscherer R. Scott Kemp Christina Brandt http://arxiv.org/abs/2603.18643v1 2026-03-19T09:09:54Z

Polycons, initially introduced by Wachspress in 1975 as a tool in finite element methods, are generalizations of polygons in that they allow conic boundary components. We are interested in the adjoint curve of a given polycon, i.e. the unique curve of minimal degree vanishing in the so-called residual arrangement. It was conjectured by Wachspress that under some regularity assumptions this curve does not vanish in the interior of its defining polycon. However, until recently the only class of polycons for which this was proven were convex polygons. We present a polycon bounded by three conics that constitutes a counterexample to Wachspress' conjecture. The origin of this counterexample reveals some beautiful geometry of polycons. Replacing one degree two boundary component of a polycon with a line produces a new polycon. We show that the adjoint of the latter is a contact curve to the adjoint of the former. This naturally leads to the consideration of symmetric linear determinantal representations of adjoints, which lets us explicitly describe the fibers of the adjoint map in the case of polycons bounded by three conics. As a corollary we prove that generically the adjoint of a polycon bounded by three conics is smooth.

2026-03-19T09:09:54Z 17 pages, 5 figures Clemens Brüser http://arxiv.org/abs/2506.10723v2 2026-03-19T07:27:51Z

In this paper, we introduce a new semi-discrete modulus of smoothness, which generalizes the definition given by Kolomoitsev and Lomako (KL) in 2023 (in the paper published in the J. Approx. Theory), and we establish very general one- and two- sided error estimates under non-restrictive assumptions for pointwise linear operators. % The proposed results have been proved exploiting the regularization and approximation properties of certain Steklov integrals introduced by Sendov and Popov in 1983. % By the definition of semi-discrete moduli of smoothness here proposed, we derive sharper estimates than those that can be achieved by the classical averaged moduli of smoothness ($τ$-moduli). % Furthermore, a Rathore-type theorem is established, and a new notion of K-functional is also introduced showing its equivalence with the semi-discrete modulus of smoothness and its realization. One-sided estimates of approximation can be established for classical operators on bounded domains, such as the Bernstein polynomials. In the case of approximation operators on the whole real line, one-sided estimates can be achieved, e.g., for the Shannon sampling (cardinal) series, as well as for the so-called generalized sampling operators.

2025-06-12T14:12:19Z Danilo Costarelli Donato Lavella http://arxiv.org/abs/2603.18527v1 2026-03-19T06:17:20Z

Loss functions for learning-based PDE preconditioners implicitly choose a \emph{metric} in which residuals are matched, yet most approaches still optimize an unpreconditioned Euclidean residual norm. For indefinite operators such as the high-frequency Helmholtz equation, this default metric can make both learning and iterative correction overly sensitive to near-resonant spectral components, while classical preconditioning succeeds precisely by reshaping the residual geometry. We show that the Born Series and shifted-Laplacian left preconditioning are linked by the identity $ I-G_ηV_η= G_ηA = L_η^{-1}A, $ which turns the reference Green operator $G_η$ into a natural Riesz-map residual metric $ R_η= G_η^\ast G_η$ and suggests measuring the physical residual via $ \|r\|_{R_η}=\|G_ηr\|_2. $ Building on this viewpoint, we propose a \emph{Neural Preconditioned Born Series} (NPBS) iteration that replaces the scalar CBS relaxation with a residual-driven neural operator, together with a metric-matched Born-series-inspired loss $\mathcal{L}_{\mathrm{bs}}^{R_η}$. The framework is architecture-agnostic and supports fast $\mathcal{O}(N\log N)$ evaluation via FFT/DST/DCT. Numerical experiments on heterogeneous Helmholtz problems demonstrate the effectiveness of our method, and its advantage becomes more pronounced as the systems grow more ill-conditioned; we then extend the framework to other PDE classes, including convection--diffusion--reaction equations and linearized Newton systems for nonlinear PDEs, where it also yields substantial iteration reductions.

2026-03-19T06:17:20Z 18 pages, 7 figures Juntao Wang Xinliang Liu Jiwei Jia http://arxiv.org/abs/2603.18475v1 2026-03-19T04:17:47Z

In large-scale excitatory neuronal networks, rapid synchronization manifests as {multiple firing events (MFEs)}, mathematically characterized by a finite-time blow-up of the neuronal firing rate in the mean-field Fokker-Planck equation. Standard numerical methods struggle to resolve this singularity due to the divergent boundary flux and the instantaneous nature of the population voltage reset. In this work, we propose a robust {multiscale numerical framework based on time dilation}. By transforming the governing equation into a dilated timescale proportional to the firing activity, we desingularize the blow-up, effectively stretching the instantaneous synchronization event into a resolved mesoscopic process. This approach is shown to be physically consistent with the {microscopic cascade mechanism} underlying MFEs and the system's inherent fragility. To implement this numerically, we develop a hybrid scheme that utilizes a {mesh-independent flux criterion} to switch between timescales and a semi-analytical ``moving Gaussian'' method to accurately evolve the post-blowup Dirac mass. Numerical benchmarks demonstrate that our solver not only captures steady states with high accuracy but also efficiently reproduces periodic MFEs, matching Monte Carlo simulations without the severe time-step restrictions associated with particle cascades.

2026-03-19T04:17:47Z Xu'an Dou Louis Tao Zhe Xue Zhennan Zhou http://arxiv.org/abs/2603.18403v1 2026-03-19T01:54:30Z

Wavelet-based grid adaptation methods use multiresolution analysis for error estimation, offering a mathematically rigorous approach to adaptive grid refinement when solving Partial Differential Equations (PDEs). However, applying these methods to PDE discretizations with immersed geometries is challenging, as standard interpolating wavelet transforms lose consistency near non-grid-aligned boundary intersections. To address this, we propose a high-order interpolating wavelet transform adaptation strategy compatible with sharp immersed boundary and interface discretizations. The approach performs consistent high-order wavelet transforms on narrow intervals using a 1D polynomial extrapolation technique. To maintain high order, the technique incorporates boundary values and derivatives, which are evaluated from multivariate interpolating polynomials similar to those used in high order immersed finite difference discretizations. Consequently, the proposed approach maintains the wavelet order on any arbitrary smooth multidimensional domain, including near concave geometry sections. This approach enables grid adaptation in complex domains while robustly bounding the numerical error via a manually set refinement threshold. The algorithm's performance is validated on both static and dynamic problems, including the Navier-Stokes equations with moving boundaries and temporally adapting grid resolutions. The results demonstrate that the proposed method enables effective grid adaptation, establishing a robust, predictable relationship between a user-defined refinement threshold and the overall solution error, even for problems with complex, moving boundaries.

2026-03-19T01:54:30Z 24 pages, 13 figures Changxiao Nigel Shen Wim M. van Rees http://arxiv.org/abs/2603.18369v1 2026-03-19T00:08:46Z

The Lax equivalence theorem guarantees convergence of stable and consistent discretizations for linear hyperbolic partial differential equations (PDEs). For nonlinear problems, however, stability and consistency alone do not generally guarantee convergence, even for smooth solutions, and existing convergence results typically rely either on projection-based error decompositions or on linearization arguments that do not directly extend to entropy-stable split-form discretizations. In particular, general convergence results for entropy-stable discretizations of hyperbolic PDEs are currently lacking, despite their widespread use. In this work, we prove convergence under smoothness assumptions on the exact solution and fluxes for entropy-stable split-form discretizations of scalar and symmetric hyperbolic systems with homogeneous flux functions within the continuous summation-by-parts (C-SBP) framework. The scalar inviscid Burgers equation is presented as a canonical example. The analysis is based on a stability-consistency argument that yields a nonlinear error evolution inequality whose solution provides an explicit upper bound on the numerical error. We show that, for sufficiently small mesh spacing, and for degree-$p$ C-SBP discretizations in $d$ spatial dimensions with $p>1+d/2$, this bound remains finite on any finite time interval and tends to zero as the mesh is refined, implying convergence despite the presence of local linear instabilities. The results help clarify the relationship between consistency, entropy stability, nonlinear error growth, and convergence for discretizations of nonlinear hyperbolic problems.

2026-03-19T00:08:46Z 26 pages Zelalem Arega Worku David C. Del Rey Fernández David W. Zingg