https://arxiv.org/api/6kkErxzdWdeSdt9DFCHYx92STDw 2026-06-22T00:39:04Z 49870 240 15 http://arxiv.org/abs/2602.01636v2 2026-06-10T21:08:20Z

We develop a low-order Crouzeix--Raviart--Raviart--Thomas (CR--RT) equilibrated-flux certification workflow for finite element approximations of semilinear diffusion--reaction problems, with particular emphasis on anisotropic mesh settings. Given a computed conforming finite element state $\tilde u_h$, the certification process is reduced to three computable quantities required by a Newton--Kantorovich argument: a dual-norm residual bound, a stability constant for the Fréchet derivative, and a Lipschitz bound for the derivative in a neighborhood of $\tilde u_h$. These components yield an explicit radius $ρ>0$, ensuring that the exact solution exists locally and uniquely within the ball $B(\tilde u_h,ρ)\subset V$. The residual bound is obtained from an $H(\mathrm{div})$-conforming $\mathbb{RT}^0$ certificate flux reconstructed through a Marini-type CR--RT route. The purpose of this route is not to replace general higher-order or local mixed equilibrated reconstructions, but to provide an explicit low-order construction whose algebraic structure is transparent on anisotropic simplicial meshes. Within the certified neighborhood, we further enclose selected quantities of interest $\mathcal J(u)$; the baseline enclosure follows from the verified inclusion, while an adjoint-based correction sharpens the resulting intervals. The numerical experiments report the behavior of the computable certification quantities for monotone semilinear models, including anisotropic mesh tests. Unless interval or outward-rounded scalar post-processing is explicitly used, the reported computations should be understood as floating-point evaluations of the derived rigorous estimators.

2026-02-02T04:51:24Z Hiroki Ishizaka http://arxiv.org/abs/2511.19716v2 2026-06-10T21:07:03Z

Stochastic Gradient Descent (SGD) often slows in the late stage of training due to anisotropic curvature and gradient noise. We analyze preconditioned SGD in the geometry induced by a symmetric positive definite matrix $\mathbf{M}$, deriving bounds in which both the convergence rate and the stochastic noise floor are governed by $\mathbf{M}$-dependent quantities: the rate through an effective condition number in the $\mathbf{M}$-metric, and the floor through the product of that condition number and the preconditioned noise level. For nonconvex objectives, we establish a preconditioner-dependent basin-stability guarantee: when smoothness and basin size are measured in the $\mathbf{M}$-norm, the probability that the iterates remain in a well-behaved local region admits an explicit lower bound. This perspective is particularly relevant in Scientific Machine Learning (SciML), where achieving small training loss under stochastic updates is closely tied to physical fidelity, numerical stability, and constraint satisfaction. The framework applies to both diagonal/adaptive and curvature-aware preconditioners and yields a simple design principle: choose $\mathbf{M}$ to improve local conditioning while attenuating noise. Experiments on a quadratic diagnostic and three SciML benchmarks validate the predicted rate-floor behavior.

2025-11-24T21:24:40Z 31 pages, 11 Figures Trans. of Mach. Learning Research, 06/2026 Mitchell Scott Tianshi Xu Ziyuan Tang Alexandra Pichette-Emmons Qiang Ye Yousef Saad Yuanzhe Xi http://arxiv.org/abs/2602.09730v2 2026-06-10T20:39:23Z

Recent advances in imaging technologies, deep learning and numerical performance have enabled non-invasive detailed analysis of artworks, supporting their documentation and conservation. In particular, automated detection of craquelure in digitized paintings is crucial for assessing degradation and guiding restoration, yet remains challenging due to the possibly complex scenery and the visual similarity between cracks and crack-like artistic features such as brush strokes or hair. We propose a hybrid approach that models crack detection as an inverse problem, decomposing an observed image into a crack-free painting and a crack component. A deep generative model is employed as powerful prior for the underlying artwork, while crack structures are captured using a Mumford--Shah-type variational functional together with a crack prior. Joint optimization yields a pixel-level map of crack localizations in the painting.

2026-02-10T12:34:53Z Laura Paul Holger Rauhut Martin Burger Samira Kabri Tim Roith http://arxiv.org/abs/2606.12656v1 2026-06-10T20:30:26Z

