No label defined (Q4249206)

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].