https://arxiv.org/api/UWdeWDbmeYBU/CdpeC4Aoy87n/0 2026-06-22T13:12:58Z 49870 405 15 http://arxiv.org/abs/2606.07122v1 2026-06-05T10:24:20Z

We develop a unified DeepONet framework for logarithmically stable infinite-dimensional inverse problems, with inverse acoustic scattering as a model application. The framework is formulated at the operator level by separating the learned inverse map into measurement encoding, finite-dimensional neural approximation, and functional reconstruction components. For inverse maps satisfying a logarithmic stability estimate, we establish quantitative a priori error bounds giving separate estimates for the encoder error, the neural approximation error, and the reconstruction error, thereby characterizing the dependence on the encoder dimension, the network size, and the reconstruction dimension. For comparison, we also record the corresponding Lipschitz-stable estimate arising from the same error decomposition. The abstract theory is then specialized to the recovery of a medium contrast from fixed-frequency far-field measurements. Numerical experiments in two and three dimensions illustrate stable reconstructions under measurement noise.

2026-06-05T10:24:20Z Wen-Jie Wu Tiexiang Li Wen-Wei Lin http://arxiv.org/abs/2606.02475v2 2026-06-05T09:36:44Z

Classical finite-difference solvers remain reliable tools for partial differential equations, but their efficiency depends on where mesh resolution is placed. Uniform refinement can waste degrees of freedom when solution difficulty is localised near sharp gradients, fronts, oscillations, or constraint-sensitive regions. This paper studies a hybrid strategy in which a physics-informed neural network (PINN) is used not as the final solver, but as an off-grid residual probe for adaptive mesh refinement. The PINN residual is sampled over the domain, converted into cellwise indicators, and used to guide refinement before the final approximation is computed by a finite-difference solver. The method is evaluated on three benchmarks. The main full-solver validation uses the one-dimensional viscous Burgers equation with a nonuniform finite-difference solve on the adapted meshes. PINN-threshold refinement attains final relative $L^2$ error $0.021067$ with $60$ degrees of freedom, compared with $0.022617$ for uniform refinement with $192$ degrees of freedom. At matched mesh size, PINN-threshold reduces the error by about $67.5\%$. PINN-Dörfler refinement gives similar performance, with error $0.021264$ using $58$ degrees of freedom. A gradient indicator remains slightly more accurate, so the result supports usefulness rather than universal superiority. Manufactured 2D and 3D proxy tests, based on a nonlinear Schrödinger equation and an incompressible Navier--Stokes system, show that PINN residuals can organise structured refinement and improve over random refinement, although they do not consistently outperform gradient or uniform baselines. The results support PINN-guided AMR as a residual-indicator strategy for transferring physics-informed diagnostic information into finite-difference mesh adaptation while preserving the classical solver as the final approximation engine.

2026-06-01T16:47:21Z 20 pages, 5 tables, 5 figures Henry Kasumba Ronald Katende http://arxiv.org/abs/2605.19867v2 2026-06-05T09:31:55Z

Neural operators are increasingly used as accelerators inside classical numerical methods, but it is rarely clear which architectural ingredients matter for which application. We answer this question for one important use case: the coarse-space correction inside a two-level preconditioner for discretised linear partial differential equations. We systematically vary four DeepONet-like architectures along two design axes: input discretisation (sampling versus integration against a basis) and source-term linearity. In doing this, we show that the favourable corner of this 2$\times$2 design is occupied by a single architecture, the Neural Green's Operator (NGO), and that moving away from it produces predictable failure modes: structurally non-symmetric preconditioned spectra, breakdown of preconditioned conjugate gradients on self-adjoint problems, and stagnation on non-self-adjoint ones. Used as a coarse-space correction, the NGO matches the iteration count of an exact coarse solve on diffusion and advection-diffusion problems. The principle generalises: integrating inputs against the basis used for the output is what allows a neural operator to serve as a Galerkin-type coarse-space correction.

2026-05-19T13:58:31Z Hugo Melchers Victorita Dolean Michael Abdelmalik http://arxiv.org/abs/2604.26535v2 2026-06-05T09:21:07Z

The Matérn covariance model is ubiquitous in spatial modelling, but there is no default choice for spatio-temporal modelling. In this paper, we consider the recently proposed ``diffusion-based'' extension of the spatial Matérn covariance model to a spatio-temporal non-separable covariance model that allows fractional smoothnesses in space and in time. The model is described in terms of a space-time fractional stochastic partial differential equation, but currently proposed computational approaches have strong restrictions on the possible smoothnesses in time. We propose a discretization method based on rational approximations in time to handle arbitrary smoothnesses, which leads to a vector autoregressive moving average process (VARMA). We prove that the covariance function of the approximation converges pointwise, determine explicit convergence rates as a function of spatial and temporal resolutions and the accuracy of the rational approximation, and conduct numerical verification to demonstrate small pointwise error for low orders of the VARMA process. Through a simulation study, we demonstrate that the parameters can be estimated back and that correctly specifying the temporal smoothness is especially important for forecasting. The approach is illustrated for three months of daily mean temperatures in mainland France.

