Matrix coefficient realization theory of noncommutative rational functions
From MaRDI portal
minimizationrealizationdivision ringnoncommutative rational functionextended domainrational identitygeneralized seriessymmetric noncommutative rational functionuniversal skew field
Other kinds of identities (generalized polynomial, rational, involution) (16R50) Associative rings of fractions and localizations (16S85) Functions whose values are linear operators (operator- and matrix-valued functions, etc., including analytic and meromorphic ones) (47A56) Minimal systems representations (93B20)
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 traditional 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 analytic at the origin, it can be described by a linear object, called a {em realization}. In this article we present a realization theory that is applicable to {em arbitrary} noncommutative rationals function 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 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 of linear dependence for noncommutative rational functions.
Recommendations
- Realizations of non-commutative rational functions around a matrix centre. I: synthesis, minimal realizations and evaluation on stably finite algebras
- Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting
- On domains of noncommutative rational functions
- Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
- Noncommutative rational functions, their difference-differential calculus and realizations
Cites work
- scientific article; zbMATH DE number 3721092 (Why is no real title available?)
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 1253966 (Why is no real title available?)
- scientific article; zbMATH DE number 1314706 (Why is no real title available?)
- scientific article; zbMATH DE number 798609 (Why is no real title available?)
- scientific article; zbMATH DE number 2207666 (Why is no real title available?)
- scientific article; zbMATH DE number 2228140 (Why is no real title available?)
- A Normal Form in Free Fields
- A linear systems primer.
- A local-global principle for linear dependence of noncommutative polynomials.
- Analytic subordination theory of operator-valued free additive convolution and the solution of a general random matrix problem
- Conservative structured noncommutative multidimensional linear systems
- Convergence of the largest singular value of a polynomial in independent Wigner matrices
- Engineering systems and free-semi-algebraic geometry
- Fields of Fractions for Group Algebras of Free Groups
- Foundations of Free Noncommutative Function Theory
- Free Function Theory Through Matrix Invariants
- Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
- Free convex algebraic geometry
- Generalized rational identities and rings with involution
- Generalized rational identities and rings with involution
- Invariants and the ring of generic matrices
- Inversion height in free fields
- Matrices de Hankel
- Matrix Analysis
- Matrix inequalities: A symbolic procedure to determine convexity automatically
- Non-commutative arithmetic circuits with division
- Noncommutative convexity arises from linear matrix inequalities
- Noncommutative rational functions, their difference-differential calculus and realizations
- Noncommutative rational series with applications
- Noncommutative symmetric functions
- Null- and positivstellensätze for rationally resolvable ideals
- On domains of noncommutative rational functions
- On the definition of a family of automata
- On universal fields of fractions for free algebras
- Polynomial degree bounds for matrix semi-invariants
- Quasideterminants
- Rational identities and applications to algebra and geometry
- Rational relations and rational identities in division rings. I
- Rational relations and rational identities in division rings. II
- Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting
- Structured Noncommutative Multidimensional Linear Systems
- The invariant theory of \(n\times n\) matrices
Cited in
(32)- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
- Periodic automorphisms of free groups are diagonalisable in free skew fields
- The free field: realization via unbounded operators and Atiyah property
- Realizations of non-commutative rational functions around a matrix centre. I: synthesis, minimal realizations and evaluation on stably finite algebras
- A brief introduction to noncommutative function theory
- Regular and positive noncommutative rational functions
- Noncommutative rational functions invariant under the action of a finite solvable group
- scientific article; zbMATH DE number 5722801 (Why is no real title available?)
- Noncommutative rational functions, their difference-differential calculus and realizations
- Globally trace-positive noncommutative polynomials and the unbounded tracial moment problem
- Noncommutative LR coefficients and crystal reflection operators
- A standard form in (some) free fields: how to construct minimal linear representations
- Linearizing the word problem in (some) free fields
- Noncommutative polynomials describing convex sets
- Multipartite rational functions
- Convergence for noncommutative rational functions evaluated in random matrices
- Plurisubharmonic noncommutative rational functions
- Null- and positivstellensätze for rationally resolvable ideals
- Local theory of free noncommutative functions: germs, meromorphic functions, and Hermite interpolation
- Bianalytic free maps between spectrahedra and spectraballs
- Noncommutative partially convex rational functions
- Stable Noncommutative Polynomials and Their Determinantal Representations
- Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
- Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting
- Geometry of free loci and factorization of noncommutative polynomials
- On domains of noncommutative rational functions
- Blaschke-singular-outer factorization of free non-commutative functions
- Finite solvable groups with a rational skew-field of noncommutative real rational invariants
- scientific article; zbMATH DE number 5070393 (Why is no real title available?)
- scientific article; zbMATH DE number 947401 (Why is no real title available?)
- On the intersection of null spaces for matrix substitutions in a non-commutative rational formal power series
- Hilbert's 17th problem in free skew fields
This page was built for publication: Matrix coefficient realization theory of noncommutative rational functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703103)
