Polynomials in operator space theory

The aim of this article is to start a metric theory of homogeneous polynomials in the category of operator spaces. For this purpose we take advantage of the basic fact that the space P^m(E)$P^m(E)$ of all m-homogeneous polynomials on a vector space E can be identified with the algebraic dual of the m  -th symmetric tensor product ⊗^m,sE${\otimes }^{m,s}E$. Given an operator space V, we study several different types of completely bounded polynomials on V   which form the operator space duals of ⊗^m,sV${\otimes }^{m,s}V$ endowed with related operator structures. Of special interest are what we call Haagerup, Kronecker, and Schur polynomials – polynomials associated with different types of matrix products.     

Dixmier traces are weak dense in the set of all fully symmetric traces

We extend Dixmier's construction of singular traces (see [2]) to arbitrary fully symmetric operator ideals. In fact, we show that the set of Dixmier traces is weak^? dense in the set of all fully symmetric traces (that is, those traces which respect Hardy–Littlewood submajorization). Our results complement and extend earlier work of Wodzicki [22].     

Operator algebras with contractive approximate identities: Weak compactness and the spectrum

We continue our study of operator algebras with contractive approximate identities (cais) by presenting a couple of interesting examples of operator algebras with cais, which in particular answer questions raised in previous papers in this series, for example about whether, roughly speaking, ‘weak compactness’ of an operator algebra, or the lack of it, can be seen in the spectra of its elements.     

Closed subgroups as Ditkin sets

We prove that every closed subgroup of a locally compact group is locally p  -Ditkin for 1<p<∞$1<p<\infty$.     

Dimensional variance inequalities of Brascamp–Lieb type and a local approach to dimensional Prékopaʼs theorem

We give a new approach, inspired by Hörmander?s L²$L^2$-method, to weighted variance inequalities which extend results obtained by Bobkov and Ledoux. It provides in particular a local proof of the dimensional functional forms of the Brunn–Minkowski inequalities. We also present several applications of these variance inequalities, including reverse Hölder inequalities for convex functions, weighted Brascamp–Lieb inequalities and sharp weighted Poincaré inequalities for generalized Cauchy measures.     

Maximum Lebesgue extension of monotone convex functions

Given a monotone convex function on the space of essentially bounded random variables with the Lebesgue property (order continuity), we consider its extension preserving the Lebesgue property to as big solid vector space of random variables as possible. We show that there exists a maximum such extension, with explicit construction, where the maximum domain of extension is obtained as a (possibly proper) subspace of a natural Orlicz-type space, characterized by a certain uniform integrability property. As an application, we provide a characterization of the Lebesgue property of monotone convex function on arbitrary solid spaces of random variables in terms of uniform integrability and a “nice” dual representation of the function.     

On Kaufmanʼs theorem

Kaufman?s theorem (Kaufman, 1978 [9]) on representing closed linear operators as quotients of bounded operators is given a new constructive proof, and is extended to operators between two Hilbert spaces. Two different definitions of operator quotients existing in the literature are compared.     

A converse of Loewner–Heinz inequality and applications to operator means

Let f(t)$f(t)$ be an operator monotone function. Then A?B$A?B$ implies f(A)?f(B)$f(A)?f(B)$, but the converse implication is not true. Let A?B$A?B$ be the geometric mean of A,B?0$A,B?0$. If A?B$A?B$, then B⁻¹?A?I$B^{-1}?A?I$; the converse implication is not true either. We will show that if f(λB+I)⁻¹?f(λA+I)?I$f{(\lambda B+I)}^{-1}?f(\lambda A+I)?I$ for all sufficiently small λ>0$\lambda >0$, then f(λA+I)?f(λB+I)$f(\lambda A+I)?f(\lambda B+I)$ and A?B$A?B$. Moreover, we extend it to multi-variable matrices means.