Search arXiv⌕ Search

arXiv · 2609.37140

BandPC: Learning Residual-Band Preconditioner Combinations for Flexible Conjugate Gradient Solvers

Abstract

The conjugate gradient (CG) method is a classical iterative solver for sparse symmetric positive definite (SPD) linear systems, but its convergence strongly depends on the spectral properties of the system matrix. Preconditioning can improve these properties; however, designing preconditioners that generalize across diverse and irregular sparsity patterns remains challenging. We propose BandPC (Band Preconditioner Combinations, where "Band" denotes residual-norm bands), a data-driven framework that leverages graph neural networks (GNNs) to predict multi-stage preconditioning strategies for the flexible conjugate gradient (FCG) method. BandPC partitions the FCG iteration into three residual-norm-based bands and defines a structured search space of 125 candidate combinations over five classical preconditioners. By exploiting FCG's ability to switch preconditioners across iterations, BandPC learns to map matrix structure directly to a promising preconditioner sequence. To improve training and generalization, we introduce a soft-labeling mechanism that retains near-optimal combinations and normalizes their scores into a label distribution, together with a hierarchical feature representation that captures node-level attributes, edge-level algebraic coupling strengths, and global matrix statistics. Experiments on a hybrid benchmark of synthetic SPD problems and diverse matrices from the SuiteSparse Collection show that BandPC achieves the best iteration count and solution time on 41.3% and 33.1% of test matrices, respectively, even when compared with each matrix's individually best traditional preconditioner. These results demonstrate that learned residual-band preconditioner scheduling can effectively accelerate flexible CG solvers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

D. M. Li, Shang-Tian Yang, Xin Qiu. 2026-09-29. BandPC: Learning Residual-Band Preconditioner Combinations for Flexible Conjugate Gradient Solvers. https://arxiv.org/abs/2609.37140

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

KEEP EXPLORING

Related papers

On Trimming Tensor-structured Measurements and Efficient Low-rank Tensor Recovery

In this paper, we take a step towards developing efficient hard thresholding methods for low-rank tensor recovery from memory-efficient linear measurements with tensorial structure. Theoretical guarantees for many standard iterative low-rank recovery methods, such as iterative hard thresholding (IHT), are based on model assumptions on the measurement operator, like the restricted isometry property (RIP). However, tensor-structured random linear maps -- while memory-efficient and convenient to apply -- lack good restricted isometry properties; that is, they do not preserve the norms of low-rank tensors sufficiently well. To address this, we propose local trimming techniques that provably restore point-wise geometry-preservation properties of tensor-structured maps, making them comparable to those of unstructured sub-Gaussian measurements. Then, we propose two novel versions of tensor IHT algorithms: an adaptive gradient trimming algorithm and a randomized Kaczmarz-based IHT algorithm, that efficiently recover low-rank tensors from linear measurements. We provide initial theoretical guarantees for the proposed methods and present numerical experiments on real and synthetic data, highlighting their efficiency over the original TensorIHT for low HOSVD and CP-rank tensors.

math.NA↗

Corrected Trapezoidal Rules for Near-Singular Surface Integrals Applied to 3D Ellipsoids in Stokes Flow

Interfacial Stokes flow can be efficiently computed using the Boundary Integral Equation method. In 3D, the fluid velocity at a target point is given by a 2D surface integral over all interfaces, thus reducing the dimension of the problem. A core challenge is that for target points near, but not on, an interface, the surface integral is near-singular and standard quadratures lose accuracy. This paper presents a method to accurately compute the near-singular integrals arising in elliptic boundary value problems in 3D. It is based on a local series approximation of the integrand about a base point on the surface, obtained by orthogonal projection of the target point onto the surface. The elementary functions in the resulting series approximation can be integrated to high accuracy in a neighborhood of the base point using a recursive algorithm. The remaining integral is evaluated numerically using a standard quadrature rule, chosen here to be the 4th order Trapezoidal rule. The method is reduced to the standard quadrature plus a correction, and is uniformly of 4th order. The method is applied to resolve Stokes flow past several ellipsoidal rigid bodies. We compare the error in the velocity near the bodies, and in the time and displacement of particles traveling around the bodies, computed with and without the corrections.

math.NA↗

A coupled HDG discretization for the interaction between acoustic and elastic waves

We propose and analyze an HDG scheme for the Laplace-domain interaction between a transient acoustic wave and a bounded elastic solid embedded in an unbounded fluid medium. The elastic and acoustic domains are coupled through transmission conditions derived from the continuity of the normal stress and of the normal component of the velocities at the interface. The analysis of the HDG discretization of the coupled weak formulation is the main focus of the article. Two mixed variables (the stress tensor and the velocity of the acoustic wave) are included, while the symmetry of the stress tensor is imposed weakly by considering the antisymmetric part of the strain tensor (the spin or vorticity tensor) as an additional unknown. Convergence of the method is demonstrated and theoretical rates are obtained; numerical results suggesting optimal order of convergence and superconvergence of the traces are presented.

math.NA↗