arXiv Daily Brief

Active Flux is a third-order accurate, fairly novel finite volume method for hyperbolic conservation laws that is becoming increasingly popular. It evolves additional nodal degrees of freedom (DOF) located on cell interfaces and shared by neighboring cells. The numerical fluxes are then computed from these DOFs. A crucial component of Active Flux methods is the evolution operator of the point values, which enables the natural use of semi-Lagrangian ideas and makes Active Flux an attractive candidate for a grid-based approach to the Vlasov equation. Here, we compare two recently proposed Active Flux methods for the 1D1V Vlasov-Poisson system: a split-step method and an unsplit method.

In this paper, we develop an explicit multi-physics structure-preserving Strang splitting scheme for a four-dimensional relativistic charged-particle dynamical system in the presence of a strong magnetic field under the maximal ordering scaling. The proposed scheme not only preserves volume, energy, and Lorentz invariance, but also yields second-order uniform error bounds for the position and the parallel velocity component. We present rigorous theoretical proofs for these geometric properties and the error convergence, which are subsequently validated by several numerical experiments.

Proper Orthogonal Decomposition (POD) provides low-dimensional surrogate models of evolution equations from solution snapshots. In parameterized problems, however, a basis computed at one parameter value need not remain accurate at another, while recomputing the basis for every parameter in a many-query study is costly. We develop a sensitivity analysis for POD reduced-order models of a class of parameterized semilinear evolution equations that includes the viscous G-equation and a viscous strain G-equation in their mean-free formulations. The analysis is based on a cross-space Lipschitz condition for the nonlinear operator, which accommodates the nonsmooth, gradient-dependent nonlinearities of these flame-propagation models, and on continuity moduli quantifying the parameter dependence of the bilinear form and of the nonlinearity. We prove that when a POD basis constructed at a reference parameter is applied to nearby query parameters, the resulting error variation is controlled by the corresponding parameter modulus, with constants independent of the POD dimension, the number of time steps, and the perturbation magnitude. Numerical experiments are consistent with the predicted modulus-dependent sensitivity behavior, and illustrate the practical robustness of basis reuse for nearby parameters.

For the discontinuous Galerkin code Trixi.jl we implement capabilities for adaptively coupling arbitrarily many domains with different physics. The coupling of the systems is realized through the exchange of boundary information and user-definable coupling functions. This gives us the ability to couple systems that do not share a single variable or have a very different number of variables. This is particularly useful when we have a hierarchy of systems. Our implementation is such that we can adaptively select the model of the coupled systems in the course of the simulation. This allows for highly dynamical scenarios as can be found e.g. in astrophysics. The criteria for adaptivity can be user defined and tailored to the physical problem. Compared to computing the most complex model in the entire simulation domain, our method of coupled systems of high and low complexity leads to a significant reduction in computational time with very little overhead.

A structure-preserving fully implicit Scharfetter-Gummel finite-volume scheme for a three-species drift-diffusion model for semiconductors is proposed and analyzed. The equations describe the evolution of the electron, hole, and oxygen vacancy densities in a (bounded) memristor device, coupled to the Poisson equation for the electric potential, with mixed-type boundary conditions. Recasting the Scharfetter-Gummel fluxes in an upwind form, a hidden Fisher information component is revealed. Owing to the degeneracy of the Bernoulli function appearing in the fluxes, additional edgewise coercivity estimates are required, leading to refined local and global dissipation estimates. Using these ideas, the existence of a discrete finite-volume solution, a discrete free energy inequality, and the convergence of the numerical scheme are established. Numerical simulations in two space dimensions confirm the structure-preserving properties of the scheme and illustrate the filament formation in a memristor device.

We study a three-dimensional charged-particle dynamics model in the nonrelativistic momentum formulation and construct a curve-reference exponential integrator (CREI) for this system. Since the zero eigenvalue of linear section is not semisimple, the system after usual change of variables does not meet the spectral condition used in the classical locally linearized extended exponential integrator (LLEEI). A kernel-range decomposition of the dominant magnetic matrix and a further linear transformation reduce the equation to a system with a semisimple zero block and one constant skew-symmetric oscillatory block. The CREI expands the nonlinear term along the exact oscillatory curve rather than at a fixed point. Retaining monomials through degree k defines CREI(k + 1). We prove uniform local and global error bounds and present reproducible numerical experiments for convergence in h and uniformity in ε.

A flow surrogate validated on a simple regime is often taken as evidence that the approach will carry to a richer one. We test this assumption on two transient flows under time-varying boundary conditions emulating the process startup: the three-dimensional slurry film in chemical-mechanical planarisation (CMP), a core semiconductor-manufacturing process, and the two-dimensional Karman vortex street (KVS) behind a cylinder. Eight surrogate models are compared on one shared evaluation pipeline, differing in whether they learn the full field or a latent representation, and whether they predict trajectories in one shot or step by step. No single architecture wins both regimes. On the film, a one-shot full-field model reconstructs the process-relevant cumulative wall shear stress to 3.2% relative error. On the wake, a latent autoregressive DeepONet retains 96% of the shedding power that direct and one-shot models damp to almost zero. The deciding axis is the treatment of time. The self-sustained wake requires the phase memory that autoregressive feedback provides, while the boundary-driven film rewards a direct map. Pointwise RMSE picks the wrong model in both regimes, so the evaluation scores five physical questions instead, the field, its structure, invented motion, amplitude, and timing. The trained surrogates answer queries $10^3$ to $10^4$ times faster than the finite-element solver, but the offline cost of the training simulations means they pay off from the first query beyond the training set for CMP and the third for the KVS. The choice of surrogate should follow the dynamical character of the target flow, and its validation should use failure-mode-resolved metrics, since neither the winning architecture nor its validation transfers.

