Discrete-time polynomial systems with inputs and outputs: structure, reachability, observability, and minimal realizations
Abstract
We study the realization problem for discrete-time input/output polynomial systems. These are formalized using tools from commutative algebra and algebraic geometry as systems whose state spaces are algebraic varieties, or more abstractly the set of k-points of an affine k-scheme, where k is an arbitrary infinite field. The input/output behaviors of such systems are described by "polynomial response maps" in which outputs are polynomial functions of past inputs. The main results show that every polynomial response map admits a canonical (quasi-reachable and algebraically observable) realization, which is unique up to isomorphism. The key to the approach is to linearize dynamics by considering a "dual" system in which states are functions defined on states. Finite dimensionality of the canonical realization, and its polynomiality, are characterized in terms of the space, algebra, and field of observables of the map, as well as in terms of algebraic input/output difference equations, and by a Jacobian rank criterion. A particular subclass consists of the maps that we call "bounded," defined by the property that their degree in the past inputs is uniformly bounded. Bounded maps are shown to be finitely realizable if and only if they are realizable by finite-dimensional state-affine systems, whose theory in turn reduces to that of rational formal power series. We also study the lattice of quasi-reachable realizations of a given map, including normal realizations. This work is an update of the PhD thesis written by the author in 1976; connections to recent work are briefly discussed in the last section.
Related
- Algebraic Structure and Orthogonality Properties of Rational Polynomial Phase Rings on Discrete Lattices
- Uniform Observability of High-Order Fully Discrete Multidimensional Wave Equations: Exponential Loss and Recovery
- Levine Equivalence in Aura Topological Spaces: Reachability, Alexandrov Structure, and Quotient Frames
- Superintegrability of discrete-time rational Ruijsenaars-Schneider model and deformed polynomial symmetry algebras
- Complex Analytic Structure of Hybrid Classes of Generalized Polynomial-like Mappings
BibTeX
@misc{sontag2026discretetime,
title = {{Discrete-time polynomial systems with inputs and outputs: structure, reachability, observability, and minimal realizations}},
author = {Eduardo D. Sontag},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.36423},
eprint = {2609.36423},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.36423},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Discrete-time polynomial systems with inputs and outputs: structure, reachability, observability, and minimal realizations
AU - Eduardo D. Sontag
PY - 2026
DA - 2026/09/29
PB - arXiv
DO - 10.48550/arxiv.2609.36423
UR - https://arxiv.org/abs/2609.36423
AB - We study the realization problem for discrete-time input/output polynomial systems. These are formalized using tools from commutative algebra and algebraic geometry as systems whose state spaces are algebraic varieties, or more abstractly the set of k-points of an affine k-scheme, where k is an arbitrary infinite field. The input/output behaviors of such systems are described by "polynomial response maps" in which outputs are polynomial functions of past inputs. The main results show that every polynomial response map admits a canonical (quasi-reachable and algebraically observable) realization, which is unique up to isomorphism. The key to the approach is to linearize dynamics by considering a "dual" system in which states are functions defined on states. Finite dimensionality of the canonical realization, and its polynomiality, are characterized in terms of the space, algebra, and field of observables of the map, as well as in terms of algebraic input/output difference equations, and by a Jacobian rank criterion. A particular subclass consists of the maps that we call "bounded," defined by the property that their degree in the past inputs is uniformly bounded. Bounded maps are shown to be finitely realizable if and only if they are realizable by finite-dimensional state-affine systems, whose theory in turn reduces to that of rational formal power series. We also study the lattice of quasi-reachable realizations of a given map, including normal realizations. This work is an update of the PhD thesis written by the author in 1976; connections to recent work are briefly discussed in the last section.
ER -