arXiv Daily Brief

We propose two new approaches for constructing families of rational functions with shared real poles that nearly uniformly approximate the functions $\exp(-tz)$ for $z\geq 0$ and $t$ in a positive time interval. The first result concerns the case where all real poles coalesce into a single point. With an appropriate choice of a weight function we are able to derive a closed formula for the asymptotically optimal location of such a pole. We then discuss the more general case where all real poles are distinct. Using Zolotarev's construction of certain optimal rational functions, we present a simple algorithm to derive nearly optimal poles efficiently. We analyze the stability of the numerical evaluation of the resulting rational matrix functions in floating-point arithmetic. By controlling the growth of potential ill-conditioning arising from partial fractions, reliable and highly parallelizable exponential propagators are obtained.

We revisit established Krylov subspace methods for linear combinations of matrix $\varphi$-function actions from the viewpoint of the block triangular formulation of Al-Mohy and Liu [SIAM J. Sci. Comput., 48 (2026), pp. A726--A747]. In algorithms such as KIOPS [J. Comput. Phys., 372 (2018), pp. 236--255], one uses an augmentation approach based on evaluating the exponential of a slightly larger matrix that contains the operant vectors in its off-diagonal block, and its field of values may therefore grow substantially with these vectors. Typical convergence estimates for Krylov subspace methods result from bounding the error of polynomial approximations for the exponential on the field of values, so that only very pessimistic convergence estimates are available for these methods, in spite of their good practical performance. In contrast, the larger block formulation established by Al-Mohy and Liu involves an operator whose field of values is independent of the operant vectors, leading to more favorable convergence bounds. We work out the details of how these two approaches are connected to each other, which allows us to transfer the convergence bounds from the latter to the former, thus better explaining the observed performance.

We study a fully discrete scheme for nonlinear wave equations on general bounded polygonal/polyhedral domains with initial data $(u^0,v^0)\in H^γ(Ω)\times H^{γ-1}(Ω)$, $0<γ\le 1$, subject to the natural compatibility condition associated with the homogeneous Dirichlet boundary condition. The scheme combines an exponential Euler time integrator with a finite element spatial discretization. In contrast to existing low-regularity error analyses, which are mostly based on Fourier spectral discretizations, our approach applies to general bounded domains and finite element spatial discretizations. We prove rigorous error estimates for low-regularity solutions. The analysis is based on a frequency decomposition of the underlying elliptic operator, used solely as an analytical regularization device and not in the actual implementation, which allows low-regularity techniques to be extended beyond the Fourier spectral framework. The results also indicate that higher-order finite element methods remain advantageous in spatial approximation even for solutions of limited Sobolev regularity. Numerical experiments on different domains and with different polynomial degrees confirm the predicted convergence behavior.

We propose a linear variable-step exponential time-differencing method for the incompressible Navier--Stokes equations in vorticity--streamfunction formulation on a two-dimensional periodic box. The method consists of a second-order scheme and an embedded first-order variant, yielding a natural mechanism for adaptive time stepping and a posteriori error control. Each time step requires only uniquely solvable linear problems: two heat equation solves, efficiently handled by Fourier methods in the periodic setting, and one linear scalar auxiliary-variable equation, evaluated via Laplace transform and Talbot's numerical inverse transform. The construction combines the ETD framework, a mean-reverting scalar auxiliary variable (mr-SAV), and second-order extrapolation of the nonlinear term. The mean-reverting correction enables long-time stability while preserving full linearity, distinguishing the method from related mr-SAV schemes that require nonlinear algebraic solves. We prove unconditional long-time stability: for uniformly bounded $L^2$ forcing, the discrete vorticity remains bounded in $L^\infty(0,\infty;L^2)$ for all Reynolds numbers and time-step sizes. Numerical experiments

We propose a reduced order modeling (ROM) framework for 1D conservative PDEs based on the cumulative distribution transform (CDT). The CDT maps nonnegative, equal-mass states into a Hilbert space in which 1D Wasserstein distances become weighted $L^2$ distances and translations become affine shifts. This makes the transform especially suited for transport-dominated dynamics, where Eulerian linear-subspace ROMs often suffer from slow decay of Kolmogorov widths. We study this phenomenon for scalar conservative dynamics by analyzing the solution manifold in CDT coordinates. For linear transport, the transformed solution manifold is contained in the 2-dimensional space spanned by the transformed initial datum and the constant function, and has zero Kolmogorov $2$-width. For nonlinear hyperbolic conservation laws, we prove two complementary types of estimates: robust $O(n^{-1})$ bounds that rely only on the conservative transport structure and remain meaningful after shock formation, and sharper $O(n^{-2})$ bounds in smooth pre-shock regimes. For conservative advection-diffusion, we show that the CDT trajectory remains within distance $O(\sqrt{DT})$ of the pure-transport plane, and we also obtain sharper $O(D^2T^2)$ estimates under additional regularity or away from initial layers. In both cases, the zero 2-width behavior of linear transport is recovered as the diffusion coefficient tends to zero. Motivated by these estimates, we develop a CDT-POD numerical scheme: snapshots are mapped to CDT space, Proper Orthogonal Decomposition (POD) is performed in transformed coordinates, and the inverse CDT is used to reconstruct physical states. Numerical experiments for several transport-dominated dynamics show that CDT-POD can capture solution manifolds with substantially fewer modes than Eulerian POD.

While non-intrusive reduced-order emulators successfully substitute for costly finite-element simulations, certification-grade applications demand a rigorous error assessment relative to the solver's own discretization uncertainty. This work introduces a verification framework designed to evaluate prediction accuracy directly against this numerical uncertainty floor, rather than physical observation. We demonstrate this approach on a carbon-carbon aircraft brake disc during a rejected take-off scenario, predicting peak temperature and peak von Mises stress fields. Operating over a fixed mesh of 60914 nodes, the emulator relies on a pipeline coupling proper orthogonal decomposition (POD) and Gaussian process regression (GPR) parameterized by 5 inputs. We formulate an algebraically exact, a posteriori error budget that isolates the emulator's signed error into distinct truncation and regression components at the extremum. This error is then evaluated against a discretization floor established via mesh-convergence studies on the peak quantities of interest. On a completely independent test set, our emulator matches the high-fidelity solver's peak values within its own discretization uncertainty for both fields, a benchmark we define as surrogate-to-code fidelity. Notably, the residual error stems primarily from linear reduction limits rather than regression inaccuracies. Beyond the main framework, we present two secondary contributions: the concurrent, non-intrusive prediction of the thermal and mechanical peaks, and a probabilistic approach to spatial zone localization for these extrema. This methodology applies to non-intrusive reduced-order models of parameterized finite-element simulations wherever a discretization-error estimate for the quantity of interest can be obtained.

