https://arxiv.org/api/nep9Dc0xdr+P7pRm+kHD8FQqv/4 2026-06-22T07:12:34Z 49870 330 15 http://arxiv.org/abs/2606.09502v1 2026-06-08T13:53:02Z

This paper is devoted to the numerical analysis of a second-order bulk--surface splitting scheme for the semi-linear wave equation with kinetic boundary conditions. The construction is based on the interpretation of the equations as coupled system and the implementation of different difference formulae for the discrete states depending on their exact position in the system equations. This results in a 4-step scheme which decouples bulk and surface dynamics. We prove energy stability and second-order convergence under a weak CFL condition and validate these results also numerically.

2026-06-08T13:53:02Z R. Altmann R. Morandin http://arxiv.org/abs/2509.23881v3 2026-06-08T13:51:20Z

Singularity swap quadrature (SSQ) is an effective method for the evaluation at nearby targets of potentials due to densities on curves in three dimensions. While highly accurate in most settings, it is known to suffer from catastrophic cancellation when the kernel exhibits both near-vanishing numerators and strong singularities, as arises with scalar double layer potentials or tensorial kernels in Stokes flow or linear elasticity. This precision loss turns out to be tied to the interpolation basis, namely monomial (for open curves) or Fourier (for closed curves). We introduce a simple yet powerful remedy: target-specific translated monomial and Fourier bases that explicitly incorporate the near-vanishing behavior of the kernel numerator. We combine this with a stable evaluation of the constant term which now dominates the integral, significantly reducing cancellation. We show that our approach achieves close to machine precision for prototype integrals, and up to ten orders of magnitude lower error than standard SSQ at extremely close evaluation distances, without significant additional computational cost.

2025-09-28T13:41:50Z 19 pages, 6 figures David Krantz Alex H. Barnett Anna-Karin Tornberg 10.1007/s10543-026-01132-w http://arxiv.org/abs/2606.09465v1 2026-06-08T13:21:21Z

Riemannian optimization provides a powerful framework for constrained optimization by incorporating problem-specific structure directly into the geometry of the search space. In many applications, however, the explicit evaluation or application of the Riemannian metric can be computationally expensive or numerically unstable, limiting the practical efficiency of otherwise well-founded algorithms. Motivated by such settings, this work investigates to what extent classical Riemannian optimization algorithms can be reformulated without explicitly applying the metric. We show that many first-order components of Riemannian optimization only rely on the differential of the objective function and access to the Riemannian gradient, but not on explicit metric application. Based on this observation, we develop metric-free formulations and generalize optimization approaches to Finsler and Banach manifolds. Numerical experiments demonstrate that the proposed metric-free strategies retain the effectiveness of their metric-dependent counterparts while significantly reducing computational overhead. These results highlight that a substantial portion of Riemannian optimization can be carried out independently of explicit metric application, broadening its applicability to problems with expensive or implicitly defined metrics.

2026-06-08T13:21:21Z Jonas Püschel http://arxiv.org/abs/2604.16512v2 2026-06-08T13:14:17Z

We propose a novel variational method to compute a highly accurate global signed distance function (SDF) to a given point cloud. To this end, the jump set of the gradient of the SDF, which coincides with the medial axis of the surface, is explicitly taken into account through a higher-order variational formulation that enforces linear growth along the gradient direction away from this discontinuity set. The eikonal equation and the zero-level set of the SDF are enforced as constraints. To make this variational problem computationally tractable, a phase field approximation of Ambrosio-Tortorelli type is employed. The associated phase field function implicitly describes the medial axis. The method is implemented for surfaces represented by unoriented point clouds using neural network approximations of both the SDF and the phase field. Experiments demonstrate the method's accuracy both in the near field and globally. Quantitative and qualitative comparisons with other approaches show the advantages of the proposed method.

2026-04-15T08:55:07Z Samuel Weidemaier Christoph Norden-Smoch Martin Rumpf http://arxiv.org/abs/2511.20397v2 2026-06-08T13:11:50Z

