BZPEER

preprint2014arXiv

Quantum Expanders and Geometry of Operator Spaces

We show that there are well separated families of quantum expanders with asymptotically the maximal cardinality allowed by a known upper bound. This has applications to the "growth" of certain operator spaces: It implies asymptotically sharp estimates for the growth of the multiplicity of $M_N$ -spaces needed to represent (up to a constant $C>1$ ) the $M_N$ -version of the $n$ -dimensional operator Hilbert space $OH_n$ as a direct sum of copies of $M_N$ . We show that, when $C$ is close to 1, this multiplicity grows as $\exp{βn N^2}$ for some constant $β>0$ . The main idea is to relate quantum expanders with "smooth" points on the matricial analogue of the Euclidean unit sphere. This generalizes to operator spaces a classical geometric result on $n$ -dimensional Hilbert space (corresponding to N=1). In an appendix, we give a quick proof of an inequality (related to Hastings's previous work) on random unitary matrices that is crucial for this paper.

preprint2013arXiv

Martingale inequalities and Operator space structures on $L_p$

We describe a new operator space structure on $L_p$ when $p$ is an even integer and compare it with the one introduced in our previous work using complex interpolation. For the new structure, the Khintchine inequalities and Burkholder's martingale inequalities have a very natural form:\ the span of the Rademacher functions is completely isomorphic to the operator Hilbert space $OH$ , and the square function of a martingale difference sequence $d_n$ is $Σ\ d_n\otimes \bar d_n$ . Various inequalities from harmonic analysis are also considered in the same operator valued framework. Moreover, the new operator space structure also makes sense for non commutative $L_p$ -spaces with analogous results.

preprint2013arXiv

Random Matrices and Subexponential Operator Spaces

We introduce and study a generalization of the notion of exact operator space that we call subexponential. Using Random Matrices we show that the factorization results of Grothendieck type that are known in the exact case all extend to the subexponential case, but we exhibit (a continuum of distinct) examples of non-exact subexponential operator spaces, as well as a $C^*$ -algebra that is subexponential with constant 1 but not exact. We also show that $OH$ , $R+C$ and $\max(\ell_2)$ (or any other maximal operator space) are not subexponential.

preprint2012arXiv

Examples of non exact 1-subexponential $C^*$ -algebras

This is a complement to our previous paper on the arxiv on quantum expanders and geometry of operator spaces. We show that there is a non-exact $C^*$ -algebra that is 1-subexponential, and we give several other complements to the results of that paper. Our example can be described very simply using random matrices: Let ${X_j^{(m)}\mid j=1,2,...}$ be an i.i.d. sequence of random $m\times m$ -matrices distributed according to the Gaussian Unitary Ensemble (GUE). For each $j$ let $u_j(ω)$ be the block direct sum defined by $u_j(ω)= \oplus_{m\ge 1} X_j^{(m)}(ω)\in \oplus_{m\ge 1} M_m.$ Then for almost every $ω$ the $C^*$ -algebra generated by ${u_j(ω) \mid j=1,2,...}$ is 1-subexponential but is not exact. The GUE is a matrix model for the semi-circular distribution. We can also use instead the analogous circular model.

preprint2012arXiv

Quantum Expanders and Geometry of Operator Spaces II

In this appendix to our paper with the same title posted on arxiv we give a quick proof of an inequality that can be substituted to Hastings's result, quoted as Lemma 1.9 in our previous paper. Our inequality is less sharp but also appears to apply with more general (and even matricial) coefficients. It shows that up to a universal constant all moments of the norm of a linear combination of the form $S=\sum\nolimits_j a_j U_j \otimes \bar U_j (1-P)$ are dominated by those of the corresponding Gaussian sum $S'=\sum\nolimits_j a_j Y_j \otimes \bar Y'_j .$ The advantage is that $S'$ is now simply separately a Gaussian random variable with respect to the independent Gaussian random matrices $(Y_j)$ and $(Y'_j)$ , and hence is much easier to majorize. Note we plan to incorporate this appendix into our future publication.

preprint2012arXiv

Tripartite Bell inequality, random matrices and trilinear forms

In this seminar report, we present in detail the proof of a recent result due to J. Briët and T. Vidick, improving an estimate in a 2008 paper by D. Pérez-Garc\'ıa, M. Wolf, C. Palazuelos, I. Villanueva, and M. Junge, estimating the growth of the deviation in the tripartite Bell inequality. The proof requires a delicate estimate of the norms of certain trilinear (or $d$ -linear) forms on Hilbert space with coefficients in the second Gaussian Wiener chaos. Let $E^n_{\vee}$ (resp. $E^n_{\min}$ ) denote $\ell_1^n \otimes \ell_1^n\otimes \ell_1^n$ equipped with the injective (resp. minimal) tensor norm. Here $\ell_1^n$ is equipped with its maximal operator space structure. The Briët-Vidick method yields that the identity map $I_n$ satisfies (for some $c>0$ ) $\|I_n:\ E^n_{\vee}\to E^n_{\min}\|\ge c n^{1/4} (\log n)^{-3/2}.$ Let $S^n_2$ denote the (Hilbert) space of $n\times n$ -matrices equipped with the Hilbert-Schmidt norm. While a lower bound closer to $n^{1/2}$ is still open, their method produces an interesting, asymptotically almost sharp, related estimate for the map $J_n:\ S^n_2\stackrel{\vee}{\otimes} S^n_2\stackrel{\vee}{\otimes}S^n_2 \to \ell_2^{n^3} \stackrel{\vee}{\otimes} \ell_2^{n^3}$ taking $e_{i,j}\otimes e_{k,l}\otimes e_{m,n}$ to $e_{[i,k,m],[j,l,n]}$ .

preprint2011arXiv

Completely co-bounded Schur multipliers

A linear map $u\colon \ E\to F$ between operator spaces is called completely co-bounded if it is completely bounded as a map from $E$ to the opposite of $F$ . We give several simple results about completely co-bounded Schur multipliers on $B(\ell_2)$ and the Schatten class $S_p$ . We also consider Herz-Schur multipliers on groups.

preprint2011arXiv

Grothendieck's Theorem, past and present

Probably the most famous of Grothendieck's contributions to Banach space theory is the result that he himself described as "the fundamental theorem in the metric theory of tensor products". That is now commonly referred to as "Grothendieck's theorem" (GT in short), or sometimes as "Grothendieck's inequality". This had a major impact first in Banach space theory (roughly after 1968), then, later on, in $C^*$ -algebra theory, (roughly after 1978). More recently, in this millennium, a new version of GT has been successfully developed in the framework of "operator spaces" or non-commutative Banach spaces. In addition, GT independently surfaced in several quite unrelated fields:\ in connection with Bell's inequality in quantum mechanics, in graph theory where the Grothendieck constant of a graph has been introduced and in computer science where the Grothendieck inequality is invoked to replace certain NP hard problems by others that can be treated by "semidefinite programming" and hence solved in polynomial time. In this expository paper, we present a review of all these topics, starting from the original GT. We concentrate on the more recent developments and merely outline those of the first Banach space period since detailed accounts of that are already available, for instance the author's 1986 CBMS notes.

preprint2011arXiv

On the Dixmier problem (Seminar report after Monod-Ozawa, JFA 2010)

This seminar report contains a detailed account of the proof of the main results in Monod and Ozawa's recent JFA paper on the Dixmier unitarizability problem. The proof is exactly identical to their proof, but our more pedestrian presentation is hopefully more accessible to nonexperts. This text is not intended for publication (but it might end up as part of an updated version of our Springer Lecture Notes 1618).

preprint2011arXiv

Random Series of Trace Class Operators

In this lecture, we present some results on Gaussian (or Rademacher) random series of trace class operators, mainly due jointly with F. Lust-Piquard. We will emphasize the probabilistic reformulation of these results, as well as the open problems suggested by them. We start by a brief survey of what is known about the problem of characterizing a.s. convergent (Gaussian or Rademacher) series of random vectors in a Banach space. The main result presented here is that for certain pairs of Banach spaces $E,F$ that include Hilbert spaces (and type 2 spaces with the analytic UMD property), we have $R(E\hat\otimes F) =R(E)\hat\otimes F + E\hat\otimes R(F)$ where $R(E)$ denotes the space of convergent Rademacher series with coefficients in $E$ and $E\hat\otimes F$ denotes the projective tensor product.

preprint2011arXiv

Real interpolation and transposition of certain function spaces

Our starting point is a lemma due to Varopoulos. We give a different proof of a generalized form this lemma, that yields an equivalent description of the $K$ -functional for the interpolation couple $(X_0,X_1)$ where $X_0=L_{p_0,\infty}(μ_1; L_q(μ_2))$ and $X_1=L_{p_1,\infty}(μ_2; L_q(μ_1))$ where $0<q<p_0,p_1\le \infty$ and $(Ω_1,μ_1), (Ω_2,μ_2)$ are arbitrary measure spaces. When $q=1$ , this implies that the space $(X_0,X_1)_{θ,\infty}$ ( $0<θ<1$ ) can be identified with a certain space of operators. We also give an extension of the Varopoulos Lemma to pairs (or finite families) of conditional expectations that seems of independent interest. The present paper is motivated by non-commutative applications that we choose to publish separately.

preprint2011arXiv

Real interpolation between row and column spaces

We give an equivalent expression for the $K$ -functional associated to the pair of operator spaces $(R,C)$ formed by the rows and columns respectively. This yields a description of the real interpolation spaces for the pair $(M_n(R), M_n(C))$ (uniformly over $n$ ). More generally, the same result is valid when $M_n$ (or $B(\ell_2)$ ) is replaced by any semi-finite von Neumann algebra. We prove a version of the non-commutative Khintchine inequalities (originally due to Lust--Piquard) that is valid for the Lorentz spaces $L_{p,q}(τ)$ associated to a non-commutative measure $τ$ , simultaneously for the whole range $1\le p,q< \infty$ , regardless whether $p<2$ or $p>2$ . Actually, the main novelty is the case $p=2,q\not=2$ . We also prove a certain simultaneous decomposition property for the operator norm and the Hilbert-Schmidt one.

preprint2008arXiv

Complex Interpolation between Hilbert, Banach and Operator spaces

Motivated by a question of Vincent Lafforgue, we study the Banach spaces $X$ satisfying the following property: there is a function $\vp\to Δ_X(\vp)$ tending to zero with $\vp>0$ such that every operator $T\colon L_2\to L_2$ with $\|T\|\le \vp$ that is simultaneously contractive (i.e. of norm $\le 1$ ) on $L_1$ and on $L_\infty$ must be of norm $\le Δ_X(\vp)$ on $L_2(X)$ . We show that $Δ_X(\vp)\in O(\vp^α)$ for some $α>0$ iff $X$ is isomorphic to a quotient of a subspace of an ultraproduct of $θ$ -Hilbertian spaces for some $θ>0$ (see Corollary \ref{comcor4.3}), where $θ$ -Hilbertian is meant in a slightly more general sense than in our previous paper \cite{P1}. Let $B_{r}(L_2(μ))$ be the space of all regular operators on $L_2(μ)$ . We are able to describe the complex interpolation space $(B_{r}(L_2(μ), B(L_2(μ))^θ.$ We show that $T\colon L_2(μ)\to L_2(μ)$ belongs to this space iff $T\otimes id_X$ is bounded on $L_2(X)$ for any $θ$ -Hilbertian space $X$ . More generally, we are able to describe the spaces $(B(\ell_{p_0}), B(\ell_{p_1}))^θ{\rm or} (B(L_{p_0}), B(L_{p_1}))^θ$ for any pair $1\le p_0,p_1\le \infty$ and $0<θ<1$ . In the same vein, given a locally compact Abelian group $G$ , let $M(G)$ (resp. $PM(G)$ ) be the space of complex measures (resp. pseudo-measures) on $G$ equipped with the usual norm $\|μ\|_{M(G)} = |μ|(G)$ (resp. $\|μ\|_{PM(G)} = \sup\{|\hatμ(γ)| \big| γ\in\hat G\}).$ We describe similarly the interpolation space $(M(G), PM(G))^θ$ . Various extensions and variants of this result will be given, e.g. to Schur multipliers on $B(\ell_2)$ and to operator spaces.

preprint2008arXiv

Remarks on the non-commutative Khintchine inequalities for $0<p<2$

We show that the validity of the non-commutative Khintchine inequality for some $q$ with $1<q<2$ implies its validity (with another constant) for all $1\le p<q$ . We prove this for the inequality involving the Rademacher functions, but also for more general "lacunary" sequences, or even non-commutative analogues of the Rademacher functions. For instance, we may apply it to the "Z(2)-sequences" previously considered by Harcharras. The result appears to be new in that case. It implies that the space $\ell^n_1$ contains (as an operator space) a large subspace uniformly isomorphic (as an operator space) to $R_k+C_k$ with $k\sim n^{\frac12}$ . This naturally raises several interesting questions concerning the best possible such $k$ . Unfortunately we cannot settle the validity of the non-commutative Khintchine inequality for $0<p<1$ but we can prove several would be corollaries. For instance, given an infinite scalar matrix $[x_{ij}]$ , we give a necessary and sufficient condition for $[\pm x_{ij}]$ to be in the Schatten class $S_p$ for almost all (independent) choices of signs $\pm 1$ . We also characterize the bounded Schur multipliers from $S_2$ to $S_p$ . The latter two characterizations extend to $0<p<1$ results already known for $1\le p\le2$ . In addition, we observe that the hypercontractive inequalities, proved by Carlen and Lieb for the Fermionic case, remain valid for operator space valued functions, and hence the Kahane inequalities are valid in this setting.

preprint2007arXiv

A Remark on Hypercontractive Semigroups and Operator Ideals

In this note, we answer a question raised by Johnson and Schechtman \cite{JS}, about the hypercontractive semigroup on $\{-1,1\}^{\NN}$. More generally, we prove the folllowing theorem. Let $1<p<2$ . Let $(T(t))_{t>0}$ be a holomorphic semigroup on $L_p$ (relative to a probability space). Assume the following mild form of hypercontractivity: for some large enough number $s>0$ , $T(s)$ is bounded from $L_p$ to $L_2$ . Then for any $t>0$ , $T(t)$ is in the norm closure in $B(L_p)$ (denoted by $\bar{Γ_2}$ ) of the subset (denoted by ${Γ_2}$ ) formed by the operators mapping $L_p$ to $L_2$ (a fortiori these operators factor through a Hilbert space).

preprint2005arXiv

Remarks on $B(H)\otimes B(H)$

We review the existing proofs that the min and max norms are different on $B(H)\otimes B(H)$ and give a shortcut avoiding the consideration of non-separable families of operator spaces.

preprint2005arXiv

Simultaneous similarity, bounded generation and amenability

We prove that a discrete group $G$ is amenable iff it is strongly unitarizable in the following sense: every unitarizable representation $π$ on $G$ can be unitarized by an invertible chosen in the von Neumann algebra generated by the range of $π$ . Analogously a $C^*$ -algebra $A$ is nuclear iff any bounded homomorphism $u: A\to B(H)$ is strongly similar to a $*$ -homomorphism in the sense that there is an invertible operator $ξ$ in the von Neumann algebra generated by the range of $u$ such that $a\to ξu(a) ξ^{-1}$ is a $*$ -homomorphism. An analogous characterization holds in terms of derivations. We apply this to answer several questions left open in our previous work concerning the length $\ell(A,B)$ of the maximal tensor product $A\otimes_{\max} B$ of two unital $C^*$ -algebras, when we consider its generation by the subalgebras $A\otimes 1$ and $1\otimes B$ . We show that if $\ell(A,B)<\infty$ either for $B=B(\ell_2)$ or when $B$ is the $C^*$ -algebra (either full or reduced) of a non Abelian free group, then $A$ must be nuclear. We also show that $\ell(A,B)\le d$ iff the canonical quotient map from the unital free product $A\ast B$ onto $A\otimes_{\max} B$ remains a complete quotient map when restricted to the closed span of the words of length $\le d$ .

preprint2002arXiv

Grothendieck's Theorem for Operator Spaces

We prove several versions of Grothendieck's Theorem for completely bounded linear maps $T\colon E \to F^*$ , when E and F are operator spaces. We prove that if E,F are $C^*$ -algebras, of which at least one is exact, then every completely bounded $T\colon E \to F^*$ can be factorized through the direct sum of the row and column Hilbert operator spaces. Equivalently T can be decomposed as $T=T_r+T_c$ where $T_r$ (resp. $T_c$ ) factors completely boundedly through a row (resp. column) Hilbert operator space. This settles positively (at least partially) some earlier conjectures of Effros-Ruan and Blecher on the factorization of completely bounded bilinear forms on $C^*$ -algebras. Moreover, our result holds more generally for any pair E,F of "exact" operator spaces. This yields a characterization of the completely bounded maps from a $C^*$ -algebra (or from an exact operator space) to the operator Hilbert space OH. As a corollary we prove that, up to a complete isomorphism, the row and column Hilbert operator spaces and their direct sums are the only operator spaces E such that both E and its dual $E^*$ are exact. We also characterize the Schur multipliers which are completely bounded from the space of compact operators to the trace class.

preprint1999arXiv

On a question of Niels Grønbaek

Let F(X) denote the norm closure of the space of all finite rank operators on a Banach space X. We show that there are Banach spaces X for which the product map $a\otimes b\to ab$ does not define a surjective map from the projective tensor product $F(X) \hat\otimes F(X)$ onto F(X).

preprint1997arXiv

The ``maximal" tensor product of operator spaces

In analogy with the maximal tensor product of $C^*$ -algebras, we define the ``maximal" tensor product $E_1\otimes_μE_2$ of two operator spaces $E_1$ and $E_2$ and we show that it can be identified completely isometrically with the sum of the two Haagerup tensor products: \ $E_1\otimes_h E_2 + E_2\otimes_h E_1$ . Let $E$ be an $n$ -dimensional operator space. As an application, we show that the equality $E^* \otimes_μE=E^* \otimes_{\rm min} E$ holds isometrically iff $E = R_n$ or $E=C_n$ (the row or column $n$ -dimensional Hilbert spaces). Moreover, we show that if an operator space $E$ is such that, for any operator space $F$ , we have $F\otimes_{\min} E=F\otimes_μ E$ isomorphically, then $E$ is completely isomorphic to either a row or a column Hilbert space.

preprint1997arXiv

The similarity degree of an operator algebra

Let $A$ be a unital operator algebra. Let us assume that every {\it bounded\/} unital homomorphism $u\colon \ A\to B(H)$ is similar to a {\it contractive\/} one. Let $\text{\rm Sim}(u) = \inf\{\|S\|\, \|S^{-1}\|\}$ where the infimum runs over all invertible operators $S\colon \ H\to H$ such that the ``conjugate'' homomorphism $a\to S^{-1}u(a)S$ is contractive. Now for all $c>1$ , let $Φ(c) = \sup\text{\rm Sim}(u)$ where the supremum runs over all unital homomorphism $u\colon\ A\to B(H)$ with $\|u\|\le c$ . Then, there is $α\ge 0$ such that for some constant $K$ we have: $$Φ(c) \le Kc^α.\leqno (*)\qquad \forall c>1$$ Moreover, the smallest $α$ for which this holds is an integer, denoted by $d(A)$ (called the similarity degree of $A$ ) and $(*)$ still holds for some $K$ when $α=d(A)$ . Among the applications of these results, we give new characterizations of proper uniform algebras on one hand, and of nuclear $C^*$ -algebras on the other. Moreover, we obtain a characterization of amenable groups which answers (at least partially) a question on group representations going back to a 1950 paper of Dixmier.

preprint1996arXiv

A polynomially bounded operator on Hilbert space which is not similar to a contraction

Let $\eps >0$. We prove that there exists an operator $T_\eps:\ell_2\to\ell_2$, such that for any polynomial $P$ we have $\|{P(T)}\| \leq(1+\eps)\|{P}\|_\infty$, but which is not similar to a contraction, {\it i.e.} there does not exist an invertible operator $S:\ \ell_2\to\ell_2$ such that $\|{S^{-1}T_\eps S}\|\leq 1$. This answers negatively a question attributed to Halmos after his well known 1970 paper (``Ten problems in Hilbert space").

preprint1995arXiv

A simple proof of a theorem of Kirchberg and related results on $C^*$ -norms

Recently, E.\ Kirchberg [K1--2] revived the study of pairs of $C^*$ -algebras $A,B$ such that there is only one $C^*$ -norm on the algebraic tensor product $A\otimes B$ , or equivalently such that $A \otimes_{\rm min}B = A\otimes_{\rm max}B$ . Recall that a $C^*$ -algebra is called nuclear cf.\ [L, EL] if this happens for any $C^*$ -algebra $B$ . Kirchberg [K1] constructed the first example of a non-nuclear $C^*$ -algebra such that $A\otimes_{\rm min} A^{op} = A \otimes_{\rm max} A^{op}$ . He also proved the following striking result [K2] for which we give a very simple proof and which we extend. \proclaim Theorem 0.1. {\bf (Kirchberg [K2]).} Let $F$ be any free group and let $C^*(F)$ be the (full) $C^*$ -algebra of $F$ , then $C^*(F) \otimes_{\rm min} B(H) = C^*(F) \otimes_{\rm max} B(H).$

preprint1993arXiv

Bilinear forms on exact operator spaces and B(H)\otimes B(H)

Let $E,F$ be exact operators (For example subspaces of the $C^*$ -algebra $K(H)$ of all the compact operators on an infinite dimensional Hilbert space $H$ ). We study a class of bounded linear maps $u\colon E\to F^*$ which we call tracially bounded. In particular, we prove that every completely bounded (in short $c.b.$ ) map $u\colon E\to F^*$ factors boundedly through a Hilbert space. This is used to show that the set $OS_n$ of all $n$ -dimensional operator spaces equipped with the $c.b.$ version of the Banach Mazur distance is not separable if $n>2$ . As an application we show that there is more than one $C^*$ -norm on $B(H)\otimes B(H)$ , or equivalently that $B(H)\otimes_{\min}B(H)\not=B(H)\otimes_{\max}B(H),$ which answers a long standing open question. Finally we show that every ``maximal" operator space (in the sense of Paulsen) is not exact in the infinite dimensional case, and in the finite dimensional case, we give a lower bound for the ``exactness constant".

preprint1993arXiv

Bounded linear operators between C^*-algebras

Let $u:A\to B$ be a bounded linear operator between two $C^*$ -algebras $A,B$ . The following result was proved by the second author. Theorem 0.1. There is a numerical constant $K_1$ such that for all finite sequences $x_1,\ldots, x_n$ in $A$ we have $$\leqalignno{&\max\left\{\left\|\left(\sum u(x_i)^* u(x_i)\right)^{1/2}\right\|_B, \left\|\left(\sum u(x_i) u(x_i)^*\right)^{1/2}\right\|_B\right\}&(0.1)_1\cr \le &K_1\|u\| \max\left\{\left\|\left(\sum x^*_ix_i\right)^{1/2}\right\|_A, \left\|\left(\sum x_ix^*_i\right)^{1/2}\right\|_A\right\}.}$$ A simpler proof was given in [H1]. More recently an other alternate proof appeared in [LPP]. In this paper we give a sequence of generalizations of this inequality.

preprint1993arXiv

Complex Interpolation and Regular Operators Between Banach

We study certain interpolation and extension properties of the space of regular operators between two Banach lattices. Let $R_p$ be the space of all the regular (or equivalently order bounded) operators on $L_p$ equipped with the regular norm. We prove the isometric identity $R_p = (R_\infty,R_1)^θ$ if $θ= 1/p$ , which shows that the spaces $(R_p)$ form an interpolation scale relative to Calderón's interpolation method. We also prove that if $S\subset L_p$ is a subspace, every regular operator $u : S \to L_p$ admits a regular extension $\tilde u : L_p \to L_p$ with the same regular norm. This extends a result due to Mireille Lévy in the case $p = 1$ . Finally, we apply these ideas to the Hardy space $H^p$ viewed as a subspace of $L_p$ on the circle. We show that the space of regular operators from $H^p$ to $L_p$ possesses a similar interpolation property as the spaces $R_p$ defined above.

preprint1993arXiv

Exact operator spaces

In this paper, we study {\it operator spaces\/} in the sense of the theory developed recently by Blecher-Paulsen [BP] and Effros-Ruan [ER1]. By an operator space, we mean a closed subspace $E\subset B(H)$ , with $H$ Hilbert. We will be mainly concerned here with the ``geometry'' of {\it finite dimensional\/} operator spaces. In the Banach space category, it is well known that every separable space embeds isometrically into $\ell_\infty$ . Moreover, if $E$ is a finite dimensional normed space then for each $\vp>0$, there is an integer $n$ and a subspace $F\subset \ell^n_\infty$ which is $(1+\vp)$-isomorphic to $E$ , i.e. there is an isomorphism $u\colon \ E\to F$ such that $\|u\|\ \|u^{-1}\|\le 1+\vp$. Here of course, $n$ depends on $\vp$, say $n=n(\vp)$ and usually (for instance if $E = \ell^k_2$ ) we have $n(\vp)\to \infty$ when $\vp\to 0$. Quite interestingly, it turns out that this fact is not valid in the category of operator spaces:\ although every operator space embeds completely isometrically into $B(H)$ (the non-commutative analogue of $\ell_\infty$ ) it is not true that a finite dimensional operator space must be close to a subspace of $M_n$ (the non-commutative analogue of $\ell^n_\infty$ ) for some $n$ . The main object of this paper is to study this phenomenon.

preprint1993arXiv

Noncommutative vector valued $L_p$ -spaces and completely $p$ -summing maps

Let $E$ be an operator space in the sense of the theory recently developed by Blecher-Paulsen and Effros-Ruan. We introduce a notion of $E$ -valued non commutative $L_p$ -space for $1 \leq p < \infty$ and we prove that the resulting operator space satisfies the natural properties to be expected with respect to e.g. duality and interpolation. This notion leads to the definition of a ``completely p-summing" map which is the operator space analogue of the $p$ -absolutely summing maps in the sense of Pietsch-Kwapień. These notions extend the particular case $p=1$ which was previously studied by Effros-Ruan.

preprint1993arXiv

Regular operators between non-commutative $L_p$ -spaces

We introduce the notion of a regular mapping on a non-commutative $L_p$ -space associated to a hyperfinite von Neumann algebra for $1\le p\le \infty$ . This is a non-commutative generalization of the notion of regular or order bounded map on a Banach lattice. This extension is based on our recent paper [P3], where we introduce and study a non-commutative version of vector valued $L_p$ -spaces. In the extreme cases $p=1$ and $p=\infty$ , our regular operators reduce to the completely bounded ones and the regular norm coincides with the $cb$ -norm. We prove that a mapping is regular iff it is a linear combination of bounded, completely positive mappings. We prove an extension theorem for regular mappings defined on a subspace of a non-commutative $L_p$ -space. Finally, let $R_p$ be the space of all regular mappings on a given non-commutative $L_p$ -space equipped with the regular norm. We prove the isometric identity $R_p=(R_\infty,R_1)^θ$ where $θ=1/p$ and where $(\ .\ ,\ .\ )^θ$ is the dual variant of Calderón's complex interpolation method.

preprint1993arXiv

The k_t--functional for the interpolation couple L^\infty(dμ;L^1(dν)), L^\infty(dν;L^1(dμ))

Let $(M,μ)$ and $(N,ν)$ be measure spaces. In this paper, we study the $K_t$ --\,functional for the couple $A_0=L^\infty(dμ\,; L^1(dν))\,,~~A_1=L^\infty(dν\,; L^1(dμ))\,.$ Here, and in what follows the vector valued $L^p$ --\,spaces $L^p(dμ\,; L^q(dν))$ are meant in Bochner's sense. One of our main results is the following, which can be viewed as a refinement of a lemma due to Varopoulos [V]. \proclaim Theorem 0.1. Let $(A_0,A_1)$ be as above. Then for all $f$ in $A_0+A_1$ we have ${1\over 2}\,K_t(f;\,A_0\,,A_1)\leq \sup\,\bigg\{ \Big(μ(E)\vee t^{-1}ν(F)\Big)^{-1} \int_{E\times F} \vert f\vert\,dμ\,dν\,\bigg\} \leq K_t(f;\,A_0\,,A_1)\,,$ where the supremum runs over all measurable subsets $E\subset M\,,~ F\subset N$ with positive and finite measure and $u\!\vee\!v$ denotes the maximum of the reals $u$ and $v$ .

preprint1992arXiv

Espace de Hilbert d'opérateurs et Interpolation complexe

Let $H$ be an infinite dimensional Hilbert space. We show that there exists a subspace of $B(H)$ which is isometric to $\ell_2$ and completely isometric to its antidual in the sense of the theory of operator spaces recently developed by Blecher-Paulsen and Effros-Ruan. Moreover this space is unique up to a complete isometry. We denote it by $OH$ . This space has several remarkable properties in particular with respect to the complex interpolation method.

preprint1992arXiv

Interpolation Between $H^p$ Spaces and Non-Commutative Generalizations II

We continue an investigation started in a preceding paper. We discuss the classical results of Carleson connecting Carleson measures with the $\d$-equation in a slightly more abstract framework than usual. We also consider a more recent result of Peter Jones which shows the existence of a solution of the $\d$-equation, which satisfies simultaneously a good $L_ı$ estimate and a good $L_1$ estimate. This appears as a special case of our main result which can be stated as follows: Let $(Ω,\cal{A},μ)$ be any measure space. Consider a bounded operator $u:H^1\ra L_1(μ)$. Assume that on one hand $u$ admits an extension $u_1:L^1\ra L_1(μ)$ bounded with norm $C_1$ , and on the other hand that $u$ admits an extension $u_ı:L^ı\ra L_ı(μ)$ bounded with norm $C_ı$ . Then $u$ admits an extension $\w{u}$ which is bounded simultaneously from $L^1$ into $L_1(μ)$ and from $L^ı$ into $L_ı(μ)$ and satisfies $$\eqalign{&\|\tilde u\colon \ L_\infty \to L_\infty(μ)\|\le CC_\infty\cr &\|\tilde u\colon \ L_1\to L_1(μ)\|\le CC_1}$$ where $C$ is a numerical constant.

preprint1992arXiv

Multipliers and lacunary sets in non-amenable groups

Let $G$ be a discrete group. Let $λ: G \to B(\ell_2(G),\ell_2(G))$ be the left regular representation. A function $\ph : G \to \comp$ is called a completely bounded multiplier (= Herz-Schur multiplier) if the transformation defined on the linear span $K(G)$ of $\{λ(x),x \in G\}$ by $$\sum_{x \in G} f(x) λ(x) \to \sum_{x \in G} f(x) \ph(x) λ(x)$$ is completely bounded (in short c.b.) on the $C^*$ -algebra $C_λ^*(G)$ which is generated by $λ$ ( $C_λ^*(G)$ is the closure of $K(G)$ in $B(\ell_2(G),\ell_2(G))$ .) One of our main results gives a simple characterization of the functions $\ph$ such that $\eps \ph$ is a c.b. multiplier on $C_λ^*(G)$ for any bounded function $\eps$, or equivalently for any choice of signs $\eps(x) = \pm 1$. We also consider the case when this holds for ``almost all" choices of signs.

preprint1992arXiv

Sur les opérateurs factorisables par $OH$

Let $H,K$ be Hilbert spaces. Let $E \subset B(H)$ and $F \subset B(K)$ be operator spaces in the sense of [1,2]. We study the operators $u : E \to F$ which admit a factorization $E \to OH \to F$ with completely bounded maps through the operator Hilbert space $OH$ which we have introduced and studied in a recent note. We give a characterization of these operators which allows to develop a theory entirely analogous to that of operators between Banach spaces which can be factored through a Hilbert space.

Gilles Pisier

Research overview

Is this your work?

34 publications

Quantum Expanders and Geometry of Operator Spaces

Martingale inequalities and Operator space structures on $L_p$

Random Matrices and Subexponential Operator Spaces

Examples of non exact 1-subexponential $C^*$ -algebras

Quantum Expanders and Geometry of Operator Spaces II

Tripartite Bell inequality, random matrices and trilinear forms

Completely co-bounded Schur multipliers

Grothendieck's Theorem, past and present

On the Dixmier problem (Seminar report after Monod-Ozawa, JFA 2010)

Random Series of Trace Class Operators

Real interpolation and transposition of certain function spaces

Real interpolation between row and column spaces

Complex Interpolation between Hilbert, Banach and Operator spaces

Remarks on the non-commutative Khintchine inequalities for $0<p<2$

A Remark on Hypercontractive Semigroups and Operator Ideals

Remarks on $B(H)\otimes B(H)$

Simultaneous similarity, bounded generation and amenability

Grothendieck's Theorem for Operator Spaces

On a question of Niels Grønbaek

The ``maximal" tensor product of operator spaces

The similarity degree of an operator algebra

A polynomially bounded operator on Hilbert space which is not similar to a contraction

A simple proof of a theorem of Kirchberg and related results on $C^*$ -norms

Bilinear forms on exact operator spaces and B(H)\otimes B(H)

Bounded linear operators between C^*-algebras

Complex Interpolation and Regular Operators Between Banach

Exact operator spaces

Noncommutative vector valued $L_p$ -spaces and completely $p$ -summing maps

Regular operators between non-commutative $L_p$ -spaces

The k_t--functional for the interpolation couple L^\infty(dμ;L^1(dν)), L^\infty(dν;L^1(dμ))

Espace de Hilbert d'opérateurs et Interpolation complexe

Interpolation Between $H^p$ Spaces and Non-Commutative Generalizations II

Multipliers and lacunary sets in non-amenable groups

Sur les opérateurs factorisables par $OH$

See the researcher in context

Building this map preview

Gilles Pisier

Research overview

Is this your work?

34 publications

Quantum Expanders and Geometry of Operator Spaces

Martingale inequalities and Operator space structures on LpL_pLp​

Random Matrices and Subexponential Operator Spaces

Examples of non exact 1-subexponential C∗C^*C∗-algebras

Quantum Expanders and Geometry of Operator Spaces II

Tripartite Bell inequality, random matrices and trilinear forms

Completely co-bounded Schur multipliers

Grothendieck's Theorem, past and present

On the Dixmier problem (Seminar report after Monod-Ozawa, JFA 2010)

Random Series of Trace Class Operators

Real interpolation and transposition of certain function spaces

Real interpolation between row and column spaces

Complex Interpolation between Hilbert, Banach and Operator spaces

Remarks on the non-commutative Khintchine inequalities for 0<p<20<p<20<p<2

A Remark on Hypercontractive Semigroups and Operator Ideals

Remarks on B(H)⊗B(H)B(H)\otimes B(H)B(H)⊗B(H)

Simultaneous similarity, bounded generation and amenability

Grothendieck's Theorem for Operator Spaces

On a question of Niels Grønbaek

The ``maximal" tensor product of operator spaces

The similarity degree of an operator algebra

A polynomially bounded operator on Hilbert space which is not similar to a contraction

A simple proof of a theorem of Kirchberg and related results on C∗C^*C∗-norms

Bilinear forms on exact operator spaces and B(H)\otimes B(H)

Bounded linear operators between C^*-algebras

Complex Interpolation and Regular Operators Between Banach

Exact operator spaces

Noncommutative vector valued LpL_pLp​-spaces and completely ppp-summing maps

Regular operators between non-commutative LpL_pLp​-spaces

The k_t--functional for the interpolation couple L^\infty(dμ;L^1(dν)), L^\infty(dν;L^1(dμ))

Espace de Hilbert d'opérateurs et Interpolation complexe

Interpolation Between HpH^pHp Spaces and Non-Commutative Generalizations II

Multipliers and lacunary sets in non-amenable groups

Sur les opérateurs factorisables par OHOHOH

See the researcher in context

Building this map preview

Martingale inequalities and Operator space structures on $L_p$

Examples of non exact 1-subexponential $C^*$ -algebras

Remarks on the non-commutative Khintchine inequalities for $0<p<2$

Remarks on $B(H)\otimes B(H)$

A simple proof of a theorem of Kirchberg and related results on $C^*$ -norms

Noncommutative vector valued $L_p$ -spaces and completely $p$ -summing maps

Regular operators between non-commutative $L_p$ -spaces

Interpolation Between $H^p$ Spaces and Non-Commutative Generalizations II

Sur les opérateurs factorisables par $OH$