When is the numerical range of a nilpotent matrix circular?

The problem formulated in the title is investigated. The case of nilpotent matrices of size at most 4 allows a unitary treatment. The numerical range of a nilpotent matrix M of size at most 4 is circular if and only if the traces tr M^∗M² and tr M^∗M³ are null. The situation becomes more complicated as soon as the size is 5. The conditions under which a 5×5 nilpotent matrix has circular numerical range are thoroughly discussed.     

Nonstationary curves in Hilbert spaces and their correlation functions II

Partially supportted by Grant MM-22/1991 of MESC     

Nonstationary curves in Hilbert spaces and their correlation functions I

One stohastic process after A. Kolmogorov can be considered as a curve in Hilbert space. The stationary random curves, i. e. such curves, the correlation functions (CF) of which depend on the difference of the arguments, have been studied by S. Bohner [1] and A. Hinchin [2]. These authors have obtained spectral representation of the stohastic stationary processes in the formPartially supported by Grant MM-22/1991 of MESC.     

Repeated eigenvectors and the numerical range of self-adjoint quadratic operator polynomials

LetL() be a self-adjoint quadratic operator polynomial on a Hilbert space with numerical rangeW(L). The main concern of this paper is with properties of eigenvalues on W(L). The investigation requires a careful discussion of repeated eigenvectors of more general operator polynomials. It is shown that, in the self-adjoint quadratic case, non-real eigenvalues on W(L) are semisimple and (in a sense to be defined) they are normal. Also, for any eigenvalue at a point on W(L) where an external cone property is satisfied, the partial multiplicities cannot exceed two.     

Leading coefficients of the eigenvalues of perturbed analytic matrix functions

This note contains some supplements to our earlier notes [LN II], [LN III], where the Newton diagram was used in order to obtain in a straightforward way information about the perturbed eigenvalues of an analytic and analytically perturbed matrix function.     

Factorization of matrix functions and characteristic properties of the circle

In the present paper we discuss two problems on factorizations of matrix-valued functions with respect to a simple closed rectifiable curve . These two problems are related and we show that in both of them circular contours play a remarkable role.     

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

Sarason interpolation and Toeplitz corona theorem for almost periodic matrix functions

Sarason interpolation and Toeplitz corona problems are studied for almost periodic matrix functions. Recent results on almost periodic factorization and related generalized Toeplitz operators are the main tools in the study.Supported in part by NSF Grant DMS 9500912Supported in part by NATO Collaborative Research Grant 950332Supported by NSF Grant DMS 9500924     

Normal boundary dilations and rationally invariant subspaces

The first named author was supported by grants from the National Science Foundation.     

On the corona theorem for almost periodic functions

LetAP ⁺ (R ⁿ ) denote the Banach algebra of all continuous almost periodic functions onR ⁿ whose Bohr-Fourier spectrum is contained in an additive semi-group [0, ) ⁿ . We show that the maximal ideal space ofAP ⁺ (R ⁿ ) may have a nonempty corona and we characterize all for which the corona is empty. Analogous results are established for algebras of almost periodic functions with absolutely convergent Fourier series.     

Majorization and some operator monotone functions

Let h(t) be a non-decreasing function on I and k(t) an increasing function on J. Then h is said to be majorized by k if k(A)≦k(B) implies h(A)≦h(B). f(t) is operator monotone, by definition, if f(t) is majorized by t. By making use of this majorization we will show that is operator monotone on [0,∞) for 0≦a,b<∞ and for 0≦r≦1; the special case of a=b=1 is the theorem due to Petz-Hasegawa.     

Eigenvalue extensions of Bohr’s inequality

We present a weak majorization inequality and apply it to prove eigenvalue and unitarily invariant norm extensions of a version of the Bohr’s inequality due to Vasi? and Ke?ki?.     

Zero-pole interpolation for meromophic matrix functions on an algebraic curve and transfer functions of 2D systems

