arXiv Daily Brief

Numerical simulation of the Vlasov-Poisson system faces fundamental challenges due to phase-space filamentation. Standard spectral methods rely on artificial filtering to suppress errors, which inadvertently degrades physical structures and accuracy over time. This paper proposes a dynamically adaptive Fourier spectral method combined with high-order time splitting to overcome these limitations. To prevent filamentation-induced aliasing, we dynamically expand the wavenumber domain via adaptive zero-padding whenever spectral tail monitoring detects emerging fine-scale structures. Acting as an exact trigonometric interpolation, it inherently avoids the artificial smoothing of traditional filters, preserving mass and effectively maintaining the $L^2$-norm within the dynamically resolved scales. Numerical experiments on Landau damping and various instability problems validate the robustness of our scheme.

This paper presents a least squares weak Galerkin (LS-WG) finite element method for a class of second order elliptic equations of Fokker-Planck type. To address the numerical challenges arising from non-smooth diffusion tensors, the proposed method utilizes a least-squares formulation that yields a symmetric positive definite (SPD) discrete system. The numerical scheme is designed by employing locally constructed weak second order partial derivatives and the weak divergence commonly used within the weak Galerkin framework. A rigorous theoretical foundation is provided, establishing the uniqueness of the discrete solution and deriving optimal-order error estimates in a discrete energy norm. Finally, extensive numerical experiments are reported to validate the theoretical findings and demonstrate the robustness and performance of the numerical scheme.

We introduce a tangent-space multiscale manifold method for nonlinear heterogeneous elliptic problems. The method represents the fine-scale solution by a nonlinear reconstruction of a coarse state. The ideal reconstruction eliminates fine scales through a constrained variational problem, and the computable reconstruction approximates this map by localized nonlinear patch solves blended with a partition of unity. Because the approximation set is a nonlinear manifold, the coarse equation is posed with tangent multiscale test functions. We also formulate a network-interpolated variant in which only the restricted patch outputs used by the partition-of-unity blend, together with their tangent actions, are approximated by local learned maps. For heterogeneous monotone nonlinear diffusion, we record the structural monotonicity, differentiability, patch-map regularity, and conditional perturbation estimates that separate the geometric stability mechanism from localization, residual, and optional learning defects. A rigorous a priori theory for the decay of the localization defect, and the resulting convergence rates in the coarse mesh size, is deferred to a separate analysis; here these defects are controlled conditionally and their decay is demonstrated numerically.

We propose a residual energy-based framework for constructing low-rank approximations of kernel matrices arising from continuous kernel functions. The method operates in a continuous setting and is based on the adaptive selection of pivot nodes, referred to as \emph{optimal nodes}, which are chosen to minimize the residual energy at each step. This leads to a sequence of rank-$1$ updates of the residual kernel and admits a natural interpretation as a continuous analog of Adaptive Cross Approximation (ACA). From a theoretical perspective, we show that the residual kernels remain in the class of compact operators and that the approximation error is exactly characterized by the residual energy. We provide convergence guarantees showing that the method yields monotonic error reduction under an alignment condition and achieves geometric decay under practically motivated assumptions. Extensive numerical experiments demonstrate that the proposed method achieves approximation errors close to those of the truncated singular value decomposition across a range of kernel functions. The method exhibits strong robustness with respect to sampling and maintains stable performance across different discretizations. Furthermore, the close agreement between the continuous residual energy and the discrete approximation error highlights the consistency of the formulation. These results establish the proposed approach as a theoretically grounded, practically effective continuous counterpart to classical cross-approximation techniques.

This paper presents a residual-certified adaptive method for tracking local solution manifolds in parametric dynamical systems. The method combines local POD reduction, full physical residual checks, state-distance snapshot forgetting, high-fidelity resampling, and a lightweight physics-informed neural correction. Instead of learning one global parameter-to-state map, the algorithm maintains the currently active local branch and updates it when the residual indicates loss of validity. The analysis explains why residual thresholds are meaningful on regular branches through local residual-error control, and why stricter local updates are needed near folds or other degenerate neighborhoods. Numerical studies on Ostwald ripening, a particle population-balance model, and the Bratu equation test the approach across low-dimensional dynamics, nonlinear nonlocal residual compensation, and near-fold model failure. The results show that residual-certified local model management can concentrate high-fidelity computation in difficult parameter regions while preserving an interpretable link between surrogate prediction, physical consistency, and active-branch tracking.

Solving partial differential equations (PDEs) in high dimensions remains challenging due to the curse of dimensionality. We propose a neural-network-based framework that reformulates PDEs as inf--sup optimization problems through the introduction of a Lagrange multiplier. The primal solution and the associated Lagrange multiplier are parameterized by two networks and are computed via an iterative saddle-point optimization procedure. We prove the theoretical equivalence between the proposed optimization formulation and the original PDE problem, and we derive rigorous error estimates that quantify the total approximation error in terms of the network approximation error, statistical (sampling) error, and optimization error. Numerical experiments demonstrate the accuracy, stability, and efficiency of the proposed method for solving high-dimensional PDEs.

Although neural ordinary differential equations (NODEs) are a powerful framework for learning continuous-time dynamics, they generally do not preserve essential qualitative properties, such as positivity. We propose a structure-preserving Neural ODE framework based on nonstandard finite difference (NSFD) discretization. The learned dynamics are parameterized by nonnegative production and destruction rates, yielding an explicit, differentiable update that integrates seamlessly into standard automatic differentiation pipelines. We prove that the resulting scheme unconditionally preserves positivity for arbitrary time-step sizes while retaining first-order consistency. We outline an extension based on Patankar-type discretizations that preserves conservation laws exactly. Numerical experiments on an SIR epidemic model show that our approach generates physically meaningful trajectories, remains robust under coarse discretizations, and outperforms conventional NODEs in preserving the qualitative structure of the learned dynamics.

