Approximating Gaussian Whittle-Matern Fields over Well-Centered Triangulations of Riemannian Manifolds

2026-06-15T20:09:18Z

Markovian Whittle-Matérn fields have been convergently approximated by discrete Gauss Markov Random Fields (GMRFs) with sparse precision matrices using a Finite Element approximation of the two-parameter family, \[ (κ^2 - Δ)^{α/2} u = \mathcal{W}, \;\; κ\in \mathbb{R}, \; α\in \mathbb{N}. \] of SPDEs. Using recent developements in the analysis of Discrete Exterior Calculus (DEC), we present a different, yet closely related, convergent GMRF approximation to these Matérn fields over complete, boundaryless Riemannian manifolds discretized as well-centered simplicial complexes. This convergent method (i) is agnostic to $α, κ$ and thus allows a universal approximation scheme for the precision and covariance matrices of the entire $(α, κ)$-family of GMRFs, so they may be inferred rather than guessed. (ii) inherently models pointwise and piecewise-smoothed measurements of a random field and approximates both equally well (iii) is computationally independent of the interpolants used - it suffers no overhead if one convergent interpolant were replaced with another suitable interpolant over the same mesh. Furthermore, we show that, on discretizations that are well-connected in a precise sense, and volume-concentrated, the precision matrices are spectral functions of a graph-laplacian. We provide a low rank approximator to the family of such Matérn GMRFs and mention a use case: reducing the number of measurements needed to model the GMRF by compressed-sensing.

Hybrid Digital-Analog Approximate Inverse Preconditioning for Krylov Methods

2026-06-15T19:18:50Z

Analog in-memory computing enables highly parallel matrix-vector multiplications with reduced data movement, but the resulting operations are noisy, quantized, and affected by device- and circuit-level non-idealities. This paper studies approximate inverse preconditioning for Krylov subspace methods in a hybrid digital-analog setting. The digital host performs sparse products with the coefficient matrix and the precision-sensitive Krylov operations, while preconditioner applications are performed through analog crossbar matrix-vector multiplications. Since the realized preconditioner is inexact and application-dependent, the outer iteration is formulated as the flexible GMRES method. We show that analog execution changes the usual preconditioner design problem in the sense that a stronger digital preconditioner may be less effective after analog scaling, write noise, input/output perturbations, quantization, and clipping are taken into account. We compare various block Jacobi preconditioning schemes including exact block inverses, sparse approximate inverses, Monte Carlo approximate inverses (MCAI), damping, and nested block Jacobi schemes. Numerical experiments with realistic analog matrix-vector simulations show that analog-aware choices of block size, damping, MCAI construction accuracy, and nesting are important for robust convergence.

Nitsche-based FEM for the Laplace eigenvalue problem: spectral approximation and a posteriori error analysis

2026-06-15T17:59:07Z

In this paper, we present the numerical analysis of an elliptic eigenvalue problem in which the essential boundary condition is imposed weakly by means of the Nitsche method. The resulting discrete eigenvalue problem is studied within the framework of compact operator theory. We prove norm convergence of the discrete solution operator and derive error estimates for the eigenvalues and eigenfunctions, with rates depending on the chosen Nitsche variant. In addition, we develop an a posteriori error analysis and propose a residual-based estimator suitable for adaptive refinement. Several numerical experiments are presented to assess the convergence, stability and robustness of the method, including the influence of the Nitsche stabilization parameter and the performance of the adaptive strategy.

Optimal Multiscale Learning of Linear Operators

2026-06-15T16:22:10Z

We study the statistical and computational limits of learning bounded linear operators between Sobolev spaces from noisy input-output data. In wavelet coordinates, the problem is recast as an infinite-dimensional matrix regression problem with a heterogeneous two-sided multiscale structure. We establish minimax rates under Sobolev operator-norm loss and construct a finite-resolution blockwise least-squares estimator attaining these rates. The analysis reveals a nonuniform local estimation difficulty across scales, which can be exploited algorithmically: by assigning scale-adaptive sample sizes, the estimator achieves the optimal computational cost among dense least-squares implementations.

PF-DIC: Phase field digital image correlation for integrated full-field displacement, strain, and damage measurements

