Subnormal operators and the Kaplansky density theorem

We show that if S is a pure subnormal operator, then the minimal normal extension can be written as with . We also extend the Kaplansky density theorem by proving that if is a unital -algebra of operators, then every subnormal contraction in is a (SOT) limit of normal contractions in . We prove similar results for subnormal tuples. Received: 26 July 1998 / in final form: 30 March 1999     

Trace formulas for a class of subnormal tuples of operators

Trace formulas are established for the product of commutators related to subnormal tuple of operators (S ₁,...,S _n ) with minimal normal extension (N ₁,...,N _n ) satisfying conditions that sp(S _j )/sp(N _j ) is simply-connected with smooth boundary Jordan curve sp(N _i ) and [S _j ^* ,S _j ]^1/2 L ¹,j=1, 2,...,n.Some complete unitary invariants related to the trace formulas are found.This work is supported in part by NSF Grant no. DMS-9101268.     

Schur product techniques for commuting multivariable weighted shifts

In this paper we study the hyponormality and subnormality of 2-variable weighted shifts using the Schur product techniques in matrices. As applications, we generalize the result in [R. Curto, J. Yoon, Jointly hyponormal pairs of subnormal operators need not be jointly subnormal, Trans. Amer. Math. Soc. 358 (2006) 5135-5159, Theorem 5.2] and give a non-trivial, large class satisfying the Curto-Muhly-Xia conjecture [R. Curto, P. Muhly, J. Xia, Hyponormal pairs of commuting operators, Oper. Theory Adv. Appl. 35 (1988) 1-22] for 2-variable weighted shifts. Further, we give a complete characterization of hyponormality and subnormality in the class of flat, contractive, 2-variable weighted shifts T≡(T₁,T₂) with the condition that the norm of the 0th horizontal 1-variable weighted shift of T is a given constant.     

The Mosaic and Principal Function of a Subnormal Operator

In this paper, we use the mosaic of a subnormal operator given by Daoxing Xia to give an alternate definition of the Pincus principal function for pure subnormal operators. This allows us to provide much simplified proofs of some of the basic properties of the principal function and of the Carey-Helton-Howe-Pincus Theorem in the subnormal case.     

Wiener criterion for a class of degenerate elliptic operators

