Recurrence Width for Structured Dense Matrix Vector Multiplication

Matrix-vector multiplication is one of the most fundamental computing primitives that has been studied extensively. Given a matrix A ∈ FN×N and a vector b ∈ FN , it is known that in the worst-caseΘ(N 2) operations over F are needed to compute Ab. Many classes of structured dense matrices have been investigated which can be represented with O(N ) parameters, and for which matrix-vector multiplication can be performed with a sub-quadratic number of operations. One such class of structured matrices that admit near-linear matrix-vector multiplication are the orthogonal polynomial transforms whose rows correspond to a family of orthogonal polynomials. Other well known classes include the Toeplitz, Hankel, Vandermonde, Cauchy matrices and their extensions (e.g. confluent Cauchy-like matrices) which are all special cases of a displacement rank property. In this paper, we identify a notion of recurrence width t of matrices A so that such matrices can be represented with t 2N elements from F. For matrices with constant recurrence width we design algorithms to compute both Ab and AT b with a nearlinear number of operations. This notion of width is finer than all the above classes of structured matrices and thus computes near-linear matrix-vector multiplication for all of them using the same core algorithm. Technically, our work unifies, generalizes, and (we think) simplifies existing state-of-the-art results in structured matrix-vector multiplication. We consider generalizations and variants of this width to other notions that can also be handled by the same core algorithms. Finally, we show how applications in disparate areas such as multipoint evaluations of multivariate polynomials and computing linear sequences can be reduced to problems involving low recurrence width matrices.

[1]  Ronald F. Boisvert,et al.  NIST Handbook of Mathematical Functions , 2010 .

[2]  V. Pan Structured Matrices and Polynomials: Unified Superfast Algorithms , 2001 .

[3]  Mario Tirelli,et al.  Linear Difference Equations , 2018, Linear Mathematical Models in Chemical Engineering.

[4]  Shubhangi Saraf,et al.  High-rate codes with sublinear-time decoding , 2011, STOC '11.

[5]  T. Apostol Introduction to analytic number theory , 1976 .

[6]  I. Gohberg,et al.  Complexity of multiplication with vectors for structured matrices , 1994 .

[7]  Victor Y. Pan,et al.  Nearly optimal computations with structured matrices , 2014, Theor. Comput. Sci..

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

[9]  Shubhangi Saraf,et al.  High-rate codes with sublinear-time decoding , 2014, Electron. Colloquium Comput. Complex..

[10]  Erich Kaltofen,et al.  On Wiedemann's Method of Solving Sparse Linear Systems , 1991, AAECC.

[11]  E. Putzer Avoiding the Jordan Canonical Form in the Discussion of Linear Systems with Constant Coefficients , 1966 .

[12]  V. Pan,et al.  Polynomial and Matrix Computations , 1994, Progress in Theoretical Computer Science.

[13]  Charles M. Fiduccia,et al.  An Efficient Formula for Linear Recurrences , 1985, SIAM J. Comput..

[14]  D. Zeilberger A holonomic systems approach to special functions identities , 1990 .

[15]  Christopher Umans,et al.  Fast Polynomial Factorization and Modular Composition , 2011, SIAM J. Comput..

[16]  Erich Kaltofen,et al.  On fast multiplication of polynomials over arbitrary algebras , 1991, Acta Informatica.

[17]  Zhengjun Cao,et al.  On Fast Division Algorithm for Polynomials Using Newton Iteration , 2012, ICICA.

[18]  Swastik Kopparty,et al.  List-Decoding Multiplicity Codes , 2012, Theory Comput..

[19]  H. T. Kung,et al.  Fast Algorithms for Manipulating Formal Power Series , 1978, JACM.

[20]  Israel Gohberg,et al.  Computations with quasiseparable polynomials and matrices , 2008, Theor. Comput. Sci..

[21]  Or Meir,et al.  High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity , 2016, STOC.

[22]  Martin Ziegler,et al.  Fast Multipoint Evaluation of Bivariate Polynomials , 2004, ESA.

[23]  P. Hartman A lemma in the theory of structural stability of differential equations , 1960 .

[24]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[25]  David Harvey,et al.  A multimodular algorithm for computing Bernoulli numbers , 2008, Math. Comput..

[26]  Pascal Giorgi,et al.  On Polynomial Multiplication in Chebyshev Basis , 2010, IEEE Transactions on Computers.

[27]  G. Golub,et al.  A bibliography on semiseparable matrices* , 2005 .

[28]  Venkatesan Guruswami,et al.  Improved decoding of Reed-Solomon and algebraic-geometry codes , 1999, IEEE Trans. Inf. Theory.

[29]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .

[30]  Amin Shokrollahi,et al.  Matrix-vector product for confluent Cauchy-like matrices with application to confluent rational interpolation , 2000, STOC '00.

[31]  V. Olshevsky,et al.  Classifications of Recurrence Relations via Subclasses of ( H , m )-quasiseparable Matrices , 2011 .

[32]  Amin Shokrollahi,et al.  A displacement approach to efficient decoding of algebraic-geometric codes , 1999, STOC '99.

[33]  Dennis M. Healy,et al.  Fast Discrete Polynomial Transforms with Applications to Data Analysis for Distance Transitive Graphs , 1997, SIAM J. Comput..

[34]  Chee-Keng Yap,et al.  Fundamental problems of algorithmic algebra , 1999 .

[35]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[36]  J. Tukey,et al.  An algorithm for the machine calculation of complex Fourier series , 1965 .

[37]  Ali H. Sayed,et al.  Displacement Structure: Theory and Applications , 1995, SIAM Rev..

[38]  M. Morf,et al.  Displacement ranks of matrices and linear equations , 1979 .

[39]  A. Gerasoulis A fast algorithm for the multiplication of generalized Hilbert matrices with vectors , 1988 .

[40]  H. O. Foulkes Abstract Algebra , 1967, Nature.

[41]  Philipp Birken,et al.  Numerical Linear Algebra , 2011, Encyclopedia of Parallel Computing.

[42]  Ce Zhang,et al.  Predicting non-small cell lung cancer prognosis by fully automated microscopic pathology image features , 2016, Nature Communications.

[43]  M. Anshelevich,et al.  Introduction to orthogonal polynomials , 2003 .