Sufficient conditions for strong discrete maximum principles in finite element solutions of linear and semilinear elliptic equations

2026-03-16T03:18:45Z

We introduce a novel technique for proving global strong discrete maximum principles for finite element discretizations of linear and semilinear elliptic equations for cases when the common, matrix-based sufficient conditions are not satisfied. The basic argument consists of extending the strong form of discrete maximum principle from macroelements to the entire domain via a connectivity argument. The method is applied to discretizations of elliptic equations with certain pathological meshes, and to semilinear elliptic equations.

Numerical approximation of the first $p$-Laplace eigenpair

2026-03-16T02:47:54Z

We approximate the first Dirichlet eigenpair of the $p$-Laplace operator for $2 \leq p < \infty$ on both Euclidean and surface domains. We emphasize large $p$ values and discuss how the $p \to \infty$ limit connects to the underlying geometry of our domain. Working with large $p$ values introduces significant numerical challenges. We present a surface finite element numerical scheme that combines a Newton inverse-power iteration with a new domain rescaling strategy, which enables stable computations for large $p$. Numerical experiments in $1$D, planar domains, and surfaces embedded in $\mathbb{R}^3$ demonstrate the accuracy and robustness of our approach and show convergence towards the $p \to \infty$ limiting behavior.

New perturbation bounds for low rank approximation of matrices: Beyond Eckart-Young-Mirsky

2026-03-16T02:25:40Z

Let $A$ be an $m \times n$ matrix with rank $r$ and spectral decomposition $A = \sum_{i=1}^r σ_i u_i v_i^\top,$ where $σ_i$ are its singular values, ordered decreasingly, and $u_i, v_i$ are the corresponding left and right singular vectors. For a parameter $1 \le p \le r$, $A_p := \sum_{i=1}^p σ_i u_i v_i^\top$ is the best rank $p$ approximation of $A$. In practice, one often chooses $p$ to be small, leading to the commonly used phrase "low-rank approximation". Low-rank approximation plays a central role in data science because it can substantially reduce the dimensionality of the original data, the matrix $A$. For a large data matrix $A$, one typically computes a rank-$p$ approximation $A_p$ for a suitably chosen small $p$, stores $A_p$, and uses it as input for further computations. The reduced dimension of $A_p$ enables faster computations and significant data compression. In practice, noise is inevitable. We often have access only to noisy data $\tilde A = A + E$, where $E$ represents the noise. Consequently, the low-rank approximation used as input in many downstream tasks is $\tilde A_p$, the best rank $p$ approximation of $\tilde A$, rather than $A_p$. Therefore, it is natural and important to estimate the error $ \| \tilde A_p - A_p \|$. This error plays a critical role in estimating the accuracy of the output of any process involving a low-rank approximation of noisy input. In this paper, we develop a new method (based on contour analysis) to bound $\| \tilde A_p - A_p \|$. With this method, we can exploit new parameters that measure the skewness between the noise matrix $E$ and the singular vectors of $A$, avoiding the worst-case analysis used in traditional approaches. In many settings, we obtain notable quantitative improvements compared to classical approaches (using the Eckart-Young-Mirsky theorem or the Davis-Kahan theorem).

A deep backward regression-based scheme for high-dimensional nonlinear partial differential equations

2026-03-16T01:54:09Z

A deep backward regression-based (DBR) scheme for solving high-dimensional nonlinear parabolic partial differential equations is proposed. Building upon the established DBDP method (Huré et al., 2020), our algorithm introduces a reformulation of the local loss functions that are sequentially optimized via backward induction at each time step. The core of this approach involves reformulating simulated backward stochastic difference equations into their conditional expectation representations, thereby recasting a projection-based stochastic optimization problem as a deterministic function-approximation task. By explicitly incorporating conditional expectations, the DBR scheme facilitates a denoising mechanism prior to loss evaluation. This architecture substantially mitigates numerical variance, resulting in enhanced training stability and superior generalization performance. Numerical results demonstrate that the DBR scheme consistently outperforms the DBDP1 method, maintaining accuracy up to d=200 for bounded solutions (see Table 1). Notably, for complex unbounded PDEs where the DBDP1 method fails beyond d=10, the DBR scheme remains robust up to $d=20$ with relative errors under 9.7% (see Table 6}). Theoretically, we derive rigorous upper error bounds and establish half-order convergence for the proposed scheme. Extensions to variational inequalities are also provided.

