Structure-Preserving Neural Surrogates with Tractable Uncertainty Quantification

2026-06-10T04:27:23Z

Recent advances in scientific machine learning provide a means of near-real-time solution to partial differential equations (PDEs), but lack the theoretical underpinnings of conventional simulators that support contemporary verification and validation. In this work, we construct data-driven reduced-order models that serve as structure-preserving, real-time surrogates. Remarkably, the exterior calculus that imposes physical conservation structure also exposes topological structure that we use to build a Gaussian process (GP) representation of uncertainty in state-flux relationships, ultimately yielding a Dirichlet-to-Neumann map for quantities of interest with closed-form expressions for posterior uncertainty. We specifically propose structure-preserving $H(\mathrm{div})$--$L^2$ subspaces of conventional Raviart--Thomas and $dgP_0$ elements prescribed by a lightweight transformer. Reduced-order dynamics consistent with this subspace are learned by posing a conservation law in which a GP describes the fluxes between volumes. This work hinges on a novel interface between mixed FEM spaces and GP regression; when training is posed as the optimal recovery problem (ORP), the resulting GP regression can be written as an optimization problem with equality constraints that impose a conservation structure, amenable to a fast Schur-complement training strategy. The trained model can then be solved in real time with closed-form estimators for boundary fluxes driven by prescribed Dirichlet data. The paper includes RKHS posterior error bounds for linear functionals to support uncertainty quantification, as well as numerical experiments demonstrating the accuracy of the posterior distribution as a surrogate for error estimation.

Dynamically Optimal Unraveling Schemes for Simulating Lindblad Equations

2026-06-10T03:59:36Z

Stochastic unraveling schemes are powerful computational tools for simulating Lindblad equations, offering significant reductions in memory requirements. However, this advantage is accompanied by increased stochastic uncertainty, and the question of optimal unraveling remains open. In this work, we investigate unraveling schemes driven by Brownian motion or Poisson processes and present a comprehensive parametric characterization of these approaches. For the case of a single Lindblad operator and one noise term, this parametric family provides a complete description for unraveling scheme with pathwise norm-preservation. We further analytically derive dynamically optimal quantum state diffusion (DO-QSD) and dynamically optimal quantum jump process (DO-QJP) that minimize the growth rate of the variance of an observable locally in time. Compared to jump process ansatz, DO-QSD offers two notable advantages: firstly, the variance for DO-QSD can be rigorously shown not to exceed that of any jump-process ansatz locally in time; secondly, it has very simple expressions. Numerical results demonstrate that the proposed DO-QSD scheme may achieve substantial reductions in the variance of observables and the resulting simulation error.

Lightning Plus Polynomial Approximation: Optimal Root-Exponential Convergence for Singular Functions in Corner Domains

2026-06-10T03:09:21Z

This paper presents a rigorous convergence analysis for the lightning plus polynomial approximation scheme, which employs rational approximations constructed with preassigned tapered, exponentially clustered poles. This pole placement strategy was originally introduced by Trefethen and his collaborators for the resolution of corner singularities. Ample numerical results indicate that this scheme achieves root-exponential convergence, and in particular attains the same optimal convergence rate as the best rational approximation to $x^α$ on $[0,1]$ established by Stahl.% which is conjectured in [SIAM J. Numer. Anal., 61:2580-2600, 2023]. In this work, we establish optimal root-exponential convergence for the class of prototype functions of the form $g(z)z^α$ or $g(z)z^α\log z$, where $g$ is analytic on a neighborhood of the sector domain. These results confirm the validity of Conjectures 3.1 and 5.3 stated in [SIAM J. Numer. Anal., 61:2580-2600, 2023], and demonstrate that the choice $σ_{\mathrm{opt}} =\frac{\sqrt{2(2 - β)}π}{\sqrtα}$ achieves the theoretically optimal convergence rate $\mathcal{O}\left(e^{-\sqrt{2(2 - β)Nα}π}\right)$. Notably, for the specific case of $β= 0$, the scheme recovers Stahl's optimal convergence rate for $x^α$. Furthermore, working within the decomposition framework for corner domains proposed by Gopal and Trefethen, this paper provides a rigorous proof of optimal root-exponential convergence for lightning plus polynomial approximation problems, and explicitly derives the optimal pole clustering parameter.