We present BLINQ, a new model-based algorithm that learns the Whittle indices of an indexable, communicating and unichain Markov Decision Process (MDP). Our approach relies on building an empirical estimate of the MDP and then computing its Whittle indices using an extended version of a state-of-the-art existing algorithm. We provide a proof of convergence to the Whittle indices we want to learn as well as a bound on the time needed to learn them with arbitrary precision. Moreover, we investigate its computational complexity. Our numerical experiments suggest that BLINQ significantly outperforms existing Q-learning approaches in terms of the number of samples needed to get an accurate approximation. In addition, it has a total computational cost even lower than Q-learning for any reasonably high number of samples. These observations persist even when the Q-learning algorithms are speeded up using neural networks to predict Q-values.

2025-11-25T15:21:00Z 30 pages, 7 figures, submitted to TOMPECS Joël Charles-Rebuffé Nicolas Gast Bruno Gaujal http://arxiv.org/abs/2512.07597v3 2026-06-08T12:16:38Z

Wahba's problem is fundamental to spacecraft attitude estimation, seeking the optimal rotation that minimizes the weighted misalignment between sets of vector observations. Traditional solvers, including Davenport's $q$-method, QUEST, and ESOQ, reformulate the problem as an eigenvalue task for a $4 \times 4$ symmetric matrix, a process that obscures the underlying algebraic structure of the solution. This paper presents a novel, entirely quaternion-based closed-form solution for the pairwise similar quaternions. By establishing a direct connection to the homogeneous singular Sylvester equation: (i) we derive the necessary and sufficient condition for the existence of a quaternion that achieves zero Wahba's cost; (ii) we provide a closed-form analytic expression for the corresponding solution set; and (iii) we propose the computationally efficient and numerically stable Minimal Analytic Rotation Algorithm (MARA). Computational complexity analysis demonstrates that MARA achieves a $35.11\%$ reduction in total floating-point operations (FLOPs) compared to the state-of-the-art ESOQ2 algorithm. Numerical validation via $10^6$ Monte Carlo trials confirms that MARA achieves higher accuracy than established optimal solvers under stochastic noise, offering a computationally more efficient and analytically transparent alternative for high-frequency attitude determination systems.

2025-12-08T14:45:16Z Hristina Radak Christian Scheunert Frank H. P. Fitzek http://arxiv.org/abs/2606.09369v1 2026-06-08T11:45:45Z

Tropical Pacific sea-surface-temperature (SST) variability spans interacting timescales, with the ENSO as its dominant interannual expression. Yet the dynamical structure organizing this variability and underpinning extended-range predictability remains difficult to extract from high-dimensional observations. Koopman operator learning offers spectral coordinates for nonlinear dynamics, yet finite geophysical records often produce dense, sampling-sensitive spectra whose physical content is ambiguous. We show that this apparent redundancy reflects coherent operator-level structure. Combining kernel Extended Dynamic Mode Decomposition with residual minimization and pseudospectral analysis, we use the Koopman eigenvalue relation as a physics-informed consistency test to organize learned spectra. Applied to ERA5 and HadISST tropical Pacific SST anomalies, the residual landscape identifies 19 robust residual-minimum frequencies with coherent spatial modes that persist across products and sampling realizations. Together, these modes define a compact Koopman backbone spanning low-frequency modulation through quasi-biennial components, including ENSO-band variability. The surrounding spectral cloud is structured by integer powers and nonlinear combinations of this backbone, forming a residual-ordered Koopman hierarchy. The backbone reconstructs substantial Nino3.4 variance and enables skillful out-of-sample forecasts, with greatest gains at 8-18-month leads. By embedding dynamical consistency into physics-informed operator learning, the framework turns opaque spectra into robust, interpretable and predictive representations of tropical Pacific variability.

2026-06-08T11:45:45Z Paula Lorenzo-Sanchez Matthew J. Colbrook Antonio Navarra http://arxiv.org/abs/2606.09299v1 2026-06-08T10:06:27Z

