Quantitative Helly-type theorem for the diameter of convex sets (Q517461)

The author establishes first the following quantitative Helly-type theorem: Theorem A. Let \(\{P_i: i\in I\}\) be a finite family of symmetric convex sets in \(\mathbb{R}^n\) with \(\text{int} \big(\bigcap_{i\in I} P_i\big) \neq \emptyset\). For every \(d > 1\), there exist \(s \leq dn\) and \(i_1, \dots, i_n \in I\) such that \(\bigcap_{j=1}^s P_{i_j} \subseteq \frac{(\sqrt{d} + 1)\sqrt{n}}{\sqrt{d}-1} \big(\bigcap_{i\in I} P_i\big)\). In the general (not necessarily symmetric) case, using a similar strategy and ideas that were developed in an earlier paper of the author [Mathematika 63, No. 1, 272--291 (2017; Zbl 1364.26025)] the author obtains the next estimate. Theorem B. There exists an absolute constant \(\alpha > 1\) with the following property: if \(\{P_i: i\in I\}\) is a finite family of convex bodies in \(\mathbb{R}^n\) with \(\text{int} \big(\bigcap_{i\in I} P_i\big) \neq \emptyset\), then there exist \(z\in \mathbb{R}^d\), \(s \leq \alpha n\) and \(i_1, \dots, i_n \in I\) such that \(z + \bigcap_{j=1}^s P_{i_j} \subseteq c n^{\frac{3}{2}} \big(z + \bigcap_{i\in I} P_i\big)\), where \(c\) is a absolute constant. Theorem B gives a version of the ``quantitative'' diameter theorem of \textit{I. Barany} et al. [Proc. Am. Math. Soc. 86, 109--114 (1982; Zbl 0511.52005)], with a polynomial dependence on the dimension.