A lowest-order mixed finite element method is developed for the strain gradient elasticity (SGE) model in arbitrary dimensions. We take the physically meaningful third-order double stress tensor $\boldsymbolΦ:=ι^2\operatorname{grad}\boldsymbolσ(\boldsymbol{u})\in\mathbb{S}\otimes\mathbb{R}^d$ as a primary variable and derive a distributional mixed formulation. The double stress is approximated by an $\mathbb{S}\otimes\mathbb{R}^d$-valued extension of the lowest-order Raviart--Thomas element, while the displacement is approximated by the vector-valued linear Crouzeix--Raviart element. Thus, the method avoids both high-degree bubble enrichment and a Nitsche-type treatment of the higher-order boundary condition. We establish parameter-robust discrete stability, an optimal first-order error estimate for fixed parameters, and a complementary parameter-uniform $\mathcal{O}(ι^{1/2}+h)$ error estimate with constants independent of both the size parameter $ι$ and the Lamé coefficient $λ$. In the boundary-layer regime $ι^{1/2}\lesssim h$, the latter retains a first-order convergence rate in $h$. We also develop a local quadratic post-processing and a hybridized formulation. Numerical experiments in two and three dimensions support the theoretical results.

Accurately solving partial differential equations (PDEs) on arbitrary geometries and a variety of meshes is an important task in science and engineering applications. In this paper, we propose Adaptive Mamba Neural Operators (AMO), which integrates reproducing kernels for state-space models (SSMs) rather than the kernel integral formulation of SSMs. This is achieved by constructing Takenaka-Malmquist systems for the PDEs. AMO offers new representations that align well with the adaptive Fourier decomposition (AFD) theory and can approximate the solution manifold of PDEs on a wide range of geometries and meshes. In several challenging benchmark PDE problems in the fields of fluid physics, solid physics, and finance on point clouds, structured meshes, regular grids, and irregular domains, AMO consistently outperforms state-of-the-art solvers in terms of relative $L^2$ error. Overall, this work presents a new paradigm for designing explainable neural operator frameworks.

This work develops a neural operator preconditioned subspace method for sequences of linear systems arising from the discretization of the two-dimensional Helmholtz equation in transcranial ultrasound applications. The problem involves strongly heterogeneous, patient-dependent velocity fields that induce severe wave distortion and pose significant challenges for standard iterative solvers. Building on neural network preconditioning framework of Giraud et al. (HAL RR-9593, 2025) and the idealized skull dataset used for the learned optimizer of Stanziola et al. (JCP 441, 2021), neural operator preconditioners are trained on six mixed velocity-source datasets combining randomized source configurations and idealized skull-based velocity fields with random noise. The proposed mixed-dataset strategy aims to improve both computational efficiency and generalization across varying configurations. The neural operator is trained on a coarse grid using a physics-informed loss based on the relative residual of the discrete Helmholtz equation and is incorporated as a nonlinear preconditioner within flexible GMRES (FGMRES). Numerical experiments demonstrate that the resulting hybrid method efficiently solves practical transcranial ultrasound problems on grids 64 times larger than those used during training, whereas both classical GMRES and the learned optimizer fail to converge within comparable computational budgets. Moreover, the proposed method achieves arbitrary solution accuracies and exhibits strong out-of-distribution generalization across diverse source and velocity configurations. This work highlights the importance of dataset design in scientific machine learning and provides a practical framework for integrating matrix-free neural operator preconditioning with Krylov subspace methods for solving practical large-scale Helmholtz problems.

This work introduces Physics-Informed Splines (PI-Splines), a structured spline-based architecture for physics-informed learning. Instead of representing the solution of a differential equation with a neural network, PI-Splines directly parametrize the unknown field through a tensor-product B-spline expansion with trainable control coefficients. This formulation preserves the residual-based training paradigm of Physics-Informed Neural Networks while providing compact support, explicit smoothness control, analytical derivatives, and a direct geometric interpretation of the trainable parameters. When compatible with the spline representation, boundary conditions can be imposed strongly by fixing suitable boundary control coefficients. The proposed method is evaluated on several benchmark problems of increasing difficulty and compared with standard physics-informed frameworks under matched governing equations, collocation sets, loss terms, and optimization procedures, so as to isolate the effect of the approximation architecture. Numerical experiments show that PI-Splines provide a competitive and stable alternative to neural physics-informed architectures, particularly in settings where structured representations, locality, and parameter efficiency are desirable.

We introduce the Deep Second-Order Stochastic Residual Method (D2SRM) for high-dimensional, Hessian-dependent fully nonlinear parabolic PDEs. A single scalar space--time network generates derivative-consistent approximations of the solution, gradient, and Hessian, which are trained jointly through second-order Brownian one-step residuals and terminal value and gradient penalties. For globally Lipschitz equations with identity diffusion and sufficiently weak Hessian coupling, we establish well-posedness in a Brownian occupation space and develop a population-level convergence theory. Under additional regularity, an a posteriori estimate bounds the squared full-jet occupation error of any admissible candidate by the time step and its population objective. For approximate population minimizers, the error bound separates time discretization, neural approximation, and population suboptimality; when the latter two terms are $O(h)$, the full-jet occupation norm is $O(h^{1/2})$. Experiments on a 100-dimensional manufactured benchmark compare terminal treatments, probe Hessian couplings inside and outside the proved small-gain range, and show decreasing errors as the time step decreases. The code is available at https://github.com/ZZHPKU/D2SRM.