Neural spectral PDE solvers often learn an entire unresolved vector field even when an inexpensive approximate model can already capture most of the trajectory. Here we introduce Perturbative-NeuSA, a residual formulation that decomposes the target solution into a low-fidelity background and a high-resolution perturbation, so that only the unresolved dynamics is learned. Starting from the exact perturbation equation, the method combines a fixed spectral operator, a background-dependent correction, the background defect in the target PDE, and an optional neural closure. This construction makes the roles of physical structure and neural closure separately measurable. Across 2D Burgers, Klein-Gordon, and heterogeneous 2D wave equations, the deterministic structured solver outperforms the trained NeuSA baseline while requiring no neural-network training. The largest gains occur on Burgers, where the deterministic correction reduces training and extrapolation errors by factors of 24 and 44, respectively. In addition, a Klein-Gordon sweep over seven background resolutions shows that the effect of the closure is conditional: it improves a poor background by 3.6 times, becomes neutral at intermediate resolutions, and degrades a well-resolved background. For the wave equation, however, the closure provides an additional 18% reduction when the remaining residual is interface-localized. Multi-initial-condition diagnostics further show that the useful closure regime depends on the initial-condition spectrum and can disappear in extrapolation when structured correction already captures the dominant Burgers dynamics. Perturbative-NeuSA therefore reframes neural closure as a conditional, diagnosable correction governed by background fidelity, residual organization, and compatibility with the closure model.

In this paper, we propose a derivative-based finite volume Hermite WENO (HWENO) scheme for hyperbolic conservation laws, where both the solution and its first-order derivatives are evolved in time and utilized in spatial reconstructions. The key challenge for solving hyperbolic conservation laws is the possible emergence of discontinuities in the numerical solutions. When facing discontinuities, the derivatives can become excessively large, which may compromise the robustness of HWENO schemes. In the first HWENO scheme, different sets of stencils were adopted for reconstructing the governing equation and the derivative equation, respectively, aiming to reduce the influence of the derivatives while preserving high-order accuracy. However, this approach not only substantially increases computational cost but also introduces considerable algorithmic complexity. To overcome these limitations, we exclude the information of the target cell's derivatives from spatial reconstructions, while employing the same reconstructed polynomial during temporal evolution to limit the derivatives. This strategy enhances the robustness of traditional HWENO schemes and allows unified stencils within the derivative-based HWENO framework. Furthermore, the proposed scheme supports arbitrary positive linear weights that sum to one and maintains a compact stencil. Numerical results demonstrate the high-order accuracy, efficiency, high resolution, and robustness of the proposed HWENO scheme.

An arbitrary-order family of implicit two-derivative one-step methods is constructed in an anchored active-stage formulation. At each information node the method uses both the vector field and its first total time derivative, enriching the local Hermite data without increasing the number of unknown stage states. With the known initial value retained as an anchor and $s$ unknown active stages, $2s$ Hermite moment conditions yield global order $2s$. The two remaining coefficients in each stage row are fixed by the second-subdiagonal Padé approximant $[s-1/s+1]_{e^z}$. For every ordered real node set, a Padé--Hermite basis theorem proves that the closure is unique, preserves all moment conditions, and gives $\det(I-zA-z^2\widehat A)=Q_s(z)$ and $R_s(z)=P_s(z)/Q_s(z)$. Hence the coupled stage system has no hidden poles and the accepted one-step map is $L$-stable (and therefore $A$-stable) for every positive integer $s$. Exact symbolic verification is reported through $s=6$, and high-precision computations confirm orders $2,4,6,$ and $8$ for the first four members. At equal active-stage count, comparisons with Gauss--Legendre and Radau IIA methods demonstrate the combined high-order accuracy and strong stiff damping of the construction over broad step-size ranges.

The Unmapped Tent Pitching (UTP) algorithm is a space-time domain decomposition method for the parallel solution of wave-type problems. We have recently extended UTP to heterogeneous settings and compared, at the continuous level, the computational cost of different space-time decompositions. In this note, we report discrete-level observations showing that the optimal decomposition strategy may differ from the one predicted by the continuous analysis.

We introduce a second-order accurate vectorial lattice Boltzmann scheme for the incompressible Navier-Stokes system, inspired by a discrete-velocity kinetic approximation proposed by Carfora and Natalini [ESAIM: M2AN, 42(1), 93-112, 2008]. Advantages and drawbacks compared to relaxation schemes are investigated by providing spectral analyses in the linearized case, and numerical validations on the genuinely non-linear problem.

In this paper, we propose and analyze a class of high-order numerical schemes within a fully discrete finite element framework for the incompressible Navier-Stokes equations with no-slip boundary conditions. The temporal discretization employs a kth-order (k=1,...,6) implicit-explicit backward difference formula (IMEX-BDFk), in which the nonlinear convection term is treated explicitly and the linear Stokes part implicitly, whereas the spatial discretization utilizes Taylor-Hood finite elements. We establish the stability and uniform boundedness of the numerical solution. We further establish optimal order error estimates in both space and time without any CFL-type condition, in the sense that the time step is independent of the spatial mesh size. In three dimensions, these include L2- and H1-norm error estimates for the velocity and L2-norm error estimates for the pressure, with temporal convergence rates up to sixth order for all variables. Numerical experiments are presented to demonstrate the effectiveness of the scheme and to confirm the theoretical convergence rates.

Huang and Shen developed a novel class of high-order BDF-IMEX consistent-splitting schemes for the incompressible Navier-Stokes equations, giving the first rigorous stability and error analysis for a fully decoupled splitting scheme of temporal order higher than two. Extending their analysis from unit viscosity to arbitrary viscosity, this work reveals that the error upper bound coefficient contains inverse powers of the viscosity. Our numerical experiments show that the scheme can break down at high Reynolds number. To save the scheme from this failure, we stabilize it by adding to the velocity update a symmetric positive-semidefinite spectral vanishing viscosity operator, built from the directionally applied Maday-Kaber-Tadmor kernel, which selectively damps the high, under-resolved modes at no additional asymptotic cost and leaves the structure of the error analysis intact. We establish stability and error estimates for the stabilized scheme in which the spectral vanishing viscosity provides viscosity-independent coercive control of the high modes. Three two-dimensional tests demonstrate the robustness and accuracy of the stabilized scheme. For a manufactured solution, the stabilized scheme retains its design order for k=2,3,4, whereas the unstabilized scheme diverges. For a perturbed Kovasznay flow, it accurately resolves the boundary layer at Re=10^4 and drives the perturbation back to the steady state, while the unstabilized scheme blows up. For the Kelvin-Helmholtz instability problem, it reproduces the reference integral diagnostics throughout the reliable regime, whereas the unstabilized scheme produces spurious solutions or blows up.

