Searcharxiv⌕ Search

arXiv subjects

Hugo J. Woerdeman

Publications and source records attributed to Hugo J. Woerdeman.

31 records · Page 2Linked to original sources

Real Zero Polynomials and A. Horn's Problem

A. Horn's problem concerns find two self adjoint matrices A, B, so that A, B, and A+B have prescribed spectrum. In this paper, we show how it connects to an interpolation problem for two variable real zero polynomials and a tracial moment problem. In addition, we outline an algorithm to construct a pair (A,B).

math.SP↗

Fractional Minimal Rank

The notion of fractional minimal rank of a partial matrix is introduced, a quantity that lies between the triangular minimal rank and the minimal rank of a partial matrix. The fractional minimal rank of partial matrices whose bipartite graph is a minimal cycle are determined. Along the way, we determine the minimal rank of a partial block matrix with invertible given entries that lie on a minimal cycle. Some open questions are stated.

math.FA↗

Reverse Cholesky factorization and tensor products of nest algebras

We prove that every positive semidefinite matrix over the natural numbers that is eventually 0 in each row and column can be factored as the product of an upper triangular matrix times a lower triangular matrix. We also extend some known results about factorization with respect to tensor products of nest algebras. Our proofs use the theory of reproducing kernel Hilbert spaces.

math.FA↗

Complete spectral sets and numerical range

We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view of Crouzeix's theorem, there is a universal constant $M$ (less than 5.6) so that if $P$ is a matrix polynomial and $T \in {\mathcal B}({\mathcal H})$, then $w(P(T)) \le M \|P\|_{W(T)}$. When $W(T) = \overline{\mathbb D}$, we have $M = \frac54$.

math.OA↗

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

math.CV↗

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.

math.CV↗

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.

math.FA↗

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).

math.FA↗

The Normal Defect of Some Classes of Matrices

An n \times n matrix A has a normal defect of k if there exists an (n+k) \times (n+k) normal matrix A_{ext} with A as a leading principal submatrix and k minimal. In this paper we compute the normal defect of a special class of 4 \times 4 matrices, namely matrices whose only nonzero entries lie on the superdiagonal, and we provide details for constructing minimal normal completion matrices A_{ext}. We also prove a result for a related class of n \times n matrices. Finally, we present an example of a 6 \times 6 block diagonal matrix having the property that its normal defect is strictly less than the sum of the normal defects of each of its blocks, and we provide sufficient conditions for when the normal defect of a block diagonal matrix is equal to the sum of the normal defects of each of its blocks.

math.FA↗

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.

math.FA↗

Outer factorizations in one and several variables

A multivariate version of Rosenblum's Fejer-Riesz theorem on outer factorization of trigonometric polynomials with operator coefficients is considered. Due to a simplification of the proof of the single variable case, new necessary and sufficient conditions for the multivariable outer factorization problem are formulated and proved.

math.FA↗

Checking $2 \times M$ separability via semidefinite programming

In this paper we propose a sequence of tests which gives a definitive test for checking $2\times M$ separability. The test is definitive in the sense that each test corresponds to checking membership in a cone, and that the closure of the union of all these cones consists exactly of {\it all} $2 \times M$ separable states. Membership in each single cone may be checked via semidefinite programming, and is thus a tractable problem. This sequential test comes about by considering the dual problem, the characterization of all positive maps acting ${\mathbb C}^{2 \times 2} \to {\mathbb C}^{M\times M}$. The latter in turn is solved by characterizing all positive quadratic matrix polynomials in a complex variable.

quant-ph↗