A Two-Sided Sketching Algorithm for Low-rank Tensor Train Approximation

2026-06-10T03:00:32Z

Tensor train (TT) decomposition is a powerful method to acquire low-rank tensors. However, the computational process is frequently obstructed by the large-scale matrix singular value decomposition (SVD). The sketching algorithm serves as an efficient data compression technique that can quickly derive low-rank matrix approximations. In this paper, we propose a randomized algorithm to obtain the TT approximation of tensors using a one-pass sketching algorithm and subspace iteration, and offer thorough error-bound and robustness analysis. Numerical experiments on synthetic and real-world datasets demonstrate the effectiveness and efficiency of the proposed algorithm.

How many integrals should be evaluated at least in two-dimensional hyperinterpolation?

2026-06-10T02:35:09Z

This paper introduces a novel approach to approximating continuous functions over high-dimensional hypercubes by integrating matrix CUR decomposition with hyperinterpolation techniques. Traditional Fourier-based hyperinterpolation methods suffer from the curse of dimensionality, as the number of coefficients grows exponentially with the dimension. To address this challenge, we propose two efficient strategies for constructing low-rank matrix CUR decompositions of the coefficient matrix, significantly reducing computational complexity while preserving accuracy. The first method employs structured index selection to form a compressed representation of the tensor, while the second utilizes adaptive sampling to further optimize storage and computation. Theoretical error bounds are derived for both approaches, ensuring rigorous control over approximation quality. Additionally, practical algorithms -- including randomized and adaptive decomposition techniques -- are developed to efficiently compute the CUR decomposition. Numerical experiments demonstrate the effectiveness of our methods in drastically reducing the number of required coefficients without compromising precision. Our results bridge matrix/tensor decomposition and function approximation, offering a scalable solution for high-dimensional problems. This work advances the field of numerical analysis by providing a computationally efficient framework for hyperinterpolation, with potential applications in scientific computing, machine learning, and data-driven modeling.

Recovering the initial condition and physical coefficients in a nonlinear PDE model of cell invasion

2026-06-10T01:24:52Z

This paper investigates an inverse problem for the simultaneous reconstruction of two spatially varying reaction coefficients, the local proliferation rate and the competition (saturation) coefficient, together with the unknown initial condition, in a nonlinear, density-dependent reaction-diffusion model motivated by cell invasion and tumor growth dynamics. Using Carleman estimates, we establish a global uniqueness result together with a Lipschitz-type stability estimate for the reaction coefficients and a weaker, logarithmic stability estimate for the initial condition. For the numerical reconstructions, we develop a two-stage algorithm employing a time-shift strategy to decouple the coefficient and the initial condition. Numerical experiments are presented to illustrate the feasibility, accuracy, and robustness of the proposed inversion method.

Gradient-Based Topology Optimization of Localized Defect Modes with Bandgap Preservation in Phononic Crystals

2026-06-10T01:08:57Z

Phononic crystals can confine elastic waves through localized defect states within bandgaps, offering promising opportunities for vibration control and energy localization. However, designing defect states at prescribed frequencies while maintaining adequate separation from other in-gap modes remains a significant challenge. Existing optimization approaches generally treat the target mode indirectly and provide limited control over competing localized modes. This study presents a gradient-based two-stage topology optimization framework for the frequency placement of localized defect modes in periodic elastic media. First, a host unit cell is optimized to create a bandgap around a prescribed frequency. Subsequently, only the defect cell is modified to attract a selected localized mode toward the target frequency while repelling non-target modes away from the central region of the bandgap. The formulation incorporates a smooth mode-selection function that combines mode attraction and repulsion within a unified objective, enabling automatic tracking of the relevant modes throughout the optimization process. Because the localized defect branches of interest are nearly flat, the optimization is performed using only the $Γ$-point eigenspectrum, while the corresponding dispersion relations over a reduced irreducible Brillouin zone are evaluated afterwards for verification. Numerical examples involving two material systems and two supercell sizes demonstrate accurate placement of localized resonances, clear separation from competing in-gap modes, and substantial preservation of the host bandgap. The resulting structures exhibit strong elastic-wave localization, highlighting the potential of the proposed approach for the design of phononic devices for vibration confinement and energy trapping.