Multiscale problems are notoriously difficult to tackle using traditional numerical methods, as accurately resolving fine-scale features often requires prohibitively fine discretizations. This challenge is particularly pronounced in applications such as materials science, fluid dynamics, climate systems, chemical processes, and complex networks. Recent neural operator models provide a promising data-driven alternative, but frequently struggle to achieve sufficient accuracy in the presence of strongly heterogeneous or oscillatory coefficients. In this work, we focus on the solution of elliptic PDEs with rough and high-contrast inputs. The Localized Orthogonal Decomposition (LOD) method is a well-established numerical approach for such problems, but it comes, however, at a substantial computational cost. We investigate the performance of popular neural operator architectures on these challenging multiscale problems and identify key limitations in their ability to resolve fine-scale structure. To overcome these challenges, we introduce LOD-MSNO (LOD-Multiscale Neural Operator), a hybrid approach that leverages the LOD method as a strong multiscale prior by building on its representation of the solution as a linear combination of problem-adapted basis functions, while addressing its main computational bottlenecks through data-driven operator learning. We further provide theoretical error estimates for the proposed coefficient-learning framework. Lastly, we demonstrate the potential of our proposed method to outperform current neural operator baselines in terms of accuracy for challenging multiscale inputs, while mainly retaining the computational efficiency of neural operator models.

To reveal the effect of the inner product choice, we present a unified formulation of saddle dynamics for the functional F with a mass constraint under different inner products. We establish the equivalence between the index-k saddle points and the linearly stable steady states of the corresponding dynamics. Further, we present the dynamics with discrete H^{-1} and L^2 inner products and numerically verify the convergence orders of both dynamics. Finally, we apply the method to a phase field model with driving force under Neumann and periodic boundary conditions. The results uncover previously unreported saddle points and their connectivity, highlighting how the choice of inner product enriches the solution landscape in conservative systems.

In this paper we introduce Hermite spectral approximation for functions with endpoint singularities using exponential transforms, including single exponential (SE), double exponential (DE) and error function (EF) transforms, and present a comprehensive convergence analysis for these approximations without and with scaling. In the case without scaling, we show that these methods converge at some root-exponential rate. In the case with scaling, we derive optimal scaling factors for each of exponential transforms and show that the convergence rate of Hermite spectral approximation can be significantly improved. Numerical comparisons with sinc method are present and it is shown that Hermite method has comparable or superior accuracy performance when using the same number of terms. Extensions to quadrature and rootfinding algorithm are also discussed.

Time-periodic problems arise when the desired solution is a periodic steady state rather than a transient trajectory. The periodic parareal algorithm with a periodic coarse problem (PP-PC) is a periodicity-preserving parallel-in-time approach for such problems. Projection-based correction can accelerate convergence of both parareal and PP-PC. In this paper, we propose a Fourier-aware construction of projection spaces and a new correction scheme to further accelerate the convergence of projection-based PP-PC. We develop a convergence analysis of projection-based PP-PC with the discrepancy-based correction scheme for general nonlinear time-periodic problems. For an arbitrary orthogonal projection, we derive a local one-step convergence estimate controlled by the unresolved error and explicit nonlinear contributions. A temporal Fourier decomposition bounds the unresolved error by a tail-leak quantity, which is small when dominant error modes are selected and their coefficients are captured by the projection space. For linear problems, the nonlinear contributions vanish, yielding a globally valid one-step tail-leak convergence estimate under weaker assumptions. Experiments on linear and nonlinear problems show that Fourier-aware PP-PC requires fewer outer iterations than Krylov-enhanced PP-PC. For the linear problems, the errors track the tail-leak bound. For the nonlinear problems, the experiments quantify the unresolved-error and explicit nonlinear contributions in the local one-step estimate and show that the evaluated tail-leak estimate follows the observed decay.

We propose a log-Gaussian scale-space limiter for hybrid continuum-ballistic gas dynamics. The method defines complementary continuum and ballistic weights as Gaussian cumulative probabilities in logarithmic Knudsen-number space. This construction gives a smooth numerical transition between Navier-Stokes-Fourier and kinetic/free-molecular fluxes and suppresses asymptotically invalid correction branches in the continuum and free-molecular limits. The limiter is incorporated into a conservative finite-volume interface flux by blending a Navier-Stokes-Fourier flux with a half-range Maxwellian kinetic flux. Numerical tests using one-dimensional DVM/BGK Fourier and Couette benchmarks show that rarefaction corrections improve macroscopic profiles relative to NSF. A parameter scan over the transition center and width gives a DVM/BGK-calibrated pair K0=0.03 and sigma=2.5, reducing the combined mean profile error by about 40% for the tested planar wall-bounded flows. The paper is intended as a proof-of-concept numerical method and calibration study.

In this paper, we propose the Algebraic Invariant Quadratization (AIQ) framework for rational-like energy functions by introducing auxiliary variables, which are interpreted as Casimir functions of the extended system. Combining AIQ with symplectic Runge--Kutta (SRK) methods in time and Fourier pseudo-spectral discretization in space, we obtain fully discrete schemes. The resulting schemes are applied to Cahn--Hilliard equations in both the isotropic and anisotropic cases. We analyze the discrete dispersion relation, spinodal instability, coarsening behavior, and missing-orientation phenomena. Numerical comparisons demonstrate the improved performance superiority of the proposed method over the stabilized invariant energy quadratization (S-IEQ) and scalar auxiliary variable (SAV) methods in preserving the original energy evolution and capturing the underlying physical phenomena.