2026-06-15T15:26:22Z

This work presents a novel digital image correlation (DIC) framework for full-field measurements of displacement, strain, and damage, based on a phase field (PF) approach. The idea is to take advantage of the ability of the PF method to track complex crack morphologies and to provide a natural way in DIC to perform damage and crack measurements from experimental speckle images, in addition to displacement and strain fields. Moreover, incorporating the damage variable into DIC can improve the displacement accuracy near the crack tip, and can avoid the need of user-defined masks when dealing with cracked samples, which is advantageous when cracks become complex and the manual application of masks becomes challenging. The theoretical formulation of the proposed framework, namely PF-DIC, was presented in detail in the paper, along with a finite element implementation. Numerical examples have demonstrated the capability of the proposed PF-DIC in terms of capturing different types of cracks while improving the measurement accuracy of displacement fields. Additionally, it is shown that the PF-DIC can be easily adapted to selectively identify critical cracks under specific loading conditions or mechanisms for damage assessment and diagnostic purposes. The proposed DIC framework offers a powerful and automatic damage measurement technique and paves the way for the unification of PF simulations and experimental measurements of fracture and opens numerous opportunities in science and engineering, e.g., materials defect characterization and structural health monitoring.

OptEMA: Adaptive Exponential Moving Average for Stochastic Optimization with Zero-Noise Optimality

2026-06-15T15:06:36Z

Exponential moving averages (EMAs) are a central component of widely used adaptive optimizers such as Adam. However, existing analyses of Adam-style methods often yield suboptimal guarantees in the zero-noise regime, rely on open-loop parameter schedules, or require prior knowledge of smoothness constants. Motivated by these limitations, we introduce OptEMA and analyze two complementary variants: OptEMA-M, which applies an adaptive, decreasing EMA coefficient to the first moment with a fixed second-moment decay, and OptEMA-V, which swaps these roles. At the heart of these variants is a Corrected AdaGrad-Norm coefficient schedule. This formulation renders OptEMA algorithmically closed-loop and Lipschitz-free, meaning its effective stepsizes are trajectory-dependent and require no parameterization via the Lipschitz constant. Under lower-boundedness, unbiasedness, bounded variance, average smoothness, and a bounded stochastic-gradient condition used to control the adaptive normalizers, we prove that both variants achieve the unified noise-adaptive rate $\tilde{\mathcal{O}} \left(T^{-1/2}+σ^{1/2}T^{-1/4}\right)$ for the averaged gradient norm. In the zero-noise regime, these bounds automatically reduce to the nearly optimal deterministic rate $\widetilde{\mathcal{O}}(T^{-1/2})$ without manual hyperparameter retuning.

Boundary-preserving hp interpolation and p-robust discrete harmonic extensions on tetrahedral meshes

2026-06-15T14:58:14Z

We construct a boundary-preserving hp interpolation operator on three-dimensional tetrahedral meshes with locally variable polynomial degrees. If the trace of an H^1 function on the prescribed Dirichlet boundary is already a piecewise polynomial trace of the finite element space, the interpolant preserves this trace exactly and satisfies the standard local h_K/p_K approximation estimates. The statement follows the scaling form of Melenk's hp quasi-interpolation for nonsmooth functions. As a consequence, a discrete trace is extended by first applying the continuous trace theorem and then applying the boundary-preserving interpolant; the corresponding discrete harmonic extension is bounded by variational comparison. The proof of the interpolation theorem uses local polynomial trace liftings on tetrahedral boundary layers, nonsingular vertex patches, and a variable-degree tetrahedral projection. These auxiliary liftings are also stable in scaled boundary-layer norms.

Graph Regularized Non-negative Reduced Biquaternion Matrix Factorization for Color Image Recognition

2026-06-15T14:43:31Z

