Previous Articles     Next Articles

New Results on the Equivalence of Bivariate Polynomial Matrices

ZHENG Xiaopeng1,2, LU Dong3, WANG Dingkang1,2, XIAO Fanghui4   

  1. 1. KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China;
    2. School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China;
    3. School of Mathematics, Southwest Jiaotong University, Chengdu 610031, China;
    4. MOE-LCSM, School of Mathematics and Statistics, Hunan Normal University, Changsha 410081, China
  • Received:2021-08-17 Revised:2021-10-16 Online:2023-01-25 Published:2023-02-09
  • Supported by:
    This research was supported by the National Natural Science Foundation of China under Grant Nos. 12171469, 12001030 and 12201210, the National Key Research and Development Program under Grant No. 2020YFA0712300, and the Fundamental Research Funds for the Central Universities under Grant No. 2682022CX048.

ZHENG Xiaopeng, LU Dong, WANG Dingkang, XIAO Fanghui. New Results on the Equivalence of Bivariate Polynomial Matrices[J]. Journal of Systems Science and Complexity, 2023, 36(1): 77-95.

This paper investigates the equivalence problem of bivariate polynomial matrices. A necessary and sufficient condition for the equivalence of a square matrix with the determinant being some power of a univariate irreducible polynomial and its Smith form is proposed. Meanwhile, the authors present an algorithm that reduces this class of bivariate polynomial matrices to their Smith forms, and an example is given to illustrate the effectiveness of the algorithm. In addition, the authors generalize the main result to the non-square case.
[1] Bose N K, Applied Multidimensional Systems Theory, Van Nostrand Reinhold, New York, 1982.
[2] Bose N K, Buchberger B, and Guiver J, Multidimensional Systems Theory and Applications, Dordrecht, Kluwer, The Netherlands, 2003.
[3] Kailath T, Linear Systems, Englewood Cliffs, NJ:Prentice Hall, 1980.
[4] Rosenbrock H H, State Space and Multivariable Theory, Nelson-Wiley, New Work, London, 1970.
[5] Morf M, Levy B, and Kung S, New results in 2-D systems theory:Part I, Proceeding of the IEEE, 1977, 65:861-872.
[6] Frost M and Storey C, Equivalence of a matrix over R[s, z] with its Smith form, International Journal of Control, 1978, 28(5):665-671.
[7] Lee E and Zak S, Smith forms over R[z1, z2], IEEE Transactions on Automatic Control, 1983, 28(1):115-118.
[8] Frost M and Boudellioua M, Some further results concerning matrices with elements in a polynomial ring, International Journal of Control, 1986, 43(5):1543-1555.
[9] Pugh A C, McInerney S J, and El-Nabrawy E M O, Equivalence and reduction of 2-D systems, IEEE Transactions on Circuits and Systems II:Express Briefs, 2005, 52(5):271-275.
[10] Cluzeau T and Quadrat A, Factoring and decomposing a class of linear functional systems, Linear Algebra and Its Applications, 2008, 428:324-381.
[11] Boudellioua M S and Quadrat A, Serre's reduction of linear function systems, Mathematics in Computer Science, 2010, 4(2-3):289-312.
[12] Cluzeau T and Quadrat A, A new insight into Serre's reduction problem, Linear Algebra and its Applications, 2015, 483:40-100.
[13] Lin Z, Boudellioua M S, and Xu L, On the equivalence and factorization of multivariate polynomial matrices, Proceeding of ISCAS, Greece, 2006, 4911-4914.
[14] Li D, Liu J, and Zheng L, On the equivalence of multivariate polynomial matrices, Multidimensional Systems and Signal Processing, 2017, 28(1):225-235.
[15] Li D and Liang R, Serre's reduction and the Smith forms of multivariate polynomial matrices, Mathematical Problems in Engineering, 2020, 1-13, DOI:10.1155/2020/5430842.
[16] Li D, Liu J, and Chu D, The Smith form of a multivariate polynomial matrix over an arbitrary coefficient field, Linear and Multilinear Algebra, 2022, 70(2):366-379.
[17] Li D, Liu J, and Zheng L, On serre reduction of multidimensional systems, Mathematical Problems in Engineering, 2020, 1-8, DOI:10.1155/2020/7435237.
[18] Lu D, Wang D, and Xiao F, Further results on the factorization and equivalence for multivariate polynomial matrices, Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020, 328-335.
[19] Li D, Liang R, and Liu J, Some further results on the Smith form of bivariate polynomial matrices, Journal of System Science and Mathematical Science (Chinese Series), 2019, 39(12):1983-1997.
[20] Strang G, Linear Algebra and Its Applications, Academic Press, Cambridge, Massachusetts, 2010.
[21] Youla D and Gnavi G, Notes on n-dimensional system theory, IEEE Transactions on Circuits and Systems, 1979, 26(2):105-111.
[22] Quillen D, Projective modules over polynomial rings, Inventiones Mathematicae, 1976, 36(1):167-171.
[23] Suslin A A, Projective modules over polynomial rings are free, Soviet Mathematics Doklady, 1976, 17:1160-1164.
[24] Serre J P, Faisceaux algébriques cohérents, Annals of Mathematics, 1955, 61(2):197-278.
[25] Logar A and Sturmfels B, Algorithms for the Quillen-Suslin theorem, Journal of Algebra, 1992, 145(1):231-239.
[26] Park H, A computational theory of laurent polynomial rings and multidimensional FIR systems, Doctoral Dissertation, University of California at Berkeley, USA, 1995.
[27] Youla D and Pickel P, The Quillen-Suslin theorem and the structure of n-dimensional elementary polynomial matrices, IEEE Transactions on Circuits and Systems, 1984, 31(6):513-518.
[28] Fabiá nska A and Quadrat A, Applications of the Quillen-Suslin theorem to multidimensional systems theory, Eds. by Park H, Regensburger G, Gröbner Bases in Control Theory and Signal Processing, Radon Series on Computational and Applied Mathematics, Walter de Gruyter, 2007, 3:23-106.
[29] Lin Z, On matrix fraction descriptions of multivariable linear n-D systems, IEEE Transactions on Circuits and Systems, 1988, 35(10):1317-1322.
[30] Lin Z and Bose N, A generalization of serre's conjecture and some related issues, Linear Algebra and Its Applications, 2001, 338:125-138.
[31] Pommaret J F, Solving bose conjecture on linear multidimensional systems, Proceedings of European Control Conference, IEEE, Porto, Portugal, 2001, 1653-1655.
[32] Wang M and Feng D, On Lin-Bose problem, Linear Algebra and Its Applications, 2004, 390(1):279-285.
[33] Pugh A C, McInerney S J, and El-Nabrawy E M O, Zero structures of n-D systems, International Journal of Control, 2005, 78(4):277-285.
[34] Li L, Li X, and Lin Z, Stability and stabilisation of linear multidimensional discrete systems in the frequency domain, International Journal of Control, 2013, 86(11):1969-1989.
[1] LIU Jinwang, WU Tao, LI Dongmei. Smith Form of Triangular Multivariate Polynomial Matrix [J]. Journal of Systems Science and Complexity, 2023, 36(1): 151-164.
Full text