Abstract
Computing the determinant of a matrix with the univariate and multivariate polynomial entries arises frequently in the scientific computing and engineering fields. This paper proposes an effective algorithm to compute the determinant of a matrix with polynomial entries using hybrid symbolic and numerical computation. The algorithm relies on the Newton’s interpolation method with error control for solving Vandermonde systems. The authors also present the degree matrix to estimate the degree of variables in a matrix with polynomial entries, and the degree homomorphism method for dimension reduction. Furthermore, the parallelization of the method arises naturally.
Similar content being viewed by others
References
Cox D A, Little J, and O’Shea D, Using Algebraic Geometry, 2nd Edition, Springer-Verlag, Berlin Heidelberg, 2005.
Delvaux S, Marco A, Martínez J J, et al., Fast computation of determinants of Bézout matrices and application to curve implicitization, Linear. Algebra. Appl., 2009, 430(1): 27–33.
Qin X L, Wu W Y, Feng Y, et al., Structural analysis of high-index DAE for process simulation, Int. J. Model. Simul. Sci. Comput., 2013, 4(4): 1342008.
Horowitz E and Sahni S, On computing the exact determinant of matrices with polynomial entries, J. ACM, 1975, 22(1): 38–50.
Marco A and Martínez J J, Parallel computation of determinants of matrices with polynomial entries, J. Symb. Comput., 2004, 37(6): 749–760.
Li Y, An effective hybrid algorithm for computing symbolic determinants, Appl. Math. Comput., 2009, 215(7): 2495–2501.
Chen L Y and Zeng Z B, Parallel computation of determinants of matrices with multivariate polynomial entries, Sci. China Inform. Sci., 2013, 56(11): 1–16.
Gentleman WM and Johnson S C, Analysis of algorithms, a case study: Determinants of matrices with polynomial entries, ACM T. Math. Software, 1976, 2: 232–241.
Sasaki T and Murao H, Efficient Gaussian elimination method for symbolic determinants and linear systems, ACM T. Math. Software, 1982, 8(3): 277–289.
Kaltofen E, On computing determinants of matrices without divisions, Proc. ISSAC 1992, ACM Press, New York, 1992, 342–349.
Lipson J D, Symbolic methods for the computer solution of linear equations with applications to flowgraphs, Proc. 1968 Summer Institute on Symbolic Mathematical Computation, 1969, 233–303.
Chen L, Eberly W, Kaltofen E, et al., Efficient matrix preconditioners for black box linear algebra, Linear Algebra & Its Applications, 2002, (343–344): 119–146.
Kaltofen E and Yang Z F, On exact and approximate interpolation of sparse rational functions, Proc. ISSAC 2007, ACM Press, New York, 2007, 203–210.
Chèze G and Galligo A, From an approximate to an exact absolute polynomial factorization, J. Symb. Comput., 2006, 41: 682–696.
Zhang J Z and Feng Y, Obtaining exact value by approximate computations, Sci. China Math., 2007, 50(9): 1361–1368.
Feng Y, Qin X L, Zhang J Z, et al., Obtaining exact interpolation multivariate polynomial by approximation, Journal of Systems Science and Complexity, 2011, 24(4): 803–815.
Kaltofen E, Li B, Yang Z F, et al., Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients, J. Symb. Comput., 2012, 47(1): 1–15.
Qin X L, Feng Y, Chen J W, et al., A complete algorithm to find exact minimal polynomial by approximations, Int. J. Comput. Math., 2012, 89(17): 2333–2344.
Howard E, Elementary Matrix Theory, Dover Publications, New York, 1966.
Boor C D, Polynomial interpolation in several variables, In Studies in Computer Science (in Honor of Samuel D. Conte), Eds. by DeMillo R and Rice J R, Plenum Press, New York, 1994, 87–119.
Horn R A and Johnson C R, Topics in Matrix Analysis, Cambridge University Press, Cambridge, 1991.
Björck A and Pereyra V, Solution of vandermonde systems of equations, Math. Comput., 1970, 24(112): 893–903.
Moenck R T, Practical fast polynomial multiplication, Proc. ACM Symposium on Symbolic and Algebraic Computation, 1976, 136–148.
Chiasson J N, Tolbert L M, McKenzie K J, et al., Elimination of harmonics in a multilevel converter using the theory of symmetric polynomials and resultants, IEEE Trans. Control Systems Technology, 2005, 13(2): 216–223.
Kapur D, Saxena T, and Yang L, Algebraic and geometric reasoning using Dixon resultants, Proc. ISSAC 1994, ACM Press, New York, 1994, 99–107.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by China 973 Project under Grant No. 2011CB302402, the National Natural Science Foundation of China under Grant Nos. 61402537, 11671377, 91118001, and China Postdoctoral Science Foundation funded project under Grant No. 2012M521692.
This paper was recommended for publication by Editor-in-Chief GAO Xiao-Shan.
Rights and permissions
About this article
Cite this article
Qin, X., Sun, Z., Leng, T. et al. Computing the Determinant of a Matrix with Polynomial Entries by Approximation. J Syst Sci Complex 31, 508–526 (2018). https://doi.org/10.1007/s11424-017-6033-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-017-6033-8