Edge element DtN method for electromagnetic scattering poles of perfectly conducting obstacles

2026-03-16T01:31:45Z

Meromorphic continuation of the scattering operator leads to scattering poles (resonances) in the complex plane. Despite their significance, numerical investigation of scattering poles remains limited. In this paper, we propose and analyze a numerical method to compute electromagnetic poles of perfectly conducting obstacles. The unbounded domain for the scattering problem is truncated using the DtN mapping and the poles are shown to be the eigenvalues of a holomorphic Fredholm operator function related to Maxwell's equations. Edge elements are used for discretization. The convergence is proved using the abstract approximation theory for eigenvalue problems of holomorphic Fredholm operator functions. The proposed finite element DtN approach is free of non-physical poles. A spectral indicator method is then employed to compute the resulting nonlinear matrix eigenvalue problem. Numerical examples are presented to demonstrate the effectiveness of the method.

Derivative-Informed Fourier Neural Operator: Universal Approximation and Applications to PDE-Constrained Optimization

2026-03-15T23:15:57Z

We present approximation theories and efficient training methods for derivative-informed Fourier neural operators (DIFNOs) with applications to PDE-constrained optimization. A DIFNO is an FNO trained by minimizing its prediction error jointly on output and Fréchet derivative samples of a high-fidelity operator (e.g., a parametric PDE solution operator). As a result, a DIFNO can closely emulate not only the high-fidelity operator's response but also its sensitivities. To motivate the use of DIFNOs instead of conventional FNOs as surrogate models, we show that accurate surrogate-driven PDE-constrained optimization requires accurate surrogate Fréchet derivatives. Then, we establish (i) simultaneous universal approximation of continuously differentiable operators and their Fréchet derivatives by FNOs on compact sets, and (ii) universal approximation of continuously differentiable operators by FNOs in weighted Sobolev spaces with input measures that have unbounded supports. Our theoretical results certify the capability of FNOs for accurate derivative-informed operator learning and for the solution of PDE-constrained optimization problems. Furthermore, we develop efficient training schemes that leverage dimensionality reduction and multi-resolution techniques to significantly reduce memory and computational costs in Fréchet derivative learning. Numerical examples on nonlinear diffusion--reaction, Helmholtz, and Navier--Stokes equations demonstrate that DIFNOs are superior in sample complexity for operator learning and solving infinite-dimensional PDE-constrained inverse problems, achieving high accuracy at low training sample sizes.

Convergence and Stability of Discrete Exterior Calculus for the Hodge Laplace Problem in Two Dimensions

2026-03-15T22:35:15Z

We prove convergence and stability of the discrete exterior calculus (DEC) solutions for the Hodge-Laplace problems in two dimensions for families of meshes that are non-degenerate Delaunay and shape regular. We do this by relating the DEC solutions to the lowest order finite element exterior calculus (FEEC) solutions. A Poincaré inequality and a discrete inf-sup condition for DEC are part of this proof. We also prove that under appropriate geometric conditions on the mesh the DEC and FEEC norms are equivalent. Only one side of the norm equivalence is needed for proving stability and convergence and this allows us to relax the conditions on the meshes.

Model Order Reduction for Parametric Hermitian Eigenvalue Problems: Local Acceleration with Taylor-Reduced Basis Method

2026-03-15T21:31:56Z