In this paper we give some geometric criteria (analogous to Wiener's, Poincaré's and Zaremba's criteria for the Laplacian) for the regularity of boundary points for the Dirichlet problem relative to a class of partial differtial operators of the form ∑_{j = 1}ⁿ X_j², fulfilling Hörmander's condition.     

Functional calculus for non-commuting operators with real spectra via an iterated Cauchy formula

We define a smooth functional calculus for a non-commuting tuple of (unbounded) operators A_j on a Banach space with real spectra and resolvents with temperate growth, by means of an iterated Cauchy formula. The construction is also extended to tuples of more general operators allowing smooth functional calculii. We also discuss the relation to the case with commuting operators.     

Hyponormal operators with rank-two self-commutators

In this paper it is shown that if T∈L(H) satisfies

(i)

T is a pure hyponormal operator;

(ii)

[T^∗,T] is of rank two; and

(iii)

ker[T^∗,T] is invariant for T,

then T is either a subnormal operator or the Putinar's matricial model of rank two. More precisely, if T_|ker[T^∗,T] has a rank-one self-commutator then T is subnormal and if instead T_|ker[T^∗,T] has a rank-two self-commutator then T is either a subnormal operator or the kth minimal partially normal extension, , of a (k+1)-hyponormal operator Tk which has a rank-two self-commutator for any k∈Z₊. Hence, in particular, every weakly subnormal (or 2-hyponormal) operator with a rank-two self-commutator is either a subnormal operator or a finite rank perturbation of a k-hyponormal operator for any k∈Z₊.     

Representation and index theory for C1-algebras generated by commuting isometries

We discuss here representation and Fredholm theory for C¹-algebras generated by commuting isometries. More particularly, for n commuting isometries {V_j: 1 ? j ? n} on separable Hilbert space we give a representation resembling the well-known representation for a single isometry. Our representation permits an analysis of the C¹-algebras $\text{Ol}$=$\text{Ol}$(V_j:1?j?n) generated by the {V_j}. The commutator ideal in $\text{Ol}$ is identified precisely and, under certain additional hypotheses, the Fredholm operators in $\text{Ol}$ are also precisely determined. Finally, we obtain formulas in terms of topological data for the index of Fredholm operators in some interesting algebras of the type $\text{Ol}$(V_j:1?j?n).     

Xia Spectrum for Some Class of Operators

In this paper, we introduce Xia spectra of n-tuples of operators satisfying |T ²| ≥ U|T ²|U* for the polar decomposition of T = U|T| and we extend Putnam’s inequality to these tuples [7]. This research is partially supported by Grant-in-Aid Research No.17540176.     

Calcul fonctionnel par la transformation de Mellin et opérateurs admissibles

Mellin's transform is used to establish a functional calculus of a class of pseudodifferential-operators depending on a small parameter h > 0. We apply for exeample this result to prove the semi-classical behaviour of the discrete spectrum of Schrödinger operators ?h² · Δ + V, and of Dirac operators h ∑_{j = 1}³α_jD_j + α₄ ? V.     

On the distribution of integer random variables related by a certain linear inequality: III

We consider tuples {N _jk }, j = 1, 2, ..., k = 1, ..., q _j , of nonnegative integers such that $$ \sum\limits_{j = 1}^\infty {\sum\limits_{k = 1}^{q_j } {jN_{jk} } } \leqslant M. $$ Assuming that q _j ～ j ^d?1, 1 < d < 2, we study how the probabilities of deviations of the sums $ \sum\nolimits_{j = j_1 }^{j_2 } {\sum\nolimits_{k = 1}^{q_j } {N_{jk} } } $ N _jk from the corresponding integrals of the Bose-Einstein distribution depend on the choice of the interval [j ₁,j ₂].     

Compatible metrics and the diagonalizability of nonlocally bi-Hamiltonian systems of hydrodynamic type

We study bi-Hamiltonian systems of hydrodynamic type with nonsingular (semisimple) nonlocal bi-Hamiltonian structures. We prove that all such systems of hydrodynamic type are diagonalizable and that the metrics of the bi-Hamiltonian structure completely determine the complete set of Riemann invariants constructed for any such system. Moreover, we prove that for an arbitrary nonsingular (semisimple) nonlocally bi-Hamiltonian system of hydrodynamic type, there exist local coordinates (Riemann invariants) such that all matrix differential-geometric objects related to this system, namely, the matrix (affinor) V_jⁱ(u) of this system of hydrodynamic type, the metrics g ₁ ^ij(u) and g ₂ ^ij(u), the affinor υ_jⁱ(u) = g ₁ ^is(u)g _2,sj(u), and also the affinors (w _1,n)_jⁱ(u) and (w _2,n)_jⁱ(u) of the nonsingular nonlocal bi-Hamiltonian structure of this system, are diagonal in these special “diagonalizing” local coordinates (Riemann invariants of the system). The proof is a natural corollary of the general results of our previously developed theories of compatible metrics and of nonlocal bi-Hamiltonian structures; we briefly review the necessary notions and results in those two theories.     

Free monotone transport

By solving a free analog of the Monge-Ampère equation, we prove a non-commutative analog of Brenier’s monotone transport theorem: if an n-tuple of self-adjoint non-commutative random variables Z ₁,…,Z _n satisfies a regularity condition (its conjugate variables ξ ₁,…,ξ _n should be analytic in Z ₁,…,Z _n and ξ _j should be close to Z _j in a certain analytic norm), then there exist invertible non-commutative functions F _j of an n-tuple of semicircular variables S ₁,…,S _n , so that Z _j =F _j (S ₁,…,S _n ). Moreover, F _j can be chosen to be monotone, in the sense that and g is a non-commutative function with a positive definite Hessian. In particular, we can deduce that C ^?(Z ₁,…,Z _n )?C ^?(S ₁,…,S _n ) and \(W^{*}(Z_{1},\dots,Z_{n})\cong L(\mathbb{F}(n))\) . Thus our condition is a useful way to recognize when an n-tuple of operators generate a free group factor. We obtain as a consequence that the q-deformed free group factors \(\varGamma_{q}(\mathbb{R}^{n})\) are isomorphic (for sufficiently small q, with bound depending on n) to free group factors. We also partially prove a conjecture of Voiculescu by showing that free Gibbs states which are small perturbations of a semicircle law generate free group factors. Lastly, we show that entrywise monotone transport maps for certain Gibbs measure on matrices are well-approximated by the matricial transport maps given by free monotone transport.     

Geometric approach to a dilation theorem

Problem: Given operators A_j ? O on Hilbert space $\text{H}$, with ΣA_j = 1, to find commuting projectors E_j on a Hilbert space $\text{H}$ ? $\text{H}$ such that (for all _j) x¹A_jy = x¹E_jy for, x, y ∈ $\text{H}$. This paper gives an explicit construction, quite different from the familiar solution.     

Characterization of similarities between two n-frames of projectors

An n-frame on a Banach space $\text{X}$ is E=(E₁,?, E_n) where the E_j's are bounded linear operators on $\text{X}$ such that E_j≠0,

$\text{∑}\text{j=1}\text{n}\text{E}{}_{\mathrm{j}}$

, and E_jE_k=δ_jkE_k (j, k=1,?, n). It is known that if two n-frames E and F are sufficiently close to each other, then they are similar, that is, F_j=TE_jT^-1 with T a bounded linear operator. Among the operators which realize the similarity of the two frames, there is the balanced transformation U(F, E)=(Σⁿ_j=1F_jE_j)(Σⁿ_j=1E_jF_jE_j)^{$\text{-1}\text{2}$}. One of our main results is a local characterization of the balanced transformation. Another operator which implements the similarity between E and F is the direct rotation R(F, E). It comes up in connection with the study of the set of all n-frames as a Banach manifold with an affine connection. Finally, it is shown that for quite a large set of pairs of 2-frames, the direct rotation has a global characterization.     

On certain spaces of lattice diagram determinants

The aim of this work is to study some lattice diagram determinants Δ_L(X,Y) as defined in (Adv. Math. 142 (1999) 244) and to extend results of Aval et al. (J. Combin. Theory Ser. A, to appear). We recall that M_L denotes the space of all partial derivatives of Δ_L. In this paper, we want to study the space M_i,j^k(X,Y) which is defined as the sum of M_L spaces where the lattice diagrams L are obtained by removing k cells from a given partition, these cells being in the “shadow” of a given cell (i,j) in a fixed Ferrers diagram. We obtain an upper bound for the dimension of the resulting space M_i,j^k(X,Y), that we conjecture to be optimal. This dimension is a multiple of n! and thus we obtain a generalization of the n! conjecture. Moreover, these upper bounds associated to nice properties of some special symmetric differential operators (the “shift” operators) allow us to construct explicit bases in the case of one set of variables, i.e. for the subspace M_i,j^k(X) consisting of elements of 0 Y-degree.     

The numerical range of a tridiagonal operator

Let r be a real number and A a tridiagonal operator defined by Aej=ej−1+rjej+1, j=1,2,…, where {e₁,e₂,…} is the standard orthonormal basis for ?²(N). Such tridiagonal operators arise in Rogers-Ramanujan identities. In this paper, we study the numerical ranges of these tridiagonal operators and finite-dimensional tridiagonal matrices. In particular, when r=−1, the numerical range of the finite-dimensional tridiagonal matrix is the convex hull of two explicit ellipses. Applying the result, we obtain that the numerical range of the tridiagonal operator is the square

     

Bernstein type operators having 1 and x j as fixed points

For certain generalized Bernstein operators {L _n } we show that there exist no i, j ∈ {1, 2, 3,…}, i < j, such that the functions e _i (x) = x ⁱ and e _j (x) = x ^j are preserved by L _n for each n = 1, 2,… But there exist infinitely many e _i such that e ₀(x) = 1 and e _j (x) = x _j are its fixed points.     

On infinite-rank singular perturbations of the Schrödinger operator

Schrödinger operators with infinite-rank singular potentials V=Σ _i,j=1 ^∞ b _ij〈φ_j,·〉φ_i are studied under the condition that the singular elements ψ _j are ξ _j(t)-invariant with respect to scaling transformationsin ?³.     

On an inequality of Tosio Kato for degenerate-elliptic operators

Let Ω be a domain in Rⁿ and T = ∑_{j,k = 1}ⁿ(?_j ? ib_j(x)) a_jk(x)(?_k ? ib_k(x)), where the a_jk and the b_j are real valued functions in $\text{C}{}^1\text{(Ω)}$, and the matrix (a_jk(x)) is symmetric and positive definite for every $\text{x ? Ω}$. If T₀ is the same as T but with b_j = 0, j = 1,…, n, and if u and Tu are in $\text{L}{}_{\mathrm{<mtext>loc</mtext>}}{}^1\text{(Ω)}$, then T. Kato has established the distributional inequality $\text{T}{}_0\text{¦ u ¦ ?}\text{Re[(sign}$ ū) Tu]. He then used this result to obtain selfadjointness results for perturbed operators of the form T ? q on Rⁿ. In this paper we shall obtain Kato's inequality for degenerate-elliptic operators with real coefficients. We then use this to get selfadjointness results for second order degenerate-elliptic operators on Rⁿ.