We prove a finite-sample formulation gap for physics-informed learning of nonlinear multiscale elliptic equations. For a uniformly monotone divergence-form class with coefficients oscillating at scale $ε$, we derive a finite-width, finite-sample, and finite-iteration error bound for a boundary-compatible variational neural solver. Its stability, sampling, and optimization constants are independent of $ε$, while all unresolved scale dependence is isolated in the best-approximation error. We then construct a minimal obstruction witness for a one-dimensional periodic diffusion equation with cubic reaction. Already on the one-parameter family $v_c(x)=cx(1-x)$, the empirical Rademacher complexity of the strong residual is bounded below by a constant multiple of $(ε\sqrt{N})^{-1}$, while that of the squared strong-residual loss is bounded below by a constant multiple of $(ε^2\sqrt{N})^{-1}$. These are optimizer-independent properties of the sampled residual and loss classes, rather than neural-tangent-kernel conditioning statements. The corresponding variational energy complexity is bounded above by a constant multiple of $N^{-1/2}$ uniformly in $ε$. A tensor-product construction shows that the same obstruction rates persist in every spatial dimension. Numerical evaluation gives fitted exponents $0.9971$, $1.9860$, and $-0.0028$ for the strong residual, squared strong loss, and variational energy, respectively. Thus, differentiating the microscopic coefficient creates finite-sample statistical ill-conditioning. The variational formulation removes this statistical penalty but does not remove the separate multiscale approximation problem.

The present work proposes a numerical approach for solving coupled flow and mechanics problems in fractured porous media, represented as mixed-dimensional domains. In this formulation, the elements of the 3D mesh are allowed to arbitrarily intersect the fractures. Displacements are discontinuous across fractures through the use of the eXtended Finite Element Method (XFEM) on the 3D mesh. The mechanical problem is formulated as a saddle-point problem, in which Lagrange multipliers are used to enforce displacement continuity across the fractures. The resulting Lagrange multipliers represent the stress field acting on the fracture surfaces. Likewise, the pressure field is allowed to be discontinuous across fractures through the XFEM formulation on the non-conforming mesh and is computed using an optimization-based domain decomposition strategy specifically designed for mixed-dimensional problems. The fixed-stress splitting scheme is employed to decouple the flow and mechanics subproblems, while the mixed-dimensional pressure problem is solved at each fixed-stress iteration using the Conjugate Gradient (CG) method. The combination of the fixed-stress scheme and the CG solver proves to be highly effective for this class of problems.

Nonlinearly preconditioned inexact Newton methods form an effective class of solvers for large-scale nonlinear algebraic systems arising from the discretization of partial differential equations. A central challenge in nonlinear elimination (NE) preconditioning is the reliable identification of the slowly converging components to be eliminated. Existing selection strategies often rely on problem-specific physical information or user-tuned thresholds applied directly to the raw nonlinear residual, which may contain irregular oscillatory structures near stagnation regions, making the selected bad subset highly sensitive to threshold parameters. In this work, we propose an online-learning-enhanced NE preconditioner that identifies the bad subset from the dominant structure of the nonlinear residual rather than from the raw residual itself. Residual snapshots are collected online during the stagnation phase of the current Newton solve, and an unsupervised extraction model is trained to capture the principal nonlinear imbalance. We consider both a linear extractor based on principal component analysis and nonlinear extractors based on autoencoder neural networks. Moreover, we integrate the approach into a parallel domain decomposition framework, which trains a local extraction model independently on each subdomain. The learned residual reconstruction is then used to define the bad subset and guide the nonlinear elimination process. Numerical experiments on lid-driven cavity flows at Reynolds numbers up to 10,000 show that the proposed method produces more reliable and coherent bad subsets, is robust with respect to both NE and learning parameters, and outperforms the baseline NE preconditioner in terms of the convergence.

We derive residual-based a posteriori error estimates for parabolic surface PDEs on closed evolving surfaces. The main contribution is to prove efficiency and reliability for the proposed error indicator, which bounds the error quantities globally from above and globally in space and locally in time from below. We extend methods for adaptivity for parabolic PDEs on stationary surfaces to allow for non-trivial coarsening on evolving surfaces. Multiple numerical experiments are given, which illustrate the asymptotic behaviour of the error and effectiveness of the refinement and coarsening.

Mixed finite element methods based on Raviart--Thomas spaces are widely used for the numerical approximation of second--order elliptic problems in flux form. On quadrilateral meshes, however, the bilinear mapping from the reference element introduces a spatially varying Jacobian, which may violate the inclusion property $\mathrm{div}\,V_h \subset W_h$ for the standard Raviart--Thomas spaces. In this paper we propose a simple modification of the classical Raviart--Thomas elements on quadrilateral meshes. The modification consists of adding geometrically motivated correction terms to the local basis functions in order to compensate for the geometric distortion introduced by the bilinear mapping. The resulting spaces retain the same dimension and degrees of freedom as the classical Raviart--Thomas elements while restoring the compatibility property. We present a general framework for constructing such modified spaces and illustrate the approach by developing modified versions of the lowest order and next--to--lowest order Raviart--Thomas elements. Theoretical analysis establishes optimal approximation properties under the standard shape--regularity assumption for quadrilateral meshes. Numerical experiments on distorted meshes confirm the predicted convergence rates and show that the modified elements yield consistently improved accuracy over the classical Raviart--Thomas formulation as the geometric distortion increases.

We consider the $hp$-FEM applied to the Helmholtz scattering problem with wavenumber $k$, truncated with a perfectly-matched layer. The scatterer consists of a combination of Dirichlet, Neumann, and penetrable obstacles together with variable coefficients. Provided that the Helmholtz solution operator is polynomially bounded in $k$, all coefficients are piecewise smooth, all boundary surfaces are Gevrey and all coefficients restricted to boundary surfaces are Gevrey together with all their normal derivatives, we show that the $hp$-FEM is quasioptimal when $p\geq 1+\varepsilon \log k$ and $hk/p$ is sufficiently small; i.e., the $hp$-FEM does not suffer from the pollution effect. This result generalises the analogous results in both [Bernkopf, Chaumont-Frelet, Melenk 2025] (proved for piecewise analytic coefficients and analytic boundaries) and [Galkowski, Lafontaine, Spence, Wunsch 2024] (proved for smooth coefficients that are analytic near analytic obstacles) to a much larger class of scatterers.