Non-negative reduced biquaternion matrix factorization (NRBMF) uses the product of reduced biquaternion (RB) matrices to incorporate the non-negativity constraints of color image pixels into the factorization process. However, NRBMF mainly focuses on reconstruction accuracy and does not explicitly exploit the local geometric structure of image data, which may limit the discriminative ability of the obtained low-dimensional coefficient representations. To address this issue, we propose a graph regularized non-negative reduced biquaternion matrix factorization (GNRBMF) model for color image recognition. The proposed model incorporates a graph Laplacian regularizer into the reduced biquaternion coefficient matrix, encouraging nearby samples in the original space to have similar coefficient representations. Meanwhile, GNRBMF retains the non-negativity property of NRBMF in the reduced biquaternion algebra. To solve the optimization problem, a component-wise alternating projected gradient algorithm is derived, and its convergence properties are analyzed. Experimental results on three color image datasets show that the proposed GNRBMF model achieves competitive or superior recognition performance compared with several methods in most tested settings.

Two-dimensional FrBD friction models for rolling contact: extension to linear viscoelasticity

2026-06-15T14:13:07Z

This paper extends the distributed rolling contact FrBD framework to linear viscoelasticity by considering classic derivative Generalised Maxwell and Kelvin-Voigt rheological representations of the bristle element. With this modelling approach, the dynamics of the bristle, generated friction forces, and internal deformation states are described by a system of 2(n+1) hyperbolic partial differential equations (PDEs), which can capture complex relaxation phenomena originating from viscoelastic behaviours. By appropriately specifying the analytical expressions for the transport and rigid relative velocity, three distributed formulations of increasing complexity are introduced, which account for different levels of spin excitation. For the linear variants, well-posedness and passivity are analysed rigorously, showing that these properties hold for any physically meaningful parametrisation. Numerical experiments complement the theoretical results by illustrating steady-state characteristics and transient relaxation effects. The findings of this paper substantially advance the FrBD paradigm by enabling a unified and systematic treatment of linear viscoelasticity.

A variable-offset joint formulation for beams with arbitrary cross-sections using a null space method

2026-06-15T14:10:27Z

In this paper, we present a variational formulation of local configurational constraints that couple multiple beams with arbitrarily shaped cross-sections. Since this formulation requires no explicit interface to rotational degrees-of-freedom, it applies to any beam kinematics and finite element discretization. Here, we define the offset coordinates in a moving frame to constrain or release the relative position between connected beams. The present method is based on a first-order approximation of the Lagrange multiplier field in the cross-section, which limits the transferability of the joint to the resultant force and moment only. The multipliers are eliminated using a discrete null space method, which provides size reduction and improved conditioning of the system matrix. Further, we apply the developed formulation to a beam element based on extensible directors and to a brick element in nonlinear elastostatics. Several numerical examples are presented.

Geometric structure-preserving parametric finite element approximations for the constrained Helfrich flow

2026-06-15T13:31:54Z

We propose a structure-preserving parametric finite element method for the constrained Helfrich flow of closed curves and surfaces. The proposed method is based on a two-stage velocity-splitting strategy. In the first stage, the normal velocity is computed from a curvature evolution equation, with the volume and surface area constraints imposed softly in terms of the normal velocity. This step approximates the gradient-flow structure of the Helfrich flow, and its fully discrete parametric finite element approximation leads to a linear system and yields an unconditional energy dissipation estimate at the fully discrete level. In the second stage, the surface mesh is updated by combining the computed normal velocity with a BGN-type tangential velocity. A time-weighted interface normal and an area-correction multiplier are also used to enforce exact preservation of the enclosed volume and surface area. This correction step leads to a nonlinear system, which can be efficiently solved by Newton iteration. The resulting method simultaneously achieves energy decay, exact geometric conservation, and good mesh quality. Numerical experiments for two-dimensional curves and three-dimensional surfaces, including nonsmooth initial data and nonzero spontaneous curvature, are presented to demonstrate the accuracy, robustness, and structure-preserving properties of the proposed method.

The effect of numerical integration in the FEM for elliptic problems with mixed boundary conditions

2026-06-15T13:09:33Z

