We consider two operator space versions of type and cotype, namely $S_p$-type, $S_q$-cotype and type $(p,H)$, cotype $(q,H)$ for a homogeneous Hilbertian operator space $H$ and $1\leq p \leq 2 \leq q\leq \infty$, generalizing "$OH$-cotype 2" of G. Pisier. We compute type and cotype of some Hilbertian operator spaces and $L_p$ spaces, and we investigate the relationship between a homogeneous Hilbertian space $H$ and operator spaces with cotype $(2,H)$. As applications we consider operator space versions of generalized little Grothendieck's theorem and Maurey's extension theorem in terms of these new notions.
Recently an operator space version of type and cotype, namely type $(p,H)$ and cotype $(q,H)$ of operator spaces for $1\leq p \leq 2\leq q \leq \infty$ and a subquadratic and homogeneous Hilbetian operator space $H$ were introduced and investigated by the author. In this paper we define weak type $(2,H)$ (resp. weak cotype $(2,H)$) of operator spaces, which lies strictly between type $(2,H)$ (resp. cotype $(2,H)$) and type $(p,H)$ for all $1\leq p <2$ (resp. cotype $(q,H)$ for all $2<q \leq \infty$). This is an analogue of weak type 2 and weak cotype 2 in the Banach space case, so we develop a…
Cotype is used in this paper to prove new results concerning the existence of non-absolutely summing linear operators between Banach spaces. We derive consequences that extend/generalize/ complement some classic results. We also point out that some of our results are sharp.
We show that for any operator $T:l_\infty^N\to Y$, where $Y$ is a Banach space, that its cotype 2 constant, $K_2(T)$, is related to its $(2,1)$-summing norm, $π_{2,1}(T)$, by $K_2(T) \le c \log\log N π_{2,1}(T) $. Thus, we can show that there is an operator $T:C(K)\to Y$ that has cotype 2, but is not 2-summing.
The aim of this paper is to start the study of multilinear generalizations of the classical ideals of linear operators of type $p$ and cotype $q$. As a first step in a theory we believe will be long and fruitful, we propose a notion of type and cotype of multilinear operators and the resulting classes of such mappings are studied in the setting of the theory of Banach/quasi-Banach ideals of multilinear operators. Distinctions between the linear and the multilinear theories are pointed out, typical multilinear features of the theory are emphasized and many illustrative examples are provided. Th…
Given an infinite-dimensional Banach space $X$ and a Banach space $Y$ with no finite cotype, we determine whether or not every continuous linear operator from $X$ to $Y$ is absolutely $(q;p)$-summing for almost all choices of $p$ and $q$, including the case $p=q$. If $X$ assumes its cotype, the problem is solved for all choices of $p$ and $q$. Applications to the theory of dominated multilinear mappings are also provided.
We will prove an abstract comparision principle which translates gaussian cotype in Rademacher cotype conditions and vice versa. More precisely, let $2\!<\!q\!<\!\infty$ and $T:\,C(K)\,\to\,F$ a linear, continous operator. T is of gaussian cotype q if and only if ( \summ_1^n (\frac{|| Tx_k||_F}{\sqrt{\log(k+1)}})^q )^{1/q} \, \le c || \summ_1^n \varepsilon_k x_k ||_{L_2(C(K))} , for all sequences with $(|| Tx_k ||)_1^n$ decreasing. T is of Rademacher cotype q if and only if (\summ_1^n (|| Tx_k||_F \,\sqrt{\log(k+1)})^q )^{1/q} \, \le c || \summ_1^n g_k x_k ||_{L_2(C(K))} , for all sequences wi…
Grothendieck's theorem asserts that every continuous linear operator from $\ell_1$ to $\ell_2$ is absolutely $(1,1)$-summing. This kind of result is commonly called coincidence result. In this paper we investigate coincidence results in the multilinear setting, showing how the cotype of the spaces involved affect such results. The special role played by $\ell_1$ spaces is also investigated with relation to interpolation of tensor products. In particular, an open problem on the interpolation of $m$ injective tensor products is solved.
A famous result due to Grothendieck asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $(1,1)$-summing. If $n\geq2,$ however, it is very simple to prove that every continuous $n$-linear operator from $\ell_{1}\times...\times\ell_{1}$ to $\ell_{2}$ is absolutely $(1;1,...,1) $-summing, and even absolutely $(\frac{2}% {n};1,...,1) $-summing$.$ In this note we deal with the following problem: Given a positive integer $n\geq2$, what is the best constant $g_{n}>0$ so that every $n$-linear operator from $\ell_{1}\times...\times\ell_{1}$ to $\ell_{2}$ is absolut…
Let $\on_{k \in \nz}$ be an orthonormal system on some $σ$-finite measure space $(\Om,p)$. We study the notion of cotype with respect to $Φ$ for an operator $T$ between two Banach spaces $X$ and $Y$, defined by $\fco T := \inf$ $c$ such that \[ \Tfmm \pl \le \pl c \pll \gmm \hspace{.7cm}\mbox{for all}\hspace{.7cm} (x_k)\subset X \pl,\] where $(g_k)_{k\in \nz}$ is a sequence of independent and normalized gaussian variables. It is shown that this $Φ$-cotype coincides with the usual notion of cotype $2$ iff \linebreak $\fco {I_{\lin}} \sim \sqrt{\frac{n}{\log (n+1)}}$ uniformly in $n$ iff there i…
This paper deals with extensions or twisted sums of Banach spaces that come induced by complex interpolation and the relation between the type and cotype of the spaces in the interpolation scale and the nontriviality and singularity of the induced extension. The results are presented in the context of interpolation of families of Banach spaces, and are applied to the study of submodules of Schatten classes. We also obtain nontrivial extensions of spaces without the CAP which also fail the CAP.
The concepts of Riesz type and cotype of a given Banach space are extended to a non-commutative setting. First, the Banach space is replaced by an operator space. The notion of quantized orthonormal system, which plays the role of the orthonormal system in the classical setting, is then defined. The Fourier type and cotype of an operator space with respect to a non-commutative compact group fit in this context. Also, the quantized analogs of Rademacher and Gaussian systems are treated. All this is used to obtain an operator space version of the classical theorem of Kwapień characterizing Hilbe…
We are concerned about improvements of the modulus of convexity by renormings of a super-reflexive Banach space. Typically optimal results are beyond Pisier's power functions bounds $t^p$, with $p \geq 2$, and they are related to the notion of generalized cotype. We obtain an explicit upper bound for all the modulus of convexity of equivalent renormings and we show that if this bound is equivalent to $t^2$, the best possible, then the space admits a renorming with modulus of power type $2$. We show that a UMD space admits a renormings with modulus of convexity bigger, up to a multiplicative co…
In this paper we consider Fourier multiplier operators between vector-valued Besov spaces with different integrability exponents $p$ and $q$, which depend on the type $p$ and cotype $q$ of the underlying Banach spaces. In a previous paper we considered $L^p$-$L^q$-multiplier theorems. In the current paper we show that in the Besov scale one can obtain results with optimal integrability exponents. Moreover, we derive a sharp result in the $L^p$-$L^q$-setting as well. We consider operator-valued multipliers without smoothness assumptions. The results are based on a Fourier multiplier theorem for…
We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subcotype. As an application of this theory, we provide a sharp version of a result of Brooker and Lancien by showing that any twisted sum of Banach spaces with Szlenk power types $p$ and $q$ has Szlenk po…
We give a simple proof of Bourgain's disc algebra version of Grothendieck's theorem, i.e. that every operator on the disc algebra with values in $L_1$ or $L_2$ is 2-absolutely summing and hence extends to an operator defined on the whole of $C$. This implies Bourgain's result that $L_1/H^1$ is of cotype 2. We also prove more generally that $L_r/H^r$ is of cotype 2 for $0<r< 1$.
In this paper we develop the theory of Fourier multiplier operators $T_{m}:L^{p}(\mathbb{R}^{d};X)\to L^{q}(\mathbb{R}^{d};Y)$, for Banach spaces $X$ and $Y$, $1\leq p\leq q\leq \infty$ and $m:\mathbb{R}^d\to \mathcal{L}(X,Y)$ an operator-valued symbol. The case $p=q$ has been studied extensively since the 1980's, but far less is known for $p<q$. In the scalar setting one can deduce results for $p<q$ from the case $p=q$. However, in the vector-valued setting this leads to restrictions both on the smoothness of the multiplier and on the class of Banach spaces. For example, one often needs that …
A Banach space X has the SHAI (surjective homomorphisms are injective) property provided that for every Banach space Y, every continuous surjective algebra homomorphism from the bounded linear operators on X onto the bounded linear operators on Y is injective. The main result gives a sufficient condition for X to have the SHAI property. The condition is satisfied for L^p (0, 1) for 1 < p < \infty, spaces with symmetric bases that have finite cotype, and the Schatten p-spaces for 1 < p < \infty.
It is well known in Banach space theory that for a finite dimensional space $E$ there exists a constant $c_E$, such that for all sequences $(x_k)_k \subset E$ one has \[ \summ_k \noo x_k \rrm \kl c_E \pl \sup_{\eps_k \pm 1} \noo \summ_k \eps_k x_k \rrm \pl .\] Moreover, if $E$ is of dimension $n$ the constant $c_E$ ranges between $\sqrt{n}$ and $n$. This implies that absolute convergence and unconditional convergence only coincide in finite dimensional spaces. We will characterize Banach spaces $X$, where the constant $c_E \sim \sqrt{n}$ for all finite dimensional subspaces. More generally, we…
The main result of this paper states that if a Banach space X has the property that every bounded operator from an arbitrary subspace of X into an arbitrary Banach space of cotype 2 extends to a bounded operator on X, then $B(\ell_{\infty},X^*)=Π_2(\ell_{\infty},X^*)$. If in addition X has the Gaussian average property, then it is of type 2. This implies that the same conclusion holds if X has the Gordon-Lewis property (in particular X could be a Banach lattice) or if X is isomorphic to a subspace of a Banach lattice of finite cotype, thus solving the Maurey extension property for these classe…
In the article is introduced a new class of Banach spaces that are called sub B-convex. Namely, a Banach space X is said to be B -convex if it may be represented as a direct sum l_1+ W, where W is B-convex. It will be shown that any separable sub B-convex Banach space X may be almost isometrically embedded in a separable Banach space G(X) of the same cotype as X, which has a series of properties. Namely, G(X) is an approximate envelope, i.e. any separable Banach space which is finitely representable in G(X) may be almost isometrically embedded into G(X); G(X)is almost isotropic; G(X) is existe…
In this paper, we explore the concept of multilinear operators that are multiple almost summing and present a new concept of type and cotype of multilinear operators and investigate the conditions for this new concept to recover the original concept of type and type for multilinear operators. We also show that these classes are Banach multi-ideals and establish the coherence and compatibility of these classes with the generated homogeneous polynomials.
In this paper we consider generalized square function norms of holomorphic functions with values in a Banach space. One of the main results is a characterization of embeddings of the form \[L^p(X)\subseteq γ(X) \subseteq L^q(X),\] in terms of the type $p$ and cotype $q$ for the Banach space $X$. As an application we prove $L^p$-estimates for vector-valued Littlewood-Paley-Stein $g$-functions and derive an embedding result for real and complex interpolation spaces under type and cotype conditions.
A finite-dimensional analogue of the known Gordon-Lewis constant of a Banach space X is introduced; in its definition are used only finite rank operators. It is shown that there exist Banach spaces such that the standard Gordon-Lewis constant of X is finite and its finite-dimensional analogue GLfin(X) is infinite. Moreover, for any Banach space X of cotype 2 its finite-dimensional constant GLfin(X) is finite too.
We study Hausdorff-Young type inequalities for vector-valued Dirichlet series which allow to compare the norm of a Dirichlet series in the Hardy space $\mathcal{H}_{p} (X)$ with the $q$-norm of its coefficients. In order to obtain inequalities completely analogous to the scalar case, a Banach space must satisfy the restrictive notion of Fourier type/cotype. We show that variants of these inequalities hold for the much broader range of spaces enjoying type/cotype. We also consider Hausdorff-Young type inequalities for functions defined on the infinite torus $\mathbb{T}^{\infty}$ or the boolean …
In this paper, we establish $\mathcal B$-valued variational inequalities for differential operators, ergodic averages and symmetric diffusion semigroups under the condition that Banach space $\mathcal B$ has martingale cotype property. These results generalize, on the one hand Pisier and Xu's result on the variational inequalities for $\mathcal B$-valued martingales, on the other hand many classical variational inequalities in harmonic analysis and ergodic theory. Moreover, we show that Rademacher cotype $q$ is necessary for the $\mathcal B$-valued $q$-variational inequalities. As applications…
If $ϕ$ is a submeasure satisfying an appropriate lower estimate we give a quantitative result on the total mass of a measure $μ$ satisfying $0\leμ\leϕ.$ We give a dual result for supermeasures and then use these results to investigate convexity on non-locally convex quasi-Banach lattices. We then show how to use these results to extend some factorization theorems due to Pisier to the setting of quasi-Banach spaces. We conclude by showing that if $X$ is a quasi-Banach space of cotype two then any operator $T:C(Ω)\to X$ is 2-absolutely summing and factors through a Hilbert space and discussing g…
We provide complete characterizations, on Banach spaces with cotype 2, of those linear operators which happen to be weakly mixing or strongly mixing transformations with respect to some nondegenerate Gaussian measure. These characterizations involve two families of small subsets of the circle: the countable sets, and the so-called sets of uniqueness for Fourier-Stieltjes series. The most interesting part, i.e. the sufficient conditions for weak and strong mixing, is valid on an arbitrary (complex, separable) Fréchet space.
We investigate the norm of sums of independent vector-valued random variables in noncommutative Lp spaces. This allows us to obtain a uniform family of complete embeddings of the Schatten class Sq^n in Sp(lq^m) with optimal order m = n^2. Using these embeddings we show the surprising fact that the sharp type (cotype) index in the sense of operator spaces for Lp[0,1] is min(p,p') (max(p,p')). Similar techniques are used to show that the operator space notions of B-convexity and K-convexity are equivalent.
Let $T$ be a bounded linear operator on $L^p$. We study the rate of growth of the norms of the powers of $T$ under resolvent conditions or Cesàro boundedness assumptions. Actually the relevant properties of $L^p$ spaces in our study are their type and cotype, and for $1<p<\infty$, the fact that they are UMD. Some of the proofs make use of Fourier multipliers on Banach spaces, which explains why UMD spaces come into play.
We extend a theorem of Kato on similarity for sequences of projections in Hilbert spaces to the case of isomorphic Schauder decompositions in certain Banach spaces. To this end we use $\ell_Ψ$-Hilbertian and $\infty$-Hilbertian Schauder decompositions instead of orthogonal Schauder decompositions, generalize the concept of an orthogonal Schauder decomposition in a Hilbert space and introduce the class of spaces with Schauder-Orlicz decompositions. Furthermore, we generalize the notions of type, cotype, infratype and $M$-cotype of a Banach space and study the properties of unconditional Schaude…
It is shown that a Banach space $E$ has type $p$ if and only for some (all) $d\ge 1$ the Besov space $B_{p,p}^{(\frac1p-\frac12)d}(\R^d;E)$ embeds into the space $\g(L^2(\R^d),E)$ of $\g$-radonifying operators $L^2(\R^d)\to E$. A similar result characterizing cotype $q$ is obtained. These results may be viewed as $E$-valued extensions of the classical Sobolev embedding theorems.
In this paper we study $R$-boundedness of operator families $\mathcal{T}\subset \calL(X,Y)$, where $X$ and $Y$ are Banach spaces. Under cotype and type assumptions on $X$ and $Y$ we give sufficient conditions for $R$-boundedness. In the first part we show that certain integral operator are $R$-bounded. This will be used to obtain $R$-boundedness in the case that $\mathcal{T}$ is the range of an operator-valued function $T:\R^d\to \calL(X,Y)$ which is in a certain Besov space $B^{d/r}_{r,1}(\R^d;\calL(X,Y))$. The results will be applied to obtain $R$-boundedness of semigroups and evolution fami…
Let X be a UMD space with type t and cotype q, and let T be a Fourier multiplier operator with a scalar-valued symbol m. If the Mihlin multiplier estimate holds for all partial derivatives of m up to the order n/max(t,q')+1, then T is bounded on the X-valued Bochner spaces. For scalar-valued multipliers, this improves the theorem of Girardi and Weis (J. Funct. Anal., 2003) who required similar assumptions for derivatives up to the order n/r+1, where r is a Fourier-type of X. However, the present method does not apply to operator-valued multipliers, which are also covered by the Girardi-Weis th…
The main purpose of this paper is to study the validity of the Hausdorff-Young inequality for vector-valued functions defined on a non-commutative compact group. The natural context for this research is that of operator spaces. This leads us to formulate a whole new theory of Fourier type and cotype for the category of operator spaces. The present paper is the first step in this program, where the basic theory is presented, the main examples are analyzed and some questions are posed.
This paper studies a new maximal operator introduced by Hytönen, McIntosh and Portal in 2008 for functions taking values in a Banach space. The L^p-boundedness of this operator depends on the range space; certain requirements on type and cotype are present for instance. The original Euclidean definition of the maximal function is generalized to sigma-finite measure spaces with filtrations and the L^p-boundedness is shown not to depend on the underlying measure space or the filtration. Martingale techniques are applied to prove that a weak type inequality is sufficient for L^p-boundedness and a…
We introduce stronger versions of the usual notions of martingale type p <= 2 and cotype q >= 2 of a Banach space X and show that these concepts are equivalent to uniform p-smoothness and q-convexity, respectively. All these are metric concepts, so they depend on the particular norm in X. These concepts allow us to get some more insight into the fine line between X being isomorphic to a uniformly p-smooth space or being uniformly p-smooth itself. Instead of looking at Banach spaces, we consider linear operators between Banach spaces right away. The situation of a Banach space X can be rediscov…
It is well-known that in Banach spaces with finite cotype, the $R$-bounded and $γ$-bounded families of operators coincide. If in addition $X$ is a Banach lattice, then these notions can be expressed as square function estimates. It is also clear that $R$-boundedness implies $γ$-boundedness. In this note we show that all other possible inclusions fail. Furthermore, we will prove that $R$-boundedness is stable under taking adjoints if and only if the underlying space is $K$-convex.
We consider the fractional derivative of a general Poisson semigroup. With this fractional derivative we define the generalized fractional Littlewood-Paley $g$-function for semigroups acting on $L^p$-spaces of functions with values in Banach spaces. We give a characterization of the classes of Banach spaces for which the fractional Litlewood-Paley $g$-function is bounded on $L^p$-spaces. We show that the class of Banach spaces is independent of the order of derivation and coincides with the classical (Lusin type/cotype) case. It is also shown that the same kind of results exist for the case of…
Using notions from the geometry of Banach spaces we introduce square functions $γ(Ω,X)$ for functions with values in an arbitrary Banach space $X$. We show that they have very convenient function space properties comparable to the Bochner norm of $L_2(Ω,H)$ for a Hilbert space $H$. In particular all bounded operators $T$ on $H$ can be extended to $γ(Ω,X)$ for all Banach spaces $X$. Our main applications are characterizations of the $H^{\infty}$--calculus that extend known results for $L_p$--spaces from \cite{CowlingDoustMcIntoshYagi}. With these square function estimates we show, e. g., that a…
We prove that for every Banach space $Y$, the Besov spaces of functions from the $n$-dimensional Euclidean space to $Y$ agree with suitable local approximation spaces with equivalent norms. In addition, we prove that the Sobolev spaces of type $q$ are continuously embedded in the Besov spaces of the same type if and only if $Y$ has martingale cotype $q$. We interpret this as an extension of earlier results of Xu (1998), and Martínez, Torrea and Xu (2006). These two results combined give the characterization that $Y$ admits an equivalent norm with modulus of convexity of power type $q$ if and o…
By a theorem of Bayart, $φ$ generates a bounded composition operator on the Hardy space $\Hp$of Dirichlet series ($1\le p<\infty$) only if $φ(s)=c_0 s+ψ(s)$, where $c_0$ is a nonnegative integer and $ψ$ a Dirichlet series with the following mapping properties: $ψ$ maps the right half-plane into the half-plane $\Real s >1/2$ if $c_0=0$ and is either identically zero or maps the right half-plane into itself if $c_0$ is positive. It is shown that the $n$th approximation numbers of bounded composition operators on $\Hp$ are bounded below by a constant times $r^n$ for some $0<r<1$ when $c_0=0$ and …
In this paper the notion of an abstract square function (estimate) is introduced as an operator X to gamma (H; Y), where X, Y are Banach spaces, H is a Hilbert space, and gamma(H; Y) is the space of gamma-radonifying operators. By the seminal work of Kalton and Weis, this definition is a coherent generalisation of the classical notion of square function appearing in the theory of singular integrals. Given an abstract functional calculus (E, F, Phi) on a Banach space X, where F (O) is an algebra of scalar-valued functions on a set O, we define a square function Phi_gamma(f) for certain H-valued…
In this paper we establish a Hermite- Hadamard type inequality for operator preinvex functions and an estimate of the right hand side of a Hermite- Hadamard type inequality in which some operator preinvex functions of selfadjoint operators in Hilbert spaces are involved.
We prove that SL(3,R) has Strong Banach property (T) in Lafforgue's sense with respect to the Banach spaces that are $θ>0$ interpolation spaces (for the complex interpolation method) between an arbitrary Banach space and a Banach space with sufficiently good type and cotype. As a consequence, every action of SL(3,R) or its lattices by affine isometries on such a Banach space X has a fixed point, and the expanders contructed from SL(3,Z) do not admit a coarse embedding into X. We also prove a quantitative decay of matrix coefficients (Howe-Moore property) for representations with small exponent…
In this short article, we mainly prove that, for any spectral operator $A$ of type $m$ on a complex Hilbert space, if a bounded operator $B$ lies in the collection of bounded linear operators that are in the $k$-centralizer of every bounded linear operator in the $l$-centralizer of $A$, where $k\leqslant l$ is two arbitrary positive integers satisfying $l\geqslant k$ as well as $l\geqslant 2m+1$, then $B$ must belong to the von Neumann algebra generated by $A$ and identity operator. This result generalizes a matrix commutator theorem proved by M.\ F.\ Smiley. For this aim, Smiley-type operator…
In this note we consider weighted conditional type operators between different Orlicz spaces and generalized conditional type Holder inequality that we defined in [2]. Then we give some necessary and sufficient conditions for boundedness of weighted conditional type operators. As a consequence we characterize boundedness of weighted conditional type operators and multiplication operators between different L^p-spaces. Finally, we give some upper and lower bounds for essential norm of weighted conditional type operators.
In this paper we consider composition operators on Harmonic-Bloch type spaces and we compute the spectrum of composition operators. Also, we characterize isometric composition operators on harmonic Bloch type spaces.