We investigate how the scaling of the interior-penalty parameter affects nonsymmetric interior-penalty Galerkin (NIPG) discretizations of the viscous rotating shallow-water equations in geopotential variables. The hyperbolic terms are approximated by a local Lax--Friedrichs flux, while viscosity acts on the momentum variables through a penalty law $μ_e=σh_e^{-β}$. The standard choice $β=1$ and the super-penalized choice $β=3$ are compared with a symmetric interior-penalty Galerkin reference. For the diffusion form, we establish consistency, continuity for $β\ge 1$, and an exact coercivity identity in the momentum DG seminorm. Manufactured-solution tests show that super-penalization can recover the expected momentum $L^2$ accuracy, whereas the coupled geopotential variable need not exhibit the same improvement. Rotating and topography-aware tests further show that the standard scaling generally gives the better accuracy-cost compromise for the explicit implementation considered here.

In this work, we develop a geometry-split implicit-explicit (IMEX) framework for the compressible flow equations, wherein stiff regions are treated via an implicit hybridizable discontinuous Galerkin (HDG) method, while non-stiff regions are treated via an explicit discontinuous Galerkin (DG) method. Two implicit formulations are investigated: a mixed HDG method (HDG-MX) and a primal interior-penalty HDG method (HDG-IP). The spatial coupling between the implicit and explicit solutions is achieved in a conservative manner by appropriate interface conditions, while the temporal synchronization is maintained through the use of additive Runge-Kutta (ARK) schemes. We provide a detailed discussion on the computational performance of the resulting IMEX schemes. Verification and validation over a range of numerical experiments confirm that the proposed IMEX schemes achieve high-order accuracy in both space and time. Performance studies further indicate that the approach effectively alleviates geometry-induced stiffness and can provide speedups of up to approximately 50 relative to a fully explicit DG scheme, provided that the implicit region is chosen appropriately.

The convergence of a finite element discretization for the two-dimensional Ricci flow is proved. In this method, the Ricci flow on a two-dimensional surface is formulated into solution-driven metric evolution, with the metric evolution driven by the Gauss curvature. The Gauss curvature satisfies a parabolic equation that in turn depends on the metric, thereby enhancing the parabolic structure of the problem. The solution-driven metric evolution formulation is discretized by the finite element method, and the convergence of finite element approximations is proved by adapting the matrix-vector formulation developed in the literature initially for studying solution-driven surface evolution in extrinsic curvature flow. In addition to its convergence, the proposed method also preserves important geometric structures of the Ricci flow at the discrete level, such as area conservation and the Gauss-Bonnet theorem. Extensive numerical experiments are presented to demonstrate the convergence of the proposed method as well as the simulation of Ricci flow.

We develop new adaptive numerical schemes for one- and two-dimensional hyperbolic systems of conservation laws. The methodology relies on the use of a smoothness indicator to automatically partition the computational domain into smooth and nonsmooth (``rough``) regions. We then follow the scheme adaption strategy recently introduced in [S. Chu, P. Feng, V. A. Kolotilov, A. Kurganov, and V. V. Ostapenko, Commun. Comput. Phys., accepted], but instead of the quasi-linear (QL) fifth-order finite-difference scheme used there, we employ the new QL seventh- and ninth-order schemes in the smooth regions. A series of numerical experiments for the Euler equations of gas dynamics demonstrates that the new adaptive schemes contain a smaller amount of numerical dissipation and achieve higher resolution compared with their counterpart that uses the QL fifth-order scheme in the smooth areas.

Hypergraph $p$-Laplacian regularization is a fundamental model in data analysis with successful applications in various tasks. It aims to minimize a nonsmooth and typically large-scale objective function defined as the sum of the $p$-th powers of the Lipschitz regularization over hyperedges. In this paper, we propose an operator-splitting algorithm for the hypergraph $p$-Laplacian that allows us to handle hyperedges separately in a Gauss-Seidel fashion. Each subproblem can be viewed as a generalized graph Lipschitz learning on a hyperedge, for which we introduce an auxiliary variable to overcome the nonsmoothness and solve it with one step of the alternating direction method of multipliers (ADMM). The resulting algorithm performs proximal ADMM updates sequentially over the hyperedges, and its convergence is proven. We test the algorithm on missing data recovery problems, including image sparse inpainting and semi-supervised learning, to demonstrate that it is faster than existing methods.

We study the graph Laplacian operator as a regularizer in a generalized Tikhonov framework for linear ill-posed problems. The Laplacian is updated iteratively from the current reconstruction, so that progressively sharper structural information about the solution is fed into the regularization term. We introduce three schemes: a standard one that rebuilds the Laplacian from each new iterate; an error-equation scheme that, following the error-based formulation of iterated Tikhonov regularization, builds the Laplacian from an estimate of the reconstruction error rather than of the image itself; and a mixed scheme combining the two. We establish convergence of all three schemes for noisy data under a priori parameter and stopping rules as the noise level tends to zero. Numerical experiments in two-dimensional computed tomography and image deblurring show consistent gains in reconstruction quality and sharper recovery of fine details.

Low-dose computed tomography (LDCT) reduces radiation exposure but increases the ill-posedness of the reconstruction problem due to noise and sparse data. While regularized methods like Tikhonov and Total Variation (TV) improve image quality, their performance depends heavily on noise characteristics, sampling conditions, and parameter selection. This study presents a systematic stability and robustness analysis of Filtered Back Projection (FBP), Tikhonov regularization, and TV minimization within a 2D parallel-beam CT framework. A unified simulation pipeline based on the Radon transform is developed and evaluated using both the modified Shepp-Logan phantom and a clinical thorax image. Reconstruction behavior is investigated under multiple degradation scenarios involving Gaussian, Poisson, and mixed noise models, across baseline (180 projections) and sparse-view (60 projections) acquisition geometries. To ensure a fair comparison, regularization parameters are optimized for each scenario through an exhaustive SSIM-based grid-search. Quality is assessed via RMSE, PSNR, and SSIM, while robustness is quantified through an empirical Stability Factor S measuring perturbation amplification from measurement to image space. The results show that FBP is highly sensitive to noise and undersampling. Tikhonov regularization improves structural fidelity compared with FBP but remains more sensitive to perturbation than TV. Conversely, TV provides the best compromise between noise suppression, edge preservation, accuracy, and numerical stability. These findings highlight the stability-resolution trade-off in LDCT and demonstrate that the proposed Stability Factor S offers valuable complementary information to conventional metrics.

