Suppose $Π_1(E, F)$ is the space of all absolutely 1-summing operators between two Banach spaces $E$ and $F$. We show that if $F$ has a copy of $c_0$, then $Π_1(E, F)$ will have a copy of $c_0$, and under some conditions if $E$ has a copy of $\ell_1$ then $Π_1(E, F)$ would have a complemented copy of $\ell_1$.
We prove new summability properties for multilinear operators on $\ell_p$ spaces. An important tool for this task is a better understanding of the interplay between almost summing and absolutely summing multilinear operators.
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…
Grothendieck's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $\left( 1;1\right) $-summing. In this note we prove that the optimal constant $g_{m}$ so that every continuous $m$-linear operator from $\ell_{1}\times\cdots\times\ell_{1}$ to $\ell_{2}$ is absolutely $\left( g_{m};1\right) $-summing is $\frac{2}{m+1}$. We also show that if $g_{m}<\frac{2}{m+1}$ there is $\mathfrak{c}$ dimensional linear space composed by continuous non absolutely $\left( g_{m};1\right) $-summing $m$-linear operators from $\ell_{1}\times\cdots\times\ell_{1}$ to $\el…
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.
Let $X,Y$ and $Z$ be Banach spaces, and let $\prod_p(Y,Z) (1\leq p<\infty)$ denote the space of $p$-summing operators from $Y$ to $Z$. We show that, if $X$ is a {\it \$}$_\infty$-space, then a bounded linear operator $T: X\hat \otimes_εY\longrightarrow Z$ is 1-summing if and only if a naturally associated operator $T^#: X\longrightarrow \prod_1(Y,Z)$ is 1-summing. This result need not be true if $X$ is not a {\it \$}$_\infty$-space. For $p>1$, several examples are given with $X=C[0,1]$ to show that $T^#$ can be $p$-summing without $T$ being $p$-summing. Indeed, there is an operator $T$ on $C[0…
We show that given a positive integer $m$, a real number $p\in\left[ 2,\infty\right)$ and $1\leq s<p^{\ast}$ the set of non--multiple $\left( r;s\right)$--summing $m$--linear forms on $\ell_{p}\times\cdots\times \ell_{p}$ contains, except for the null vector, a closed subspace of maximal dimension whenever $r<\frac{2ms}{s+2m-ms}$. This result is optimal since for $r\geq\frac{2ms}{s+2m-ms}$ all $m$--linear forms on $\ell_{p}\times \cdots\times\ell_{p}$ are multiple $\left( r;s\right)$--summing. In particular, among other results, we generalize a result related to cotype (from 2010) due to Botel…
In the short note we prove that for every $0<p<1$, there exists an infinite dimensional closed linear subspace of $\mathcal{L}\left( \ell_{p};\ell_{p}\right) $ every nonzero element of which is non $(r,s)$-absolutely summing operator for the real numbers $r,s$ with $1\leq s\leq r<\infty$. This improve a result obtained in \cite{DanielT}.
Let $X$, $Y$ and $Z$ be Banach spaces and let $U$ be a subspace of $\mathcal{L}(X^*,Y)$, the Banach space of all operators from $X^*$ to $Y$. An operator $S: U \to Z$ is said to be $(\ell^s_p,\ell_p)$-summing (where $1\leq p <\infty$) if there is a constant $K\geq 0$ such that $$ \Big( \sum_{i=1}^n \|S(T_i)\|_Z^p \Big)^{1/p} \le K \sup_{x^* \in B_{X^*}} \Big(\sum_{i=1}^n \|T_i(x^*)\|_Y^p\Big)^{1/p} $$ for every $n\in \mathbb{N}$ and every $T_1,\dots,T_n \in U$. In this paper we study this class of operators, introduced by Blasco and Signes as a natural generalization of the $(p,Y)$-summing ope…
A Banach space $X$ has the $2$-summing property if the norm of every linear operator from $X$ to a Hilbert space is equal to the $2$-summing norm of the operator. Up to a point, the theory of spaces which have this property is independent of the scalar field: the property is self-dual and any space with the property is a finite dimensional space of maximal distance to the Hilbert space of the same dimension. In the case of real scalars only the real line and real $\ell_\infty^2$ have the $2$-summing property. In the complex case there are more examples; e.g., all subspaces of complex $\ell_\in…
We constructively determine the Pietsch measure of the 2-summing multiplication operator \[\mathcal{M}_u:\ell^{\infty} \rightarrow H^p, \quad (φ_I) \mapsto \sum φ_Ix_Ih_I. \] Our construction of the Pietsch measure for the multiplication operator $\mathcal{M}_u$ involves the Haar coefficients of $u$ and its atomic decomposition.
We compare the space of square-summable functions on an infinite graph (denoted $\ell^2(G)$) with the space of functions of finite energy (denoted $\mathcal{H}_{\mathcal{E}}$). There is a notion of inclusion that allows $\ell^2(G)$ to be embedded into $\mathcal{H}_{\mathcal{E}}$, but the required inclusion operator is unbounded in most interesting cases. These observations assist in the construction of the Krein extension of the Laplace operator on $\mathcal{H}_{\mathcal{E}}$. We investigate the Krein extension and compare it to the Friedrichs extension developed by the authors in a previous p…
Kwapień's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{p}$ is absolutely $\left( r,1\right) $-summing for $1/r=1-\left\vert 1/p-1/2\right\vert .$ When $p=2$ it recovers the famous Grothendieck's theorem. In this paper investigate multilinear variants of these theorems and related issues. Among other results we present a unified version of Kwapień's and Grothendieck's results that encompasses the cases of multiple summing and absolutely summing multilinear operators.
Let $E$ be a Banach space that does not contain any copy of $\ell^1$ and $\A$ be a non commutative $C^*$-algebra. We prove that every absolutely summing operator from $\A$ into $E^*$ is compact, thus answering a question of Pełczynski. As application, we show that if $G$ is a compact metrizable abelian group and $Λ$ is a Riesz subset of its dual then every countably additive $\A^*$-valued measure with bounded variation and whose Fourier transform is supported by $Λ$ has relatively compact range. Extensions of the same result to symmetric spaces of measurable operators are also presented.
As is well known absolute convergence and unconditional convergence for series are equivalent only in finite dimensional Banach spaces. Replacing the classical notion of absolutely summing operators by the notion of 1 summing operators \[ \summ_k || Tx_k || \leq c || \summ_k e_k \otimes x_k ||_{\ell_1\otimes_{min}E}\] in the category of operator spaces, it turns out that there are quite different interesting examples of 1 summing operator spaces. Moreover, the eigenvalues of a composition $TS$ decreases of order $n^{\frac{1}{q}}$ for all operators $S$ factorizing completely through a commutati…
For $f \in H^p(δ^2)$, $0<p\leq 2$, with Haar expansion $f=\sum f_{I \times J}h_{I\times J}$ we constructively determine the Pietsch measure of the $2$-summing multiplication operator \[\mathcal{M}_f:\ell^{\infty} \rightarrow H^p(δ^2), \quad (φ_{I\times J}) \mapsto \sum φ_{I\times J}f_{I \times J}h_{I \times J}. \] Our method yields a constructive proof of Pisier's decomposition of $f \in H^p(δ^2)$ \[|f|=|x|^{1-θ}|y|^θ\quad\quad \text{ and }\quad\quad \|x\|_{X_0}^{1-θ}\|y\|^θ_{H^2(δ^2)}\leq C\|f\|_{H^p(δ^2)}, \] where $X_0$ is Pisier's extrapolation lattice associated to $H^p(δ^2)$ and $H^2(δ^2…
For $0<p<1,$ we prove that there is a $\mathfrak{c}$-dimensional subspace of $\mathcal{L}\left( \ell_{p},\ell_{p}\right) $ such that, except for the null vector, all of its vectors fail to be absolutely $(r,s)$-summing regardless of the real numbers $r,s$, with $1\leq s\leq r<\infty$. This extends a result proved by Maddox in 1987. Moreover, the result is sharp in the sense that it is not valid for $p\geq1.$
The little Grothendieck theorem for Banach spaces says that every bounded linear operator between $C(K)$ and $\ell_2$ is 2-summing. However, it is shown in \cite{J05} that the operator space analogue fails. Not every cb-map $v : \K \to OH$ is completely 2-summing. In this paper, we show an operator space analogue of Maurey's theorem : Every cb-map $v : \K \to OH$ is $(q,cb)$-summing for any $q>2$ and hence admits a factorization $\|v(x)\| \leq c(q) \|v\|_{cb} \|axb\|_q$ with $a,b$ in the unit ball of the Schatten class $S_{2q}$.
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 notion of a strongly summing sequence is introduced. Such a sequence is weak-Cauchy, a basis for its closed linear span, and has the crucial property that the dual of this span is not weakly sequentially complete. The main result is: Theorem. Every non-trivial weak-Cauchy sequence in a \RM(real or complex\RM) Banach space has either a strongly summing sequence or a convex block basis equivalent to the summing basis. (A weak-Cauchy sequence is called {\it non-trivial} if it is {\it non-weakly convergent}.) The following characterization of spaces containing $c_0$ is thus obtained, in the sp…
We find upper bounds for the degrees of vertices and Steiner points in Steiner Minimal Trees in the d-dimensional Banach spaces \ell_p^d independent of d. This is in contrast to Minimal Spanning Trees, where the maximum degree of vertices grows exponentially in d (Robins and Salowe, 1995). Our upper bounds follow from characterizations of singularities of SMT's due to Lawlor and Morgan (1994), which we extend, and certain \ell_p-inequalities. We derive a general upper bound of d+1 for the degree of vertices of an SMT in an arbitrary smooth d-dimensional Banach space; the same upper bound for S…
We study existence of linear isometric embedding of $\ell_p^m$ into $S_\infty,$ for $1\leq p< \infty$ and unique operator space structure on two dimensional Banach spaces. For $p\in(2,\infty)\cup\{1\},$ we show that indeed $\ell_p^2$ does not embed isometrically into $S_\infty$. This verifies a guess of Pisier and broadly generalizes the main result of \cite{GUR18}. We also show that $S_1^m$ does not embed isometrically into $S_p^n$ for all $1<p<\infty$ and $m\geq 2$. As a consequence, we establish noncommutative analogue of some of the results in \cite{LYS04}. We also show that $(\mathbb{C}^2…
Let $A,X,Y$ be Banach spaces and $A\times X\to Y$, $(a,x)\mapsto ax$, be a continuous bilinear function, called a *Banach action*. We say that this action *preserves unconditional convergence* if for every bounded sequence $(a_n)_{n\inω}$ in $A$ and unconditionally convergent series $\sum_{n\inω}x_n$ in $X$ the series $\sum_{n\inω}a_nx_n$ is unconditionally convergent. We prove that a Banach action $A\times X\to Y$ preserves unconditional convergence if and only if for any linear functional $y^*\in Y^*$ the operator $D_{y^*}:X\to A^*$, $D_{y^*}(x)(a)=y^*(ax)$, is absolutely summing. Combining …
Let $X$ be a Banach space and let $C$ be a closed convex bounded subset of $X$. It is proved that $C$ is weakly compact if, and only if, $C$ has the {it generic} fixed point property ($\mathcal{G}$-FPP) for the class of $L$-bi-Lipschitz affine mappings for every $L>1$. It is also proved that if $X$ has Pełczyński's property $(u)$, then either $C$ is weakly compact, contains an $\ell_1$-sequence or a $\mathrm{c}_0$-summing basic sequence. In this case, weak compactness of $C$ is equivalent to the $\mathcal{G}$-FPP for the strengthened class of affine mappings that are uniformly bi-Lipschitz. We…