https://arxiv.org/api/7MLs9hqI8bLJk5n+1Phxt08iBcM 2026-06-21T23:31:00Z 49870 225 15 http://arxiv.org/abs/2606.13063v1 2026-06-11T08:49:18Z

Forecasting the evolution of complex dynamical systems remains a fundamentally challenging task, primarily due to pronounced nonlinear interactions, high-dimensional state spaces, and the concomitant requirement for rigorous and reliable uncertainty quantification. Contemporary reduced-order modelling (ROM) frameworks frequently exhibit inherent trade-offs among predictive accuracy, numerical stability, and interpretability, and thus often fail to achieve an optimal balance among these competing objectives. To address these limitations, we propose a framework for forecasting complex dynamical systems via a kernel autonomous ordinary differential equation approach based on Gaussian Processes and Quadratic Order Model Reduction. Our base method, the Gaussian Process Ordinary Differential Equations model, allows accurate short-term forecasting with uncertainty quantification, and it provably converges to the real autonomous equation in the smooth case. We integrate it with quadratic order reduced-order modelling and sphere projection for learning the latent dynamics efficiently while preserving stability. Numerical experiments demonstrate that our full model outperforms ROM forecasting methods such as Extended Dynamic Mode Decomposition, Bagging Optimised Dynamic Mode Decomposition and Linear and Nonlinear Disambiguation Optimisation in terms of accuracy or computational costs. These results demonstrate the potential of the framework as a robust and stable tool for forecasting complex dynamical systems with rigorous uncertainty quantification.

2026-06-11T08:49:18Z 49 pages, 11 figures Guglielmo Padula Michele Girfoglio Gianluigi Rozza http://arxiv.org/abs/2605.20140v2 2026-06-11T08:40:06Z

In this paper, we present a novel numerical framework for solving a specific biological reaction-diffusion-advection system of cancer growth in three dimensions (3D) using particles of variable mass. We adopt empirical particle measures to represent cell density and dynamically construct the concentration fields of multiple related chemical species throughout the 3D domain. Efficient interaction between the particles and the spatial grid is achieved through a Particle-in-Cell (PIC) algorithm, while diffusion in space is solved rapidly using a spectral method. We demonstrate that for this particular system, the rate of change of particle mass remains bounded over finite time intervals. Furthermore, in addition to the inherent positivity preservation of cell density guaranteed by the empirical particle measures, the concentrations constructed by the algorithm are also unconditionally positivity-preserving on the spatial grid. Moreover, we present a rigorous error analysis for the proposed method, and numerical experiments confirm the theoretical convergence rates. To the best of our knowledge, this is the first numerical work to solve this system in three dimensions, wherein a rapid spread of cells driven by haptotactic flux is observed, similar to the behavior documented in the two-dimensional case.

2026-05-19T17:24:51Z 32 pages, 5 figures Jingyuan Hu Zhongjian Wang Jack Xin Zhiwen Zhang http://arxiv.org/abs/2606.13056v1 2026-06-11T08:39:52Z

An approach to generate three-term recurrence relations with arbitrary degree step is proposed. Specifically, given any class of orthogonal polynomials $\{Q_{p}(x)\}_{p=0}^{\infty}$ defined by Favard's theorem, we employ the adjacent members $Q_{p}(x)$ and $Q_{p-1}(x)$ to compute the one of high degree $Q_{p+s}(x)$ and that of low degree $Q_{p-t}(x)$, where $(s,t)\in \mathbb{N^{+}}$. Therefore, it is able to derive a three-term recurrence relation with respect to $Q_{p+s}(x)$, $Q_{p}(x)$ and $Q_{p-t}(x)$ by taking $Q_{p-1}(x)$ as the bridge. Moreover, as the extensions of standard recursive formula which is characterized with degree increase, the ones for degree decrease and end-to-middle directions are formulated as well. The explicit recurrence relations with two-degree step are offered for Hermite, Gegenbauer and Legendre polynomials. Precision comparison is also performed between the standard three-term recurrence relation and the proposed ones.

