A discrete version and stability of Brunn Minkowski inequality

TL;DR

This paper introduces a discrete version of the Brunn-Minkowski inequality, proves its stability under convergence of metric measure spaces, and shows that classical spaces can be approximated by discrete ones satisfying this inequality.

Contribution

It defines a new discrete Brunn-Minkowski inequality based on distance properties and proves its stability, extending classical results to discrete and approximating spaces.

Findings

New discrete Brunn-Minkowski inequality defined

Stability of the inequality under convergence proved

Classical spaces can be approximated by discrete spaces satisfying the inequality

Abstract

In the first part of the paper, we define an approximated Brunn-Minkowski inequality which generalizes the classical one for length spaces. Our new definition based only on distance properties allows us also to deal with discrete spaces. Then we show the stability of our new inequality under a convergence of metric measure spaces. This result gives as a corollary the stability of the classical Brunn-Minkowski inequality for geodesic spaces. The proof of this stability was done for different inequalities (curvature dimension inequality, metric contraction property) but as far as we know not for the Brunn-Minkowski one. In the second part of the paper, we show that every metric measure space satisfying classical Brunn-Minkowski inequality can be approximated by discrete spaces with some approximated Brunn-Minkowski inequalities.