# 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

#### 14 Citations

Factorization of Noncommutative Polynomials and Nullstellensätze for the Free Algebra

- Mathematics
- 2019

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 \in… Expand

Noncommutative rational functions and their finite-dimensional representations

- Mathematics
- 2017

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 noncommutative… Expand

Hilbert’s 17th problem in free skew fields

- Forum of Mathematics, Sigma
- 2020

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 its… Expand

Hilbert's 17th problem in free skew fields

- Mathematics
- 2021

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, then… Expand

The free Grothendieck theorem.

- Mathematics
- 2017

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$ freely… Expand

Stable noncommutative polynomials and their determinantal representations

- Mathematics
- 2018

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 in… Expand

Noncommutative Polynomials Describing Convex Sets

- Computer Science, Mathematics
- Found. Comput. Math.
- 2021

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

- Mathematics
- 2020

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

- Mathematics
- 2016

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 minimal… Expand

Positivstellensätze for noncommutative rational expressions

- Mathematics
- 2017

We derive some Positivstellensatze for noncommutative rational expressions from the Positivstellensatze for noncommutative polynomials. Specifically, we show that if a noncommutative rational… Expand

#### References

SHOWING 1-10 OF 71 REFERENCES

Matrix coefficient realization theory of noncommutative rational functions.

- Mathematics
- 2015

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… Expand

Free loci of matrix pencils and domains of noncommutative rational functions

- Mathematics
- 2015

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 Kronecker… Expand

A non-commutative real Nullstellensatz and Hilbert's 17th problem

- Mathematics
- 1976

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 with… Expand

A Real Nullstellensatz for Matrices of Non-Commutative Polynomials

- Mathematics
- 2013

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 of… Expand

Noncommutative symmetric functions

- Physics, Mathematics
- 1994

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 an… Expand

NONCOMMUTATIVE CONVEXITY ARISES FROM LINEAR MATRIX INEQUALITIES.

- Mathematics
- 2006

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 are… Expand

Free Function Theory Through Matrix Invariants

- Mathematics
- Canadian Journal of Mathematics
- 2017

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 function… Expand

Rational identities and applications to algebra and geometry

- Mathematics
- 1966

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 finite… Expand

“Positive” noncommutative polynomials are sums of squares

- Mathematics
- 2002

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

- Mathematics
- 2009

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