2026-06-11T08:39:52Z Bo Yang http://arxiv.org/abs/2511.12124v2 2026-06-11T07:55:20Z

The approximation of invariant measures for nonlinear ergodic stochastic differential equations (SDEs) is a central problem in scientific computing, with important applications in stochastic sampling, physics, and ecology. We first propose an easily applicable explicit Truncated Euler-Maruyama (TEM) scheme and prove its numerical ergodicity in the $L^p$-Wasserstein distance ($p\geqslant 1$). Furthermore, by combining truncation techniques with the coupling method, we establish a uniform-in-time $1/2$-order convergence rate in moments for the TEM scheme. Additionally, leveraging the exponential ergodicity of both the numerical and exact solutions, we derive a $1/2$-order convergence rate for the invariant measures of the TEM scheme and the exact solution in the $L^1$-Wasserstein distance. Finally, two numerical experiments are conducted to validate our theoretical results.

2025-11-15T09:23:36Z Shan Huang Xiaoyue Li http://arxiv.org/abs/2511.16171v2 2026-06-11T07:12:51Z

In this paper, we develop a regularization theory for neural network approximations of general ill-posed operator equations with noisy data. Within the framework of iterative regularization, we introduce two expanding neural network methods (ENNs) under different a priori assumptions on the exact solution. Instead of prescribing a fixed architecture, ENNs adaptively select the number of neurons through an a posteriori stopping rule, so that the selected network size serves as a regularization parameter balancing approximation accuracy and stability with respect to data noise. We prove the regularization properties of the proposed ENNs and establish quantitative relationships between the selected network size and the noise level. Within the framework of variational regularization, we propose a neural network-based Tikhonov scheme and derive both convergence and convergence-rate results under mild assumptions. The resulting estimates account for the noise level, the network size, and the underlying smoothness expressed through general variational source conditions, thereby allowing greater flexibility than existing results. Numerical experiments demonstrate the effectiveness and robustness of the proposed algorithms. In particular, they show that, for highly noisy data, relatively small network architectures can already produce stable reconstructions, whereas excessively large architectures may degrade stability due to overfitting.

2025-11-20T09:16:43Z 30 pages, 27 figures Lan Wang Qiao Zhu Bangti Jin Ye Zhang http://arxiv.org/abs/2606.12974v1 2026-06-11T07:08:17Z

Time-harmonic elastic wave scattering involves both compressional (P-) and shear (S-) waves, which propagate with different wavenumbers and polarization characteristics. The naive construction of perfectly matched layer (PML)-type methods based on complex coordinate stretching may lack robustness, or even fail, particularly when the wavenumbers are highly contrasted. The recently developed real compressed layer (RCL) technique build upon real compression transformations and explicit extraction of resulting oscillatory patterns for time-harmonic Helmholtz problems may not work, since the oscillations cannot be explicitly extracted by a single change of variables. This paper intends to bridge this gap by developing a robust RCL method for two-dimensional time-harmonic elastic wave scattering in unbounded domains with compactly supported inhomogeneities. A key observation is that, through the Helmholtz decomposition, the displacement field in the exterior homogeneous region decoupled into P-wave and S-wave and each has a distinctive separation of its oscillatory pattern and decaying behaviours in polar coordinates. We then apply the real compression coordinate transformation in the radial direction to each component. We further propose a coupled displacement-potential RCL formulation that seamlessly integrates the Helmholtz-decomposed wave components with the interior displacement field. We show that, under this framework, the essential oscillations in the layer can be effectively removed. We prove the well-posedness of the resulting coupled problem and establish the exponential convergence of the RCL solution to the original scattering solution in the truncated domain of interest. We discretize the RCL-system using high-order spectral element method and demonstrate the effectiveness and robustness of the proposed method through ample numerical results.

