https://arxiv.org/api/u/zlKjtYi+Xdpw3YVa93eh9Ylio 2026-03-22T21:43:53Z 48280 150 15 http://arxiv.org/abs/2603.14089v1 2026-03-14T19:29:46Z

A numerical method for processing the data of ground penetrating radars for a piece-wise continuous layered medium is proposed. The method combines the layer stripping technique with numerical continuation of data into the complex frequency's domain. The accuracy of the method is analyzed. Error estimates are obtained and numerical testing is performed. They demonstrate numerical efficiency of the method under certain assumptions such as: electrical characteristics inside each layer change slowly, the thicknesses of the layers are at least of the order of the wavelength, conductivity of the medium is not high.

2026-03-14T19:29:46Z 15 pages, 3 figures Ruben Airapetyan http://arxiv.org/abs/2603.04365v2 2026-03-14T18:12:03Z

This paper establishes a comparison theorem for the maximum eigenvalue of a sum of independent random symmetric matrices. The theorem states that the maximum eigenvalue of the matrix sum is dominated by the maximum eigenvalue of a Gaussian random matrix that inherits its statistics from the sum, and it strengthens previous results of this type. Corollaries address the minimum eigenvalue and the spectral norm. The comparison methodology is powerful because of the vast arsenal of tools for treating Gaussian random matrices. As applications, the paper improves on existing eigenvalue bounds for random matrices arising in spectral graph theory, quantum information theory, high-dimensional statistics, and numerical linear algebra. In particular, these techniques deliver the first complete proof that a sparse random dimension reduction map has the injectivity properties conjectured by Nelson & Nguyen in 2013.

2026-03-04T18:30:04Z 32 pages. v2 with minor corrections Joel A. Tropp http://arxiv.org/abs/2603.14040v1 2026-03-14T17:23:57Z

This monograph presents the design, implementation, and evaluation of Pyroclast, a modular high-performance Python framework for large-scale geodynamic simulations. Pyroclast addresses limitations of legacy geodynamics solvers, often implemented in monolithic Fortran, C++, or C codebases with limited GPU support and extensibility, by combining modern numerical methods, hardware-accelerated execution, and a flexible object-oriented architecture. Designed for distributed and GPU-accelerated environments, Pyroclast provides an accessible and efficient platform for simulating mantle convection and lithospheric deformation using the marker-in-cell method and a matrix-free finite difference discretization. The work focuses on a scalable two-dimensional viscous mechanical solver that forms the computational core for future visco-elasto-plastic models. The solver includes a stress-conservative staggered grid discretization of the incompressible Stokes equations, a matrix-free geometric multigrid solver, Krylov and quasi-Newton methods, and MPI-based domain decomposition for distributed execution. Benchmarks evaluate performance and scalability. Shared-memory tests show strong scaling of the Stokes solver and demonstrate a 5-10x speedup on NVIDIA A100 GPUs compared to a multi-core CPU baseline. Distributed advection benchmarks show near-ideal weak scaling up to 896 CPU cores across seven compute nodes. These results demonstrate that Pyroclast achieves high performance while remaining accessible through a high-level Python interface. The framework also provides a blueprint for modernizing legacy geodynamics codes. Its modular architecture and Python-native implementation lower the barrier to entry while enabling interoperability with modern machine learning libraries, enabling hybrid physics-based and data-driven workflows.

2026-03-14T17:23:57Z 138 pages. Research monograph describing the Pyroclast geodynamics solver Marcel Ferrari http://arxiv.org/abs/2603.14029v1 2026-03-14T17:03:55Z

In recent years, deep learning methods, exemplified by Physics-Informed Neural Networks (PINNs), have been widely applied to the numerical solution of differential equations. However, these methods may suffer from limited accuracy, high training costs, and lack of robustness, particularly their inability to preserve the intrinsic physical structures of continuous PDE models, such as the energy dissipation property in gradient flow systems. To address these challenges, we propose a feature-based Deep Neural Network Galerkin (DNN-G) framework designed for structure-preserving simulations of gradient flows. Instead of treating neural networks merely as optimization-driven solvers, we employ them as adaptive feature generators that define nonlinear trial spaces within a Galerkin projection formulation.This formulation guarantees semi-discrete energy dissipation and can be naturally combined with energy stable time integration schemes. Several strategies for constructing neural basis functions are investigated, including random features, structured initialization, and problem-informed pre-training. Numerical experiments demonstrate that the proposed method preserves robust energy stability in high-dimensional settings and accurately captures complex topological transitions. With equivalent degrees of freedom, the DNN-G framework achieves higher accuracy than classical spectral methods, highlighting the effectiveness of neural feature representations for the numerical solution of partial differential equations.

