Superfast Computations with Singular Structured Matrices over Abstract Fields

An effective superfast divide-and-conquer algorithm of Morf, 1980, and Bitmead and Anderson, 1980, computes the solution x = T −1 b to a strongly non- singular Toeplitz or Toeplitz-like linear system T x = b. The algorithm is called superfast because it runs in almost linear time, versus cubic time of Gaussian elimination and quadratic time of some known faster solutions. Recently, the algorithm was extended to similar superfast computations with n x n Cauchy and Cauchy-like matrices. We use randomization to extend this approach to superfast solution of a singular Cauchy-like linear system of equations over any field of constants and, futhermore, to superfast computation of the rank of a Cauchy-like matrix and a basis for its null space. We also ameliorate slightly Kaltofen’s superfast solver of singular Toeplitz-like linear systems in an arbitrary field. The algorithms can be easily extended to similar computations with singular Hankel-like and Vandermonde-like matrices. The applications include rational and polynomial interpolation, Pade approximation and decoding Reed-Solomon and algebraic-geometric codes.

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

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

[3]  V. Pan PARAMETRIZATION OF NEWTON'S ITERATION FOR COMPUTATIONS WITH STRUCTURED MATRICES AND APPLICATIONS , 1992 .

[4]  Martin Morf,et al.  Doubling algorithms for Toeplitz and related equations , 1980, ICASSP.

[5]  B. Anderson,et al.  Asymptotically fast solution of toeplitz and related systems of linear equations , 1980 .

[6]  Madhu Sudan,et al.  Decoding of Reed Solomon Codes beyond the Error-Correction Bound , 1997, J. Complex..

[7]  V. Pan,et al.  Polynomial and matrix computations (vol. 1): fundamental algorithms , 1994 .

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

[9]  V. Strassen Gaussian elimination is not optimal , 1969 .

[10]  Victor Y. Pan,et al.  New transformations of Cauchy matrices and Trummer's problem , 1998 .

[11]  Victor Y. Pan,et al.  Improved parallel computations with Toeplitz-like and Hankel-like matrices☆☆☆ , 1993 .

[12]  E. Kaltofen Analysis of Coppersmith's block Wiedemann algorithm for the parallel solution of sparse linear systems , 1995 .

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

[14]  Victor Y. Pan,et al.  A unified superfast algorithm for boundary rational tangential interpolation problems and for inversion and factorization of dense structured matrices , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[15]  A. Bultheel Polynomial and matrix computations. volume 1:Fundamental algorithms : Dario Bini and Victor Pan Progress in Theoretical Computer Science, Birkhäuser, 1994, xvi + 415 pages , 1994 .

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

[17]  Richard J. Lipton,et al.  A Probabilistic Remark on Algebraic Program Testing , 1978, Inf. Process. Lett..

[18]  Gene H. Golub,et al.  Matrix computations , 1983 .

[19]  Amin Shokrollahi,et al.  Decoding algebraic-geometric codes beyond the error-correction bound , 1998, STOC '98.

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

[21]  V. Pan On computations with dense structured matrices , 1990 .

[22]  M. Morf Fast Algorithms for Multivariable Systems , 1974 .