scientific article; zbMATH DE number 1302654

Publication date 26 March 2000

Full work available at URL https://arxiv.org/abs/math/9804023, http://www.msri.org/communications/books/Book34/

Banach ball ellipsoid Milman's quotient of subspace theorem round subquotient semiround ball subquotient of ball

Isomorphic theory (including renorming) of Banach spaces (46B03) Convexity and finite-dimensional Banach spaces (including special norms, zonoids, etc.) (aspects of convex geometry) (52A21)

Review text

Let \(V\) be a finite-dimensional vector space over \(\mathbb R.\) A symmetric convex body or Banach ball is a compact convex set with nonempty interior which is invariant under \(x\mapsto-x.\) An \(n\)-dimensional ball \(K\) is \(n\)-semiround if it contains an ellipsoid \(E\) such that \((\text{Vol }K)/(\text{Vol }E)\leq r^n.\) It is \(r\)-round if it contains an ellipsoid \(E\) such that \(K\subseteq rE.\) If \(K\) is a ball in a vector space \(V\) and \(W\) is a subspace, we define \(W\cap K\) to be a slice of \(K\) and the image of \(K\) in \(V/W\) to be a projection of \(K\); they are both balls. Following Milman, define a subquotient of \(K\) as a slice of a projection of \(K.\) The author proves the following theorem: Suppose that \(K\) is a \((2^{k+1}n)\)-dimensional ball which is \((2^{(3/2)^k}\cdot 4)\)-semiround, with \(k \geq 0.\) Then \(K\) has a 256-round, \(n\)-dimensional subquotient. The following corollary is a weak version of a celebrated Milman's quotient of subspace theorem which lacks the logarithmic factor: There exists a constant \(C > 0\) such that every \(n\)-dimensional ball \(K\) admits a 256-round subquotient of dimension at least \(Cn/\log n.\) For the entire collection see [Zbl 0911.00007].

Recommendations

Cited in

(1)

A geometric inequality and a low 𝑀-estimate

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249206)