A note on Freiman models in Heisenberg groups

TL;DR

This paper improves upon Green's earlier results by demonstrating that small doubling sets in non-abelian Heisenberg groups can be modeled with Freiman s-isomorphisms for s ≥ 6, extending the applicability of Freiman models beyond abelian groups.

Contribution

The paper shows that Freiman s-models exist for small doubling sets in Heisenberg groups when s ≥ 6, lowering the previous threshold of s ≥ 64.

Findings

Freiman s-models exist in Heisenberg groups for s ≥ 6

Extension of Freiman model applicability to non-abelian groups

Improved bounds on s for Freiman models in specific groups

Abstract

Green and Ruzsa recently proved that for any $s\ge2$, any small squaring set $A$ in a (multiplicative) abelian group, i.e. $|A\cdot A|<K|A|$, has a Freiman $s$-model: it means that there exists a group $G$ and a Freiman $s$-isomorphism from $A$ into $G$ such that $|G|<f(s,K)|A|$. In an unpublished note, Green proved that such a result does not necessarily hold in non abelian groups if $s\ge64$. The aim of this paper is improve Green's result by showing that it remains true under the weaker assumption $s\ge6$.