A Weakly Penalized Discontinuous Galerkin Method for Radiation in Dense, Scattering Media

We review the derivation of weakly penalized discontinuous Galerkin methods for scattering dominated radiation transport and extend the asymptotic analysis to non-isotropic scattering.

Multilevel Schwarz preconditioners for singularly perturbed symmetric reaction-diffusion systems

We present robust and highly parallel multilevel non-overlapping Schwarz preconditioners, to solve an interior penalty discontinuous Galerkin finite element discretization of a system of steady state, singularly perturbed reaction-diffusion equations with a singular reaction operator, using a GMRES solver. We provide proofs of convergence for the two-level setting and the multigrid V-cycle as well as numerical results for a wide range of regimes.

Should multilevel methods for discontinuous Galerkin discretizations use discontinuous interpolation operators?

We consider a discontinuous interpolation operator with a parameter that controls the discontinuity, and determine the optimal choice for the discontinuity, leading to the fastest solver for a specific 1D symmetric interior penalty DG discretization model problem. We show in addition that our optimization delivers a perfectly clustered spectrum with a high geometric multiplicity, which is very advantageous for a Krylov solver using the method as its preconditioner.

An iterative solver for the HPS discretization applied to three dimensional Helmholtz problems

We present an efficient solver for the linear system that arises from the Hierarchical Poincaré-Steklov (HPS) discretization of three dimensional variable coefficient Helmholtz problems. This work is the first efficient iterative solver for the linear system that results from the HPS discretization. Numerical results show the capacity to tackle problems of approximately 100 wavelengths in each direction, requiring more than a billion unknowns to achieve approximately 4 digits of accuracy taking less than 20 minutes to solve.

Optimization of two-level methods for DG discretizations of reaction-diffusion equations

We apply two-level methods to a symmetric interior penalty discontinuous Galerkin finite element discretization of a singularly perturbed reactions-diffusion equation. The main innovation is that explicit formulas for the optimal relaxation parameter of the two-level method for the Poisson problem in 1D are obtained, as well as very accurate closed form approximation formulas for the optimal choice in the reaction-diffusion case in all regimes. Numerical experiments and comparisons show the applicability of the expressions obtained in higher dimensions and general geometries.

Towards modular Hierarchical Poincaré-Steklov solvers

We revisit the Hierarchical Poincaré–Steklov (HPS) method for the Poisson equation using standard Q1 finite elements, building on the original in [1]. While corner degrees of freedom were implicitly handled in that work, subsequent spectral-element implementations have typically avoided them. In Q1-FEM, however, corner coupling cannot be factored out, and we show how the HPS merge procedure naturally accommodates it when corners are enclosed by elements. This clarification bridges a conceptual gap between algebraic Schur-complement methods and operator-based formulations, providing a consistent path for the FEM community to adopt HPS to retain the Poincaré–Steklov interpretation at both continuous and discrete levels.

On an efficient line smoother for the p-multigrid γ-cycle

As part of the development of a Poisson solver for the spectral element discretization used in the GeoFluid Object Workbench (GeoFLOW) code, we propose a solver for the linear system arising from a Gauss-Legendre-Lobatto global spectral method. We precondition using a p-multigrid γ-cycle with highly-vectorizable smoothers, that we refer to as line smoothers. Our smoothers are restrictions of spectral and finite element discretizations to low-order one-dimensional problems along lines, that are solved by a reformulation of cyclic reduction as a direct multigrid method. We illustrate our method with numerical experiments showing the apparent boundedness of the iteration count for a fixed residual reduction over a range of moderately deformed domains, right hand sides and Dirichlet boundary conditions.

Towards a Multigrid Preconditioner Interpretation of Hierarchical Poincaré-Steklov Solvers

We revisit the Hierarchical Poincaré–Steklov (HPS) method within a preconditioned iterative framework. Originally introduced as a direct solver for elliptic boundary-value problems, the HPS method combines nested dissection with tensor-product spectral element discretizations, even though it has been shown in other contexts [1]. Building on the iterative variant proposed in [2], we reinterpret the hierarchical merge structure of HPS as a natural multigrid preconditioner. This perspective unifies direct and iterative formulations of HPS connecting it to multigrid domain decomposition. The resulting formulation preserves the high accuracy of spectral discretizations while enabling flexible iterative solution strategies. Numerical experiments in two dimensions demonstrate the performance and convergence behavior of the proposed approach.

On the Spectral Clustering of a Class of Multigrid Preconditioners

This paper studies a common two-level multigrid construction for block-structured linear systems and identifies a simple way to describe how its smoothing and coarse-grid components interact. By examining the method through a collection of small coupling modes, we show that its behavior can be captured by a single scalar quantity for each mode. The main result is an explicit choice of smoothing parameters that makes all modes respond in the same way, causing the nontrivial eigenvalues of the preconditioned operator to collapse to a single value. This gives a clear and self-contained description of the ideal version of the method and provides a concrete target for designing related schemes. Although the exact spectral collapse requires ideal components, we also show that the same construction naturally produces operators that resemble those used in practical discretizations. Examples from finite-difference and discontinuous Galerkin settings illustrate how the ideal parameters can be used in practice.