https://arxiv.org/api/w+9bdlDzMsKtRcSd0UUOqgF1c2I 2026-06-21T19:49:22Z 49870 180 15 http://arxiv.org/abs/2606.13225v2 2026-06-12T11:25:39Z

We show that the $QR$ factorization of a banded-plus-semiseparable (BPS) matrix is computable in optimal linear complexity with respect to the discretization size by showing that the intermediate stages of a $QR$ factorization as computed using Householder reflection maintain a specific structure which has optimal storage. This theoretical result enables the design of stable, linear-complexity algorithms for solving the associated linear systems. For symmetric BPS matrices, we further show that the $RQ$ product -- central to eigenvalue computations via the $QR$ algorithm -- also preserves the BPS structure, leading to a linear-complexity algorithm for each iteration. Numerical experiments validate the optimal linear complexity, confirm high numerical accuracy, and demonstrate substantial speedups compared with existing hierarchical approaches. The algorithms have been implemented in an open-source Julia package, providing an efficient and accessible platform for practical use.

2026-06-11T11:39:02Z Tao Chen Sheehan Olver http://arxiv.org/abs/2601.03971v2 2026-06-12T10:57:10Z

In large-scale Bayesian inverse problems, it is often necessary to apply approximate forward models to reduce the cost of forward model evaluations, while controlling approximation quality. In the context of Bayesian inverse problems with linear forward models, Gaussian priors, and Gaussian noise, we use perturbation theory for inverses to bound the error in the approximate posterior mean and posterior covariance resulting from a linear approximate forward model. We then focus on the smoothing problem of inferring the initial condition of linear time-invariant dynamical systems, using finitely many partial state observations. For such problems, and for a specific model order reduction method based on balanced truncation, we show that the impulse response of a certain prior-driven system is closely related to the prior-preconditioned Hessian of the inverse problem. This reveals a novel connection between systems theory and inverse problems. We exploit this connection to prove the first a priori error bounds for system-theoretic model order reduction methods applied to smoothing problems. The bounds control the approximation error of the posterior mean and covariance in terms of the truncated Hankel singular values of the underlying system.

2026-01-07T14:34:51Z Josie König Han Cheng Lie http://arxiv.org/abs/2606.14328v1 2026-06-12T10:22:43Z

Simulating high-enthalpy fractured geothermal reservoirs is challenging due to the complex coupled processes of non-isothermal, multiphase, multicomponent flow, strongly nonlinear thermodynamics, and the dominant role of fractures. These complexities are amplified by mineral scaling, such as halite precipitation, which can impair reservoir permeability and well productivity. To address this, we present a new compositional flow model based on a persistent set of primary variables (pressure, enthalpy, and overall salt mass fraction). The formulation naturally handles phase transitions without manual switching, enhancing numerical stability. The model integrates a discrete fracture-matrix approach and employs an efficient, robust correlation-based phase-behaviour linearisation of saltwater thermodynamics, replacing expensive on-the-fly phase separation calculations. It incorporates the Kozeny-Carman relation to dynamically model porosity and permeability reduction from halite precipitation. Implemented in the open-source PorePy framework, the model is verified through a 1D salt dissolution benchmark against the established closed-source simulator CSMP++, showing strong agreement across geothermal conditions involving transitions between single- and multi-phase regions. Application to a 2D halite-saturated fractured reservoir with injection and production demonstrates the model's capability to predict halite precipitation patterns and their impact on permeability damage and energy recovery. Numerical results further show the model's value in predicting operational challenges such as wellbore blockage and the role of fracture connectivity. The model thus provides an open-source numerical tool for analysing complex heat and mass transport with mineral scaling in high-enthalpy fractured geothermal systems.

2026-06-12T10:22:43Z 29 pages, 18 figures. Accepted for oral presentation at CMWR 2026 (University of Bologna). Reproducibility docker image is available: doi.org/10.5281/zenodo.20578448 Micheal B. Oguntola Omar Duran Eirik Keilegavlen Inga Berre http://arxiv.org/abs/2606.14316v1 2026-06-12T09:56:03Z

