arXiv Daily Brief

This paper introduces a novel method for approximating the inverse of discrete Fourier integral operators (FIOs). Given an $N \times N$ matrix representation $K$ of an FIO, the proposed algorithm consists of two stages. In the offline stage, we first construct a butterfly factorization (BF) $\tilde{K}$ of $K$, which enables fast forward matrix-vector multiplication. We then construct a hierarchically semiseparable (HSS) approximation $\tilde{G} \approx G$, where $G = K^{*} K$, using fast applications of $\tilde{K}$ and $\tilde{K}^{*}$ to random matrices. Finally, we apply the ULV factorization to the HSS matrix $\tilde{G}$ to obtain an approximation $\tilde{F} \approx G^{-1}$. Combining these approximations yields an approximate inverse $K^{-1} \approx \tilde{F} \tilde{K}^{*}$. The offline stage has complexity $O(N \log^{2} N)$ for 1D problems and $O(N^{1.5} \log N)$ for 2D problems. In the online stage, the proposed method approximates $K^{-1} u$ for a given input vector $u$ with complexity $O(N \log N)$ for both 1D and 2D problems. The proposed method can be used either as a direct solver or as a preconditioner for iterative methods. Numerical results for 1D and 2D FIOs demonstrate the effectiveness of the proposed method.

We introduce a class of additive reduced basis preconditioners designed to accelerate the iterative solution of large-scale linear systems arising from discretized parametrized PDEs. The main idea is to regularize the inherently singular reduced-order approximation by adding simple correction terms: either a scaled identity correction or a projected correction based on a basic preconditioner. This yields nonsingular preconditioners under explicit and easily checked conditions. The construction and application of the preconditioners are integrated into an FGMRES framework through an offline strategy that dynamically builds the reduced-basis component by proper orthogonal decomposition at each FGMRES step. We establish sufficient conditions for the nonsingularity of the preconditioners and derive error bounds for the preconditioned Richardson iteration. Numerical results for convection-diffusion, anisotropic vortex, Stokes, and Helmholtz problems are provided to verify the efficiency and convergence of the proposed ARB preconditioners. The method consistently converges in a few iterations and substantially reduces online solve time, supporting its efficiency for multi-query engineering scenarios.

A shell finite-element model of a stiffened aluminium wingbox panel, a laboratory structure shared by several experimental studies, is built with its plate-to-stiffener joints at the $78$ physical fastener positions and calibrated against measured modal data, a six-parameter sensitivity update of the substructure moduli within $\pm20\%$ reproducing the first five measured modes to $1.1$--$4.3\%$ with modal-assurance values of $0.88$--$1.00$. Making the fasteners nonlinear, at equal mesh, mass and damping, shows that joint nonlinearity enters the response strongly asymmetrically. Hardening is almost invisible, at most $+1\%$ in frequency, whereas softening or slipping the joints moves the first three resonances by $-2.1$, $-4.9$ and $-9.2\%$, and friction removes up to $80\%$ of the resonant peak before it recovers. Newmark integration of all $18{,}804$ degrees of freedom and a harmonic balance condensed exactly onto the joints and continued in arclength agree to $5.5\times10^{-4}$. A projection-based nonlinear model order reduction then locates the criterion that a jointed structure imposes on a reduced basis. The binding quantity is not the linear response, which eleven vectors reproduce to better than $0.01\%$, but the receptance of the structure between the joints, of which $126$ global eigenvectors carry about $2\%$, and without which the reduced model overpredicts the hardening shift of the fundamental by a factor of thirty and returns a value beyond the rigid-joint limit of the panel.

We introduce an amortized neural sampler that combines operator learning with flow methods for sampling. It maps SDE coefficient functions to pushforwards from a reference measure to the invariant measures, enabling efficient sampling across families of stochastic differential equations. Our framework shifts traditional sampling cost to an initial training phase, after which new SDE instances require only one encoder pass and a few ODE solver steps, independent of mixing time. To handle problems in high dimensions, we use Lagrangian trajectory sensors for the coefficient functions and cross attention in the architecture. We also theoretically establish the expressivity and resolution invariance of our framework. Experiments on 1D and 2D SDE families show competitive accuracy with substantial speedups over MCMC in regimes with slow mixing, transfer across sensor counts, and demonstration results on a 64D interacting particle SDE where traditional grid approaches are infeasible.

Tree-encoded partitionings of graphs are fundamental tools for the decomposition and approximation of graph signals. For the efficient approximation of such graph signals, we develop strategies based on $hp$-refinement by combining domain decomposition with an improved local approximation using polynomials of higher degree. In this way, from a given graph partitioning tree, a more efficient subtree is extracted in which the cost of the signal approximation is considerably reduced by still maintaining the same total error. To this end, we interpret the refinement process as a binary knapsack problem to determine an enhanced partitioning tree. We further study an a-posteriori strategy which prunes the partitioning tree by optimizing the polynomial degrees over the subdomains. To make polynomial basis systems accessible for general graphs or high-dimensional data, we propose local embeddings of graphs into low dimensional Euclidean spaces. We underpin the efficiency of our algorithms with extensive numerical tests which carefully assess the impact of the applied refinements and optimization strategies.

Hyperbolic conservation laws pose a challenging setting for variational data assimilation, since the Gaussian assumption imposes a smoothness that smears jump discontinuities. A sparsity promoting regularization can help to mitigate this problem by incorporating a structural prior into the variational objective. Care must be taken when choosing this prior because it serves to counterbalance both a structurally misspecified background-error covariance, which introduces spurious oscillations over smooth regions, as well as spatially sparse observations, which leave too little data to constrain the state. Moreover, state variables of hyperbolic conservation laws typically do not have piecewise constant structure, which is an assumption made when using standard sparsity-promoting operators, such as total variation. Indeed the underlying {\em variability} of hyperbolic conservation law solutions are neither known in advance nor fixed. Hence using higher order total variation is also not suitable. Here we introduce a new regularization term for data assimilation, built on the sparsity promoting residual transform that neither commits to a fixed smoothness order nor requires the underlying variability to be known a priori. We solve the resulting nonconvex objective within a three-dimensional variational framework using generalized sparse Bayesian learning. This approach replaces a global \(\ell _{1}\) penalty with a hierarchical conditional Gaussian prior on the residual transform, where a learned hyper-prior yields location-specific weights attached to each spatial point. Numerical experiments across scalar, shallow-water, and Euler test problems show that this regularization term resolves discontinuities more accurately than total variation, and that its advantage grows as the background-error covariance becomes misspecified and the observations become sparser.

