Loomis-Whitney inequalities on Reiter-Heisenberg groups
Abstract
We establish a Loomis-Whitney inequality for the Reiter-Heisenberg groups ๐พ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 ๐พ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 ๐พq1 to ๐พ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.
Related
- L1-Poincar\'e inequalities for differential forms on Euclidean spaces and Heisenberg groups
- Pointwise Ergodic Theorems Along Reiter Sequences on Locally Compact Groups
- Cohomology of annuli, duality and Lโ-differential forms on Heisenberg groups
- On sharp singular Moser-Trudinger type inequalities and applications to zero mass (p,Q)-Laplace subelliptic equations in the Heisenberg group
- The Isoperimetric Inequality in Higher-Dimensional Heisenberg Groups
BibTeX
@misc{mao2026loomiswhitney,
title = {{Loomis-Whitney inequalities on Reiter-Heisenberg groups}},
author = {Sheng-Chen Mao and Ye Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.10091},
eprint = {2609.10091},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.10091},
}
RIS
TY - UNPB
TI - Loomis-Whitney inequalities on Reiter-Heisenberg groups
AU - Sheng-Chen Mao
AU - Ye Zhang
PY - 2026
DA - 2026/09/09
PB - arXiv
DO - 10.48550/arxiv.2609.10091
UR - https://arxiv.org/abs/2609.10091
AB - We establish a Loomis-Whitney inequality for the Reiter-Heisenberg groups ๐พ_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 ๐พ_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 ๐พ_q1 to ๐พ_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.
ER -