We study a hyperbolic approximation ("hyperbolization") of the Cahn-Hilliard (CH) equation, originally proposed by Dhaouadi, Dumbser, and Gavrilyuk (2025, DOI: 10.1098/rspa.2024.0606) and study its convergence towards the CH model in a relaxation limit both via formal asymptotic expansions and, for a slightly modified approximation, via the relative energy framework. Moreover, we develop energy-stable semidiscretizations of the CH equation and of this hyperbolization using upwind summation-by-parts operators in space. Subsequently, we combine them with (additive) implicit-explicit (IMEX) Runge-Kutta methods based on a convex-concave splitting. We show that the resulting method is asymptotic preserving, i.e., it converges in the limit of the relaxation parameter to a stable discretization of the original CH equation. The choice of the necessary parameters is guided by the a priori error estimate based on the relative energy framework.

2026-06-08T10:06:27Z Jan Giesselmann Fabio Leotta Hendrik Ranocha Jochen Schuetz http://arxiv.org/abs/2606.09291v1 2026-06-08T09:58:38Z

We present recent advances in applying and analyzing multilevel stochastic gradient descent algorithms to risk-averse, three-dimensional PDE-constrained optimization problems. The algorithm uses adaptive multilevel Monte Carlo gradient estimates, provides parallel scalability as well as improved convergence rates and computational complexity compared to standard batched stochastic gradient descent methods. We study the method in computationally demanding settings using three-dimensional elliptic diffusion problems and large risk-aversion parameters.

2026-06-08T09:58:38Z Niklas Baumgarten Philipp A. Guth David Schneiderhan Tommaso Vanzan http://arxiv.org/abs/2606.09275v1 2026-06-08T09:42:36Z

The Material Point Method provides an effective approach for modelling the large deformations that often arise from contact interactions between rigid structures and surrounding continua. However, solving these problems requires accurate representation of the continuum-structure interface, which necessitates high resolution background mesh and material point discretisations. This requirement, combined with evolving continuum-structure interfaces and the fact that most Material Point Method implementations are dependent on structured meshes, can result in large numerical systems and long run times especially when modelling problems in three-dimensions. Motivated by this issue, this paper provides the first octree-based implicit Material Point Method for efficient solution of large deformation continuum-structure interaction problems. The octree background mesh provides a natural way to automatically adapt both the computational mesh and the material point discretisation based on the position of the interaction between the structure and continuum. The new approach is demonstrated on a number of large deformation benchmark and continuum-structure interaction problems, where up to a 5.5-times speed up and a consequent 21-times CO2 saving is achieved when running on a HPC compared to results obtained using a conforming mesh.

2026-06-08T09:42:36Z Robert E. Bird William M. Coombs Charles E. Augarde Giuliano Pretti Ted J. O'Hare http://arxiv.org/abs/2606.09173v1 2026-06-08T08:09:27Z

We establish sharp, uniform-in-time strong error estimates for a nonlinearity-explicit tamed finite element method (FEM) applied to a class of superlinear stochastic partial differential equations (SPDEs) driven by multiplicative noise, including the stochastic Allen--Cahn equation with a moderately thick interface. This tamed-FEM was first introduced in [Z. Liu and J. Shen, arXiv:2502.19117] to ensure long-time unconditional stability and to preserve the Lyapunov structure of this class of SPDEs. We further prove that the scheme is exponentially ergodic and derive the convergence rate between the exact invariant measure and its numerical counterpart in the Wasserstein-2 distance. Finally, we present numerical experiments that verify the ergodicity as well as the sharpness and time-independence of the strong convergence rates for this tamed-FEM.

2026-06-08T08:09:27Z Jingjing Cai Zhihui Liu http://arxiv.org/abs/2602.06677v3 2026-06-08T06:17:38Z