2026-06-11T07:08:17Z Li-Lian Wang Lu Zhang http://arxiv.org/abs/2602.07571v2 2026-06-11T03:02:31Z

The Landau-Lifshitz-Gilbert (LLG) equation, regarded as a gradient flow with manifold constraint, is the fundamental model describing magnetization dynamics in ferromagnetic materials. It is well known that the normalized tangent plane method is able to simultaneously achieve the non-convex manifold constraint and original energy dissipation. However, the associated computational cost of this numerical approach is exceedingly high. By contrast, the projection method is more straightforward to implement, while it often compromises the inherent energy dissipative property of the continuous model, and the error analysis turns out to be even more challenging. In this work, we first construct a linear and fully discrete finite difference numerical scheme, based on the projection method for the LLG equation, which is capable of simultaneously preserving the non-convex manifold constraint \(|\mathbf{m}| = 1\) and an unconditional original energy dissipation. In the error analysis, the classical theoretical technique becomes ineffective, due to the presence of the nonlinear Laplacian term, which in turn poses a significant challenge. To overcome this subtle difficulty, we carefully rewrite the numerical method in an equivalent weak form, in which a point-wise length preserving feature of the numerical solution plays an essential role. As a result of these estimates in the reformulated weak form, an optimal convergence rate could be theoretically established. In our knowledge, this numerical method is the first linear algorithm that preserves the following combined theoretical properties: (i) point-wise length preservation, (ii) unconditional original energy dissipation, (iii) a theoretical justification of convergence analysis and optimal rate error estimate.

2026-02-07T14:37:31Z 24 pages, 20 figures Binghong Li Xiaoli Li Cheng Wang Jiang Yang http://arxiv.org/abs/2606.12833v1 2026-06-11T02:59:22Z

Spherical Interpolation of orDER $n$ (SIDER-$n$) is a recursive high-order interpolation method for data on the unit sphere $\mathbb{S}^2$, built from repeated spherical linear interpolation (SLERP). This paper develops a quaternion--Lie algebra framework for proving the local consistency of SIDER for smooth spherical curves sampled at equally spaced parameter values. Points on $\mathbb{S}$ are represented as pure unit quaternions, and interpolation errors are measured in fixed-base quaternion logarithmic coordinates. In this setting, each SLERP operation admits an exact Baker--Campbell--Hausdorff (BCH) representation, which converts the geometric interpolation problem into an algebraic problem involving filtered Lie-polynomial expansions. The BCH expansion shows that SLERP is affine to leading order, has no quadratic correction, and has a first nonlinear correction that is cubic and commutator-valued. Using this structure, we prove that SIDER2 has a third-order divided-error form with the same leading nodal factor as ordinary quadratic interpolation. We then show that the recursive SIDER step raises the order by one: the affine part gives the Neville-type finite-difference cancellation, while the nonlinear BCH remainder preserves the sharp filtered degree structure after the nodal factor is removed. Consequently, for every fixed $n\geq2$, $d_{\mathbb{S}^2}\bigl(γ(θh),P_i^{[n]}(θ;h)\bigr) = O(h^{n+1}) $under the stated smoothness and small-stencil assumptions. The proof also identifies the shift-invariance of the leading divided-error coefficient as the algebraic compatibility condition underlying the SIDER recurrence.

2026-06-11T02:59:22Z Shingyu Leung http://arxiv.org/abs/2606.12802v1 2026-06-11T01:55:14Z

