-
Non-commutative positive kernels and their matrix evaluations
Authors:
Dmitry S. Kalyuzhnyĭ-Verbovetzkiĭ,
Victor Vinnikov
Abstract:
We show that a formal power series in $2N$ non-commuting indeterminates is a positive non-commutative kernel if and only if the kernel on $N$-tuples of matrices of any size obtained from this series by matrix substitution is positive. We present two versions of this result related to different classes of matrix substitutions. In the general case we consider substitutions of jointly nilpotent…
▽ More
We show that a formal power series in $2N$ non-commuting indeterminates is a positive non-commutative kernel if and only if the kernel on $N$-tuples of matrices of any size obtained from this series by matrix substitution is positive. We present two versions of this result related to different classes of matrix substitutions. In the general case we consider substitutions of jointly nilpotent $N$-tuples of matrices, and thus the question of convergence does not arise. In the ``convergent'' case we consider substitutions of $N$-tuples of matrices from a neighborhood of zero where the series converges. Moreover, in the first case the result can be improved: the positivity of a non-commutative kernel is guaranteed by the positivity of its values on the diagonal, i.e., on pairs of coinciding jointly nilpotent $N$-tuples of matrices. In particular this yields an analogue of a recent result of Helton on non-commutative sums-of-squares representations for the class of hereditary non-commutative polynomials. We show by an example that the improved formulation does not apply in the ``convergent'' case.
△ Less
Submitted 8 December, 2004;
originally announced December 2004.
-
On the {Bessmertnyĭ} Class of Homogeneous Positive Holomorphic Functions on a Product of Matrix Halfplanes
Authors:
Dmitry S. Kalyuzhnyĭ-Verbovetzkiĭ
Abstract:
We generalize our earlier results from \cite{K} on the Bessmertnyĭ class of operator-valued functions holomorphic in the open right poly-halfplane which admit representation as a Schur complement of a block of a linear homogeneous operator-valued function with positive semidefinite operator coefficients, to the case of a product of open right matrix halfplanes. Several equivalent characterizatio…
▽ More
We generalize our earlier results from \cite{K} on the Bessmertnyĭ class of operator-valued functions holomorphic in the open right poly-halfplane which admit representation as a Schur complement of a block of a linear homogeneous operator-valued function with positive semidefinite operator coefficients, to the case of a product of open right matrix halfplanes. Several equivalent characterizations of this generalized Bessmertnyĭ class are presented. In particular, its intimate connection with the Agler--Schur class of holomorphic contractive operator-valued functions on the product of matrix unit disks is established.
△ Less
Submitted 8 December, 2004;
originally announced December 2004.
-
Multivariable $ρ$-contractions
Authors:
Dmitry S. Kalyuzhnyĭ-Verbovetzkiĭ
Abstract:
We suggest a new version of the notion of $ρ$-dilation ($ρ>0$) of an $N$-tuple $\mathbf{A}=(A_1,...,A_N)$ of bounded linear operators on a common Hilbert space. We say that $\mathbf{A}$ belongs to the class $C_{ρ,N}$ if $\mathbf{A}$ admits a $ρ$-dilation $\widetilde{\mathbf{A}}=(\widetilde{A}_1,...,\widetilde{A}_N)$ for which $ζ\widetilde{\mathbf{A}}:=ζ_1\widetilde{A}_1+... +ζ_N\widetilde{A}_N$…
▽ More
We suggest a new version of the notion of $ρ$-dilation ($ρ>0$) of an $N$-tuple $\mathbf{A}=(A_1,...,A_N)$ of bounded linear operators on a common Hilbert space. We say that $\mathbf{A}$ belongs to the class $C_{ρ,N}$ if $\mathbf{A}$ admits a $ρ$-dilation $\widetilde{\mathbf{A}}=(\widetilde{A}_1,...,\widetilde{A}_N)$ for which $ζ\widetilde{\mathbf{A}}:=ζ_1\widetilde{A}_1+... +ζ_N\widetilde{A}_N$ is a unitary operator for each $ζ:=(ζ_1,...,ζ_N)$ in the unit torus $\mathbb{T}^N$. For N=1 this class coincides with the class $C_ρ$ of B. Sz.-Nagy and C. Foiaş. We generalize the known descriptions of $C_{ρ,1}=C_ρ$ to the case of $C_{ρ,N}, N>1$, using so-called Agler kernels. Also, the notion of operator radii $w_ρ, ρ>0$, is generalized to the case of $N$-tuples of operators, and to the case of bounded (in a certain strong sense) holomorphic operator-valued functions in the open unit polydisk $\mathbb{D}^N$, with preservation of all the most important their properties. Finally, we show that for each $ρ>1$ and $N>1$ there exists an $\mathbf{A}=(A_1,...,A_N)\in C_{ρ,N}$ which is not simultaneously similar to any $\mathbf{T}=(T_1,...,T_N)\in C_{1,N}$, however if $\mathbf{A}\in C_{ρ,N}$ admits a uniform unitary $ρ$-dilation then $\mathbf{A}$ is simultaneously similar to some $\mathbf{T}\in C_{1,N}$.
△ Less
Submitted 8 December, 2004;
originally announced December 2004.
-
Carathéodory interpolation on the non-commutative polydisk
Authors:
Dmitry S. Kalyuzhnyĭ-Verbovetzkiĭ
Abstract:
The Carathéodory problem in the $N$-variable non-commutative Herglotz--Agler class and the Carathéodory--Fejér problem in the $N$-variable non-commutative Schur--Agler class are posed. It is shown that the Carathéodory (resp., Carathéodory--Fejér) problem has a solution if and only if the non-commutative polynomial with given operator coefficients (the data of the problem indexed by an admissibl…
▽ More
The Carathéodory problem in the $N$-variable non-commutative Herglotz--Agler class and the Carathéodory--Fejér problem in the $N$-variable non-commutative Schur--Agler class are posed. It is shown that the Carathéodory (resp., Carathéodory--Fejér) problem has a solution if and only if the non-commutative polynomial with given operator coefficients (the data of the problem indexed by an admissible set $Λ$) takes operator values with positive semidefinite real part (resp., contractive operator values) on $N$-tuples of $Λ$-jointly nilpotent contractive $n\times n$ matrices, for all $n\in\mathbb{N}$.
△ Less
Submitted 17 March, 2005; v1 submitted 8 December, 2004;
originally announced December 2004.
-
Matrix-J-unitary non-commutative rational formal power series
Authors:
D. Alpay,
D. S. Kalyuzhnyi-Verbovetzkii
Abstract:
In this paper, a theory of realization and minimal factorization of rational matrix-valued functions which are $J$-unitary on the imaginary line or on the unit circle is extended to the setting of non-commutative rational formal power series. The property of $J$-unitarity holds on $N$-tuples of $n\times n$ skew-Hermitian versus unitary matrices ($n=1,2,...$), and a rational formal power series i…
▽ More
In this paper, a theory of realization and minimal factorization of rational matrix-valued functions which are $J$-unitary on the imaginary line or on the unit circle is extended to the setting of non-commutative rational formal power series. The property of $J$-unitarity holds on $N$-tuples of $n\times n$ skew-Hermitian versus unitary matrices ($n=1,2,...$), and a rational formal power series is called \emph{matrix-$J$-unitary} in this case. The close relationship between minimal realizations and structured Hermitian solutions $H$ of the Lyapunov or Stein equations is established. The results are specialized for the case of \emph{matrix-$J$-inner} rational formal power series. In this case $H>0$, however the proof of that is more elaborated than in the one-variable case and involves a new technique. For the rational \emph{matrix-inner} case, i.e., when $J=I$, the theorem of Ball, Groenewald and Malakorn on unitary realization of a formal power series from the non-commutative Schur--Agler class admits an improvement: its finite-dimensionality and uniqueness up to a unitary similarity is proved. A version of the theory for \emph{matrix-selfadjoint} rational formal power series is also presented. The concept of non-commutative formal reproducing kernel Pontryagin spaces is introduced, and in this framework the backward shift realization of a matrix-$J$-unitary rational formal power series in a finite-dimensional non-commutative de Branges--Rovnyak space is described.
△ Less
Submitted 5 April, 2005; v1 submitted 22 July, 2004;
originally announced July 2004.
-
On the Bessmertnyi Class of Homogeneous Positive Holomorphic Functions of Several Variables
Authors:
Dmitry S. Kalyuzhnyi-Verbovetzkii
Abstract:
The class of operator-valued functions which are homogeneous of degree one, holomorphic in the open right polyhalfplane, have positive semidefinite real parts there and take selfadjoint operator values at real points, and its subclass consisting of functions representable in the form of Schur complement of a block of a linear pencil of operators with positive semidefinite operator coefficients,…
▽ More
The class of operator-valued functions which are homogeneous of degree one, holomorphic in the open right polyhalfplane, have positive semidefinite real parts there and take selfadjoint operator values at real points, and its subclass consisting of functions representable in the form of Schur complement of a block of a linear pencil of operators with positive semidefinite operator coefficients, are investigated. The latter subclass is a generalization of the class of characteristic matrix functions of passive 2n-poles considered as functions of impedances of its elements, which was introduced by M. F. Bessmertny\uı. Several equivalent characterizations of the generalized Bessmertnyĭ class are given, and its intimate connection with the Agler--Schur class of holomorphic contractive operator-valued functions on the unit polydisk is established.
△ Less
Submitted 10 January, 2003;
originally announced January 2003.
