No-dimensional results of combinatorial convexity. Dimension strikes back

We discuss no-dimensional (approximate) versions of Carathéodory’s and Helly’s theorems. Our goal is to draw attention to open problems and potential applications related to these results. We survey recent progress and pose several questions. We also point out a simple way to ``bring the dimension back into the picture’': by combining no-dimensional statements with dimension-dependent norm comparisons, one can transfer problems in ${\mathrm{\ell }}_1^d$, ${\mathrm{\ell }}_{\mathrm{\infty }}^d$, and Schatten classes $S_1,S_{\mathrm{\infty }}$ to nearby ${\mathrm{\ell }}_p^d$ or $S_p$ spaces with better geometry. As elementary applications, we obtain a weak additive analogue of the Johnson–Lindenstrauss flattening lemma, local-to-global estimates for Chebyshev regression over the ${\mathrm{\ell }}_1$ ball, and a local-to-global guarantee for quantum feasibility from locally consistent linear measurements.