Spherical Interpolation of orDER $n$ (SIDER-$n$) is a recursive high-order interpolation construction for data on the unit sphere $\mathbb{S}^2$, built from repeated spherical linear interpolation (SLERP). This paper gives a local consistency analysis of SIDER for smooth spherical curves sampled at equally spaced parameter values. The analysis is carried out in geodesic normal coordinates, which allows the SIDER recursion to be compared with classical Neville interpolation while retaining the curvature-dependent corrections introduced by SLERP. We first derive local expansions of SLERP and show that SIDER2 has third-order accuracy; its leading error has the same shifted nodal structure as Euclidean quadratic interpolation. We then prove that the adjacent SIDER2 errors entering SIDER3 have a common leading coefficient, so that the SIDER3 recurrence cancels the cubic term and yields fourth-order accuracy. Carrying the expansion one order further gives the corresponding coefficient compatibility for SIDER3 and proves fifth-order accuracy of SIDER4. Finally, we introduce a degree-filtered formal expansion framework for the general SIDER recursion. This framework proves that, for each fixed $n$, SIDER-$n$ preserves the required polynomial degree structure in the normalized stencil variable. Together with the interpolation conditions at the $n+1$ nodes, this yields the local consistency estimate $d_{\mathbb{S}^2}\bigl(γ(θh),P_i^{[n]}(θ;h)\bigr)=O(h^{n+1})$ under the stated smoothness and small-stencil assumptions.

2026-06-11T01:55:14Z Shingyu Leung http://arxiv.org/abs/2606.12800v1 2026-06-11T01:49:03Z

Digital elevation models (DEMs) have reached resolutions and sizes that only parallel computaters can efficiently process. One important application of DEMs is predicting how much water flows where, the so-called ``flow routing problem'' (a variation of which is the problem of determining the drainage area upstream of a point in a DEM). The traditional algorithm for flow routing is sequential, and attempts to parallelize this method have so far only been moderately successful. Herein, we build on earlier work in Richardson et al. (2014) and propose an algorithm and several variations that can efficiently solve the flow routing problem on very large models with very large numbers of parallel processes. For the largest model we use, with 1.88 billion points, the best algorithm herein can route water in 4.0 seconds on 12,288 processes of a computer cluster.

2026-06-11T01:49:03Z Wolfgang Bangerth http://arxiv.org/abs/2606.12799v1 2026-06-11T01:48:09Z

In this paper, we present a second-order linear scheme based on the variable-step Alikhanov formula and central difference discretization for the time-fractional Allen-Cahn equation. The nonlinear potential is treated explicitly via a second-order extrapolation with preprocessing, which enables the discrete maximum-bound principle (MBP) to be preserved through an appropriate stabilization technique. Moreover, by developing a discrete fractional Grönwall inequality together with the uniform boundedness of numerical solutions guaranteed by the MBP, we establish an $α$-robust and optimal second-order maximum-norm error estimate under initial weak singularity assumption. In addition, energy stability is proved in the sense that the discrete original energy is uniformly bounded by the initial energy plus a high-order spatiotemporal correction term. Finally, extensive numerical experiments are presented to demonstrate the effectiveness of the proposed scheme.

2026-06-11T01:48:09Z 22 pages,7 figures,5 tables Bingyin Zhang Ao Zhang Hongfei Fu http://arxiv.org/abs/2605.28076v2 2026-06-11T00:28:40Z

Many problems in computational science and engineering become one-to-many after coarse graining, partial observation, or inverse reconstruction: a resolved state may not determine a unique subgrid forcing, a structural descriptor may not determine a unique effective response, and a low-resolution observation may correspond to many plausible high-resolution fields. In such settings, deterministic surrogates may learn a well-defined mathematical object while still missing application-relevant uncertainty. This tutorial develops a self-contained module centered on the conditional-mean barrier: the point at which a squared-loss predictor has reached the conditional mean and the remaining error is irreducible aleatoric variance. We give two diagnostics for locating this barrier, residual-feature orthogonality and the coefficient of determination against its explained-variance ceiling, and prove that adding latent randomness to a squared-loss predictor collapses it back to the conditional mean. Crossing the barrier therefore requires a loss that scores distributions rather than point predictions. We briefly organize common distributional objectives, including negative log-likelihood, moment and observable matching, variational objectives, adversarial divergences, and score matching, by the feature of the conditional law each targets. The emphasis is the boundary itself and a finite-data procedure for recognizing it, rather than a survey of methods beyond it. CPU-based demonstrations on a two-branch law and a two-scale Lorenz-96 closure problem show how the diagnostics distinguish deterministic underfitting from residual distributional variability.

