Skip to main content

Banach-Mazur distance between the cube and the octahedron

The Banach-Mazur distance $d(X, Y)$ between two normed spaces $X, Y$ of the same dimension is defined as $d(X, Y) = \log\inf \|T\| \cdot \|T^{-1}\|$, where the $T:X \to Y$ is a linear and invertible operator. The estimates between classical $\ell_p^n$ spaces are known and in particular we have that $d\left(\ell_1^n, \ell_{\infty}^n\right) \sim \sqrt{n}$ asymptotically. Using Walsh matrices it can be shown that for $n=2^k$ this distance is actually not greater than $\sqrt{n}$.

In the two dimensional case we clearly have $d(\ell_1^2, \ell_{\infty}^2)=1$. I wonder if anybody has managed to provide some more specific results in the three dimensional case. It is equivalent to finding two positively homothetic parallelotopes with one contained in and the second containing the regular octahedron with the homothety ratio as minimal as possible. It seems like pretty basic question in three dimensional discrete geometry, but still I could not find any information and the problem might be highly non-trivial. The only information I found was in the paper of Stromquist ("The maximum distance between two dimensional Banach spaces") where he wrote that this distance is not known. But it was 35 years ago, so I guess that there could be some new results in this direction. If not, maybe at least one could make some good conjecture on what this distance should be like?

tkobos
  • 243
  • 1
  • 4