We analyze the Double Fourier Sphere (DFS) method on the rotation group $\mathcal{SO}(3)$ in the frequency domain and demonstrate its central role in fast algorithms. Fast Fourier algorithms on $\mathcal{SO}(3)$ are commonly formulated as a Wigner transform - mapping harmonic to Fourier coefficients - followed by a Fourier transform. We revisit this formulation and interpret the Wigner transform as an explicit realization of the DFS method, lifting functions from $\mathcal{SO}(3)$ to $\mathbb{T}^3$. In this context, we analyze the Sobolev regularity loss induced by this lifting. Furthermore, we compare different Wigner transform implementations, examine additional symmetry enhancements, and observe that the direct method is often faster and more stable than the fast polynomial transform approaches.

2026-02-06T13:05:47Z 22 pages, 2 figures Ralf Hielscher Erik Wünsche http://arxiv.org/abs/2606.09007v1 2026-06-08T04:11:04Z

This paper investigates a class of partially dissipative viscoelastic Timoshenko systems with memory, where dissipation is induced by a Volterra-type memory term acting only on the shear variable. The well-posedness of weak and strong solutions is established on finite time intervals, including existence, uniqueness, stability, and higher-order regularity under compatibility conditions consistent with mixed boundary conditions. For the numerical approximation, a Fourier spectral fully discrete scheme is constructed: sine and cosine basis expansions are used in space for unknowns satisfying Dirichlet and Neumann boundary conditions, respectively; in time, a central difference scheme is applied to the second-order derivatives, and the composite trapezoidal rule is used to approximate the memory convolution term. Based on a discrete energy method, the positivity of the constructed discrete energy is proved, and the error estimate for the fully discrete scheme with second-order convergence in time and \(q\)-th order in space is established for any q \in \mathbb{N}. Numerical experiments are given to verify the theoretical convergence rates and to compare the dynamic responses of the local and nonlocal models, demonstrating that the memory term effectively captures energy dissipation and vibration attenuation behavior in viscoelastic materials.

2026-06-08T04:11:04Z Zhenyang Zhong Hui Liang http://arxiv.org/abs/2401.02878v5 2026-06-08T04:05:20Z

Inspired by the stochastic particle method, this paper establishes an easily implementable explicit numerical method for McKean-Vlasov stochastic differential equations (MV-SDEs) with superlinear growth coefficients. The paper establishes the theory on the propagation of chaos in the $L^{q}$ sense. The optimal {uniform-in-time} strong convergence rate $1/2$-order of the numerical solutions is obtained for the interacting particle system. Furthermore, it is proved that the numerical solutions capture the long-term dynamical behaviors of MV-SDEs precisely, including moment boundedness, stability, and ergodicity. Moreover, a unique numerical invariant probability measure is yielded, which converges to the underlying invariant probability measure of MV-SDEs in the $L^2$-Wasserstein distance. Finally, several numerical experiments are carried out to illustrate the main results.

2024-01-05T16:11:26Z Yuanping Cui Xiaoyue Li Yi Liu Fengyu Wang http://arxiv.org/abs/2603.04724v2 2026-06-08T03:57:03Z

Efficient sampling and numerical approximation of invariant probability measures (IPMs) on infinite-dimensional function spaces are important problems in scientific computing. In this paper, we study the numerical approximation and sampling of IPMs associated with stochastic functional differential equations with infinite delay (SFDEswID). To this end, we develop a fully explicit ergodicity-preserving truncated Euler--Maruyama scheme for SFDEswID that requires only finite historical storage and accommodates superlinearly growing coefficients. We establish strong convergence of the numerical segment process and show that it admits a unique IPM and is exponentially ergodic in the Wasserstein distance. Building on these results, we prove the convergence of the numerical IPM to the exact one and derive an explicit convergence rate. As a consequence, we obtain a quantitative long-time sampling error estimate of order $O\left(e^{-λ_\varepsilon t_n}+Δ^{ρ_\varepsilon}\right)$. The results provide a rigorous and computationally efficient framework for sampling IPMs and quantifying long-time sampling errors for stochastic systems with infinite delay.

2026-03-05T01:54:26Z Guozhen Li Shan Huang Xiaoyue Li Xuerong Mao