## A step beyond Kemperman’s structure theorem.(English)Zbl 1213.11179

From the introduction: We extend Kemperman’s structure theorem by completely characterizing those finite subsets $$A$$ and $$B$$ of an arbitrary abelian group with $$| A + B|= || A| + | B|$$.
Let $$G$$ be an abelian group, and let $$A$$ and $$B$$ be nonempty subsets of $$G$$. Their sumset is the set of all pairwise sums, i.e., $$A+B = \{a+b\mid a\in A,\;b\in B\}$$. For a set $$S$$ of subsets of $$G$$, define $$d^{\subseteq}(A, S) = \min_{B\in S} {d^{\subseteq}(A,B)}$$, where $$d^{\subseteq}(A,B) = | B\backslash A|$$, if $$A \subseteq B$$, and $$d^{\subseteq}(A,B) = \infty$$ otherwise. Hence $$d^{\subseteq}(A, S)$$ measures how far away as a subset the set $$A$$ is from the sets $$B\in S$$.
It is the central problem of inverse additive theory to describe the structure of those pairs of subsets $$A$$ and $$B$$ with $$| B + A|$$ small. Such descriptions often prove useful to other related areas of mathematics – a notable example being the use of Freiman’s Theorem, describing $$A\subseteq\mathbb Z$$ with $$| A + A| < c\,| A|$$, to give a more quantitative proof of Szemerédi’s Theorem concerning the existence of (4-term) arithmetic progressions in a subset of positive upper density.
One of the classical results of inverse additive theory was the complete recursive description given by J. H. B. Kemperman [Acta Math. 103, 63–88 (1960; Zbl 0108.25704)] of the ‘critical pairs’ in an abelian group, i.e., those finite, nonempty subsets $$A$$ and $$B$$ such that $$| A + B| < | A| + | B|$$. Among other applications – including results in graph theory and zero-sum additive theory – Kemperman’s Structure Theorem (KST) yields the descriptions of those subsets of a locally compact abelian group whose Haar measure of the sumset fails to satisfy the triangle inequality. Other applications may also be found. ...
In this paper, we move one step beyond KST by completing the description of all subsets $$A$$ and $$B$$ that exactly achieve (rather than fail to achieve) the triangle inequality, namely for which $$| A + B| = | A| + | B|$$. Our main result is Theorem 4.1 (for the full details see the paper) which shows that with a few noted exceptions – all but one in the same vein as the original recursive description of KST – then such $$A$$ and $$B$$ must be large subsets of a critical pair; more specifically, there must exist $$A' \supseteq A$$ and $$B'\supseteq B$$ such that $$| A' + B'| = | A'| + | B'| -1$$, and which contain $$A$$ and $$B$$ each with at most one hole, i.e., $$| A' \backslash A|\leq 1$$ and $$| B' \backslash B|\leq 1$$. Thus in the case $$G = \mathbb Z/p\mathbb Z$$, with $$p$$ prime, Theorem 4.1 generalizes the prime case completed by Hamidoune and Rødseth, and is the corresponding composite extension of KST. Theorem 4.1 and KST will also yield necessary and sufficient conditions for $$| A + B| = | A| + | B|$$.
We should remark that Y. O. Hamidoune, O. Serra and G. Zémor very recently [Combinatorica 28, No. 4, 441–467 (2008; Zbl 1192.11071)] established a particular case of Theorem 4.1, under a series of added assumptions, including that $$\gcd(| G|, 6) = 1$$, that $$A$$ be a generating subset, that the order of every element of $$A\setminus 0$$ be at least $$| A| + 1$$, and that a few smaller technical assumptions also hold – the hypotheses needed for their result, particularly the assumption on the order of elements, parallel other first-attempt generalizations of additive results, from the prime order case to the more general abelian group setting.

### MSC:

 11P70 Inverse problems of additive number theory, including sumsets 11B30 Arithmetic combinatorics; higher degree uniformity

### Keywords:

abelian group; sumset; Kemperman’s structure theorem

### Citations:

Zbl 0108.25704; Zbl 1192.11071
Full Text:

### References:

  Hamidoune, p. Acta. Arith. 92 pp 251– (2000)  Gárolyi, J. Math.. 139 pp 349– (2004)  DOI: 10.1016/j.ejc.2004.07.005 · Zbl 1107.11015  DOI: 10.1112/jlms/s1-31.2.200 · Zbl 0072.03402  Freiman, Foundations of a Structural Theory of Set Addition (Translations of Mathematical Monographs 37  Tao, Additive Combinatorics (Cambridge Studies in Advanced Mathematics (2006) · Zbl 1127.11002  Freiman, Izv. Vyssh. Uchebn. Zaved. Mat. 3 pp 151– (1962)  Freiman, Soviet Math.-Dokl. 2 pp 1520– (1961)  Serra, Surveys in Combinatorics 2005 (London Mathematical Society Lecture Note Series pp 119– (2005)  Freiman, Dokl. Akad. Nauk SSSR 141 pp 571– (1961)  DOI: 10.1112/jlms/s2-8.3.460 · Zbl 0322.10024  Freiman, Izv. Vyssh. Uchebn. Zaved. Mat. 6 pp 202– (1959)  Nathanson, Additive Number Theory: Inverse Problems and the Geometry of Sumsets (1996) · Zbl 0859.11003  DOI: 10.1112/S0024611502013709 · Zbl 1032.11009  DOI: 10.1142/S1793042106000620 · Zbl 1157.11040  Chowla, Proc. Indian Acad. Sci. Math. Sci. 2 pp 242– (1935)  Lev, Astérisque 258 pp 317– (1999)  DOI: 10.1007/PL00009351 · Zbl 0899.11002  DOI: 10.1007/BF01186598 · Zbl 0073.01702  Kneser, Math. Z. 64 pp 429– (1955)  DOI: 10.1006/eujc.1999.0340 · Zbl 0941.05064  DOI: 10.1006/eujc.1995.0113 · Zbl 0883.05065  DOI: 10.1016/j.jctb.2008.06.003 · Zbl 1202.05078  DOI: 10.1016/j.ejc.2004.06.011 · Zbl 1116.11081  DOI: 10.1112/jlms/s1-31.3.280  DOI: 10.1007/BF01174162 · Zbl 0051.28104  DOI: 10.1007/BF02546525 · Zbl 0108.25704  DOI: 10.1016/j.jalgebra.2005.04.021 · Zbl 1095.11046  Jungć, Integers 5 pp A9– (2005)  DOI: 10.1007/s00493-008-2262-8 · Zbl 1192.11071  DOI: 10.4064/aa121-2-1 · Zbl 1147.11060  DOI: 10.1007/BF01788139 · Zbl 0736.05047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.