Regular and positive noncommutative rational functions

@article{Klep2017RegularAP,
  title={Regular and positive noncommutative rational functions},
  author={Igor Klep and James Eldred Pascoe and Jurij Vol{\vc}i{\vc}},
  journal={J. Lond. Math. Soc.},
  year={2017},
  volume={95},
  pages={613-632}
}
Call a noncommutative rational function $r$ regular if it has no singularities, i.e., $r(X)$ is defined for all tuples of self-adjoint matrices $X$. In this article regular noncommutative rational functions $r$ are characterized via the properties of their (minimal size) linear systems realizations $r=c^* L^{-1}b$. It is shown that $r$ is regular if and only if $L=A_0+\sum_jA_j x_j$ is privileged. Roughly speaking, a linear pencil $L$ is privileged if, after a finite sequence of basis changes… Expand

Topics from this paper

Factorization of Noncommutative Polynomials and Nullstellensätze for the Free Algebra
This article gives a class of Nullstellensatze for noncommutative polynomials. The singularity set of a noncommutative polynomial $f=f(x_1,\dots,x_g)$ is $Z(f)=(Z_n(f))_n$, where $Z_n(f)=\{X \inExpand
Noncommutative rational functions and their finite-dimensional representations
Noncommutative rational functions form a free skew field, a universal object in the category of skew fields. They emerge in various branches of pure and applied mathematics, such as noncommutativeExpand
Hilbert’s 17th problem in free skew fields
Abstract This paper solves the rational noncommutative analogue of Hilbert’s 17th problem: if a noncommutative rational function is positive semidefinite on all tuples of Hermitian matrices in itsExpand
Hilbert's 17th problem in free skew fields
This paper solves the rational noncommutative analog of Hilbert’s 17th problem: if a noncommutative rational function is positive semidefinite on all tuples of hermitian matrices in its domain, thenExpand
The free Grothendieck theorem.
The main result of this article establishes the free analog of Grothendieck's Theorem on bijective polynomial mappings of $\mathbb{C}^g$. Namely, we show if $p$ is a polynomial mapping in $g$ freelyExpand
Stable noncommutative polynomials and their determinantal representations
A noncommutative polynomial is stable if it is nonsingular on all tuples of matrices whose imaginary parts are positive definite. In this paper a characterization of stable polynomials is given inExpand
Noncommutative Polynomials Describing Convex Sets
TLDR
The main result of this paper solves the basic problem of determining those f for which D f is convex, and produces a minimal hermitian monic pencil L such that D f = D L . Expand
Blaschke–singular–outer factorization of free non-commutative functions
By classical results of Herglotz and F. Riesz, any bounded analytic function in the complex unit disk has a unique inner-outer factorization. Here, a bounded analytic function is called \emph{inner}Expand
On domains of noncommutative rational functions
Abstract In this paper the stable extended domain of a noncommutative rational function is introduced and it is shown that it can be completely described by a monic linear pencil from the minimalExpand
Positivstellensätze for noncommutative rational expressions
We derive some Positivstellensatze for noncommutative rational expressions from the Positivstellensatze for noncommutative polynomials. Specifically, we show that if a noncommutative rationalExpand
...
1
2
...

References

SHOWING 1-10 OF 71 REFERENCES
Matrix coefficient realization theory of noncommutative rational functions.
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 ofExpand
Free loci of matrix pencils and domains of noncommutative rational functions
Consider a monic linear pencil $L(x) = I - A_1x_1 - \cdots - A_gx_g$ whose coefficients $A_j$ are $d \times d$ matrices. It is naturally evaluated at $g$-tuples of matrices $X$ using the KroneckerExpand
A non-commutative real Nullstellensatz and Hilbert's 17th problem
1. Generalities Our object of study will be algebras with involution, or *-algebras as we will often call them. All our rings will be algebras over a field F of characteristic # 2; F is endowed withExpand
A Real Nullstellensatz for Matrices of Non-Commutative Polynomials
This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $\ast$-algebra $\RR\axs$ with $x=(x_1, \ldots, x_n)$. This result is a generalization of a result ofExpand
Noncommutative symmetric functions
This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in anExpand
NONCOMMUTATIVE CONVEXITY ARISES FROM LINEAR MATRIX INEQUALITIES.
This paper concerns polynomials in g noncommutative variables x=(x1,…,xg), inverses of such polynomials, and more generally noncommutative “rational expressions” with real coefficients which areExpand
Free Function Theory Through Matrix Invariants
Abstract This paper concerns free function theory. Free maps are free analogs of analytic functions in several complex variables and are defined in terms of freely noncommuting variables. A functionExpand
Rational identities and applications to algebra and geometry
Let 1) be a division algebra with a center F containing a field C. Intuitively speaking a rational identity p[x, y. ...I = 0 means a relation which holds identically in T1 and is formed from a finiteExpand
“Positive” noncommutative polynomials are sums of squares
Hilbert's 17th problem concerns expression of polynomials on R n as a sum of squares. It is well known that many positive polynomials are not sums of squares; see [Re], [D'A] for excellent surveys.Expand
Singularities of rational functions and minimal factorizations: The noncommutative and the commutative setting
We show that the singularities of a matrix-valued noncommutative rational function which is regular at zero coincide with the singularities of the resolvent in its minimal state space realization.Expand
...
1
2
3
4
5
...