https://arxiv.org/api/AEAk8YwtubBFZisJGdfuUFjr8Ss2026-03-24T08:25:01Z4833616515http://arxiv.org/abs/2603.16174v1Effect of machine arithmetic errors for multi-turn invariant curve destruction2026-03-17T06:44:03ZUsing the example of three-dimensional Mira map, it is shown that the destruction of a multi-turn invariant curve can occur through the appearance of local multiple bends. It was found that, depending on the precision of machine arithmetic, a complication of the multi-turn invariant curve can be observed, which is a numerical artifact. Artifact can be avoided with increasing of machine arithmetic accuracy.2026-03-17T06:44:03Z7 pages, 4 figuresDavid NikitinNataliya Stankevichhttp://arxiv.org/abs/2509.07988v2Control of a Uniformly Magnetized Plasma with External Electric Fields2026-03-17T02:30:45ZStabilizing plasma dynamics through externally applied electric and magnetic fields is a fundamental control problem. We study this question for a plasma evolving under a uniform external magnetic field. Although the governing dynamics are nonlinear, a linear analysis based on the Laplace-Fourier transform yields actionable insight. In particular, by controlling the location of the roots of the dispersion relation, we propose a general control strategy that restores stability, with the free-streaming solution recovered as a special case. Numerical experiments for Gaussian equilibria and for the Dory-Guest-Harris instability show that the proposed control suppresses the unstable modes and stabilizes the dynamics, in agreement with our theoretical predictions.2025-08-19T04:07:15Z29 pages, 17 figuresPeiyi ChenRogerio JorgeQin LiYukun Yuehttp://arxiv.org/abs/2603.16046v1An immersed peridynamics method for fluid-driven damage and failure of anisotropic materials2026-03-17T01:07:47ZThe immersed peridynamics (IPD) method is a fluid-structure interaction (FSI) model to simulate fluid-driven material damage and failure of an immersed structure, in which a peridynamic (PD) constitutive correspondence model is employed within a classical immersed boundary (IB)-type framework to describe stresses, forces, and structural deformations of a structural body, instead of classical continuum mechanics. This paper introduces an extension of the IPD method to simulate fluid-driven structural deformation, damage, and failure of anisotropic materials with complex geometries. We use quadrature rules attached to finite element (FE) meshes to generate both the PD points and their associated weights, which are used to approximate the PD integrals. We demonstrate that non-uniform discretizations improve both accuracy and volume conservation of hyperelastic materials along with accurately represented boundaries. To capture realistic biomaterial behaviors, we incorporate hyperelastic constitutive models including both isotropy and anisotropy into the proposed IPD method. In addition, a ductile failure model is adopted to simulate realistic failure processes of anisotropic materials. For non-failure cases, our numerical simulations demonstrate that the extended IPD method yields comparable accuracy with similar numbers of structural degrees of freedom for different choices of peridynamic horizon sizes. For failure tests, we investigate the effect of a fiber orientation on deformations and failure processes using realistic biomaterial models with varying fiber directions. We further demonstrate that the developed method generates grid-converged simulations of damage growth, crack formation and propagation, and rupture under large deformations, including purely fluid-driven failure processes.2026-03-17T01:07:47ZKeon Ho KimBoyce E. Griffithhttp://arxiv.org/abs/2603.16032v1Convergence analysis of dynamically regularized Lagrange multiplier pressure correction method for the incompressible Navier-Stokes equations2026-03-17T00:38:12ZWe propose first-order pressure-correction scheme for the incompressible Navier-Stokes equations, incorporating the recently developed the Dynamically Regularized Lagrange Multiplier (DRLM) methods. The resulting algorithms are fully decoupled and require solving only Poisson-type equations at each time step. Moreover, it exhibits unconditional energy stability. This paper provides a rigorous error analysis for the first-order scheme, establishing optimal error estimates for both velocity and pressure. Specifically, we employ mathematical induction to derive sharp velocity error bounds, while leveraging the inf-sup condition to prove optimal convergence rate for the pressure. To validate our theoretical findings, we present two numerical experiments demonstrating the accuracy and robustness of the method.2026-03-17T00:38:12ZYi ShenRihui LanHua Wanghttp://arxiv.org/abs/2603.15964v1Unifying Finite Differences and Semi-Lagrangian Schemes via Localized Matrix Exponentials2026-03-16T22:26:00ZWe present a unified framework for the construction of localized exponential integrators that bypasses the traditional trade-off between the accuracy of global spectral methods and the efficiency of sparse finite differences. By evaluating the matrix exponential of a discrete operator strictly within a local stencil of size $n$, we "harvest" integration weights that naturally incorporate high-order temporal corrections. We prove that this Local Matrix Exponential Propagator (LMEP) is algebraically isomorphic to optimal semi-Lagrangian transport for advection and provides algebraically exact coupled evolution for mixed-physics operators, effectively eliminating the commutator errors associated with operator splitting. The framework is extended to semi-linear systems via a localized augmented matrix approach, facilitating the evaluation of Exponential Time Differencing (ETD) $φ$-functions through sparse, banded operations. Numerical experiments on the viscous Burgers, Korteweg-de Vries, and Allen-Cahn equations demonstrate that the method preserves high-order temporal accuracy and exhibits superior stability at high Courant numbers across both periodic and non-periodic domains. We empirically demonstrate that this localized approach yields optimal $\mathcal{O}(N)$ scaling and, for high-CFL upwind configurations, total execution times that remain strictly independent of the spatial approximation order.2026-03-16T22:26:00ZVíctor Bayonahttp://arxiv.org/abs/2509.25269v2Position-Blind Ptychography: Viability of image reconstruction via data-driven variational inference2026-03-16T21:24:23ZIn this work, we present and investigate the novel blind inverse problem of position-blind ptychography, i.e., ptychographic phase retrieval without any knowledge of scan positions, which then must be recovered jointly with the image. The motivation for this problem comes from single-particle diffractive X-ray imaging, where particles in random orientations are illuminated and a set of diffraction patterns is collected. If one uses a highly focused X-ray beam, the measurements would also become sensitive to the beam positions relative to each particle and therefore ptychographic, but these positions are also unknown. We investigate the viability of image reconstruction in a simulated, simplified 2-D variant of this difficult problem, using variational inference with modern data-driven image priors in the form of score-based diffusion models. We find that, with the right illumination structure and a strong prior, one can achieve reliable and successful image reconstructions even under measurement noise, in all except the most difficult evaluated imaging scenario.2025-09-28T08:49:55ZSimon WelkerLorenz KugerTim RoithBerthy FengMartin BurgerTimo GerkmannHenry Chapmanhttp://arxiv.org/abs/2603.15927v1Discovery of interaction and diffusion kernels in particle-to-mean-field multi-agent systems2026-03-16T21:19:25ZWe propose a data-driven framework to learn interaction kernels in stochastic multi-agent systems. Our approach aims at identifying the functional form of nonlocal interaction and diffusion terms directly from trajectory data, without any a priori knowledge of the underlying interaction structure. Starting from a discrete stochastic binary-interaction model, we formulate the inverse problem as a sequence of sparse regression tasks in structured finite-dimensional spaces spanned by compactly supported basis functions, such as piecewise linear polynomials. In particular, we assume that pairwise interactions between agents are not directly observed and that only limited trajectory data are available. To address these challenges, we propose two complementary identification strategies. The first based on random-batch sampling, which compensates for latent interactions while preserving the statistical structure of the full dynamics in expectation. The second based on a mean-field approximation, where the empirical particle density reconstructed from the data defines a continuous nonlocal regression problem. Numerical experiments demonstrate the effectiveness and robustness of the proposed framework, showing accurate reconstruction of both interaction and diffusion kernels even from partially observed. The method is validated on benchmark models, including bounded-confidence and attraction-repulsion dynamics, where the two proposed strategies achieve comparable levels of accuracy.2026-03-16T21:19:25ZGiacomo AlbiAlessandro AllaElisa Calzolahttp://arxiv.org/abs/2603.15895v1An Adaptive Method for Optimal Control Problems Constrained by Parabolic Differential Equations2026-03-16T20:40:17ZAn adaptive direct collocation method is developed for solving optimal control problems constrained by parabolic partial differential equations. The partial differential equation is first reformulated in a variational setting, where the spatial domain is discretized using the hp-Galerkin finite element method. To address nonlinearities in the variational form, a Kirchhoff-like integral transformation is applied to linearize the dynamics. In the temporal dimension, an orthogonal collocation scheme, the hp-flipped Legendre-Gauss-Radau method, is employed to fully discretize the problem, yielding a large, sparse nonlinear programming problem. Upon solving the nonlinear programming problem, solution accuracy is assessed through an implicit residual estimation procedure. This approach evaluates the local error by solving auxiliary residual problems over selected subdomains, providing a novel means of error estimation within an orthogonal collocation framework for optimal control. Based on the computed error estimate, the mesh is adaptively refined or coarsened to meet a prescribed error tolerance. Mesh refinement is guided by the estimated regularity of the solution which is determined via the decay rate of the coefficients of a Legendre polynomial expansion. In overcollocated regions, a mesh reduction strategy is adapted from orthogonal collocation methods for application within the finite element framework. Numerical examples demonstrate that the proposed method can reduce the error by up to five orders of magnitude in both spatial and temporal dimensions.2026-03-16T20:40:17Z51 pages, 11 figuresAlexander M. DaviesSara PollockMiriam E. DennisAnil V. Raohttp://arxiv.org/abs/2506.17406v3Fast solvers for the high-order FEM simplicial de Rham complex: Extended edition2026-03-16T19:03:38ZWe present new finite elements for solving the Riesz maps of the de Rham complex on triangular and tetrahedral meshes at high order. The finite elements discretize the same spaces as usual, but with different basis functions, so that the resulting matrices have desirable properties. These properties mean that we can solve the Riesz maps to a given accuracy in a $p$-robust number of iterations with $\mathcal{O}(p^6)$ flops in three dimensions, rather than the naïve $\mathcal{O}(p^9)$ flops.
The degrees of freedom build upon an idea of Demkowicz et al., and consist of integral moments on an equilateral reference simplex with respect to a numerically computed polynomial basis that is orthogonal in two different inner products. As a result, the interior-interface and interior-interior couplings are provably weak, and we devise a preconditioning strategy by neglecting them. The combination of this approach with a space decomposition method on vertex and edge star patches allows us to efficiently solve the canonical Riesz maps at high order. We apply this to solving the Hodge Laplacians of the de Rham complex with novel augmented Lagrangian preconditioners.2025-06-20T18:10:11Z41 pages, 8 figuresPablo D. BrubeckPatrick E. FarrellRobert C. KirbyCharles Parkerhttp://arxiv.org/abs/2503.22652v5Residual-based Chebyshev filtered subspace iteration for sparse Hermitian eigenvalue problems tolerant to inexact matrix-vector products2026-03-16T19:03:23ZChebyshev Filtered Subspace Iteration (ChFSI) is widely used for computing a small subset of extremal eigenpairs from large matrices, particularly when the eigenpairs must be computed repeatedly as the system matrix evolves within an outer nonlinear iteration. In this work, we propose R-ChFSI, a residual-based reformulation that recasts the Chebyshev polynomial recurrence in terms of residuals rather than eigenvector estimates, which achieves robust convergence even when matrix--vector products are computed inexactly. We derive convergence guarantees under such approximations and show that R-ChFSI can naturally leverage (i) the use of inexpensive approximate inverses for generalized eigenproblems of the form $\textbf{A} \textbf{x} = λ\textbf{B} \textbf{x}$, where exact factorizations of $\textbf{B}$ are prohibitively expensive, (ii)~low-precision arithmetic (FP32, TF32) for both standard and generalized eigenproblems, and (iii)~reduced-precision (BF16) inter-process communication in distributed sparse matrix--vector products. Controlled experiments on dense random matrices quantitatively verify the convergence bounds derived in this work and confirm the robustness of R-ChFSI to prescribed approximation errors for both standard and generalized eigenproblems. Large-scale experiments on finite-element discretized DFT generalized eigenproblems with up to 85 million grid points and 13,500 eigenpairs demonstrate that R-ChFSI achieves residual norms orders of magnitude below those of standard ChFSI when approximate inverses are employed, and reliably meets target tolerances of $10^{-8}$ even when employing reduced precision, yielding filtering speedups of up to $2.7{\times}$ ($2.1{\times}$ for the full eigensolver) on GPU accelerators2025-03-28T17:41:09Z29 Pages, 11 Figures, 1 TableNikhil KodaliKartick RamakrishnanPhani Motamarrihttp://arxiv.org/abs/2511.12298v3On the Spectral Clustering of a Class of Multigrid Preconditioners2026-03-16T19:03:09ZWe consider an algebraic multigrid (AMG) scheme for the direct solution of complex- valued square linear systems based on a recursive 2 x 2 block partitioning of the coefficient matrix and study the optimal choices of its components. In particular, we complement existing results that characterize the optimal choices for a nonsymmetric cycle method by analyzing the spectral behavior of its symmetric cycle variant. We analyze the error propagation operator of a specific two-level symmetric cycle method by calculating its invariant subspaces and its nonzero eigenvalues that influence the behavior of the error after a single cycle. We show that the error propagation operator can be studied separately for pairs of modes, working as bases of the invariant subspaces. The main result is an explicit choice of smoothing parameters that makes all the pairs of modes respond identically, forcing the nontrivial eigenvalues of the error propagation operator to collapse to a single, a priori known value. As a consequence, we give a new closed form formula for the inverse of a general square matrix. Additionally, the framework provides a clear, self-contained description of an ideal AMG K-cycle, offering a concrete target for the design of related schemes. We illustrate the theory with direct applications to general matrices and with analyses of representative matrices arising in numerical methods.2025-11-15T17:18:22Z24 pages, 2 figuresJose Pablo Lucero LorcaConor McCoidMichal Outratahttp://arxiv.org/abs/2603.15816v1Efficient and Accurate Surrogate Modeling of Turbulent Flows via Space-Dependent Aggregation and Reduced Order Models2026-03-16T18:48:13ZReynolds-Averaged Navier-Stokes (RANS) models are widely used for turbulent flow simulations due to their computational efficiency, but their accuracy strongly depends on the selected turbulence closure and may vary across the flow domain. Space-dependent model aggregation has been shown to improve RANS predictions by combining multiple turbulence models, although at the cost of repeated high-fidelity simulations. The first novelty of this work is a unified framework that combines different turbulence models, space-dependent aggregation, and non-intrusive reduced order models to achieve both accuracy and efficiency. Two aggregation pipelines are proposed: a Mixed FOM-ROM (MFR) approach, where a reduced order model is trained on aggregated RANS solutions, and a Mixed-ROM (MR) approach, which directly aggregates multiple reduced order models built on top of different RANS full-order models. The second novelty is that the aggregation weights are learned via a neural-network that provides smooth, space-continuous weights and improves generalization with respect to standard weighting techniques. The resulting surrogate models are validated on the two-dimensional periodic hill benchmark and on the flow over a height-dependent bump, demonstrating improved accuracy over individual RANS and ROM predictions at near real-time computational cost.2026-03-16T18:48:13ZPiero ZappiAnna IvagnesNiccolò TonicelloGianluigi Rozzahttp://arxiv.org/abs/2512.21891v2Non-polynomial divided difference and blossoming2026-03-16T18:16:08ZTwo notable examples of dual functionals in approximation theory and computer-aided geometric design are the blossom and the divided difference operator. Both of these dual functionals satisfy a similar set of formulas and identities. Moreover, the divided differences of polynomials can be expressed in terms of the blossom. In this paper, an extended non-polynomial homogeneous blossom for a wide collection of spline spaces, including trigonometric splines, hyperbolic splines, and special Müntz spaces of splines, is defined. It is shown that there is a relation between the non-polynomial divided difference and the blossom, which is analogous to the polynomial case.2025-12-26T06:45:28ZFatma Zürnacı-Yetişhttp://arxiv.org/abs/2403.11738v4A path-dependent PDE solver based on signature kernels2026-03-16T17:56:37ZWe develop a kernel-based solver for path-dependent PDEs (PPDEs) along with a convergence theory. Our numerical scheme leverages signature kernels, a recently introduced class of kernels on path-space. Specifically, we solve an optimal recovery problem by approximating the solution of a PPDE with an element of minimal norm in the signature reproducing kernel Hilbert space constrained to satisfy the PPDE at a finite collection of collocation paths. In the linear case, we show that the optimisation has a unique closed-form solution expressed in terms of signature kernel evaluations at the collocation paths. Under strict assumptions, we prove consistency of the proposed scheme, guaranteeing convergence to the PPDE solution as the number of collocation points increases. Finally, several numerical examples are presented, in particular in the context of option pricing under rough volatility. Our numerical scheme constitutes a valid alternative to the ubiquitous Monte Carlo methods.2024-03-18T12:47:19Z37 pages, 1 figureAlexandre PannierCristopher Salvihttp://arxiv.org/abs/2603.15580v1A Data-Constrained Framework for Marine Biogeochemistry Modeling with Applications to the Paranaguá Estuarine Complex2026-03-16T17:43:29ZMarine biogeochemical models are widely used to study nutrient dynamics, water quality, and climate-related processes in coastal and estuarine systems. However, developing models that reliably represent specific environments remains computationally demanding, which makes their application to complex systems such as river plumes and estuarine environments challenging. In addition, these models contain several parameters that must be calibrated for the region of interest, a process that is often performed empirically using limited observational data. This thesis advances the development and calibration of marine biogeochemical models in the Brazilian context through three main contributions. First, we develop a conceptual model describing nutrient-phytoplankton dynamics in the Paranagua Estuarine Complex (PEC) in southern Brazil. The model is intentionally simple and computationally inexpensive, allowing simulations to be performed on standard personal computers. Second, we propose a systematic calibration framework based on tracer datasets and derivative-free optimization techniques. Finally, we demonstrate the practical application of this approach by calibrating the PEC model using in situ observations. Results show that, despite its simplicity, the model can reproduce observed nutrient dynamics when properly calibrated. The proposed framework is general and can be extended to multi-parameter calibration, seasonal parameter variation, and the coupling of biogeochemical models with higher-fidelity hydrodynamic models.2026-03-16T17:43:29ZPhD thesis, Federal University of Parana (UFPR), 2026, 146 pages, 74 figuresLeticia Becher