BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Gilles Pisier

Gilles Pisier contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.OAmath.PRmath-phmath.MPInformation Theorymath.IT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
7topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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]}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;lacunary&#34; sequences, or even non-commutative analogues of the Rademacher functions. For instance, we may apply it to the &#34;Z(2)-sequences&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Grothendieck&#39;s Theorem for Operator Spaces

We prove several versions of Grothendieck&#39;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 &#34;exact&#34; 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.

0 citations0 reviewsNo code linkedOpen access