Brunn-Minkowski type inequalities for the lattice point enumerator (Q2189483)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Brunn-Minkowski type inequalities for the lattice point enumerator
scientific article

    Statements

    Brunn-Minkowski type inequalities for the lattice point enumerator (English)
    The paper under review concerns the classical Brunn-Minkowski inequality, \[ \mathrm{Vol}( (1-\lambda)K+\lambda L)^{\frac{1}{n}} \geq (1-\lambda) \mathrm{Vol}(K)^{\frac{1}{n}} + \lambda \mathrm{Vol}(L)^{\frac{1}{n}}, \] where \(K\), \(L\) are non-empty compact subsets in \(\mathbb R^n\), and \(0<\lambda < 1\). Asking for discrete versions of the latter, see [\textit{M. A. Hernandez Cifre} et al., SIAM J. Discrete Math. 32, 1840--1856 (2018; Zbl 1396.52013)], the authors consider the integer lattice point enumerator, \(G_n(M):= \sharp\left( M\cap\mathbb Z^n\right)\), \(M\subset\mathbb R^n\), instead of the volume. As trivial examples demonstrate, a direct analogue of the Brunn-Minkowski inequality for \(G_n\) does not hold. However it turns out to be true, if one slightly modify the Minkowski combination of subsets. Namely, the following sharp inequality for \(G_n\) is proved: \[ G_n( (1-\lambda)K+\lambda L+(-1,1)^n)^{\frac{1}{n}} \geq (1-\lambda) G_n(K)^{\frac{1}{n}} + \lambda G_n(L)^{\frac{1}{n}}, \] where \(K\), \(L\) are non-empty bounded subsets in \(\mathbb R^n\), and \(0<\lambda < 1\). Moreover, one gets \[ G_n( \tfrac{1}{2}K+\tfrac{1}{2} L+[0,1]^n)^{\frac{1}{n}} \geq \tfrac{1}{2} G_n(K)^{\frac{1}{n}} + \tfrac{1}{2} G_n(L)^{\frac{1}{n}} , \] for any bounded subsets \(K\), \(L\subset \mathbb R^n\) satisfying \(G_n(K)G_n(L)>0\). Multiplicative discrete versions of the Brunn-Minkowski inequality are discussed too. It is demonstrated that the following inequality holds true, \[ G_n( (1-\lambda)K+\lambda L+(-1,1)^n) \geq G_n(K)^{1-\lambda} G_n(L)^{\lambda}, \] for any non-empty bounded subsets \(K\), \(L\subset \mathbb R^n\). The proofs are based on the use of a novel fundamental functional inequality extending the Borell-Brascamp-Liemb inequality.
    Brunn-Minkowski inequality
    lattice point enumerator
    integer lattice
    Borell-Brascamp-Lieb inequality

    Identifiers