https://arxiv.org/api/F+Xyw6Imznef+Qak6KqFkMvv8ds 2026-06-21T16:19:02Z 49870 135 15 http://arxiv.org/abs/2505.09857v5 2026-06-15T03:20:51Z

This work introduces the High-Order Hermite Optimization (HOHO) method, an open-loop discrete adjoint method for quantum optimal control. Our method is the first of its kind to efficiently compute exact (discrete) gradients when using continuous, parameterized control pulses while solving the forward equations (e.g. Schrodinger's equation or the Linblad master equation) with an arbitrarily high-order Hermite Runge-Kutta method. The HOHO method is implemented in QuantumGateDesign$.$jl (https://github.com/leespen1/QuantumGateDesign.jl), an open-source software package for the Julia programming language, which we use to perform numerical experiments comparing the method to Juqbox$.$jl (https://github.com/LLNL/Juqbox.jl). For realistic model problems we observe speedups up to 775x.

2025-05-14T23:41:22Z Accepted for publication in Journal of Computational Physics. 30 pages, 6 figures, 4 algorithms, 7 tables. Compared to the original submission, this version contains an additional figure, revised explanations and conclusions, as well as numerous typo fixes Journal of Computational Physics, Volume 552 (2026) 114697 Spencer Lee Daniel Appelo 10.1016/j.jcp.2026.114697 http://arxiv.org/abs/2606.16142v1 2026-06-15T02:58:40Z

The Landau--Lifshitz--Gilbert (LLG) equation is a fundamental model in micromagnetics for the magnetisation dynamics of ferromagnets at temperatures well below the Curie temperature. In chiral magnetic materials, the bulk Dzyaloshinskii--Moriya interaction (DMI) contributes a first-order term to the effective field, induces a natural chiral boundary condition, and plays an important role in the dynamics of skyrmions. In this paper, we analyse a mass-lumped midpoint finite element scheme for the LLG equation with exchange interaction and bulk DMI. The fully discrete scheme preserves the nodal unit-length constraint exactly and satisfies a discrete energy law. Under suitable regularity assumptions on the exact solution, we prove an optimal-order convergence estimate in the energy norm, first order in space and second order in time. To our knowledge, this is the first such a priori error estimate for the mass-lumped midpoint finite element method, even in the exchange-only case. Since the midpoint scheme is nonlinear, its practical implementation requires an algebraic solver that is compatible with the geometric structure of the method. To this end, we propose a structure-preserving fixed-point iteration which preserves the nodal unit-length constraint at every iterate. We further prove that, under an appropriate residual stopping criterion, the resulting inexact scheme retains the same convergence rate as the ideal midpoint scheme, up to the contribution of the solver tolerance. Numerical experiments support the theoretical results and illustrate the robustness and structure-preserving properties of the method.

2026-06-15T02:58:40Z Agus L. Soenjaya http://arxiv.org/abs/2606.16086v1 2026-06-15T00:55:41Z

Data assimilation for time-dependent partial differential equations (PDEs) requires Bayesian updates of an evolving field from streaming, sparse, and noisy observations, while keeping the filtering state finite dimensional. We introduce a random-feature Kalman filtering framework for linear PDE data assimilation. Once the random features are frozen and the linear PDE is Galerkin discretized, the coefficient vector satisfies a finite-dimensional linear-Gaussian state-space model, so the Kalman recursion gives the exact posterior for the chosen coefficient model. For non-orthogonal random-feature draws, we construct a mass-whitened effective-rank coordinate system that removes near-null mass directions and identifies the posterior dimension $r$. For the heat equation with implicit-Euler time stepping, we prove a high-probability posterior-contraction and PDE-consistency theorem in these mass-whitened coordinates. The mean-square $L^2$ reconstruction error separates into an effective-rank feature approximation term, a deterministic time-consistency term, and a Bayesian estimation term. In the high-information regime, the leading posterior contribution scales as $rσ^2/N_o$, where $σ^2$ is the observation-noise variance and $N_o$ is the number of observations per analysis time. Thus the analysis distinguishes the exact coefficient-space posterior from deterministic PDE approximation errors, and gives a checkable uncertainty-quantification guarantee for random-feature filtering of a representative parabolic PDE.

2026-06-15T00:55:41Z Xi'an Li Jiale Linghu Yangshuai Wang http://arxiv.org/abs/2602.05341v2 2026-06-15T00:35:59Z

We propose a residual-based finite element surrogate solver for elliptic partial differential equations. The method combines convolutional neural networks with classical finite element discretization in a data-free setting, where the loss function is defined directly from the finite element residual. This enables the approximation of the solution operator without requiring paired input-output data. A key feature of the proposed approach is that it can be analyzed using standard finite element theory under mesh refinement. We establish a relationship between the training loss and the error in the $H^1$-seminorm, and derive training criteria that ensure optimal convergence rates. To improve efficiency, we introduce a decomposition strategy that separates the contributions of different input components. This allows the model to learn simpler sub-operators. Numerical experiments demonstrate that the proposed method achieves stable convergence under grid refinement, remains robust on complex geometries and oscillatory solutions, and extends naturally to nonlinear equations.

2026-02-05T06:08:56Z 28 pages, 17 figures. Title changed. Added numerical experiments Kyoungjin Jung Jae Yong Lee Dongwook Shin http://arxiv.org/abs/2509.03945v2 2026-06-14T19:51:37Z

We introduce Prob-GParareal, a probabilistic extension of the GParareal algorithm designed to provide uncertainty quantification for the Parallel-in-Time (PinT) solution of (ordinary and partial) differential equations (ODEs, PDEs). The method employs Gaussian processes (GPs) to model the Parareal correction function, in line with GParareal, further enabling the propagation of numerical uncertainty across time and yielding probabilistic forecasts of the system's evolution. Furthermore, Prob-GParareal accommodates probabilistic initial conditions and maintains compatibility with classical numerical solvers, ensuring its straightforward integration into existing Parareal frameworks. Here, we first conduct a theoretical analysis of the computational complexity and derive error bounds of Prob-GParareal. Then, we numerically demonstrate the accuracy and robustness of the proposed algorithm on five benchmark ODE systems, including chaotic, stiff, and bifurcation problems. To showcase the flexibility and potential scalability of the proposed algorithm, we also consider Prob-nnGParareal, a variant obtained by replacing the GPs in Parareal with the nearest-neighbors GPs, illustrating its increased performance on an additional PDE example. This work bridges a critical gap in the development of probabilistic counterparts to established PinT methods.

2025-09-04T07:09:59Z Guglielmo Gattiglio Lyudmila Grigoryeva Massimiliano Tamborrino http://arxiv.org/abs/2606.15925v1 2026-06-14T17:03:30Z

Compatible-strain mixed finite elements (CSMFEs) use the differential complex of nonlinear elasticity to construct discretizations that preserve the underlying topological structure. Existing CSMFEs have focused on simplicial meshes for compressible and incompressible nonlinear elasticity. In this paper, we develop compatible-strain mixed formulations for quadrilateral elements applicable to both compressible and incompressible solids. For general quadrilateral elements, the Piola transformation preserves vector fields tangent and normal to element edges only for special geometries, such as rectangles, parallelograms, and trapezoids, and therefore cannot be used to construct compatible shape functions. To overcome this limitation, the shape functions are computed directly in the physical space using numerical integration. Nedelec shape functions of the first kind are employed to interpolate the displacement gradient, and a new class of stress shape functions compatible with the displacement and displacement-gradient discretizations is introduced. The compressible formulation follows the framework previously developed for simplicial CSMFEs, whereas a new incompressible formulation employing element-level condensation of the pressure field is proposed, thereby avoiding additional global degrees of freedom. These developments extend the compatible-strain mixed finite element framework from simplicial to general quadrilateral meshes for both compressible and incompressible nonlinear elasticity. Numerical examples demonstrate that the proposed quadrilateral elements can solve problems that require second-order simplicial CSMFEs while using fewer degrees of freedom.

2026-06-14T17:03:30Z Mohsen Jahanshahi Damiano Pasini Arash Yavari http://arxiv.org/abs/2606.15882v1 2026-06-14T16:06:26Z

We present \texttt{torch\_vn\_algebra}, an open-source Python library built on PyTorch for numerical experiments with finite-dimensional Type I von Neumann algebras (direct sums of matrix algebras). The library provides: $\bullet$ a compact batched tensor representation $(B,C,k_{\max},k_{\max})$ that handles both Monte Carlo samples and multiple direct summands; $\bullet$ lazy evaluation of operators to avoid unnecessary memory allocation; $\bullet$ generation of random operators with arbitrary eigenvalue distributions (user-provided samplers) and various unitary ensembles (Haar, $\mathrm{SU}(n)$, COE, CSE, diagonal phases); $\bullet$ functional calculus via SVD (absolute value, square root, inverse, entropy) and a hybrid method for extreme eigenvalues (exact diagonalisation for $k_{\max}\le256$, otherwise power iteration); $\bullet$ three trace functionals (blunt, normalised subspace trace, and the von Neumann tracial state); $\bullet$ GPU-accelerated batched linear algebra for moderate-scale Monte Carlo studies (e.g., $2\times10^4$ samples of $100\times100$ operators). The library is validated against analytical expectations (Haar moments, trace properties). Performance benchmarks on a Tesla P100 GPU are presented and discussed. Limitations and future work are outlined. The code is open-source.

2026-06-14T16:06:26Z Irina Nikolaeva Andrej Novikov http://arxiv.org/abs/2606.15726v1 2026-06-14T10:19:05Z

We study a class of IMplicit-EXplicit Runge--Kutta (IMEX-RK) schemes for the numerical approximation of reaction and diffusion-reaction problems arising in a variety of biological and physical applications. Such models may admit travelling wave solutions, with the Fisher--Kolmogorov equation representing a prototypical example. Motivated by this feature, the proposed time integration schemes are designed to accurately capture sharp propagating fronts. We also investigate a less standard use of IMEX-RK methods that circumvents a splitting of reaction terms into linear and nonlinear components, while still requiring the solution of linear systems at each stage. This semi-implicit formulation, referred to as SI-IMEX-RK, enables a targeted treatment of stiffness by isolating its relevant contributions. The time discretization is coupled with a high-order polygonal discontinuous Galerkin method for space discretization, resulting in a flexible and robust framework for the treatment of multiscale dynamics in complex geometries. A comprehensive validation strategy is presented to assess the accuracy and stability properties of the proposed schemes across a hierarchy of increasingly challenging test problems.

2026-06-14T10:19:05Z Paola F. Antonietti Mattia Corti Giuseppe Orlando http://arxiv.org/abs/2606.15703v1 2026-06-14T09:32:23Z

This paper introduces second- and third-order integrating factor strong stability preserving Runge-Kutta methods for solving differential Lyapunov equations. The proposed schemes break the traditional order barrier while rigorously preserving the symmetry and positive semidefiniteness (SPSD) of numerical solutions-an essential property for stability analysis and control-theoretic applications. Furthermore, we provide a rigorous error estimate for the second-order scheme. Numerical experiments validate the accuracy of the methods and their ability to maintain SPSD properties.

2026-06-14T09:32:23Z Wenhui Zhang Rihui Lan Xiaobo Jing http://arxiv.org/abs/2606.15679v1 2026-06-14T08:55:47Z

Stochastic trace estimation is a standard tool for approximating the trace of a large-scale matrix available only through matrix-vector products. However, in tensor-structured settings, unstructured Gaussian or Rademacher test vectors may be prohibitively expensive to store and compute with, while cheaper rank-one tensor-product vectors can require sample complexities that grow exponentially with the tensor order. This work studies Gaussian random tensor train vectors as a structured alternative for stochastic trace estimation. We show that, with a suitable choice of the tensor train rank, random tensor train vectors recover dimension-independent guarantees for the Girard--Hutchinson estimator. In particular, a median-of-means variant with tensor train rank $r \geq d-1$ achieves the same dependence on the accuracy $\varepsilon$ and failure probability $δ$ as the classical estimator based on unstructured Gaussian vectors. We further prove an oblivious subspace injection result for sketches formed from independent Gaussian random tensor train vectors: tensor train rank $r\geq d-1$ and $\mathcal{O}(\varepsilon^{-2}(k+\log(1/δ)))$ samples suffice for a $k$-dimensional target subspace. Finally, we investigate the use of such sketches within the Nyström++ framework. We show that the resulting estimator can achieve the desired $\mathcal{O}(\varepsilon^{-1})$ sample complexity under an additional spectral-tail condition. These results provide clarififcation on both the potential and the limitations of random tensor train vectors in stochastic trace estimation.

2026-06-14T08:55:47Z Zvonimir Bujanović Daniel Kressner Hrvoje Olić http://arxiv.org/abs/2603.24819v2 2026-06-14T06:31:02Z

We propose Weak and Entropy PINNs (WE-PINNs) for the approximation of entropy solutions to nonlinear hyperbolic conservation laws. Standard physics-informed neural networks enforce governing equations in strong differential form, an approach that becomes structurally inconsistent in the presence of discontinuities due to the divergence of strong-form residuals near shocks. The proposed method replaces pointwise residual minimization with a space--time weak formulation derived from the divergence theorem. Conservation is enforced through boundary flux integrals over dynamically sampled space--time control volumes, yielding a mesh-free control-volume framework that remains well-defined for discontinuous solutions. Entropy admissibility is incorporated in integral form to ensure uniqueness and physical consistency of the weak solution. The resulting loss functional combines space--time flux balance and entropy inequalities, without resorting to dual-norm saddle-point formulations, auxiliary potential networks, or fixed discretization meshes. This makes the proposed method remarkably easy to implement, requiring only a simple standard neural network architecture. We establish a rigorous convergence analysis linking the network's loss function to the $L^1$ error towards the entropy solution, providing the first explicit $L^1$ convergence rate for a mesh-free control-volume PINN formulation via the Bouchut-Perthame framework for scalar conservation laws. Numerical experiments on the Burgers equation, the shallow water equations, and the compressible Euler equations demonstrate accurate shock resolution and robust performance in both smooth and shock-dominated regimes.

2026-03-25T20:55:15Z Ismail Oubarka Imad Kissami Mohamed Boubekeur Fayssal Benkhaldoun Aziz Madrane Zakaria Saadi http://arxiv.org/abs/2606.17100v1 2026-06-14T06:00:07Z

Highly accurate stability boundary values for the ADER-DG method are obtained for arbitrary degrees $N$ of basis polynomials. In the linear case, stability is violated precisely when one of the matrix eigenvalues reaches $λ= -1$, regardless of the phase $θ$. A rigorous mathematical framework for the stability is developed. The stability condition is significantly simplified, reducing it to the problem of calculating the roots of polynomials in the Courant number $\mathrm{CFL}$. The maximum of the Courant numbers $\mathrm{CFL}_{\rm max}(N)$ are calculated. These results are new and very convenient for practical use. A comparison of the obtained results with existing results reveals differences that may be significant for the selection of calculation parameters, especially for high degrees $N$. It is shown that widely used existing estimates $\mathrm{CFL}_{\rm max}(N) \propto 1/(2N+1)$ are overestimated. An interesting qualitative asymptotic $\mathrm{CFL}_{\rm max}(N) \propto (N+1)^{2}$ is obtained. A rigorous direct proof of the approximation is presented. Approximation orders $p = N+1$ for arbitrary degrees $N$ are rigorously derived. A set of numerical experiments is carried out to apply the ADER-DG method to solving both a linear advection equation and an Euler system of equations. The results obtained in these calculations confirm the theoretical results well. In particular, an excess of the Courant number over the $\mathrm{CFL}_{\rm max}(N)$ by even 1% in the linear case immediately leads to significant instability of the numerical solution. The obtained estimates of the boundary Courant number in the nonlinear case are somewhat underestimated -- by no more than 5%, which is due to the diffusivity and stability of the approximate Riemann solver. Empirical convergence orders are obtained, which are in good agreement with the theoretical results.

2026-06-14T06:00:07Z 37 pages, 10 figures, 7 tables I. S. Popov http://arxiv.org/abs/2606.15616v1 2026-06-14T05:55:36Z

We study the numerical solution of electromagnetic scattering by an infinitely long impedance cylinder under oblique incidence. After separation of the axial phase factor, the axial electric and magnetic components satisfy a pair of coupled two-dimensional Helmholtz equations. The Leontovich impedance condition couples these components through tangential derivatives, and the associated boundary integral system contains both logarithmic kernels and principal-value tangential derivative terms. Building on existing coupled integral-equation formulations for oblique-incidence cylinder scattering, we construct a high-order Nystrom implementation based on Kress-type logarithmic kernel decomposition, periodic product quadrature, Fourier differentiation for the tangential derivative contribution, and a block diagonal preconditioner associated with the scalar impedance subproblem. Under uniqueness of the continuous scattering problem and a uniform discrete stability assumption, we formulate a high-order convergence framework for the boundary densities and far-field patterns. Numerical experiments include a manufactured Fourier-Bessel benchmark, a plane-wave circular-cylinder validation, a smooth non-circular boundary test, condition-number and GMRES comparisons, and a variable-impedance scattering-width reduction example in a prescribed backward angular sector. The results indicate that the method provides a stable high-accuracy forward solver for the coupled impedance system, rather than a new physical model.

2026-06-14T05:55:36Z 14 pages, 2 figures, 7 tables Haochen Liu Qinghao Yu http://arxiv.org/abs/2606.18291v1 2026-06-14T05:25:54Z

This paper develops a generalized transform framework for a logistic--Allee tumor-growth model. The method combines a generalized Laplace transform, Adomian decomposition, Chebyshev--Padé rational reconstruction, and a \(μ\)-scaled generalized transform to obtain admissible semi-analytical approximations. Comparisons with experimental tumor-growth data show that the resulting compact representations are stable, admissible, and comparable in error to standard numerical reference solutions.

2026-06-14T05:25:54Z Gabriela Lopez Hector Carmenate Jyrko Correa-Morris http://arxiv.org/abs/2606.15571v1 2026-06-14T03:27:51Z

A central challenge in mesh-free space--time approximation for time-dependent partial differential equations is to represent evolving temporal scales while keeping residual minimization computationally tractable. Random feature methods simplify this algebraic problem by freezing nonlinear trial functions and fitting only a linear readout, but standard static space--time activations provide no explicit relaxation-scale mechanism, making temporal-scale resolution a finite-dimensional bottleneck in stiff, dispersive, or multi-scale regimes. We introduce liquid random feature methods (L-RFM), which replace static temporal activations by closed-form liquid time-constant responses with sampled relaxation scales. The resulting frozen features form temporally structured local or global trial spaces with analytic space--time derivatives for residual least-squares assembly. A density theorem proves density of the deterministic trial spaces in the continuous space--time function class, and a temporal-rank calculation clarifies the role of sampled relaxation scales. Ablation and finite-feature tests identify the liquid temporal response as the primary source of the observed accuracy improvement. Across stiff reaction--diffusion, nonlinear transport, dispersive, complex-valued, and multidimensional benchmarks, L-RFM improves finite-feature accuracy in regimes where temporal-scale representation controls the approximation. By embedding relaxation scales directly into frozen trial functions, L-RFM provides a route to high-accuracy continuous space--time surrogates for evolutionary PDEs while preserving the simplicity of linear least-squares solvers.

2026-06-14T03:27:51Z Jiale Linghu Yangshuai Wang