2026-03-14T17:03:55Z Tao Tang Jiang Yang Yuxiang Zhao Quanhui Zhu http://arxiv.org/abs/2603.14026v1 2026-03-14T16:57:50Z

This work establishes the well-posedness and a priori error analysis for the mixed FEEC-type finite element approximation of the three-dimensional vector Laplace boundary value problem subject to the Dirichlet boundary condition. The Dirichlet condition disrupts the structure of the standard de Rham complex, requiring the vorticity to be sought in a non-standard function space to achieve well-posedness. We derive error estimates that confirm the numerically observed suboptimal convergence rates. In particular, by developing a discrete Caccioppoli-type inequality for discrete curl-harmonic functions, we prove $(k-1/2)$-th order convergence in the energy norm on general domains and $k$-th order convergence in $L^2$ on convex domains, where $k \ge 1$ denotes polynomial degrees of the finite element spaces. These results extend the previous two-dimensional analysis developed in [Arnold, D.N., Falk, R.S. and Gopalakrishnan, J., 2012. Mixed finite element approximation of the vector Laplacian with Dirichlet boundary conditions. Mathematical Models and Methods in Applied Sciences, 22(9), p.1250024.]~to three-dimensional domains with general topology. As a direct application, a discretization of the Stokes problem in vorticity-velocity-pressure form is studied.

2026-03-14T16:57:50Z Ralf Hiptmair Peiyang Yu Tianwei Yu http://arxiv.org/abs/2502.12984v3 2026-03-14T16:50:24Z

In this paper, we propose a general approach for approximate simulation and analysis of delay differential equations (DDEs) with distributed time delays based on methods for ordinary differential equations (ODEs). The key innovation is that we 1) propose an Erlang mixture approximation of the kernel in the DDEs and 2) use the linear chain trick to transform the resulting approximate DDEs to ODEs. Furthermore, we prove that the approximation converges for continuous and bounded kernels and for specific choices of the coefficients if the number of terms increases sufficiently fast. We show that the approximate ODEs can be used to assess the stability of the steady states of the original DDEs and that the solution to the ODEs converges if the kernel is also exponentially bounded. Additionally, we propose an approach based on bisection and least-squares estimation for determining optimal parameter values in the approximation. Finally, we present numerical examples that demonstrate the accuracy and convergence rate obtained with the optimal parameters and the efficacy of the proposed approach for bifurcation analysis and Monte Carlo simulation. The numerical examples involve a modified logistic equation, chemotherapy-induced myelosuppression, and a point reactor kinetics model of a molten salt nuclear fission reactor.

2025-02-18T16:06:17Z The theoretical results have been generalized and the paper has been heavily revised in response to reviewers' comments Tobias K. S. Ritschel http://arxiv.org/abs/2412.05663v3 2026-03-14T15:44:43Z

In this paper, we study the Vlasov-Poisson system with massless electrons (VPME) near quasineutrality and with uncertainties. Based on the idea of reformulation on the Poisson equation by [P. Degond et.al., $\textit{Journal of Computational Physics}$, 229 (16), 2010, pp. 5630--5652], we first consider the deterministic problem and develop an efficient asymptotic-preserving particle-in-cell (AP-PIC) method to capture the quasineutral limit numerically, without resolving the discretizations subject to the small Debye length in plasma. The main challenge and difference compared to previous related works is that we consider the nonlinear Poisson in the VPME system which contains $e^φ$ (with $φ$ being the electric potential) and provide an explicit scheme. In the second part, we extend to study the uncertainty quantification (UQ) problem and develop an efficient bi-fidelity method for solving the VPME system with multidimensional random parameters, by choosing the Euler-Poisson equation as the low-fidelity model. Several numerical experiments are shown to demonstrate the asymptotic-preserving property of our deterministic solver and the effectiveness of our bi-fidelity method for solving the model with random uncertainties.

2024-12-07T14:21:28Z Guangwei Liu Liu Liu Yanli Wang http://arxiv.org/abs/2603.13977v1 2026-03-14T15:15:08Z

We introduce variants of Regge finite element metrics with enhanced properties of the trace. In particular the trace operator is surjective to a finite element space of continuous functions. Multiplying these scalar functions by the identity tensor brings one back to the finite element space of metrics. The metrics can be based on high order polynomials and be constructed on refinements, such as the Clough-Tocher or Worsey-Farin splits. Potential applications to general relativity, incompressible elasticity and conformal geometry are sketched.

