Hierarchical matrix

In numerical mathematics, hierarchical matrices (H-matrices) [1] [2] [3] are used as data-sparse approximations of non-sparse matrices. While a sparse matrix of dimension n can be represented efficiently in O(n) units of storage by storing only its non-zero entries, a non-sparse matrix would require O(n^2) units of storage, and using this type of matrices for large problems would therefore be prohibitively expensive in terms of storage and computing time. Hierarchical matrices provide an approximation requiring only O(n k\,\log(n)) units of storage, where k is a parameter controlling the accuracy of the approximation. In typical applications, e.g., when discretizing integral equations [4] [5] [6] [7] or solving elliptic partial differential equations [8] [9] [10] a rank proportional to \log(1/\epsilon)^\gamma with a small constant \gamma is sufficient to ensure an accuracy of \epsilon. Compared to many other data-sparse representations of non-sparse matrices, hierarchical matrices offer a major advantage: the results of matrix arithmetic operations like matrix multiplication, factorization or inversion can be approximated in O(n k^\alpha\,\log(n)^\beta) operations, where \alpha,\beta\in\{1,2,3\}.[11]

Basic idea

Hierarchical matrices rely on local low-rank approximations: let I,J be index sets, and let G\in{\mathbb R}^{I\times J} denote the matrix we have to approximate. In many applications (see above), we can find subsets t\subseteq I,s\subseteq J such that G|_{t\times s} can be approximated by a rank-k matrix. This approximation can be represented in factorized form G|_{t\times s}\approx A B^* with factors A\in{\mathbb R}^{t\times k},B\in{\mathbb R}^{s\times k}. While the standard representation of the matrix G|_{t\times s} requires O((\#t)(\#s)) units of storage, the factorized representation requires only O(k(\#t+\#s)) units. If k is not too large, the storage requirements are reduced significantly.

In order to approximate the entire matrix G, it is split into a family of submatrices. Large submatrices are stored in factorized representation, while small submatrices are stored in standard representation in order to improve the efficiency.

Low-rank matrices are closely related to degenerate expansions used in panel clustering and the fast multipole method to approximate integral operators. In this sense, hierarchical matrices can be considered the algebraic counterparts of these techniques.

Application to integral operators

Hierarchical matrices are successfully used to treat integral equations, e.g., the single and double layer potential operators appearing in the boundary element method. A typical operator has the form

{\mathcal G}[u](x) = \int_\Omega \kappa(x,y) u(y) \,dy.

The Galerkin method leads to matrix entries of the form

g_{ij} = \int_\Omega \int_\Omega \kappa(x,y) \varphi_i(x) \psi_j(y) \,dy\,dx,

where (\varphi_i)_{i\in I} and (\psi_j)_{j\in J} are families of finite element basis functions. If the kernel function \kappa is sufficiently smooth, we can approximate it by polynomial interpolation to obtain

\tilde\kappa(x,y) = \sum_{\nu=1}^k \kappa(x,\xi_\nu) \ell_\nu(y),

where (\xi_\nu)_{\nu=1}^k is the family of interpolation points and (\ell_\nu)_{\nu=1}^k is the corresponding family of Lagrange polynomials. Replacing \kappa by \tilde\kappa yields an approximation

\tilde g_{ij} = \int_\Omega \int_\Omega \tilde\kappa(x,y) \varphi_i(x) \psi_j(y) \,dy\,dx
      = \sum_{\nu=1}^k \int_\Omega \kappa(x,\xi_\nu) \varphi_i(x) \,dx
                       \int_\Omega \ell_\nu(y) \psi_j(y) \,dy
      = \sum_{\nu=1}^k a_{i\nu} b_{j\nu}

with the coefficients

 a_{i\nu} = \int_\Omega \kappa(x,\xi_\nu) \varphi_i(x) \,dx,
 b_{j\nu} = \int_\Omega \ell_\nu(y) \psi_j(y) \,dy.

If we choose t\subseteq I,s\subseteq J and use the same interpolation points for all i\in t,j\in s, we obtain G|_{t\times s} \approx A B^*.

Obviously, any other approximation separating the variables x and y, e.g., the multipole expansion, would also allow us to split the double integral into two single integrals and thus arrive at a similar factorized low-rank matrix.

Of particular interest are cross approximation techniques [5] [6] [12] that use only the entries of the original matrix G to construct a low-rank approximation.

Application to elliptic partial differential equations

Since the solution operator of an elliptic partial differential equation can be expressed as an integral operator involving Green's function, it is not surprising that the inverse of the stiffness matrix arising from the finite element method can be approximated by a hierarchical matrix.

Green's function depends on the shape of the computational domain, therefore it is usually not known. Nevertheless, approximate arithmetic operations can be employed to compute an approximate inverse without knowing the function explicitly.

Surprisingly, it is possible to prove[8][9] that the inverse can be approximated even if the differential operator involves non-smooth coefficients and Green's function is therefore not smooth.

Arithmetic operations

The most important innovation of the hierarchical matrix method is the development of efficient algorithms for performing (approximate) matrix arithmetic operations on non-sparse matrices, e.g., to compute approximate inverses, LU decompositions and solutions to matrix equations.

The central algorithm is the efficient matrix-matrix multiplication, i.e., the computation of Z = Z + \alpha X Y for hierarchical matrices X,Y,Z and a scalar factor \alpha. The algorithm requires the submatrices of the hierarchical matrices to be organized in a block tree structure and takes advantage of the properties of factorized low-rank matrices to compute the updated Z in O(n k^2\,\log(n)^2) operations.

Taking advantage of the block structure, the inverse can be computed by using recursion to compute inverses and Schur complements of diagonal blocks and combining both using the matrix-matrix multiplication. In a similar way, the LU decomposition [13] [14] can be constructed using only recursion and multiplication. Both operations also require O(n k^2\,\log(n)^2) operations.

H2-matrices

In order to treat very large problems, the structure of hierarchical matrices can be improved: H2-matrices [15] [16] replace the general low-rank structure of the blocks by a hierarchical representation closely related to the fast multipole method in order to reduce the storage complexity to O(n k).

In the context of boundary integral operators, replacing the fixed rank k by block-dependent ranks leads to approximations that preserve the rate of convergence of the underlying boundary element method at a complexity of O(n).[17][18]

Literature

  1. W. Hackbusch, A sparse matrix arithmetic based on H-matrices. Part I: Introduction to H-matrices, Computing (1999), 62:89–108
  2. M. Bebendorf, Hierarchical matrices: A means to efficiently solve elliptic boundary value problems, Springer (2008)
  3. W. Hackbusch, Hierarchische Matrizen. Algorithmen und Analysis, Springer (2009)
  4. W. Hackbusch and B. N. Khoromskij, A sparse H-Matrix Arithmetic. Part II: Application to Multi-Dimensional Problems, Computing (2000), 64:21–47
  5. 1 2 M. Bebendorf, Approximation of boundary element matrices, Num. Math. (2000), 86:565--589
  6. 1 2 M. Bebendorf and S. Rjasanow, Adaptive low-rank approximation of collocation matrices, Computing (2003), 70:1–24
  7. S. Börm and L. Grasedyck, Hybrid cross approximation of integral operators, Num. Math. (2005), 101:221–249
  8. 1 2 M. Bebendorf and W. Hackbusch, Existence of H-matrix approximants to the inverse FE-matrix of elliptic operators with L^\infty-coefficients, Num. Math. (2003), 95:1–28
  9. 1 2 S. Börm, Approximation of solution operators of elliptic partial differential equations by H- and H2-matrices, Num. Math. (2010), 115:165193
  10. M. Faustmann, J. M. Melenk and D. Praetorius, H-matrix approximability of the inverses of FEM matrices, to appear in Num. Math., preprint available at arXiv.org
  11. L. Grasedyck and W. Hackbusch, Construction and Arithmetics of H-Matrices, Computing (2003), 70:295–334
  12. E. Tyrtyshnikov, Incomplete cross approximation in the mosaic-skeleton method, Computing (2000), 64:367–380
  13. M. Bebendorf, Why finite element discretizations can be factored by triangular hierarchical matrices, SIAM J. Num. Anal. (2007), 45:14721494
  14. L. Grasedyck, R. Kriemann and S. Le Borne, Domain decomposition based H-LU preconditioning, Num. Math. (2009), 112:565600
  15. W. Hackbusch, B. N. Khoromskij and S. A. Sauter, On H2-matrices, Lectures on Applied Mathematics (2002), 9–29
  16. S. Börm, Efficient Numerical Methods for Non-local Operators: H2-Matrix Compression, Algorithms and Analysis, EMS Tracts in Mathematics 14 (2010)
  17. S. A. Sauter, Variable order panel clustering, Computing (2000), 64:223–261
  18. S. Börm and S. A. Sauter, BEM with linear complexity for the classical boundary integral operators, Math. Comp. (2005), 74:1139–1177

Software

HLib is a C software library implementing the most important algorithms for hierarchical and {\mathcal H}^2-matrices.

AHMED is a C++ software library that can be downloaded for educational purposes.

HLIBpro is an implementation of the core hierarchical matrix algorithms for commercial applications.

H2Lib is an open source implementation of hierarchical matrix algorithms intended for research and teaching.

awesome-hierarchical-matrices is a repository containing a list of other H-Matrices implementations.

This article is issued from Wikipedia - version of the Monday, February 02, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.