We develop a high-order, fully explicit operator-splitting method for 2.5D ideal magnetohydrodynamics on Cartesian meshes. The hydrodynamic subflow is advanced by an entropy-stable discontinuous Galerkin spectral element method equipped with stagewise oscillation elimination and a positivity-preserving limiter. The magnetic--velocity subflow uses compatible finite elements and mass-lumped reconstructions of electric field and current density. Its discrete-curl update exactly preserves the global $H(\mathrm{div})$ divergence-free subspace, while the ideal semidiscretization balances kinetic, magnetic, and internal energy. Curl-form artificial resistivity and a direction-resolved velocity filter return removed magnetic and kinetic energy to internal energy; consequently, the stabilized magnetic stage preserves positive internal energy and satisfies a discrete entropy inequality. The two solvers are composed by a second-order hydrodynamic--magnetic--hydrodynamic Strang splitting, yielding a matrix-free scheme that retains global mass, nodal admissibility, and magnetic divergence on accepted steps. Smooth Alfvén-wave and advected-vortex tests reveal an even--odd convergence pattern in the magnetic polynomial degree, verify second-order temporal accuracy, and show that stabilization preserves high-order accuracy. Field-loop, Orszag--Tang, rotor, MHD blast-wave, and Kelvin--Helmholtz calculations demonstrate robust performance for nonsmooth multidimensional flows and show that artificial resistivity suppresses grid-scale magnetic oscillations while retaining the resolved structures.

This paper presents a unified invariant-domain-preserving (IDP) framework for hybrid discretizations of hyperbolic conservation laws, including active flux and PAMPA methods, in which cell averages are updated conservatively while cell-boundary point values evolve under a possibly non-conservative operator. The main challenge is to preserve admissibility for these two coupled sets of states under a single local stability condition, without adding evolved degrees of freedom or relying on post-update repairs. For the point-value update, we introduce an admissibility transform based on a barrier--Legendre map for convex admissible interiors described by concave constraints, and prove that the inverse map is globally defined and Lipschitz continuous on the relevant sets. For the conservative cell-average update, we establish a structural obstruction theorem: the single-state continuous physical flux built from admissible boundary traces alone cannot provide a conservative IDP guarantee, for any prescribed CFL number, when internal reconstruction values are uncontrolled. This identifies the missing local control that must be supplied by an additional IDP flux mechanism. To realize this mechanism explicitly, we combine cell average decompositions (CAD), geometric quasilinearization, and local a priori scaling to construct admissible, generally discontinuous trace states before flux evaluation. Under an explicit trace-based CFL condition, with constants determined by local CAD weights and trace-state wave-speed bounds, the coupled hybrid update preserves the prescribed invariant domain. Concrete third-order schemes are developed on triangular, Cartesian, convex quadrilateral, and general convex polygonal meshes. Numerical results demonstrate the designed order of accuracy for smooth solutions and the strict preservation of physical admissibility.

We consider the problem of finding sparse solutions of an underdetermined linear system $Ax=b$. In contrast to conventional approaches based on greedy algorithms or convex relaxation, we reformulate sparse approximation as a structured system of polynomial equations and connect with the literature on tensor methods. We develop an eigenvalue decomposition based method that formally guarantees recovery of all sparse solutions if there is more than one. We also develop two optimization-based methods achieving favorable computational complexity. The new methods allow explicit control of the target sparsity. Numerical experiments illustrate the performance and compare to basis pursuit (denoising) and orthogonal matching pursuit.

We develop a family of weakly symmetric and pointwise traceless tangential-normal tensor finite elements in arbitrary space dimension and for all polynomial orders. Symmetry is imposed through local cell moments, while the only globally coupled stress degrees of freedom are tangential-normal facet moments; no vertex degrees of freedom are required. In dimensions three and higher, a lowest-order linear enrichment restores the rigid-motion facet control required for discrete Korn stability. As a principal application, we construct a distributional mixed method for the incompressible Brinkman equations using the physical viscous stress. Coupled with divergence-conforming BDM velocities and discontinuous pressures, the method is stabilization-free, uniformly stable with respect to the viscosity parameter, exactly divergence-free, and pressure-robust. We establish optimal-order error estimates in the natural norms. Under suitable parameter-explicit regularity assumptions, we also obtain a parameter-uniform boundary-layer estimate with optimal Darcy approximation order. Relaxing tangential-normal continuity yields an algebraically equivalent stress-hybridized formulation and a stabilization-free virtual element realization.

We analyze the mean square error of stochastic Runge--Kutta integrators for overdamped Langevin dynamics whose potential is convex outside a bounded region. A decomposition splits the local error into a mean-zero term and a smaller remainder, and the discrete Poisson equation turns their moments into a bound on the error of a time average. We carry this out for two stochastic Runge--Kutta integrators proposed by Yang and Wang, both of strong order $\frac32$ and weak order 2, evaluating the gradient of the potential and no higher derivative. We show that their laws approach the law of the exact solution at second order in Wasserstein-1 distance, up to a logarithm, uniformly in the number of steps. For a test function with bounded derivatives up to third order, we prove that the mean square error over $N$ steps with step size $h$ is $\mathcal O ( \frac{1}{Nh} + h^4 )$, which is the optimal order in the discretization. Experiments measure the strong and weak orders and the sampling bias on a nonconvex potential in $\mathbb R^2$, and compare the integrators on a diffusion model of CIFAR-10.