2026-03-14T15:15:08Z 28 pages Snorre H. Christiansen Ting Lin http://arxiv.org/abs/2602.07990v2 2026-03-14T10:04:24Z

Error estimates are proved for finite element approximations to the solution of second-order hyperbolic partial differential equations with coefficients varying in both space and time. Optimal rates of convergence in the energy norm are proved for the semi-discrete Galerkin finite element solution by introducing a time-dependent Ritz-like projection. Numerical experiments corroborate the rates of convergence and illustrate the localized wave field enhancement in a chain of time-modulated subwavelength resonators.

2026-02-08T14:30:12Z Oussama Al Jarroudi Marcus J. Grote http://arxiv.org/abs/2603.13809v1 2026-03-14T07:29:42Z

This paper presents a methodology for finding numerically, by means of curve-following, all real solutions of a general system of $n$ nonlinear equations in $n$ unknowns, within a given $n$-dimensional box. The main idea behind our method is a) to locate all parts of the curves formed by a selected subset of $n-1$ equations of the initial system, b) follow these parts numerically within the given $n$-box and c) during this process, find all their intersection points with the hypersurface that represents the left-out equation of the initial system. With proper handling techniques, both stages (a) and (b) can be done with safety even when using a rapidly - but locally - convergent method such as Newton's method. Stage (c) on the other hand is theoretically straightforward and can be implemented by examining sign change and using bisection. However, improvement of performance with automatic step-size adaptation is also feasible. Since the choice of the left-out equation as well as the order of the unknowns, in some problems may affect the algorithm's performance, a secondary procedure for problem optimization has also been developed. This integrated algorithm has been successfully tested in all classical test-problems that are used in the literature (in total about 130 problems with dimension up to $n=10$) and achieved to locate approximations to all the known real solutions of each test-problem, with a user-provided accuracy. It has also proved to be more than 10 times quicker than Kuiken's 2D curve-following method, when compared in two-dimensional problems.

2026-03-14T07:29:42Z 25 pages, 3 figures, 1 table. Updated version of a previously published article with minor updates to the Introduction and Bibliography Int. J. Math. Stat. Oper. Res. 3(2), 255-279 (2023) Katerina G. Hadjifotinou http://arxiv.org/abs/2603.13794v1 2026-03-14T06:52:36Z

We propose NEP_MiniMax, a novel computational method for solving nonlinear eigenvalue problems (NEPs) $T(λ)\mathbf{u}= 0$ on compact continua $Ω\subset \mathbb{C}$. The method combines two key components: (1) a rational minimax approximation scheme where the {m-d-Lawson} algorithm constructs a minimax rational approximation for the vector-valued function from $T(x)$'s split form, yielding a matrix-valued rational approximation $R^*(x) = P^*(x)/q^*(x) \approx T(x)$, and (2) a structure-exploiting linearization technique. The minimax approximation guarantees uniform accuracy while generally keeping $R^*(x)$ pole-free in $Ω$. Eigenpairs are then computed by solving a polynomial eigenvalue problem $P^*(λ) \mathbf{u}= 0$ via a strong linearization that exactly preserves eigenvalue multiplicities. Numerical experiments on benchmarks from the NLEVP collection demonstrate competitiveness with state-of-the-art methods (e.g., Beyn, NLEIGS, SV-AAA) in efficiency and accuracy, with theoretical error bounds directly relating eigenpair approximations to the rational approximation quality.

2026-03-14T06:52:36Z 38 pages Chenkun Zhang Jiawei Gu Lei-Hong Zhang http://arxiv.org/abs/2603.03933v2 2026-03-14T04:46:32Z

We propose an implicit-explicit trust region method for computing second-order stationary points of a class of Landau-type free energy functionals, which correspond to physically (meta-)stable phases. The proposed method is demonstrated through the Landau-Brazovskii (LB) model in this work, while broader applicability to more Landau models of the similar type is straightforwardly extended. The LB energy functional is discretized via the Fourier pseudospectral method, which yields a finite-dimensional nonconvex optimization problem. By exploiting the Hessian structure, specifically, that the interaction potential is diagonal in reciprocal space whereas the bulk energy is diagonal in physical space, we design an adaptive implicit-explicit solver for the trust region subproblem. This solver utilizes the fast Fourier transform to perform efficient matrix-vector products, significantly reducing computational complexity while ensuring provable convergence to the global minimizer of the subproblem. In contrast to existing algorithms that target first-order stationary points, our proposed method can converge to a second-order stationary state, corresponding to a local minimum with theoretical convergence guarantees. Numerical experiments on the LB model demonstrate that the proposed approach efficiently escapes saddle points and significantly outperforms existing first-order schemes. Furthermore, we successfully identify the stable region of the FDDD phase, a structure previously unreported in the LB phase diagram.

