arXiv ScienceSearch

arXiv · 2512.15121

A geometrically informed algebraic multigrid preconditioned iterative approach for solving high-order finite element systems

Abstract

Algebraic multigrid (AMG) is conventionally applied in a black-box fashion, agnostic to the underlying geometry. In this work, we propose that using geometric information -- when available -- to assist with setting up the AMG hierarchy is beneficial, especially for solving linear systems resulting from high-order finite element discretizations. High-order problems draw considerable interest to both the scientific and engineering communities, but lack efficient solvers, at least open-source codes, tailored for unstructured high-order discretizations targeting large-scale, real-world applications. For geometric multigrid, it is known that using p-coarsening before h-coarsening can provide better scalability, but setting up p-coarsening is non-trivial in AMG. We develop a geometrically informed algebraic multigrid (GIAMG) method, as well as an associated high-performance computing program, which is able to set up a grid hierarchy that includes p-coarsening at the top grids with minimal information of the geometry from the user. A major advantage of using p-coarsening with AMG -- beyond the benefits known in the context of geometric multigrid (GMG) -- is the increased sparsification of coarse grid operators. We extensively evaluate GIAMG by testing on the 3D Helmholtz and incompressible flow problems, and demonstrate mesh-independent convergence, and excellent parallel scalability. We also compare the performance of GIAMG with existing AMG packages, including Hypre and ML.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Songzhe Xu, Majid Rasouli, Robert M. Kirby, David Moxey, Hari Sundar. 2025-12-17. A geometrically informed algebraic multigrid preconditioned iterative approach for solving high-order finite element systems. https://arxiv.org/abs/2512.15121

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Trustworthy AI in numerics: On verification algorithms for neural network-based PDE solvers

We present new algorithms for a posteriori verification of neural networks (NNs) approximating solutions to PDEs. We use numerical quadrature to compute upper bounds for $L^2$ norms of NNs and their derivatives. When combined with energy estimates for specific PDEs, this yields verification algorithms which only output approximations with $\varepsilon$-accuracy (in a suitable norm) with respect to the true but unknown solution of the PDE -- for any given $\varepsilon > 0$. This framework enables trustworthy algorithms for NN-based PDE solvers, regardless of training method. Such a posteriori verification is essential because a priori error bounds generally cannot guarantee the accuracy of computed solutions due to the algorithmic undecidability of the optimisation problems used to train NNs

math.NA

Parametric charge-conservative mixed finite element method for 3D incompressible inductionless MHD equations on curved domains

This paper develops a charge-conservative mixed finite element method with optimal convergence rates for the stationary incompressible inductionless MHD equations on three-dimensional curved domains. The discretization employs the isoparametric Taylor-Hood elements with grad-div stabilization for the velocity-pressure pair, and parametric Brezzi-Douglas-Marini elements for the current density. For sufficiently small meshsize, the discrete inf-sup conditions for both the velocity-pressure and current density-electric potential finite element pairs are established on curved meshes. Utilizing the Piola's transformation, the discrete current density is exactly divergence-free. By employing suitable extensions and projections, optimal a priori error estimates are derived in both the energy norm and the $L^2$-norm. Numerical experiments are presented to confirm the theoretical results.

math.NA

Sharp Sobolev Sandwich and Approximation Rates of Radon-Domain $L^p$ Ridge Integral Spaces for ReLU$^k$ Networks

We develop the $L^p$ space and approximation theory for shallow neural networks with $\mathrm{ReLU}^k$ activations. The central object is the Radon-domain $L^p$ space $\mathcal{R}L^p_k(Ω)$ containing all functions on a bounded domain $Ω$ that admit a ridge integral representation whose coefficient density belongs to $L^p$ in the Radon domain. In the Hilbert case $p=2$, we prove by elementary Fourier analysis that this space recovers the critical Sobolev space $H^{k+(d+1)/2}(Ω)$. For general $1<p<\infty$, the identity becomes a sandwich for Bessel-potential Sobolev spaces. The sharp gap of each side is exactly the Seeger--Sogge--Stein loss for the Radon transform as a Fourier integral operator. This also clarifies how the activation regularity and Radon back-projection jointly produce the regularity. As an application, we discretize the integral representation using a deterministic interpolation skeleton plus uniform sampling. This yields high-probability $L^p$ approximation rates and the optimal Hilbert rate $O\!\big(n^{-\frac12-\frac{2k+1}{2d}}\big)$ at $p=2$ for linearized neural networks.

math.NA