Diagonally implicit Runge-Kutta (DIRK) methods are a prominent class of numerical methods for solving stiff systems of ordinary differential equations (ODEs). Stiffness does not only impose stability challenges on Runge-Kutta methods; it can also degrade the order of convergence. This so-called order reduction phenomenon occurs when assumptions used for classical convergence analysis, e.g., an asymptotically small step size, fail to hold. In a prior paper by the authors, sharp order conditions and global error bounds for Runge-Kutta methods were developed, which hold uniformly with respect to stiffness when applied to a wide class of semilinear ODEs. In this work, those conditions are leveraged to construct the first DIRK methods of order four and five which satisfy these conditions and thus do not exhibit order reduction. Numerical results demonstrate that for a broad class of relevant nonlinear test problems, these new methods successfully mitigate order reduction, accurately estimate local error via an embedding for adaptive step size control, and can outperform classical DIRK methods.

Directly self-starting implicit methods are attractive for transient analysis because they avoid auxiliary starting procedures while retaining the original first- or second-order governing equations. However, most existing formulations usually fix the last sub-step at the end of each time interval, which restricts the attainable order. This study develops a generalized $s$-sub-step implicit framework by releasing this constraint and treating all sub-step locations as design variables. The resulting methods admit a unified Runge--Kutta representation for both first- and second-order transient systems and preserve identical effective matrices over all sub-steps. Accuracy conditions are derived by simultaneously matching the numerical amplification factor and load operator, thereby accounting for both homogeneous and forced responses. For $s=1,~\cdots,~6$, two complementary families are obtained: $s$th-order members with user-controllable high-frequency numerical dissipation and adjustable sub-step locations, and $(s+1)$th-order members obtained by selecting the sub-step locations, with fixed dissipation. The latter reach up to seventh-order accuracy without increasing the number of sub-steps, although some high-order members are $A(α)$-stable with stability angles extremely close to $90^\circ$. Analytical amplitude and phase errors further reveal parity-dependent superconvergence in undamped systems, and appropriate parameter selections can substantially increase either phase or amplitude accuracy beyond the formal order. Numerical benchmarks confirm the predicted convergence orders and the controllable suppression of spurious high-frequency responses.

This paper considers the lowest-order first type Nédélec edge element method (EEM) on Cartesian grids for the three-dimensional time-harmonic Maxwell equations with a large wave number. New polynomial preserving recovery (PPR) operators are proposed for the curl of the edge element solution and for the solution itself, respectively. Under the condition that $κ^3 h^2 C_{\mathrm{sol}}$ is sufficiently small, second-order superconvergence estimates are proved for both the recovered curl and the recovered solution, where $κ$ is the wave number, $h$ is the mesh size, and $C_{\mathrm{sol}}$ is a stability constant associated with the Maxwell solution operator. In particular, the analysis shows that the proposed PPR procedures cannot mitigate the well-known pollution effect inherent to the EEM. To reduce the pollution error, we further propose a new continuous interior penalty edge element method (CIP-EEM) that incorporates an additional normal-jump penalty term. It is shown that by appropriately choosing the penalty parameters, the new CIP-EEM can improve the phase error by two orders in $κh$. Numerical experiments are presented to confirm the theoretical superconvergence results and to demonstrate that the CIP-EEM can effectively reduce the pollution error in the high-frequency regime.

We consider a class of sixth-order elliptic partial differential equations in two and three dimensions subject to simply supported and Cahn--Hilliard-type boundary conditions. Based on the Ciarlet--Raviart reformulation, we recast the sixth-order problem as an equivalent mixed system involving second- and fourth-order equations and establish its well-posedness under suitable assumptions. For the resulting mixed formulation, we propose and analyse two discretization frameworks: a fully non-conforming hybrid high-order (HHO) method on general polytopal meshes and a $C^0$-conforming HHO--finite element method on simplicial meshes. We prove stability and derive optimal-order a priori error estimates for the primary variables under appropriate regularity assumptions. For the fully non-conforming HHO method, we further derive a reliable residual-based a posteriori error estimator. Numerical experiments confirm the theoretical convergence rates and illustrate the robustness of the proposed methods for a range of mobility parameters.

We construct Scott-Zhang-type space-time quasi-interpolation operators on tensor- product meshes for parabolic settings. Specifically, these are linear and uniformly bounded projections from the classical parabolic energy space onto a space-time tensor-product finite element space that preserve discrete Dirichlet boundary conditions on the lateral space-time boundary. We apply our operator in the context of space-time first-order system least-squares finite elements for parabolic equations to establish a quasi-optimal method for inhomogeneous Dirichlet boundary conditions.

A combination of Taylor polynomial approximation and averaging results in a powerful quasi-interpolation technique that can be used to analyze the approximation properties of finite element spaces. With this particular approach, the notion of affine equivalent families is completely bypassed in the sense that the degrees of freedom are defined locally rather than being exported from a reference element. In particular, domains with curved boundaries can be handled in a natural manner. Finally, the ease of its application to a particular finite element makes it a valuable pedagogical tool.

We develop and analyse a new arbitrary-order method for the Kirchhoff--Love plate problem on general polygonal meshes. The construction relies on a discrete Hessian complex obtained through the Bernstein--Gelfand--Gelfand construction, which stacks a Stokes complex on top of a tensorised de Rham complex. A key ingredient of the analysis is a detailed study of the former. We specifically establish primal and adjoint consistency estimates, as well as uniform Poincaré inequalities, and use these results to derive the analytical properties of the resulting discrete Hessian complex. The proposed method is then shown to be coercive and to converge with order $k+1$ with respect to the mesh size, where $k\ge 0$ is the polynomial degree of the complex. Numerical experiments on polygonal meshes confirm the theoretical convergence rates.

