Bessmertnyĭ realizations of symmetric multivariate rational matrix functions over any field
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908511569444864 |
|---|---|
| author | Elsinger, Jason Orzel, Ian Welters, Aaron |
| author_facet | Elsinger, Jason Orzel, Ian Welters, Aaron |
| contents | In this paper, we prove the following. First, every square matrix whose entries are multivariable rational functions over a field $\mathbb{F}$ has a Bessmertnyĭ realization, i.e., is the Schur complement of an affine linear square matrix pencil with coefficients in $\mathbb{F}$. Second, if the matrix is also symmetric and the characteristic of the field $\mathbb{F}$ is not two then it has a symmetric Bessmertnyĭ realization (i.e., the pencil can be chosen to consist of symmetric matrices) and counterexamples are given to prove this statement is false in general for fields of characteristic two. Third, for fields of characteristic two (e.g., binary or Boolean field), we completely characterize those functions that have a symmetric Bessmertnyĭ realization. Finally, analogous results hold when restricted to the class of homogeneous degree-one rational functions. To solve these realization problems, i.e., finding such structured Bessmertnyĭ realizations for a given multivariate rational function, we use state-space methods from systems theory to produce realizations for algebraic operations on Schur complements such as sums, products, inverses, and symmetrization, which become the elementary building blocks of our constructions. Further complications arise over fields of characteristic two, so a large part of the paper is devoted to developing additional methods to decide if the symmetric realization problem can be solved and, if so, to construction the symmetric realization for a given symmetric rational matrix function. Our motivations are discussed in the context of multidimensional linear systems theory on generalizing state-space representations for rational functions including the Givone-Roesser and Fornasini-Marchesini realizations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_00553 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Bessmertnyĭ realizations of symmetric multivariate rational matrix functions over any field Elsinger, Jason Orzel, Ian Welters, Aaron Rings and Algebras Optimization and Control 15A54, 32A08, 15A22, 15B57, 15B33, 15A69, 93B18, 93B25, 12E30, 13A35, 93C35, 15B34 In this paper, we prove the following. First, every square matrix whose entries are multivariable rational functions over a field $\mathbb{F}$ has a Bessmertnyĭ realization, i.e., is the Schur complement of an affine linear square matrix pencil with coefficients in $\mathbb{F}$. Second, if the matrix is also symmetric and the characteristic of the field $\mathbb{F}$ is not two then it has a symmetric Bessmertnyĭ realization (i.e., the pencil can be chosen to consist of symmetric matrices) and counterexamples are given to prove this statement is false in general for fields of characteristic two. Third, for fields of characteristic two (e.g., binary or Boolean field), we completely characterize those functions that have a symmetric Bessmertnyĭ realization. Finally, analogous results hold when restricted to the class of homogeneous degree-one rational functions. To solve these realization problems, i.e., finding such structured Bessmertnyĭ realizations for a given multivariate rational function, we use state-space methods from systems theory to produce realizations for algebraic operations on Schur complements such as sums, products, inverses, and symmetrization, which become the elementary building blocks of our constructions. Further complications arise over fields of characteristic two, so a large part of the paper is devoted to developing additional methods to decide if the symmetric realization problem can be solved and, if so, to construction the symmetric realization for a given symmetric rational matrix function. Our motivations are discussed in the context of multidimensional linear systems theory on generalizing state-space representations for rational functions including the Givone-Roesser and Fornasini-Marchesini realizations. |
| title | Bessmertnyĭ realizations of symmetric multivariate rational matrix functions over any field |
| topic | Rings and Algebras Optimization and Control 15A54, 32A08, 15A22, 15B57, 15B33, 15A69, 93B18, 93B25, 12E30, 13A35, 93C35, 15B34 |
| url | https://arxiv.org/abs/2509.00553 |