## Preconditioning highly indefinite and nonsymmetric matrices (2000)

Venue: | SIAM J. SCI. COMPUT |

Citations: | 44 - 4 self |

### BibTeX

@ARTICLE{Benzi00preconditioninghighly,

author = {Michele Benzi and John C. Haws and Miroslav Tůma},

title = {Preconditioning highly indefinite and nonsymmetric matrices},

journal = {SIAM J. SCI. COMPUT},

year = {2000},

volume = {22},

number = {4},

pages = {1333--1353}

}

### Years of Citing Articles

### OpenURL

### Abstract

Standard preconditioners, like incomplete factorizations, perform well when the coefficient matrix is diagonally dominant, but often fail on general sparse matrices. We experiment with nonsymmetric permutationsand scalingsaimed at placing large entrieson the diagonal in the context of preconditioning for general sparse matrices. The permutations and scalings are those developed by Olschowka and Neumaier [Linear Algebra Appl., 240 (1996), pp. 131–151] and by Duff and

### Citations

1698 |
Iterative methods for sparse linear systems
- Saad
- 1996
(Show Context)
Citation Context ...ntroduction. 1.1. Motivation and focus. We consider the solution of sparse linear systems Ax = b, where A is a general sparse n × n nonsingular matrix, by preconditioned Krylov subspace methods [25], =-=[39]-=-. For a general sparse matrix we mean a matrix that has no special properties, such as symmetry, positive definiteness, diagonal dominance, etc. In particular, we focus on matrices that are highly uns... |

1517 | GMRES: A generalized minimal residual algorithm for solving nonsymmetric linear systems - Saad, Schultz - 1986 |

1105 | Depth-first search and linear graph algorithms - Tarjan - 1972 |

903 |
A note two problems in connection with graphs
- Dijkstra
- 1959
(Show Context)
Citation Context ...matching algorithm introduced in [36]. Fundamental to finding a minimum weight perfect matching is finding a shortest augmenting path, which in turn relies on a sparse variant of Dijkstra’s algorithm =-=[13]-=-. For a full n×n matrix, the assignment problem can be solved in O(n3 ) time; for a sparse matrix, the problem can be solved in O(nτ log n) time. An important aspect of applying the bipartite weighted... |

640 | An Introduction to the Numerical Solution of Markov Chains - Stewart - 1994 |

579 |
Direct Methods for Sparse Matrices
- Du¤, Erisman, et al.
- 1986
(Show Context)
Citation Context ...erically unsymmetric and far from diagonally dominant, it was found in [4] that the performance and robustness of ILU-type preconditioners was generally improved by the reverse Cuthill–McKee ordering =-=[16]-=-, denoted “rcm” in the tables (see column “SO”). Thus, we used rcm as the default ordering for ILU preconditioners. Although it is not always the best ordering, rcm gave good results in a majority of ... |

361 |
Iterative Methods for Solving Linear Systems
- Greenbaum
- 1997
(Show Context)
Citation Context ...8 1. Introduction. 1.1. Motivation and focus. We consider the solution of sparse linear systems Ax = b, where A is a general sparse n × n nonsingular matrix, by preconditioned Krylov subspace methods =-=[25]-=-, [39]. For a general sparse matrix we mean a matrix that has no special properties, such as symmetry, positive definiteness, diagonal dominance, etc. In particular, we focus on matrices that are high... |

360 |
der Vorst. Bi–CGSTAB: A fast and smoothly converging variant of Bi– CG for the solution of nonsymmetric linear systems
- van
- 1992
(Show Context)
Citation Context ... Ultra 5 workstation for all test problems except the last three, for which one 250 MHz processor of an SGI Origin 2000 computer was used. Three different Krylov subspace solvers were tried: BiCGSTAB =-=[41]-=-, GMRES [40], and TFQMR [23]. While the three algorithms performed similarly on most problems, BiCGSTAB was found to be somewhat better than the others overall. Therefore, we will present results for ... |

