Decay Bounds for Functions of Hermitian Matrices with Banded or Kronecker Structure

We present decay bounds for completely monotonic functions of Hermitian matrices, where the matrix argument is banded or a Kronecker sum of banded matrices. This class includes the exponential, the negative fractional roots, and other functions that are important in applications. Besides being significantly tighter than previous estimates, the new bounds closely capture the actual (nonmonotonic) decay behavior of the entries of functions of matrices with Kronecker sum structure. We also discuss extensions to more general sparse matrices.

[1]  V. Eijkhout,et al.  Decay rates of inverses of banded M-matrices that are near to Toeplitz matrices , 1988 .

[2]  Michele Benzi,et al.  Decay Properties of Spectral Projectors with Applications to Electronic Structure , 2012, SIAM Rev..

[3]  Stefan Güttel,et al.  A black-box rational Arnoldi variant for Cauchy–Stieltjes matrix functions , 2013 .

[4]  Thomas Strohmer.  Four short stories about Toeplitz matrix calculations , 2000 .

[5]  Karlheinz Gröchenig,et al.  Noncommutative Approximation: Inverse-Closed Subalgebras and Off-Diagonal Decay of Matrices , 2009, 0904.0386.

[6]  E. E. TYRTYSHNIKOV.  DECAY IN FUNCTIONS OF MULTI-BAND MATRICES , 2009 .

[7]  J. Eisert,et al.  Entanglement-area law for general bosonic harmonic lattice systems (14 pages) , 2005, quant-ph/0505092.

[8]  N. Del Buono,et al.  Computation of the Exponential of Large Sparse Skew-Symmetric Matrices , 2005, SIAM J. Sci. Comput..

[9]  Анатолий Григорьевич Баскаков,et al.  Оценки элементов обратных матриц и спектральный анализ линейных операторов@@@Estimates for the entries of inverse matrices and the spectral analysis of linear operators , 1997 .

[10]  S. Bernstein,et al.  Sur les fonctions absolument monotones , 1929 .

[11]  Vladimir Druskin,et al.  Krylov subspace approximation of eigenpairs and matrix functions in exact and computer arithmetic , 1995, Numer. Linear Algebra Appl..

[12]  D. Kershaw.  Inequalities on the elements of the inverse of a certain tridiagonal matrix , 1970 .

[13]  Mark F. Horstemeyer,et al.  Electronic Structure Calculations , 2012 .

[14]  M. Benzi,et al.  DECAY BOUNDS AND ( ) ALGORITHMS FOR APPROXIMATING FUNCTIONS OF SPARSE MATRICES , 2007 .

[15]  A. Baskakov,et al.  Wiener's theorem and the asymptotic estimates of the elements of inverse matrices , 1990 .

[16]  Qiang Ye,et al.  Error Bounds for the Lanczos Methods for Approximating Matrix Exponentials , 2013, SIAM J. Numer. Anal..

[17]  Aleksandar Haber,et al.  Sparse solution of the Lyapunov equation for large-scale interconnected systems , 2014, Autom..

[18]  Meiyue Shao.  On the finite section method for computing exponentials of doubly-infinite skew-Hermitian matrices , 2014 .

[19]  Thomas Strohmer,et al.  Localization of Matrix Factorizations , 2013, Found. Comput. Math..

[20]  Arieh Iserles.  How Large is the Exponential of a Banded Matrix , 1999 .

[21]  G. Golub,et al.  Bounds for the Entries of Matrix Functions with Applications to Preconditioning , 1999 .

[22]  D. Bowler,et al.  O(N) methods in electronic structure calculations. , 2011, Reports on progress in physics. Physical Society.

[23]  Gérard Meurant,et al.  A Review on the Inverse of Symmetric Tridiagonal and Block Tridiagonal Matrices , 1992, SIAM J. Matrix Anal. Appl..

[24]  William F. Moss,et al.  Decay rates for inverses of band matrices , 1984 .

[25]  Lin Lin,et al.  Localized spectrum slicing , 2014, Math. Comput..

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

[27]  Michael K. Ng,et al.  Decay in Functions of Multiband Matrices , 2010, SIAM J. Matrix Anal. Appl..

[28]  Claudio Canuto,et al.  Contraction and Optimality Properties of an Adaptive Legendre–Galerkin Method: The Multi-Dimensional Case , 2012, J. Sci. Comput..

[29]  D. Widder,et al.  The Laplace Transform , 1943, The Mathematical Gazette.

[30]  Jo Eidsvik,et al.  Parameter estimation in high dimensional Gaussian distributions , 2011, Stat. Comput..

[31]  Stéphane Jaffard.  Propriétés des matrices « bien localisées » près de leur diagonale et quelques applications , 1990 .

[32]  J. Eisert,et al.  Colloquium: Area laws for the entanglement entropy , 2010 .

[33]  J. Eisert,et al.  Correlations, spectral gap and entanglement in harmonic quantum systems on generic lattices , 2005, quant-ph/0509167.

[34]  B. Meini,et al.  Computing the exponential of large block-triangular block-Toeplitz matrices encountered in fluid queues , 2015, 1502.07533.

[35]  Henri Poincaré,et al.  Sur un théorème de M. Fuchs , 1885 .

[36]  Milan Merkle,et al.  Completely Monotone Functions: A Digest , 2012, 1211.0900.

[37]  R. Varga.  Nonnegatively posed problems and completely monotonic functions , 1968 .

[38]  Luca G Molinari,et al.  Identities and exponential bounds for transfer matrices , 2012, 1210.8001.

[39]  P. Lancaster.  Explicit Solutions of Linear Matrix Equations , 1970 .

[40]  Christian Heyerdahl-Larsen,et al.  Correlations , 2013 .

[41]  M. Benzi,et al.  Decay properties for functions of matrices over C⁎-algebras , 2013, 1307.7119.

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

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

[44]  C. Canuto,et al.  On the decay of the inverse of matrices that are sum of Kronecker products , 2013, 1312.6631.

[45]  D. Jaksch,et al.  An exact formulation of the time-ordered exponential using path-sums , 2014, 1410.6637.

[46]  Beatrice Meini,et al.  Numerical methods for structured Markov chains , 2005 .

[47]  J. Eisert,et al.  Area laws for the entanglement entropy - a review , 2008, 0808.3773.

[48]  R. Freund,et al.  On polynomial approximations to fa(Z)(z-a)−1 with complex a and some applications to certain non-hermitian matrices , 1989 .

[49]  S. Demko.  Inverses of Band Matrices and Local Convergence of Spline Projections , 1977 .

[50]  Karlheinz Gröchenig,et al.  Symmetry and inverse-closedness of matrix algebras and functional calculus for infinite matrices , 2006 .

[51]  A. Baskakov,et al.  Estimates for the entries of inverse matrices and the spectral analysis of linear operators , 1997 .