English

Distances between non-symmetric convex bodies: optimal bounds up to polylog

Metric Geometry 2025-11-06 v2 Functional Analysis Probability

Abstract

We show that the non-symmetric Banach-Mazur distance between two convex bodies K1,K2RnK_1, K_2 \subseteq \mathbb{R}^n satisfies dBM(K1,K2)Cnlogα(n+1), d_{BM}(K_1, K_2) \leq C n \cdot \log^{\alpha} (n+1), for universal constants C,α>0C, \alpha > 0. This improves upon the earlier bound Cn4/3logα(n+1)C n^{4/3} \log^{\alpha} (n+1) due to Rudelson. Up to polylogarithmic factors, our estimate is optimal and it also matches the optimal bound in the centrally-symmetric case which is realized in the John position, as proven by Gluskin. The bound above for the Banach-Mazur distance is attained when both bodies are in a ``random isotropic position'', that is, in isotropic position after a random rotation. Our proof is based on an MM-bound in the isotropic position, which complements E. Milman's MM^*-bound. In addition, we consider the partial containment distance dPC(K1,K2)d_{PC}(K_1, K_2) between two convex bodies K1,K2RnK_1, K_2 \subseteq \mathbb{R}^n, where the Banach-Mazur requirement to contain 100%100\% of the other body is relaxed to 99%99\%-containment. We prove that for any pair of convex bodies K1,K2RnK_1, K_2 \subseteq \mathbb{R}^n, dPC(K1,K2)Clogα(n+1), d_{PC}(K_1, K_2) \leq C \log^{\alpha} (n+1), and that any isotropic position of K1K_1 and K2K_2 yields this polylogarithmic bound for dPCd_{PC}.

Keywords

Cite

@article{arxiv.2510.20511,
  title  = {Distances between non-symmetric convex bodies: optimal bounds up to polylog},
  author = {Pierre Bizeul and Boaz Klartag},
  journal= {arXiv preprint arXiv:2510.20511},
  year   = {2025}
}

Comments

30 pages