339 |
Maximum matching and a polyhedron with 0, 1-vertices
- Edmonds
- 1965
(Show Context)
Citation Context ...d in O(n3 ) time; for a sparse matrix, the problem can be solved in O(nτ log n) time. An important aspect of applying the bipartite weighted matching algorithm to the matrix C is the following result =-=[21]-=-: A perfect matching M has minimum weight if and only if there exist vectors u =(ui) and v =(vi), each of length n, such that � ui + vj = cij for (i, j) ∈M, (3.3) ui + vj ≤ cij for (i, j) �∈ M. These ... |

324 | The University of Florida sparse matrix collection - Davis, Hu |

270 |
der Vorst, An iterative solution method for linear systems of which the coefficient matrix is a symmetric $M- mat\dot{m
- Meijerink, Van
(Show Context)
Citation Context ...ping rules give rise to different ILU preconditioners. When all fill-ins are discarded and only nonzeros in positions corresponding to the nonzero entries of A are retained, the ILU(0) preconditioner =-=[34]-=- is obtained. This preconditioner is easy to implement and inexpensive to compute, but it is often not good enough, particularly for the kind of challenging problems considered in this paper. More pow... |

200 | Parallel preconditioning with sparse approximate inverses
- Grote, Huckle
- 1997
(Show Context)
Citation Context ...but it has been reported by several researchers as being quite challenging for sparse approximate inPRECONDITIONING INDEFINITE, NONSYMMETRIC MATRICES 1341 verse preconditioners; see, e.g., [1], [6], =-=[26]-=-, and [27]. Matrix LNS3937 has a zero diagonal block corresponding to the divergence constraint in the Navier–Stokes equations and is challenging for both ILU and approximate inverse techniques; see, ... |

191 |
Generalized nested dissection
- Lipton, Rose, et al.
- 1979
(Show Context)
Citation Context ...good agreement with the conclusions in [4]. Whenever rcm performed poorly we switched to another symmetric ordering, like multiple minimum degree [32] (denoted “mmd”) or generalized nested dissection =-=[31]-=- (denoted “gnd”). Occasionally, we found that no symmetric reordering was the best option (denoted “no” in the tables). In these tables, a “‡” indicates a failure due to pivot breakdown; i.e., a zero ... |

173 | A sparse approximate inverse preconditioner for the conjugate gradient method
- Benzi, Meyer, et al.
- 1996
(Show Context)
Citation Context ...nd other limitations of ILU-type preconditioners, alternative preconditioning techniques based on sparse approximate inverses have been intensively developed in the past few years. The AINV algorithm =-=[3]-=-, [5], based on an incomplete biconjugation process, has been shown to be one of the most effective techniques in this class. Here the preconditioner is the product of two triangular matrices, which a... |

146 |
Modification of the minimum-degree algorithm by multiple elimination
- Liu
- 1985
(Show Context)
Citation Context ...ing, rcm gave good results in a majority of cases, in good agreement with the conclusions in [4]. Whenever rcm performed poorly we switched to another symmetric ordering, like multiple minimum degree =-=[32]-=- (denoted “mmd”) or generalized nested dissection [31] (denoted “gnd”). Occasionally, we found that no symmetric reordering was the best option (denoted “no” in the tables). In these tables, a “‡” ind... |

143 |
A transpose-free quasi-minimal residual algorithm for non-Hermitian linear systems
- Freund
- 1993
(Show Context)
Citation Context ... test problems except the last three, for which one 250 MHz processor of an SGI Origin 2000 computer was used. Three different Krylov subspace solvers were tried: BiCGSTAB [41], GMRES [40], and TFQMR =-=[23]-=-. While the three algorithms performed similarly on most problems, BiCGSTAB was found to be somewhat better than the others overall. Therefore, we will present results for BiCGSTAB only. The precondit... |

124 |
Factorized Sparse Approximate Inverse Preconditionings. IV: Simple Approaches to Rising Efficiency , Numerical Linear Algebra with Applications
- Kolotilina, Jeremin
- 1999
(Show Context)
Citation Context ...LU-type techniques: The construction phase is guaranteed to be breakdown-free only for special classes of matrices. Sufficient conditions are that A be symmetric positive definite or an H-matrix; see =-=[29]-=-, [3], [28], [2]. For general sparse matrices, instabilities due to very small or zero pivots can occur during the construction of the preconditioner, with disastrous effects. This is perfectly analog... |

124 | A van der Vorst. Numerical Linear Algebra for High-performance Computers - Dongarra, Duff, et al. - 1998 |

93 | ILUT: a dual threshold incomplete LU factorization - Saad - 1994 |

89 |
The effect of ordering on preconditioned conjugate gradients
- Duff, Meurant
- 1983
(Show Context)
Citation Context ...te the Frobenius matrix norm. In the symmetric positive definite case, there is a good correlation between the size of �R�F and the rate of convergence of the preconditioned conjugate gradient method =-=[20]-=-. On the other hand, in the case of general sparse matrices, �R�F alone is not a reliables1336 MICHELE BENZI, JOHN C. HAWS, AND MIROSLAV T ˚ UMA indicator of the quality of the preconditioner; instead... |

81 | Approximate inverse preconditioners via sparse–sparse iterations - Chow, Saad - 1998 |

78 | On algorithms for permuting large entries to the diagonal of a sparse matrix
- Duff, Koster
(Show Context)
Citation Context ...e sparse case and the case of incomplete factorizations are also briefly discussed. These and other heuristics have been further developed and efficiently implemented by Duff and Koster; see [18] and =-=[19]-=-. Some evidence of the usefulness of these preprocessings in connection with sparse direct solvers and for ILU preconditioning has been provided in [18] and [19]; see also [30]. Our contribution is to... |

75 | The design and use of algorithms for permuting large entries to the diagonal of sparse matrices
- Duff, Koster
- 1999
(Show Context)
Citation Context ...stems, the sparse case and the case of incomplete factorizations are also briefly discussed. These and other heuristics have been further developed and efficiently implemented by Duff and Koster; see =-=[18]-=- and [19]. Some evidence of the usefulness of these preprocessings in connection with sparse direct solvers and for ILU preconditioning has been provided in [18] and [19]; see also [30]. Our contribut... |

65 | Experimental study of ILU preconditioners for indefinite matrices
- Chow, Saad
- 1997
(Show Context)
Citation Context ...n. In the case of ILUT, this leads to a variant, called ILUTP [39], which is sometimes successful when ILUT fails. However, even this approach often fails when applied to general sparse matrices; see =-=[10]-=- and subsection 5.4 below. There are two types of instability that ILU preconditioners may suffer from. These instabilities have been discussed in detail in [10]; here we give a brief discussion only.... |

65 | Approximate inverse preconditionings for sparse linear systems - Cosgrove, Diaz, et al. - 1992 |

58 | A comparative study of sparse approximate inverse preconditioners
- Benzi, Tuma
- 1999
(Show Context)
Citation Context ...e a wide range of problems, particularly from PDEs. For a detailed treatment of ILU preconditioning we refer the reader to [39]. For a recent survey of sparse approximate inverse preconditioners, see =-=[6]-=-. ILU methods compute sparse approximations to the triangular factors L and U of A. The incomplete factors are obtained by dropping nonzero entries generated in the course of the factorization process... |

57 | ILUM: A multi-elimination ILU preconditioner for general sparse matrices - Saad - 1996 |

54 | BILUM: block versions of multi-elimination and multi-level ILU preconditioner for general sparse linear systems - Saad, Zhang - 1999 |

53 |
On algorithms for obtaining a maximum transversal
- Duff
- 1981
(Show Context)
Citation Context ... the diagonal. Because our code is row oriented, we limit our discussion to row permutations, i.e., permutations of the form QA. One of the options in MC64 uses the algorithm MC21 implemented by Duff =-=[14]-=-, [15]. MC21 is a depth-first search algorithm with look-ahead; for a sparse matrix with τ nonzero entries, the algorithm has worst-case complexity of O(nτ) but in practice exhibits O(n + τ) behavior.... |

51 | Orderings for incomplete factorization preconditioning of nonsymmetric problems
- Benzi, Szyld, et al.
- 1999
(Show Context)
Citation Context ... process, but in the incomplete factors. Unstable (more accurately, ill-conditioned) ILU factors occur frequently for matrices that are far from symmetric and lack diagonal dominance; see [22], [10], =-=[4]-=-. For general sparse matrices, it is frequently the case that both kinds of instability occur simultaneously, with a crippling effect on the quality of the preconditioner. In general, the complete LU ... |

49 | Robust approximate inverse preconditioning for the conjugate gradient method
- Benzi, Cullum, et al.
- 2000
(Show Context)
Citation Context ...s: The construction phase is guaranteed to be breakdown-free only for special classes of matrices. Sufficient conditions are that A be symmetric positive definite or an H-matrix; see [29], [3], [28], =-=[2]-=-. For general sparse matrices, instabilities due to very small or zero pivots can occur during the construction of the preconditioner, with disastrous effects. This is perfectly analogous to the insta... |

44 | Row projection methods for large nonsymmetric linear systems - Bramley, Sameh - 1992 |

43 | Computational methods for general sparse matrices - Zlatev - 1991 |

39 | A new pivoting strategy for Gaussian elimination
- Olschowka, Neumaier
- 1996
(Show Context)
Citation Context ..., often exhibit a large number of zero diagonal entries and poor spectral distributions, and they represent a challenge for preconditioned Krylov subspace solvers. 1.2. Contributions of the paper. In =-=[36]-=-, Olschowka and Neumaier introduce new permutations and scaling strategies for Gaussian elimination. The goal is to preprocess the coefficient matrix so as to obtain an equivalent system with a matrix... |

34 | Making sparse Gaussian elimination scalable by static pivoting
- Li, Demmel
- 1998
(Show Context)
Citation Context ...nd Koster; see [18] and [19]. Some evidence of the usefulness of these preprocessings in connection with sparse direct solvers and for ILU preconditioning has been provided in [18] and [19]; see also =-=[30]-=-. Our contribution is to carry out a systematic experimental study of the use of these permutation and scaling algorithms in the context of preconditioned iterative methods applied to challenging line... |

33 |
Sparse approximate-inverse preconditioners using norm-minimization techniques
- Gould, Scott
- 1998
(Show Context)
Citation Context ... been reported by several researchers as being quite challenging for sparse approximate inPRECONDITIONING INDEFINITE, NONSYMMETRIC MATRICES 1341 verse preconditioners; see, e.g., [1], [6], [26], and =-=[27]-=-. Matrix LNS3937 has a zero diagonal block corresponding to the divergence constraint in the Navier–Stokes equations and is challenging for both ILU and approximate inverse techniques; see, respective... |

29 |
Algorithm 575: Permutations for zero-free diagonal
- Duff
- 1981
(Show Context)
Citation Context ...iagonal. Because our code is row oriented, we limit our discussion to row permutations, i.e., permutations of the form QA. One of the options in MC64 uses the algorithm MC21 implemented by Duff [14], =-=[15]-=-. MC21 is a depth-first search algorithm with look-ahead; for a sparse matrix with τ nonzero entries, the algorithm has worst-case complexity of O(nτ) but in practice exhibits O(n + τ) behavior. The u... |

27 |
The Rutherford-Boeing Sparse Matrix Collection
- Duff, Grimes, et al.
- 1997
(Show Context)
Citation Context ...ve positive real part. 4. Description of test problems. In this section we describe the matrices that were used in the numerical experiments. Most of these matrices are available in the public domain =-=[17]-=-, [12], [35]. They are representative of problems from a variety of applications, but they have in common the fact that they are difficult to solve with iterative methods. The matrices are listed in T... |

27 | A block projection method for sparse matrices - Arioli, Duff, et al. - 1992 |

24 | An MPI implementation of the SPAI preconditioner on the T3E
- BARNARD, BERNARDO, et al.
- 1999
(Show Context)
Citation Context ...itioning, but it has been reported by several researchers as being quite challenging for sparse approximate inPRECONDITIONING INDEFINITE, NONSYMMETRIC MATRICES 1341 verse preconditioners; see, e.g., =-=[1]-=-, [6], [26], and [27]. Matrix LNS3937 has a zero diagonal block corresponding to the divergence constraint in the Navier–Stokes equations and is challenging for both ILU and approximate inverse techni... |

24 | Orderings for factorized sparse approximate inverse preconditioners
- Benzi, T˚uma
(Show Context)
Citation Context ... inverse preconditioners in factorized form is sensitive to the ordering of the matrix. For structurally symmetric (or nearly so) matrices having a stable AINV preconditioner, it was shown in [9] and =-=[7]-=- that symmetric reorderings that reduce fill-in in the inverse factors, like minimum degree or (generalized) nested dissection, can be used to improve the performance of the preconditioner. However, t... |

21 | A two-level parallel preconditioner based on sparse approximate inverses - Benzi, Marin, et al. - 1998 |

19 | Block Lanczos techniques for accelerating the block Cimmino method - Arioli, Duff, et al. - 1995 |

17 |
A stability analysis of incomplete
- Elman
- 1989
(Show Context)
Citation Context ...actorization process, but in the incomplete factors. Unstable (more accurately, ill-conditioned) ILU factors occur frequently for matrices that are far from symmetric and lack diagonal dominance; see =-=[22]-=-, [10], [4]. For general sparse matrices, it is frequently the case that both kinds of instability occur simultaneously, with a crippling effect on the quality of the preconditioner. In general, the c... |

16 | Numerical experiments with two approximate inverse preconditioners - Benzi, Tuma - 1998 |

15 |
der Vorst, “A parallel linear system solver for circuit simulation problems
- Bomhof, van
- 2000
(Show Context)
Citation Context ...e names to WATSON4a and WATSON5a). The row vector used was e T n =(0,...,0, 1). All diagonal entries are nonzero. The third circuit matrix was kindly provided by Wim Bomhof of Utrecht University; see =-=[8]-=-. This matrix has some zero diagonal entries. All three matrices are very sparse, and they exhibit a good deal of structural symmetry. Finally, we included six matrices from the discretization of PDEs... |

