arXiv subjects

Dmitry S. Kalyuzhny\uı-Verbovetzki\uı

Publications and source records attributed to Dmitry S. Kalyuzhny\uı-Verbovetzki\uı.

4 recordsLinked to original sources

arXiv2005

Carathéodory interpolation on the non-commutative polydisk

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}$.

math.FA↗

arXiv2004

Multivariable $ρ$-contractions

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}$.

math.FA↗

arXiv2004

On the {Bessmertny\uı} Class of Homogeneous Positive Holomorphic Functions on a Product of Matrix Halfplanes

We generalize our earlier results from \cite{K} on the Bessmertny\uı 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\uı 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.

math.FA↗

arXiv2004

Non-commutative positive kernels and their matrix evaluations

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.

math.FA↗