Skip to content
Preprint

Godbersen's conjecture and the $L_p$-Rogers-Shephard inequality

Jul 2026 · 5 citations · ⚡ 3 influential · 42 references
Mathematics

Abstract

We prove that the mixed volume of a convex body of fixed positive volume with its reflection about the origin is maximized by simplices. This confirms a conjecture of C. Godbersen from 1938 and refines the classical Rogers-Shephard inequality. We also prove that simplices are the only extremizers among convex polytopes. Finally, we use this inequality to prove an $L_p$-version of the Rogers-Shephard inequality for convex bodies containing the origin and show that, for any $p\in(1,\infty]$, the only extremizers are simplices with a vertex at the origin.

View source

Similar papers

Preprint Oct 2026

Higher-order Godbersen inequality and a characterization of simplices via the face lattice

We settle the long-standing Godbersen conjecture that the mixed volume of a convex body of fixed positive volume with its reflection about the origin is maximized precisely by simplices. For the proof, we establish a new characterization of simplices by a natural incidence relation on the face lattice. Moreover, we est...

Filip Fryš, Jan Kotrbatý, Mohamed A. Mouamine et al. · 1 citation
Preprint Oct 2026

A note on consequences of Mahler's inequalities

We derive Makai's inequality $\vol_n(K)\vol_n((K-K)^\circ)\ge(n+1)/n!$ in every dimension from the symmetric Mahler theorem in one higher dimension, with equality precisely for simplices. The proof uses a classical two-layer construction, an identity for its polar volume, and a Rogers--Shephard volume estimate. We then...

Yan-Lu Lian, Fei Xue · 0 citations
Preprint Sep 2026

Alexandrov's Theorem for Integral Varifolds and Applications to Geometric Inequalities

In this paper, we use optimal mass transportation to derive an isoperimetric inequality and an interior Michael-Simon-Sobolev inequality for weakly twice differentiable integral varifolds of dimension and codimension at least $2$, with locally bounded first variation and $L^2_{loc}$ mean curvature. This generalizes a r...

M. Gaudet · 1 citation
Preprint Sep 2026

The Robust Thompson's Conjecture for Alternating Groups

We show that there exists a constant $\epsilon>0$ such that if $C$ is a conjugacy class in $A_n$ of size at least $|A_n|^{1-\epsilon}$, then $A_n \setminus \{1\} \subseteq C^2$. This proves the robust version of Thompson's conjecture for the alternating group, conjectured by Shalev (Annals of Math., 2009). Our proof co...

Nathan Keller, Noam Lifshitz, Avichai Marmor et al. · 1 citation
Preprint Oct 2026

On Dolbeault's conjecture

We prove sharp improved Sobolev inequalities on $\mathbb S^n$, $n\ge3$, for antipodally even functions and for axially symmetric functions whose critical density $|u|^{2n/(n-2)}$ has zero barycenter. In both cases, the Dirichlet coefficient improves by the optimal factor $2^{-2/n}$, while the coefficient of the $L^2$ t...

Jun-Cheng Wei, Ze-Tian Yan, Zi-Kai Ye · 1 citation
Preprint Sep 2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by r...

Tserendorj Batbold · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.