Theory and Algorithms for Bivariate Polynomial Matrix Factorizations

Abstract

Based on the primitive factorization theorem, this paper presents an improved algorithm for computing free bases of syzygy modules of bivariate polynomial matrices, which additionally enables efficient computation of

\mu

\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}

-bases for rational parametric surfaces. Experimental results show that the new algorithm outperforms two existing algorithms in terms of computational efficiency. Furthermore, by leveraging this algorithm, we generalize the general matrix factorization theory of full-rank bivariate polynomial matrices to the rank-deficient case for the first time.

References

[1] Bose N. Multidimensional Systems Theory and Applications, 19952New York, Springer

[2] Buchberger, B.: Gröbner bases: an algorithmic method in polynomial ideal theory. In Bose, N., 1995, Multidimensional Systems Theory and Applications, Second Edition, Chapter 4, 89–127 (1985)

[3] Chen F, Cox D, Liu Y. The μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}-basis and implicitization of a rational parametric surface. J. Symb. Comput., 2005, 39: 689-706

[4] Deng, J., Chen, F., Shen, L.: Computing μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}-bases of rational curves and surfaces using polynomial matrix factorization. In: Proceedings of the 30th International Symposium on Symbolic and Algebraic Computation, pp. 132–139. ACM, Beijing, China (2005)

[5] Eisenbud D. Commutative Algebra with a View Toward Algebraic Geometry, 2013, New York, Springer

[6] Fabiańska A, Quadrat A. Applications of the Quillen-Suslin theorem to multidimensional systems theory. Radon Series Comput. Appl. Math., 2007, 3: 23-106

[7] Fornasini E, Valcher M. n-D polynomial matrices with applications to multidimensional signal analysis. Multidimension. Syst. Signal Process., 1997, 8: 387-408

[8] Guan J, Li W, Ouyang B. On rank factorizations and factor prime factorizations for multivariate polynomial matrices. J. Syst. Sci. Complex., 2018, 31(6): 1647-1658

[9] Guan J, Li W, Ouyang B. On minor prime factorizations for multivariate polynomial matrices. Multidimens. Syst. Signal Process., 2019, 30(1): 493-502

[10] Guiver JP, Bose NK. Polynomial matrix primitive factorization over arbitrary coefficient field and related results. IEEE Trans. Circ. Syst., 1982, 29(10): 649-657

[11] Huang B, Chen F. Computing μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}-bases of univariate polynomial matrices using polynomial matrix factorization. J. Syst. Sci. Complex., 2021, 34(3): 1189-1206

[12] Lin Z. On syzygy modules for polynomial matrices. Linear Algebra Appl., 1999, 298(1–3): 73-86

[13] Lin Z, Bose N. A generalization of Serre’s conjecture and some related issues. Linear Algebra Appl., 2001, 338(1–3): 125-138

[14] Lin Z, Xu L, Bose N. A tutorial on Gröbner bases with applications in signals and systems. IEEE Trans. Circuits Syst. I Regul. Pap., 2008, 55(1): 445-461

[15] Liu J, Wang M. Notes on factor prime factorizations for n-D polynomial matrices. Multidimens. Syst. Signal Process., 2010, 21: 87-97

[16] Liu J, Wang M. New results on multivariate polynomial matrix factorizations. Linear Algebra Appl., 2013, 438: 87-95

[17] Liu J, Wang M. Further remarks on multivariate polynomial matrix factorizations. Linear Algebra Appl., 2015, 465: 204-213

[18] Liu J, Li D, Zheng L. The Lin-Bose problem. IEEE Trans. Circ. Syst. II Express Briefs, 2014, 61(1): 41-43

[19] Lu D, Wang D, Xiao F. On factor left prime factorization problems for multivariate polynomial matrices. Multidimens. Syst. Signal Process., 2021, 32(3): 975-992

[20] Lu D, Wang D, Xiao F. New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices. J. Symb. Comput., 2023, 115: 266-284

[21] Lu D, Wang D, Xiao F. On minor left prime factorization problem for multivariate polynomial matrices. J. Syst. Sci. Complex, 2024, 37(3): 1295-1307

[22] Morf M, Lévy B, Kung S. New results in 2-D systems theory, Part I: 2-D polynomial matrices, factorization, and coprimeness. Proc. IEEE, 1977, 65(6): 861-872

[23] Pommaret, J.: Solving Bose conjecture on linear multidimensional systems. In: Proceedings of the European Control Conference, pp. 1653–1655 (2001)

[24] Srinivas V. A generalized Serre problem. J. Algebra, 2004, 278(2): 621-627

[25] Wang M. On factor prime factorizations for n-D polynomial matrices. IEEE Trans. Circ. Syst. I Regul. Pap., 2007, 54(6): 1398-1405

[26] Wang M, Feng D. On Lin-Bose problem. Linear Algebra Appl., 2004, 390: 279-285

[27] Wang M, Kwong C. On multivariate polynomial matrix factorization problems. Math. Control Signals Syst., 2005, 17(4): 297-311

[28] Youla D, Gnavi G. Notes on n-dimensional system theory. IEEE Trans. Circ. Syst., 1979, 26(2): 105-111

RIGHTS & PERMISSIONS

School of Mathematical Sciences, University of Science and Technology of China and Springer-Verlag GmbH Germany, part of Springer Nature

Just Accepted

This article has successfully passed peer review and final editorial review, and will soon enter typesetting, proofreading and other publishing processes. The currently displayed version is the accepted final manuscript. The officially published version will be updated with format, DOI and citation information upon launch. We recommend that you pay attention to subsequent journal notifications and preferentially cite the officially published version. Thank you for your support and cooperation.