https://arxiv.org/api/F+Xyw6Imznef+Qak6KqFkMvv8ds 2026-03-22T20:16:34Z 48280 135 15 http://arxiv.org/abs/2603.14444v1 2026-03-15T15:42:15Z

We present a user-friendly, open-source Wolfram Language package that automates the construction of an effective homogeneous generalized Voigt rheology for a spherically symmetric, incompressible layered body with Maxwell solid layers. It provides a practical bridge between layered interior models and time-domain simulations of tidal evolution. The package combines three components: (i) a forward computation of the degree-2 tidal Love number based on the propagator-matrix formulation for incompressible stratified viscoelastic bodies; (ii) numerical identification of the secular relaxation poles and residues of the layered model; and (iii) inversion of the resulting response into the compliance of an equivalent homogeneous generalized Voigt body. The implementation is based on the equivalence established for multilayer Maxwell bodies and includes an optional dominant-mode selection procedure for obtaining reduced rheological models over a prescribed frequency range. The package returns the parameters of the equivalent homogeneous model, including elastic, gravitational, viscous, and Voigt-element contributions, in a format suitable for downstream numerical applications. As a case study, we apply the package to a five-layer lunar interior model and obtain its equivalent generalized Voigt representation, together with a reduced model that preserves the tidal response over the frequency interval relevant for orbital evolution while using fewer relaxation elements. This package makes the reduction from stratified viscoelastic interiors to effective homogeneous rheologies reproducible and accessible. It allows physical tidal dissipation models to be used in long-term orbital and spin-evolution studies without having to repeatedly solve the full layered boundary-value problem.

2026-03-15T15:42:15Z 6 pages, 5 figures Yeva Gevorgyan http://arxiv.org/abs/2603.14421v1 2026-03-15T15:05:35Z

We propose a high-precision numerical quadrature framework based on local Fourier extension (LFE) approximations. The method constructs, on each subinterval, a truncated-SVD stabilized local Fourier continuation of the integrand on an extended periodic domain, and then evaluates the integral \emph{analytically} from the resulting Fourier coefficients. Under uniform sampling, the discrete LFE matrix and its TSVD factors are precomputed once and reused across all windows, yielding an efficient offline/online implementation that remains compatible with classical composite rules. We provide an error bound that reduces the quadrature error to the LFE approximation error and derive algebraic convergence rates for Sobolev-regular integrands. Numerical experiments demonstrate that, on smooth functions, the proposed quadrature reaches near machine precision with substantially fewer nodes than the composite Simpson rule. The advantage persists for oscillatory and variable-frequency integrands and becomes more pronounced for nonuniform phase structures. For continuous piecewise smooth integrands, we develop a correction strategy driven by coefficient-energy outliers to identify singularity-containing windows, followed by a localized procedure that brackets the singular point within one grid cell and corrects only the affected window contribution. The corrected quadrature restores near-spectral accuracy in the reported tests, including cases where the singularity is not aligned with the window endpoints.

2026-03-15T15:05:35Z Xinran Liu Zhenyu Zhao Benxue Gong http://arxiv.org/abs/2510.14192v2 2026-03-15T13:44:23Z

This paper develops divergence-free mixed finite element methods for the Stokes equation. Using H(div)-conforming velocities and discontinuous pressures ensures the inf-sup condition for the velocity--pressure pair and yields pointwise divergence-free velocities. However, this choice makes the vector Laplacian difficult to discretize. Inspired by mass-conserving mixed formulations with stresses, tangential--normal continuous traceless tensor elements are introduced to discretize the vector Laplacian. An inf-sup condition for the weak div operator between the stress and velocity spaces is then proved. Two key properties characterize the scheme. First, the stress--velocity inf-sup stability gives a stable discretization of the vector Laplacian without additional stabilization, unlike discontinuous Galerkin or virtual element methods. Second, the scheme has the property that if a stress field is weakly divergence-free, then it is also strongly divergence-free. This decouples the stress and velocity errors and leads to superconvergence. As a result, optimal-order error estimates are obtained for the stress, while the velocity and pressure converge at rates higher than the approximation orders of the chosen spaces. Numerical experiments confirm the theoretical results.