Discovering the memory or nonlocal kernel governing an integro-differential equation (IDE) from sparse and noisy observations is an ill-posed inverse problem. Existing identification methods often rely on problem-specific analytical derivations, specialized observation requirements, or restrictive assumptions about the kernel, limiting their applicability across different classes of IDEs. In this work, we propose a differentiable-solver-based framework for discovering memory and nonlocal kernels directly from spatiotemporal observations. Within the solver, the unknown kernel is represented using a constrained Kolmogorov--Arnold Network (KAN) parameterization, with the physical constraints imposed through two different approaches: a Bernstein-polynomial-based Monotone--Convex KAN (MC-KAN), whose coefficient constraints enforce positivity, monotonic decrease, and convexity by construction, and a Chebyshev-based KAN (Cheb-KAN), in which the same properties are encouraged through soft penalty terms. After training, symbolic regression is applied to the learned kernels to obtain interpretable closed-form representations. We evaluate both methods on benchmarks spanning a one-dimensional Volterra equation, a one-dimensional viscoelastic wave partial integro-differential equation, and a two-dimensional nonlocal reaction-diffusion equation with an anisotropic coupled kernel. For the 1D problems, both methods recover the correct kernel functional form and achieve comparable solution-reconstruction accuracy. In contrast, for the sparse and noisy 2D nonlocal problem, the hard-constrained MC-KAN consistently achieves lower kernel reconstruction errors than the soft-constrained Cheb-KAN. Our results demonstrate that enforcing physically motivated shape constraints by construction provides greater robustness than soft penalties for multidimensional kernel discovery from sparse and noisy observations.

We study the stationary Navier-Stokes equations with Dirichlet boundary data in L2, a setting in which the limited regularity of the solution prevents the direct application of standard a posteriori error estimation techniques. To address this issue, we introduce a regularized formulation that yields a well-posed approximation of the original problem and admits a conforming finite element discretization. Using Taylor-Hood P2P1 elements, we construct a residual-based a posteriori error estimator and establish its reliability and efficiency under suitable smallness assumptions on the data. We derive computable upper and lower bounds in an appropriate norm that relate the estimator to the error between the exact solution of the original Navier-Stokes problem and its finite element approximation, showing that the estimator accurately reflects the finite element error. These results provide a rigorous foundation for the analysis and implementation of adaptive finite element methods for incompressible flows with low-regularity Dirichlet boundary data.

Data assimilation estimates the state of a dynamical system from model forecasts and incoming observations. Many observation mechanisms, however, are many-to-one, implicit, non-smooth, or accessible only through simulation, and need not provide the residual structures or likelihood guidance required by existing ensemble filters. We introduce implicit data assimilation, in which the analysis law is defined as an energy tilt of the forecast distribution. We then propose the Ensemble Controlled-flow Filter (EnCF), which realizes this update through a stochastic controlled flow and learns the observation-dependent control by adjoint matching from terminal energy gradients. For simulator-defined observations, EnCF-LF learns a surrogate conditional energy from samples and applies the same controlled-flow solver. We prove ideal exactness, derive a one-step error decomposition, and establish non-accumulation of local errors under filter stability. Numerical results show that Kalman-type filters remain preferable for smooth additive-Gaussian observations, while the proposed methods are better suited to non-Gaussian, many-to-one, multimodal, and implicit observation models.

We present MXsim v0.1: a MATLAB library for simulating the OCP MX block floating-point arithmetic and formats. The library is built on top of a custom-precision floating-point simulator, CPFloat, which allows custom variants of non-block IEEE 754 floating-point formats to be simulated. MXsim is a MATLAB simulator, and is targeted at mixed-precision algorithm development community to perform experimentation in OCP MX block floating-point arithmetic by using a simple and well-documented interface in MATLAB, which is especially useful when access to the latest NVIDIA and AMD GPUs is not available. Furthermore, due to full customisation of exponents, precisions of input and output formats, and the precision of the accumulator within the dot product operation, MXsim allows experimenting with custom variants of the OCP MX block floating point for research. Finally, since the bit-wise numerical behavior of OCP MX formats is not documented by GPU vendors, and the precision and rounding are not prescribed by the OCP specification itself, MXsim allows experiments with various possible settings in order to determine the effects on mixed-precision numerical algorithms.

A dynamical system is said to be \emph{non-autonomous} when the differential equations describing its evolution depends explicitly on time. Among the various geometric approaches to investigate such systems, the cosymplectic formulation provides a natural framework that extends symplectic geometry to time-dependent Hamiltonians systems. However, preserving the associated geometric structures under numerical discretization remains a challenging problem: standard integrators, such as explicit Euler schemes, generally fail to conserve the cosymplectic volume or the underlying Poisson structure. In this work we propose a geometric method for the discretization of non-autonomous Hamiltonian systems based on \emph{generalized canonical transformations}. The approach constructs a symplectomorphism on the extended phase space $T^*(Q \times \mathbb{R})$ whose projection onto $T^*Q \times \mathbb{R}$ defines a structure-preserving discrete flow. We show that this formulation guarantees the preservation of key invariants, including the volume form, the Poisson bracket, and the symplectic structure on each time fiber.