We introduce a general theoretical approach to hierarchical spline spaces that replaces the classical constructive definition - based on basis selection - with a descriptive formulation in terms of regularity constraints. Specifically, we define generalized hierarchical spline spaces on multi-level domains as collections of piecewise functions satisfying hierarchical contact conditions across interfaces between refinement levels. The proposed framework applies to a broad class of local function spaces and relies on a minimal abstract requirement, the extension assumption, rather than on specific polynomial properties. Within this framework, we identify rules under which the hierarchical selection mechanism yields a complete basis, in the sense that it spans exactly the space characterized by the contact conditions. As an application, we consider Tchebycheffian spline spaces. We show that spaces generated by extended complete Tchebycheff (ECT) systems fit in this framework, thereby establishing the completeness of hierarchical Tchebycheffian splines. This demonstrates that the proposed theory naturally extends beyond the polynomial setting and provides a unified foundation for hierarchical constructions in more general spline spaces.

2026-06-10T20:30:26Z Ahmed Oufqir Carla Manni Hendrik Speleers http://arxiv.org/abs/2606.12577v1 2026-06-10T18:25:45Z

Multigrid methods are among the most effective frameworks for solving large-scale sparse systems. However, achieving their hallmark linear scaling and rapid convergence crucially depends on an effective smoother algorithm, whose design is often highly problem-dependent. This paper develops a new approach, referred to as \textit{cascading smoothers} due to their operation as an ordered sequence of single-step block-diagonal smoothers. Each level in the cascade is optimised to maximally damp the output of prior steps via a Frobenius norm minimisation of the corresponding error propagators. In particular, we develop an additive (resp., multiplicative) formulation analogous to Jacobi (resp., Gauss-Seidel). Applied within a standard multigrid V-cycle, we show they are remarkably effective across a wide array of problems, including finite difference, finite element, and discontinuous Galerkin discretisations applied to Poisson, elliptic interface, and Stokes systems as well as multiphase variants. In every case, cascading smoothers closely match or significantly outperform their optimally-damped classical counterparts, yet require no parameter tuning apart from a few discrete solver choices. Additionally, the approach is highly parallelisable and robust to geometric and operator complexities such as unstructured meshes and high-contrast coefficients.

2026-06-10T18:25:45Z 44 pages, 37 figures, 3 algorithms, 1 table Robert I. Saye http://arxiv.org/abs/2606.12574v1 2026-06-10T18:23:18Z

We study a Cahn-Hilliard equation with anisotropic traction flux arising as a reduced continuum model of mechanically biased cell interactions in digit-forming organoids. For a regularized problem with strictly positive bounded mobility, we introduce a mixed finite element discretization based on an implicit-explicit treatment of the chemical potential. We prove existence of discrete solutions, establish exact mass conservation and a discrete energy inequality, and show convergence of the fully discrete approximations to a weak solution of the regularized problem. Numerical experiments illustrate the resulting dynamics and show the transition from classical coarsening to traction-induced fingering and protrusive growth. The computational study is complemented by mass and energy diagnostics, an energy-balance residual, fingering-onset and protrusion-count diagnostics, and a manufactured-solution convergence study.

2026-06-10T18:23:18Z Marvin Fritz http://arxiv.org/abs/2511.14713v2 2026-06-10T18:19:24Z

In this paper, we introduce a unified framework for nonlinear Krylov subspace methods (\textit{nlKrylov}) to solve systems of nonlinear equations. Building on classical GCR-like/type linear Krylov solvers such as GMRESR, we generalize these approaches to nonlinear problems via nested algorithmic structures. We present rigorous convergence results for problems, relying on relaxed assumptions that avoid the need for exact line searches. The framework is further extended to matrix-valued root finding problems using global nonlinear Krylov approaches. Extensive numerical experiments validate the theoretical insights and demonstrate the robustness and efficiency of our proposed algorithms.

2025-11-18T17:57:00Z Tom Werner Ning Wan Agnieszka Miedlar http://arxiv.org/abs/2606.12559v1 2026-06-10T18:09:16Z