2026-04-29T11:04:56Z S. Knutsen Furset Geir-Arne Fuglstad Espen R. Jakobsen http://arxiv.org/abs/2601.10474v2 2026-06-05T09:21:04Z

We consider a discontinuous Galerkin method for the numerical solution of boundary value problems in two-dimensional domains with curved boundaries. A key challenge in this setting is the potential loss of convergence order due to approximating the physical domain by a polygonal mesh. Unless boundary conditions can be accurately transferred from the true boundary to the computational one, such geometric approximation errors generally lead to suboptimal convergence. To overcome this limitation, a higher-order strategy based on polynomial reconstruction of boundary data was introduced for classical finite element methods in [31, 32] and in the finite volume context in [8, 14]. More recently, this approach was extended to discontinuous Galerkin methods in [35], leading to the DG-ROD method, which restores optimal convergence rates on polygonal approximations of domains with curved boundaries. In this work, we provide a rigorous theoretical analysis of the DG-ROD method, establishing existence and uniqueness of the discrete solution and deriving error estimates for a two-dimensional linear advection-diffusion-reaction problem with homogeneous Dirichlet boundary conditions on both convex and non-convex domains. Following and extending techniques from classical finite element methods [32], we prove that, under suitable regularity assumptions on the exact solution, the DG-ROD method achieves optimal convergence despite polygonal approximations. Finally, we illustrate and confirm the theoretical results with a numerical benchmark considering triangular meshes

2026-01-15T14:58:26Z Adérito Araújo Milene Santos http://arxiv.org/abs/2606.07004v1 2026-06-05T07:50:33Z

Estimating the logarithm of the determinant of large sparse positive definite symmetric matrices is an important task in numerical linear algebra, machine learning, Gaussian processes, and uncertainty quantification. In this work, we introduce two scalable and efficient methods for large-scale log-determinant termed the Optimal Stochastic Arnoldi with Incomplete Orthogonalization Procedure (OSA-IOP) and the Optimal Stochastic Lanczos Quadrature (OSLQ). The OSA-IOP approach extends the Incomplete Orthogonalization Procedure (IOP), originally developed for matrix exponential functions for exponential time stepping integrators, to compute the action of the matrix algorithm on a vector. We observe that combining IOP with a randomized Hutch++ algorithm, the OSA-IOP significantly reduces computational cost while maintaining high accuracy. The OSLQ method estimates log-determinants by coupling Lanczos quadrature with Hutch++ and controlled orthogonalization, leveraging Krylov subspaces as efficient quadrature mechanisms to approximate quadratic forms involving the matrix logarithm. We derive error bounds for both methods. Extensive numerical experiments on large-scale sparse matrices from real-world applications demonstrate the accuracy, robustness, and scalability of the proposed approaches.

2026-06-05T07:50:33Z Verlon Roel Mbingui Antoine Tambue Issa Karambal http://arxiv.org/abs/2601.19542v2 2026-06-05T04:56:31Z

This paper presents an axisymmetric Galerkin boundary element method (BEM) for modeling eddy-current interactions between excitation coils and conductive objects. The formulation derives boundary integral equations from the Stratton-Chu representation for the azimuthal component of the vector potential in both air and conductive regions. The central contribution is a unified regularization framework for the two-dimensional (2D) singular integrals arising in Galerkin BEM. This framework handles both logarithmic and Cauchy singularities through a common set of integral transformations, eliminating the need for case-by-case analytical singularity extraction and enabling straightforward numerical quadrature. The regularization and quadrature stability are proved and verified numerically. The method is validated on several representative axisymmetric geometries, including cylindrical, conical, and spherical shells. Numerical experiments demonstrate consistently high accuracy and computational efficiency over the tested frequency interval and coil lift-off distances. The results confirm that the proposed axisymmetric Galerkin BEM, combined with the integral transformation technique, provides a robust and efficient framework for axisymmetric eddy-current nondestructive evaluation.

2026-01-27T12:32:37Z 30 pages, 6 figures Yao Luo http://arxiv.org/abs/2512.13246v3 2026-06-05T02:20:08Z