In explicit dynamics, the critical time step is governed by the maximum eigenfrequency of the semi-discrete system. In Isogeometric Analysis (IGA), open knot vectors introduce a characteristic spectral boundary effect that can lead to high-frequency outliers and restrict the admissible time step. In the row-sum-lumped setting considered here, extending the computational patch and trimming away the exterior boundary functions mitigates this time-step penalty, but does not necessarily prevent boundary-adjacent basis functions from governing the maximum eigenfrequency. We show that reduced-support basis functions adjacent to the trimming boundary can remain critical spectral contributors even for knot-exact trimming, i.e., in the absence of small cut cells. Hence, small cut cells are not required for trimming-induced time-step penalties. Knot-exact and arbitrary trimming represent different degrees of support reduction within the same underlying mechanism. To control this effect, we propose the Boundary-Level-Constrained Refinement (BLCR) strategy, a local refinement constraint for LR- and THB-splines. BLCR constrains the refinement level of basis functions whose support intersects the trimming boundary relative to that of the refined interior. In all configurations investigated in this work, this constraint ensures that the maximum eigenfrequency is governed by untrimmed interior basis functions rather than by refined trimmed functions. Consequently, the trimming-induced high-frequency outliers governing the critical time step are suppressed, yielding a larger admissible time step than globally refined trimmed B-splines with the same interior resolution.[...]

This paper is the first in a three-part series on the construction of polynomial splines with the highest order of smoothness over hierarchical T-meshes, referred to as $\PHtwoT$-splines. For splines of bi-degree $(d,d)$, we study suitable refinement conditions for the subsequent basis construction, which requires dimensional stability of the underlying spline space. We present two groups of examples, considering unrestricted hierarchical refinement and refinement without vanishable T $l$-edges, respectively. The first setting permits new edges without additional degrees of freedom. In the second group, every refinement level excludes vanishable T $l$-edges and increases the dimension. Nevertheless, the dimension is unstable in both groups. We then introduce template translations to describe each refined region as a union of translates of a fixed template in the cell-index grid. Together with the known stability result under $(d-1)\times(d-1)$ template refinement, these examples justify this condition as a reasonable mesh assumption for the subsequent $\PHtwoT$-spline construction.

In a recent paper (H. Wang, Math. Comp. 93, 2861-2884, 2024), Wang has presented a number of results concerning the convergence of approximations based on generalised Laguerre polynomials, claiming to have provided "the first rigorous proof of root-exponential convergence of Laguerre approximations for analytic functions". In this note we argue that the proofs of the main results of Wang's paper are incomplete, because they rely on taking a limit under an integral sign, and this is not properly justified. We explain how the proofs could be completed using the dominated convergence theorem, provided that certain nontrivial inequalities involving generalised Laguerre polynomials and their weighted Cauchy transforms hold. We make a related conjecture, which, if true, would complete the proofs of Wang's results. This conjecture remains unproven, but appears plausible, based on numerical experiments.

Bressan and Shen (2021) jointly with Bressan and Murray (2020) proposed a simple example of a Cauchy problem on $\mathbb{R}^2$, characterized by two key parameters, intended to yield nonunique weak solutions of the incompressible Euler equations. They suggest that a limiting process applied to two specific approximations of their example initial data yields two distinct solutions. Here we provide evidence coming from a carefully designed numerical procedure to support if, or when, this intriguing claim is valid. Some of the numerical challenges encountered in the present study are: (i) the proposed initial data is unbounded in a neighborhood of the origin, (ii) the proposed problem is posed on all of $\mathbb{R}^2$, (iii) several essential symmetries present in the true solution must be captured, (iv) the proposed example depends on two parameters which may be critically linked. We demonstrate that an extremely large computational domain is mathematically necessary to capture the core symmetries of the exact free-space problem. Accordingly we implement a nested-grid strategy specifically designed for its particular suitability and efficacy for the problem at hand. Our strategy also allows us to achieve extreme grid refinement in the region where solution accuracy is most critical. Within our nested-grid framework, we design an underlying discretization scheme that is high-order, robust, and fast. We consider a broad collection of allowable parameter pairs, but among all of them we find only one that may satisfy the suggested claim.

This paper investigates finite element approximations of the one-dimensional viscous stochastic Burgers equation with additive trace-class noise. For the $P_2$ finite element spatial semi-discretization, we derive strong error estimates that are optimal with respect to regularity in \(L^p([0,T] \times Ω;H_{D}^{α,q})\) for \(p,q\in[2,\infty)\) and \(α\in[-1,0]\), as well as an almost regularity-optimal estimate in \(L^p(Ω;C([0,T];L^\infty(\mathcal{O})))\). Furthermore, we derive weak error estimates for moments of both terminal $L^q$-norms and space-time $L^p(0,T;L^q(\mathcal{O}))$-norms, with weak convergence rates (nearly) twice the corresponding strong ones. For the fully discrete scheme, which combines the \(P_2\) finite element method in space with a drift-implicit Euler--Maruyama scheme in time, we establish a strong temporal convergence rate of order \(τ^{1/2-\varepsilon}\) in a discrete analogue of \(L^p(Ω;C([0,T];L^\infty(\mathcal{O})))\), under the condition \(τ\leqslant h^2\). Numerical experiments are presented to illustrate the theoretical convergence rates.

For a wide class of Helmholtz scattering problems (namely, those fitting in the black-box framework of Sjöstrand--Zworski) we prove that the error incurred by approximating the radiation condition by a Cartesian perfectly-matched layer (PML) decreases exponentially in the width of the PML, the strength of the PML scaling, and the frequency.

