A discrete version of the Brunn-Minkowski inequality and its stability (Q1034191)

Let \(h\geq 0\) and \(N\in{\mathbb N}\) be given. A metric measure space \((X,d,\mu)\) satisfies the \(N\)-dimensional \(h\)-Brunn-Minkowski inequality, for short denoted by \(BM(N,h)\), if for any non-empty and compact subsets \(C_0,C_1\subset X\) it holds \[ \mu(C_s^h)^{1/N}\geq(1-s)\mu(C_0)^{1/N}+s\mu(C_1)^{1/N} \quad\text{for all }\;s\in[0,1], \] where \(C_s^h\) is the so-called set of \(h\)(-approximated) \(s\)-intermediate points between \(C_0\) and \(C_1\), i.e., the set of all points \(x\in X\) such that there exists \((x_0,x_1)\in C_0\times C_1\) with \(|d(x_0,x)-sd(x_0,x_1)|\leq h\) and \(|d(x,x_1)-(1-s)d(x_0,x_1)|\leq h\). In this paper, the author shows that if \((X_n,d_n,m_n)\) is a sequence of compact metric measure spaces satisfying \(BM(N,h_n)\), which converges (with respect to a certain distance \({\mathbb D}\)) to a metric measure space \((X,d,m)\), and if \(h_n\rightarrow h\) when \(n\rightarrow\infty\), then \((X,d,m)\) satisfies \(BM(N,h)\). The last part of the paper deals with discretizations of metric spaces. Given a Polish measure space \((M,d,m)\) with \(m(M)>\infty\), it is known that there exists a sequence of discrete metric spaces \((M_h,d,m_h)\) (\(h\)-discretization of \((M,d,m)\)) such that \((M_h,d,m_h)\rightarrow(M,d,m)\) in the distance \({\mathbb D}\). The author shows that if \((M,d,m)\) satisfies \(BM(N,0)\) then \((M_h,d,m_h)\), \(h>0\), satisfies \(BM(N,4h)\).