PHASE: Pauli Hierarchical Assembly on Subdivided Elements for Quantum-Compatible Operator Synthesis

2026-06-09T22:13:50Z

Efficiently decomposing finite element stiffness matrices into the Pauli basis is challenging due to the exponential growth of Pauli strings with problem size. A naive Pauli expansion requires $Θ(8^{\lceil \log_2 N \rceil})$ operations, where $N$ denotes the number of degrees of freedom, rendering direct decomposition infeasible for large systems. Existing approaches exploit algebraic sparsity or operator structure but do not incorporate the geometric organization intrinsic to finite element discretizations, and consequently exhibit poor scaling for stiffness matrices. To address this problem, we introduce PHASE, a hierarchical, geometry-aware Pauli decomposition algorithm that leverages recursive mesh partitioning to organize element contributions across multiple spatial scales. PHASE employs a hybrid strategy that combines full- and reduced-space Tensorized Pauli Decomposition with Fast Walsh-Hadamard Transform-based aggregation to assemble global Pauli coefficients efficiently. We show that this approach yields a dimension-dependent reduction in the exponential scaling exponent of Pauli assembly asymptotic complexity relative to existing methods, reducing the cost from $2^{2{\lceil \log_2 N \rceil}}$ to $2^{γ_d{\lceil \log_2 N \rceil}}$ with $γ_d < 2$ under standard mesh regularity and balanced partition assumptions. These results substantially improve the feasibility of quantum-compatible operator synthesis for large-scale finite element models.

A local Fortin projection for the Scott-Vogelius elements on general meshes

2026-06-09T22:13:45Z

We construct a local Fortin projection for the Scott-Vogelius finite element pair for polynomial degree $k \ge 4$ on general shape-regular triangulations in two dimensions. In particular, the triangulation may contain singular vertices. In addition to preserving the divergence in the dual of the pressure space, the projection preserves discrete boundary data and satisfies local stability estimates.

Linear Combination of Hamiltonian Simulation with Commutator Scaling

2026-06-09T22:12:35Z

The Linear Combination of Hamiltonian Simulation (LCHS) framework simulates dissipative linear dynamics by representing time evolution as an integral over unitary operators, which is discretized by quadrature and implemented via Hamiltonian simulation. While existing analyses achieve near-optimal scaling in time and precision using norm-based quantities of the dissipative generator, we show that implementing the Hamiltonian simulation steps with Multi-Product Formulas (MPFs) yields commutator-sensitive error and complexity bounds. We demonstrate that the quadrature rule affects not only discretization error but also commutator structure and query complexity. This dependence is quantified through post-quadrature analysis for abstract MPF error profiles and for general time-independent and local Hamiltonians using known commutator-sensitive MPF error estimates. We compare uniform trapezoidal and free-scale sinh--sinh quadrature, showing improved quadrature-cardinality scaling for the latter, and illustrate the framework with applications to fractional diffusion, advection--diffusion, and open quantum systems.

Boundedness of Left Half-Plane Eigenvalues for Non-Selfadjoint Indefinite Sturm--Liouville Problems with Applications to Fourier Modal Methods

2026-06-09T20:13:25Z