This paper is concerned with the Taylor-reduced basis method (Taylor-RBM) for the efficient approximation of eigenspaces of large scale parametric Hermitian matrices. The Taylor-RBM is a local model order reduction method, which constructs an approximation space by capturing derivatives information of the spectral projector at a reference point in the parameter domain. We perform a concise error analysis to justify the Taylor-RBM for eigenvalue problems, and we present a computationally efficient procedure to assemble the Taylor-reduced basis space. Since this method is tightly connected to the classical multivariate analytic perturbation theory, we also provide a detailed analysis of the spectral approximation using the truncated power series of the eigenprojector, and compare this with the approximation obtained from the Taylor-RBM.

A Numerical Solution to KPD

2026-03-15T21:14:55Z

A stationary value based algorithm (SVA) is provided to solve the nearest Kronecker product decomposition (KPD) problem of vector form hypermatrices. Using the algorithm successively, the finite sum KPD is also solved. Then the permutation matrix is introduced. Using it, the KPD of matrix form hypermatrices is converted to its equivalent KPD of vector forms, and then the SVA is also applicable to solve the same problems for vector form hypermatrix. Some numerical examples are presented to demonstrate the new algorithm and to compare it with existing methods.

Quadratic projectable Runge-Kutta methods

2026-03-15T19:47:55Z

Runge-Kutta methods are affine equivariant: applying a method before or after an affine change of variables yields the same numerical trajectory. However, for some applications, one would like to perform numerical integration after a quadratic change of variables. For example, in Lie-Poisson reduction, a quadratic transformation reduces the number of variables in a Hamiltonian system, yielding a more efficient representation of the dynamics. Unfortunately, directly applying a symplectic Runge-Kutta method to the reduced system generally does not preserve its Hamiltonian structure, so many proposed techniques require computing numerical trajectories of the original, unreduced system. In this paper, we study when a Runge-Kutta method in the original variables descends to a numerical integrator expressible entirely in terms of the quadratically transformed variables. In particular, we show that symplectic diagonally implicit Runge-Kutta (SyDIRK) methods, applied to a quadratic projectable vector field, are precisely the Runge-Kutta methods that descend to a method (generally not of Runge-Kutta type) in the projected variables. We illustrate our results with several examples in both conservative and non-conservative dynamics.

On the energy dissipation rate of ensemble eddy viscosity models of turbulence: Shear flows

2026-03-15T19:19:56Z

Classical eddy viscosity models add a viscosity term with turbulent viscosity coefficient developed beginning with the Kolmogorov-Prandtl parameterization. Approximations of unknown accuracy of the unknown mixing lengths and turbulent kinetic energy are typically constructed by solving associated systems of nonlinear convection-diffusion-reaction equations with nonlinear boundary conditions. Often these over-diffuse so additional fixes are added such as wall laws or using different approximations in different regions (which must also be specified). Alternately, one can solve an ensemble of NSE's with perturbed data, compute the ensemble mean and fluctuation and simply compute directly the turbulent viscosity parameterization. This idea is recent, seems to be of lower complexity and greater accuracy and produces parameterizations with the correct near wall asymptotic behavior. The question then arises: Does this ensemble eddy viscosity approach over-diffuse solutions? This question is addressed herein.

Maximum Entropy Least Squares Solutions of Overdetermined Linear Systems

2026-03-15T18:41:56Z

We investigate the theoretical foundations of a recently introduced entropy-based formulation of weighted least squares for the approximation of overdetermined linear systems, motivated by robust data fitting in the presence of sparse gross errors. The weight vector is interpreted as a discrete probability distribution and is determined by maximizing Shannon entropy under normalization and a prescribed mean squared error (MSE) constraint. Unlike classical ordinary least squares, where the error level is an output of the minimization process, here the MSE value plays the role of a control parameter, and entropy selects the least biased weight distribution achieving the prescribed accuracy. The resulting optimization problem is nonconvex due to the nonlinear coupling between the weights and the solution induced by the residual constraint. We analyze the associated optimality system and characterize stationary points through first- and second-order conditions. We prove the existence and local uniqueness of a smooth branch of entropy-maximizing configurations emanating from the ordinary least squares solution and establish its global continuation under suitable nondegeneracy conditions. Furthermore, we investigate the asymptotic regime as the prescribed MSE tends to zero and show that, under appropriate assumptions, the limiting configuration concentrates on a largest subset of data consistent with the linear model, thus suppressing the influence of outliers. Two numerical experiments illustrate the theoretical findings and confirm the robustness properties of the method.