We study computational trade-offs between two solvers for the same semi-implicit finite-difference discretization of forward-backward partial differential equation (PDE) systems arising in mean field games (MFGs). The Picard method uses an outer fixed-point iteration that alternates a forward Fokker-Planck solve and a backward Hamilton-Jacobi-Bellman solve. The Newton method instead applies Newton's method directly to the coupled nonlinear space-time system. Across one- and two-dimensional MFG benchmarks, we find that the Picard method has much lower wall-clock cost when it converges, but may fail at sufficiently low viscosity and may require strong damping under temporal shocks. With parameter continuation, the Newton method is more robust in these regimes, at the cost of larger coupled linear systems. We relate these trade-offs to the residuals, Jacobian blocks, and sparsity structures produced by separable, local nonseparable, and nonlocal Hamiltonians. We also test a hybrid continuation strategy on a two-dimensional double-well MFG benchmark, using Picard iterations for the inexpensive part of the viscosity descent before switching to Newton continuation.

In the Navier--Stokes equations, incompressibility allows rewriting the viscous term in various forms leading to distinct numerical properties and flow descriptions. Furthermore, models accounting for non-Newtonian, thermal or turbulent effects often break the constant-viscosity assumption, thereby producing additional consistency terms. In this context, the present work compares the classical symmetric-gradient diffusion term with more recent variable-viscosity generalizations of the Laplacian and rotational forms. We discuss, analyze and test their differences with respect to implementation, efficiency, numerical stability and outflow boundary conditions. With a focus on time-dependent flows, we consider second-order implicit-explicit (IMEX) temporal discretizations aimed at improving efficiency and numerical stability. Through a rigorous stability analysis, we show how selected explicit treatments can bypass algorithmic nonlinearities without inducing CFL conditions. Our numerical results highlight important differences between the three viscous formulations---especially in the presence of outflow boundaries, for which the generalized Laplacian form proves more suitable in diffusion-dominated regimes. %(as widely known for constant viscosity).

Considering the computational advantages of virtual element methods (VEM), this work employs a conforming VEM for the numerical approximation of the Kelvin--Voigt model of viscoelasticity. For clarity and simplicity, we focus on the primal formulation. The spatial discretization is carried out using the virtual element method, while the temporal discretization is handled via the {second-order Crank--Nicolson} scheme. We establish the well-posedness of both the semi-discrete and fully discrete problems and derive {\it a priori} error estimates. Several representative numerical examples are presented to validate the theoretical results and to demonstrate the effectiveness of the proposed formulation.

Evaluating layer potentials with rapidly decaying kernels becomes computationally challenging in the presence of boundary layers, as occurs for Helmholtz layer potentials with large imaginary wavenumbers. We introduce Quadrature by Matched Asymptotic Expansion (QBMAX), a high-order method that extends the Quadrature by Expansion (QBX) framework by incorporating the kernel's asymptotic decay behavior directly into the Taylor expansion of the potential. Numerical results in both 2D and 3D show improvements of up to four digits over QBX for the tested large-parameter cases, while the methods can perform similarly for smaller parameters or more strongly curved geometries. A symbolic weighted operation-count model indicates comparable costs for forming the two expansion kernels. The Taylor expansions have the same formal order, while QBMAX reduces the truncation-error constants in the flat-boundary model and generally exhibits less convergence degradation in the reported experiments.

Hyperbolic partial differential equations (PDEs) with time delay are essential mathematical tools used to model numerous physical systems where wave propagation or oscillations depend heavily on their historical states. As these applications scale in physical complexity, efficient parallel computing techniques become essential; however, developing highly scalable parallel solvers for delayed PDEs remains a significant computational challenge. To address this gap, this study extends the Dirichlet-Neumann Waveform Relaxation (DNWR) method to a multi-subdomain framework explicitly designed for solving time-delayed hyperbolic PDEs in parallel. We advance the underlying mathematical framework and provide a rigorous convergence analysis for both one-dimensional and two-dimensional spatial configurations. A central theoretical contribution of this work is the establishment of finite-step convergence for the multi-domain DNWR algorithm. These theoretical guarantees are firmly corroborated through comprehensive numerical experiments. Furthermore, a detailed comparative analysis against alternative domain decomposition techniques namely NNWR, OSWR, and Classical SWR, highlight the advantages of the proposed method. Finally, this approach provides a robust, highly parallelizable solver capable of efficiently handling complex hyperbolic PDEs with time delay.

Hyperbolic PDEs with time delay are essential for modeling a wide range of real-world applications. Since closed-form solutions are often not attainable, developing accurate and efficient numerical methods becomes crucial. In this work a novel substructuring waveform relaxation method namely Neumann-Neumann Waveform Relaxation (NNWR) has been implemented for numerically solving hyperbolic delay PDEs in the case of non-uniform subdomain partitioning. The convergence behavior is first analyzed using Fourier analysis to obtain an estimate, followed by a demonstration of finite-step convergence through Laplace transform techniques. Various test cases are presented as numerical illustrations.

We discuss some theoretical results and their applications to specific practical problems from wireless communications. We assume that we know the noisy version of the signal, which is sparse with respect to a given system of elements (dictionary), at a finite number of points and we want to approximately recover it. This problem of recovery of a noisy signal is closely related to the problem of establishing the Lebesgue-type inequalities for the corresponding algorithms and it motivates us to prove such inequalities. Under certain conditions on a dictionary (RIP-type condition, coherence condition) we obtain different kinds of the Lebesgue-type inequalities for the OMP and its version WOMP algorithms. The most important feature of our new theoretical result is the assumption that the dictionary has the RIP-type property instead of the assumption that it is the Riesz basis, which was used in the previous results. Our approach allows us to treat redundant (overcomplete) systems, which is important in applications. We consider the setting of sparse recovery for highly-coherent dictionaries that appear in OFDM setting for wireless communication. Our main example is the oversampled Fourier dictionary and the recovery of the frequency response of a sparse channel. We develop a general approach to such problems and we prove that under certain conditions the OMP algorithm recovers all dictionary elements with large coefficients, and estimate its accuracy (in NMSE metric) in terms of signal-to-noise ratio.