14 | Ordering, anisotropy and factored sparse approximate inverses
- Bridson, WP
- 1999
(Show Context)
Citation Context ...roximate inverse preconditioners in factorized form is sensitive to the ordering of the matrix. For structurally symmetric (or nearly so) matrices having a stable AINV preconditioner, it was shown in =-=[9]-=- and [7] that symmetric reorderings that reduce fill-in in the inverse factors, like minimum degree or (generalized) nested dissection, can be used to improve the performance of the preconditioner. Ho... |

11 |
Preconditioning Techniques for Indefinite and Nonsymmetric Linear Systems
- Saad
- 1988
(Show Context)
Citation Context ...en there are zero or small entries on the main diagonal. As long as A is nonsingular it has (in exact arithmetic) an LU factorization with pivoting, but this is not true for incomplete factorizations =-=[38]-=-. On the other hand, ILU factorizations that are both accurate and stable are possible for diagonally dominant matrices. Because of these and other limitations of ILU-type preconditioners, alternative... |

9 |
Preconditioned iterative methods for sparse linear algebra problems arising in circuit simulation
- McQuain, Melville, et al.
- 1994
(Show Context)
Citation Context ...arge number of reported failures) and that realizing the potential of iterative solvers will require improvements in the reordering and/or preconditioning schemes. Similar conclusions were reached in =-=[33]-=- for the use of iterative methods in circuit simulations. The use of preconditioned Krylov subspace methods for the solution of sparse linear systems arising in economic modeling has been investigated... |

7 | Krylov methods for solving models with forward-looking variables
- Gilli, Pauletto
- 1998
(Show Context)
Citation Context ...of iterative methods in circuit simulations. The use of preconditioned Krylov subspace methods for the solution of sparse linear systems arising in economic modeling has been investigated in [37] and =-=[24]-=-. There the conclusion was that iterative solvers are often superior to direct ones. However, some of the problems could not be solved by iterative methods; see [37]. Preconditioned iterative methods ... |