Abstract
We provide a natural generalization of a geometric conjecture of Fáry and Rédei regarding the volume of the convex hull of \(K \subset {\mathbb {R}}^n\), and its negative image \(-K\). We show that it implies Godbersen’s conjecture regarding the mixed volumes of the convex bodies \(K\) and \(-K\). We then use the same type of reasoning to produce the currently best known upper bound for the mixed volumes \(V(K[j], -K[n-j])\), which is not far from Godbersen’s conjectured bound. To this end we prove a certain functional inequality generalizing Colesanti’s difference function inequality.
Similar content being viewed by others
References
Bonnesen, T., Fenchel, W.: Theorie der konvexen Körper. Springer, Berlin (1974). (Berichtigter Reprint)
Chakerian, G.D.: Inequalities for the difference body of a convex body. Proc. Am. Math. Soc. 18, 879–884 (1967)
Colesanti, A.: Functional inequalities related to the Rogers–Shephard inequality. Mathematika 53(1), 81–101 (2006)
Einhorn, K.: On Godbersen’s conjecture and related problems. M.Sc. thesis, Tel Aviv University (2014)
Estermann, T.: Über den Vektorenbereich eines konvexen Körpers. Math. Z. 28(1), 471–475 (1928)
Fáry, I., Rédei, L.: Der zentralsymmetrische Kern und die zentralsymmetrische Hülle von konvexen Körpern. Math. Ann. 122, 205–220 (1950)
Fáry, I.: Sur la densité des réseaux de domaines convexes. Bull. Soc. Math. Fr. 78, 152–161 (1950)
Godbersen, C.: Der satz vom vektorbereich in räumen beliebiger dimensionen. Ph.D. thesis, Göttingen (1938)
Hajnal, A., Makai, E.: Research problems. Period. Math. Hungar. 5(4), 353–354 (1974)
Levi, F.W.: Über zwei Sätze von Herrn Besicovitch. Arch. Math. 3, 125–129 (1952)
Rogers, C.A., Shephard, G.C.: The difference body of a convex body. Arch. Math. 8, 220–233 (1957). (Basel)
Rogers, C.A., Shephard, G.C.: Convex bodies associated with a given convex body. J. Lond. Math. Soc. 33, 270–281 (1958)
Rogers, C.A., Shephard, G.C.: Some extremal problems for convex bodies. Mathematika 5, 93–102 (1958)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory, Encyclopedia of Mathematics and its Applications, vol. 44. Cambridge University Press, Cambridge (1993)
Shephard, G.C.: Shadow systems of convex sets. Isr. J. Math. 2, 229–236 (1964)
Yaglom, I.M., Boltyanski, V.G.: Convex figures, GITTL, Moscow (1951) (in Russian); Engl. Transl.: Holt, Rinehart & Winston, New York, 1961
Acknowledgments
The first and second named authors were partially supported by ISF Grant No. 247/11. The third named author was partially supported by European Research Council Grant Dimension 305629. The fourth named author was partially supported by Reintegration Grant SSGHD-268274, and by ISF Grant No. 1057/10.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
We give here another proof of Theorem 1.6. The proof is attained by essentially repeating the arguments from [12], but instead of considering \(K\) and \(-K\), we consider two general convex bodies \(K\) and \(L\). Moreover, we will be able to characterize the equality case in Theorem 1.5.
1.1 The Rogers–Shephard body
We consider the following \((2n+1)\)-dimensional body (see Fig. 2), a special case of which, where \(K=L\), plays a central role in [12].
The projection of \(G{(K,L)}\) onto the \(\left( n+1\right) \)-dimensional subspace of points of the form \(\left( 0,y,\theta \right) \) is denoted by \(C(K,L) =\{ (0,y,\theta ) \ | \ \theta \in [0,1], \ y \in (1-\theta ) L - \theta K \}\). Equivalently,
When \(K=L\), this is exactly the body \(C(K)\) used in [12].
The main tool used by Rogers and Shephard in [12] for finding an upper bound for the volume of the difference body is the following theorem which we provide along with its proof, for the convenience of the reader.
Theorem 5.1
(Rogers and Shephard) Let \(K\subset {\mathbb {R}}^n\) be a convex body, and let \(H=K\cap E\) be a \(j\)-dimensional section of \(K\), and \(L\) the orthogonal projection of \(K\) onto \(E^\perp \). Then
Moreover, equality holds if and only if for every direction \(v\in E^\perp \), the intersection of \(K\) with \(E+{\mathbb {R}}^+v\) is obtained by taking the convex hull of \(H\) and one more point.
Proof of Theorem 5.1
The proof consists of two arguments. The first one is that all of the quantities in (14) are invariant under a Schwarz symmetrization, so we may assume that all intersections of \(K\) parallel to \(H\) are (centered) dilates of a ball. That is, we may consider the body:
where \(K_l=K\cap (E+l)\), for every \(l\in L\). The second argument is that \(H^*\vee L \subseteq K^*\), where \(H^*\) denotes the section \(K^* \cap E\). Then, a simple computation shows that the left-hand side of (14) equals \(\mathrm{Vol}_n(H^*\vee L)\), and thus inequality (14) holds.
Assume now that equality holds in (14). First note that \(H^*\vee L\subseteq K^*\), thus equality in volumes implies \(K^*=H^*\vee L=H^*\vee \partial L\). Moreover, for every direction \(v\in E^{\perp }\), let \([0,l] = L\cap ({\mathbb {R}}^+v)\), and for every \(t\in [0,1]\), let \(f_v(t)=\mathrm{Vol}_{j} (K_{tl})^{1/j}\). Note that \(f_v\) is invariant under Schwartz symmetrization, hence for every \( v\in E^{\perp }\), \(f_v\) is linear, and \(f_v(1)=0\). Since \(K_{tl}\) contains \(t K_{l}+(1-t)H\), by the Brunn–Minkowski inequality one has
Thus, from the equality case in the Brunn–Minkowski inequality, \(K_l\) is a homothety of \(H\) of zero volume, i.e. it is a point. Moreover, for every \(t \in [0,1]\), one has \(K_{tl} = t K_{l}+(1-t)H\), and thus \(K \cap (E+{\mathbb {R}}^+v) = H \vee K_l\), and the proof is complete. \(\square \)
1.2 An upper bound for the volume of \(C(K,L)\)
Theorem 5.2
For convex bodies \(K,L\subseteq {\mathbb {R}}^n\), let \(C(K,L)\) be as defined in (13). For every \(\theta \in [0,1]\),
In [12] this bound was obtained for the specific case \(K=L\) and \(\theta =\frac{1}{2}\).
Proof of Theorem 5.2
In order to estimate \(\mathrm{Vol}_{n+1}\left( C\left( K,L\right) \right) \), we apply Theorem 5.1 for the body \(G{(K,L)}\), and the \(n\)-dimensional affine subspace \(E= \{ \theta = \theta _0, y=0 \}\). First, by Fubini’s Theorem,
As in Theorem 5.1, set \(H = G{(K,L)} \cap E\). Note that \(\mathrm{Vol}_n(H) =\mathrm{Vol}_n(\theta _0 K\cap (1-\theta _0)L)\). As mentioned before, the projection of \(G{(K,L)}\) on \(E^{\perp }\) is exactly \(C\left( K,L\right) \), and using Theorem 5.1 we get
Plugging in the volume of \(G{(K,L)}\) completes the proof of the theorem. \(\square \)
1.3 A second proof of Theorem 1.6
Using Theorem 5.1, this time for the body \(C(K,L)\), and the volume bound from Theorem 5.2, we can give yet another proof of Theorem 1.6.
Proof of Theorem 1.6
Let \(K,L\subseteq {\mathbb {R}}^n\) be two convex bodies such that \(0\in K\cap L\), and set \(\theta \in [0,1]\). We need to show that
Let \(E\) be the 1-dimensional subspace of \({\mathbb {R}}^{n+1}\) given by \(E = \{ x =0 \}\). The body \(L \vee -K\) is the \(n\)-dimensional projection of \(C(K,L)\) onto the subspace \(E^{\perp }= \{(x,0) \, | \, x\in {\mathbb {R}}^n\}\). Since \(0 \in K \cap L\), the section \(H = E \cap C(K,L)\) is a unit segment. By Theorem 5.1,
Combining this with the volume bound for \(C(K,L)\) established in Theorem 5.2 above, we get the desired inequality. \(\square \)
1.4 The equality case in Theorem 1.5 and in Theorem 1.6
Here we characterize the equality cases in Theorems 1.5 and 1.6. We start with the former, and show that equality holds in (7) if and only if \(K\) is a simplex with a vertex at the origin. Indeed, it is not hard to check that for the standard simplex \(S\) one has
As for the other direction, assume that \(\mathrm{Vol}((1-\lambda )K\vee -\lambda K)= \mathrm{Vol}(K)\). We wish to show that \(K\) is a simplex with 0 as one of its vertices. Recall from the introduction that Theorem 1.6, for \((1-\lambda )K, \lambda K\), and \(\theta _0 = \lambda \), immediately yields inequality (7). Combining (15) and (16) in this case yields
From the assumption \(\mathrm{Vol}((1-\lambda )K\vee -\lambda K)=\mathrm{Vol}(K)\) it follows that both inequalities in (17) are in fact equalities. In particular, equality holds in (15) for the bodies \((1-\lambda )K, \lambda K\), and \(\theta _0 = \lambda \). By the equality condition in Theorem 5.1, this implies in particular that sections of the body \(G{((1-\lambda )K,\lambda K)}\) by affine subspaces of the form \(\{(x,y,\theta )| x\in {\mathbb {R}}^n, y=y_0, \theta =\lambda \}\), for any \(y_0\in \lambda (1-\lambda )K-\lambda (1-\lambda )K\) (which are given by \(\lambda (1-\lambda )K \cap \lambda (1-\lambda )K -y_0\)), are homothetic. Thus, \(K\) must be a simplex by the following lemma due to Rogers and Shephard.
Lemma 4 from [11]. Let \(K\) be a convex body in \({\mathbb {R}}^n\). If the intersections \(K \cap (K+x)\) are homothetic for all \(x \in K - K\), then \(K\) is a simplex.
Finally, in order to show that 0 is a vertex of \(K\), note that equality holds also in (16), for the bodies \((1-\lambda )K, \lambda K\). Hence, among all sections of \(C((1-\lambda )K, \lambda K)\) parallel to \(H = E \cap C((1-\lambda )K, \lambda K)\), \(H\) is the only one with unit length. Since we assumed that \(K\) contains the origin, one has \((1-\lambda ) K \cap - \lambda K=\{0\}\). This, together with the fact that \(K\) is a simplex, means that 0 must be one of the vertices of \(K\).
We turn now to show that equality in Theorem 1.6 holds if and only if \(K\) and \(L\) are simplices with a common vertex at the origin, and such that \((1-\theta )L = \theta K\). To this end, we shall make use of Theorem 1.9. Assume that for some given \(\theta \in (0,1)\),
Since the inclusion \(\theta K\cap (1-\theta ) L\subseteq \left( K^\circ +L^\circ \right) ^\circ \) always holds, by Theorem 1.9 we then must have
(as both are compact convex sets, inclusion together with equality of volumes implies equality of sets). We claim that this equality implies that \(K\) and \(L\) are homothetic. Indeed, we may rewrite the above equality as
so that in particular
Thus, \(\theta ^{-1}h_{K^\circ }\le h_{K^\circ }+h_{L^\circ }\), and \((1-\theta )^{-1}h_{L^\circ }\le h_{K^\circ }+h_{L^\circ }\). Putting the two together one has
or equivalently, \((1-\theta )L = \theta K\). This, together with (18) implies that equality in (7) holds for \(K\). Thus, from the characterization of the equality case in Theorem 1.5, the body \(K\) must be a simplex with a vertex at the origin. This completes the proof for the equality case in Theorem 1.6.
Remark 5.3
It is worthwhile to notice that in Theorem 1.9 there are more equality cases than in Theorem 1.5. Indeed, one may readily check that for positive \(\lambda _1,\dots ,\lambda _n\), and the bodies \(K=\mathrm{conv}\{ 0, e_1, \ldots , e_n\}\), \(L = \mathrm{conv}\{ 0, \lambda _1e_1, \ldots , \lambda _n\} \) we have that \(\mathrm{Vol}(K)\mathrm{Vol}(L) = \frac{1}{n!^2}\prod _{i=1}^n \lambda _i\), that
and that
The characterization of the equality case in Theorem 1.9 is thus left open.
Rights and permissions
About this article
Cite this article
Artstein-Avidan, S., Einhorn, K., Florentin, D.I. et al. On Godbersen’s conjecture. Geom Dedicata 178, 337–350 (2015). https://doi.org/10.1007/s10711-015-0060-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-015-0060-1