Multi-Condition Digital Twin Calibration for Axial Piston Pumps : Compound Fault Simulation

2026-03-15T18:07:36Z

Axial piston pumps are indispensable power sources in high-stakes fluid power systems, including aerospace, marine, and heavy machinery applications. Their operational reliability is frequently compromised by compound faults that simultaneously affect multiple friction pairs. Conventional data-driven diagnosis methods suffer from severe data scarcity for compound faults and poor generalization across varying operating conditions. This paper proposes a novel multi-condition physics-data coupled digital twin calibration framework that explicitly resolves the fundamental uncertainty of pump outlet flow ripple. The framework comprises three synergistic stages: in-situ virtual high-frequency flow sensing on a dedicated rigid metallic segment, surrogate model-assisted calibration of the 3D CFD source model using physically estimated ripple amplitudes, and multi-objective inverse transient analysis for viscoelastic unsteady-friction pipeline parameter identification. Comprehensive experiments on a test rig demonstrate that the calibrated digital twin accurately reproduces both single-fault and two representative compound-fault. These results establish a high-fidelity synthetic fault-generation capability that directly enables robust zero-shot fault diagnosis under previously unseen operating regimes and fault combinations, thereby advancing predictive maintenance in complex hydraulic systems.

Estimating condition number with Graph Neural Networks

2026-03-15T16:37:03Z

For large sparse matrices, we almost never compute the condition number exactly because that would require computing the full SVD or full eigenvalue decompositionIn this paper, we propose a fast method for estimating the condition number of sparse matrices using graph neural networks (GNNs). To enable efficient training and inference of GNNs, our proposed feature engineering for GNNs achieves $\mathrm{O}(\mathrm{nnz} + n)$, where $\mathrm{nnz}$ is the number of non-zero elements in the matrix and $n$ denotes the matrix dimension. We propose two prediction schemes for estimating the matrix condition number using GNNs. One follows by decomposing the condition number and predicts the relatively more computationally intensive part $\|\mathbf{A}^{-1}\|$, while the other is to predict the whole condition number $κ$. Our approach can be extended to an arbitrary norm. The extensive experiments for the two schemes are conducted for 1-norm and 2-norm condition number estimation, which show that our method achieves a significant speedup over the traditional numerical estimation methods.

The largest 5th pivot may be the root of a 61st degree polynomial

2026-03-15T16:26:10Z

This paper introduces a number of new techniques in the study of the famous question from numerical linear algebra: what is the largest possible growth factor when performing Gaussian elimination with complete pivoting? This question is highly complex, due to a complicated set of polynomial inequalities that need to be simultaneously satisfied. This paper introduces the JuMP + Groebner basis + discriminant polynomial approach as well as the use of interval arithmetic computations. Thus, we are introducing a marriage of numerical and exact mathematical computations. In 1988, Day and Peterson performed numerical optimization on $n=5$ with NPSOL and obtained a largest seen value of $4.1325...$. This same best value was reproduced by Gould with LANCELOT in 1991. We ran extensive comparable experiments with the modern software tool JuMP and also saw the same value $4.1325...$. While the combinatorial explosion of possibilities prevents us from knowing whether there may not be a larger maximum, we succeed in obtaining the exact mathematical value: the number $4.1325...$ is exactly the root of a 61st degree polynomial provided in this work, and is a maximum given the equality constraints seen by JuMP. In light of the numerics, we pose the conjecture that this lower bound is indeed the maximum. We also apply this technique to $n = 6$, $7$, and $8$. Furthermore, in 1969, an upper bound of $4\frac{17}{18}\approx 4.94$ was produced for the maximum possible growth for $n = 5$. We slightly lower this upper bound to $4.84$.