The ensemble Kalman filter (EnKF) is widely adopted for sequential data assimilation, but fails for solutions with discontinuities, such as shocks in compressible flows. Uncertainty in shock location induces multimodal ensemble statistics that violate the Gaussian assumptions underlying the EnKF, producing large-scale spurious oscillations in the analysis state. We introduce a feature-preserving latent-EnKF that performs the ensemble update in a learned low-dimensional latent space, where shock and flow features admit a smooth manifold representation, thereby preserving sharp features during EnKF analysis. The updated latent state is mapped back to physical state through a shared decoder for all ensemble members. The algorithm eliminates the member-specific ordered training and positivity flooring used in prior approaches. Numerical experiments on a Sod shock tube and Mach 2 shock interaction with a 2D cylinder, using sparse and noisy observations, show accurate feature recovery of shocks and contact discontinuities without spurious oscillations.

2026-06-10T18:09:16Z Hemanth Chandravamsi Hangchuan Hu Ponkrshnan Thiagarajan Tamer A. Zaki http://arxiv.org/abs/2606.12375v1 2026-06-10T17:40:28Z

This work presents a finite element formulation for coupled chemo-mechano-thermodynamical large deformation contact. The formulation is based on the contact theory of Sauer et al. (2022) that contains six coupled (but separate) fields: the deformation and temperature of the two contacting bodies, as well as an interfacial bonding field and interfacial temperature. The latter is governed by the chemical and mechanical energy dissipation at the interface. Here the focus is placed on the evolution of bonding and debonding, and how it is coupled to the mechanical and thermal contact state. Several elementary models are proposed for this based on a quadratic contact potential. The resulting contact formulation becomes very general and versatile, which is illustrated by several challenging examples. They include pressure- and gap- depended bonding, exothermic bonding reactions, thermal hardening and thermal expansion, as well as simultaneous bonding and debonding. They are based on a monolithic finite element implementation using classical and isogeometric shape functions together with implicit time integration. Its full linearization, required for the Newton-Raphson solution method, is also provided. If bonding sites are material points, the bonding variable can be condensed-out locally.

2026-06-10T17:40:28Z 42 pages, 22 figures, 6 tables Roger A. Sauer http://arxiv.org/abs/2606.12348v1 2026-06-10T17:21:02Z

This paper presents an improved physics-informed neural network for simulating the spatio-temporal solution profile of the multidimensional coupled Burgers' equations with high Reynolds numbers. As time evolves, the sharp shock fronts emerge in the solution, creating significant computational challenges for the conventional mesh-based numerical methods. In particular, numerical methods such as finite differences and finite elements suffer from poor stability and strong mesh dependency when resolving the steep solution gradients. To address these challenges, the proposed framework employs a layerwise self-adaptive weighting strategy that dynamically adjusts the penalty weights for the physics residual, initial conditions, and boundary conditions throughout training. Moreover, the framework uses a dual-phase optimization strategy to achieve more stable convergence. To check the effectiveness and accuracy of the proposed framework, a set of numerical experiments is conducted to compare it with the standard Physics-Informed Neural Network (PINN) with and without Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) optimization. Numerical results exhibit that the proposed framework achieves higher accuracy in terms of relative $L_2-$ error norm than the standard PINN and is able to capture the development of sharp shock fronts as time evolves in the solution.

2026-06-10T17:21:02Z Harish P. Bhatt Xi Chen Jingsai Liang http://arxiv.org/abs/2606.12337v1 2026-06-10T17:07:09Z

Inverse problems governed by partial differential equations (PDEs) are central to computational mechanics and are commonly solved by adjoint-based optimization, while physics-informed neural networks (PINNs) have emerged as a flexible alternative. Their relative performance remains difficult to assess because the two approaches are often compared under different formulations, parameterizations, optimizers, and regularization choices. We present a fair comparison of adjoint optimization and PINNs for PDE-constrained inverse problems. From a common abstract formulation, we instantiate both methods on identical domains, governing equations, observation models, and regularization terms, while matching the optimizer, unknown parameterization, and arithmetic precision wherever applicable. The benchmarks include unsteady Burgers, noisy Darcy permeability inversion, three-dimensional Allen--Cahn reaction identification, and unsteady Navier--Stokes viscosity identification. The results show that the representation of the unknown largely determines the preferred method: grid-based fields favor the discrete adjoint, whereas neural representations are native to PINNs and relevant for closure and constitutive modeling. For time-dependent problems, adjoint inversion can be dominated by trajectory storage and differentiation, while PINNs provide satisfactory reconstructions at lower cost. A PINN-warm-started adjoint strategy then recovers adjoint-level accuracy at substantially reduced cost.