Originating from the complex approximation of holomorphic functions, the Runge approximation for elliptic equations has evolved into a fundamental tool for inverse problems and even learning-based numerical methods since its proposition by Lax, Malgrange, with quantitative characterizations further established by Rüland and Salo. It should be remarked here that Runge approximation is ill-posed. In numerical analysis, explicit quantitative estimates are required to characterize the dependence of the approximant's growth on the outward continuation distance of the original solution. This paper investigates the spatial dependent quantitative Runge approximation for the Helmholtz equation using cylindrical harmonics, considering both interior and exterior boundary value problems. We explicitly derive the relevant indices for the three-circle configuration and obtain asymptotic indices for general geometric settings. The derived results provide norm estimates for the expansion coefficients, which are crucial for the implementation of regularization methods. Furthermore, the established bounds enable the construction of spectrally accurate numerical approximations for solutions to the Helmholtz equation.

This paper develops and analyzes a least-squares weak Galerkin (LS-WG) finite element method for linear elasticity. By employing weak differential operators, specifically the weak gradient, weak strain tensor, and weak divergence, defined on weak finite element spaces, the proposed framework facilitates the treatment of complex boundary conditions and internal interfaces while avoiding the restrictive discrete inf-sup condition. The resulting formulation is symmetric and positive definite and exhibits robust numerical performance in the nearly incompressible regime. In addition, the proposed method offers exceptional geometric flexibility, allowing implementation on general polytopal (polygonal and polyhedral) meshes. We establish the uniqueness of the numerical solution and derive optimal-order error estimates with respect to a tailored discrete energy norm. Extensive numerical experiments confirm the theoretical convergence rates and demonstrate the method's stability, efficiency, and locking-free performance for nearly incompressible materials.

Near a crack tip or re-entrant corner, fractional radial powers can have unbounded derivatives and slow the convergence of high-order splines. A singular mapping grades the computational radius so that the pulled-back field is smoother without changing the physical domain. Classical maps require the singular exponent and grading in advance. Here the radial coordinate is trained from the mechanics problem. It is the normalized integral of a positive neural density, which fixes both radial boundaries and ensures r'(s)>0 away from the collapsed tip. The radial grading exponent and density-correction weights are inferred from Galerkin energies evaluated at discrete equilibrium, without exponent labels or exact interior fields. We test the mapping in scalar and plane-strain B-spline formulations and compare it with the identity map, radially graded knot vectors, prescribed power maps, and an adaptive enriched B-spline method. At 156 vector degrees of freedom, the mechanics-trained map reduces the relative energy-norm error by a factor of 33.42 compared with the identity map. The maximum error in the mixed-mode stress intensity factors recovered on 3 contours is 1.923 x 10^(-5). For the straight crack, the learned density correction vanishes, and the prescribed r=s^2 map gives the same improvement. For a nonlinear Robin family with test parameters outside the training interval, the density correction remains nonzero and gives a fixed-q incremental energy gain of at least 4.839. Thus, for the problems considered here, the neural correction is useful when the required coordinate is not represented by a prescribed power map.

In this paper, based on the $C^0$ interior penalty Galerkin ($C^0$IPG) discretization, we propose and analyze an a posteriori error estimator for eigenfunctions associated with multiple and clustered eigenvalues of the biharmonic operator. The proposed estimator may capture the local singularities of the target eigenfunctions efficiently and play an important role in adaptive procedures. We develop a rigorous cluster-projection-based analysis and introduce an auxiliary theoretical error estimator to connect the invariant subspace error with a computable residual estimator. Most importantly, the resulting reliability and efficiency bounds are robust with respect to the mesh size, the mesh level and the internal spectral gaps within the target cluster. Numerical experiments support the theoretical results and demonstrate the robustness of the proposed estimator.

We develop a goal-oriented error-estimation framework for first-order system least-squares (FOSLS) finite element methods based on the physical PDE adjoint rather than the adjoint induced by the least-squares formulation. Identified explicitly from the differential operator, its mixed boundary conditions, and the output, the physical adjoint admits its own first-order flux system and hence a native, built-in least-squares estimator, which the least-squares-induced adjoint does not. Our error identities rest on a primal-dual corrected functional: they follow from the continuous primal and adjoint equations alone, hold for arbitrary conforming approximations, and require no Galerkin orthogonality. For outputs containing a weighted Dirichlet-boundary flux, whose weight becomes the essential datum of the adjoint, we construct two corrected approximations, one from the potentials and one also using the fluxes, and prove product-type error estimates in the primal and adjoint errors. The least-squares functionals then yield computable a posteriori bounds and a balanced marking indicator whose element sum equals the product of the two estimators exactly. Numerical experiments confirm the predicted convergence and the effectiveness of the marking.

