Abstract

For matrices with displacement structure, basic operations like multiplication, inversion, and linear system solving can all be expressed in terms of the following task: evaluate the product $AB$, where $A$ is a structured $n \times n$ matrix of displacement rank $\alpha$, and $B$ is an arbitrary $n\times\alpha$ matrix. Given $B$ and a so-called generator of $A$, this product is classically computed with a cost ranging from $O(\alpha^2 \mathscr{M}(n))$ to $O(\alpha^2 \mathscr{M}(n)\log(n))$ arithmetic operations, depending on the type of structure of $A$; here, $\mathscr{M}$ is a cost function for polynomial multiplication. In this paper, we first generalize classical displacement operators, based on block diagonal matrices with companion diagonal blocks, and then design fast algorithms to perform the task above for this extended class of structured matrices. The cost of these algorithms ranges from $O(\alpha^{\omega-1} \mathscr{M}(n))$ to $O(\alpha^{\omega-1} \mathscr{M}(n)\log(n))$, with $\omega$ such that two $n \times n$ matrices can be multiplied using $O(n^\omega)$ ring operations. By combining this result with classical randomized regularization techniques, we obtain faster Las Vegas algorithms for structured inversion and linear system solving.

Keywords

  1. structured linear algebra
  2. matrix multiplication
  3. computational complexity

