On Godbersen's conjecture (Q744924)

Godbersen's conjecture states that for any convex body \(K\subset\mathbb{R}^n\) and any \(1\leq j\leq n-1\), it holds \[ V(K[j],-K[n-j])\leq\binom{n}{j}\mathrm{vol}(K) \] with equality attained only for simplices. Since, if \(K\subset\mathbb{R}^n\) is a convex body with center mass at the origin, then \(-K\subset nK\), it follows that Godbersen's conjecture is a strengthening of the Rogers-Shephard or difference body inequality \[ \mathrm{vol}(DK)\leq\binom{2n}{n}\mathrm{vol}(K). \] Here, \(DK=K+(-K)\) is the difference body of a convex body \(K\in\mathbb{R}^n\) and equality holds if and only if \(K\) is a simplex (see [\textit{C. A. Rogers} and \textit{G. C. Shephard}, Arch. Math. 8, 220--233 (1957; Zbl 0082.15703)]). The authors improve the, up to now, best upper bound for Godbersen's conjecture by proving \[ V(K[j],-K[n-j])\leq \frac{n^n}{j^j(n-j)^{n-j}}\mathrm{vol}(K). \] In order to show this upper bound, they give a generalization for two bodies of the inequality \[ \mathrm{vol}(\mathrm{conv}((1-\lambda)K,-\lambda K))\leq\mathrm{vol}(K) \] by extending the notion of ``difference function'', introduced by \textit{A. Colesanti} [Mathematika 53, No. 1, 81--101 (2006; Zbl 1118.52013)], to the notion of \(\lambda\)-difference function. Here, \(\mathrm{conv}(K,L)\) denotes the convex hull of the convex bodies \(K\) and \(L\). Moreover, the authors also state the following conjecture: For any convex body \(K\subset\mathbb{R}^n\) and every \(\lambda\in[0,1]\), there exists \(x\in K\) such that \[ \mathrm{vol}(\mathrm{conv}((1-\lambda)(K-x),\lambda(x-K)))\leq \mathrm{vol}(\mathrm{conv}((1-\lambda)S,\lambda S)), \] where \(S\) is a centered simplex and \(\mathrm{vol}(S)=\mathrm{vol}(K)\). It is proved that the above conjecture implies Godbersen's conjecture and that it holds for \(n=2\). This conjecture is a generalization of a conjecture by \textit{I. Fary} and \textit{L. Redei} [Math. Ann. 122, 205--220 (1950; Zbl 0039.39201)].