AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Mixed-norm inequalities and operator space $L_p$ embedding theory
About this Title
Marius Junge, Department of Mathematics, University of Illinois at Urbana-Champaign, 273 Altgeld Hall, 1409 W. Green Street. Urbana, Illinois 61801 and Javier Parcet, Instituto de Ciencias Matemáticas CSIC-UAM-UC3M-UCM, Consejo Superior de Investigaciones Científicas, C/ Serrano 121. 28006, Madrid, Spain
Publication: Memoirs of the American Mathematical Society
Publication Year:
2010; Volume 203, Number 953
ISBNs: 978-0-8218-4655-1 (print); 978-1-4704-0567-0 (online)
DOI: https://doi.org/10.1090/S0065-9266-09-00570-5
Published electronically: August 26, 2009
Keywords: Noncommutative $L_p$,
free random variables,
complete embedding
MSC: Primary 46L07, 46L09, 46L51, 46L52, 46L53, 46L54
Table of Contents
Chapters
- Introduction
- 1. Noncommutative integration
- 2. Amalgamated $L_p$ spaces
- 3. An interpolation theorem
- 4. Conditional $L_p$ spaces
- 5. Intersections of $L_p$ spaces
- 6. Factorization of $\mathcal {J}_{p,q}^n(\mathcal {M}, \mathsf {E})$
- 7. Mixed-norm inequalities
- 8. Operator space $L_p$ embeddings
Abstract
Let $f_1, f_2, \ldots , f_n$ be a family of independent copies of a given random variable $f$ in a probability space $(\Omega , \mathcal {F}, \mu )$. Then, the following equivalence of norms holds whenever $1 \le q \le p < \infty$ \begin{equation*} \Big ( \int _{\Omega } \Big [ \sum _{k=1}^n |f_k|^q \Big ]^{\frac {p}{q}} d \mu \Big )^{\frac 1p} \sim \max _{r \in \{p,q\}} \left \{ n^{\frac 1r} \Big ( \int _\Omega |f|^r d\mu \Big )^{\frac 1r} \right \}. \tag {$\Sigma _{pq}$}\end{equation*} We prove a noncommutative analogue of this inequality for sums of free random variables over a given von Neumann subalgebra. This formulation leads to new classes of noncommutative function spaces which appear in quantum probability as square functions, conditioned square functions and maximal functions. Our main tools are Rosenthal type inequalities for free random variables, noncommutative martingale theory and factorization of operator-valued analytic functions. This allows us to generalize $(\Sigma _{pq})$ as a result for noncommutative $L_p$ in the category of operator spaces. Moreover, the use of free random variables produces the right formulation of $(\Sigma _{\infty q})$, which has not a commutative counterpart. In the last part of the paper, we use our mixed-norm inequalities to construct a completely isomorphic embedding of $L_q$ –equipped with its natural operator space structure– into some sufficiently large $L_p$ space for $1 \le p < q \le 2$. The construction of such embedding has been open for quite some time. We also show that hyperfiniteness and the QWEP are preserved in our construction.- Huzihiro Araki and E. J. Woods, A classification of factors, Publ. Res. Inst. Math. Sci. Ser. A 4 (1968/1969), 51–130. MR 0244773, DOI 10.2977/prims/1195195263
- Jöran Bergh and Jörgen Löfström, Interpolation spaces. An introduction, Grundlehren der Mathematischen Wissenschaften, No. 223, Springer-Verlag, Berlin-New York, 1976. MR 0482275
- Jean Bretagnolle, Didier Dacunha-Castelle, and Jean-Louis Krivine, Lois stables et espaces $L^{p}$, Ann. Inst. H. Poincaré Sect. B (N.S.) 2 (1965/1966), 231–259 (French). MR 0203757
- D. L. Burkholder, Distribution function inequalities for martingales, Ann. Probability 1 (1973), 19–42. MR 365692, DOI 10.1214/aop/1176997023
- D. L. Burkholder and R. F. Gundy, Extrapolation and interpolation of quasi-linear operators on martingales, Acta Math. 124 (1970), 249–304. MR 440695, DOI 10.1007/BF02394573
- Alain Connes, Une classification des facteurs de type $\textrm {III}$, Ann. Sci. École Norm. Sup. (4) 6 (1973), 133–252 (French). MR 341115
- Andreas Defant and Marius Junge, Maximal theorems of Menchoff-Rademacher type in non-commutative $L_q$-spaces, J. Funct. Anal. 206 (2004), no. 2, 322–355. MR 2021850, DOI 10.1016/j.jfa.2002.07.001
- Allen Devinatz, The factorization of operator valued functions, Ann. of Math. (2) 73 (1961), 458–495. MR 126702, DOI 10.2307/1970313
- Kenneth J. Dykema, Exactness of reduced amalgamated free product $C^*$-algebras, Forum Math. 16 (2004), no. 2, 161–180. MR 2039095, DOI 10.1515/form.2004.008
- Edward G. Effros, Marius Junge, and Zhong-Jin Ruan, Integral mappings and the principle of local reflexivity for noncommutative $L^1$-spaces, Ann. of Math. (2) 151 (2000), no. 1, 59–92. MR 1745018, DOI 10.2307/121112
- Edward G. Effros and Zhong-Jin Ruan, Operator spaces, London Mathematical Society Monographs. New Series, vol. 23, The Clarendon Press, Oxford University Press, New York, 2000. MR 1793753
- U. Haagerup, Non-commutative integration theory. Unpublished manuscript (1978). See also Haagerup’s Lecture given at the Symposium in Pure Mathematics of the Amer. Math. Soc. Queens University, Kingston, Ontario, 1980.
- Uffe Haagerup, $L^{p}$-spaces associated with an arbitrary von Neumann algebra, Algèbres d’opérateurs et leurs applications en physique mathématique (Proc. Colloq., Marseille, 1977) Colloq. Internat. CNRS, vol. 274, CNRS, Paris, 1979, pp. 175–184 (English, with French summary). MR 560633
- U. Haagerup, H. P. Rosenthal, and F. A. Sukochev, Banach embedding properties of non-commutative $L^p$-spaces, Mem. Amer. Math. Soc. 163 (2003), no. 776, vi+68. MR 1963854, DOI 10.1090/memo/0776
- Marius Junge, Embeddings of non-commutative $L_p$-spaces into non-commutative $L_1$-spaces, $1<p<2$, Geom. Funct. Anal. 10 (2000), no. 2, 389–406. MR 1771425, DOI 10.1007/s000390050012
- Marius Junge, Doob’s inequality for non-commutative martingales, J. Reine Angew. Math. 549 (2002), 149–190. MR 1916654, DOI 10.1515/crll.2002.061
- Marius Junge, Embedding of the operator space $OH$ and the logarithmic ‘little Grothendieck inequality’, Invent. Math. 161 (2005), no. 2, 225–286. MR 2180450, DOI 10.1007/s00222-004-0421-0
- M. Junge, Operator spaces and Araki-Woods factors: a quantum probabilistic approach, IMRP Int. Math. Res. Pap. (2006), Art. ID 76978, 87. MR 2268491
- M. Junge, Vector-valued $L_p$ spaces over $\mathrm {QWEP}$ von Neumann algebras. In progress.
- M. Junge, Noncommutative Poisson random measure. In progress.
- Marius Junge and Magdalena Musat, A noncommutative version of the John-Nirenberg theorem, Trans. Amer. Math. Soc. 359 (2007), no. 1, 115–142. MR 2247885, DOI 10.1090/S0002-9947-06-03999-7
- Marius Junge and Javier Parcet, The norm of sums of independent noncommutative random variables in $L_p(l_1)$, J. Funct. Anal. 221 (2005), no. 2, 366–406. MR 2124869, DOI 10.1016/j.jfa.2004.09.002
- Marius Junge and Javier Parcet, Rosenthal’s theorem for subspaces of noncommutative $L_p$, Duke Math. J. 141 (2008), no. 1, 75–122. MR 2372148, DOI 10.1215/S0012-7094-08-14112-2
- Marius Junge and Javier Parcet, Operator space embedding of Schatten $p$-classes into von Neumann algebra preduals, Geom. Funct. Anal. 18 (2008), no. 2, 522–551. MR 2421547, DOI 10.1007/s00039-008-0660-0
- M. Junge and J. Parcet, A transference method in quantum probability. Preprint 2008.
- Marius Junge, Javier Parcet, and Quanhua Xu, Rosenthal type inequalities for free chaos, Ann. Probab. 35 (2007), no. 4, 1374–1437. MR 2330976, DOI 10.1214/009117906000000962
- Marius Junge and Zhong-Jin Ruan, Decomposable maps on non-commutative $L_p$-spaces, Operator algebras, quantization, and noncommutative geometry, Contemp. Math., vol. 365, Amer. Math. Soc., Providence, RI, 2004, pp. 355–381. MR 2106828, DOI 10.1090/conm/365/06711
- Marius Junge and Quanhua Xu, Noncommutative Burkholder/Rosenthal inequalities, Ann. Probab. 31 (2003), no. 2, 948–995. MR 1964955, DOI 10.1214/aop/1048516542
- Marius Junge and Quanhua Xu, Noncommutative maximal ergodic theorems, J. Amer. Math. Soc. 20 (2007), no. 2, 385–439. MR 2276775, DOI 10.1090/S0894-0347-06-00533-9
- Marius Junge and Quanhua Xu, Noncommutative Burkholder/Rosenthal inequalities. II. Applications, Israel J. Math. 167 (2008), 227–282. MR 2448025, DOI 10.1007/s11856-008-1048-4
- Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator algebras. Vol. I, Graduate Studies in Mathematics, vol. 15, American Mathematical Society, Providence, RI, 1997. Elementary theory; Reprint of the 1983 original. MR 1468229, DOI 10.1090/gsm/015
- Hideki Kosaki, Applications of the complex interpolation method to a von Neumann algebra: noncommutative $L^{p}$-spaces, J. Funct. Anal. 56 (1984), no. 1, 29–78. MR 735704, DOI 10.1016/0022-1236(84)90025-9
- S. Kwapień, Isomorphic characterizations of inner product spaces by orthogonal series with vector valued coefficients, Studia Math. 44 (1972), 583–595. MR 341039, DOI 10.4064/sm-44-6-583-595
- E. C. Lance, Hilbert $C^*$-modules, London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995. A toolkit for operator algebraists. MR 1325694, DOI 10.1017/CBO9780511526206
- Joram Lindenstrauss and Lior Tzafriri, Classical Banach spaces. I, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 92, Springer-Verlag, Berlin-New York, 1977. Sequence spaces. MR 0500056
- Françoise Lust-Piquard, Inégalités de Khintchine dans $C_p\;(1<p<\infty )$, C. R. Acad. Sci. Paris Sér. I Math. 303 (1986), no. 7, 289–292 (French, with English summary). MR 859804
- Françoise Lust-Piquard and Gilles Pisier, Noncommutative Khintchine and Paley inequalities, Ark. Mat. 29 (1991), no. 2, 241–260. MR 1150376, DOI 10.1007/BF02384340
- Magdalena Musat, Interpolation between non-commutative BMO and non-commutative $L_p$-spaces, J. Funct. Anal. 202 (2003), no. 1, 195–225. MR 1994770, DOI 10.1016/S0022-1236(03)00099-5
- Javier Parcet, $B$-convex operator spaces, Proc. Edinb. Math. Soc. (2) 46 (2003), no. 3, 649–668. MR 2013959, DOI 10.1017/S0013091502000834
- Javier Parcet and Gilles Pisier, Non-commutative Khintchine type inequalities associated with free groups, Indiana Univ. Math. J. 54 (2005), no. 2, 531–556. MR 2136820, DOI 10.1512/iumj.2005.54.2612
- Javier Parcet and Narcisse Randrianantoanina, Gundy’s decomposition for non-commutative martingales and applications, Proc. London Math. Soc. (3) 93 (2006), no. 1, 227–252. MR 2235948, DOI 10.1017/S0024611506015863
- Gert K. Pedersen and Masamichi Takesaki, The Radon-Nikodym theorem for von Neumann algebras, Acta Math. 130 (1973), 53–87. MR 412827, DOI 10.1007/BF02392262
- Gilles Pisier, Factorization of linear operators and geometry of Banach spaces, CBMS Regional Conference Series in Mathematics, vol. 60, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1986. MR 829919, DOI 10.1090/cbms/060
- Gilles Pisier, Projections from a von Neumann algebra onto a subalgebra, Bull. Soc. Math. France 123 (1995), no. 1, 139–153 (English, with English and French summaries). MR 1330791
- Gilles Pisier, The operator Hilbert space $\textrm {OH}$, complex interpolation and tensor norms, Mem. Amer. Math. Soc. 122 (1996), no. 585, viii+103. MR 1342022, DOI 10.1090/memo/0585
- G. Pisier, Non-Commutative Vector Valued $L_p$-Spaces and Completely $p$-Summing Maps. Astérisque 247 (1998).
- Gilles Pisier, Introduction to operator space theory, London Mathematical Society Lecture Note Series, vol. 294, Cambridge University Press, Cambridge, 2003. MR 2006539, DOI 10.1017/CBO9781107360235
- Gilles Pisier, The operator Hilbert space OH and type III von Neumann algebras, Bull. London Math. Soc. 36 (2004), no. 4, 455–459. MR 2069007, DOI 10.1112/S002460930400311X
- Gilles Pisier, Completely bounded maps into certain Hilbertian operator spaces, Int. Math. Res. Not. 74 (2004), 3983–4018. MR 2103799, DOI 10.1155/S1073792804140865
- Gilles Pisier and Dimitri Shlyakhtenko, Grothendieck’s theorem for operator spaces, Invent. Math. 150 (2002), no. 1, 185–217. MR 1930886, DOI 10.1007/s00222-002-0235-x
- Gilles Pisier and Quanhua Xu, Non-commutative martingale inequalities, Comm. Math. Phys. 189 (1997), no. 3, 667–698. MR 1482934, DOI 10.1007/s002200050224
- Gilles Pisier and Quanhua Xu, Non-commutative $L^p$-spaces, Handbook of the geometry of Banach spaces, Vol. 2, North-Holland, Amsterdam, 2003, pp. 1459–1517. MR 1999201, DOI 10.1016/S1874-5849(03)80041-4
- Narcisse Randrianantoanina, Non-commutative martingale transforms, J. Funct. Anal. 194 (2002), no. 1, 181–212. MR 1929141
- Narcisse Randrianantoanina, Conditioned square functions for noncommutative martingales, Ann. Probab. 35 (2007), no. 3, 1039–1070. MR 2319715, DOI 10.1214/009117906000000656
- Yves Raynaud, On ultrapowers of non commutative $L_p$ spaces, J. Operator Theory 48 (2002), no. 1, 41–68. MR 1926043
- Haskell P. Rosenthal, On the subspaces of $L^{p}$ $(p>2)$ spanned by sequences of independent random variables, Israel J. Math. 8 (1970), 273–303. MR 271721, DOI 10.1007/BF02771562
- Haskell P. Rosenthal, On subspaces of $L^{p}$, Ann. of Math. (2) 97 (1973), 344–373. MR 312222, DOI 10.2307/1970850
- Zhong-Jin Ruan, Subspaces of $C^*$-algebras, J. Funct. Anal. 76 (1988), no. 1, 217–230. MR 923053, DOI 10.1016/0022-1236(88)90057-2
- Dimitri Shlyakhtenko, Free quasi-free states, Pacific J. Math. 177 (1997), no. 2, 329–368. MR 1444786, DOI 10.2140/pjm.1997.177.329
- M. Takesaki, Tomita’s theory of modular Hilbert algebras and its applications, Lecture Notes in Mathematics, Vol. 128, Springer-Verlag, Berlin-New York, 1970. MR 0270168
- Masamichi Takesaki, Conditional expectations in von Neumann algebras, J. Functional Analysis 9 (1972), 306–321. MR 0303307, DOI 10.1016/0022-1236(72)90004-3
- Masamichi Takesaki, Theory of operator algebras. I, Springer-Verlag, New York-Heidelberg, 1979. MR 548728
- M. Terp, $L_p$ spaces associated with von Neumann algebras. Math. Institute Copenhagen University, 1981.
- Marianne Terp, Interpolation spaces between a von Neumann algebra and its predual, J. Operator Theory 8 (1982), no. 2, 327–360. MR 677418
- Dan Voiculescu, Symmetries of some reduced free product $C^\ast$-algebras, Operator algebras and their connections with topology and ergodic theory (Buşteni, 1983) Lecture Notes in Math., vol. 1132, Springer, Berlin, 1985, pp. 556–588. MR 799593, DOI 10.1007/BFb0074909
- Dan Voiculescu, A strengthened asymptotic freeness result for random matrices with applications to free entropy, Internat. Math. Res. Notices 1 (1998), 41–63. MR 1601878, DOI 10.1155/S107379289800004X
- D. V. Voiculescu, K. J. Dykema, and A. Nica, Free random variables, CRM Monograph Series, vol. 1, American Mathematical Society, Providence, RI, 1992. A noncommutative probability approach to free products with applications to random matrices, operator algebras and harmonic analysis on free groups. MR 1217253, DOI 10.1090/crmm/001
- Q. Xu, Recent devepolment on non-commutative martingale inequalities. Functional Space Theory and its Applications. Proceedings of International Conference & 13th Academic Symposium in China. Ed. Research Information Ltd UK. Wuhan 2003, 283-314.
- Quanhua Xu, A description of $(C_p[L_p(M)],R_p[L_p(M)])_\theta$, Proc. Roy. Soc. Edinburgh Sect. A 135 (2005), no. 5, 1073–1083. MR 2187225, DOI 10.1017/S0308210500004273
- Quanhua Xu, Operator-space Grothendieck inequalities for noncommutative $L_p$-spaces, Duke Math. J. 131 (2006), no. 3, 525–574. MR 2219250, DOI 10.1215/S0012-7094-06-13135-6
- Quanhua Xu, Embedding of $C_q$ and $R_q$ into noncommutative $L_p$-spaces, $1\leq p<q\leq 2$, Math. Ann. 335 (2006), no. 1, 109–131. MR 2217686, DOI 10.1007/s00208-005-0732-5