Linear programming plays a fundamental role in computer science, with applications in optimization, formal verification, SMT solving, and numerous other domains. When exactness guarantees are required, numerical inaccuracies arising from floating-point arithmetic can compromise soundness, whereas exact rational arithmetic often incurs significant computational overhead. In this paper, we investigate the numerical stability of the simplex algorithm and establish conditions under which a precision-boosting floating-point implementation provably produces the same pivot decisions and final basis as an exact rational implementation, from which the final result is reconstructed and certified exactly. Our analysis shows that correctness depends on both arithmetic precision and a careful handling of numerical tolerances. Based on these results, we develop a tolerance-aware, precision-boosting simplex algorithm with formal correctness guarantees. Finally, we introduce a delta-complete termination criterion that allows the algorithm to terminate once certified upper and lower bounds on the optimal objective differ by at most a user-specified threshold delta, providing a certified, user-controlled optimality gap.

Direct evaluation of the defining product in the real Cayley--Dickson algebra $A_n$, of dimension $N=2^n$, has quadratic arithmetic complexity. This paper gives a uniform algorithm for multiplication using $O(N\log N)$ real arithmetic operations and $O(N)$ auxiliary storage. The algorithm reduces multiplication to the alternating product on the imaginary subspace, then evaluates that product by a two-call recursion over one fixed quadratic coefficient extension. For $n\ge1$, the resulting bilinear algorithm uses at most $(9n-15)2^{n-1}+10$ input-dependent real multiplications, and for $n\ge3$, the specified arithmetic schedule uses $(34n-83)2^{n-1}+50$ real operations in total. Under this counting convention, the quasilinear schedule uses fewer operations than direct multiplication for $N\ge16$ and than the uniform Cariow--Cariowa method for $N\ge32$. The algorithm is implemented in the MIT-licensed C11 library fastCD, with a NumPy-backed Python interface, and its results are checked against an independent implementation of the defining recursion. In single-core benchmarks against direct multiplication and the uniform Cariow--Cariowa method, the quasilinear implementation had the lowest mean time of the three at every tested dimension $N\ge32$, for both single and batched products, and was roughly $16$ times faster than direct multiplication at $N=1024$.

We stabilize stationary states of coupled multi-species McKean--Vlasov equations by feedback control, extending a spectral approach based on the Wasserstein Hessian and a Riccati equation from a single density to a product of Wasserstein spaces. We give necessary and sufficient conditions for local exponential stabilization at a prescribed rate when only one species is actuated, together with the minimum number of control inputs required. For two species, the condition reduces to a rank condition on the Fourier coefficients of the cross-interaction kernel over the eigenspaces of the unactuated species' linearized dynamics. A two-community noisy Kuramoto model and a cell-sorting model illustrate the results.

This article introduces four parallel numerical techniques for computing entries of the inverse of large sparse symmetric systems, all grounded in incomplete $LDL^T$ (ILDL) factorizations: (1) the selected inversion method (SelInv), which applies the $LDL^T$ factorization to recover entries of the matrix inverse within the sparsity pattern of the computed factors; (2) an approximate inversion method based on a truncated Neumann series expansion applied to the inverse of the L factor (NInv), providing an alternative at the cost of reduced accuracy; (3) a Mix approximation that merges the best of both SelInv and NInv; and (4) Mix-SPAI, which applies sparse approximate inverse (SPAI) refinement on the output of the Mix method to improve entry-level accuracy. To further improve accuracy while maintaining a stable sparsity pattern, we additionally employ a low-rank correction based on eigenvector updates, providing an alternative to tightening the drop tolerance. We report the performance of the proposed numerical techniques on a comprehensive collection of sparse matrices from scientific and industrial applications.

In this paper, we consider the classical time-optimal elevator problem in the presence of higher-order state constraints. The main contribution is a constructive indirect solution framework based on a Pontryagin Maximum Principle specifically formulated for higher-order constrained systems. First, we derive specialized optimality conditions and analyze the resulting structure of extremal trajectories. Second, we show that the infinite-dimensional optimal control problem can be transformed into a finite-dimensional system of nonlinear algebraic equations involving switching times, boundary-contact times, and multiplier parameters. This provides a computationally efficient procedure for calculating candidate optimal trajectories using standard nonlinear equation solvers. Third, we characterize the geometry of boundary contacts and explain the emergence of contact-chattering phenomena in higher-order constrained systems. In particular, we show that normal extremals cannot evolve along the constraint boundary for a positive amount of time, although sequences of boundary contacts may accumulate indefinitely. The proposed approach is demonstrated on a fourth-order elevator model, and the computed solutions are independently verified using a direct IPOPT-based optimization method.

We study early stopping for a continuous-time model of stochastic gradient descent (SGD) in ill-posed linear inverse problems. We consider an a posteriori stopping rule based on the discrepancy principle, which stops the dynamics once the residual reaches the noise level. Unlike deterministic gradient flow, the stochastic dynamics exhibits persistent multiplicative fluctuations whose amplitude scales with the residual itself. Under a source condition on the initial error and a polynomial bound on the spectrum of the empirical covariance operator, we prove that, with high probability, the error at this random stopping time achieves the minimax rate over the corresponding source class, up to a logarithmic factor. Our results therefore establish the discrepancy principle as an adaptive regularization strategy for continuous-time SGD that is minimax-optimal up to a logarithmic factor, despite the persistent fluctuations induced by stochastic sampling. To our knowledge, this is the first convergence-rate result for a continuous-time model of stochastic gradient descent in inverse problems under an a posteriori stopping rule: existing analyses, including those of variance-reduced variants, bound the stopping time but do not quantify the error attained there.

