\documentclass{amsart} % options include 12pt or 11pt or 10pt % classes include article, report, book, letter, thesis \usepackage{setspace} \usepackage{a4} \usepackage{amsthm} \usepackage{latexsym} \usepackage{amsfonts} \usepackage{graphicx} \usepackage{textcomp} \usepackage{cite} \usepackage{enumerate} \usepackage{amssymb} \usepackage{hyperref} \usepackage{amsmath} \usepackage{tikz} \usepackage[mathscr]{euscript} \usepackage{mathtools} \newtheorem{theorem}{Theorem}[section] \newtheorem{acknowledgement}[theorem]{Acknowledgement} \newtheorem{conjecture}[theorem]{Conjecture} \newtheorem{corollary}[theorem] {Corollary} \newtheorem{definition}[theorem]{Definition} \newtheorem{example}[theorem]{Example} \newtheorem{lemma} [theorem]{Lemma} \newtheorem{notation}[theorem]{Notation} \newtheorem{observation}[theorem]{Observation} \newtheorem{problem}[theorem]{Problem} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{remark}[theorem]{Remark} \newtheorem{question}[theorem]{Question} \setlength{\parindent}{0pt} \setlength{\evensidemargin}{0.3cm} \setlength{\oddsidemargin}{0.3cm} \setlength{\topmargin}{-1cm} \textwidth 16cm \textheight 23cm \onehalfspacing \title{This is the title} \newcommand{\Cross}{\mathbin{\tikz [x=1.4ex,y=1.4ex,line width=.2ex] \draw (0,0) -- (1,1) (0,1) -- (1,0);}}% \raggedbottom \newcommand{\abs}[1]{\lvert#1\rvert} \newcommand{\blankbox}[2]{% \parbox{\columnwidth}{\centering \setlength{\fboxsep}{0pt}% \fbox{\raisebox{0pt}[#2]{\hspace{#1}}}% }% } \usepackage{fancyhdr} %\pagestyle{fancy} \pagestyle{fancy} %\thispagestyle{empty} \fancyhead[LO]{\textbf{MODULAR DVORETZKY, TYPE-COTYPE, KHINCHIN-KAHANE AND GROTHENDIECK INEQUALITY PROBLEMS}} \fancyhead[RE]{\textbf{K. MAHESH KRISHNA}} \begin{document} \hrule\hrule\hrule\hrule\hrule \vspace{0.3cm} \begin{center} {\bf{Modular Dvoretzky, Type-Cotype, Khinchin-Kahane and Grothendieck Inequality Problems}}\\ \vspace{0.3cm} \hrule\hrule\hrule\hrule\hrule \vspace{0.3cm} \textbf{K. MAHESH KRISHNA}\\ School of Mathematics and Natural Sciences\\ Chanakya University Global Campus\\ NH-648, Haraluru Village\\ Devanahalli Taluk, Bengaluru North District\\ Karnataka State, 562 110, India\\ Email: kmaheshak@gmail.com\\ Date: \today \end{center} \hrule\hrule \vspace{0.5cm} %-------------------------------------- \textbf{Abstract}: We ask for noncommutative versions of following four: (1) Dvoretzky Theorem, (2) Type-Cotype Definition, (3) Khinchin-Kahane Inequalities, (4) Grothendieck Inequality. \textbf{Keywords}: Dvoretzky Theorem, Type-Cotype, Khinchin-Kahane Inequality, Grothendieck Inequality, C*-algebra, Hilbert C*-module. \textbf{Mathematics Subject Classification (2020)}: 47B10, 47L20, 46L08, 46L05, 42C15.\\ \hrule %\tableofcontents \hrule \section{Modular Dvoretzky Problem} Let $\mathcal{X}$ and $\mathcal{Y}$ be finite dimensional Banach spaces such that $\dim (\mathcal{X})=\dim(\mathcal{Y})$. Remember that the \textbf{Banach-Mazur distance} between $\mathcal{X}$ and $\mathcal{Y}$ is defined as \begin{align*} d_{BM}(\mathcal{X}, \mathcal{Y})\coloneqq \inf\{\|T\|\|T^{-1}\|: T: \mathcal{X} \to \mathcal{Y} \text{ is invertible linear operator}\}. \end{align*} For $n \in \mathbb{N}$, let $(\mathbb{R}^n, \langle \cdot, \cdot \rangle)$ be the standard Euclidean Hilbert space. \begin{theorem}\cite{ALBIACKALTON, JOHN} \textbf{(John Theorem)} If $\mathcal{X}$ is any $n$-dimensional real Banach space, then \begin{align*} d_{BM}(\mathcal{X}, (\mathbb{R}^n, \langle \cdot, \cdot \rangle))\leq \sqrt{n}. \end{align*} \end{theorem} \begin{theorem}\cite{DVORETZKY, ALBIACKALTON} \textbf{(Dvoretzky Theorem)} There is a universal constant $C>0$ satisfying the following property: If $\mathcal{X}$ is any $n$-dimensional real Banach space and $0<\varepsilon < \frac{1}{3}$, then for every natural number \begin{align*} k\leq C \frac{\varepsilon^2}{|\log \varepsilon|}\log n, \end{align*} there exists a $k$-dimensional Banach subspace $\mathcal{Y}$ of $\mathcal{X}$ such that \begin{align*} d_{BM}(\mathcal{Y}, (\mathbb{R}^k, \langle \cdot, \cdot \rangle))<1+\varepsilon. \end{align*} \end{theorem} We refer \cite{MILMANSCHECHTMAN, MILMAM, MILMAN1992, FIGIEL2, SZANKOWSKI, MATOUSEK, MATSAKPLICHKO, PISIERBOOK, GORDONGUEDONMEYER, FIGIEL, FIGIEL3, FIGIELLINDENSTRAUSSMILMAN, SCHECHTMAN, GORDON2, PISIERBOOK2} for more information on Dvoretzky theorem. Let $\mathcal{A}$ be a unital C*-algebra with invariant basis number property (see \cite{GIPSON} for a study on such C*-algebras) and $\mathcal{E}$, $\mathcal{F}$ be finite rank Banach modules over $\mathcal{A}$ such that $\operatorname{rank} (\mathcal{E})=\operatorname{rank}(\mathcal{F})$. \textbf{Modular Banach-Mazur distance} between $\mathcal{E}$ and $\mathcal{F}$ is defined as \begin{align*} d_{MBM}(\mathcal{E}, \mathcal{F})\coloneqq \inf\{\|T\|\|T^{-1}\|: T: \mathcal{E} \to \mathcal{F} \text{ is invertible module homomorphism}\}. \end{align*} Given a unital C*-algebra $\mathcal{A}$ and $n \in \mathbb{N}$, by $\mathcal{A}^n$ we mean the standard (right) module over $\mathcal{A}$. We equip $\mathcal{A}^n$ with the C*-valued inner product $\langle \cdot, \cdot \rangle: \mathcal{A}^n\times \mathcal{A}^n \to \mathcal{A}$ defined by \begin{align*} \langle (a_j)_{j=1}^n, (b_j)_{j=1}^n \rangle \coloneqq \sum_{j=1}^na_j^*b_j, \quad \forall (a_j)_{j=1}^n, (b_j)_{j=1}^n \in \mathcal{A}^n. \end{align*} Hence the norm on $\mathcal{A}^n$ is given by \begin{align*} \|(a_j)_{j=1}^n\|\coloneqq \left\|\sum_{j=1}^na_j^*a_j\right\|^\frac{1}{2} , \quad \forall (a_j)_{j=1}^n \in \mathcal{A}^n. \end{align*} Then it is well-known that $\mathcal{A}^n$ is a Hilbert C*-module. We denote this Hilbert C*-module by $(\mathcal{A}^n, \langle \cdot, \cdot \rangle)$. \begin{problem} \textbf{(Modular John Problem)} Let $\mathscr{A}$ be the set of all unital C*-algebras with invariant basis number property. What is the best function $\Phi: \mathscr{A} \times \mathbb{N} \to (0, \infty)$ satisfying the following property: If $\mathcal{E}$ is any $n$-rank Banach module over a unital C*-algebra $\mathcal{A}$ with IBN property, then \begin{align*} d_{MBM}(\mathcal{E}, (\mathcal{A}^n, \langle \cdot, \cdot \rangle))\leq \Phi(\mathcal{A}, n). \end{align*} \end{problem} \begin{problem}\label{MODULARDVORETZKYPROBLEM} \textbf{(Modular Dvoretzky Problem)} Let $\mathscr{A}$ be the set of all unital C*-algebras with invariant basis number property. What is the best function $\Psi: \mathscr{A} \times \mathbb{R} \times \mathbb{N} \to (0, \infty)$ satisfying the following property: If $\mathcal{E}$ is any $n$-rank Banach module over a unital C*-algebra $\mathcal{A}$ with IBN property and $0<\varepsilon $, then for every natural number \begin{align*} k\leq \Psi(\mathcal{A}, \varepsilon, n), \end{align*} there exists a $k$-rank Banach submodule $\mathcal{F}$ of $\mathcal{E}$ such that \begin{align*} d_{MBM}(\mathcal{F}, (\mathcal{A}^k, \langle \cdot, \cdot \rangle))<1+\varepsilon. \end{align*} \end{problem} \section{Modular Type-Cotype and Khinchin-Kahane Problems} Let $\mathcal{H}$ be a Hilbert space, $n\in \mathbb{N}$. Recall that for any $n$ points $h_1, \dots , h_n \in \mathcal{H}$, we have \begin{align}\label{H2} \frac{1}{2^n}\sum_{\varepsilon_1, \dots, \varepsilon_n \in \{-1, 1\}} \left\|\sum_{j=1}^{n}\varepsilon_j h_j\right\|^2=\sum_{j=1}^{n}\|h_j\|^2. \end{align} It is Equality (\ref{H2}) which motivated the definition of type and cotype for Banach spaces. \begin{definition}\cite{ALBIACKALTON} Let $1\leq p \leq 2$. A Banach space $\mathcal{X}$ is said to be of \textbf{(Rademacher) type $p$} if there exists $T_p(\mathcal{X})>0$ such that \begin{align*} \left(\frac{1}{2^n}\sum_{\varepsilon_1, \dots, \varepsilon_n \in \{-1, 1\}} \left\|\sum_{j=1}^{n}\varepsilon_j x_j\right\|^p\right)^\frac{1}{p} \leq T_p(\mathcal{X})\left(\sum_{j=1}^{n}\|x_j\|^p\right)^\frac{1}{p}, \quad \forall x_1, \dots , x_n \in \mathcal{X}, ~\forall n \in \mathbb{N}. \end{align*} \end{definition} \begin{definition}\cite{ALBIACKALTON} Let $2\leq q <\infty$. A Banach space $\mathcal{X}$ is said to be of \textbf{(Rademacher) cotype $q$} if there exists $C_q(\mathcal{X})>0$ such that \begin{align*} \left(\sum_{j=1}^{n}\|x_j\|^q\right)^\frac{1}{q}\leq C_q(\mathcal{X}) \left(\frac{1}{2^n}\sum_{\varepsilon_1, \dots, \varepsilon_n \in \{-1, 1\}} \left\|\sum_{j=1}^{n}\varepsilon_j x_j\right\|^q\right)^\frac{1}{q}, \quad \forall x_1, \dots , x_n \in \mathcal{X}, ~\forall n \in \mathbb{N}. \end{align*} \end{definition} We refer \cite{LATALAOLESZKIEWICZ, SZAREK, HANDBOOK1, HANDBOOK2, ALBIACKALTON, LIQUEFFELEC1, LIQUEFFELEC2, DIESTELJARCHOWTONGE} for more information on type-cotype for Banach spaces. Let $\mathcal{E}$ be a (right) Hilbert C*-module over a unital C*-algebra $\mathcal{A}$, $n\in \mathbb{N}$. We see that for any $n$ points $x_1, \dots , x_n \in \mathcal{E}$, we have \begin{align}\label{HMODULE} \frac{1}{2^n}\sum_{\varepsilon_1, \dots, \varepsilon_n \in \{-1, 1\}}\left\langle \sum_{j=1}^{n}\varepsilon_j x_j, \sum_{k=1}^{n}\varepsilon_k x_k\right\rangle = \sum_{j=1}^{n}\langle x_j, x_j \rangle. \end{align} \begin{problem} \textbf{(Modular Type-Cotype Problems)} Whether there is a way to define type (we call modular-type) and cotype (we call modular-cotype) for Banach modules over C*-algebras which reduces to Equality (\ref{HMODULE}) for Hilbert C*-modules? \end{problem} \begin{problem} Whether there is a notion of type and cotype for Banach modules over C*-algebras such that Kwapien theorems hold?, In other words, whether following statements hold? \begin{enumerate}[\upshape(i)] \item A Banach module $\mathcal{M}$ over a unital C*-algebra $\mathcal{A}$ has modular-type 2 and modular-cotype 2 if and only if $\mathcal{M}$ is isomorphic to a Hilbert C*-module over $\mathcal{A}$. \item If $\mathcal{M}$ and $\mathcal{N}$ are Banach modules over a unital C*-algebra $\mathcal{A}$ of modular-type 2 and modular-cotype 2, respectively, then a bounded module morphism $T:\mathcal{M} \to \mathcal{N}$ factors through a Hilbert C*-module over $\mathcal{A}$. \end{enumerate} \end{problem} \begin{problem} \textbf{(Modular Khinchin-Kahane Inequalities Problems)} Whether there is a Khinchin-Kahane inequalities for Banach modules over C*-algebras which reduce to Equality (\ref{HMODULE}) for Hilbert C*-modules? \end{problem} \section{Modular Grothendieck Inequality Problem} In 1968, Lindenstrauss and Pelczynski derived the following form of Grothendieck inequality \cite{LP}. \begin{theorem}\cite{BLEI, FRIEDLANDLIMZHANG, RIETZ, GROTHENDIECK, ALBIACKALTON, DIESTELFOURIESWART, LP} \textbf{(Grothendieck Inequality)} There is a universal constant $K_G$ satisfying the following: For any Hilbert space $\mathcal{H}$ and any $m, n \in \mathbb{N}$, if a scalar matrix $[a_{j,k}]_{1\leq j \leq m, 1\leq k \leq n}$ satisfies \begin{align*} \left|\sum_{j=1}^m \sum_{k=1}^na_{j,k}s_jt_k\right|\leq \left(\max_{1\leq j \leq m}|s_j|\right) \left(\max_{1\leq k \leq n}|t_k|\right), \quad \forall s_j , t_k \in \mathbb{K}, \end{align*} then \begin{align*} \left| \sum_{j=1}^m \sum_{k=1}^na_{j,k}\langle u_j, v_k\rangle\right| \leq K_G\left(\max_{1\leq j \leq m}\|u_j\|\right) \left(\max_{1\leq k \leq n}\|v_k\|\right), \quad \forall u_j , v_k \in \mathcal{H}. \end{align*} \end{theorem} We refer \cite{BLEI, GROTHENDIECK, ALBIACKALTON, DIESTELFOURIESWART, FRIEDLANDLIMZHANG, RIETZ, HAAGERUP, JAMESON2, KAIJSER, BLEI2014, PISIERGROTHENDIECK} for more information on Grothendieck inequality. \begin{problem} \textbf{(Modular Grothendieck Inequality Problem - 1)} Let $\mathcal{A}$ be a unital C*-algebra. Whether there is a universal real constant $R_\mathcal{A}>0$ (which can depend upon $\mathcal{A}$) satisfying the following: Let $\mathcal{E}$ be a Hilbert C*-module over $\mathcal{A}$. If $[a_{j,k}]_{1\leq j \leq m, 1\leq k \leq n}\in \mathbb{M}_{m\times n}(\mathcal{A})$ satisfies \begin{align*} \left(\sum_{j=1}^m \sum_{k=1}^ns_j^*a_{j,k}t_k\right)^*\left( \sum_{p=1}^m \sum_{q=1}^ns_p^*a_{p,q}t_q\right) \leq 1, \quad \forall s_j , t_k \in \mathcal{A}, s_j^*s_j=1, \forall 1\leq j\leq m, t_k^*t_k=1, \forall 1\leq k\leq n, \end{align*} then \begin{align*} \left( \sum_{j=1}^m \sum_{k=1}^n\langle u_j, a_{j,k}v_k\rangle\right)^* \left(\sum_{p=1}^m \sum_{q=1}^n\langle u_p, a_{p,q}v_q\rangle\right) \leq R_\mathcal{A}, \quad \forall u_j , v_k \in \mathcal{E}, \langle u_j, u_j\rangle= 1, \forall 1\leq j\leq m, \langle v_k, v_k\rangle =1, \forall 1\leq k\leq n. \end{align*} \end{problem} \begin{problem} \textbf{(Modular Grothendieck Inequality Problem - 2)} Let $\mathcal{A}$ be a unital C*-algebra. Whether there is a universal real constant $R_\mathcal{A}>0$ (which can depend upon $\mathcal{A}$) satisfying the following: Let $\mathcal{E}$ be a Hilbert C*-module over $\mathcal{A}$. If $[a_{j,k}]_{1\leq j \leq m, 1\leq k \leq n}\in \mathbb{M}_{m\times n}(\mathcal{A})$ satisfies \begin{align*} \left\|\sum_{j=1}^m \sum_{k=1}^ns^*_ja_{j,k}t_k\right\| \leq \left(\max_{1\leq j \leq m}\|s_j\|\right) \left(\max_{1\leq k \leq n}\|t_k\|\right), \quad \forall s_j , t_k \in \mathcal{A}, \end{align*} then \begin{align*} \left\| \sum_{j=1}^m \sum_{k=1}^n\langle u_j, a_{j,k}v_k\rangle\right\|\leq R_\mathcal{A}\left(\max_{1\leq j \leq m}\|u_j\|\right) \left(\max_{1\leq k \leq n}\|v_k\|\right), \quad \forall u_j , v_k \in \mathcal{E}. \end{align*} \end{problem} \bibliographystyle{plain} \begin{thebibliography}{10} \bibitem{ALBIACKALTON} Fernando Albiac and Nigel~J. Kalton. \newblock {\em Topics in {B}anach space theory}, volume 233 of {\em Graduate Texts in Mathematics}. \newblock Springer, 2016. \bibitem{BLEI2014} Ron Blei. \newblock The {G}rothendieck inequality revisited. \newblock {\em Mem. Amer. Math. Soc.}, 232(1093):vi+90, 2014. \bibitem{BLEI} Ron~C. Blei. \newblock An elementary proof of the {G}rothendieck inequality. \newblock {\em Proc. Amer. Math. Soc.}, 100(1):58--60, 1987. \bibitem{DIESTELFOURIESWART} Joe Diestel, Jan~H. Fourie, and Johan Swart. \newblock {\em The metric theory of tensor products: {G}rothendieck's resume revisited}. \newblock American Mathematical Society, Providence, RI, 2008. \bibitem{DIESTELJARCHOWTONGE} Joe Diestel, Hans Jarchow, and Andrew Tonge. \newblock {\em Absolutely summing operators}, volume~43 of {\em Cambridge Studies in Advanced Mathematics}. \newblock Cambridge University Press, Cambridge, 1995. \bibitem{DVORETZKY} Aryeh Dvoretzky. \newblock Some results on convex bodies and {B}anach spaces. \newblock In {\em Proc. {I}nternat. {S}ympos. {L}inear {S}paces ({J}erusalem, 1960)}, pages 123--160. Jerusalem Academic Press, Jerusalem; Pergamon, Oxford, 1961. \bibitem{FIGIEL3} T.~Figiel. \newblock Some remarks on {D}voretzky's theorem on almost spherical sections of convex bodies. \newblock {\em Colloq. Math.}, 24:241--252, 1971/72. \bibitem{FIGIEL} T.~Figiel. \newblock A short proof of {D}voretzky's theorem. \newblock In {\em S\'{e}minaire {M}aurey-{S}chwartz 1974--1975: {E}spaces {$L^{p}$}, applications radonifiantes et g\'{e}om\'{e}trie des espaces de {B}anach, {E}xp. {N}o. {XXIII}}, pages 6 pp. (erratum, p. 3). 1975. \bibitem{FIGIEL2} T.~Figiel. \newblock A short proof of {D}voretzky's theorem on almost spherical sections of convex bodies. \newblock {\em Compositio Math.}, 33(3):297--301, 1976. \bibitem{FIGIELLINDENSTRAUSSMILMAN} T.~Figiel, J.~Lindenstrauss, and V.~D. Milman. \newblock The dimension of almost spherical sections of convex bodies. \newblock {\em Acta Math.}, 139(1-2):53--94, 1977. \bibitem{FRIEDLANDLIMZHANG} Shmuel Friedland, Lek-Heng Lim, and Jinjie Zhang. \newblock An elementary and unified proof of {G}rothendieck's inequality. \newblock {\em Enseign. Math.}, 64(3-4):327--351, 2018. \bibitem{GIPSON} Philip~M. Gipson. \newblock Invariant basis number for {$C^*$}-algebras. \newblock {\em Illinois J. Math.}, 59(1):85--98, 2015. \bibitem{GORDONGUEDONMEYER} Y.~Gordon, O.~Guedon, and M.~Meyer. \newblock An isomorphic {D}voretzky's theorem for convex bodies. \newblock {\em Studia Math.}, 127(2):191--200, 1998. \bibitem{GORDON2} Yehoram Gordon. \newblock Gaussian processes and almost spherical sections of convex bodies. \newblock {\em Ann. Probab.}, 16(1):180--188, 1988. \bibitem{GROTHENDIECK} Alexandre Grothendieck. \newblock Produits tensoriels topologiques et espaces nucl\'{e}aires. \newblock {\em Mem. Amer. Math. Soc.}, 16, 1955. \bibitem{HAAGERUP} Uffe Haagerup. \newblock A new upper bound for the complex {G}rothendieck constant. \newblock {\em Israel J. Math.}, 60(2):199--224, 1987. \bibitem{JAMESON2} G.~J.~O. Jameson. \newblock The interpolation proof of {G}rothendieck's inequality. \newblock {\em Proc. Edinburgh Math. Soc. (2)}, 28(2):217--223, 1985. \bibitem{JOHN} Fritz John. \newblock Extremum problems with inequalities as subsidiary conditions. \newblock In {\em Studies and {E}ssays {P}resented to {R}. {C}ourant on his 60th {B}irthday, {J}anuary 8, 1948}, pages 187--204. Interscience Publishers, Inc., New York, N. Y., 1948. \bibitem{HANDBOOK1} W.~B. Johnson and J.~Lindenstrauss, editors. \newblock {\em Handbook of the geometry of {B}anach spaces. {V}ol. {I}}. \newblock North-Holland Publishing Co., Amsterdam, 2001. \bibitem{HANDBOOK2} W.~B. Johnson and J.~Lindenstrauss, editors. \newblock {\em Handbook of the geometry of {B}anach spaces. {V}ol. 2}. \newblock North-Holland, Amsterdam, 2003. \bibitem{KAIJSER} Sten Kaijser. \newblock A simple-minded proof of the {P}isier-{G}rothendieck inequality. \newblock In {\em Banach spaces, harmonic analysis, and probability theory ({S}torrs, {C}onn., 1980/1981)}, volume 995 of {\em Lecture Notes in Math.}, pages 33--44. Springer, Berlin, 1983. \bibitem{LATALAOLESZKIEWICZ} Rafal Latala and Krzysztof Oleszkiewicz. \newblock On the best constant in the {K}hinchin-{K}ahane inequality. \newblock {\em Studia Math.}, 109(1):101--104, 1994. \bibitem{LIQUEFFELEC1} Daniel Li and Herve Queffelec. \newblock {\em Introduction to {B}anach spaces: analysis and probability. {V}ol. 1}, volume 166 of {\em Cambridge Studies in Advanced Mathematics}. \newblock Cambridge University Press, Cambridge, 2018. \bibitem{LIQUEFFELEC2} Daniel Li and Herve Queffelec. \newblock {\em Introduction to {B}anach spaces: analysis and probability. {V}ol. 2}, volume 167 of {\em Cambridge Studies in Advanced Mathematics}. \newblock Cambridge University Press, Cambridge, 2018. \bibitem{LP} Joram Lindenstrauss and Aleksander Pe{\l}czy{\'n}ski. \newblock Absolutely summing operators in {{\(L_{p}\)}}-spaces and their applications. \newblock {\em Stud. Math.}, 29:275--326, 1968. \bibitem{MATOUSEK} J.~Matousek. \newblock {\em Lectures on discrete geometry}, volume 212 of {\em Graduate Texts in Mathematics}. \newblock Springer-Verlag, New York, 2002. \bibitem{MATSAKPLICHKO} Ivan Matsak and Anatolij Plichko. \newblock Dvoretzky's theorem by {G}aussian method. \newblock In {\em Functional analysis and its applications}, volume 197 of {\em North-Holland Math. Stud.}, pages 171--184. Elsevier Sci. B. V., Amsterdam, 2004. \bibitem{MILMAN1992} V.~Milman. \newblock Dvoretzky's theorem---thirty years later. \newblock {\em Geom. Funct. Anal.}, 2(4):455--479, 1992. \bibitem{MILMAM} V.~D. Milman. \newblock A new proof of {A}. {D}voretzky's theorem on cross-sections of convex bodies. \newblock {\em Funkcional. Anal. i Prilo\v{z}en.}, 5(4):28--37, 1971. \bibitem{MILMANSCHECHTMAN} Vitali~D. Milman and Gideon Schechtman. \newblock {\em Asymptotic theory of finite-dimensional normed spaces}, volume 1200 of {\em Lecture Notes in Mathematics}. \newblock Springer-Verlag, Berlin, 1986. \bibitem{PISIERBOOK2} Gilles Pisier. \newblock Probabilistic methods in the geometry of {B}anach spaces. \newblock In {\em Probability and analysis ({V}arenna, 1985)}, volume 1206 of {\em Lecture Notes in Math.}, pages 167--241. Springer, Berlin, 1986. \bibitem{PISIERBOOK} Gilles Pisier. \newblock {\em The volume of convex bodies and {B}anach space geometry}, volume~94 of {\em Cambridge Tracts in Mathematics}. \newblock Cambridge University Press, Cambridge, 1989. \bibitem{PISIERGROTHENDIECK} Gilles Pisier. \newblock Grothendieck's theorem, past and present. \newblock {\em Bull. Amer. Math. Soc. (N.S.)}, 49(2):237--323, 2012. \bibitem{RIETZ} Ronald~E. Rietz. \newblock A proof of the {G}rothendieck inequality. \newblock {\em Israel J. Math.}, 19:271--276, 1974. \bibitem{SCHECHTMAN} Gideon Schechtman. \newblock A remark concerning the dependence on {$\epsilon$} in {D}voretzky's theorem. \newblock In {\em Geometric aspects of functional analysis (1987--88)}, volume 1376 of {\em Lecture Notes in Math.}, pages 274--277. Springer, Berlin, 1989. \bibitem{SZANKOWSKI} Andrzej Szankowski. \newblock On {D}voretzky's theorem on almost spherical sections of convex bodies. \newblock {\em Israel J. Math.}, 17:325--338, 1974. \bibitem{SZAREK} S.~J. Szarek. \newblock On the best constants in the {K}hinchin inequality. \newblock {\em Studia Math.}, 58(2):197--208, 1976. \end{thebibliography} \end{document}