2025-10-16T00:51:33Z 28 pages, 2 figures Long Chen Xuehai Huang Chao Zhang Xinyue Zhao http://arxiv.org/abs/2511.14656v2 2026-03-15T13:06:56Z

In this paper, we derive optimal L2- and H1-norm error estimates for a fully discrete convex-splitting decoupled finite element method (FEM) for the two-phase diffuse interface magnetohydrodynamics (MHD) system. We use the semi-implicit backward Euler scheme in time and employ the standard inf-sup stable Taylor--Hood or Mini elements to discretize the velocity and pressure. Furthermore, we apply a pressure-correction scheme to decouple the velocity from the pressure. The optimal error estimates are obtained via novel Ritz and Stokes quasi-projection techniques. In addition, the unconditional energy stability of the proposed scheme is ensured. Numerical examples are presented to validate the theoretical analysis.

2025-11-18T16:51:49Z Ke Zhang Haiyan Su http://arxiv.org/abs/2407.13234v3 2026-03-15T12:42:18Z

We introduce the notion of Karamata regular operators, which is a notion of regularity that is suitable for obtaining concrete convergence rates for common fixed point problems. This provides a broad framework that includes, but goes beyond, Hölderian error bounds and Hölder regular operators. By concrete, we mean that the rates we obtain are explicitly expressed in terms of a function of the iteration number $k$ instead, of say, a function of the iterate $x^k$. While it is well-known that under Hölderian-like assumptions many algorithms converge linearly/sublinearly (depending on the exponent), little it is known when the underlying problem data does not satisfy Hölderian assumptions, which may happen if a problem involves exponentials and logarithms. Our main innovation is the usage of the theory of regularly varying functions which we showcase by obtaining concrete convergence rates for quasi-cylic algorithms in non-Hölderian settings. This includes certain rates that are neither sublinear nor linear but sit somewhere in-between, including a case where the rate is expressed via the Lambert W function. Finally, we connect our discussion to o-minimal geometry and show that, under mild assumptions, definable operators in any o-minimal structure are always Karamata regular.

2024-07-18T07:44:45Z 52 pages. Minor fixes. To appear in Mathematical Programming Tianxiang Liu Bruno F. Lourenço http://arxiv.org/abs/2506.21275v3 2026-03-15T10:15:38Z

Inspired by the Equation-Free paradigm, we propose an ``embed-learn-lift'' framework for constructing minimal-dimensional surrogate ROMs for the numerical analysis of high-fidelity Navier-Stokes simulations, even in the presence of symmetries that standard machine-learning surrogates often fail to preserve. The framework consists of four main stages. First, manifold learning (here both POD and Diffusion Maps) is used to uncover the intrinsic geometry and dimensionality of the latent space underlying the high-dimensional spatio-temporal Navier-Stokes dynamics across the parameter space. Second, we construct ROMs (here, via Gaussian Process regression (GPR)) of minimal dimension -- by learning the evolution equations directly on the identified latent space. Third, we exploit the toolkit of numerical bifurcation analysis to construct bifurcation diagrams and perform systematic stability analysis directly in the latent coordinates. This enables, for example, the efficient continuation of branches of limit cycles emerging from Andronov-Hopf and Neimark-Sacker bifurcations, together with the computation of limit-cycles periods and stability properties via Floquet multipliers. Such analysis is effectively intractable for the full Navier-Stokes equations. Finally, by solving the pre-image problem in manifold learning, we reconstruct the bifurcating steady and time-periodic states in the original high-dimensional physical space, thus closing the ``lift'' step of the pipeline. We show that DMs-based ROMs allow for a computationally efficient and accurate numerical bifurcation and stability analysis, thus outperforming the widely used POD-ROMs by providing a geometrically consistent parametrization and correctly identifying the intrinsic dimension even in the presence of secondary instabilities, highlighting the need for nonlinear manifold learning methods in CFD.

2025-06-26T14:00:19Z 36 pages, 19 figures Alessandro Della Pia Dimitrios G. Patsatzis Gianluigi Rozza Lucia Russo Constantinos Siettos http://arxiv.org/abs/2603.14289v1 2026-03-15T08:58:31Z