In this work we present a novel discrete collocation method for the numerical solution of Fredholm integral equations of the second kind in the space of continuous functions equipped with the uniform norm. The method is based on a rational interpolation scheme recently developed within the general framework of reproducing kernel Hilbert spaces. This rational approximation has no real poles, interpolates the target function at arbitrary Jacobi nodes and exhibits uniformly bounded Lebesgue constants. Moreover, it converges uniformly for all continuous functions at a rate at least equal to that of the best uniform polynomial approximation. These interesting properties are inherited by the resulting numerical method, for which stability, convergence and good conditioning are established under minimal assumptions on the integral kernel. A series of numerical experiments confirm the theoretical findings and indicate that, in the presence of particularly challenging kernels, the proposed approach provides a robust and effective alternative to Nyström-type methods.

Base-2 digital nets are practical high-dimensional integration rules: the sample budget $N=2^m$ can be chosen independently of the ambient dimension, and the generating matrices provide algebraic control of projections and Walsh-dual weights. They are therefore well suited to problems whose error is governed by weighted or low-dimensional projection structure. However, when one restricts attention to a smooth low-dimensional projected component, a low-dimensional cubature rule with a comparable number of nodes can be substantially more accurate than the projected digital-net points. This raises the question of whether low-dimensional cubature accuracy can be inserted into a high-dimensional digital-net rule without forming the full tensor product. We answer this question by a simple coordinate embedding: read the leading $p$ binary digits of each coordinate as an index into $2^p$ equal-weight cubature nodes, and replace the coordinate by the indexed node. When a projection forms the full $p$-bit grid, the transformed rule coincides on that projection with the corresponding product cubature rule; small projected $t$-values provide sufficient conditions for such full-grid recovery. For general integrands, the error separates into the corresponding product cubature error and a residual digital-net term. Experiments with scrambled Sobol' nets in dimension $50$ illustrate this mechanism and show finite-budget improvements for the smooth low-order and coordinate-decaying test functions considered here.

We introduce a positive-allocation companion construction for Koopman-inspired finite-dimensional prediction of nonlinear dynamical systems. The method determines recurrence coefficients by representing a target observable snapshot as a nonnegative, normalized combination of earlier training snapshots. These coefficients define a companion matrix whose spectral structure is induced by the allocation constraints at the construction stage. We prove that normalized positive allocation places the companion spectrum in the closed unit disk and, because the coefficients sum to one, includes $1$ as an eigenvalue. Additionally, we develop modal and non-modal diagnostics for the resulting model trajectory. When the companion matrix is diagonalizable, the modal representation shows that first and second finite differences act as spectral filters through factors of $λ_\ell-1$ and $(λ_\ell-1)^2$. We also derive $C$-based finite-difference bounds that avoid diagonalization and can be evaluated directly from the training data and companion matrix. Numerical experiments on the FitzHugh--Nagumo and susceptible--infectious--recovered (SIR) models illustrate the behavior of the construction in oscillatory and transient dissipative settings. The examples demonstrate both the interpretability of the companion recurrence and its limitations, particularly when pointwise trajectory agreement degrades while finite-difference and modal diagnostics remain informative.

We consider a four-field formulation of Biot's quasi-static model of consolidation with the (effective) elastic stress, the solid displacement, the fluid flux and the fluid pressure as unknown physical quantities of interest. The weak form of this system composed of the momentum and mass balance equations complemented by the stress-strain relation and Darcy's law yields a two-fold perturbed saddle-point problem. Its well-posedness is proven for a natural choice of inifinite-dimensional Hilbert spaces, where the displacement-flux pair is sought in a novel Hilbert space. Next, based on recent works on $H(\rm div \, \rm div)$-conforming finite elements, we propose a family of mixed-mixed finite element methods that preserve the angular momentum as well as the fluid mass balance pointwise, i.e., in a strong sense. We prove the well-posedness of the arising discrete problem and establish optimal a priori error estimates for the related family of fully conservative mixed-mixed finite element methods.

In many applications of matching, the point clouds to be matched are not merely unstructured sets of points but rather samples from distributions with an intrinsic cluster structure. In such cases, as individual points are often interchangeable within a coherent region, finding a robust region-to-region alignment is more desirable than establishing a precise point-to-point correspondence. To this end, we propose a novel approach for cluster-aware matching based on Laplacian Optimal Transport (LapOT). The key idea is to regularize the optimal transport problem with quadratic Laplacian terms constructed from similarity graphs of the point clouds, which encourages the optimal coupling to respect the cluster structure of both point sets. We also introduce Refined Simultaneous Clustering (RSC), a method that leverages the cluster-aware coupling obtained from LapOT to produce consistent partitions across the point sets, which can overcome the limitations of independent clustering and yield more stable and interpretable results. We demonstrate the effectiveness of our approach through theoretical analysis and empirical experiments, showing that LapOT indeed produces cluster-aware matching that leads to more consistent and meaningful alignments between point clouds.

The adaptive Bregman-Kaczmarz method recovers the exact, noise-free solution of a linear inverse problem even when every measurement it queries is corrupted, provided the corruption is fresh, independent and zero-mean. A block version was proposed for parallel hardware, but whether larger blocks actually converge faster was left open. We show the answer hinges on how the block is used: replacing the block sum with a block average collapses the analysis onto a single positive-semidefinite matrix, through which we prove that the guaranteed convergence improves monotonically with the batch size, with a total gain governed by the stable rank of the system matrix. We then address heterogeneous noise by introducing a noise-aware weighting that down-weights unreliable measurements, and prove it is strictly better than uniform weighting whenever the noise is not proportional to the row norms - a condition that essentially never holds in practice. The two improvements are compatible and their benefits combine. Finally, we show the adaptive step size interpolates automatically between a fast initial phase and a slowly vanishing tail that carries the error exactly to zero, and we explain how its hyperparameters can be estimated without knowing the true solution. Numerical experiments under sparse, heterogeneous noise illustrate these findings and confirm that the heuristic estimates produce effective step sizes.

