We introduce a new class of preconditioners to enable flexible GMRES to find a least-squares solution, and potentially the pseudoinverse solution, of large-scale sparse, asymmetric, singular, and potentially inconsistent systems. We develop the preconditioners based on a new observation that generalized inverses (i.e., $\boldsymbol{A}^{g}\in\{\boldsymbol{G}\mid\boldsymbol{A}\boldsymbol{G}\boldsymbol{A}=\boldsymbol{A}\}$) enable the preconditioned Krylov subspaces to converge in a single step. We then compute an approximate generalized inverse (AGI) efficiently using a hybrid incomplete factorization (HIF), which combines multilevel incomplete LU with rank-revealing QR on its final Schur complement. We define the criteria of $ε$-accuracy and stability of AGI to guarantee the convergence of preconditioned GMRES for consistent systems. For inconsistent systems, we fortify HIF with iterative refinement to obtain HIFIR, which allows accurate computations of the null-space vectors. By combining the two techniques, we then obtain a new solver, called PIPIT, for obtaining the pseudoinverse solutions for systems with low-dimensional null spaces. We demonstrate the robustness of HIF and HIFIR and show that they improve both accuracy and efficiency of the prior state of the art by orders of magnitude for systems with up to a million unknowns.
With the commercial availability of mixed precision hardware, mixed precision GMRES-based iterative refinement schemes have emerged as popular approaches for solving sparse linear systems. Existing analyses of these approaches, however, are based on using full LU factorizations to construct preconditioners for use within GMRES in each refinement step. In practical applications, inexact preconditioning techniques, such as incomplete LU or sparse approximate inverses, are often used for performance reasons. In this work, we investigate the use of sparse approximate inverse preconditioners based …
We introduce a software package called HIFIR for preconditioning sparse, unsymmetric, ill-conditioned, and potentially singular systems. HIFIR computes a hybrid incomplete factorization, which combines multilevel incomplete LU factorization with a truncated, rank-revealing QR factorization on the final Schur complement. This novel hybridization is based on the new theory of approximate generalized inverse and $ε$-accuracy. It enables near-optimal preconditioners for consistent systems and enables flexible GMRES to solve inconsistent systems when coupled with iterative refinement. In this paper…
Efficient and robust iterative solvers for strong anisotropic elliptic equations are very challenging. In this paper a block preconditioning method is introduced to solve the linear algebraic systems of a class of micro-macro asymptotic-preserving (MMAP) scheme. MMAP method was developed by Degond {\it et al.} in 2012 where the discrete matrix has a $2\times2$ block structure. By the approximate Schur complement a series of block preconditioners are constructed. We first analyze a natural approximate Schur complement that is the coefficient matrix of the original non-AP discretization. However…
We extend the operator preconditioning framework [R. Hiptmair, Comput. Math. with Appl. 52 (2006), pp.~699--706] to Petrov-Galerkin methods while accounting for parameter-dependent perturbations of both variational forms and their preconditioners, as occurs when performing numerical approximations. By considering different perturbation parameters for the original form and its preconditioner, our bi-parametric abstract setting leads to robust and controlled schemes. For Hilbert spaces, we derive exhaustive linear and super-linear convergence estimates for iterative solvers, such as $h$-independ…
Goal-Oriented Adaptivity and Multilevel Preconditioning for the Poisson-Boltzmann Equation
TOBB University of Economics and Technology（TOBB经济与技术大学）；Louisiana State University（路易斯安那州立大学）；Sandia National Laboratories（桑迪亚国家实验室）；University of California San Diego（加州大学圣地亚哥分校）
Nonlinear Preconditioning: How to use a Nonlinear Schwarz Method to Precondition Newton's Method
University of Strathclyde（斯特拉斯克莱德大学）；Université de Genève（日内瓦大学）；Université Nice Sophia Antipolis（尼斯索菲亚安蒂波利斯大学）；Inria（法国国家数字科学研究所）；Hong Kong Baptist University（香港浸会大学）
We propose domain decomposition preconditioners for the solution of an integral equation formulation of forward and inverse acoustic scattering problems with point scatterers. We study both forward and inverse problems and propose preconditioning techniques to accelerate the iterative solvers. For the forward scattering problem, we extend the domain decomposition based preconditioning techniques presented for partial differential equations in {\em "A restricted additive Schwarz preconditioner for general sparse linear systems", SIAM Journal on Scientific Computing, 21 (1999), pp. 792--797}, to…
We establish a new iterative method for solving a class of large and sparse linear systems of equations with three-by-three block coefficient matrices having saddle point structure. Convergence properties of the proposed method are studied in details and its induced preconditioner is examined for accelerating the convergence speed of generalized minimal residual (GMRES) method. More precisely, we analyze the eigenvalue distribution of the preconditioned matrix. Numerical experiments are reported to demonstrate the effectiveness of the proposed preconditioner.
Preconditioning of a linear system obtained from spectral discretization of time-dependent PDEs often results in a full matrix which is expensive to compute and store specially when the problem size increases. A matrix-free implementation is usually applied to resolve this issue. In this framework, preconditioning is typically challenging since the entries of the matrix are not explicitly available. In this short note, we propose a statistical approach to gradually create a preconditioner matrix by collecting the information obtained from matrix-vector product in the Arnoldi loop of an unpreco…
We consider the time-dependent Stokes-Darcy problem as a model case for the challenges involved in solving coupled systems. Keeping the model, its discretization, and the underlying numerics for the subproblems in the free-flow domain and the porous medium constant, we focus on different solver approaches for the coupled problem. We compare a partitioned coupling approach using the coupling library preCICE with a monolithic block-preconditioned one that is tailored to different formulations of the problem. Both approaches enable the reuse of already available iterative solvers and precondition…
We show that preconditioners constructed by random sampling can perform well without meeting the standard requirements of iterative methods. When applied to graph Laplacians, this leads to ultra-sparsifiers that in expectation behave as the nearly-optimal ones given by [Kolla-Makarychev-Saberi-Teng STOC`10]. Combining this with the recursive preconditioning framework by [Spielman-Teng STOC`04] and improved embedding algorithms, this leads to algorithms that solve symmetric diagonally dominant linear systems and electrical flow problems in expected time close to $m\log^{1/2}n$ .
Combined Preconditioning with Applications in Reservoir Simulation
Kunming University of Science and Technology（昆明理工大学）；The Pennsylvania State University（宾夕法尼亚州立大学）；PetroChina Company Limited（中国石油天然气股份有限公司）；ExxonMobil Upstream Research Company（埃克森美孚上游研究公司）；Academy of Mathematics and System Sciences（中国科学院数学与系统科学研究院）；Sichuan University（四川大学）
Widely employed for the accurate solution of the electroencephalography forward problem, the symmetric formulation gives rise to a first kind, ill-conditioned operator ill-suited for complex modelling scenarios. This work presents a novel preconditioning strategy based on an accurate spectral analysis of the operators involved which, differently from other Calderón-based approaches, does not necessitate the barycentric refinement of the primal mesh (i.e., no dual matrix is required). The discretization of the new formulation gives rise to a well-conditioned, symmetric, positive-definite system…
Preconditioning of weighted H(div)-norm and applications to numerical simulation of highly heterogeneous media
University of Duisburg-Essen（杜伊斯堡-埃森大学）；Texas A & M University（德克萨斯农工大学）；Bulgarian Academy of Sciences（保加利亚科学院）；The Pennsylvania State University（宾夕法尼亚州立大学）
Freezing Calderón: Robust Preconditioning for Maxwell Scattering under Shape Uncertainty
Facultad de Ingeniería y Ciencias, Universidad Adolfo Ibáñez（阿道夫·伊巴涅斯大学工程与科学学院）；Department of Mathematics and Digital Futures, KTH Royal Institute of Technology（瑞典皇家理工学院数学与数字未来系）；Inria Chile（法国国家信息与自动化研究所智利分部）
Iterative solvers preconditioned with algebraic multigrid have been devised as an optimal technology to speed up the response of large sparse linear systems. In this work, this technique was implemented in the framework of the dual delineation approach. This involves a single groundwater flow solve and a pure advective transport solve with different right-hand sides. The new solver was compared with traditional preconditioned iterative methods and direct sparse solvers on several two- and three-dimensional benchmark problems spanning homogeneous and heterogeneous formations. For the groundwate…