MSC codes

  1. 65F05
  2. 68Q25

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
A. V. Aho, K. Steiglitz, and J. D. Ullman, Evaluating polynomials at fixed sets of points, SIAM J. Comput., 4 (1975), pp. 533--539.
2.
D. Bini and V. Y. Pan, Polynomial and Matrix Computations, Volume 1: Fundamental Algorithms, Birkhäuser, Boston, 1994.
3.
R. R. Bitmead and B. D. O. Anderson, Asymptotically fast solution of Toeplitz and related systems of linear equations, Linear Algebra Appl., 34 (1980), pp. 103--116.
4.
A. Bostan, C.-P. Jeannerod, and É. Schost, Solving structured linear systems with large displacement rank, Theoret. Comput. Sci., 407 (2008), pp. 155--181.
5.
A. Bostan, G. Lecerf, B. Salvy, É. Schost, and B. Wiebelt, Complexity issues in bivariate polynomial factorization, in Proceedings of ISSAC'04, ACM Press, 2004, pp. 42--49.
6.
A. Bostan, G. Lecerf, and É. Schost, Tellegen's principle into practice, in Proceedings of ISSAC'03, ACM Press, 2003, pp. 37--44.
7.
A. Bostan and É. Schost, Polynomial evaluation and interpolation on special sets of points, J. Complexity, 21 (2005), pp. 420--446.
8.
P. Bürgisser, M. Clausen, and A. Shokrollahi, Algebraic Complexity Theory, Springer, New York, 1997.
9.
M. F. I. Chowdhury, C.-P. Jeannerod, V. Neiger, É. Schost, and G. Villard, Faster algorithms for multivariate interpolation with multiplicities and simultaneous polynomial approximations, IEEE Trans. Inform. Theory, 61 (2015), pp. 2370--2387.
10.
B. Friedlander, M. Morf, T. Kailath, and L. Ljung, New inversion formulas for matrices classified in terms of their distance from Toeplitz matrices, Linear Algebra Appl., 27 (1979), pp. 31--60.
11.
J. \gathenvon zur Gathen and J. Gerhard, Modern Computer Algebra, 3rd ed., Cambridge University Press, Cambridge, 2013.
12.
I. Gohberg and V. Olshevsky, Complexity of multiplication with vectors for structured matrices, Linear Algebra Appl., 202 (1994), pp. 163--192.
13.
I. Gohberg and V. Olshevsky, Fast algorithms with preprocessing for matrix-vector multiplication problems, J. Complexity, 10 (1994), pp. 411--427.
14.
G. Hanrot, M. Quercia, and P. Zimmermann, The middle product algorithm I, Appl. Algebra Engrg. Comm. Comput., 14 (2004), pp. 415--438.
15.
C.-P. Jeannerod and C. Mouilleron, Computing specified generators of structured matrix inverses, in Proceedings of ISSAC'10, ACM Press, 2010, pp. 281--288.
16.
T. Kailath, S. Y. Kung, and M. Morf, Displacement ranks of a matrix, Bull. Amer. Math. Soc. (New Series), 1 (1979), pp. 769--773.
17.
T. Kailath, S. Y. Kung, and M. Morf, Displacement ranks of matrices and linear equations, J. Math. Anal. Appl., 68 (1979), pp. 395--407.
18.
E. Kaltofen, Asymptotically fast solution of Toeplitz-like singular linear systems, in Proceedings of ISSAC'94, ACM Press, 1994, pp. 297--304.
19.
E. Kaltofen, Analysis of Coppersmith's block Wiedemann algorithm for the parallel solution of sparse linear systems, Math. Comp., 64 (1995), pp. 777--806.
20.
E. Kaltofen and D. Saunders, On Wiedemann's method of solving sparse linear systems, in AAECC-9, Lecture Notes in Comput. Sci. 539, Springer, Berlin, 1991, pp. 29--38.
21.
P. Lancaster and M. Tismenetsky, The Theory of Matrices, 2nd. ed., Computer Science and Applied Mathematics, Academic Press, New York, 1985.
22.
F. Le Gall, Powers of tensors and fast matrix multiplication, in Proceedings of ISSAC'14, ACM Press, 2014, pp. 296--303.
23.
M. Morf, Fast Algorithms for Multivariable Systems, Ph.D. thesis, Stanford University, Stanford, 1974.
24.
M. Morf, Doubling algorithms for Toeplitz and related equations, in Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing, 1980, pp. 954--959.
25.
V. Olshevsky and V. Pan, A unified superfast algorithm for boundary rational tangential interpolation problems and for inversion and factorization of dense structured matrices, in Proceedings of 39th FOCS, IEEE, Washington, DC, 1998, pp. 192--201.
26.
V. Olshevsky and A. Shokrollahi, A unified superfast algorithm for confluent tangential interpolation problem and for structured matrices, in Advanced Signal Processing Algorithms, Architectures, and Implementations, ASPAAI'IX, SPIE, Bellingham, WA, 1999, pp. 312--323.
27.
V. Olshevsky and A. Shokrollahi, Matrix-vector product for confluent Cauchy-like matrices with application to confluent rational interpolation, in Proceedings of STOC'00, ACM Press, 2000, pp. 573--581.
28.
V. Y. Pan, Trilinear aggregating with implicit canceling for a new acceleration of matrix multiplication, Comp. & Maths. with Appls., 8 (1982), pp. 23--34.
29.
V. Y. Pan, On computations with dense structured matrices, Math. Comp., 55 (1990), pp. 179--190.
30.
V. Y. Pan, A unified superfast divide-and-conquer algorithm for structured matrices. MSRI Preprint 1999-033, Mathematical Sciences Research Institute, Berkeley, CA, April 1999.
31.
V. Y. Pan, Nearly optimal computations with structured matrices, in Proceedings of SODA'00, ACM Press, 2000, pp. 953--962.
32.
V. Y. Pan, Structured Matrices and Polynomials, Birkhäuser Boston, 2001.
33.
V. Y. Pan, Transformations of matrix structures work again, Linear Algebra Appl., 465 (2015), pp. 107--138.
34.
V. Y. Pan and X. Wang, Inversion of displacement operators, SIAM J. Matrix Anal. Appl., 24 (2003), pp. 660--677.
35.
V. Y. Pan and A. Zheng, Superfast algorithms for Cauchy-like matrix computations and extensions., Linear Algebra Appl., 310 (2000), pp. 83--108.
36.
A. Schönhage, Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2, Acta Inform., 7 (1977), pp. 395--398.
37.
A. Schönhage and V. Strassen, Schnelle Multiplikation großer Zahlen, Computing, 7 (1971), pp. 281--292.
38.
I. S. Sergeev, Fast algorithms for elementary operations with complex power series, Discrete Math. Appl., 20 (2010), pp. 25--60.
39.
V. Strassen, Gaussian elimination is not optimal, Numer. Math., 13 (1969), pp. 354--356.

Information & Authors

Information

Published In

cover image SIAM Journal on Matrix Analysis and Applications
SIAM Journal on Matrix Analysis and Applications
Pages: 733 - 775
ISSN (online): 1095-7162

History

Submitted: 23 February 2016
Accepted: 27 February 2017
Published online: 1 August 2017

Keywords

  1. structured linear algebra
  2. matrix multiplication
  3. computational complexity

MSC codes

  1. 65F05
  2. 68Q25

Authors

Affiliations

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

Media

Figures

Other

Tables

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media