We study a class of Sturm--Liouville problems of the form $$ -(p\,y')' + q\,y = λ\, p\, y, $$ on a finite interval with complex-valued coefficients, where $p$ is piecewise smooth and $q$ is bounded. We prove that all eigenvalues in the open left half-plane are contained in a bounded set, which implies that only finitely many eigenvalues lie in this region. A canonical instance of this class arises in transverse-magnetic (TM) diffraction by metallic lamellar gratings, a benchmark problem in computational photonics that has been central to the development of Fourier modal methods. These methods exhibit long-standing convergence difficulties in this setting, associated with the loss of definiteness of the underlying operator and the emergence of spurious modes. Our result yields a rigorous criterion for identifying such non-physical modes in low-loss metallic gratings. Numerical examples illustrate the practical utility of the criterion.

Structure-preserving finite-element approximations of the magnetic Euler-Poisson equations

2026-06-09T19:02:42Z

We develop a structure-preserving numerical discretization for the electrostatic Euler-Poisson equations with a constant magnetic field. The scheme preserves positivity of the density, positivity of the internal energy, a minimum principle for the specific entropy, and a total energy balance. The scheme uses an operator splitting approach composed of two subsystems: the compressible Euler equations of gas dynamics, and a source system. The source system couples the electrostatic potential, momentum, and Lorentz force, thus incorporating electrostatic plasma and cyclotron motions. Because of the high-frequency phenomena it describes, the source system is discretized with an implicit time-stepping scheme. We use a PDE Schur complement approach for the numerical approximation of the source system, reducing to a single non-symmetric Poisson-like problem that is solved for each time step. Our focus with the present work is on the efficient solution of problems close to the magnetic-drift limit. Such asymptotic limit is characterized by the co-existence of slowly moving, smooth flows with very high-frequency oscillations, spanning timescales with a difference in excess of 10 orders of magnitude, making their numerical solution quite challenging. We illustrate the capability of the scheme by computing a diocotron instability and present growth rates that compare favorably with existing analytical results. The model, though a simplified version of the Euler-Maxwell system, represents a stepping stone toward electromagnetic solvers that are capable of working in the electrostatic and magnetic-drift limits as well as the hydrodynamic regime.

Floating-point autotuning with customized precisions

2026-06-09T18:50:46Z

Reduced-precision arithmetic offers significant opportunities to improve performance, memory usage, and energy efficiency in numerical applications, provided that numerical accuracy is preserved. This work investigates automated precision tuning through customized floating-point formats with user-defined exponent and significand sizes, enabling the emulation of emerging low-precision formats and the exploration of non-standard precision configurations within a unified mixed-precision framework. The proposed methodology, implemented in the PROMISE precision autotuning tool, combines numerical validation with a systematic search to generate program variants that satisfy user-defined accuracy requirements. To address the computational cost of this exploration, a containerized benchmarking framework supports parallel execution across multiple algorithms and parameter configurations. The approach is evaluated on a suite of numerical programs, including linear solvers and applications from the Rodinia benchmark. Results show that a substantial proportion of variables can be safely reduced to lower precision while preserving accuracy, indicating that standard double precision is often over-provisioned. These findings highlight the potential of automated precision tuning to derive efficient mixed-precision configurations tailored to application-specific accuracy requirements.

Commutator-free Cayley methods

2026-06-09T18:42:19Z

Differential equations posed on quadratic matrix Lie groups arise in the context of classical mechanics and quantum dynamical systems. Lie group numerical integrators preserve the constants of motions defining the Lie group. Thus, they respect important physical laws of the dynamical system, such as unitarity and energy conservation in the context of quantum dynamical systems, for instance. In this article we develop a high-order commutator free Lie group integrator for non-autonomous differential equations evolving on quadratic Lie groups. Instead of matrix exponentials, which are expensive to evaluate and need to be approximated by appropriate rational functions in order to preserve the Lie group structure, the proposed method is obtained as a composition of Cayley transforms which naturally respect the structure of quadratic Lie groups while being computationally efficient to evaluate. Unlike Cayley--Magnus methods the method is also free from nested matrix commutators.

Dual Gauss--Legendre polynomials

2026-06-09T18:32:16Z

We define and investigate two families of dual polynomials associated with the Gauss--Legendre polynomials, which have recently found interesting applications in computer graphics. Using the presented results, one can derive representations of the Gauss--Legendre polynomials, construct the dual bases for Lagrange bases and solve certain approximation problems arising, for example, in CAGD.