Computing f(A)b via Least Squares Polynomial Approximations

Given a certain function $f$, various methods have been proposed in the past for addressing the important problem of computing the matrix-vector product $f(A)b$ without explicitly computing the matrix $f(A)$. Such methods were typically developed for a specific function $f$, a common case being that of the exponential. This paper discusses a procedure based on least squares polynomials that can, in principle, be applied to any (continuous) function $f$. The idea is to start by approximating the function by a spline of a desired accuracy. Then a particular definition of the function inner product is invoked that facilitates the computation of the least squares polynomial to this spline function. Since the function is approximated by a polynomial, the matrix $A$ is referenced only through a matrix-vector multiplication. In addition, the choice of the inner product makes it possible to avoid numerical integration. As an important application, we consider the case when $f(t)=\sqrt{t}$ and $A$ is a sparse, symmetric positive-definite matrix, which arises in sampling from a Gaussian process distribution. The covariance matrix of the distribution is defined by using a covariance function that has a compact support, at a very large number of sites that are on a regular or irregular grid. We derive error bounds and show extensive numerical results to illustrate the effectiveness of the proposed technique.

[1]  G. Golub,et al.  Some large-scale matrix computation problems , 1996 .

[2]  P. Petrushev,et al.  Rational Approximation of Real Functions , 1988 .

[3]  Cleve B. Moler,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later , 1978, SIAM Rev..

[4]  I. Moret,et al.  RD-Rational Approximations of the Matrix Exponential , 2004 .

[5]  Mihai Anitescu,et al.  Efficient sampling for spatial uncertainty quantification in multibody system dynamics applications , 2009 .

[6]  M. Hutchinson A stochastic estimator of the trace of the influence matrix for laplacian smoothing splines , 1989 .

[7]  Nicholas J. Higham,et al.  Computing AAlpha, log(A), and Related Matrix Functions by Contour Integrals , 2008, SIAM J. Numer. Anal..

[8]  Philip I. Davies,et al.  Computing f (A)b for matrix functions f , 2005 .

[9]  Marlis Hochbruck,et al.  Preconditioning Lanczos Approximations to the Matrix Exponential , 2005, SIAM J. Sci. Comput..

[10]  T. J. Rivlin An Introduction to the Approximation of Functions , 2003 .

[11]  Roger Woodard,et al.  Interpolation of Spatial Data: Some Theory for Kriging , 1999, Technometrics.

[12]  Douglas W. Nychka,et al.  Covariance Tapering for Likelihood-Based Estimation in Large Spatial Data Sets , 2008 .

[13]  Y. Saad,et al.  Iterative Solution of Indefinite Symmetric Linear Systems by Methods Using Orthogonal Polynomials over Two Disjoint Intervals , 1983 .

[14]  J. Baglama,et al.  Numerical approximation of the product of the square root of a matrix with a vector , 2000 .

[15]  M. Eiermann,et al.  Implementation of a restarted Krylov subspace method for the evaluation of matrix functions , 2008 .

[16]  I. Moret,et al.  THE COMPUTATION OF FUNCTIONS OF MATRICES BY TRUNCATED FABER SERIES , 2001 .

[17]  L. Knizhnerman,et al.  Extended Krylov Subspaces: Approximation of the Matrix Square Root and Related Functions , 1998, SIAM J. Matrix Anal. Appl..

[18]  Marco Vianello,et al.  Efficient approximation of the exponential operator for discrete 2D advection–diffusion problems , 2003, Numer. Linear Algebra Appl..

[19]  G. Golub,et al.  Matrices, Moments and Quadrature with Applications , 2009 .

[20]  Oliver G. Ernst,et al.  A Restarted Krylov Subspace Method for the Evaluation of Matrix Functions , 2006, SIAM J. Numer. Anal..

[21]  Valeria Simoncini,et al.  A new investigation of the extended Krylov subspace method for matrix function evaluations , 2009, Numer. Linear Algebra Appl..

[22]  Ronald P. Barry,et al.  Monte Carlo estimates of the log determinant of large sparse matrices , 1999 .

[23]  C. R. Dietrich,et al.  Fast and Exact Simulation of Stationary Gaussian Processes through Circulant Embedding of the Covariance Matrix , 1997, SIAM J. Sci. Comput..

[24]  Timothy A. Davis,et al.  The university of Florida sparse matrix collection , 2011, TOMS.

[25]  Yousef Saad,et al.  Filtered Conjugate Residual-type Algorithms with Applications , 2006, SIAM J. Matrix Anal. Appl..

[26]  Victor M. Zavala,et al.  Unit Commitment With Wind Power Generation: Integrating Wind Forecast Uncertainty and Stochastic Programming. , 2009 .

[27]  P. Fischer,et al.  Petascale algorithms for reactor hydrodynamics , 2008 .

[28]  Frédéric Guyomarc'h,et al.  Least-Squares Polynomial Filters for Ill-Conditioned Linear Systems , 2001 .

[29]  D. Nychka,et al.  Covariance Tapering for Interpolation of Large Spatial Datasets , 2006 .

[30]  C. Lubich,et al.  On Krylov Subspace Approximations to the Matrix Exponential Operator , 1997 .

[31]  H. V. D. Vorst,et al.  An iterative solution method for solving f ( A ) x = b , using Krylov subspace information obtained for the symmetric positive definite matrix A , 1987 .

[32]  L. Knizhnerman,et al.  Two polynomial methods of calculating functions of symmetric matrices , 1991 .

[33]  Goodman,et al.  Multigrid Monte Carlo method. Conceptual foundations. , 1989, Physical review. D, Particles and fields.

[34]  Stefan Güttel,et al.  A generalization of the steepest descent method for matrix functions , 2008 .

[35]  Marlis Hochbruck,et al.  Exponential Integrators for Large Systems of Differential Equations , 1998, SIAM J. Sci. Comput..

[36]  N. Higham,et al.  Computing A, log(A) and Related Matrix Functions by Contour Integrals , 2007 .

[37]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[38]  ANDREAS FROMMER,et al.  Stopping Criteria for Rational Matrix Functions of Hermitian and Symmetric Matrices , 2008, SIAM J. Sci. Comput..

[39]  Gene H. Golub,et al.  Matrices, moments, and quadrature , 2007, Milestones in Matrix Computation.

[40]  Y. Saad Analysis of some Krylov subspace approximations to the matrix exponential operator , 1992 .

[41]  Yousef Saad,et al.  Efficient Solution of Parabolic Equations by Krylov Approximation Methods , 1992, SIAM J. Sci. Comput..

[42]  R. A. Silverman,et al.  Special functions and their applications , 1966 .

[43]  Andrew Canning Scalable Parallel 3d FFTs for Electronic Structure Codes , 2008, VECPAR.

[44]  P. Novati A polynomial method based on Fejèr points for the computation of functions of unsymmetric matrices , 2003 .

[45]  Daniel P. Simpson Krylov subspace methods for approximating functions of symmetric positive definite matrices with applications to applied statistics and anomalous diffusion , 2008 .

[46]  Henk A. van der Vorst,et al.  Solution of f(A)x = b with projection methods for the matrix A , 2000 .

[47]  Nicholas J. Higham,et al.  Functions of matrices - theory and computation , 2008 .