The floating body and the hyperplane conjecture (Q420971): Difference between revisions

Given a convex body \(K \subset {\mathbb R}^n \) and \( \delta > 0 \), the author recalls the definition of the floating body \( K_{\delta}\) of \(H\) as the intersection of all halfspaces \(\mathfrak{H}_{\theta, t} = \{x \in {\mathbb R}^n: \langle x,\theta\rangle \geq t \}\) such that \(\mathrm{vol}_n (\mathfrak{H}_{\theta, t} \cap K) \geq (1-\delta) \mathrm{vol}_{n-1}(K) \) and introduces a ``logarithmic distance'' between convex bodies \( K \cap L \neq \emptyset \): \[ d_{\mathfrak L}(K,L) = \inf \{ \lambda \geq 1: \text{ there exists } x \in \mathrm{int} (K \cap L): \lambda^{-1} (K - x)+x \subset L \subset \lambda (K - x)+x \}. \] Actually, this function does not define a metric, it satisfies a weakened version of the triangle inequality. The main results of the paper are the following theorems: 1.) For all \( n \in {\mathbb N}\), all convex bodies \( K \subset {\mathbb R}^n\) and all \( \delta \leq 8^{-n}\), the body \( K_{\delta}\) is nonempty and we have \(d_{\mathfrak L}(K,K_{\delta}) \leq 1 + 8 \delta^{1/n}\). In fact, \( (1-4\delta^{1/n})(K - x) + x \subset K_{\delta}\), where \( x\) is the centroid of \( K\). 2.) There exists a universal constant \( c > 0 \) such that for all \( n \in {\mathbb N}\), all convex bodies \( K \subset {\mathbb R}^n\), and all \( \delta \in (0,e^{-1})\), the body \( K_{\delta}\) is nonempty and \[ d_{\mathfrak L}(K,K_{\delta}) \geq \frac{c \sqrt{n}}{L_K \log \delta^{-1}}. \] The author emphasizes the importance of log-concave functions in studies of convex bodies.