Loomis-Whitney inequalities on Reiter-Heisenberg groups

Abstract

We establish a Loomis-Whitney inequality for the Reiter-Heisenberg groups ${\mathbb{G}}_{qp}$, a family of step-two Carnot groups that includes the Heisenberg groups when $q=1$. The proof is based on the duality between Brascamp-Lieb inequalities and entropy subadditivity: we first derive the result for ${\mathbb{G}}_{q1}$ from the known inequality on the first Heisenberg group, using conditional entropy and the invariance of differential entropy under volume-preserving diffeomorphisms; then we pass from ${\mathbb{G}}_{q1}$ to ${\mathbb{G}}_{qp}$ via a stability principle for Loomis-Whitney inequalities under finite central sums, which generalizes the argument in (Zhang, 2024 arXiv:2402.02749v2). As consequences, we obtain the associated geometric projection inequality, a Gagliardo-Nirenberg-Sobolev inequality, and an isoperimetric inequality.

20 pages