Abstract:The Brunn-Minkowski Theorem asserts that $\mu_d(A+B)^{1/d}\geq \mu_d(A)^{1/d}+\mu_d(B)^{1/d}$ for convex bodies $A,\,B\subseteq \R^d$, where $\mu_d$ denotes the $d$-dimensional Lebesgue measure. It is well-known that equality holds if and only if $A$ and $B$ are homothetic, but few characterizations of equality in other related bounds are known. Let $H$ be a hyperplane. Bonnesen later strengthened this bound by showing $$\mu_d(A+B)\geq (M^{1/(d-1)}+N^{1/(d-1)})^{d-1}(\frac{\mu_d(A)}{M}+\frac{\mu_d(B)}{N}),$$ where $M=\sup\{\mu_{d-1}((\mathbf x+H)\cap A)\mid \mathbf x\in \R^d\}$ and $N=\sup\{\mu_{d-1}((\mathbf y+H)\cap B)\mid \mathbf y\in \R^d\}$. Standard compression arguments show that the above bound also holds when $M=\mu_{d-1}(\pi(A))$ and $N=\mu_{d-1}(\pi(B))$, where $\pi$ denotes a projection of $\mathbb R^d$ onto $H$, which gives an alternative generalization of the Brunn-Minkowski bound. In this paper, we characterize the cases of equality in this later bound, showing that equality holds if and only if $A$ and $B$ are obtained from a pair of homothetic convex bodies by `stretching' along the direction of the projection, which is made formal in the paper. When $d=2$, we characterize the case of equality in the former bound as well.

On the sum of two homogeneous Cantor sets

ARITHMETIC SUM OF TWO HOMOGENEOUS CANTOR SETS

On the sum of two affine Cantor sets

On a Conjecture of Cusick on a sum of Cantor sets

On arithmetic sums of Cantor-type sequences of integers

Open intervals in sums and products of Cantor sets

Sums of powers, and products of elements of the middle third Cantor set

Interior of certain sums and continuous images of very thin Cantor sets

Some Remarks on the Hausdorff Measure of the Cantor Set

On universal sets and sumsets

Hausdorff centred measure of non-symmetry cantor sets

D S ] 2 A ug 2 00 6 Proof of the Branner-Hubbard conjecture on Cantor Julia sets Weiyuan

Cantor sets with absolutely continuous harmonic measure

Inverse Additive Problems for Minkowski Sumsets II

A Better Upper Bound of Hausdorff Measure of the Cartesian Product of the Middle Third Cantor Set with Itself Compare to Others'

On the union of homogeneous symmetric Cantor set with its translations

On almost B-summable double sequence spaces

Sumsets in the Hypercube

Sumsets and Projective Curves

Sum of two rare sets in a category base can be absolutely non-baire

Sumset estimates in convex geometry