Source author record

Dmitry S. Kaliuzhnyi-Verbovetskyi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.CV math.OA math.RA math.CA math.OC

Catalog footprint

Research overview

11works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Matrix-valued Hermitian Positivstellensatz, lurking contractions, and contractive determinantal representations of stable polynomials

We prove that every matrix-valued rational function $F$ , which is regular on the closure of a bounded domain $\mathcal{D}_\mathbf{P}$ in $\mathbb{C}^d$ and which has the associated Agler norm strictly less than 1, admits a finite-dimensional contractive realization $F(z)= D + C\mathbf{P}(z)_n(I-A\mathbf{P}(z)_n)^{-1} B.$ Here $\mathcal{D}_\mathbf{P}$ is defined by the inequality $\|\mathbf{P}(z)\|<1$ , where $\mathbf{P}(z)$ is a direct sum of matrix polynomials $\mathbf{P}_i(z)$ (so that appropriate Archimedean and approximation conditions are satisfied), and $\mathbf{P}(z)_n=\bigoplus_{i=1}^k\mathbf{P}_i(z)\otimes I_{n_i}$ , with some $k$ -tuple $n$ of multiplicities $n_i$ ; special cases include the open unit polydisk and the classical Cartan domains. The proof uses a matrix-valued version of a Hermitian Positivstellensatz by Putinar, and a lurking contraction argument. As a consequence, we show that every polynomial with no zeros on the closure of $\mathcal{D}_\mathbf{P}$ is a factor of $\det (I - K\mathbf{P}(z)_n)$ , with a contractive matrix $K$ .

preprint2015arXiv

Contractive determinantal representations of stable polynomials on a matrix polyball

We show that an irreducible polynomial $p$ with no zeros on the closure of a matrix unit polyball, a.k.a. a cartesian product of Cartan domains of type I, and such that $p(0)=1$ , admits a strictly contractive determinantal representation, i.e., $p=\det(I-KZ_n)$ , where $n=(n_1,...,n_k)$ is a $k$ -tuple of nonnegative integers, $Z_n=\bigoplus_{r=1}^k(Z^{(r)}\otimes I_{n_r})$ , $Z^{(r)}=[z^{(r)}_{ij}]$ are complex matrices, $p$ is a polynomial in the matrix entries $z^{(r)}_{ij}$ , and $K$ is a strictly contractive matrix. This result is obtained via a noncommutative lifting and a theorem on the singularities of minimal noncommutative structured system realizations.

preprint2015arXiv

Implicit/inverse function theorems for free noncommutative functions

We prove an implicit function theorem and an inverse function theorem for free noncommutative functions over operator spaces and on the set of nilpotent matrices. We apply these results to study dependence of the solution of the initial value problem for ODEs in noncommutative spaces on the initial data and to extremal problems with noncommutative constraints.

preprint2015arXiv

Rational inner functions on a square-matrix polyball

We establish the existence of a finite-dimensional unitary realization for every matrix-valued rational inner function from the Schur--Agler class on a unit square-matrix polyball. In the scalar-valued case, we characterize the denominators of these functions. We also show that every polynomial with no zeros in the closed domain is such a denominator. One of our tools is the Korányi--Vagi theorem generalizing Rudin's description of rational inner functions to the case of bounded symmetric domains; we provide a short elementary proof of this theorem suitable in our setting.

preprint2015arXiv

Schur--Agler and Herglotz--Agler classes of functions: positive-kernel decompositions and transfer-function realizations

We discuss transfer-function realization for multivariable holomorphic functions mapping the unit polydisk or the right polyhalfplane into the operator analogue of either the unit disk or the right halfplane (Schur/Herglotz functions over either the unit polydisk or the right polyhalfplane) which satisfy the appropriate stronger contractive/positive real part condition for the values of these functions on commutative tuples of strict contractions/strictly accretive operators (Schur--Agler/Herglotz--Agler functions over either the unit polydisk or the right polyhalfplane). As originally shown by Agler, the first case (polydisk to disk) can be solved via unitary extensions of a partially defined isometry constructed in a canonical way from a kernel decomposition for the function (the {\em lurking-isometry method}). We show how a geometric reformulation of the lurking-isometry method (embedding of a given isotropic subspace of a Kre\uın space into a Lagrangian subspace---the {\em lurking-isotropic-subspace method}) can be used to handle the second two cases (polydisk to halfplane and polyhalfplane to disk), as well as the last case (polyhalfplane to halfplane) if an additional growth condition at $\infty$ is imposed. For the general fourth case, we show how a linear-fractional-transformation change of variable can be used to arrive at the appropriate symmetrized nonhomogeneous Bessmertny\uı long-resolvent realization. We also indicate how this last result recovers the classical integral representation formula for scalar-valued holomorphic functions mapping the right halfplane into itself.

preprint2014arXiv

Foundations of Free Noncommutative Function Theory

The goal of this work is to develop, in a systematic way and in a full natural generality, the foundations of a theory of functions of (free) noncommuting variables.

preprint2013arXiv

Rational Cayley inner Herglotz-Agler functions: positive-kernel decompositions and transfer-function realizations