The axiomatic convergence theory for multigrid methods applied to cell-centred finite-difference and finite-volume discretisations rests on two hypotheses: an imbalanced Galerkin condition (G3), which states that $R_{\ell-1}A_\ell P_{\ell-1}=2A_{\ell-1}$ with $R_{\ell-1}=\frac{1}{2}P_{\ell-1}^T$, and a weak approximation property $(A2)_α$ of Bramble type. Under these hypotheses, together with Richardson smoothing, the symmetric W-cycle and the variable V-cycle are known to be uniformly convergent, while the uniform convergence of the standard symmetric V-cycle has remained open. We answer this in the negative by two constructions. First, for every smoothing count $m$ we exhibit hierarchies of every depth satisfying (G3), Richardson admissibility with $C_R=1$, and $(A2)_α$ for every $α\in(0,1]$ with the sharp level-independent constant $C_{A2}^2=4m$, whose symmetric $V(m,m)$-cycle error operator has spectral radius $θ_m(1+2θ_m)>1$ already on three levels, where $θ_m=(1-\frac{1}{4m})^{2m}$, and growing geometrically with the depth; the family shows that any smoothing-count threshold $m_0$ that could restore uniform V-cycle convergence must grow at least quadratically in $C_{A2}$. Second, we prove that the same failure occurs in a completely standard discretisation: the cell-centred finite-volume hierarchy for a one-dimensional diffusion equation with a mesh-aligned coefficient jump $1:κ$ and harmonic (Samarskii) interface averaging satisfies (G3) exactly and $(A2)_{1/2}$ with a level-independent constant $C_{A2}=O(κ)$, yet for every $κ\ge3$ its symmetric $V(1,1)$-cycle with any admissible Richardson parameter, including the optimal one, diverges geometrically in the number of levels. In both constructions the W-cycle remains uniformly contractive, so the hypotheses separate the two cycles. All claims are verified numerically.

The mimetic finite difference (MFD) method provides a robust discretization for flow simulation on general polyhedral meshes, but its computational cost can become significant due to dense local operators and reduced global sparsity. While the two-point flux approximation (TPFA) offers a substantially cheaper alternative, its accuracy is generally restricted to $K$-orthogonal grids. To balance these competing considerations, we present an adaptive MFD framework based on a residual-based consistency indicator derived from the discrete constitutive equations. The indicator measures local inconsistency and enables adaptive TPFA/MFD stencil selection through a user-prescribed tolerance $τ$. Because the adaptation is performed within a mimetic framework, arbitrary TPFA/MFD partitions remain stable and structure preserving. Theoretical analysis establishes uniform coercivity and proves explicit tolerance-controlled convergence of the relative flux error. Numerical experiments on challenging polyhedral reservoir benchmarks demonstrate accuracy comparable to full MFD discretizations while substantially reducing matrix density and computational cost.

We prove a refinement of Jackson's theorem on the approximation of Lipschitz functions by trigonometric polynomials. Our result precisely characterizes the leading error term associated with Jackson's construction. We do the same for a related construction commonly used in the kernel polynomial method for spectral density estimation, which is slightly better than Jackson's construction in this respect.

We develop a mesoscopic framework for analyzing perturbations of finite point sets. Given a reference node set $Y$ with known cubature and approximation properties, we consider a disordered node set $Q$ that is observed only through its populations in cubes at scale $r>0$. By imposing Hall-type (HT) combinatorial constraints on these populations, we prove the existence of a perfect matching between $Y$ and $Q$ with $O(r)$ range. This allows integral approximation estimates on coarser cubes at scale $h>r$ to be transferred from $Y$ to $Q$ with explicit error control and anchors $Q$ to a periodic grid. We then use translation-invariant quasi-interpolation methods to obtain high-order estimates of order $h^s$ as in the quasi-uniform setting, but for a different class of geometries. The key restrictions are the HT conditions and the bound $r\le Ch$, where $C<1$ is scale independent.

We present optimal block diagonal and triangular preconditioners for a mass-conserving mixed stress formulation of Stokes flow. The algebraic formulation leads to a double saddle point system with unknowns corresponding to discrete stress, velocity, vorticity, and pressure. MINRES equipped with a block diagonal preconditioner for an augmented Lagrangian formulation of this system is analyzed and shown to be optimal, in the sense that the convergence rate is independent of key parameters such as mesh size and kinematic viscosity. GMRES equipped with a block triangular preconditioner is also analyzed using a field-of-values approach. Finally, we present numerical results for both two- and three-dimensional model problems to validate the parameter robustness of the proposed preconditioners.

The Deep Galerkin Method (DGM) and Physics Informed Neural Networks (PINNs) have become widely-used methods for solving partial differential equations (PDEs) in the rapidly growing field of scientific machine learning. In these methods, a neural network is trained to approximate the PDE solution by using (stochastic) gradient descent to minimize the PDE residual of the neural network. Due to the non-convexity of the PDE residual objective function, the trained neural network may, in principle, only converge to a local minimizer of the objective function (which would not be a solution of the PDE). Therefore, there is a longstanding question regarding the mathematical foundations of these algorithms, and it is highly valuable to establish that the trained neural network will converge to the PDE solution. For a class of semi-linear PDEs (nonlinear in the solution and its first derivative), we prove that neural networks trained with gradient descent to minimize the PDE residual objective function will converge to the PDE solution.

\noindent We study residual-polynomial acceleration of the proximal point method (PPM) for maximal monotone inclusions, with Anderson acceleration (AA) as the prototypical adaptive scheme. We answer three questions exactly. (i)~The minimax complexity over all adaptive methods is precisely $d_0/(K+1)$ per $K$ resolvent evaluations. The upper bound is attained by the averaged-reflection estimator; the matching lower bound uses an explicit skew-adjoint instance with resolvent eigenvalues at the roots of $u^{K+1}=-1$ and $\csc^2$-distributed masses, on which every degree-$K$ polynomial method satisfies $\|r(y_K)\|\ge 1/(K+1)$. The optimal polynomial is uniquely the Fejér kernel, and the same instance certifies a per-step floor. (ii)~A sharp phase transition separates regimes: Jackson-kernel polynomials achieve $O(d_0/(K^2 s))$ when the spectral floor $s$ satisfies $sK\to\infty$, while at the critical scale $s\asymp 1/K$ the barrier is exactly $1/(K+1)$. The picture extends to normal operators and the nonlinear family $M=S+N_C$. (iii)~On linear problems AA-PPM needs no safeguarding; on nonlinear problems certification of the $O(1/k)$ envelope requires exactly two oracle evaluations per iteration, and this factor is optimal. We also correct and complete the theory for structured problems---affine, strongly monotone, piecewise-affine, and Hölderian growth---and confirm all predictions numerically.

