Marton's Conjecture in abelian groups with bounded torsion

W. T. Gowers,Ben Green,Freddie Manners,Terence Tao
2024-05-21
Abstract:We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates of a subgroup of $H \leq G$ of cardinality at most $|A|$. The argument is a variant of that used in the case $G = \mathbf{F}_2^n$ in a recent paper of the authors.
Number Theory,Combinatorics
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? The main goal of this paper is to prove that Marton's Conjecture holds in any abelian group with bounded torsion. Specifically, the authors aim to prove a result similar to the Freiman - Ruzsa - type theorem, and this result has a polynomial - bound estimate. #### Specific content of Marton's Conjecture Marton's Conjecture, also known as the Polynomial Freiman - Ruzsa Conjecture, focuses on the structure of set \(A\) under specific conditions. Specifically, assume that \(G\) is an abelian group with torsion \(m\), that is, for all \(g\in G\), \(mg = 0\). If \(A\subseteq G\) is a finite non - empty subset and satisfies \(|A + A|\leqslant K|A|\), then \(A\) can be covered by at most \((2K)^{O(m^{3})}\) cosets of a certain subgroup \(H\leqslant G\), where the cardinality of \(H\) does not exceed \(|A|\). #### Main results The main result of the paper can be stated as: **Theorem 1.1**: Let \(G\) be an abelian group with torsion \(m\), and \(A\subseteq G\) be a finite non - empty subset and satisfy \(|A + A|\leqslant K|A|\). Then there exists a subgroup \(H\leqslant G\) such that \(A\) can be covered by at most \((2K)^{O(m^{3})}\) cosets of \(H\), and the cardinality of \(H\) does not exceed \(|A|\). Moreover, \(H\) is contained in \(\ell A-\ell A\), where \(\ell\ll(2 + m\log K)^{O(m^{3}\log m)}\). #### Methods and innovation points To prove this result, the authors use the concept of entropy and related inequalities, especially the entropic Ruzsa distance. They introduce the concept of "multidistance" and use an iterative method to gradually reduce this distance, thus finally reaching the required conclusion. This method not only improves the previous boundary estimates but also provides a new perspective for dealing with such problems. #### Applications In particular, when \(G = F_{p}^{n}\) (here \(F_{p}\) is a finite field), this result can be transformed into an inverse theorem about the \(U_{3}(F_{p}^{n})\)-norm, which has important applications in harmonic analysis and combinatorial mathematics. In conclusion, this paper solves the generalization problem of Marton's Conjecture in abelian groups with bounded torsion and provides a polynomial - bound estimate, which is of great significance for understanding the additive structure in abelian groups.