Tensegrity form-finding and physical property prediction are fundamental inverse problems in structural mechanics, which aim to determine equilibrium configurations and internal force distributions. These problems are challenging due to strong nonlinearity arising from the coupling between geometry and forces, the need to ensure structural stability, and the enforcement of constraints such as boundary conditions and symmetry. Moreover, traditional methods often lack robustness to noise and outliers. This paper proposes an energy-based learning framework for clustered tensegrity form finding and physical property prediction. The proposed approach incorporates total potential energy minimization and constitutive relations into the training objective, enabling the simultaneous prediction of equilibrium nodal configurations and associated physical quantities, including member forces and force densities. By incorporating energy-based physical losses directly into the learning process, the framework improves physical consistency, robustness, and data efficiency. Numerical experiments on tensegrity structures, including prism and lander systems, show the great potential of the proposed approach and demonstrate its capability for scalable form finding and accurate prediction of structural properties.

A bulk mesh-free solver for the multi-phase Mullins--Sekerka flow in $\mathbb R^2$ and in a half-plane bounded by a Neumann wall is developed. In the underlying mathematical model, interfaces driven by their curvature are coupled through a harmonic chemical-potential field. We use a charge simulation method, a variant of the method of fundamental solutions: each chemical potential is represented by fundamental solutions centered at charge points off the curve, so no bulk mesh or singular integral is required. It treats curve networks separating several phases at triple junctions, including phases that occupy more than one region; on the half-plane boundary the no-flux condition is imposed exactly by image charges, and mobile contacts stay orthogonal to the wall. The discretization is structure-preserving: between topological events, every bounded phase area is conserved to machine precision at the velocity level by a null-space projection of the discrete area constraints. The junction connectivity is fixed, the only topological event being the disappearance of a region enclosed by a single closed curve and incident to no junction. The proposed scheme is validated against an exact three-concentric-circle solution in terms of convergence, cost, and conditioning.

We generalize the contour integral methods (CIM) framework to the time integration of linear dynamical systems that are subject to algebraic constraints at all times during their evolution. The proposed approach relies on applying the Laplace transform to the Cauchy problem associated with a linear system of differential-algebraic equations (DAE), and subsequently reconstructing the time-domain solution by approximating the inverse Laplace transform via a suitable quadrature rule. This procedure yields an efficient and accurate alternative to classical Runge-Kutta schemes, which are well known to exhibit order reduction in accuracy when applied to DAE. In the second part of the paper, we address linear parametric DAE and propose an efficient strategy for tuning the integration contour in the CIM framework using suitable structured-unstructured pseudospectral computations. This allows the identification of a single integration profile capable of approximating an entire family of parametric solutions, thereby facilitating the efficient application of model order reduction techniques. Finally, numerical experiments are presented to validate the proposed methodology and support the theoretical findings.

For moving-load problems whose geometry and material properties are approximately invariant along the traveling direction, 2.5D analysis retains three displacement components at lower cost than full three-dimensional discretization. We present a 2.5D Non-Uniform Rational B-spline (NURBS)-trace infinite-element method (NBIEM), formulated as a coupled finite/infinite-element scheme, for wave propagation in linear viscoelastic semi-infinite geotechnical media. The bounded near field is discretized by isogeometric analysis, while the exterior is represented by tensor products of the boundary NURBS basis and admissible outgoing or evanescent exponential radial functions. Both subdomains share the same NURBS trace space and control-point degrees of freedom, enforcing displacement continuity without projection or mortar variables. For the selected radial functions, far-field stiffness and mass contributions are evaluated through closed-form radial moments, eliminating finite radial cutoff and radial quadrature. Closed-form half-space solutions verify displacement and stress frequency-response functions in sub-Rayleigh, super-shear but sub-compressional, and super-compressional moving-load regimes. Low-frequency studies assess sensitivity to radial parameters and artificial-boundary placement. Additional tests examine complex-valued response accuracy, phase fidelity, computational cost, and the frequency-dependent working range of the default S-wave-informed exterior realization. Applications to layered media, track--subgrade systems, and buried structures demonstrate the ability to handle heterogeneous materials, multi-patch configurations, curved interfaces, and cover-depth-dependent geotechnical responses. The framework provides a geometrically consistent and computationally efficient treatment of moving-load wave propagation and soil--structure interaction in semi-infinite domains.

Mixed precision algorithms can significantly enhance the performance of linear algebra solvers by leveraging increasingly powerful low precision hardware while recovering working precision accuracy through, for example, iterative refinement. In this paper, we propose a novel mixed precision algorithm for computing matrix square roots. Our algorithm combines a Schur decomposition approach in low precision with iterative refinement performed through an approximate Newton method. We perform a detailed convergence analysis of the approximate Newton method. For the special case of symmetric positive definite matrices, this analysis implies that one can recover full working precision accuracy under mild conditions. Numerical experiments on x86-64 architectures indicate that our algorithm frequently reduces execution time compared with a fixed working-precision Schur algorithm.

We study strong numerical approximations for reflected stochastic differential equations in possibly unbounded convex domains with super-linearly growing drift and diffusion coefficients. Under a coupled monotonicity condition and polynomial local Lipschitz assumptions, we first establish the well-posedness of the reflected SDE and derive uniform moment bounds for its solution. We then introduce a coupled tamed Euler--Peano scheme, in which the drift and the squared diffusion coefficient are tamed by a common factor and the resulting Euler--Peano path is corrected through the Skorokhod problem. This common taming factor preserves the drift--diffusion coercivity structure and yields uniform moment estimates for the numerical solution. We prove strong convergence of order $1/2$ for both the constrained state process and the boundary regulator, thereby recovering the standard Euler-type strong order in this reflected setting. Numerical experiments for a reflected stochastic Ginzburg--Landau type system illustrate the constraint preservation of the scheme and support the theoretical convergence rate.