This work uses the generalized source approach to develop a class of well-conditioned integral operators that are free of internal resonance, without the need for combined formulations. The Generalized source integral equations (GSIEs) kernels are obtained by augmenting the conventional electric field integral equation (EFIE) kernel with auxiliary contributions to enhance the rank deficiency of the corresponding moment matrix blocks. This paper presents the first investigation of the spectra of GSIE operators for auxiliary kernels produced by internal scattering convex shields. Using closed-form expressions for concentric circular scatterers and shields, it is shown that, with shield parameters that are suitable for enhanced compressibility, the transverse magnetic (TM)- and transverse electric (TE)-GSIE operators are free of internal proper and quasi-resonances. The auxiliary components are shown to be compact perturbations of their EFIE counterparts. Hence these GSIESs inherit their dense-discretization breakdown, which remains curable via Calderón-type preconditioning. The mechanisms that govern the high-frequency breakdown are shown to be influenced by the auxiliary component, leading, in some cases, to greater resilience. These observations are shown to remain valid for moment matrices and GSIEs designed with non-circular stencil shields. For both GSIE-dual and Yukawa-kernel preconditioners, the formulations exhibit favorable spectral properties while maintaining their compressibility. This makes the formulations attractive for the design of fast iterative solvers. The results on the two-dimensional shield-based operators provide a foundation for extending the approach to three-dimensional problems and to auxiliary kernels with broader geometric applicability.

Symmetric non-negative matrix factorization (SymNMF) recovers latent group structure from a dependence matrix, but its dense, quadratic-memory objective has confined prior work to moderate sizes. We present a large-scale GPU study of seven algorithm families (over 30 configurations) on absolute Pearson correlation and tail pairwise dependence matrices from Extreme Value Theory, two proxies for empirical risk-factor estimation on large portfolios. A trace-identity reformulation eliminates all $n \times n$ intermediates, so a single GPU reaches $n \approx 10^5$ and multi-node distribution scales to $n = 10^6$ and beyond. Under a two-phase protocol, eleven methods converge at moderate scale; six remain efficient enough at $n = 10^5$ (five AdaGrad-family plus ADMM), and five AdaGrad-family methods still converge at $n = 10^6$: AdaGrad, RMSprop, and three we introduce (Piecewise AdaGrad, Row-Stochastic SVRG, Block-SVRG AdaptGrow). At $n = 10^6$ the fastest solver tracks the matrix spectrum: Block-SVRG AdaptGrow wins on the flat, ill-conditioned tail-dependence spectrum, where its lower per-iteration cost decides a long factorization, and full-batch AdaGrad wins on the dominant-low-rank correlation spectrum, where the run is short. We also benchmark spherical K-means as a hard-label baseline: cheaper when angular cluster structure is present, yet provably degenerate once the matrix collapses toward a single common factor, where the soft factorization remains necessary.

We study optimal control problems for a stationary reaction--diffusion model describing the spatial distribution of a tumor cell population with Gompertz growth. The control $m(x)$ represents a treatment term acting as a density-dependent removal rate and it is subject to $L^{1}-L^{\infty}$ constraints. When the intrinsic growth rate is constant, the uniform distribution of the treatment is shown to be the unique minimizer. For the maximization problem, we prove that every optimal control is of bang-bang type. In addition, we show that in the one dimensional case and for sufficiently large diffusion rates, the positivity set of optimal controls is an interval sticking to one of the extrema of the domain. Finally, numerical simulations complement the theoretical analysis and explore regimes that are not fully covered by the results proved in the paper. The computations confirm the bang-bang structure of maximizers, and illustrate how the shape of optimal controls and the associated states are affected by spatial heterogeneity in the growth rate, localized admissible treatment regions, and the diffusion coefficient. Moreover, they reveal a monotone dependence of the optimized total population on the diffusion coefficient: this is a new phenomenon with respect to the logistic setting.

We study the effect of compression in Coordinate Descent Full Configuration Interaction (CDFCI) within an unconstrained optimization formulation of the full configuration interaction ground-state problem. Under suitable local assumptions, we prove that the compressed iteration converges linearly to the solution of an associated restricted problem. We also characterize the convergence point of the compressed algorithm. Under an additional exponential decay assumption on the target eigenvector, we show that the resulting eigenvalue error is of order $τ^2$, where $τ$ denotes the compression threshold. Numerical results support the analysis.

We prove that the $L_1$-discrepancy with arbitrary nonnegative weights suffers from the curse of dimensionality. More precisely, for every $\varepsilon \in (0,1)$ and $d \in \mathbb{N}$, the inverse of the $L_1$-discrepancy satisfies \[ N_{1,+}(\varepsilon, d) \ge \frac{(1-\varepsilon)^2}{1 + \varepsilon} \left( \frac{3+2 \sqrt{3}}{6}\right)^d, \] where $(3+2\sqrt{3})/6 = 1.07735\ldots$. The proof combines a change to a volume-biased probability measure with a fractional-moment estimate for the normalized discrepancy function. The lower bound applies, in particular, to equally weighted point sets. The argument uses the nonnegativity of the weights in an essential way and does not cover arbitrary signed weights.

In this work, we study a one-dimensional nonlocal and nonlinear eikonal equation without sign restriction on its spatial gradient. The equation is characterized by weak regularity assumptions on both the nonlocal velocity field and the initial data. We derive a periodic version of this model and propose a semi-explicit (IMEX) scheme for its numerical approximation. We prove that the scheme preserves a discrete gradient entropy estimate and establish its convergence in the viscosity sense. Finally, we present numerical results illustrating the behavior of the model and the performance of the proposed scheme.

We introduce two novel randomized iterative regularization frameworks, termed \texttt{RIGKT} and \texttt{RIAT}, for solving large-scale linear ill-posed inverse problems governed by systems of equations. The proposed methods combine randomized iterated Tikhonov regularization with Krylov subspace projection techniques, utilizing Golub--Kahan bidiagonalization for general rectangular systems (\texttt{RIGKT}) and Arnoldi decomposition for square systems (\texttt{RIAT}). Unlike existing deterministic schemes that rely on fixed iteration counts, our framework incorporates randomized equation selection, an adaptive step-size strategy, and a global, discrepancy-based a posteriori early-stopping rule tailored specifically to the stochastic setting. We present a comprehensive regularization analysis establishing Bregman-distance monotonicity, finite termination, exact-data convergence, and pathwise stability under noise. Furthermore, we prove that the stopped iterates converge almost surely and in the mean-square sense to the true solution, establishing a rigorous regularization property. To the best of our knowledge, this is the first theoretical framework to simultaneously account for randomization, Krylov-subspace dimension reduction, and implementable early stopping. Numerical experiments involving two-dimensional X-ray computed tomography (CT) and image deblurring demonstrate that \texttt{RIGKT} and \texttt{RIAT} reliably reconstruct structural features across various noise regimes.