The Bessmertny\uı class consists of rational matrix-valued functions of $d$ complex variables representable as the Schur complement of a block of a linear pencil $A(z)=z_1A_1+\cdots+z_dA_d$ whose coefficients $A_k$ are positive semidefinite matrices. We show that it coincides with the subclass of rational functions in the Herglotz-Agler class over the right poly-halfplane which are homogeneous of degree one and which are Cayley inner. The latter means that such a function is holomorphic on the right poly-halfplane and takes skew-Hermitian matrix values on $(i\mathbb{R})^d$ , or equivalently, is the double Cayley transform (over the variables and over the matrix values) of an inner function on the unit polydisk. Using Agler-Knese's characterization of rational inner Schur-Agler functions on the polydisk, extended now to the matrix-valued case, and applying appropriate Cayley transformations, we obtain characterizations of matrix-valued rational Cayley inner Herglotz-Agler functions both in the setting of the polydisk and of the right poly-halfplane, in terms of transfer-function realizations and in terms of positive-kernel decompositions. In particular, we extend Bessmertny\uı's representation to rational Cayley inner Herglotz-Agler functions on the right poly-halfplane, where a linear pencil $A(z)$ is now in the form $A(z)=A_0+z_1A_1+\cdots +z_dA_d$ with $A_0$ skew-Hermitian and the other coefficients $A_k$ positive semidefinite matrices.

preprint2013arXiv

Stable and real-zero polynomials in two variables

For every bivariate polynomial $p(z_1, z_2)$ of bidegree $(n_1, n_2)$ , with $p(0,0)=1$ , which has no zeros in the open unit bidisk, we construct a determinantal representation of the form $p(z_1,z_2)=\det (I - K Z),$ where $Z$ is an $(n_1+n_2)\times(n_1+n_2)$ diagonal matrix with coordinate variables $z_1$ , $z_2$ on the diagonal and $K$ is a contraction. We show that $K$ may be chosen to be unitary if and only if $p$ is a (unimodular) constant multiple of its reverse. Furthermore, for every bivariate real-zero polynomial $p(x_1, x_2),$ with $p(0,0)=1$ , we provide a construction to build a representation of the form $p(x_1,x_2)=\det (I+x_1A_1+x_2A_2),$ where $A_1$ and $A_2$ are Hermitian matrices of size equal to the degree of $p$ . A key component of both constructions is a stable factorization of a positive semidefinite matrix-valued polynomial in one variable, either on the circle (trigonometric polynomial) or on the real line (algebraic polynomial).

preprint2012arXiv

Fixed point theorems for noncommutative functions

We establish a fixed point theorem for mappings of square matrices of all sizes which respect the matrix sizes and direct sums of matrices. The conclusions are stronger if such a mapping also respects matrix similarities, i.e., is a noncommutative function. As a special case, we prove the corresponding contractive mapping theorem which can be viewed as a new version of the Banach Fixed Point Theorem. This result is then applied to prove the existence and uniqueness of a solution of the initial value problem for ODEs in noncommutative spaces. As a by-product of the ideas developed in this paper, we establish a noncommutative version of the principle of nested closed sets.

preprint2012arXiv

Norm-constrained determinantal representations of polynomials

For every multivariable polynomial $p$ , with $p(0)=1$ , we construct a determinantal representation $p=\det (I - K Z),$ where $Z$ is a diagonal matrix with coordinate variables on the diagonal and $K$ is a complex square matrix. Such a representation is equivalent to the existence of $K$ whose principal minors satisfy certain linear relations. When norm constraints on $K$ are imposed, we give connections to the multivariable von Neumann inequality, Agler denominators, and stability. We show that if a multivariable polynomial $q$ , $q(0)=0,$ satisfies the von Neumann inequality, then $1-q$ admits a determinantal representation with $K$ a contraction. On the other hand, every determinantal representation with a contractive $K$ gives rise to a rational inner function in the Schur--Agler class.

preprint2010arXiv

Noncommutative rational functions, their difference-differential calculus and realizations

Noncommutative rational functions appeared in many contexts in system theory and control, from the theory of finite automata and formal languages to robust control and LMIs. We survey the construction of noncommutative rational functions, their realization theory and some of their applications. We also develop a difference-differential calculus as a tool for further analysis.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Dmitry S. Kaliuzhnyi-Verbovetskyi

Research overview

Is this your work?

11 publications

Matrix-valued Hermitian Positivstellensatz, lurking contractions, and contractive determinantal representations of stable polynomials

Contractive determinantal representations of stable polynomials on a matrix polyball

Implicit/inverse function theorems for free noncommutative functions

Rational inner functions on a square-matrix polyball

Schur--Agler and Herglotz--Agler classes of functions: positive-kernel decompositions and transfer-function realizations

Foundations of Free Noncommutative Function Theory

Rational Cayley inner Herglotz-Agler functions: positive-kernel decompositions and transfer-function realizations

Stable and real-zero polynomials in two variables

Fixed point theorems for noncommutative functions

Norm-constrained determinantal representations of polynomials

Noncommutative rational functions, their difference-differential calculus and realizations

See the researcher in context

Building this map preview