Multidimensional lower density versions of Pl\"unnecke's inequality

TL;DR

This paper extends Pl"unnecke's inequality to multidimensional settings in , introducing new notions of lower density and establishing related inequalities, with some conjectures and partial proofs for rectangular densities.

Contribution

It introduces a new lower tableaux density in  and proves Plnnecke-type inequalities for it, also proposing conjectures for rectangular densities.

Findings

Established Plnnecke inequalities for lower tableaux density in .

Proved partial results towards a conjectural inequality for rectangular lower density.

Introduced a generalized framework for sumset density inequalities in multidimensional integer lattices.

Abstract

We investigate the lower asymptotic density of sumsets in $\mathbb{N}^2$ by proving certain Pl\"unnecke type inequalities for various notions of lower density in $\mathbb{N}^2$. More specifically, we introduce a notion of lower tableaux density in $\mathbb{N}^2$ which involves averaging over convex tableaux-shaped regions in $\mathbb{N}^2$ which contain the origin. This generalizes the well known Pl\"unnecke type inequality for the lower asymptotic density of sumsets in $\mathbb{N}$. We also provide a conjectural Pl\"unnecke inequality for the more basic notion of lower rectangular asymtpotic density in $\mathbb{N}^2$ and prove certain partial results.