We propose a projected drift-randomized Milstein (PRM) method for stochastic differ ential equations with non-differentiable and super-linearly growing drift coefficients. The method extends the randomized Milstein approach beyond the globally Lipschitz setting by incorporating a drift projection into the randomized quadrature approximation. Moreover, unlike existing first-order Milstein-type methods for SDEs with super-linearly growing drift coefficients, the proposed method does not require spatial differentiability of the drift coefficient. Under suitable polynomial Lipschitz and one-sided Lipschitz conditions on the drift, together with standard regularity assumptions on the diffusion, we establish a one-step mean-square stability estimate and derive the required local residual bounds. These esti mates yield first-order strong convergence of the PRM method in the L2-sense. Numerical experiments confirm the theoretical convergence rate and demonstrate the applicability of the method to SDEs with non-differentiable and super-linearly growing drifts.

This paper presents a practical guide to building lightweight neural-network surrogates for the plastic return-mapping process in concurrent multiscale (FE2) simulations. Rather than proposing a new architecture, we show how a deliberately simple feed-forward network, structured to mirror the classical return-mapping update, can replace the prohibitively expensive nested fine-scale solves that dominate the cost of conventional FE2 schemes based on FFT homogenization at the meso-scale. We walk through the full workflow: generating training data from incremental homogenization analyses, constructing a compact yet sufficient dataset, embedding material symmetries directly into the mapping, and deploying the trained network as a user-defined material subroutine (UMAT) in a standard finite-element solver -- enabling widespread use. A sensitivity study examines the model's robustness to data density, increment size, and mesh refinement, and we characterize the regimes in which the surrogate holds and where it breaks down. For the macroscopically isotropic, two-dimensional plane-stress setting considered here, the surrogate reproduces the reference response while reducing the per-analysis cost from hours to seconds with speed-ups up to 30,000 over standard FE2. The approach extends naturally to three dimensions and to weaker symmetry assumptions, given an appropriate sampling strategy and dataset.

This article is devoted to the inverse source problem of uniquely determining a measure-valued source from sparse boundary measurements. The measurements considered consist of flux observations over a time interval at two distinct points on the boundary of the domain. The main objective of this work is to extend the existing literature on inverse source problems from sparse boundary measurements, which has so far been limited to point sources or L2 sources, to the identification of a general class of Radon measures. Our approach combines several analytical tools, including regularity properties, boundary representations, and the time analyticity of solutions to the diffusion equation with singular sources. Our theoretical analysis is complemented by a numerical study of the problem. In particular, we investigate the reconstruction of point sources and of a source supported on a curve, and present numerical experiments illustrating the recovery of such sources from sparse boundary flux measurements.

Can a model be identified from one experiment? We study analytic systems that are linearly parameterized by a combination of prescribed dictionary terms, such as partial differential operators and dynamical systems. For a single input-response pair, recovery is possible exactly when the evaluated dictionary terms are linearly independent. We prove a sharp zero-one law: either no input uniquely determines the coefficients, or almost every random input sampled from a nondegenerate Gaussian measure does. This dichotomy reduces one-shot system identification to a question about degenerate inputs and provides an a posteriori certificate for any recovered model. Numerical examples recover dynamical systems, nonlinear partial differential equations, and structured matrix families from single trajectory data, while also detecting when an extra probe is necessary.

Deep Neural Networks (DNNs) used in safety-critical applications are vulnerable to hardware and memory faults that corrupt network weights and degrade reliability. In this paper, we propose a Center of Gravity (CoG) guided weight correction method that restores faulty weights based on their spatial characteristics within each layer. The proposed approach detects and corrects weight faults using distance-aware correction rules, eliminating the need for retraining or architectural modification. The effectiveness of the proposed method in terms of the capability of tolerating hardware faults has been evaluated through performing fault injection at different Bit Error Rates (BERs). Experiments on safety-critical LSTM-based Networks, including StageNet for disease progression tracking and MTFNet for cardiac anomaly detection, demonstrate fault tolerance improvements of up to 230x and 6.41x, respectively, at a BER of 10^{-3}, with negligible accuracy loss. When extended to Convolutional Neural Networks (CNNs), the method achieves up to 49.55x and 20.79x improvements under comparable fault conditions on ResNet-18 and VGG-16, respectively. To the best of our knowledge, this is the first work to apply the CoG concept to neural network weight tensors for enhancing model reliability.

We consider a fourth order singularly perturbed boundary value problem with two small parameters, in one dimension, under the assumption of analytic input data. We show that the solution may be decomposed into a smooth part, two different width boundary layers, and a negligible remainder. We provide estimates for arbitrary order derivatives of each term of the decomposition, which are explicit in the differentiation order and the singular perturbation parameters, and are needed for proving the convergence of high order numerical methods, such as the $p/hp$ versions of the Finite Element Method. We also provide classical differentiability results, which show that the solution will be analytic, if the data are analytic, but negative powers of the singular perturbation parameter(s) show up once we start differentiating.

The numerical solution of the simplified Ericksen--Leslie model for nematic liquid crystals is challenging because the flow and director equations are strongly coupled and because incompressibility and the unit-length condition must be enforced simultaneously. A Lagrange multiplier formulation avoids a small Ginzburg--Landau parameter, but the Newton systems have a double saddle-point structure. We develop an augmented Lagrangian block preconditioner in which both constraints are augmented while their discrete enforcement remains multiplier based. After finite element discretization and backward Euler time integration, the Newton increments are grouped into velocity--director and pressure-multiplier variables. A block-diagonal approximation of the coupled velocity-director block then leads to separate, physically scaled approximations of the pressure and director-multiplier Schur complements. Manufactured-solution tests show the expected spatial accuracy and first-order temporal convergence for the primary variables; the multiplier error reaches a spatial-error floor on the fixed mesh used in the temporal study. In the reported parameter ranges, the outer FGMRES iteration counts are nearly mesh independent, remain stable under time-step and viscosity variation, and improve as the augmentation parameters increase. A smooth benchmark also exhibits monotone decay of the computed total energy.

