Equality conditions for the fractional superadditive volume inequalities

TL;DR

This paper characterizes the conditions under which fractional superadditivity inequalities for Lebesgue measure become equalities across all dimensions, extending previous results and providing precise geometric criteria.

Contribution

It establishes the exact equality conditions for fractional superadditive volume inequalities in any dimension, generalizing earlier one-dimensional results.

Findings

Equality holds iff sums of sets are intervals in 1D.

In higher dimensions, equality occurs only if the sum set has measure zero.

Provides a complete characterization of equality cases for fractional superadditivity.

Abstract

While studying set function properties of Lebesgue measure, F. Barthe and M. Madiman proved that Lebesgue measure is fractionally superadditive on compact sets in $\mathbb{R}^n$. In doing this they proved a fractional generalization of the Brunn-Minkowski-Lyusternik (BML) inequality in dimension $n=1$. In this paper we will prove the equality conditions for the fractional superadditive volume inequalites for any dimension. The non-trivial equality conditions are as follows. In the one-dimensional case we will show that for a fractional partition $(\mathcal{G},\beta)$ and nonempty sets $A_1,\dots,A_m\subseteq\mathbb{R}$, equality holds iff for each $S\in\mathcal{G}$, the set $\sum_{i\in S}A_i$ is an interval. In the case of dimension $n\geq2$ we will show that equality can hold if and only if the set $\sum_{i=1}^{m}A_i$ has measure $0$.