Classical high-order backward differentiation formula (BDF) methods for the Landau-Lifshitz-Gilbert (LLG) equation often suffer from restrictive stability constraints, requiring small time steps and imposing stringent lower bounds on the damping parameter. These limitations become particularly severe for schemes of order higher than three. In this paper, we develop a class of high-order generalized BDF (GBDF) schemes for the LLG equation, including both semi-implicit and fully explicit treatments of the gyromagnetic term. The proposed schemes significantly improve stability properties and substantially relax the damping parameter constraints, but introduce essential difficulty in its analysis compared to the classical BDF schemes. We construct a novel multiplier which enables us to carry out a energy-based error analysis. This approach yields optimal-order error estimates under considerably weaker assumptions on the damping parameter than those required for classical BDF schemes. Numerical experiments are presented to confirm the theoretical results, and demonstrate that the proposed GBDF schemes achieve higher accuracy, enhanced stability, and much wider admissible damping regimes compared to classical high-order BDF methods.

2026-06-12T09:56:03Z 24 pages, 8 figures Fukeng Huang Binghong Li Xiaoli Li Jie Shen http://arxiv.org/abs/2411.17564v2 2026-06-12T09:47:44Z

In this paper, we propose a new approach -- the Tempered Finite Element Method (TFEM) -- that extends the Finite Element Method (FEM) to classes of meshes that include zero-measure or nearly degenerate elements for which standard FEM approaches do not allow convergence. First, we review why the maximum angle condition [2] is not necessary for FEM convergence and what are the real limitations in terms of meshes. Next, we propose a simple modification of the classical FEM for elliptic problems that provably allows convergence for a wider class of meshes including bands of caps that cause locking of the solution in standard FEM formulations. The proposed method is trivial to implement in an existing FEM code and can be theoretically analyzed. We prove that in the case of exactly zero-measure elements it corresponds to mortaring. We show numerically and theoretically that what we propose is functional and sound. The remainder of the paper is devoted to extensions of the TFEM method to linear elasticity, mortaring of non-conforming meshes, high-order elements, and advection.

2024-11-26T16:27:15Z Antoine Quiriny Václav Kučera Jonathan Lambrechts Nicolas Moës Jean-François Remacle http://arxiv.org/abs/2606.14301v1 2026-06-12T09:37:16Z

Sliver elements are an intrinsic difficulty of three-dimensional tetrahedral mesh generation and remain costly, and sometimes impractical, to eliminate completely. Although isolated degenerate elements do not necessarily prevent finite element convergence, connected clusters or sheets of slivers may impose artificial constraints on the discrete solution, leading to locking and severe loss of accuracy. In this work, we revisit the effect of slivers from the viewpoint of the finite element solution and propose a robust solver-side treatment based on the Tempered Finite Element Method (TFEM). The method limits the singular contribution of degenerate elements by introducing a lower bound on the Jacobian determinant, which can be interpreted as a vanishing added-volume correction. The resulting formulation prevents the effective element volume from falling below a threshold while preserving the relevant physical modes of the solution. We analyze the stiffness matrices of degenerate tetrahedra, identify the mechanisms responsible for locking in sliver bands, and assess the method on a range of representative physical problems, including incompressible flow, Cahn--Hilliard phase-field dynamics, transient wave propagation, and vibro-acoustic fluid--structure interaction. The numerical results show that TFEM consistently recovers accurate and physically meaningful solutions on meshes for which standard FEM exhibits locking or loss of convergence, providing a simple and broadly applicable alternative to exhaustive geometric sliver removal.

2026-06-12T09:37:16Z Antoine Quiriny Jonathan Lambrechts Nicolas Moës Václav Kučera Jean-François Remacle http://arxiv.org/abs/2606.14289v1 2026-06-12T09:16:58Z

