Nearly optimal solution of rational linear systems of equations with symbolic lifting and numerical initialization

Computers and Mathematics with Applications

Volumn 62, Issue 4, 2011, Pages 1685-1706

  Pan, Victor Y ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Hensel's Lifting; Initialization; Iterative refinement; Linear systems of equations; Newton's lifting; Toeplitz matrices

Indexed keywords

HENSEL'S LIFTING; INITIALIZATION; ITERATIVE REFINEMENT; LINEAR SYSTEMS OF EQUATIONS; NEWTON'S LIFTING; TOEPLITZ MATRICES;

ALGORITHMS; LINEAR SYSTEMS; NUMERICAL METHODS; OPTIMIZATION;

MATRIX ALGEBRA;

EID: 80051801149     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.camwa.2011.06.006     Document Type: Article

References (53)

1. M. Morf Doubling algorithms for Toeplitz and related equations Proceedings of IEEE International Conference on ASSP 1980 IEEE Press Piscataway, New Jersey 954 959 (Pubitemid 11426466)
2. R.R. Bitmead, and B.D.O. Anderson Asymptotically fast solution of Toeplitz and related systems of linear equations Linear Algebra and its Applications 34 1980 103 116
3. J. von zur Gathen, and J. Gerhard Modern Computer Algebra second ed. 2003 Cambridge University Press Cambridge, UK
4. R.T. Moenck, and J.H. Carter Approximate algorithms to derive exact solutions to systems of linear equations Proceedings of EUROSAM Lecture Notes in Computer Science vol. 72 1979 Springer Berlin 63 73
5. J.D. Dixon Exact solution of linear equations using p-adic expansions Numerische Mathematik 40 1982 137 141
6. D.Y.Y. Yun Algebraic algorithms using p-adic constructions Proceedings of ACM Symposium on Symbolic and Algebraic Computation 1976 ACM Press New York 248 259
7. J. von zur Gathen Hensel and Newton methods in valuation rings Mathematics of Computation 42 166 1984 802 824
8. V.Y. Pan, and R. Schreiber An improved Newton iteration for the generalized inverse of a matrix, with applications SIAM Journal on Scientific and Statistical Computing 12 5 1991 1109 1131
9. V.Y. Pan, and X. Wang Degeneration of integer matrices modulo an integer Linear Algebra and its Applications 429 2008 2113 2130
10. V.Y. Pan, B. Murphy, and R.E. Rosholt Unified Nearly Optimal Algorithms for Structured Integer Matrices Operator Theory: Advances and Applications vol. 199 2010 Birkhaser Basel 359 375
11. V.Y. Pan Structured Matrices and Polynomials: Unified Superfast Algorithms 2001 Birkhuser, Springer Boston, New York
12. V.Y. Pan, G. Qian, A. Zheng, Randomized preconditioning versus pivoting, Linear Algebra and its Applications (in print).
13. V.Y. Pan, G. Qian, and A. Zheng Randomized Preconditioning of the MBA Algorithm A. Leykin, Proc. International Symp. on Symbolic and Algebraic Computation, ISSAC'11 San-Jose, California, June 2011 2011 ACM Press New York 281 288
14. V.Y. Pan, G. Qian, On solving linear system with randomized augmentation, Tech. Report TR 2010009, Ph.D. Program in Computer Science, Graduate Center, the City University of New York, 2010. Available at http://www.cs.gc.cuny.edu/ tr/techreport.php?id=352.
15. V.Y. Pan, G. Qian, A. Zheng, Randomized preconditioning of linear systems of equations, Tech. Report TR 2010012, Ph.D. Program in Computer Science, Graduate Center, CUNY, 2010. Available at http://www.cs.gc.cuny.edu/tr/ techreport.php?id=352.
16. M. Van Barel, G. Heinig, and P. Kravanja A stabilized superfast solver for nonsymmetric Toeplitz systems SIAM Journal on Matrix Analysis and Applications 23 2 2001 494 510
17. M. Frer Faster integer multiplication Proceedings of 39th Annual Symposium on Theory of Computing STOC 2007 2007 ACM Press New York 57 66
18. X. Wang, and V.Y. Pan Acceleration of Euclidean algorithm and rational number reconstruction SIAM Journal on Computing 32 2 2003 548 556
19. G. Heinig, Beitrage zur spektraltheorie von Operatorbuschen und zur algebraischen Theorie von Toeplitzmatrizen, Dissertation B, TH Karl-Marx-Stadt, 1979.
20. G. Heinig, and K. Rost Algebraic Methods for Toeplitz-like Matrices and Operators Operator Theory vol. 13 1984 Birkhuser
21. T. Kailath, S.Y. Kung, and M. Morf Displacement ranks of matrices and linear equations Journal of Mathematical Analysis and Applications 68 2 1979 395 407
22. I. Gohberg, and V. Olshevsky Complexity of multiplication with vectors for structured matrices Linear Algebra and Its Applications 202 1994 163 192
23. V.Y. Pan On computations with dense structured matrices Mathematics of Computation 55 191 1990 179 190 Proceedings version in Proc. ISSAC'89, 3442, ACM Press, New York, 1989
24. I. Gohberg, T. Kailath, and V. Olshevsky Fast Gaussian elimination with partial pivoting for matrices with displacement structure Mathematics of Computation 64 1995 1557 1576
25. V.Y. Pan Complexity of parallel matrix computations Theoretical Computer Science 54 1987 65 85
26. V.Y. Pan Computing the determinant and the characteristic polynomials of a matrix via solving linear systems of equations Information Processing Letters 28 1988 71 75
27. J. Abbott, M. Bronstein, and T. Mulders Fast deterministic computation of the determinants of dense matrices Proc. Intern. Symp. Symbolic and Algebraic Comput ISSAC'99 1999 ACM Press New York 197 204
28. G. Cooperman, S. Feisel, J. von zur Gathen, and G. Havas GCD of many integers Computing and Combinatorics Lecture Notes in Computer Science vol. 1627 1999 Springer Berlin 310 317
29. W. Eberly, M. Giesbrecht, and G. Villard On computing the determinant and Smith form of an integer matrix Proc. 41st Annual Symp. on Foundations of Computer Science FOCS'2000 2000 IEEE Computer Society Press Los Alamitos, CA 675 685 (Pubitemid 32075936)
30. T. Mulders, and A. Storjohann Certified dense linear system solving Journal of Symbolic Computation 37 4 2004 485 510 (Pubitemid 38516227)
31. D. Wiedemann Solving sparse linear equations over finite fields IEEE Transactions on Information Theory IT-32 1986 54 62 (Pubitemid 16595643)
32. D.E. Steffy Exact solutions to linear systems of equations using output sensitive lifting ACM Communications in Computer Algebra 44 34 2010 160 182
33. B.D. Saunders, D.H. Wood, and B. Youse Symbolic-numeric exact rational linear system solution A. Leykin, Proc. International Symp. on Symbolic and Algebraic Computation, ISSAC'11 San Jose, California, June 2011 2011 ACM Press New York 305 312
34. G.H. Golub, and C.F. Van Loan Matrix Computations third ed. 1996 Johns Hopkins University Press Baltimore, Maryland
35. V.Y. Pan, D. Grady, B. Murphy, G. Qian, R.E. Rosholt, and A. Ruslanov Schur aggregation for linear systems and determinants D.A. Bini, V.Y. Pan, J. Verschelde, SymbolicNumerical Algorithms Theoretical Computer Science 409 2 2008 255 268 (special issue)
36. V.Y. Pan, and G. Qian Randomized preprocessing of homogeneous linear systems of equations Linear Algebra and its Applications 432 2010 3272 3318
37. V.Y. Pan Parallel computation of polynomial GCD and some related parallel computations over abstract fields Theoretical Computer Science 162 2 1996 173 223 (Pubitemid 126413395)
38. E. Kaltofen, and B.D. Saunders On Wiedemann's method for solving sparse linear systems Proceedings of AAECC5 Lecture Notes in Computer Science vol. 536 1991 Springer Berlin 29 38
39. R.P. Brent, F.G. Gustavson, and D.Y.Y. Yun Fast solution of Toeplitz systems of equations and computation of Padé approximations Journal of Algorithms 1 1980 259 295
40. D. Coppersmith, and S. Winograd Matrix multiplication via arithmetic progressions Journal of Symbolic Computation 9 3 1990 251 280
41. J. Laderman, V.Y. Pan, and H.X. Sha On practical algorithms for accelerated matrix multiplication Linear Algebra and its Applications 162164 1992 557 588
42. V.Y. Pan On schemes for the evaluation of products and inverses of matrices Uspekhi Matematicheskikh Nauk, 27 5 167 1972 249 250 (in Russian)
43. V.Y. Pan How can we speed up matrix multiplication? SIAM Review 26 3 1984 393 415
44. I. Kaporin The aggregation and cancellation techniques as a practical tool for faster matrix multiplication Theoretical Computer Science 315 23 2004 469 510
45. A. Bostan, C.P. Jeannerod, and E. Schost Solving structured linear systems with large displacement rank Theoretical Computer Science 407 13 2008 155 181
46. J.R. Bunch Stability of methods for solving Toeplitz systems of equations SIAM Journal on Scientific and Statistical Computing 6 2 1985 349 364
47. W. Gautschi, and G. Inglese Lower bounds for the condition number of Vandermonde matrices Numerische Mathematik 52 1988 241 250
48. E.E. Tyrtyshnikov How bad are Hankel matrices? Numerische Mathematik 67 2 1994 261 269
49. I.Z. Emiris, B. Mourrain, and V.Y. Pan Algebraic and Numerical Algorithms Theoretical Computer Science 315 23 2004 307 672 (special issue)
50. D.A. Bini, V.Y. Pan, and J. Verschelde SymbolicNumerical Algorithms Theoretical Computer Science 409 2 2008 155 331 (special issue)
51. I.S. Kotserias, B. Mourrain, and V.Y. Pan Symbolic and Numerical Algorithms Theoretical Computer Science 412 16 2011 1443 1543 (special issue)
52. I.Z. Emiris, V.Y. Pan, and Y. Yu Modular arithmetic for linear algebra computations in the real field Journal of Symbolic Computation 21 1998 1 17
53. G. Heinig Inversion of generalized Cauchy matrices and the other classes of structured matrices Linear Algebra for Signal Processing IMA Volume in Mathematics and Its Applications vol. 69 1995 Springer 95 114