This paper investigates the impact of quadrature accuracy for volume and face integrals in the finite element method using $p$-th order polynomial shape functions for elliptic problems with mixed Dirichlet and Robin boundary conditions. The optimal $p$-th order $H^1$-convergence is maintained when numerical integration with algebraic precision at least $2p-2$ for volume terms and at least $2p-1$ for face terms is adopted. For $L^2$-error, we achieve optimal $O(h^{p+1})$ convergence when using quadrature rules of precision no less than $\max\{p,2p-2\}$ for volume terms and no less than $2p-1$ for face terms. Of particular significance, we present two examples to show that the above result on $L^2$-error is sharp for the linear FEM ($p=1$). When reduced to the case of Dirichlet boundary condition, our results yield improved dependence on the given data compared to the classical results established by Ciarlet, \textit{et al}. Numerical experiments are provided to illustrate the theoretical findings and confirm the necessity of specified quadrature accuracy and data regularity.

Chebyshev-Exact Acceleration under Hessian Variation, I: Sine-Jacobi Method

2026-06-15T13:05:17Z

We study finite-horizon one-gradient realizations with the Chebyshev minimax terminal residual on $[μ,L]$. Under time-dependent Hessian perturbations, the terminal first variation is governed by a time-ordered spectral kernel $K_s(λ,ν)$; its sharp $\ell_2$ gain is $A_N$. For the prefix-exact Chebyshev recurrence, $$ A_N^{\rm pref} =\frac{ε_N^\star}{L-μ} \left(4N^2+16\sum_{m=1}^{N-1}m^2\right)^{1/2} =\frac4{\sqrt3}\frac{N^{3/2}}{L-μ}ε_N^\star(1+o(1)), $$ and this is sharp in the causal two-term class with Chebyshev exactness at every prefix. For terminal-only exactness, Jacobi coordinates give $P_N=2^{1-N}T_N$: the spectrum is fixed at the midpoint Chebyshev nodes, while the spectral weights parametrize the realizations. The sine weights give a final-exact Jacobi method with the same terminal residual and $$ A_N(J_N^{\sin}) =2\sqrt{c_{\sin}}\frac{N^{3/2}}{L-μ}ε_N^\star(1+o(1)), \; 2\sqrt{c_{\sin}}\approx2.137936<4/\sqrt3. $$ Thus the Chebyshev terminal polynomial does not determine the first-order Hessian-drift gain. The experiments show the finite-horizon effect: lower stochastic curvature overhead, larger admissible-block frontiers, accurate time-varying quadratic predictions, and lower restart cost on an endpoint-coupled smooth strongly convex GLM.

Local high order space-time apdaptive MLSDC

2026-06-15T12:46:41Z

Building upon the semi-implicit multilevel spectral deferred correction (SI-MLSDC) method introduced by Pfister and Stiller [38], this work presents a 1D space-time adaptive high-order method combining discontinuous Galerkin spectral element discretizations with multilevel spectral deferred corrections. The proposed approach enables genuine arbitrary-order accuracy in space and time while dynamically balancing spatial and temporal discretization errors to reduce computational cost. A key contribution is the development of a novel temporal error estimator that in combination with a spectral error estimator in space provides a reliable basis for adaptive refinement decisions. The error estimator is compared with two alternative refinement criteria to assess their impact on accuracy, computational efficiency and their suitability for complex problems. The performance of the adaptive method is demonstrated for nonlinear conservation laws ranging from Burgers' equation to the Euler equations. Numerical results show substantial runtime reductions while maintaining the desired accuracy. In particular, significant computational savings are achieved for Burgers' equation, and challenging benchmark problems such as the Shu-Osher shock-fluctuation benchmark. These results demonstrate the potential of adaptive SI-MLSDC methods for efficient high-order space-time adaptive simulations of complex flow problems.

The CREATOR Project: Towards a Computational Electric Machine Laboratory

2026-06-15T12:43:58Z

The Collaborative Research Centre TRR 361/F90 CREATOR (2022-2030) aims at establishing a new paradigm for the simulation-driven design of electric machines. Increasing demands on efficiency, power density and sustainability require the integration of multiphysical effects, advanced materials and complex geometries into the design process. Traditional sequential workflows are no longer sufficient to address these challenges. CREATOR therefore combines expertise from electrical engineering, applied mathematics, fluid dynamics and materials science to establish integrated modelling, simulation and optimisation methodologies in a single large-scale project funded by the German and Austrian national funding agencies. This article provides an overview of the research vision, key achievements from the first funding period (2022-2026) and current developments towards a computational electric machine laboratory.