Abstract
Primeness of nD polynomial matrices is of fundamental importance in multidimensional systems theory. In this paper we define a quantity which describes the “amount of primeness” of a matrix and identify it as the concept of grade in commutative algebra. This enables us to produce a theory which unifies many existing results, such as the Bézout identities and complementation laws, while placing them on a firm algebraic footing. We also present applications to autonomous systems, behavioural minimality of regular systems, and transfer matrix factorization.
Similar content being viewed by others
References
[BS] D. Bayer and M. Stillman. Computation of Hilbert functions.Journal of Symbolic Computation, 14 (1992), 31–50.
[BW] T. Becker and V. Weispfenning.Gröbner Bases: A Computational Approach to Commutative Algebra. Volume 141 of Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1993.
[B] B. Buchberger. Gröbner bases: an algorithmic method in polynomial ideal theory. In N. K. Bose, editor,Multidimensional Systems Theory. Reidel, Dordrecht, 1985, pp. 184–232.
[BE] D. A. Buchsbaum and D. Eisenbud. Some structure theorems for finite free resolutions.Advances in Mathematics, 12 (1974), 84–139.
[CLO] D. Cox, J. Little, and D. O'Shea.Ideals, Varieties and Algorithms, 2nd edition. Springer-Verlag, New York, 1996.
[DM] D. E. Dugeon and R. M. Mersereau.Multidimensional Digital Signal Processing. Prentice-Hall, Englewood Cliffs, NJ, 1984.
[EN] J. Eagon and D. G. Northcott. Ideals defined by matrices, and a certain complex associated to them.Proceedings of the Royal Society, 269 (1962), 188–204.
[E] D. Eisenbud.Commutative Algebra with a View Toward Algebraic Geometry. Volume 150 of Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1995.
[F] E. Fornasini. A 2-D systems approach to river pollution modelling.Multidimensional Systems and Signal Processing, 2 (1991), 233–265.
[FRZ] E. Fornasini, P. Rocha, and S. Zampieri. State space realization of 2-D finite-dimensional behaviours.SIAM Journal of Control and Optimization, 31 (1993), 1502–1517.
[FV1] E. Fornasini and M. E. Valcher. Observability and extendability of finite support nD behaviours. InProceedings of the 34th IEEE Conference on Decision and Control, Piscataway, NJ. IEEE, New York, 1995 volume 3, pp. 1757–1762.
[FV2] E. Fornasini and M. E. Valcher. nD polynomial matrices with applications to multidimensional signal analysis.Multidimensional Systems and Signal Processing, 8 (1997), 387–408.
[HW] W. P. Health and P. E. Wellstead. Self-tuning prediction and control for two-dimensional processes. Part 1: Fixed parameter algorithms.International Journal of Control, 62 (1995), 65–108.
[J] D. S. Johnson. Coprimeness in Multidimensional Systems and Symbolic Computation. Ph.D. thesis, Loughborough University of Technology, March 1993.
[K] T. Kailath.Linear Systems. Prentice-Hall, Englewood Cliffs, NJ, 1980.
[KLMK] S.-Y. Kung, B. C. Levy, M. Morf, and T. Kailath. New results in 2D systems theory. Part II: 2D state-space models—realizations and the notions of controllability, observability and minimality.Proceedings of the IEEE, 65 (1977), 945–961.
[L] Z. P. Lin. On MFDs of multivariate linear nD systems.IEEE Transactions on Circuits and Systems, 35 (1988), 1317–1322.
[MLK] M. Morf, B. C. Levy, and S.-Y. Kung. New results in 2D systems theory. Part I: 2D polynomial matrices, factorization and coprimeness.Proceedings of the IEEE, 65 (1977), 861–872.
[M] H. Mounier. Propriétés Structurelles des Systèmes Linéaires a Retards: Aspects Théoriques et Pratiques. Ph.D. thesis, Université Paris-Sud, 1995.
[NWL] G. Naadimuthu, K. W. Wang, and E. S. Lee. Air pollution modelling by quasilinearization.Computers & Mathematics with Applications, 21 (1991), 153–164.
[N] N. G. Northcott.Finite Free Resolutions. Volume 71 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1976.
[O] U. Oberst. Multidimensional constant linear systems.Acta Applicandae Mathematicae, 20 (1990), 1–175.
[P] C. Peskine.An Algebraic Introduction to Complex Projective Geometry. Cambridge University Press, Cambridge, 1996.
[R1] D. Rees. The grade of an ideal or module.Proceedings of the Cambridge Philosophical Society, 53 (1957), 28–42.
[R2] P. Rocha. Structure and Representation of 2-D Systems. Ph.D. thesis, University of Groningen, 1990.
[RW] P. Rocha and J. C. Willems. Controllability of 2-D systems.IEEE Trnasactions on Automatic Control, 36 (1991), 413–423.
[RO] E. Rogers and D. H. Owens.Stability Analysis for Linear Repetitive Processes. Volume 175 of Lecture Notes in Control and Information Sciences. Springer-Verlag, Berlin, 1992.
[R3] H. H. Rosenbrock.State-Space and Multivariable Theory. Nelson, London, 1970.
[V] M. Vidyasagar.Control System Synthesis: A Factorization Approach. MIT Press, Cambridge, MA, 1985.
[W] J. C. Willems. Paradigms and puzzles in the theory of dynamical systems.IEEE Transactions on Automatic Control, 36 (1991), 259–294.
[WRO] J. Wood, E. Rogers, and D. H. Owens. Controllable and autonomous nD systems. To appear inMultidimensional Systems and Signal Processing, 1998.
[YG] D. C. Youla and G. Gnavi. Notes onn-dimensional system theory.IEEE Transactions on Circuits and Systems, 26 (1979), 105–111.
[YP] D. C. Youla and P. F. Pickel. The Quillen-Suslin theorem and the structure ofn-dimensional elementary polynomial matrices.IEEE Transactions on Circuits and Systems, 31 (1984), 513–518.
[Z1] S. Zampieri. A solution of the Cauchy problem for multidimensional discrete linear shift-invariant systems.Linear Algebra and Its Applications, 202 (1994), 143–162.
[Z2] E. Zerz. Primeness of multivariate polynomial matrices.Systems and Control Letters, 29 (1996), 139–146.
[ZO] E. Zerz and U. Oberst. The canonical Cauchy problem for linear systems of partial difference equations with constant coefficients over the completer-dimensional integral lattice ℤ’.Acta Applicandae Mathematicae, 31 (1993), 249–273.
Author information
Authors and Affiliations
Additional information
This work has been sponsored by EPSRC Grant No. GR/K 18504.
Rights and permissions
About this article
Cite this article
Wood, J., Rogers, E. & Owens, D.H. A formal theory of matrix primeness. Math. Control Signal Systems 11, 40–78 (1998). https://doi.org/10.1007/BF02741885
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02741885