Population-based and distributional optimization methods, from evolution strategies and consensus-based optimization to covariance-matrix adaptation and stochastic gradient methods viewed as distributional dynamics, are widely used for nonconvex or black-box problems, yet their convergence analyses remain fragmented across algorithm-specific techniques. We introduce an operator calculus in which a broad class of such methods, after choosing an appropriate state space and, where necessary, augmenting the state by memory or strategy variables, is described as a composition of three elementary operators (mutation, selection, and recombination) acting on probability measures. Under explicit stability and regularity conditions, the composite operator admits a pre-generator whose continuous-time limit is a transport-reaction-jump (TRJ) PDE that preserves the operator splitting. On this foundation we establish a modular Lyapunov principle. If a state-space Lyapunov function both dissipates under the full generator and controls the relevant search-space gauges, then the state-space Lyapunov functional and the induced search errors decay exponentially. The additive generator structure allows dissipation estimates to be assembled operator by operator, providing a toolkit for certifying convergence of composite mean-field algorithms.

2026-06-12T09:16:58Z 71 pages, 4 figures, 2 tables; ancillary files contain Python code reproducing the numerical experiments Pekka Malo Lauri Viitasaari Patrik Nummi Antti Suominen Ankur Sinha Olli Tahvonen http://arxiv.org/abs/2601.09337v2 2026-06-12T08:56:23Z

The Unmapped Tent Pitching (UTP) algorithm is a space--time domain decomposition method for the parallel solution of hyperbolic problems. It was originally introduced for the homogeneous one-dimensional wave equation in [Ciaramella, Gander, Mazzieri, 2024]. UTP is inspired by the Mapped Tent Pitching (MTP) algorithm [Gopalakrishnan, Sch{ö}berl, Wintersteiger, 2017], which constructs the solution by iteratively building polytopal space--time subdomains, referred to as tents. In MTP, each physical tent is mapped onto a space--time rectangle, where local problems are solved before being mapped back to the original domain. In contrast, UTP avoids the nonlinear and potentially singular mapping step by computing the solution directly on a physical space--time rectangle that contains the tent, at the expense of redundant computations in the region outside the tent. In this work, we investigate several strategies to extend UTP to heterogeneous media, where the wave propagation speed is piecewise constant over two subregions of the domain. Among the considered approaches, the most efficient in terms of computational time is the one employing space--time subdomains with identical spatial and temporal dimensions in both regions, determined by the maximum propagation speed.

2026-01-14T10:12:28Z Marcella Bonazzoli IDEFIX Gabriele Ciaramella MOX Ilario Mazzieri MOX http://arxiv.org/abs/2606.14273v1 2026-06-12T08:55:54Z

In this paper, we construct nonconforming finite element spaces $\boldsymbol{V}^{\mathbf{d}\cap\mathring{\boldsymbolδ}}_hΛ^k$ for the approximation of $HΛ^k\cap H^*_0Λ^k$ on simplicial meshes, for $n\ge 2$ and $1\le k\le n-1$, by enforcing adjoint continuity against piecewise Whitney spaces rather than trace matching. It holds, with $\mathbf{d}^k_h$ and $\boldsymbolδ_{k,h}$ denoting respectively the piecewise action of differential and codifferential operators, and $\boldsymbol{\mathfrak{H}}_hΛ^k$ being the discrete harmonic forms in the FEEC sense, that $\boldsymbol{\mathfrak{H}}_hΛ^k=\{\boldsymbolμ_h\in \boldsymbol{V}^{\mathbf{d}\cap\mathring{\boldsymbolδ}}_hΛ^k:\mathbf{d}^k_h\boldsymbolμ_h=0,\ \boldsymbolδ_{k,h}\boldsymbolμ_h=0\}$, which mirrors the continuous Hodge--Laplace kernel on domains with nontrivial topology. The space is not a classical Ciarlet-type finite element space; though, a uniform discrete Poincare inequality and locally supported basis functions (supported on at most two cells) are guaranteed. The resulting primal scheme yields an $O(h)$ error bound for smooth data and $O(h^s)$ on $s$-regular domains ($0<s\le 1$), nontrivial topology admitted. Two- and three-dimensional eigenvalue tests agree with the mixed method on perforated domains, which are given to verify the validity of the scheme.

2026-06-12T08:55:54Z 55 pages, 22 figures Wenyu Dong Shuo Zhang http://arxiv.org/abs/2606.14264v1 2026-06-12T08:48:11Z

