Journal article
Matrix coefficient realization theory of noncommutative rational functions
Journal of algebra, v 499, pp 397-437
01 Apr 2018
Abstract
Noncommutative rational functions, i.e., elements of the universal skew field of fractions of a free algebra, can be defined through evaluations of noncommutative rational expressions on tuples of matrices. This interpretation extends their traditionally important role in the theory of division rings and gives rise to their applications in other areas, from free real algebraic geometry to systems and control theory. If a noncommutative rational function is regular at the origin, it can be described by a linear object, called a realization. In this article we present an extension of the realization theory that is applicable to arbitrary noncommutative rational functions and is well-adapted for studying matrix evaluations.
Of special interest are the minimal realizations, which compensate the absence of a canonical form for noncommutative rational functions. The non-minimality of a realization is assessed by obstruction modules associated with it; they enable us to devise an efficient method for obtaining minimal realizations. With them we describe the stable extended domain of a noncommutative rational function and define a numerical invariant that measures its complexity. Using these results we determine concrete size bounds for rational identity testing, construct minimal symmetric realizations and prove an effective local–global principle for linear dependence of noncommutative rational functions.
Metrics
Details
- Title
- Matrix coefficient realization theory of noncommutative rational functions
- Creators
- Jurij Volčič - Ben-Gurion University of the Negev
- Publication Details
- Journal of algebra, v 499, pp 397-437
- Publisher
- Elsevier
- Grant note
- University of Auckland (https://doi.org/10.13039/501100001537)
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Mathematics
- Web of Science ID
- WOS:000425578400018
- Scopus ID
- 2-s2.0-85044568354
- Other Identifier
- 991021861880104721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Mathematics