The reconstruction of prehistoric migration routes requires the accurate evaluation of effective distances across complex topographies. Traditional Least-Cost Path Analyses (LCPA) using high-resolution elevation models often lead to dense computational grids, making algorithms like Dijkstra's prohibitively slow for large-scale archaeological modelling. In this paper, we present a novel approach using adaptive wavelet methods to dynamically compress topographic data. By retaining high resolution only in areas of high topographic complexity (e.g., mountain passes) and smoothing homogeneous regions, we significantly accelerate the Dijkstra algorithm without losing essential routing topology. We demonstrate the efficacy of this method using migration scenarios.

We present SinCoTrap (Singularity-Corrected Trapezoidal Rule), a high-order locally corrected trapezoidal method for periodic singular integrals in arbitrary dimension $d$ with kernel $|\boldsymbol{x}|^{-s}$, $0<s<d$. The scheme preserves the uniform tensor grid and modifies only a fixed, small stencil of weights near the singularity. For a correction order $p$, the resulting quadrature attains the error rate $O(h^{2p+2+d-s})$. We derive explicit, mesh-independent limiting correction weights via analytic continuation of a special generalization of the Riemann zeta function, yielding rapidly computable formulas that can be pretabulated for each $(d,s,p)$. This makes SinCoTrap both efficient in application and robust for high-order accuracy across a broad class of periodic singular integrals.

Hierarchical Bayesian inversion with Gaussian random field priors addresses uncertainty in covariance hyperparameters, such as the standard deviation and correlation length. When a Gaussian random field is represented by the Karhunen-Loève (KL) expansion, the basis functions depend on these hyperparameters through an integral eigenvalue problem (IEVP) associated with the covariance kernel. Consequently, the IEVP must be solved repeatedly whenever the hyperparameters are updated, leading to significant computational cost in hierarchical inference. In this paper, we focus on the squared exponential kernel and construct the KL expansion using the analytical solution to a Gaussian-weighted IEVP. This analytical KL expansion offers a computationally efficient alternative to the conventional KL expansion by eliminating the repeated numerical solutions of the IEVP during hyperparameter updates. While the analytical KL expansion is applicable to arbitrary domains and dimensions, it does not have the same mean-square optimality as the conventional KL expansion. To address this limitation, we employ an optimization-based approach that selects the standard deviation of the Gaussian weight function in the IEVP to effectively reduce the truncation error of the KL expansion. Numerical experiments in one- and two-dimensional settings show that this selection strategy provides sufficient accuracy for practical applications. Furthermore, the analytical KL expansion admits closed-form differentiation, enabling efficient posterior sampling via HMC. The proposed framework is applied to Bayesian inversion for a steady Darcy flow model, where the hydraulic conductivity field is successfully estimated using weakly informative hyperpriors.

Interior-point methods (IPMs) are widely adopted due to their high practical efficiency in solving linear, convex, and nonconvex optimization problems. For convex optimization, this performance is theoretically well-supported: there are strong complexity guarantees for self-concordant barrier setups \cite{nesterov1994interior}, which cover linear and conic optimization. On the other hand, unconstrained convex optimization is well-studied. However, there is limited analysis of constrained convex optimization methods without the self-concordance assumption. We develop and analyze a regularized Newton method with line search applied to the log barrier function in the setting that the objective and constraints are thrice differentiable and have Lipschitz continuous first and second derivatives. Starting from a strictly feasible point, our method finds an $ε$-approximately optimal solution in $\tilde{O}(ε^{-2/3})$ iterations.

A simple algorithm for multiple class data classification is proposed, which is based on the infinit speed of propagation and the strong maximum principle for the heat equation. In this method, solutions of the heat equation whose initial data are the characteristic function of the training dataset are considered. The classification is established by the sign of the difference of two solutions in a very short time interval. A numerical algorithm for discrete training data in high-dimensional feature space is proposed. As an application of the proposed method, numerical results on the classification of handwritten digits database are presented in this paper.

We propose a locking-free decoupling method for a mixed-dimensional poroelasticity model with fractures. By introducing the total pressure, the fractured Biot system is reformulated as a four-field formulation involving the displacement, total pressure, matrix pressure, and fracture pressure. We establish an energy dissipation law for the continuous model, which shows its consistency with the second law of thermodynamics. Based on this formulation, a time-decoupled scheme is developed. At the initial time step, a fully coupled scheme is employed, while for subsequent time steps, the flow problem is solved first, followed by the mechanics problem. A stabilization term is incorporated into the mechanical equation to help reduce the restrictions imposed on the model parameters in the stability analysis. Energy stability is established for the semi-discrete scheme. For the spatial discretization, the displacement and total pressure are approximated by the Taylor--Hood element, while Lagrange finite elements are used for the matrix and fracture pressures. A fully discrete decoupled scheme is then constructed. Energy stability and error estimates are derived for the fully discrete scheme, and the method is shown to be locking-free. Numerical experiments are presented to support the theoretical results.