We propose a median digital-net algorithm for $L^2$-approximation of non-periodic functions over $[0,1]^s$, inspired by the recently developed median lattice algorithms for the periodic setting. The algorithm requires no smoothness or weight parameters but only a sufficiently large candidate Walsh index set $K$. It proceeds in three stages: generating multiple estimates of the Walsh coefficients in $K$ using independent randomized digital-net samples; taking the respective median of both the estimates and their absolute values; then, based on these median values, identifying the dominant coefficients and constructing a truncated Walsh series as the final approximation. We prove that if the target function has dominating mixed partial derivatives up to order $α$, all having finite Vitali variation of fractional order $λ$, then the algorithm achieves an $L^2$-error of $\mathcal{O}(M^{-α-λ+ε})$ with high probability, where $M$ is the total number of function evaluations and $ε>0$ is arbitrarily small. Furthermore, the implied constant grows at most polynomially in the dimension $s$ under suitable decay conditions on the ANOVA components of the target function. On the implementation side, we provide both parameter-dependent and -independent constructions of the index set $K$, and employ the fast Walsh--Hadamard transform and Gray code to accelerate the algorithm. Numerical experiments support the theoretical analysis and demonstrate that the proposed algorithm remains effective in high-dimensional settings.

2026-06-12T08:48:11Z Ziyang Ye Xiaoqun Wang Zexin Pan http://arxiv.org/abs/2505.09770v2 2026-06-12T07:31:13Z

This paper is the first in a series devoted to the development of efficient and highly accurate algorithms, with multiprecision \texttt{Fortran} implementations, for the computation of Bessel functions. In this first part, we present a \emph{novel, self-contained, efficient,} and \emph{multiprecision} algorithm for evaluating the modified Bessel function of the first kind, $I_ν(z)$. The method integrates several analytic representations of $I_ν(z)$, carefully selected to ensure both high accuracy and suitability for high-precision computation, together with optimally determined transition boundaries between computational regions. This design achieves high efficiency while fully preserving numerical accuracy. Unlike other widely used algorithms and libraries, such as AMOS, Boost, and GSL, which either reject negative orders $ν$ or rely on special-case symmetries valid only for integer orders, the present algorithm provides a stable approach for evaluating $I_ν(z)$ for arbitrary real orders, including $ν< 0$, and complex arguments $z$. The developed robust \texttt{Fortran} implementation provides support for both double and native quadruple-precision arithmetic. The availability of quadruple precision further enhances numerical stability, extends the reliable computational domain in $(ν, |z|)$ by approximately an order of magnitude in each direction, and enables accuracies exceeding 26 significant digits. This advancement substantially broadens the applicability of the method to demanding high-precision problems in science and engineering. Compared to AMOS (Algorithm~644), which is restricted to double precision, the present algorithm exhibits superior accuracy and efficiency, with benchmark tests demonstrating execution times reduced to 38--71\% of those of AMOS in double precision.

2025-05-14T20:00:25Z Mofreh R. Zaghloul Steven G. Johnson http://arxiv.org/abs/2606.14191v1 2026-06-12T07:19:31Z

We propose and analyze a generalized compartment model for hacker dynamics in cybersecurity systems. This model is an extension of a recently introduced framework, replacing the bilinear interaction term with a broad class of nonlinear incidence functions. This provides greater modeling flexibility and allows for the description of a wider range of cyber-propagation and information-spreading processes. First, we investigate the qualitative dynamics of the model. We establish the positivity and boundedness of solutions, derive the basic reproduction number, and characterize the existence of hacker-free and hacker-present equilibria. We obtain local and global asymptotic stability results, yielding a complete description of the global dynamics in terms of the basic reproduction number. Next, we develop a second-order, positivity-preserving, nonstandard finite difference (NSFD) scheme for numerical simulations. Unlike many existing NSFD approaches, which are typically first-order accurate, the proposed method achieves second-order convergence while preserving positivity for arbitrary step sizes. Furthermore, the proposed method reproduces the asymptotic stability properties of the continuous model, making it suitable for long-time simulations. Numerical experiments validate the theoretical results and demonstrate the superior accuracy and qualitative performance of the proposed scheme compared to several first-order methods.

