Partitions and functional Santaló inequalities (Q1016499)

For a compact set \(K\subset\mathbb{R}^n,\) the Blaschke-Santaló inequality states [see \textit{L.A. Santaló}, Portugaliae Math. 8, 155--161 (1949; Zbl 0038.35702)] the existence of a point \(z\in\mathbb{R}^n\) (so-called a Santaló point for \(K\)) such that \[ \text{vol}_n(K)\text{vol}_n(K-z)^{\mathrm{o}}\leq v_{n}^{2}, \] where with \(\text{vol}_n(\cdot)\) is meant the Lebesgue measure on \(\mathbb{R}^n,\) \((K-z)^{\text{o}}\) is the polar of \((K-z)\) (that is, the points \(x\in\mathbb{R}^n\) holding that the scalar product \(x\cdot y\) is less than or equal to \(1\) for all \(y\in (K-z)\)), and \(v_{n}^{2}\) is the volume of the Euclidean ball \(B_{2}^{n}.\) In the literature there exist a considerable number of results providing functional versions of Blaschke-Santaló inequality. One of them is due to \textit{M. Fradelizi} and \textit{M. Meyer} [Math. Z. 256, 379--395 (2007; Zbl 1128.52007)]. Now the author gives a new direct proof of the Fradelizi-Meyer inequality, ``in the sense that it does not use the Blaschke-Santaló inequality; it is based on a special form of the Prépoka-Leindler inequality'' -- a logarithmic form -- ``and on a partition theorem due to \textit{A. C. Yao} and \textit{F. F. Yao} [``A general approach to \(d\)-dimensional geometric queries'', Proceedings of the Seventeenth annual ACM symposium on Theory of Computing, ACM Press, 163--168 (1985)]''.