We develop a contour-count indicator method for visible pole clusters in outward meromorphic continuation from circular boundary data. The method starts from determinant characteristics built from positive Fourier coefficients. In the pure finite-pole model, the correct determinant characteristic factors into a polynomial whose zeros are the reciprocals of the exterior poles. In the presence of a holomorphic background, finite sampling, and noise, roots of individual determinants are unstable and are used only as local evidence. We aggregate this evidence into a scalar indicator field on the reciprocal pole plane: at each sampling point, the field records the fraction of determinant orders and shifts for which a small contour centered at that point encloses exactly one empirical determinant zero. The resulting field plays the role of a sampling-type imaging functional for pole visibility. Fixed superlevel sets give visible-pole clusters, while zero-dimensional persistent homology is used only as a threshold-robust post-processing step. We prove deterministic results linking pure-pole contour counts, Rouché stability, indicator-field contrast, fixed-threshold component recovery, and persistence-gap stability. These results explain why isolated poles with sufficient residue and separation generate stable high-value components, whereas weak, close, boundary-near, or noise-dominated poles may give low, short-lived, or merged components. The framework is a cluster-certification and imaging method, not an unconditional all-pole recovery procedure.

Splitting methods are among the most classical and fundamental tools for the simulation of quantum dynamics, and their importance has grown further with the rise of quantum computing. In this work, we analyze the Schrödinger equation with Yukawa potential, a physically relevant and widely used model potential. It may be viewed as a Coulomb interaction with exponential decay at spatial infinity, preserving the Coulomb singularity at the origin while removing the long-range Coulomb tail. We prove that the operator splitting for this unbounded Hamiltonian achieves a global $1/4$-order convergence rate in the time step for many-body Yukawa interactions, with explicit polynomial dependence on the number of particles. The result holds for all initial wavefunctions in $H^2(\mathbb R^{3N})$, the natural domain of the Hamiltonian, and our numerical experiments are consistent with the theoretical estimates. To identify the sharp obstruction behind this rate, we prove a short-time lower bound in the one-body setting of order $t^{5/4}$ for the one-step error, which rules out any uniform global estimate of order better than $1/4$ in general. This agreement with the optimal $1/4$ rate in the Coulomb case is particularly interesting, as Yukawa potential is short-ranged compared to Coulomb potential. For the many-body upper bound, one of the new technical ingredients is the explicit polynomial-in-system-size Sobolev estimates of many-body Yukawa systems. These estimates are crucial for obtaining fully a priori bounds that depend only on the norms of the initial states, rather than on the solution at time $t$. For the one-body lower bound, we leverage a new analysis argument based on Fourier analysis and Kato smoothing.

Finite-element mass matrix solves and approximate inverses arise often in explicit time integration as well as Schur-complement-based block preconditioning. A diagonal approximation of the mass matrix is cheap and widely used, but can be a poor approximation, particularly for high-order elements. This paper introduces a broken-space additive Schwarz (BRAS) mass inverse approximation, formed by applying exact element-local inverse mass matrices on the broken finite-element space and averaging the result back to the conforming space. The construction uses the same element matrices and local-to-global maps as standard mass assembly, has the same element-adjacency sparsity graph as the conforming mass matrix, and is symmetric positive definite for any conforming space, mesh geometry, and polynomial basis. We prove spectral bounds for the preconditioned mass matrix, and wide-ranging numerical experiments for \(H^1\), \(H(\operatorname{curl})\), and \(H(\operatorname{div})\) finite elements on two- and three-dimensional simplicial meshes show that BRAS reduces spectral condition numbers, Krylov iterations, and solve times relative to diagonal preconditioning. For preconditioned conjugate gradient (CG), BRAS yields a 1.1--4.7$\times$ speedup over diagonal/Jacobi preconditioning across all cases tested over finite-element orders $p\in[1,4]$. Further, theory and numerical experiments show that in the block-preconditioning case, BRAS can improve Schur-complement approximations and reduce outer solve times. On mixed Poisson and biharmonic systems, BRAS yields a 1.5--3$\times$ speedup in time-to-solution over a standard diagonal-based preconditioning approach.

This article describes a novel numerical algorithm for tracking the motion of a collection of open curves in two space dimensions. The proposed strategy combines two complementary representations of these curves at each iteration of the evolution process: on the one hand, they are meshed explicitly, as a sub-collection of the entities of a mesh of the total computational domain. Concurrently, using a variant of the Level Set Method, they are captured implicitly as algebraic combinations of the negative, zero and positive subsets of two auxiliary scalar functions, defined on the whole ambient space. This coupling of representations allows to perform accurate geometric or mechanical computations on these curves, while leaving room for large evolution of their shape. After the description of its main numerical ingredients, several applications examples of this methodology are proposed, where it is used to simulate the motion of open physical discontinuities, such as a vortex sheet roll-up, and to optimize the shape of open-ended curves, e.g. with respect to their anisotropic length, with the aim to improve the trajectory of a laser acting on a powder bed in the context of additive manufacturing, or to reconstruct fracture sets.

Many numerical algorithms for optimal control leverage an elimination of the state via the control-to-state map such as condensed approaches or preconditioned conjugate gradient methods for the optimality system. As such, the norm of the control-to-state map directly enters the convergence estimates for these methods, e.g., via the condition number of the associated linear system. In this work we show that using feedback transformations one may reformulate the optimal control problem to decrease the norm of the (feedbacked) control-to-state map, leading to a drastic improvement of the involved condition numbers. We illustrate the abstract approach for ordinary and partial differential equations such as parabolic, hyperbolic or elliptic equations. For each of these problem classes we provide a constructive method to improve solution operator norms via feedbacks. Further, we showcase the efficacy of the method by means of various numerical examples with elliptic, parabolic and hyperbolic partial differential equations.

