English

On the metric entropy of the Banach-Mazur compactum

Functional Analysis 2019-02-20 v6 Operator Algebras

Abstract

We study the metric entropy of the metric space BnB_n of all n-dimensional Banach spaces (the so-called Banach-Mazur compactum) equipped with the Banach-Mazur (multiplicative) "distance" dd. We are interested either in estimates independent of the dimension or in asymptotic estimates when the dimension tends to \infty. For instance, we prove that, if N(Bn,d,1+ε)N({B_n},d, 1+\varepsilon) is the smallest number of "balls" of "radius" 1+ε1+\varepsilon that cover Bn B_n, then for any ε>0\varepsilon>0 we have 0<lim infnn1loglogN(Bn,d,1+ε)lim supnn1loglogN(Bn,d,1+ε)<.0<\liminf_{n\to \infty}n^{-1} \log\log N(B_n,d,1+\varepsilon)\le \limsup_{n\to \infty}n^{-1} \log\log N(B_n,d,1+\varepsilon)<\infty. We also prove an analogous result for the metric entropy of the set of n-dimensional operator spaces equipped with the distance dNd_N naturally associated to N×NN\times N-matrices with operator entries. In that case NN is arbitrary but our estimates are valid independently of NN. In the Banach space case (i.e.N=1) the above upper bound is part of the folklore, and the lower bound is at least partially known (but apparently has not appeared in print). While we follow the same approach in both cases, the matricial case requires more delicate ingredients, namely estimates (from our previous work) on certain nn-tuples of N×NN\times N unitary matrices known as "quantum expanders".

Keywords

Cite

@article{arxiv.1306.5325,
  title  = {On the metric entropy of the Banach-Mazur compactum},
  author = {Gilles Pisier},
  journal= {arXiv preprint arXiv:1306.5325},
  year   = {2019}
}

Comments

The role of quantum expanders is better highlighted in version 3. In v. 4 the matricial case is now proved without restriction on $r>1$ just like in the Banach space case. In v. 6, some references and comments are added, we show that the metric entropy of an arbitrary ball behaves also doubly exponentially, just like for the whole space of n-dimensional spaces. To appear in Mathematika