2026-06-12T07:19:31Z 27 pages, 3 figures Manh Tuan Hoang Hoai Thu Pham Matthias Ehrhardt http://arxiv.org/abs/2606.14181v1 2026-06-12T07:02:27Z

Physics-informed neural networks (PINNs) are meshless and carry moving geometry and topology change through resampling of collocation points; the finite-element method (FEM) is the workhorse for boundary-fitted discretisations. Coupling the two across a shared interface promises the best of both, yet existing PINN-FEM schemes are validated only empirically. We put the coupling on a domain-decomposition footing: viewing each solver as a Steklov-Poincaré (trace-to-flux) operator, we transfer the classical Dirichlet-Neumann (DN) divergence diagnosis and its Robin-Neumann (RN) cure, including a closed-form, sweep-free interface impedance, and prove a PINN-specific contraction theorem: a trained network realises only a perturbed Steklov operator with a per-step training residual, and RN still contracts, with no shared-eigenbasis hypothesis, to a floor set by the achieved training loss. Because a PINN has no stiffness matrix, we introduce a Fourier-mode interface probe that recovers the network's resolvable Steklov eigenvalues to within 0.5% and doubles as a diagnostic of the network's spectral cap. The theory predicts measured PINN-FEM contraction rates to within 7% on 1D and 2D Poisson couplings, and a two-slab analogue of the large-added-mass regime shows RN's per-mode impedance matching winning decisively where tuned scalar relaxation saturates. We demonstrate the framework on a Stokes/rigid-disc problem with Alart-Curnier contact: the meshless PINN fluid absorbs the topology change at contact by collocation exclusion alone, no remeshing and no cut cells, and the static-equilibrium contact reaction matches the submerged weight to 0.4% under mesh refinement. We quantify remaining limitations: the warm-started PINN drifts off the Stokes manifold over long horizons, and matched FEM-FEM benchmarks attribute pre-impact squeeze-film signatures to PINN under-resolution.

2026-06-12T07:02:27Z Mikel Landajuela http://arxiv.org/abs/2606.14170v1 2026-06-12T06:52:44Z

In this work, by construct an asymptotic coupling by reflection, we first explore the uniform-in-time estimate on probability distance for two measure-valued processes induced by a McKean-Vlasov SDE with common noise and an interacting particle system, where the drift terms are dissipative merely in the long distance. As direct applications of this estimate, we establish the uniform-in-time error estimates for the numerical solutions derived via backward/tamed/adaptive Euler-Maruyama methods. Moreover, as another direct application, the uniform-in-time conditional propagation of chaos is quantified.

2026-06-12T06:52:44Z Yuhang Zhang Minghui Song http://arxiv.org/abs/2203.01633v7 2026-06-12T03:54:08Z

We propose a numerical algorithm for the computation of multi-marginal optimal transport (MMOT) problems involving general probability measures that are not necessarily discrete. By developing a relaxation scheme in which marginal constraints are replaced by finitely many linear constraints and by proving a specifically tailored duality result for this setting, we approximate the MMOT problem by a linear semi-infinite optimization problem. Moreover, we are able to recover a feasible and approximately optimal solution of the MMOT problem, and its sub-optimality can be controlled to be arbitrarily close to 0 under mild conditions. The developed approximation scheme leads to a numerical algorithm which can compute a feasible and approximately optimal solution of the MMOT problem with arbitrarily small sub-optimality. Besides the approximately optimal solution, the algorithm also computes upper and lower bounds for the optimal value of the MMOT problem. The difference between the computed bounds provides an explicit sub-optimality bound for the computed approximately optimal solution. We demonstrate the proposed algorithm in three numerical experiments involving an MMOT problem that stems from fluid dynamics, the Wasserstein barycenter problem, and a large-scale MMOT problem with 100 marginals. We observe that our algorithm is capable of computing high-quality solutions of these MMOT problems and the computed sub-optimality bounds are much less conservative than their theoretical upper bounds in all the experiments. Moreover, we compare our algorithm with existing regularization-based algorithms to showcase its advantages.

2022-03-03T10:48:26Z Ariel Neufeld Qikun Xiang