Research Article | Open Access
Modular Analysis of Sequential Solution Methods for Almost Block Diagonal Systems of Equations
Almost block diagonal linear systems of equations can be exemplified by two modules. This makes it possible to construct all sequential forms of band and/or block elimination methods. It also allows easy assessment of the methods on the basis of their operation counts, storage needs, and admissibility of partial pivoting. The outcome of the analysis and implementation is to discover new methods that outperform a well-known method, a modification of which is, therefore, advocated.
Systems of equations with almost block diagonal (ABD) matrix of coefficients are frequently encountered in numerical solutions of sets of ordinary or partial differential equations. Several such situations were described by Amodio et al. , who also reviewed sequential and parallel solvers to ABD systems and came to the conclusion that sequential solution methods needed little further study.
Traditionally, sequential solution methods of ABD systems performed decompositions of the matrix of coefficients through either band (scalar) elimination or block tridiagonal elimination. The famous COLROW algorithm , which is highly regarded for its performance, was incorporated in several applications [3–7]. It utilizes Lam’s alternating column/row pivoting  and Varah’s correspondingly alternating column/row scalar elimination . The efficient block tridiagonal methods included Keller’s Block Tridiagonal Row (BTDR) elimination method [10, Section 5, case i] and El-Mistikawy’s Block Tridiagonal Column (BTDC) elimination method . Both methods could apply a suitable form of Keller’s mixed pivoting strategy , which is more expensive than Lam’s.
The present paper is intended to explore other variants of the decomposition of . It does not follow the traditional approaches of treating the matrix of coefficients as a banded matrix or casting it into a block tridiagonal form. It, rather, adopts a new approach, modular analysis, which offers a simple and unified way of expressing and assessing solution methods for ABD systems.
The matrix of coefficients (or, more specifically, its significant part containing the nonzero blocks) is disassembled into an ordered set of modules. (In fact, two different sets of modules are identified.) Each module is an entity that has a head and a tail. By arranging the modules in such a way that the head of a module is added to the tail of the next, the significant part of can be reassembled. The module exemplifies the matrix, but is much easier to analyze.
All possible methods of decomposition of could be formulated as decompositions of . This led to the discovery of two new promising methods: Block Column/Block Row (BCBR) Elimination and Block Column/Scalar Row (BCSR) Elimination.
The validity and stability of the elimination methods are of primary concern to both numerical analysts and algorithm users. Validity means that division by a zero is never encountered, whereas stability guards against round-off-error growth. To insure validity and achieve stability, pivoting is called for . Full pivoting is computationally expensive requiring full two-dimensional search for the pivots. Moreover, it destroys the banded form of the matrix of coefficients. Partial pivoting strategies, though potentially less stable, are considerably less expensive. Unidirectional (row or column) pivoting makes a minor change to the form of by introducing few extraneous elements. Lam’s alternating pivoting , which involves alternating sequences of row pivoting and column pivoting, maintains the form of . When is nonsingular, Lam’s pivoting guarantees validity, and if followed by correspondingly alternating elimination it produces multipliers that are bounded by unity, thus enhancing stability. This approach was proposed by Varah  in his decomposition method. It was developed afterwards into a more efficient version—termed here Scalar Column/Scalar Row (SCSR) Elimination—that was adopted by the COLROW solver .
The present approach of modular analysis shows that Lam’s pivoting (with Varah’s arrangement) applies to the BCBR and BCSR elimination methods, as well. It even applies to the two block tridiagonal elimination methods BTDR and BTDC, contrary to the common belief. A more robust, though more expensive strategy, Local Pivoting, is also identified. It performs full pivoting over the same segments of (or ) to which Lam’s pivoting is applied. Keller’s mixed pivoting  is midway between Lam’s and local pivoting.
Modular analysis also allows easy estimation of the operation counts and storage needs, revealing the method with the best performance on each account. The method having the least operation count is BCBR elimination, whereas the method requiring the least storage is BTDC elimination . Both methods achieve savings of leading order importance, for large block sizes, in comparison with other methods.
Based on the previous assessment, and realizing that programming factors might affect the performance, four competing elimination methods were implemented. The COLROW algorithm, which was designed to give SCSR elimination its best performance, was modified to perform BTDC, BCBR, or BCSR elimination, instead. The four methods were applied to the same problems, and the execution times were recorded. BCSR elimination proved to be an effective modification to the COLROW algorithm.
2. Problem Description
Consider the almost block diagonal system of equations whose augmented matrix of coefficients has the form (1) The blocks with leading characters , , , and have , , , and columns, respectively. The blocks with leading character have columns indicating as many right-hand sides. The trailing character or (and subsequently ) indicates the number of rows of a block or the order of a square matrix such as an identity matrix and a lower or an upper triangular matrix. Blanks indicate zero blocks.
The matrix of unknowns is written, similarly, as where the superscript denotes the transpose.
Such a system of equations results, for example, in the finite difference solution of first order ODEs on a grid of points with conditions at one side to be marked with and conditions at the other side that is to be marked with . Then, each column of the submatrix contains the unknowns of the th grid point, corresponding to a right-hand side.
3. Modular Analysis
The description of the decomposition methods for the augmented matrix of coefficients can be made easy and concise through the introduction of modules of . Two different modules are identified:
The Aligned Module (A-Module) (3) The Displaced Module (D-Module) (4) (For convenience, we will occasionally drop the subscript and/or superscript identifying a module and its components (given later), as well as the subscript identifying its blocks.)
As a rule, the dotted line defines the partitioning to left and right entities. The dashed lines define the partitioning (5) to the following components: the stem , the head , and the fins and .
Each module has a tail . For , which is defined through the head-tail relation (6)
For which is, likewise, defined through the head-tail relation (7)
This makes it possible to construct the significant part of by arranging each set of modules in such a way that the tail of adds to the head of , for . Minor adjustments need only to be invoked at both ends of . Specifically, we define the truncated modules (8)
The head of the module is yet to be defined. It is taken to be related to the other components of by in order to allow for decompositions of having the form (10)
The generic relations , , , and then hold, leading to as defined in (9).
3.1. Elimination Methods
All elimination methods can be expressed in terms of decompositions of the stem . Only those worthy methods that allow alternating column/row pivoting and elimination are presented here. Several inflections of the blocks of are involved and are defined in the appendix section. The sequence in which the blocks are manipulated for: decomposing the stem, processing the fins, and handling the head (evaluating the head and applying the head-tail relation to determine the tail of the succeeding module ), is mentioned along with the equations (from the appendix section) involved. The correctness of the decompositions may be checked by carrying out the matrix multiplications, using the equalities of the appendix section, and comparing with the un-decomposed form of the module.
The following three methods can be generated from either module. They will be given in terms of the aligned module.
3.1.1. Scalar Column/Scalar Row (SCSR) Elimination
This is the method implemented by the COLROW algorithm. It performs scalar decomposition of the stem . The triangular matrices and appear explicitly. If unit diagonal, they are marked with a circumflex : (11)
The following sequence of manipulations applies:Stem: , , , , .Fins: , , , , .Head: , .
3.1.2. Block Column/Block Row (BCBR) Elimination
The method performs block decomposition of the stem , in which the decomposed pivotal blocks and appear: (12)
The following sequence of manipulations applies:Stem:, , , , .Fins:, , .Head:, .
3.1.3. Block Column/Scalar Row (BCSR) Elimination
The method has the decomposition (13)
The following sequence of manipulations applies:Stem:, , , , .Fins:, , , .Head:, .
3.1.4. Block-Tridiagonal Row (BTDR) Elimination
This method can be generated from the aligned module only. It performs the identity decomposition , leading to the decomposition (14)
In [10, Section 5, case (i)], scalar row elimination was used to obtain the decomposed stem . However, can, by now, be obtained by any of the nonidentity (scalar and/or block) decomposition methods given in Sections 3.1.1–3.1.3.
Using SCSR elimination, the following sequence of manipulations applies:Stem:, , , , .Fins:, , , , , .Head:, .
3.1.5. Block-Tridiagonal Column (BTDC) Elimination
This method can be generated from the displaced module only. It performs the identity decomposition , leading to the decomposition (15)
Using SCSR elimination, the following sequence of manipulations applies:Stem:, , , , .Fins:, , , , , .Head:, .
3.2. Solution Procedure
The procedure for solving the matrix equation , which can be described in terms of manipulation of the augmented matrix , can, similarly, be described in terms of manipulation of the augmented module . The manipulation of applies a forward sweep which corresponds to the decomposition that is followed by a backward sweep which corresponds to the decomposition . Similarly, the manipulation of applies a forward sweep involving two steps. The first step performs the decomposition . The second step evaluates the head then applies the head-tail relation to determine the tail of . In a backward sweep, two steps are applied to leading to the solution module . With known, the first step uses in the back substitution relation to contract to . The second step solves for which is equivalent to the decomposition .
3.3. Operation Counts and Storage Needs
The modules introduced previously allow easy evaluation of the elimination methods. The operation counts are measured by the number of multiplications (mul) with the understanding that the number of additions is comparable. The storage needs are measured by the number of locations (loc) required to store arrays calculated in the forward sweep for use in the backward sweep, provided that the elements of are not stored but are generated when needed, as is usually done in the numerical solution of a set of ODEs, for example.
Per module (i.e., per grid point), each method requires, for the manipulation of , as many operations as it requires to manipulate . All methods require (mul) for decomposing the stem, pmn (mul) for evaluating the head, and (mul) to handle the right module . The methods differ only in the operation counts for processing the fins and , with BCBR elimination requiring the least count pmn (mul).
Per module, each method requires as many storage locations as it requires to store . All methods require pr (loc) to store . They differ in the number of locations needed for storing the ’s, with BTDC elimination requiring the least number pn (loc). Note that, in SCSR and BCSR eliminations, square blocks need to be reserved for storing the triangular blocks and/or .
Table 1 contains these information, allowing for clear comparison among the methods. For example, when , BCBR elimination achieves savings in operations that are of leading order significance and , respectively, in the two distinguished limits and , as compared to SCSR elimination.
3.4. Pivoting Strategies
Lam’s alternating pivoting  applies column pivoting to in order to form and decompose a nonsingular pivotal block and applies row pivoting to in order to form and decompose a nonsingular pivotal block . These are valid processes since is of rank m and is of rank , as can be shown following the reasoning of Keller [10, Section 5, Theorem].
To enhance stability further we introduce the Local pivoting strategy which applies full pivoting (maximum pivot strategy) to the segments and . Note that Keller’s mixed pivoting , if interpreted as applying full pivoting to and row pivoting to , is midway between Lam’s and local pivoting.
Lam’s, Keller’s, and local pivoting apply to all elimination methods of Section 3.1. Moreover, in any given problem, each pivoting strategy would produce the same sequence of pivots, regardless of the elimination method in use.
The COLROW algorithm, which is based on SCSR elimination, is modified to perform BTDC, BCBR, or BCSR elimination, instead. As an illustration, the four methods are applied to three systems of equations having the augmented matrix given in (1), with and . The solution procedures are repeated times, so that reasonable execution times can be recorded and compared. All calculations are carried out in double precision via Compaq Visual Fortran (version 6.6) that is optimized for speed, on a Pentium 4 CPU rated at 2 GHz with 750 MB of RAM.
The first system has and . Different combinations of , 9/2, 8/3, 7/4, and 6/5 are considered. The execution times, without pivoting, are given in Table 2. All entries include ≈22 seconds that are required to read, write, and run empty Fortran-Do-Loops. Pivoting requires additional ≈20 seconds in all methods.
The second (third) system has (51) and (104). The execution times, with Lam’s pivoting, are given in Table 3 (4), for different combinations of .
Although the modified COLROW algorithms may not produce the best performances of BTDC, BCBR, and BCSR eliminations, Tables 2, 3, and 4 clearly indicate that they, in some cases (when ), outperform the COLROW algorithm that is designed to give SCSR elimination its best performance.
Using the novel approach of modular analysis, we have analyzed the sequential solution methods for almost block diagonal systems of equations. Two modules have been identified and have made it possible to express and assess all possible band and block elimination methods. On the basis of the operation counts, storage needs, and admissibility of partial pivoting, we have determined four distinguished methods: Block Column/Block Row (BCBR) Elimination (having the least operation count), Block Tridiagonal Column (BTDC) Elimination (having the least storage need), Block Column/Scalar Row (BCSR) elimination, and Scalar Column/Scalar Row (SCSR) elimination (implemented in the well-known COLROW algorithm). Application of these methods within the COLROW algorithm shows that they outperform SCSR elimination, in cases of large top-block/bottom-block row ratio. In such cases, BCSR elimination is advocated as an effective modification to the COLROW algorithm.
In Section 3, two modules, and , of the matrix of coefficients are introduced and decomposed to generate the elimination methods. The process involves inflections of the blocks of , which proceed for a block , say, according to the following scheme:
The following equalities are to be used to determine the blocks with underscored leading character. The number of multiplications involved is given between braces:
-Blocks -Blocks (decomposed pivotal blocks)
-Blocks and -Blocks
- P. Amodio, J. R. Cash, G. Roussos et al., “Almost block diagonal linear systems: sequential and parallel solution techniques, and applications,” Numerical Linear Algebra with Applications, vol. 7, no. 5, pp. 275–317, 2000.
- J. C. Díaz, G. Fairweather, and P. Keast, “FORTRAN packages for solving certain almost block diagonal linear systems by modified alternate row and column elimination,” ACM Transactions on Mathematical Software, vol. 9, no. 3, pp. 358–375, 1983.
- J. R. Cash and M. H. Wright, “A deferred correction method for nonlinear two-point boundary value problems: implementation and numerical evaluation,” SIAM Journal on Scientific and Statistical Computing, vol. 12, no. 4, pp. 971–989, 1991.
- J. R. Cash, G. Moore, and R. W. Wright, “An automatic continuation strategy for the solution of singularly perturbed linear two-point boundary value problems,” Journal of Computational Physics, vol. 122, no. 2, pp. 266–279, 1995.
- W. H. Enright and P. H. Muir, “Runge-Kutta software with defect control for boundary value ODEs,” SIAM Journal on Scientific Computing, vol. 17, no. 2, pp. 479–497, 1996.
- P. Keast and P. H. Muir, “Algorithm 688: EPDCOL: a more efficient PDECOL code,” ACM Transactions on Mathematical Software, vol. 17, no. 2, pp. 153–166, 1991.
- R. W. Wright, J. R. Cash, and G. Moore, “Mesh selection for stiff two-point boundary value problems,” Numerical Algorithms, vol. 7, no. 2–4, pp. 205–224, 1994.
- D. C. Lam, Implementation of the box scheme and model analysis of diffusion-convection equations. [Ph.D. thesis], University of Waterloo: Waterloo, Ontario, Canada, 1974.
- J. M. Varah, “Alternate row and column elimination for solving certain linear systems,” SIAM Journal on Numerical Analysis, vol. 13, no. 1, pp. 71–75, 1976.
- H. B. Keller, “Accurate difference methods for nonlinear two-point boundary value problems,” SIAM Journal on Numerical Analysis, vol. 11, pp. 305–320, 1974.
- T. M. A. El-Mistikawy, “Solution of Keller's box equations for direct and inverse boundary-layer problems,” AIAA journal, vol. 32, no. 7, pp. 1538–1541, 1994.
- I. S. Duff, A. M. Erisman, and J. K. Reid, Direct Methods for Sparse Matrices, Clarendon Press, Oxford, UK, 1986.
Copyright © 2013 Tarek M. A. El-Mistikawy. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.