Accurate, spatially resolved flow field measurements are essential for the reliable assessment of hemodynamic quantities in cardiovascular research and clinical practice. Experimental techniques, such as 4D flow MRI, PIV, or Doppler ultrasound, often yield data that are sparse, noisy, or under-resolved, particularly near vessel walls and in regions of complex flow. This limits the fidelity of distributed or derived hemodynamic indicators such as the wall shear stress and the clinical utility of such measurements. To address these challenges, we propose a physics-informed neural network (PINN) framework that integrates the incompressible Navier-Stokes equations with velocity measurements coming from experimental flow field data. By embedding physical laws into data, PINN enhances the reconstruction of velocity fields, enables the estimation of unmeasured quantities such as pressure and wall shear stress, and improves the spatial resolution of hemodynamic indicators. We show the effectiveness of our approach using both in silico and experimental data. First, we apply our method to the FDA nozzle benchmark, leveraging both control particle image velocimetry (PIV) measurements and computational fluid dynamics (CFD) simulations. Next, we apply our method to the more complex case of blood flow in an aneurysm model, exploiting in vitro 4D flow MRI data. In both cases, the synergy between data-driven learning and physics-based regularization yields results that align more closely with ground truth observations than standard CFD or pure data-driven approaches. Our findings highlight the potential of PINNs to improve the fidelity of under-resolved flow field measurements and yield spatially resolved hemodynamic indicators.

We propose a new strategy for gradient-based unconstrained optimization, involving two parallel sequences of iterates that cooperate to determine their stepsizes via a \textit{Twin-Step} principle. Rather than minimizing the objective function individually, the algorithm selects steplengths that minimize the Euclidean distance between the two gradient based processes occurring simultaneously at each iteration. The theoretical analysis shows that the convergence of the mutual distance is governed by the angle between the search directions. In particular the effectiveness of the overall process degrades as the directions approach parallelism. To ensure robustness against collinearity, we introduce a hybrid framework, Twin-ABB$_{\min}$, which switches to the Adaptive Barzilai--Borwein method when the geometric cooperation becomes ineffective. Extensive and very promising numerical results evidence that the Twin phase creates favorable initial conditions for subsequent BB-type iterations.

We study the truncated trapezoidal rule, a family of A-stable second order multistep methods parametrized by an integer $J \ge 2$, a compromise between BDF2 and the trapezoidal rule. We obtain a closed-form expression for the coefficients that minimize the principal error constant under the A-stability constraint and we derive an explicit formula for the corresponding principal error constant. The latter decreases to the optimal Dahlquist value $1/12$ as $J$ increases, and is strictly smaller than the BDF2 constant for every $J \ge 2$. We apply the truncated trapezoidal rule within the convolution quadrature framework. Its analyticity in a neighbourhood of the closed unit disk yields milder regularity and perturbation requirements than those of the trapezoidal rule, while the error constant can be made arbitrarily close to the optimal one by increasing $J$. Numerical experiments show that convolution quadrature based on the truncated trapezoidal rule remains stable under symbol perturbations, where the trapezoidal rule fails, while achieving a smaller error constant than BDF2.

High performance in multi-component multiple-precision arithmetic constructed from existing floating-point operations using error-free transformations (EFTs), can be achieved by employing branch-free algorithms that eliminate if-branches. Zhang and Aiken proposed branch-free algorithms for addition and multiplication in double-word(DW), triple-word(TW), and quadruple-word(QW) arithmetic. Among these, we implemented the TW and QW variants, for which substantial performance improvements over existing algorithms can be expected, and demonstrated that they indeed contribute to acceleration. In this paper, we propose new branch-free fused multiply-add operations for DW, TW, and QW arithmetic to achieve further performance improvements, and show through benchmark tests that the proposed operations can enhance performance.

We propose an a posteriori error estimator that relies on an equilibrated flux reconstruction to enable analysis-aware interface coarsening decisions in elliptic interface problems. Interface coarsening consists of simplifying an internal interface that separates regions characterized by different physical properties in order to facilitate the meshing process and reduce the total number of degrees of freedom. This process extends the concept of defeaturing, where small features on the boundary of a computational domain are removed. Here, the features lie on an interior interface instead. The focus is on a Laplace problem with a discontinuous diffusion coefficient. The estimator accounts for both the modeling error arising from the interface coarsening and the numerical error from the discrete approximation of the solution to the coarsened-interface problem. It is localized on the mesh elements, and its constants explicitly track the contrast between the diffusion coefficients. The impact of different features can be assessed individually, yielding local contributions that indicate which features to coarsen and which to retain for a given mesh size. The use of an equilibrated flux reconstruction allows us to sharply bound the bulk numerical source of error. We prove the reliability of the estimator and verify it across several numerical examples, including the case where an internal interface is fully removed.

We present an algorithm for solving nonlinear least-squares problems subject to a mix of nonlinear and linear constraints. The nonlinear constraints are handled by reformulating the objective as the augmented Lagrangian function while linear constraints are handled directly. Each iteration consists of approximately solving a linearly constrained problem by means of a gradient projection technique. Our approach also involves a structured approximation of the augmented Lagrangian Hessian. We show global convergence of the method and assess the performance through numerical experiments.

Zernike moments are widely used rotation-invariant descriptors for shape and image analysis, but their standard computation relies on a pixel-based quadrature that treats each pixel as a point mass located at its center. This approximation introduces spatial aliasing that increases with moment order, degrading image reconstruction and reducing the discriminative power of high-order moments. We present an edge-based formulation that eliminates this source of error by applying Green's theorem to transform the two-dimensional area integral defining a Zernike moment into a sum of one-dimensional integrals along image boundaries. The resulting framework applies equally to polygonal shapes, binary images, grayscale images, and color images. We derive recurrence relations for the required radial primitives and show that the transformed edge integrands are polynomial functions, allowing their exact evaluation using Clenshaw--Curtis quadrature. The proposed method computes Zernike moments from polygonal image representations without the spatial discretization errors inherent to conventional pixel-based approaches and remains computationally practical for high-order moments. Numerical experiments on image reconstruction, shape analysis, and character classification demonstrate that the proposed formulation matches the accuracy of classical methods at low orders while remaining stable at orders for which pixel-based moments suffer from significant aliasing and numerical degradation.