Stochastic Mckean-Vlasov models have a substantial importance in different fields such as finance, biology and control. This paper puts the light on stochastic proportional delay Mckean-Vlasov model with Lévy jump where the non-jump coefficients are granted the permission to grow beyond linearity. The truncated Euler-Maruyama algorithm is then applied to our addressed model where the convergence rate and almost sure exponential stability of the aforementioned numerical algorithm are being investigated. Finally, numerical examples are presented to foster the theoretical analysis done throughout the paper

The skew-symmetric discretisation has recently been proposed as a new robust simulation method for weakly approximating stochastic differential equations (SDEs) with non-globally Lipschitz drift. This work develops a pathwise version of the scheme by representing the noise increment as a skew-normal distribution and coupling it with the driving Brownian increments, thereby enabling its use in the multilevel Monte Carlo (MLMC) framework. Under suitable conditions, we establish strong convergence of order 1/2 in $L^2$. Subsequently, the associated MLMC estimator is shown to have computational complexity $\mathcal{O} \bigl(\varepsilon^{-2} (\log (1/\varepsilon))^2 \bigr)$ to achieve a mean-squared error $\varepsilon^2$. We then analytically compare the proposed scheme with the tamed Euler scheme, another benchmark for robust discretisation. Under a strong inward-drift regime with the current state being far from the stable region, we show that the probability of moving in the wrong direction tends to vanish in the skew-symmetric scheme, whereas the tamed Euler scheme makes such moves with a non-trivial probability. Furthermore, in the MLMC setting, employing a one-dimensional stochastic Ginzburg-Landau model, we specify the range of step sizes for which the asymptotic variance of the coupled level difference obtained via the pathwise skew-symmetric scheme is lower than that obtained via the tamed Euler scheme. Numerical experiments on several model examples support the theoretical rate of strong convergence and demonstrate the stability and effectiveness of the resulting MLMC in the superlinear drift setting.

This paper presents a two-dimensional TMz finite-difference time-domain (FDTD) solver based on Yee's scheme for modeling radiation from an infinitely long z-directed line current, with the open region truncated by a Berenger split-field perfectly matched layer (PML). After validating cylindrical-wave propagation and negligible late-time reflections in free space, the solver is applied to three inhomogeneous configurations: (i) diffraction through a one-cell-thick perfectly electrically conducting (PEC) sheet with single and double slits; (ii) scattering from infinitely long PEC cylinders of circular and rectangular cross section; and (iii) scattering from infinitely long dielectric cylinders of varying cross section and permittivity. Beyond qualitative field maps, the diffraction case is characterized quantitatively: a steady-state phasor extracted by a running discrete Fourier transform yields the transmitted intensity, from which the fringe visibility and the far-field pattern are computed and compared against the closed-form Fraunhofer prediction. The single- and double-slit cases are cleanly separated by a visibility that rises from near zero to near unity, and the double-slit interference maxima agree with the grating condition arcsin(m λ_0 / d) to within a fraction of a degree. For dielectric cylinders, the field penetrates the obstacle with the expected reduced internal wavelength λ_0 / \sqrt{ε_r}, and the scattered field strength grows with permittivity contrast. A reference-subtraction method isolates the scattered field throughout. The results confirm that the FDTD-PML framework accurately captures open-region diffraction and geometry- and material-dependent scattering.

Pressure vessel analysis in the chemical, nuclear, and new-energy industries requires solving the same elasticity problem across many materials, geometries, and loads, where mesh quality and repeated solving govern both accuracy and cost. The finite element method (FEM) cannot amortise this repeated cost and fails on degenerate meshes, while the neural operators meant to replace it still need labelled data that FEM must generate. This paper proposes FEVessel, an adaptation of the Pretrained Finite Element Method (PFEM) to three-dimensional (3D) pressure vessels, and validates four capabilities across the two limitations above. FEVessel i) encodes each vessel as a point cloud with coordinate, material, and load channels, ii) pretrains a Transolver operator on the total potential energy instead of FEM labels, and iii) warm-starts iterative solvers with its prediction. A single model generalises across material, geometry, and boundary conditions at a $1.35\%$ relative displacement error, and its $2.07\%$ strain error is about $4.7$ times lower than that of a supervised Fourier neural operator ($9.72\%$), whose structured grid cannot preserve the through-thickness strain. Its warm start cuts algebraic multigrid iterations from $195$ to $18$, a $9.2\times$ end-to-end wall-clock speedup at the $10^{-3}$ engineering tolerance. The model transfers across mesh resolutions without retraining, holding about $3\%$ error at only $30\%$ of the training point density. On inverted and sliver meshes where FEM fails, the error remains below $3.66\%$. To our knowledge, this is the first systematic study of mesh-independent solution on industrially relevant 3D pressure vessels with degenerate meshes. Because training needs no labels, FEVessel works exactly where FEM cannot supply any, removing manual mesh repair from the analysis pipeline.

We introduce a family of polynomials satisfying the natural duality relations for Hermite interpolation, analogous to the classical Lagrange interpolation polynomials. They yield an explicit closed formula for the Hermite interpolant with arbitrary multiplicities, without recourse to divided differences, recursive corrections, or auxiliary Bézout identities. We also give a detailed account of Hermite's original approach to the problem, based on an integral formula, which he used both to derive the interpolating polynomial and to estimate the interpolation error for holomorphic data.

We revisit the classical Krasnosel'skii-Mann fixed point iteration for contractions and nonexpansive maps in general normed spaces. This iteration is ubiquitous across a wide range of areas, including convex optimization, monotone inclusions, Markov decision processes, under-relaxed methods for nonlinear PDEs, and more. Drawing on a remarkable connection with a Markov chain on $\mathbb{Z}^2$, and using counting arguments from enumerative combinatorics of lattice paths, we derive explicit estimates for the distance between iterates, as well as non-asymptotic error bounds for the fixed point residuals. As the contraction parameter approaches one, these bounds smoothly recover the known estimates for nonexpansive maps. Building upon these estimates, we further derive error bounds for inexact Krasnosel'skii-Mann iterations.