2026-05-27T07:31:42Z Junfeng Chen http://arxiv.org/abs/2606.12714v1 2026-06-10T22:05:55Z

We present an asymptotic analysis and high-order boundary integral method for the three-dimensional Neumann Green's function in general geometries. The Neumann Green's function is a fundamental quantity which arises in numerous fields of science and engineering. In the application of singular perturbation methods to strongly localized reactions and diffusive transport, the Green's function plays the key role in mediating global dynamics. However, this essential quantity can only be determined in closed form for a limited set of geometries. The Green's function for the Laplacian is an elliptic problem with a Dirac forcing term. Accurate resolution of the solution requires a careful decomposition into a singular and a regular part. The bulk scenario is where the source is placed off surface and the singularity is given by the free-space function. In the surface case, where the source is placed at a curved point on the boundary, we use asymptotic analysis to determine a three-term singularity structure. With explicit knowledge of these singularities, we develop a high-order boundary integral method for the determination of the remaining regular part. To resolve the singular boundary data, our integral method uses a custom discretization with Duffy patches near the source. We validate our method using several test cases in which closed form solutions can be developed, including spheres, prolate spheroids and constructed domains. We demonstrate the applicability of our method to address some open problems in narrow capture theory.

2026-06-10T22:05:55Z Alan E. Lindsay Andrew J. Bernoff Tristan Goodwill Jeremy G. Hoskins http://arxiv.org/abs/2605.13766v2 2026-06-10T21:24:49Z

Soft, slender structures are ubiquitous in natural and engineered systems, with broad application potential from biomimetic materials to soft robotics. However, there is a notable lack of computational tools that simultaneously preserve high-fidelity continuum rod mechanics, scale to large interacting ensembles, and remain flexible across diverse biophysical settings. Here we introduce Elastica++, an open-source, high-performance implementation of the Cosserat-rod model for large-scale simulations of slender-body dynamics. Elastica++ combines performance-oriented kernels with shared-memory parallelism to sustain teraflop-scale throughput despite complex discretization domains and physical interactions. The framework further interoperates with external numerical solvers, supporting efficient multiphysics workflows. We demonstrate robustness and breadth through case studies spanning passive nest-like metamaterials, collective active-matter dynamics, cilia carpets, soft magnetic microrobots, and schooling swimmers. Elastica++ thus provides a missing foundation for high-throughput studies of emergent behavior in interacting assemblies of elastic slender structures.

2026-05-13T16:47:05Z Tejaswin Parthasarathy Seung Hyun Kim Songyuan Cui Mattia Gazzola http://arxiv.org/abs/2601.13306v2 2026-06-10T21:08:36Z

We show that quantum search can be used to compute the hardness to round an elementary function, that is, to determine the minimum working precision required to compute the values of an elementary function correctly rounded to a target precision of $n$ digits for all possible precision-$n$ floating-point inputs in a given interval. For elementary functions $f$ related to the exponential function, quantum search takes time $\tilde O(2^{n/2} \log (1/δ))$ to return, with probability $1-δ$, the hardness to round $f$ over all $n$-bit floating-point inputs in a given binade. For periodic elementary functions in large binades, standalone quantum search yields an asymptotic speedup over the best known classical algorithms and heuristics. We then estimate the resources required for a fault-tolerant implementation of the proposed algorithm for the $\sin$ and $\cos$ functions in double precision. We find that, although the algorithm can in principle compete with the fastest known practical method for computing the hardness to round over all binades in the format, it requires qubit coherence times that are unrealistically long for present technology.

2026-01-19T19:00:00Z 13 pages, 0 figures, accepted paper @ 33rd IEEE International Symposium on Computer Arithmetic 2026 (ARITH 2026) Benjamin C. A. Morrison Stefanos Kourtis