Hamiltonian Monte Carlo (HMC) generates efficient Markov transitions by combining Hamiltonian dynamics with a Metropolis correction. This paper develops a geometric \(q\)-analogue of HMC by replacing classical Hamiltonian dynamics with a \(q\)-deformed Hamiltonian system arising from \(q\)-calculus. Starting from a Lagrangian formulation, we derive the corresponding \(q\)-Hamiltonian equations and prove the formal invariance of the associated \(q\)-symplectic form within the \(q\)-deformed differential calculus. To obtain a computable sampler, we introduce a Jackson-derivative realization and construct a Metropolis-corrected \(q\)-HMC algorithm. The proposal reduces to classical HMC as \(q\to1\), while for \(q\neq1\) it replaces ordinary derivatives by \(q\)-Jackson finite differences. We establish detailed balance, which ensures that the resulting Markov transition preserves the target distribution. Numerical experiments examine the computational behavior of the proposed method. For positive-scale black-box targets, the \(q\)-Jackson force has a scale-consistent interpretation: multiplicative perturbations of \(s>0\) correspond to centered finite differences in \(y=\log s\). In such examples, \(q\)-HMC closely tracks log-coordinate finite-difference HMC and the exact-gradient benchmark, whereas raw additive finite differences may produce large force and Hamiltonian errors. These results suggest that the proposed \(q\)-analogue provides a valid HMC-type sampling framework with a visible advantage for positive and multiplicative black-box targets.

2025-12-15T11:58:46Z Xiaomei Yang Zhiliang Deng http://arxiv.org/abs/2606.06809v1 2026-06-05T01:22:57Z

We introduce a measure-based nudging framework for assimilating macroscopic observations into microscopic mean-field particle dynamics. The central difficulty is a representation mismatch: the forecast is a labeled particle system, while the observations specify only a smoothed, permutation-invariant density. To address this mismatch, we define the forecast-observation discrepancy as a quadratic functional on probability measures after applying the same smoothing operator used by the observation process. The Wasserstein gradient of this functional induces a transport velocity on state space, which yields a particle-level correction without constructing particle-to-particle matching, linearizing the dynamics, or estimating ensemble covariances. For a fixed observation scale, we prove well-posedness of the assimilated McKean-Vlasov dynamics and propagation of chaos for the interacting particle approximation. Under exact smoothed observations and an observability condition at the kernel scale, we establish an $L^2$-stability estimate showing exponential decay up to a bias floor controlled by model misspecification. Numerical experiments on linear, bimodal, chaotic, kinetic, and collective-motion systems demonstrate that the method can recover macroscopic structure from incomplete density-level observations.

2026-06-05T01:22:57Z Liyao Lyu Xinyue Yu Hayden Schaeffer http://arxiv.org/abs/2507.03192v3 2026-06-04T22:59:48Z

High-velocity fluid flow through porous media is modeled by prescribing a nonlinear relationship between the flow rate and the pressure gradient, called the Darcy--Forchheimer equation. This paper is concerned with the analysis of parallel multilevel methods for solving the Darcy--Forchheimer model. We begin by reformulating the Darcy--Forchheimer model as a nearly semicoercive convex optimization problem via the augmented Lagrangian method. Building on this formulation, we develop a parallel multilevel method, also known as a multilevel additive Schwarz method, within the framework of subspace correction for nearly semicoercive convex problems, yielding a theoretically supported and computationally efficient solver for the Darcy--Forchheimer model. The convergence analysis establishes robustness with respect to the augmented Lagrangian parameter $ε$. To further enhance convergence, we incorporate a backtracking line search and a full approximation scheme. Numerical results support the theoretical findings and demonstrate the effectiveness of the proposed approach.

2025-07-03T21:53:23Z 31 pages, 3 figures Jongho Park S. Majid Hassanizadeh http://arxiv.org/abs/2606.06750v1 2026-06-04T22:21:26Z

In this work we propose, by linearizing the equations of fully nonlinear poroelasticity, a consistent model in which only the solid phase is incompressible. This reformulation circumvents some inconsistency issues encountered in standard primal formulations of nonlinear poroelasticity while still retaining its key physical coupling mechanisms. We show a well-posed and consistent discretization strategy and also formulate scalable solvers based on a Schur complement formalism. A distinctive feature of the model is that it allows for a lowest order, inf-sup stable family of Finite Elements (FE) spaces. Numerical tests in two and three dimensions are provided to validate the proposed method and solver framework.

2026-06-04T22:21:26Z Nicolás A. Barnafi Andrés E. Rubiano Ricardo Ruiz-Baier http://arxiv.org/abs/2603.26212v2 2026-06-04T21:16:37Z