2026-06-10T17:07:09Z 35 pages, 10 figures Zhen Zhang Alessandro Alla George Em Karniadakis http://arxiv.org/abs/2504.21785v3 2026-06-10T16:34:09Z

We propose an efficient reconstruction algorithm named the frozen Gaussian grid-point correction (FGGC) for computing the Schrödinger equation in the semi-classical regime using the frozen Gaussian approximation (FGA). The FGA has demonstrated its superior efficiency in dealing with semi-classical problems and high-frequency wave propagations. However, reconstructing the wave function from a large number of Gaussian wave-packets is typically computationally intensive. This difficulty arises because these wave-packets propagate along the FGA trajectories to non-grid positions, making the application of the fast Fourier transform infeasible. In this work, we introduce the concept of ``on-grid correction'' and derive the formulas for the least squares approximation of Gaussian wave-packets, and also provide a detailed process of the FGGC algorithm. Furthermore, we rigorously prove that the error introduced by the least squares approximation on each Gaussian wave-packet is independent of the semi-classical parameter $\varepsilon$. Numerical experiments show that the FGGC algorithm can significantly improve reconstruction efficiency while introducing only negligible error, making it a powerful tool for solving the semi-classical Schrödinger equation, especially in applications requiring both accuracy and efficiency.

2025-04-30T16:43:28Z Lihui Chai Zili Deng http://arxiv.org/abs/2604.24748v2 2026-06-10T16:15:31Z

In this contribution, we introduce a mixed interpolation-regression operator for functions defined on certain planar domains. We focus on an ellipse, an annulus and a polygon. An upper bound for the operator is obtained. Cubature formulas for weight functions defined on these domains are studied. The performance of the interpolation-regression methods is illustrated by numerical examples.

2026-04-27T17:51:04Z Ruymán Cruz-Barroso Lidia Fernández Francisco Marcellán Juan Antonio Villegas http://arxiv.org/abs/2606.12270v1 2026-06-10T16:11:33Z

In this short note, we improve the upper bound on the condition number of the univariate B-spline basis of order $k$ from $k 2^k$ to $O(\sqrt{k}\log k\,2^k)$ for all $k\ge 2$.

2026-06-10T16:11:33Z Yimin Zhong http://arxiv.org/abs/2606.12256v1 2026-06-10T15:58:50Z

Diffuse-interface models are a widely used framework for interfacial dynamics in complex fluids, in which interfaces are represented through smooth transition layers and capillary effects are encoded by a free-energy functional. For incompressible mixtures with more than two phases, however, robust computation is substantially more difficult because the numerical method should preserve the balance structure of the continuum model, maintain the saturation constraint, dissipate energy, and treat all phases symmetrically even when density ratios are arbitrary. Existing structure-preserving methods are largely developed for binary flows or for formulations that distinguish a reference phase, so a genuinely symmetric N-phase discretization remains lacking. The practical problem is therefore to construct a fully-discrete method for N-phase incompressible Navier--Stokes--Cahn--Hilliard mixture models that retains the key thermodynamic and conservation properties of the continuum equations for arbitrary density ratios. Here we propose a symmetric fully-discrete method for the N-phase incompressible Navier--Stokes--Cahn--Hilliard mixture model with arbitrary density ratios. The method yields a fully-discrete problem in which every solution satisfies exact phase volume conservation, phase mass conservation, total volume conservation, total mass conservation, and a discrete energy-dissipation law. In addition, if the volume-saturation constraint holds for the initial data, then it is preserved at every time step. We numerically verify these structure-preserving properties and demonstrate the robustness of the method in representative multiphase flow problems. The resulting scheme provides a computational framework for incompressible N-phase mixture flows with complex interfacial dynamics and arbitrary density contrasts.

2026-06-10T15:58:50Z 32 pages M. F. P. ten Eikelder A. Brunk