Entropy regularization smooths equilibrium policies in time-inconsistent stochastic control. At low temperature, the same Gibbs response can strongly amplify errors in learned rewards and dynamics. We show that the derivative of an exploratory equilibrium is governed by a backward Volterra-parabolic resolvent. Along an aligned positive mode, a lower bound has the same exponential order. A block decomposition identifies the source of the amplification: causal paths contribute powers of 1/tau, whereas a positive feedback cycle can produce exponential growth. At fixed temperature, a local equilibrium branch is twice differentiable with respect to finite-dimensional model parameters, which yields a function-valued delta method. A bounded uniformly elliptic diffusion realizes this path-cycle distinction in every finite dimension. Closing one positive cycle changes the root-n linear-response boundary from a power law to order 1/log n; along the cyclic Perron mode, right-endpoint discretization is relatively consistent exactly when N tau^2 -> infinity. An affine model also gives an exact nonlinear transition at the Lambert-W temperature beta T / W(beta T sqrt(n)). Numerical calculations illustrate these rates.

We present anyakrakusuma, an open-source Python library that solves the discrete static Schrödinger bridge problem, the entropically regularized counterpart of optimal transport, through a log-domain Sinkhorn--Knopp iteration and reconstructs the entropic interpolation between two empirical point clouds. The solver is paired with a diagnostic pipeline that characterizes the optimal coupling and the intermediate distributions through information-theoretic and geometric measures. We exercise the library on four idealized planar cases spanning a circle-to-circle dilation, a spiral-to-mixture fragmentation, a rigid reorientation of two moons, and a Lissajous-to-trefoil deformation. The log-domain formulation is necessary rather than merely convenient at the parameters studied, where the cost-to-regularization ratio reaches four hundred and the Gibbs kernel underflows double precision across most of its range; the iteration nonetheless attains a marginal residual of $10^{-9}$ and unit marginal fidelity in every case. Residual histories decay geometrically over approximately eight decades at per-iteration contraction factors between $0.966$ and $0.976$, which are local rates near the fixed point that lie many orders of magnitude below the worst-case Hilbert-metric bound. The covariance analysis recovers an imposed ninety-degree reorientation to within $0.07^\circ$, roughly forty times smaller than its uncertainty, across a masked interval of near-isotropy on which the principal axis is unobservable. The diagnostics are reported with explicit attention to the regimes in which each is well defined, including the differential entropy, which is meaningful only on the open interpolation interval. The presented cases are constructed rather than measured; quantitative application to empirical point clouds requires further study.

Zero-shot text-guided editing of real-world music recordings requires balancing semantic modification with faithful preservation of the original musical structure. Although recent diffusion transformers trained with rectified flow have achieved remarkable success in text-to-music generation, extending them to edit existing recordings remains challenging because editing requires accurate deterministic inversion, reliable structural preservation, and numerically stable integration throughout the inversion and generation processes. We present FlowSonic, a zero-shot music editing framework built upon a pretrained diffusion transformer trained with rectified flow. FlowSonic first deterministically inverts a real-world recording into the latent space and preserves its musical structure during editing by reusing cross-attention representations extracted during inversion. To improve the numerical reliability of inversion-based editing, we introduce a high-order ODE solver and systematically investigate how different numerical integration schemes influence trajectory stability, structural preservation, and semantic controllability. Comprehensive experiments on timbre-transfer and genre-modification tasks demonstrate that FlowSonic consistently outperforms existing music editing methods across semantic alignment, harmonic preservation, structural consistency, and perceptual audio quality. We further provide geometric and empirical analyses showing how the proposed numerical integration strategy improves latent trajectory stability and leads to more reliable music editing.

We investigate the ultrametric organization of energy landscapes defined on sparse random Erdős--Rényi graphs. Each graph vertex is assigned a random free energy from a uniform distribution over an interval of width $ΔF$, and the kinetics are modeled by a Markov process with Kramers transition rates. Using spectral decomposition of the rate matrix, we construct a kinetic Mahalanobis metric between basins of attraction. Computational experiments for graphs with $V=5000$ vertices and $E=5000$ edges show that the degree of nontrivial ultrametricity increases monotonically from $\approx42\%$ for $ΔF=10$ kJ/mol to $\approx96\%$ for $ΔF=1000$ kJ/mol. We prove a limit theorem: as $ΔF\to\infty$, the logarithmic asymptotics of this metric converge pointwise to the classical single-linkage ultrametric. For finite $ΔF$, corrections from suboptimal paths are exponentially suppressed with increasing $ΔF$, so that the metric becomes asymptotically ultrametric. Our results suggest that ultrametricity is a universal property of sparse, locally tree-like networks with rugged energy landscapes in the limit of large energy spreads.

We introduce and implement a novel scheme, called \textit{PolyChopper}, for splitting a convex polyhedron into a finite set of disjoint convex sub-polyhedra. The algorithm cuts the polyhedron with a plane, which can either be prescribed as an external constraint or automatically determined from the inertia tensor. The resulting intersection vertices are then adjusted to control the complexity and quality of the generated elements, introducing additional ``notch wedges'', tetrahedra and pyramids, according to a user-defined quality parameter. Experimental results demonstrate that the proposed approach is robust and consistently produces sub-polyhedra that are both simpler and of higher quality than the original polyhedron. Furthermore, recursively applying the algorithm generates a hierarchy of polyhedral subdivisions with progressively smaller elements, all guaranteed to remain convex and predominantly tetrahedral.

We present a numerical construction of cubature rules for area integrals of analytic functions over planar domains with rectifiable Jordan boundary. The starting point is the Cauchy--Green identity. Given a weight $w$, we choose a $\bar\partial$-antiderivative $W$ and reduce the area integral to a contour integral involving the boundary values of $W$. These values are then approximated by a rational function with free poles, computed by the AAA algorithm. The poles inside the domain become cubature nodes, the corresponding residues become weights, and the boundary residual controls the error through an a posteriori estimate, rigorous once the continuous boundary residual is bounded. The same rule admits a dual reading, as the exact integral of a rational interpolant to the integrand, the area analogue of the one-dimensional interpolatory viewpoint. The numerical examples recover the disk mean-value rule and the focal-segment rule of the ellipse to machine precision, reproduce the exact finite quadrature identities of quadrature domains with both separated and confluent nodes, and evaluate logarithmic and Cauchy volume potentials from boundary data alone. The interior poles trace analytic skeletons that we identify tentatively with the mother bodies of potential theory, along with image points that appear without being imposed; for the square the observed convergence is root-exponential.