Let $X = [ ξ_1, \,\, ξ_2,...\,\, ,ξ_d]^\top$ be a zero-mean random vector of large dimension $d$ ($d \rightarrow \infty$) with (hidden) covariance matrix $M = (m_{ij})_{1 \leq i, j \leq d},$ where $m_{ij} = m_{ji} = \textbf{Cov}(ξ_i, ξ_j).$ Let $X_1, X_2, \dots, X_n$ be $n$ iid samples of $X$. Consider the sample covariance matrix $$\textstyle \tilde{M} := \frac{1}{n} \sum_{i=1}^{n} X_i X_i^\top.$$ In practice, one frequently uses the eigenvectors and eigenspaces of $\tilde M$ as estimators for those of $M$. A central task is to provide an error analysis for these estimators. In this paper, we provide an optimal error analysis, obtaining upper and lower bounds of matching order of magnitude, for a wide range of parameters $d$ and $n$, under mild assumptions on $M$. As corollaries, we obtain new necessary and sufficient conditions for the consistency of the estimators. In these conditions, we only require the number of samples $n$ to depend linearly on the effective rank of $M$, which can be much smaller than the dimension $d$.

As financial institutions transition from traditional predictive models to autonomous agentic systems, the static model inventory requirements of traditional model risk management (MRM) face structural obsolescence. This paper proposes a dynamic Inventory-as-Code (IaC) governance loop that treats the model inventory as a living architectural component rather than a periodic documentation artifact. We make four principal contributions. First, we introduce a calibrated Degree of Autonomy (DoA) materiality score with an explicit, taxonomized tool-complexity weighting scheme that addresses the dominance problem of naive additive risk formulations. Second, we construct the agent inventory as a Directed Acyclic Graph (DAG) and define a formal Composite Risk Propagation algorithm under which upstream validation failures induce risk penalties on all reachable descendants. Third, we develop a Trajectory Monitoring protocol based on distributional cosine drift across ensembled Chain-of-Thought (CoT) embeddings, with an explicit procedure for constructing and certifying the Golden Path baseline, a matched-bootstrap calibration that we show is necessary to avoid a severe false-positive artifact in the naive alternative, and a two-stage response that separates legitimate reasoning variation from detrimental drift without demanding that a single exceedance event trigger an irreversible action. Fourth, we address practical complications largely absent from the prior literature: LLM base-model version changes, latent feedback loops in nominally acyclic agent graphs, and a two-pass execution structure that stages validation ahead of risk propagation.

Traffic shockwaves are stop-and-go waves that propagate upstream through the streams of vehicles and are one of the major causes of traffic congestion, fuel inefficiency, and increased accident rates in modern transportation systems. Although Connected and Autonomous Vehicles (CAVs) offer a promising opportunity to mitigate such shockwaves, most existing control strategies rely on global traffic state information, making them impractical for early-stage deployment of Vehicular Ad-hoc Networks (VANETs). In this paper, we propose a decentralized Multi-Agent Reinforcement Learning (MARL) framework that integrates a Graph Neural Network (GNN) to enhance the control architecture of connected and autonomous vehicles. The proposed approach enables vehicles to learn cooperative control policies using locally available information and interaction with neighboring vehicles. The effectiveness of the proposed scheme is evaluated using a scalable simulation environment under realistic highway traffic conditions. Simulation results show that the proposed GNN-based MARL framework can reduce the propagation of traffic shockwaves by up to 80\%, even when only 10\% of the vehicles are connected.

Raw-Hermite sensing and collision on a fixed discrete-velocity set can convert a uniform translation into artificial coupling between nominally distinct nonequilibrium orders. We develop a central-Hermite formulation for a D3Q125 kinetic model with order-resolved log-Gaussian relaxation and compare three variants: raw sensing/raw collision (A), central sensing/raw collision (B), and central sensing/central collision (C). In homogeneous translated second-order perturbations, model C preserves third- and fourth-order modal purity to machine precision, whereas A and B develop boost-dependent cross-order content. Across a grid-CFL-boost matrix, model C reduces the post-transport collision frame discrepancy relative to A by 65.342-98.102% (median 81.131%) in the total relative L-infinity measure. Long-time calculations remain positive and conservative to numerical precision, although the accumulated benefit is configuration dependent because transport continually re-injects frame error. A transport study further reveals a clear trade-off: central-Hermite interface reconstruction strongly suppresses the third-order discrepancy but amplifies the fourth-order discrepancy. The fully central-Hermite collision therefore substantially reduces collision-induced cross-order frame discrepancy, while residual dependence remains due to discrete transport and finite velocity-space representation. This moment-space improvement does not by itself establish a comparable reduction in macroscopic Galilean transport error.

Random Indexing (RI), used almost exclusively in text analysis (notably Temporal Random Indexing, TRI, for tracking word meaning over time), represents a discrete vocabulary with fixed random vectors and accumulates context by vector summation. We explore transplanting this mechanism to change detection in multitemporal images. A naive transplant using k-means to build the visual vocabulary is unstable: pixels are frequently reassigned between acquisition dates due to small radiometric shifts, destroying the pixel-to-vector correspondence RI depends on. We propose a distance-threshold (leader) clustering vocabulary instead, and give a short formal argument -- a stability radius from the vocabulary covering/packing properties -- for why this is provably more robust to acquisition noise than k-means. Combined with spatial context accumulation, this yields a training-free change detection pipeline, evaluated on four bi-temporal remote-sensing datasets (agriculture, river, urban PolSAR, wildfire) against a Change Vector Analysis baseline, which it consistently approaches but does not surpass. Multi-seed validation exposed and let us fix a degenerate-vector failure mode in a probabilistic-sparsity RI variant, and revealed a second, unresolved source of variability -- sensitivity to the leader-clustering visitation order -- which we characterize but, despite three attempted corrections, could not eliminate, reporting it as the main open problem. Results are cross-checked against an independent re-implementation. We report an ablation, a hyperparameter sensitivity analysis, an Otsu-vs-Gaussian-mixture thresholding comparison, and discuss RI incremental accumulation for future long time-series monitoring.