We develop an unfitted compatible finite element discretisation for the Darcy problem based on $H(\mathrm{div})$-conforming flux spaces and discontinuous pressure spaces. The method is designed to preserve pointwise discrete mass conservation while remaining robust in the presence of arbitrarily small cut cells arising from unfitted meshes. Robustness is achieved by combining an $L^2$-stabilisation of the flux with an additional mixed-term stabilisation that enhances pressure control without destroying the local conservation structure. We consider both cell-wise (bulk) and face-based ghost-penalty realisations of the stabilisation. Mixed boundary conditions are handled by weak imposition of both flux and pressure traces on unfitted boundaries. We prove stability and a priori error estimates with constants independent of the cut configuration, and establish pressure-robust flux error bounds in the case of pure pressure boundary conditions. We also introduce an augmented Lagrangian variant that improves control of the conservation constraint and is amenable to efficient preconditioning strategies. Numerical experiments for a range of cut configurations, boundary-condition regimes and parameter choices confirm the theoretical results, demonstrating optimal convergence, cut-independent conditioning and mass conservation up to solver tolerance.

2026-03-27T09:35:31Z Santiago Badia Anne Boschman Alberto F. Martín Erik Nilsson Ricardo Ruiz-Baier Sara Zahedi http://arxiv.org/abs/2606.06720v1 2026-06-04T21:10:54Z

We propose and study a simple and scalable Fourier-based spectral method for a continuum model of network formation under periodic boundary conditions. The model provides the evolution of the pressure $p$ and the conductivity $m$ over time. The evolution of $p$ is given by an anisotropic Poisson equation, while the equation for $m$ contains three terms corresponding to a diffusion and an activation term of the network -- that depends on the gradient of the pressure -- as well as a relaxation term that acts as a decaying term. This system arises as a formal $L^2$-gradient flow of a non-convex energy functional. Our algorithm combines two ingredients: (i) a splitting method for the equation for $m$, where the activation and relaxation parts are solved analytically, and the diffusion part is solved via Fast Fourier Transform (FFT), and (ii) an FFT combined with the Conjugate Gradient (CG) method applied to the equation for the pressure. This makes the scheme easy to implement compared to implicit schemes and naturally extensible to three dimensions on uniform periodic grids. To showcase the method, we recover the previously documented influence of the activation strength $c$, the diffusion coefficient $D$, and the metabolic exponent $γ$ on the morphology of emergent networks, and report grid convergence results.

2026-06-04T21:10:54Z 17 pages, 8 figures Pedro Aceves-Sanchez Pierre Degond Sara Merino-Aceituno Claudia Wytrzens http://arxiv.org/abs/2606.06719v1 2026-06-04T21:10:22Z

We study a semidiscrete single-field Galerkin approximation of the Cahn-Hilliard equation using high-order conforming finite element spaces. More specifically, globally $C^1$ finite elements with $H^2$-conforming trial spaces, including Argyris, Bell, and Bogner-Fox-Schmit elements, allow a direct discretization of the fourth-order formulation and preserve mass exactly. The main structural result is an exact energy balance for the physical Cahn-Hilliard energy. Besides the expected discrete dissipation, the balance contains an explicitly computable energy defect. This defect vanishes for Laplacian-invariant periodic spaces, such as Fourier spaces, but is generally nonzero for classical $C^1$ finite elements. It therefore quantifies the precise loss of a discrete gradient-flow structure. We prove semidiscrete a priori error estimates by a relative-energy argument. The estimate is closed using an augmented relative energy and a discrete elliptic reconstruction bound for the inverse discrete Laplacian. The resulting convergence rates match the expected approximation orders. Numerical experiments with Bell and Argyris elements confirm the rates and demonstrate the defect mechanism by comparison with a Fourier reference discretization.

2026-06-04T21:10:22Z Aaron Brunk Marvin Fritz http://arxiv.org/abs/2605.21709v2 2026-06-04T20:03:05Z

In this article, we design an original solver based on Quantized Tensor Trains (QTT) for linear elliptic equations with heterogeneous coefficient field, that allows for extremely fine meshes. It can achieve full-field simulations in dimensions $d=2$ and $d=3$ with a number of Degrees of Freedom (DoFs) up to $20$ orders of magnitude beyond the classical solvers, recovering accurately the solution as well as its gradient in the $\LL^2$ norm. For treating such an enormous amount of data, the solver crucially relies on the exponential compression properties of QTTs. This significantly improves upon the existing literature. The main ingredient of the proposed solver consists in the introduction of a penalization term involving the Helmholtz--Leray projector in the equation governing the gradient unknown. For practical reasons related to the expression of the Helmholtz--Leray projector, the penalized equation is solved in Fourier space. The primal solution is then obtained from the gradient via the Green operator. A core property of the solver is that it is unconditionally stable with respect to the mesh size. Based on numerical evidence supported by mathematical analysis, we show that reliable gradients and solutions can be obtained, and guaranteed by the proposed a posteriori error estimator. As an illustration, we successfully solve an elliptic equation in a microstructured material with up to $10^{37}$ virtual degrees of freedom in dimension $d=3$.

2026-05-20T20:12:29Z V2 : - updated reference for Hauck et al - clarified difference between Hauck et al and Risthaus et al Marc Josien Anas El Hachimi Isabelle Ramière