Mixed precision Runge--Kutta methods reduce the cost of the expensive implicit solves in diagonally implicit Runge--Kutta (DIRK) schemes by evaluating them in low precision, while retaining the accuracy of the scheme for larger time steps. The accuracy lost to the low-precision perturbation can be recovered through inexpensive explicit corrections; however, these corrections have an adverse impact on stability. Recently proposed stabilized corrections remedy this by applying a stabilization matrix to the correction step, but their runtime cost has not previously been quantified. In this work, we present a numerical study of the runtime performance of these stabilized corrections. Using spectral semi-discretizations of two nonlinear partial differential equations, the inviscid Burgers' equation and the porous medium equation, we compare uncorrected mixed precision DIRK methods against explicitly corrected and stabilized variants across half, single, double, and quadruple precision pairings, for SDIRK methods of orders two through four. We report convergence, runtime, and speedups, and show that the stabilized corrections improve the accuracy of the mixed precision schemes while preserving substantial runtime savings. All experiments were performed on an Intel Xeon Platinum 8480+ CPU with Julia version 1.11.4.

Generative models often represent signals as dense grids of amplitudes, blurring sharp transients that are crucial for the correctness of physical signals. We introduce Singularity Space, a generative framework that represents signals through complex-plane singularities, rooted in the classical pole-residue representation of meromorphic functions. We learn a latent space of physically constrained, per-signal singularity configurations to solve an inverse problem from degraded or partial observations. The framework has three key properties: interpretability, in which each generated singularity configuration corresponds to a set of physical parameters; structural stability, which mitigates Gibbs artifacts at discontinuities; and resolution-free output reconstruction on arbitrary grids without retraining or interpolation. Our framework employs a transformer-based diffusion model that directly predicts samples at complex-plane singularity coordinates, subject to geometric constraints during sampling. As a controlled test case for sharp-feature recovery, we evaluate our framework on 1D Burgers shocks, where each shock is represented by 32 predicted singularities (an $8\times$ reduction versus a 1024-point grid signal). Our framework preserves signal structure ($\text{TV ratio} \approx 1$) under unseen test-time observation noise, achieves a $4.2\times$ lower reconstruction error in zero-shot sub-resolution generalization than a grid-based baseline, and recovers physical parameters to $10^{-4}$ absolute error in-distribution. These results suggest that singularity-based representations may provide a practical foundation for other transient-dominated signals such as speech and biomedical signals, with potential extension to higher-dimensional domains.

Self-supervised data splitting has emerged as a promising paradigm for sparse-view CT reconstruction, enabling training from incomplete measurements without fully sampled ground truth. However, the influence of key design choices, including partitioning strategy, preprocessing, and inference, remains insufficiently understood. In this work, we introduce a unified framework that decomposes splitting-based reconstruction into these three components, enabling controlled comparison of existing methods and two incremental extensions: multi-partition splitting and an alternative inference strategy. Experiments on simulated LoDoPaB-CT data under independent and correlated noise, together with validation on the real-world 2DeteCT dataset, show that the optimal partitioning strategy strongly depends on the measurement noise structure. Lattice-based splitting performs favorably under independent noise, whereas angular masking is more robust under correlated noise and real measured data. Multi-partition splitting consistently improves over pure projection-wise splitting in several settings. Complementary perceptual and structural metrics, including LPIPS and HaarPSI, reveal differences between masking strategies that are less apparent from PSNR and SSIM alone. These results provide practical guidelines for designing self-supervised sparse-view CT reconstruction methods and highlight the limitations of common independence assumptions in realistic imaging environments.

Proximal gradient methods are widely used in imaging, and their speed of convergence can be accelerated by incorporating variable metrics and/or extrapolation steps. Recent works have shown that preconditioning strategies can significantly enhance this acceleration, in particular, for image deblurring problems. In parallel, a multilevel framework has been introduced to speed up inertial and inexact forward-backward schemes for image restoration problems. In this paper, we combine preconditioning and multilevel strategies to design a robust and consistent acceleration framework for both standard and inexact forward-backward schemes applied to regularized convex optimization problems. Numerical experiments in image deblurring confirm that our approach yields a substantial improvement in convergence speed compared to standard methods.

We present a least-squares weak Galerkin (LS-WG) finite element method for solving the Stokes equations on arbitrary polygonal and polyhedral meshes. By utilizing discrete weak derivatives on discontinuous polynomial spaces, the proposed framework naturally accommodates complex domain geometries and general partitions. Crucially, this least-squares formulation bypasses the traditional inf-sup (LBB) compatibility condition, transforming the standard indefinite saddle-point problem into an inherently symmetric and positive definite (SPD) discrete linear system. We establish the well-posedness of the numerical scheme and rigorously derive optimal-order error estimates in a custom discrete energy norm. Specifically, we prove convergence rates of $\mathcal{O}(h^k)$ for the discrete projection error and $\mathcal{O}(h^{k-1})$ for the global approximation error when employing polynomials of degree $k \ge 1$ for the velocity field and $k-1$ for the pressure. Extensive numerical experiments confirm these theoretical convergence rates, demonstrating the method's robustness, geometric flexibility, and overall efficiency.