The inverse of the star discrepancy $n^\ast(d, \varepsilon)$ satisfies \[ d \varepsilon^{-1} \lesssim n^{\ast}(d,\varepsilon)\lesssim d\varepsilon^{-2} \] for all $d \in \mathbb{N}$ and $0 < \varepsilon < \varepsilon_0$. The upper bound was shown by Heinrich, Novak, Wasilkowski and Woźniakowski (2001) and the lower bound was shown by Hinrichs (2004). A proof of this lower bound using elementary arguments was shown by Steinerberger (2023). These bounds show that the inverse of the star discrepancy depends linearly on the dimension, but the exact exponent of $\varepsilon^{-1}$ has remained open. In this paper we prove a lower bound which shows that the exponent $2$ of $\varepsilon^{-1}$ in the upper bound cannot be improved. More precisely, we show that for every $0<α<1$ and fixed $0<A\le B$, there are constants $c_{α,B}>0$ and $\varepsilon_{α,A}>0$ such that for every integer $d$ satisfying \[ A\varepsilon^{-α}\le d\le B\varepsilon^{-α} \] we have \[ n^{\ast}(d,\varepsilon) \ge c_{α,B}\,d\,\varepsilon^{-(2-α)}, \] for all $0 < \varepsilon < \varepsilon_{α, A}$. Along these polynomial strips the right-hand side is of order $\varepsilon^{-2}$. It follows that every uniform polynomial upper estimate $n^{\ast}(d,\varepsilon)\le C d^q\varepsilon^{-p}$ must satisfy $p \ge 2$. Together with the lower bound of Hinrichs (2004), which forces $q \ge 1$, this shows that the exponents $p=2$ and $q=1$ in the Heinrich--Novak--Wasilkowski--Woźniakowski upper bound are individually optimal.

Newton's method is one of the most effective second-order algorithms for smooth optimization because of its fast local convergence. However, existing globally convergent Newton-type methods typically require convexity or strong convexity of the objective function, while approaches for nonconvex optimization often rely on Hessian regularization at every iteration. In this paper, we propose a general line-search Newton framework for unconstrained optimization that avoids repeated Hessian regularization by exploiting the Newton direction only when it is well-defined and suitable. The proposed framework encompasses several existing hybrid gradient--Newton methods as special cases and naturally yields a new extragradient Newton method. We establish global convergence under mild assumptions, including the Polyak--Lojasiewicz--Kurdyka (PLK) condition, allowing both isolated and nonisolated accumulation points. We further prove local superlinear and quadratic convergence under appropriate regularity assumptions. Finally, we apply the proposed framework to strongly quasiconvex optimization and provide, to the best of our knowledge, the first Newton-type algorithm together with a comprehensive convergence analysis for this important class of nonconvex optimization problems. Numerical experiments demonstrate the effectiveness of the proposed methods.

Applications of metric magnitude often rely on numerically exact results in order to exploit a connection with information theory. We examine various approaches for scaling the dense linear algebra involved and identify hierarchical low-rank solvers as a preferred approach, with a clear path to scales of $10^5$ points on a single powerful workstation, and larger scales using our containerized CUDA-enabled C++/MPI pipeline.

We introduce a new research area that is called Asymptotics Learning Theory (ALT) and combines optimization with asymptotic analysis. In particular, ALT provides a unified approach for computing unknown constants/parameters in proven asymptotic expansions using optimization theory. In this paper, we focus on a general asymptotic form which includes a broad class of asymptotics. Furthermore, we study two powerful numerical methods, namely, sliding Linear Least Squares (sLLSQ) and sliding Tikhonov Linear Least Squares (sT-LLSQ). For these techniques we rigorously prove asymptotic estimates that lead to sufficient conditions for convergence (to the correct values of unknown parameters) and convergence-rate guarantees. Despite their strengths, both methods have also limitations, e.g., slow convergence---or even, counterintuitively, divergence---in some cases. Moreover, we present fundamental applications in analytic combinatorics, a beautiful field of mathematics that deals with asymptotic enumeration of discrete structures using complex analysis. The proposed techniques complement existing approaches, such as the ratio method and its variants. Numerical examples also verify the theoretical results. Finally, we discuss interesting research directions in ALT.

We present a unified fixed-point construction of the elementary transcendental functions, encompassing the real exponential, the complex exponential (sine and cosine), and the natural logarithm. Each function is characterized as the unique solution of a duplication identity established through the Banach contraction principle. These foundational identities are $e(2x)=e^2(x)$ for the exponentials, and $\log(x^{2})=2\log x$ for the logarithm. Because a direct iteration of these identities is numerically unstable, owing to local expansiveness at the target, the central idea transfers the analysis to a residual function, on which the operator becomes a strict contraction with an explicit convergence rate. Beyond its theoretical economy, which dispenses with differential equations and power series, this characterization translates into efficient algorithms for the machine evaluation of elementary functions: the underlying framework yields floating-point kernels whose accuracy and iteration depth are governed by the theoretical contraction rate. We also present a computational study showing that, in a throughput-bound vectorized regime, these kernels are competitive with standard production libraries, and in favorable configurations exceed them, with the sine--cosine kernel faster at every tested iteration depth. These implementations operate without lookup tables or memory traffic, an architectural advantage for modern high-performance and energy-efficient computing.