A three-dimensional multiphysics finite element framework for the simulation of high-frequency induction welding of tubes is presented. The model couples a time-harmonic magnetic scalar potential formulation with a stabilized quasi-stationary advection-diffusion heat transport equation, enabling accurate prediction of electromagnetic and thermal fields under industrial operating conditions. The framework incorporates parameterized geometry generation and semi-automated, physics-tailored mesh construction and is implemented using the open-source tools GetDP and Gmsh. Validation against measurements from a commercial induction welding line for AISI 304 stainless steel tubes demonstrates good agreement with operating data. The validated model is subsequently applied to investigate the influence of impeder material by comparing a conventional FeNiZnV ferrite with the soft magnetic composite Ferrotron 559H for the induction welding of AISI 304 stainless steel tubes.

Exploring high dimensional energy landscape is a challenging problem in many applications where both ground states and transition states offer important information about the underlying physical systems. To facilitate the computational exploration, we propose a cubic-regularized second-order method for locating critical points of prescribed index, including both energy minima (with an index $0$) and transition states (saddle points with positive index). At each step of the iteration, the proposed method involves several ingredients, such as updating the eigen-directions of the Hessian according to the prescribed index, reflecting the gradient and the Hessian along selected unstable eigen-directions, if any, and constructing the next step by solving a cubic-regularized subproblem. Under suitable assumptions, we show that, when the eigenspace and the cubic subproblem are solved exactly, the iteration converges locally and quadratically to a critical point of the prescribed index. We further establish convergence results in the inexact setting, where both the eigenspace computation and the solution of the cubic subproblem are performed approximately. We show that the resulting iteration retains local linear convergence, with the convergence rate depending on the accuracy of the inexact computations. Moreover, we prove that the fixed points of the algorithm are precisely critical points of the prescribed index. In addition, we introduce an adaptive strategy for updating the cubic regularization parameter to improve robustness and computational efficiency of the proposed algorithm. Numerical experiments confirm the predicted convergence behavior, demonstrate the effectiveness of the adaptive strategy, and illustrate the capability of the proposed method for locating critical points and constructing solution landscapes.

Stress localization in heterogeneous solids is governed by the bimaterial interface, where the displacement field remains $C^0$-continuous, while in-plane stresses jump due to the stiffness mismatch. Coordinate-based physics-informed neural networks (PINNs) represent this jump via a prescribed regularization width or a weighted interface penalty, making their accuracy sensitive to how phase-contrast changes are handled. This work presents a variational, label-free physics-informed graph neural network (PI-GNN) in which the heterogeneity is carried by the discretization rather than by the trial field. The solver operates on a conforming adaptive mesh graph, assigns constitutive behavior per element, and minimizes the discrete total potential energy as a single unweighted objective in which only first derivatives appear. The discrete energy on piecewise-linear elements coincides with the finite element (FE) Ritz functional. Dirichlet conditions are enforced by construction, with no penalty term, no interface weight, and no prescribed transition width. Using one fixed architecture, optimizer, and loss across small-strain elasticity and finite-strain Neo-Hookean hyperelasticity in two and three dimensions, the von Mises error remains below $3.58\%$ across a stiffness-contrast sweep spanning $(E_{\mathrm{inc}}/E_{\mathrm{mat}}\in[10^{-2},10^{2}])$, where a strong-form PINN degrades to $5.58\%$, and its displacement error reaches $7.66\%$ against $0.49\%$ for the PI-GNN. A trained network halves the ($σ_{xx}$) error of an energy-based PINN ($5.01\%$ versus $10.94\%$). Training cost exceeds a single FE solve by more than an order of magnitude, so the construction is a variationally consistent, penalty-free interface representation for parametric surrogates and inverse identification rather than a replacement for a one-off FE analysis.

We develop a framework for offline full-window branch discovery, optionally followed by online continuation with an ensemble Kalman filter (EnKF). Three mechanisms drive the branch search: adjoint path-kernel (APK) differentiation balances kernel differentiation and correction-stabilized path perturbation, shifting the optimization from exploration to exploitation; an optimized Gaussian initial law broadens the search over initial-state basins; and loss-weighted mixing across independent runs recombines successful path components. We may then select an interior state using a local loss and continue online with an EnKF. In 40-dimensional Lorenz-96 experiments, the mean offline path RMSE of APK is 4.3 times smaller than that of population weak-$\mathrm{4D\text{-}Var}_x$. The resulting APK-EnKF method has a mean online RMSE 64 times smaller than that of ordinary EnKF.

In this note, we provide a short and direct proof that approximately solving $Ax=b$ to relative error $\varepsilon$, where $A$ has condition number $κ$ and unrestricted dimension, requires $Ω(κ\log(1/\varepsilon))$ matrix-vector multiplications in the worst case, even for randomized algorithms. This essentially recovers the lower bound of Dereziński, Epperly and Meyer [2026] for this setting, whose elegant and more general approach inspired us to seek a short direct proof. A straightforward reduction implies the classical $Ω(\sqrtκ\log(1/\varepsilon))$ lower bound for optimizing strongly convex quadratic functions, applicable to randomized algorithms.

In a companion numerical study, we found a high-precision singular profile for the Euler equations on the unbounded domain $\mathbb{R}^3$. The present manuscript complements that study by establishing in detail a framework for proving (nonlinear) stability of the approximate self-similar profile, reducing the analysis to a large but finite collection of explicit estimates and computable constants. Conditional on rigorous certification of the estimates and constants appearing in the argument, the framework closes the stability proof and, crucially, allows the stable rescaled profile to be reconstructed as an admissible solution in the original variables that becomes singular in finite physical time. With the stability and reconstruction mechanisms established, the remaining work is largely quantitative: certifying the explicit constants and, where necessary, sharpening selected analytic estimates to close the stability proof.