We formulate and solve the problem of constructing a meromorphic bundle map over a compact Riemann surface X having a prescribed zero-pole structure (including directional information). The output bundle together with the zero-pole data is prespecified while the input bundle and the bundle map are to be determined. The Riemann surface X is assumed to be (birationally) embedded as an irreducible algebraic curve in ² and both input and output bundles are assumed to be equal to the kernels of determinantal representations for X. In this setting the solution can be found as the joint transfer function of a Livsic-Kravitsky two-operator commutative vessel (2D input-output dynamical system). Also developed is the basic theory of two-operator commutative vessels and the correct analogue of the transfer function for such a system (a meromorphic bundle map between input and output bundles defined over an algebraic curve associated with the vessel) together with a state space realization, a Mittag-Leffler type interpolation theorem and the state space similarity theorem for such bundle mappings. A more abstract version of the zero-pole interpolation problem is also presented.     

Strong monotonicity of operator functions

LetA, B be bounded selfadjoint operators on a Hilbert space. We will give a formula to get the maximum subspace such that is invariant forA andB, and . We will use this to show strong monotonicity or strong convexity of operator functions. We will see that when 0≤A≤B, andB−A is of finite rank,A ^t ≤B ^t for somet>1 if and only if the null space ofB−A is invariant forA.     

On limit theorem for the eigenvalues of product of two random matrices

The existence of limiting spectral distribution (LSD) of the product of two random matrices is proved. One of the random matrices is a sample covariance matrix and the other is an arbitrary Hermitian matrix. Specially, the density function of LSD of S_nW_n is established, where S_n is a sample covariance matrix and W_n is Wigner matrix.     

J-pseudo-spectral andJ-inner-pseudo-outer factorizations for matrix polynomials

For a comonic polynomialL() and a selfadjoint invertible matrixJ the following two factorization problems are considered: firstly, we parametrize all comonic polynomialsR() such that . Secondly, if it exists, we give theJ-innerpseudo-outer factorizationL()=()R(), where () isJ-inner andR() is a comonic pseudo-outer polynomial. We shall also consider these problems with additional restrictions on the pole structure and/or zero structure ofR(). The analysis of these problems is based on the solution of a general inverse spectral problem for rational matrix functions, which consists of finding the set of rational matrix functions for which two given pairs are extensions of their pole and zero pair, respectively.The work of this author was supported by the USA-Israel Binational Science Foundation (BSF) Grant no. 9400271.     

Nondissipative curves in Hilbert spaces having a limit of the corresponding correlation function

In this work a class of nondissipative curves in Hilbert spaces whose correlation functions have a limit ast± is presented. These curves correspond to a class of nondissipative basic operators that are a coupling of a dissipative operator and an antidissipative one. The wave operators and the scattering operator for the couple (A ^*, A) ( ) are obtained. The present work is a continuation and a generalization of the investigations of K.Kirchev and V.Zolotarev [1, 2, 3] on the model representations of curves in Hilbert spaces where the respective semigroup generator is a dissipative operator. This article includes four parts. A new form of the triangular model of M.S. Livic ([4, 5]) for the considered operators is introduced in the first part by the help of a suitable representation of the selfadjoint operatorL. This allows us to describe the studied class of nondissipative curves. The second part studies some results concerning the application of the analogue for multiplicative integrals of the well-known Privalov's theorem ([6]) about the limit values in the scalar case. This analogue is a reconstruction of measure by limit values in Stieltjes-Perron's style and it is obtained by L.A. Sakhnovich ([7]). Another problem, considered in the second part is the analogue inC ^m of the classical gamma-function and several properties for further consideration. In the third part the asymptotics of the studied curves corresponding to the nondissipative operators-couplings of a dissipative and an antidissipative operator with absolutely continuous real spectra and the limits of their correlation functions are obtained In the fourth part a scattering theory of a couple (A ^*, A) with a nondissipative operatorA from is constructed as in the selfadjoint case ([8, 9, 10]) and in the dissipative case ([7]). These results show an interesting new effect: the studied nondissipative case is near to the dissipative one.Partially supported by Grant MM-810/98 of MESC