Wave equations are fundamental to describing a vast array of physical phenomena, yet their simulation in inhomogeneous media poses a computational challenge due to the highly oscillatory nature of the solutions. To overcome the high costs of traditional solvers, we propose the Windowed Fourier Propagator (WFP), a novel neural operator that efficiently learns the solution operator. The WFP's design is rooted in the physical principle of frequency locality, where wave energy scatters primarily to adjacent frequencies. By learning a set of compact, localized propagators, each mapping an input frequency to a small window of outputs, our method avoids the complexity of dense interaction models and achieves computational efficiency. Another key feature is the explicit preservation of superposition, which enables remarkable generalization from simple training data (e.g., plane waves) to arbitrary, complex wave states. We demonstrate that the WFP provides an explainable, efficient and accurate framework for data-driven wave modeling in complex media.

2026-03-15T08:58:31Z Yiyang Cai Zixuan Qiu Yunlu Shu Jiamao Wu Yingzhou Li Tianyu Wang Xi Chen http://arxiv.org/abs/2603.14270v1 2026-03-15T08:02:52Z

We study the strong convergence and bounded perturbation resilience of iterative algorithms based on the Generalized Modular String-Averaging (GMSA) procedure for infinite sequences of input operators under a general admissible control. These methods address a variety of feasibility-seeking problems in real Hilbert spaces, including the common fixed point problem and the convex feasibility problem. In addition to the general case, involving certain strongly quasi-nonexpansive input operators, we consider a specific subclass of their corresponding relaxed firmly nonexpansive operators. This subclass proves useful for establishing bounded perturbation resilience. We further demonstrate the applicability of our strong convergence results, within the GMSA framework, to the Superiorization Methodology and to Dynamic String-Averaging, analyzing the behavior of a superiorized version of our main algorithm. The novelty and significance of this work is that it not only includes a variety of earlier algorithms as special cases but, more importantly, it allows the use of modular options of string-averaging that give rise to new, hitherto unavailable, algorithmic schemes with emphasis on infinitely many input operators. The strong convergence guarantees and the applications for superiorization and dynamic string-averaging are also important facets.

2026-03-15T08:02:52Z 29 pages. Accepted for publication in the journal Numerical Algorithms Kay Barshad Yair Censor http://arxiv.org/abs/2603.14258v1 2026-03-15T07:28:10Z

In a celebrated paper \cite{noe2019boltzmann}, Noé, Olsson, Köhler and Wu introduced an efficient method for sampling high-dimensional Boltzmann distributions arising in molecular dynamics via normalizing flow approximation of transport maps. Here, we place this approach on a firm mathematical foundation. We prove the existence of a normalizing flow between the reference measure and the true Boltzmann distribution up to an arbitrarily small error in the Wasserstein distance. This result covers general Boltzmann distributions from molecular dynamics, which have low regularity due to the presence of interatomic Coulomb and Lennard-Jones interactions. The proof is based on a rigorous construction of the Moser transport map for low-regularity endpoint densities and approximation theorems for neural networks in Sobolev spaces. Numerical simulations for a simple model system and for the alanine dipeptide molecule confirm that the true and generated distributions are close in the Wasserstein distance. Moreover we observe that the RealNVP architecture does not just successfully capture the equilibrium Boltzmann distribution but also the metastable dynamics.

2026-03-15T07:28:10Z Zia Ur Rehman Gero Friesecke http://arxiv.org/abs/2603.14223v1 2026-03-15T04:55:37Z

This work addresses an inverse reconstruction task for a time-fractional pseudo-parabolic model with a temporally varying coefficient. By imposing Dirichlet boundary conditions, we aim to recover the unknown initial state from observations collected at the final time. From a theoretical perspective, we derive existence and uniqueness results by proving that, under suitable hypotheses, the problem admits a unique solution. Computationally, we introduce a finite-difference discretisation based on a time-stepping strategy and provide a detailed stability and convergence analysis. Leveraging the resulting forward solver, we then formulate an initial-data identification procedure using Tikhonov regularisation. The proposed approach is validated with numerical simulations, and its resilience is assessed via experiments that incorporate perturbations in the final-time measurements.

2026-03-15T04:55:37Z Arshyn Altybay http://arxiv.org/abs/2406.12264v4 2026-03-15T04:52:43Z