2026-03-04T10:42:52Z 22 pages, 4 figures Chenglong Bao Kai Deng Kai Jiang Juan Zhang http://arxiv.org/abs/1803.09446v11 2026-03-14T01:30:49Z

This paper studies convergence of differentiable approximation schemes for terminal value problems of fully nonlinear parabolic partial differential equations. Differentiable schemes approximate spatial derivatives directly via gradients of smooth basis functions and are therefore generally non-monotone, placing them outside the scope of the classical Barles--Souganidis convergence theory. To address this, we introduce an abstract framework for differentiable schemes and establish convergence under conditions we call approximate monotonicity and weak stability. A central tool is a max-min representation of the nonlinearity, which allows us to relax the strict monotonicity condition when the approximate solution is smooth. We apply the abstract framework to kernel-based function approximation methods and derive qualitative convergence for general equations and quantitative error estimates for Hamilton--Jacobi--Bellman equations. Numerical experiments support the theoretical results and confirm the computational feasibility of the proposed approach.

2018-03-26T07:31:35Z This is a substantially revised version. The earlier version contained assumptions that may be unrealizable; the present version introduces a new abstract framework that resolves these issues Yumiharu Nakano http://arxiv.org/abs/2509.12220v2 2026-03-13T22:16:14Z

We present RELift (Restrict, Evolve, Lift), a two-phase learning framework that couples coarse-grid numerical solvers with neural operators to super-resolve and forecast fine-grid dynamics for time-dependent partial differential equations (PDEs). In Phase 1, RELift learns a super-resolution operator that maps the solution on a coarse grid to a fine grid. In Phase 2, this learned operator is composed with a coarse-grid numerical integrator to construct an effective fine-grid propagator for the governing equation. We benchmark RELift on three canonical two-dimensional PDEs of increasing dynamical complexity -- the heat equation, the wave equation, and the incompressible Navier--Stokes equations -- and we further demonstrate its performance on a kinetic electron dynamics case study via the 1D1V Vlasov--Poisson system. Across all examples, RELift delivers high-fidelity super-resolution (Phase 1) and accurate long-horizon rollouts (Phase 2), outperforming standard super-resolution and neural operator baselines in both field-level error metrics and physics-relevant diagnostics. Finally, we provide error analysis of the effective fine-grid propagator, characterizing how approximation errors accumulate over time and explaining the observed numerical stability of the RELift framework.

2025-09-02T18:52:39Z Hardeep Bassi Yuanran Zhu Erika Ye Pu Ren Alec Dektor Michael W. Mahoney Harish S. Bhat Chao Yang http://arxiv.org/abs/2603.13598v1 2026-03-13T21:15:13Z

Alzheimer's disease involves progressive tau accumulation and spread, leading to regional brain atrophy and disruption of large-scale functional networks. While tau propagation and tissue degeneration have been widely modeled, how atrophy dynamics translate into functional connectivity (FC) degradation remains unclear. Here, we develop a multiphysics framework integrating anisotropic tau reaction-diffusion, finite-deformation biomechanics, and network modeling to link tau-driven atrophy with FC changes. Model fidelity is evaluated by quantitatively comparing simulated atrophy patterns with imaging-derived measurements. Using longitudinal structural and functional MRI, we identify an approximately linear relationship between regional atrophy rates and FC change. We then construct an atrophy-informed structural network degradation matrix from model-predicted region-specific atrophy rates and embed it into a neural oscillation model to predict FC disruption. Our results show that (i) the coupled reaction-diffusion-biomechanical model reproduces observed regional atrophy, (ii) regional atrophy rates parsimoniously predict longitudinal FC changes, and (iii) the atrophy-informed degradation matrix captures the direction and relative magnitude of regional FC disruption. By converting tau-driven atrophy into predictive FC trajectories, the proposed framework offers a clinically interpretable avenue for forecasting disease progression and informing trial design.

2026-03-13T21:15:13Z Kun Jiang Can Liao Sujin Jiang Haidong Lin Jixin Hou Tianming Liu Gang Li Taotao Wu Yiqi Mao Ellen Kuhl Xianqiao Wang Xianyan Chen