Abstract
We accentuate the power of several known effective methods by combining them together and adding some novel techniques. As a result, we substantially improve the known record randomized bitoperation complexity estimates for various fundamental computations with integer matrices. This includes the computation of the determinant, minimum and characteristic polynomials, Smith and Frobenius invariant factors, and the eigenvalues. Most of the algorithms can be further accelerated where the input matrix can be multiplied by a vector fast, they can be effectively parallelized and extended to matrix polynomials.
Supported by NSF Grant CCR 9732206 and PSC CUNY Awards 61393-0030, 62435- 0031, and 66383-0032
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Abbott, M. Bronstein, T. Mulders, Fast Deterministic Computations of the Determinants of Dense Matrices, Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC’99), 197–204, ACM Press, New York, 1999.
D. Coppersmith, Solving Homogeneous Linear Equations over GF(2) via Block Wiedemann Algorithm, Math. Comput., 62, 205, 333–350, 1994.
L. Chen, W. Eberly, E. Kaltofen, B. D. Saunders, W. J. Turner, G. Villard, Efficient Matrix Preconditioners for Black Box Linear Algebra, Linear Algebra and Its Applications, in press.
J. D. Dixon, Exact Solution of Linear Equations Using p-adic Expansions, Numerische Math., 40, 137–141, 1982.
W. Eberly, M. Giesbrecht, G. Villard, On Computing the Determinant and Smith Form of an Integer Matrix, Proc. 41st Annual Symposium on Foundations of Computer Science (FOCS’ 2000), 675–685, IEEE Computer Society Press, Los Alamitos, California, 2000.
M. Giesbrecht, Fast Algorithms for Rational Forms for Integer Matrices, Proc. of International Symp. on Symbolic and Algebraic Computation (ISSAC’ 94), 305–311, ACM Press, New York, 1994.
M. Giesbrecht, Fast Computation of the Smith Normal Forms of an Integer Matrix, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC’95), 110–118, ACM Press, New York, 1995.
M. Giesbrecht, Fast Computation of the Smith Form of a Sparse Integer Matrix, Computational Complexity, 10, 41–69, 2001.
G. H. Golub, C. F. Van Loan, Matrix Computations, Johns Hopkins University Press, Baltimore, Maryland, 1996(3rd edition).
X. Huang, V. Y. Pan, Fast Rectangular Matrix Multiplication and Applications, Journal of Complexity, 14, 257–299, 1998.
E. Kaltofen, On Computing Determinants of Matrices Without Divisions, Proc. Intern. Symposium on Symbolic and Algebraic Computation (ISSAC’ 92), 342–349, ACM Press, New York, 1992.
E. Kaltofen, Analysis of Coppersmith’s Block Wiedemann Algorithm for the Parallel Solution of Sparse Linear Systems, Math. Comput., 62, 210, 777–806, 1995.
E. Kaltofen, G. Villard, On the Complexity of Computing Determinant, manuscript, August 2001, presented at 2001 AMS/IMS/SIAM Summer Research Conference on Fast Algorithms in Math., Computer Science and Engineering, S. Hadley, Mass., August 2001.
V. Y. Pan, Complexity of Parallel Matrix Computations, Theoretical Computer Science, 54, 65–85, 1987.
V. Y. Pan, Computing the Determinant and the Characteristic Polynomials of a Matrix via Solving Linear System of Equations, Information Processing Letters, 28, 71–75, 1988.
V. Y. Pan, Parametrization of Newton’s Iteration for Computations with Structured Matrices and Applications, Computers & Mathematics (with Applications), 24, 3, 61–75, 1992.
V. Y. Pan, Parallel Complexity of Computations with General and Toeplitzlike Matrices Filled with Integers and Extensions, SIAM Journal on Computing, 30, 1080–1125, 2000.
V. Y. Pan, Structured Matrices and Polynomials: Unified Superfast Algorithms, Birkhäuser/Springer, Boston/New York, 2001.
V. Y. Pan, Univariate Polynomials: Nearly Optimal Algorithms for Polynomial Factorization and Rootfinding, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC’01), 253–266, ACM Press, New York, 2001.
V. Y. Pan, Y. Yu, Certification of Numerical Computation of the Sign of the Determinant of a Matrix, Algorithmica, 30, 708–724, 2001.
A. Storjohann, Near Optimal ALgorithms for Computing Smith Normal Forms of Integer Matrices, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC’96), 267–274, ACM Press, New York, 1996.
A. Storjohann, An O(n 3) Algorithm for Frobenius Normal Form, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC’ 98), 101–104, ACM Press, New York, 1998.
G. Villard, Computing the Frobenius Normal Form of a Sparse Matrix, Proc. 3rd Intern. Workshop on Computer Algebra in Scientific Computing, 395–407, Springer, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pan, V.Y. (2002). Randomized Acceleration of Fundamental Matrix Computations. In: Alt, H., Ferreira, A. (eds) STACS 2002. STACS 2002. Lecture Notes in Computer Science, vol 2285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45841-7_17
Download citation
DOI: https://doi.org/10.1007/3-540-45841-7_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43283-8
Online ISBN: 978-3-540-45841-8
eBook Packages: Springer Book Archive