A robust finite-volume framework is presented for the simulation of compressible multiphase flows with surface tension across a wide range of Mach numbers. The method is based on a two-pressure, six-equation diffuse interface model incorporating viscous, gravitational, and capillary effects through the continuum surface force formulation. To consistently account for capillary-induced pressure jumps, an HLLC Riemann solver is developed using generalized Riemann invariant analysis, and the instantaneous pressure relaxation procedure is modified to preserve the Laplace pressure jump during phase equilibration. To overcome the excessive numerical diffusion of conventional approximate Riemann solvers in the low-Mach regime, a robust low-Mach correction is proposed by extending our previous formulation with a modified scaling strategy that remains stable in regions of strong pressure variation. The resulting method retains accuracy from nearly incompressible flows to compressible regimes while preserving the robustness of the six-equation formulation. The numerical framework is validated using a series of benchmark problems involving surface tension, viscosity, gravity, and compressibility. The results demonstrate accurate prediction of interface dynamics, capillary pressure, and low-Mach flow features, while significantly reducing numerical dissipation without compromising stability. The proposed methodology provides an efficient and reliable approach for the simulation of complex multiphase flows spanning a broad range of flow regimes.

Mean field planning on a surface prescribes initial and terminal densities and minimizes a transport energy subject to the continuity equation. Proximal algorithms for this problem repeatedly solve a time--space Poisson equation, whose temporal derivative and surface gradient determine the density and momentum corrections. We study a gradient-enhanced approximation of this constraint projection using finite differences in time, surface finite elements in space, temporal polynomial preserving recovery, and spatial parametric polynomial preserving recovery. The same construction is incorporated into ISTA, FISTA, and Douglas--Rachford splitting. We distinguish the recovered update from an exact discrete projection and derive residual identities and conditional finite-iteration perturbation bounds that retain data, boundary, and linear-solver errors. Existing derivative-recovery estimates identify a higher-order contribution under suitable regularity and mesh assumptions; they do not by themselves establish convergence of the outer optimization iteration. Available numerical illustrations on the sphere and a more complicated algebraic surface are discussed together with the limits of the recorded refinement data.

We present and analyze an iterative refinement (IR) framework for improving the precision dependence of algorithms that combine a quantum linear system algorithm (QLSA) with quantum state tomography. Existing QLSAs achieve polylogarithmic dependence on the inverse error tolerance to prepare a quantum state encoding the solution, but extracting a classical description of such a state via tomography typically introduces a polynomial dependence on the target precision. To retain polylogarithmic dependence in the inverse error tolerance throughout the entire process, we develop an IR scheme that solves a sequence of related linear systems to progressively refine the solution while requiring only fixed-precision quantum subroutines, finally obtaining a classical description of a high-precision solution. We analyze the proposed framework under three input models: quantum-read/classical-write RAM (QRAM), linear combinations of unitaries (LCU), and sparse-access oracles. We evaluate the proposed scheme through numerical experiments on both quantum simulators and real quantum hardware. The results demonstrate that iterative refinement efficiently improves the precision of the solution and exhibits robustness to hardware noise.

Computing the closest point on a clothoid is a recurring task in geometric design, road and railway alignment, and path planning. The efficient algorithm of Frego and Bertolazzi addresses this problem, but its candidate-selection analysis assumes at most one local minimum per search interval. We exhibit admissible configurations with two local minima, raising the question of whether the existing strategy accounts for every possible minimum. Using the geometry of the clothoid evolute, we prove that, for any query point and any proper no-inflection planar clothoid segment with tangent-angle variation at most $2π$, the squared-distance function has at most three stationary points; if all three are local extrema, their order is min-max-min. This establishes the completeness of the original candidate-selection logic beyond the one-minimum premise. It also shows that no interior search is needed when neither endpoint derivative test is active, allowing unnecessary midpoint searches to be omitted while retaining numerical fallback. Numerical experiments demonstrate reductions in iteration count and evaluation time.

We develop a thermodynamically consistent diffuse-interface model for multicomponent membranes. The proposed model is derived from a coupled free energy functional that incorporates protein-dependent bending elasticity, diffuse surface tension, a volume penalty, and a membrane-associated Ohta--Kawasaki energy. Applying the Onsager variational principle, we derive a coupled $L^2$ gradient flow system and its energy dissipation law. We then construct a stabilized alternating ETD1 scheme and a stabilized alternating ETDRK2 scheme with Strang-type composition (alternating Strang-ETDRK2). To the best of our knowledge, the proposed alternating Strang-ETDRK2 scheme has not previously been developed and analyzed for coupled phase field systems. We further prove the discrete energy dissipation for both schemes under some regularity assumptions on the numerical solutions. Numerical experiments in two and three dimensions validate the discrete energy dissipation law, and present the protein segregation and membrane deformation produced by the proposed model.

We consider boundary integral methods for Stokes mobility and resistance problems involving smooth axisymmetric particles. A primary numerical challenge is the accurate and efficient evaluation of layer potentials at off-surface points close to particle surfaces. We present a tolerance-driven workflow for evaluating the Stokes double layer potential at such evaluation points (targets) to prescribed accuracy while avoiding unnecessary computational cost. For each target--particle interaction, a fast classifier selects the least costly option estimated to meet the tolerance among standard, upsampled, and special quadrature. Geometry-dependent unit-density error indicators are precomputed and tabulated in reduced cylindrical coordinates, then combined on the fly with a local layer-density modifier, making its cost negligible relative to evaluating the potential. Targets requiring special quadrature are treated using a stabilized version of singularity swap surface quadrature: the periodic azimuthal integral is evaluated first using translated singularity swap quadrature to prevent severe cancellation near the surface, followed by adaptive Gauss--Legendre quadrature in the polar direction guided by error indicators. We integrate this workflow into a boundary integral solver with precomputed quadrature by expansion for on-surface self-interactions and demonstrate the workflow's performance for challenging configurations of spheroidal particles. Numerical results show that target classification is highly accurate. The prescribed tolerance is met for nearly all target--particle interactions and the error remains within a modest factor of the tolerance in the few remaining cases. Although the experiments focus on the Stokes double layer potential for spheroids, the off-surface framework applies to general smooth axisymmetric surfaces and can be easily adapted to other Stokes layer potentials.