A solution to Bezdek's conjecture

TL;DR

This paper proves that among all $\lambda$-convex bodies with a fixed inradius, the $\lambda$-convex lens maximizes mean width, confirming Bezdek's conjecture and extending results to intrinsic volumes and circumradius.

Contribution

It provides a proof of Bezdek's conjecture regarding the maximal mean width of $\lambda$-convex bodies with fixed inradius and addresses related conjectures involving intrinsic volumes and circumradius.

Findings

The $\lambda$-convex lens maximizes mean width for fixed inradius.

Under symmetry, the conjecture extends to intrinsic volumes.

The $\lambda$-convex spindle minimizes mean width for fixed circumradius.

Abstract

For a given $\lambda >0$, a convex body in $\mathbb R^n$ is $\lambda$-convex if it is the intersection of (finitely or infinitely many) balls of radius $1/\lambda$. In this note, we show that among all $\lambda$-convex bodies in $\mathbb R^n$, $n \geqslant 2$, with a given inradius, the $\lambda$-convex lens (i.e., the intersection of two balls of radius $1/\lambda$) has the largest mean width. This gives an affirmative answer to the conjecture of K. Bezdek. Under an additional symmetry assumption on $\lambda$-convex bodies, we resolve the analogous inradius conjecture of Bezdek for arbitrary intrinsic volumes. We also establish an answer to the corresponding conjecture of K. Bezdek about the circumradius. In particular, we prove that the $\lambda$-convex spindle (i.e., the intersection of all balls of radius $1/\lambda$ containing a given pair of points) is the unique minimizer of the mean width among all $\lambda$-convex bodies with a fixed circumradius.