We develop a data-driven approximation of the projected ambient connection Laplacian acting on differential forms over smooth Riemannian manifolds sampled by point clouds. The proposed construction extends the classical framework of diffusion maps and Vector Diffusion Maps from scalar functions and tangent vector fields to differential forms of arbitrary degree. Our approach is based on a novel representation of differential forms as alternating differential arrays obtained through an extension of the classical musical isomorphism. This representation enables the construction of a matrix-valued diffusion operator that approximates the projected ambient connection Laplacian directly from point cloud data without requiring a mesh or simplicial complex. The proposed discretization admits the asymptotically optimal kernel bandwidth scaling inherited from diffusion maps, leading to sharper convergence guarantees than previous data-driven approximations of the Hodge Laplacian. Building upon this operator, we derive a fully data-driven explicit Euler scheme for the heat equation on differential forms and validate the proposed methodology through numerical experiments on the unit sphere. The experiments confirm the predicted decay of the analytical solution and demonstrate the effectiveness of the proposed discretization. The proposed framework provides a natural generalization of Vector Diffusion Maps to differential forms of arbitrary degree and establishes a practical foundation for the numerical approximation of geometric partial differential equations directly from point cloud data.

Perturbation theory for symmetric matrices shows that eigenvalues with small spectral gaps are more sensitive to off-diagonal perturbation, implying that different entries affect the eigenvalues unevenly. Building on this insight, we incorporate spectral gap information into the Jacobi method for symmetric eigenvalue problems and propose a new pivoting strategy, which is completely different from classical ones governed solely by the magnitude of the off-diagonal entries. When combined with a mixed-precision preconditioner that diagonalizes the matrix to low precision, numerical experiments demonstrate that the resulting strategy can significantly outperform the classical greedy approach when the original matrix has clustered eigenvalues.

We introduce a Physics-Informed Token Transformer (PITT) methodology for nonlinear hyperbolic balance laws in one space dimension, using piecewise steady-state profiles for the representation of approximate weak solutions. The method combines symbolic equation tokenization, a Fourier neural operator encoder, an explicit Rankine--Hugoniot law for shock motion, and a learned correction term. For clarity, we present it here for the relativistic Schwarzschild--Burgers equation, a scalar model for spherically symmetric fluid flows on a Schwarzschild background. For this model the steady-state invariant and the generalized Riemann solutions are explicit, and they can therefore be built into the neural evolution. In particular, the leading discontinuities are advanced by the analytical jump condition, while the learned part reconstructs smooth regions, rarefaction fans, geometric dependence, and finite-resolution effects. The method is designed to locate wave fronts accurately and to preserve the relevant steady states. We test our PITT method on moving shocks, stationary shocks, rarefaction waves, and compare it with a standard high-order finite-volume approximation. We also analyze the standard Burgers limit (when the Schwarzschild mass tends to zero). The Rankine--Hugoniot prior plays the dominant role in these tests, while equation tokenization gives a systematic additional gain. The method is relevant for problems involving geometric effects and/or complex shock-wave dynamics, and is used here to study the long-time dynamics of perturbations of steady-state solutions. In particular, we exhibit an asymptotic law of propagation for the shock location of perturbed steady-state flows.

We propose a mixed residual method (MIM) for numerically solving the biharmonic equation with nonhomogeneous clamped boundary conditions. By establishing the well-posedness of the biharmonic equation in spectral Barron spaces, we derive an error bound for MIM that relates shallow neural network approximations to the exact solution and overcomes the curse of dimensionality. This error bound consists of two components: the first corresponds to the approximation error of the neural network, while the second represents the generalization error arising from randomly sampled training data. Several numerical experiments are presented to demonstrate the effectiveness of the proposed method.

Learned PDE solvers often entangle governing operators with the geometry, boundary conditions, and discretization used for training. This limits reuse when the same physics is posed on new domains, and it also makes physical-law discovery geometry-dependent. We introduce Geometry-aware LegONet (gLegONet), a boundary-manifold extension of Lego-like operator learning. Physical mechanisms are pretrained once as modular variational blocks on an ambient spectral domain. For a target geometry, sampled boundary constraints define an affine admissible manifold. Its mass-orthonormal tangent coordinates are used to evolve the dynamics and evaluate candidate law-discovery features directly. Changing the domain therefore changes only an algebraic coordinate interface, not the learned operator blocks. This converts arbitrary-domain PDE learning from geometry-specific retraining or soft penalty enforcement into boundary-guaranteed assembly of reusable mechanisms. In forward simulations and sparse identification tests on unseen domains, the method maintains boundary residuals near the algebraic tolerance and yields predictive governing laws from short-time observations.

High-order methods can improve worst-case evaluation complexity, but for orders $p\geq3$ their Taylor subproblems are nonconvex polynomial optimization problems and are generally difficult to solve. We develop a radius-controlled boundary approach based on homogeneous tensor representations. By augmenting the step with a constant coordinate, any $p$th-order Taylor polynomial can be represented exactly as an order-$p$ homogeneous tensor form; at a prescribed radius, the boundary model is a spherical polynomial optimization problem. The representation applies to arbitrary $p$, while the algorithmic development focuses on the cubic case $p=3$. For an inhomogeneous cubic on the sphere, we introduce a quadratic shift and prove, under an explicit shift bound, equivalence with a three-block multilinear formulation at global optimality. This motivates a proximal alternating minimization (PAM) method with closed-form block updates; its objective values decrease and every accumulation point is stationary. We embed the boundary-step mechanism in an Adaptive Homogeneous Tensor Method (Ada--HTM). Under explicit smoothness, safeguarded-decrease, weak-curvature nondegeneracy, and local-refinement conditions, Ada--HTM attains the adaptive-regularization-type (AR$p$-type) evaluation complexity $\mathcal{O}(ε^{-(p+1)/p})$ for first-order stationarity. Numerically, PAM matches order-$2$ moment--sum-of-squares (SOS) certificates on the structured cubic instances for which certification is tractable, scales particularly well for low-rank tensors, and makes Ada--HTM competitive with trust-region and cubic-regularization methods, with its largest gains on ill-conditioned and badly-scaled problems.