We obtain a new universal approximation theorem for continuous (possibly nonlinear) operators on arbitrary Banach spaces using the Leray-Schauder mapping. Moreover, we introduce and study a method for operator learning in Banach spaces $L^p$ of functions with multiple variables, based on orthogonal projections on polynomial bases. We derive a universal approximation result for operators where we learn a linear projection and a finite dimensional mapping under some additional assumptions. For the case of $p=2$, we give some sufficient conditions for the approximation results to hold. This article serves as the theoretical framework for a deep learning methodology in operator learning.

2024-06-18T04:44:05Z 16 pages. Comments are welcome! v4: Further typos and issues have been fixed. Some parts have been reorganized Emanuele Zappala http://arxiv.org/abs/2603.14211v1 2026-03-15T03:58:13Z

We study the problem of reconstructing interaction kernels in systems of interacting agents from macroscopic measurements when posed as an optimization problem. The reconstruction procedure depends on the formulation of the forward model, which may be given either by a finite-dimensional coupled ODE system tracking individual agent trajectories or by a mean-field PDE describing the evolution of the agent density. We investigate the similarities and differences between these two formulations in the mean-field regime. While the first variation derived from the particle system does not provide an unbiased estimator of the first variation associated with the limiting PDE, we prove that, under mild assumptions, the two are close in a weak sense with a convergence rate $\mathcal{O}(N^{-1/2})$. This rate is further confirmed by numerical evidences.

2026-03-15T03:58:13Z 27 pages, 9 figures Peiyi Chen Qin Li Li Wang Yunan Yang http://arxiv.org/abs/2603.14193v1 2026-03-15T03:06:44Z

To mitigate pollution effects in high-frequency Helmholtz problems, Learning-based Numerical Methods (LbNM) reconstruct solution operators using complete systems of exact solutions. However, the previously used fundamental-solution (FS) basis suffers from instability in dissipative media and requires sensitive geometric tuning. In this paper, we propose a robust alternative using a Bessel basis (BB). From a learning theory perspective, the BB forms a complete hypothesis space of standing waves, ensuring immunity to dissipation-induced signal loss. We establish a convergence result that depends on intrinsic regularity. Numerical experiments demonstrate that the proposed method achieves machine-precision accuracy in dissipative regimes where FS fails, significantly outperforms the Finite Element Method (FEM) in efficiency, and demonstrates the framework's geometric extensibility via a multi-center strategy.

2026-03-15T03:06:44Z Lifu Song Tingyue Li Jin Cheng http://arxiv.org/abs/2603.14149v1 2026-03-14T22:51:07Z

Within this paper, we introduce partially and fully decoupled time stepping schemes for linear thermo-poroelasticity. This means that the mechanics, heat, and flow equations can be solved sequentially. We provide sufficient conditions on the material parameters, which can be checked a priori, guaranteeing first-order convergence of the introduced schemes. Hence, the proposed methods have the same order as the implicit Euler scheme but are computationally more efficient due to the decoupling of the system equations. Numerical examples validate the proven convergence results and analyze the sharpness of the mentioned parameter condition. Further, we compare the schemes with other decoupling schemes from the literature.

2026-03-14T22:51:07Z R. Altmann R. Maier J. Schmeck http://arxiv.org/abs/2603.14101v1 2026-03-14T20:05:19Z

We construct efficient surrogate models for parametric forward operators arising in brain tumor growth simulations, governed by coupled semilinear parabolic reaction-diffusion systems on heterogeneous two- and three-dimensional domains. We consider two models of increasing complexity: a scalar single-species formulation and a six-state, nine-parameter multi-species go-or-grow model. The governing equations are discretized using a finite volume method and integrated in time via an operator-splitting strategy. We develop tensorial reduced-order model (TROM) surrogates based on the Higher-Order Singular Value Decomposition in Tucker format and the Tensor Train decomposition, each in intrusive and non-intrusive variants. The models are compared against a classical proper orthogonal decomposition (POD) ROM baseline. Numerical experiments with up to $m=9$ model parameters demonstrate speedups of $85\times$-$120\times$ relative to the full-order solver while maintaining excellent accuracy, establishing tensorial surrogates as a rigorous and efficient computational foundation for many-query workflows.

2026-03-14T20:05:19Z 36 pages, 10 figures, 13 tables, 9 algorithms Asikul Islam Md Rezwan Bin Mizan Maxim Olshanskii Andreas Mang