Abstract: 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'' for short), or sometimes as ``Grothendieck's inequality''. This had a major impact first in Banach space theory (roughly after 1968), then, later on, in -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. This expository paper (where many proofs are included), presents 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.
10.
J. Bergh and J. Löfström, Interpolation Spaces. An Introduction, Springer-Verlag, New York, 1976. MR 0482275 (58:2349)
11.
D. P. Blecher et al., ``A collection of problems on operator algebras'', pp. 205-214 in Selfadjoint and nonselfadjoint operator algebras and operator theory, Proceedings of the CBMS Regional Conference held at Texas Christian University, Fort Worth, Texas, May 19-26, 1990. Edited by Robert S. Doran. Contemporary Mathematics, 120. American Mathematical Society, Providence, RI, 1991. MR 1126266 (92d:00034)
15.
Ron Blei, Analysis in integer and fractional dimensions, Cambridge
Studies in Advanced Mathematics, vol. 71, Cambridge University Press,
Cambridge, 2001. MR 1853423
(2003a:46008)
16.
M. Bożejko and G. Fendler, Herz-Schur multipliers and completely bounded multipliers of the Fourier algebra of a locally compact group, Boll. Unione Mat. Ital. (6)3-A (1984), 297-302. MR 753889 (86b:43009)
17.
M. Braverman, K. Makarychev, Y. Makarychev, and A. Naor, The Grothendieck constant is strictly smaller than Krivine's bound. Preprint, March 31, 2011.
18.
J. Briët, F.M. de Oliveira Filho and F. Vallentin, The positive semidefinite Grothendieck problem with rank constraint, pp. 31-42 in Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010 S. Abramsky, et al. (eds.), Part I, LNCS 6198, 2010.
19.
J. Briët, F.M. de Oliveira Filho and F. Vallentin, Grothendieck inequalities for semidefinite programs with rank constraint, arXiv:1011.1754v1 [math.OC]
20.
J. Briët, H. Burhman and B. Toner, A generalized Grothendieck inequality and entanglement in XOR games, arXiv:0901.2009v1 [quant-ph].
21.
N.P. Brown and N. Ozawa, -algebras and finite-dimensional approximations, Graduate Studies in Mathematics, 88, American Mathematical Society, Providence, RI, 2008. MR 2391387 (2009h:46101)
23.
M. Charikar and A. Wirth, Maximizing quadratic programs: extending Grothendieck's inequality, FOCS (2004), 54-60.
24.
M.D. Choi and E. Effros, Nuclear -algebras and injectivity: the general case, Indiana Univ. Math. J.26 (1977), 443-446. MR 0430794 (55:3799)
25.
B. Collins and K. Dykema, A linearization of Connes' embedding problem. New York J. Math.14 (2008), 617-641. MR 2465797 (2010a:46141)
26.
A. Connes, Classification of injective factors. Cases , , , , Ann. of Math. (2)104 (1976), 73-115. MR 0454659 (56:12908)
27.
A. M. Davie, Matrix norms related to Grothendieck’s
inequality, Banach spaces (Columbia, Mo., 1984) Lecture Notes in
Math., vol. 1166, Springer, Berlin, 1985, pp. 22–26. MR
827755, http://dx.doi.org/10.1007/BFb0074689
28.
A. Defant and K. Floret, Tensor norms and operator ideals, North-Holland Mathematics Studies, 176. North-Holland Publishing Co., Amsterdam, 1993. MR 1209438 (94e:46130)
29.
J. Diestel, J.H. Fourie and J. Swart, The metric theory of tensor products. Grothendieck's résumé revisited, American Mathematical Society, Providence, RI, 2008. MR 2428264 (2010a:46005)
40.
Michel X. Goemans and David P. Williamson, Improved approximation
algorithms for maximum cut and satisfiability problems using semidefinite
programming, J. Assoc. Comput. Mach. 42 (1995),
no. 6, 1115–1145. MR 1412228
(97g:90108), http://dx.doi.org/10.1145/227683.227684
41.
A. Grothendieck, Résumé de la théorie métrique des produits tensoriels topologiques, Boll. Soc. Mat. São-Paulo8 (1953), 1-79. Reprinted in Resenhas2 (1996), no. 4, 401-480. MR 1466414 (98e:46091)
42.
A. Grothendieck, Sur certaines classes de suites dans les espaces de Banach et le théorème de Dvoretzky-Rogers, Bol. Soc. Mat. São Paulo8 (1953), 81-110. Reprinted in Resenhas3 (1998), no. 4, 447-477. MR 1675413 (2000a:46029)
43.
A. Grothendieck, Produits tensoriels topologiques et espaces nucléaires (French), Mem. Amer. Math. Soc.1955 (1955), no. 16, 140 pp. MR 0075539 (17:763c)
45.
M. Grötschel, L. Lovász and A. Schrijver, Geometric algorithms and combinatorial optimization, Second edition, Algorithms and Combinatorics, 2, Springer-Verlag, Berlin, 1993. MR 1261419 (95e:90001)
46.
G. Grynberg, A. Aspect, and C. Fabre, Introduction to Quantum Optics: From the Semi-classical Approach to Quantized Light, Cambridge Univ. Press, 2010.
47.
U. Haagerup, The best constants in the Khintchine inequality, Studia Math.70 (1981), 231-283 (1982). MR 654838 (83m:60031)
56.
U. Haagerup and S. Thorbjørnsen, Random matrices and -theory for exact -algebras, Doc. Math.4 (1999), 341-450 (electronic). MR 1710376 (2000g:46092)
61.
K. Itô and M. Nisio, On the convergence of sums of independent Banach space valued random variables, Osaka J. Math.5 (1968), 35-48. MR 0235593 (38:3897)
66.
M. Junge, M. Navascues, C. Palazuelos, D. Peréz-García, V.B. Scholz, and R.F. Werner, Connes' embedding problem and Tsirelson's problem, 2010, Preprint (arXiv:1008.1142).
67.
M. Junge and C. Palazuelos, Large violations of Bell's inequalities with low entanglement, (arXiv:1007.3043).
73.
R. Kadison and J. Ringrose, Fundamentals of the Theory of Operator Algebras, Vol. II, Advanced Theory, Corrected reprint of the 1986 original. Graduate Studies in Mathematics, 16, American Mathematical Society, Providence, RI, 1997. MR 1468230 (98f:46001b)
74.
J.P. Kahane, Some random series of functions, Second edition, Cambridge Studies in Advanced Mathematics, 5, Cambridge University Press, Cambridge, 1985. MR 833073 (87m:60119)
75.
S. Kaijser and A.M. Sinclair, Projective tensor products of -algebras, Math. Scand.55 (1984), no. 2, 161-187. MR 787195 (86m:46053)
76.
N.J. Kalton, Rademacher series and decoupling, New York J. Math. 11 (2005), 563-595 (electronic). MR 2188256 (2007b:60010)
78.
B. Kashin and S. Szarek, On the Gram matrices of systems of uniformly bounded functions (Russian), Tr. Mat. Inst. Steklova243 (2003), Funkts. Prostran., Priblizh., Differ.Uravn., 237-243; translation in Proc. Steklov Inst. Math. 2003, no. 4 (243), 227-233. MR 2054436 (2004m:46028)
79.
L.A. Khalfin and B.S. Tsirelson, Quantum and quasiclassical analogs of Bell inequalities, Symposium on the Foundations of Modern Physics (Joensuu, 1985), 441-460, World Sci. Publishing, Singapore, 1985. MR 843870
80.
S. Khot and A. Naor, Sharp kernel clustering algorithms and their associated Grothendieck inequalities. In Proceedings of SODA'2010, pp. 664-683.
83.
V. P. Havin, S. V. Hruščëv, and N. K.
Nikol′skiĭ (eds.), Linear and complex analysis problem
book, Lecture Notes in Mathematics, vol. 1043, Springer-Verlag,
Berlin, 1984. 199 research problems. MR 734178
(85k:46001)
84.
S.V. Kislyakov, Absolutely summing operators on the disc algebra (Russian), Algebra i Analiz3 (1991), no. 4, 1-77; translation in St. Petersburg Math. J.3 (1992), 705-774. MR 1152601 (93b:47062)
86.
H. König, On the complex Grothendieck constant in the -dimensional case, Geometry of Banach Spaces (Strobl, 1989), 181-198, London Math. Soc. Lecture Note Ser., 158, Cambridge Univ. Press, Cambridge, 1990. MR 1110195 (92g:46011)
87.
H. König, On an extremal problem originating in questions of unconditional convergence, in Recent Progress in Multivariate Approximation, Conf. Bommerholz 2000, Birkhäuser, 185-192, 2001. MR 1877506 (2002m:41006)
88.
J.L. Krivine, Théorèmes de factorisation dans les espaces réticulés, Séminaire Maurey-Schwartz 1973-1974: Espaces , applications radonifiantes et géométrie des espaces de Banach, Exp. Nos. 22 et 23, 22 pp. Centre de Math., École Polytech., Paris, 1974. MR 0440334 (55:13209)
89.
J.L. Krivine, Sur la constante de Grothendieck, C.R. Acad. Sci. Paris Ser. A284 (1977), 445-446. MR 0428414 (55:1435)
91.
S. Kwapień, On operators factorizable through space, Bull. Soc. Math. France Mémoire31-32 (1972), 215-225. MR 0397464 (53:1323)
92.
M. Ledoux, The Concentration of Measure Phenomenon, Mathematical Surveys and Monographs, vol. 89, American Mathematical Society, Providence, RI, 2001. MR 1849347 (2003k:28019)
94.
J. Lindenstrauss and A. Pełczyński, Absolutely summing operators in -spaces and their applications, Studia Math.29 (1968), 275-326. MR 0231188 (37:6743)
95.
Nati Linial and Adi Shraibman, Lower bounds in communication complexity
based on factorization norms, STOC’07—Proceedings of the
39th Annual ACM Symposium on Theory of Computing, ACM, New York, 2007,
pp. 699–708. MR 2402497
(2009f:68056), http://dx.doi.org/10.1145/1250790.1250892
96.
L. Lovász, Semidefinite programs and combinatorial optimization, Lecture Notes, Microsoft Research, Redmont, WA 98052
97.
F. Lust-Piquard, Inégalités de Khintchine dans , (French) [Khinchine inequalities in ], C.R. Acad. Sci. Paris Sér. I Math.303 (1986), no. 7, 289-292. MR 859804 (87j:47032)
101.
B. Maurey, Une nouvelle démonstration d'un théorème de Grothendieck, Séminaire Maurey-Schwartz Année 1972-1973: Espaces et applications radonifiantes, Exp. No. 22, 7 pp. Centre de Math., École Polytech., Paris, 1973. MR 0399818 (53:3660)
102.
B. Maurey, Théorèmes de factorisation pour les opérateurs linéaires à valeurs dans les espaces , Astérisque, No. 11. Société Mathématique de France, Paris, 1974, ii+163 pp. MR 0344931 (49:9670)
103.
A. Megretski, Relaxations of quadratic programs in operator theory and system analysis (English summary), Systems, Approximation, Singular Integral Operators, and Related Topics (Bordeaux, 2000), 365-392, Oper. Theory Adv. Appl., 129, Birkhäuser, Basel, 2001. MR 1882703 (2003d:90069)
106.
T. Oikhberg and G. Pisier, The ``maximal'' tensor product of operator spaces, Proc. Edinburgh Math. Soc.42 (1999), 267-284. MR 1697398 (2000f:46076)
107.
A.M. Olevskiĭ, Fourier series with respect to general orthogonal systems, Springer-Verlag, New York-Heidelberg, 1975. MR 0470599 (57:10347)
113.
A. Peralta, New advances on the Grothendieck's inequality problem for bilinear forms on JB*-triples, Math. Inequal. Appl.8 (2005), 7-21. MR 2137902 (2006d:46089)
114.
A. Peres, Quantum theory: concepts and methods, Fundamental Theories of Physics, 57, Kluwer Academic Publishers Group, Dordrecht, 1993. MR 1273135 (95e:81001)
117.
Gilles Pisier, Probabilistic methods in the geometry of Banach
spaces, Probability and analysis (Varenna, 1985) Lecture Notes in
Math., vol. 1206, Springer, Berlin, 1986, pp. 167–241. MR 864714
(88d:46032), http://dx.doi.org/10.1007/BFb0076302
119.
G. Pisier, Factorization of linear operators and the geometry of Banach spaces, CBMS (Regional Conferences of the A.M.S.) no. 60 (1986), Reprinted with corrections 1987. MR 829919 (88a:47020)
122.
G. Pisier, A simple proof of a theorem of Kirchberg and related results on -norms, J. Operator Theory35 (1996), 317-335. MR 1401692 (98e:46076)
123.
G. Pisier, The operator Hilbert space OH, complex interpolation and tensor norms, Mem. Amer. Math. Soc.122 (1996), no. 585, viii+103 pp. MR 1342022 (97a:46024)
124.
G. Pisier, Non-commutative vector valued -spaces and completely -summing maps, Astérisque No. 247 (1998), vi+131 pp. MR 1648908 (2000a:46108)
125.
G. Pisier, An inequality for -orthogonal sums in non-commutative , Illinois J. Math.44 (2000), 901-923. MR 1804311 (2001k:46101)
126.
G. Pisier, Introduction to operator space theory, Cambridge University Press, Cambridge, 2003. MR 2006539 (2004k:46097)
131.
F. Rădulescu, A comparison between the max and min norms on , J. Operator Theory51 (2004), no. 2, 245-253. MR 2074180 (2005e:46102)
132.
F. Rădulescu, Combinatorial aspects of Connes's embedding conjecture and asymptotic distribution of traces of products of unitaries, Operator Theory20, 197-205, Theta Ser. Adv. Math.6, Theta, Bucharest, 2006.
142.
J. Sawa, The best constant in the Khintchine inequality for complex Steinhaus variables, the case , Studia Math.81 (1985), 107-126. MR 818175 (87d:26024)
146.
Allan M. Sinclair and Roger R. Smith, Hochschild cohomology of von
Neumann algebras, London Mathematical Society Lecture Note Series,
vol. 203, Cambridge University Press, Cambridge, 1995. MR 1336825
(96d:46094)
147.
S.U. Szarek, On the best constants in the Khinchine inequality, Studia Math.58 (1976), 197-208. MR 0430667 (55:3672)
149.
N. Tomczak-Jaegermann, On the Rademacher averages and the moduli of convexity and smoothness of the Schatten classes , Studia Math.50 (1974), 163-182. MR 0355667 (50:8141)
150.
N. Tomczak-Jaegermann, Banach-Mazur Distances and Finite-dimensional Operator Ideals, Longman, Wiley, New York, 1989. MR 993774 (90k:46039)
151.
A. Tonge, The complex Grothendieck inequality for matrices, Bull. Soc. Math. Grèce (N.S.) 27 (1986), 133-136. MR 935447 (89c:47028)
152.
J.A. Tropp, Column subset selection, matrix factorization, and eigenvalue optimization, (arXiv:0806.4404v1), 26 June 2008.
154.
B.S. Tsirelson, Quantum analogues of Bell's inequalities. The case of two spatially divided domains (Russian), Problems of the Theory of Probability Distributions, IX, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)142 (1985), 174-194, 200. MR 788202 (86g:81009)
155.
B.S. Tsirelson, Some results and problems on quantum Bell-type inequalities, Hadronic J. Suppl.8 (1993), no. 4, 329-345. MR 1254597
156.
B.S. Tsirelson, Bell inequalities and operator algebras, Problem 33, 6 July 2006, Open Problems in Quantum Information Theory, Institut für Mathematische Physik, TU Braunschweig, Germany.
157.
A.M. Vershik and B.S. Tsirelson, Formulation of Bell type problems, and ``noncommutative'' convex geometry, Representation Theory and Dynamical Systems, 95-114, Adv. Soviet Math. 9, Amer. Math. Soc., Providence, RI, 1992. MR 1166197 (93i:46130)
158.
D. Voiculescu, K. Dykema and A. Nica, Free random variables, Amer. Math. Soc., Providence, RI, 1992. MR 1217253 (94c:46133)
159.
S. Wassermann, On tensor products of certain group -algebras, J. Funct. Anal.23 (1976), 239-254. MR 0425628 (54:13582)
160.
W. Wogen, On generators for von Neumann algebras, Bull. Amer. Math. Soc.75 (1969), 95-99. MR 0236725 (38:5020)
161.
Q. Xu, Applications du théorème de factorisation pour des fonctions à valeurs opérateurs, Studia Math.95 (1990), 273-292. MR 1060730 (91i:46077)