Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups
[Bornes optimales sur la croissance des sommes itérées d’ensembles dans les semigroupes abéliens]
Annales de l'Institut Fourier, Online first, 19 p.

Nous obtenons des bornes supérieures optimales sur la croissance des sommes itérées hA=A++A de sous-ensembles finis A de semigroupes abéliens. Plus précisément, nous montrons que les nouvelles bornes supérieures récemment obtenues via le Théorème de Macaulay en algèbre commutative sont les meilleures possibles, autrement dit sont effectivement atteintes par des sous-ensembles appropriés de semigroupes abéliens appropriés. Nos constructions, dans un langage multiplicatif, sont basées sur certains idéaux monomiaux spécifiques dans des algèbres de polynômes et sur leurs déformations en idéaux binomiaux convenables via des bases de Gröbner.

We provide optimal upper bounds on the growth of iterated sumsets hA=A++A for finite subsets A of abelian semigroups. More precisely, we show that the new upper bounds recently derived from Macaulay’s theorem in commutative algebra are best possible, i.e., are actually reached by suitable subsets of suitable abelian semigroups. Our constructions, in a multiplicative setting, are based on certain specific monomial ideals in polynomial algebras and on their deformation into appropriate binomial ideals via Gröbner bases.

Reçu le :
Révisé le :
Accepté le :
Première publication :
DOI : 10.5802/aif.3674
Classification : 11P70, 05E40, 11B13, 13P25
Keywords: Additive combinatorics, Plünnecke inequality, Standard graded algebra, Hilbert function, Binomial representation, Lexideal, Gröbner basis
Mots-clés : Combinatoire additive, inégalité de Plünnecke, algèbre graduée standard, fonction de Hilbert, représentation binomiale, lexidéal, base de Gröbner

Eliahou, Shalom 1 ; Mazumdar, Eshita 2

1 LMPA-ULCO, Calais (France)
2 Ahmedabad University (India)
@unpublished{AIF_0__0_0_A147_0,
     author = {Eliahou, Shalom and Mazumdar, Eshita},
     title = {Optimal {Bounds} on the {Growth} of {Iterated} {Sumsets} in {Abelian} {Semigroups}},
     journal = {Annales de l'Institut Fourier},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     year = {2025},
     doi = {10.5802/aif.3674},
     language = {en},
     note = {Online first},
}
TY  - UNPB
AU  - Eliahou, Shalom
AU  - Mazumdar, Eshita
TI  - Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups
JO  - Annales de l'Institut Fourier
PY  - 2025
PB  - Association des Annales de l’institut Fourier
N1  - Online first
DO  - 10.5802/aif.3674
LA  - en
ID  - AIF_0__0_0_A147_0
ER  - 
%0 Unpublished Work
%A Eliahou, Shalom
%A Mazumdar, Eshita
%T Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups
%J Annales de l'Institut Fourier
%D 2025
%I Association des Annales de l’institut Fourier
%Z Online first
%R 10.5802/aif.3674
%G en
%F AIF_0__0_0_A147_0
Eliahou, Shalom; Mazumdar, Eshita. Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups. Annales de l'Institut Fourier, Online first, 19 p.

[1] Bruns, Winfried; Herzog, Jürgen Cohen–Macaulay rings, Cambridge Studies in Advanced Mathematics, 39, Cambridge University Press, 1993, xii+403 pages | MR | Zbl

[2] Eliahou, Shalom; Kervaire, Michel Minimal resolutions of some monomial ideals, J. Algebra, Volume 129 (1990) no. 1, pp. 1-25 | DOI | MR | Zbl

[3] Eliahou, Shalom; Mazumdar, Eshita Iterated sumsets and Hilbert functions., J. Algebra, Volume 593 (2022), pp. 274-294 | DOI | MR | Zbl

[4] Fröberg, Ralf An introduction to Gröbner bases, Pure and Applied Mathematics, John Wiley & Sons, 1997, x+177 pages | MR | Zbl

[5] Geroldinger, Alfred; Ruzsa, Imre Z. Combinatorial number theory and additive group theory. With a foreword by Javier Cilleruelo, Marc Noy and Oriol Serra (Coordinators of the DocCourse), Advanced Courses in Mathematics – CRM Barcelona, Birkhäuser, 2009, xii+330 pages | DOI | Zbl

[6] Herzog, Jürgen; Hibi, Takayuki Monomial ideals, Graduate Texts in Mathematics, 260, Springer, 2011, xvi+305 pages | DOI | MR | Zbl

[7] Khovanskiĭ, A. G. The Newton polytope, the Hilbert polynomial and sums of finite sets, Funkts. Anal. Prilozh., Volume 26 (1992) no. 4, p. 57-63, 96 | DOI | Zbl

[8] Khovanskiĭ, A. G. Sums of finite sets, orbits of commutative semigroups and Hilbert functions, Funkts. Anal. Prilozh., Volume 29 (1995) no. 2, p. 36-50, 95 | DOI | Zbl

[9] Macaulay, F. S. Some Properties of Enumeration in the Theory of Modular Systems, Proc. Lond. Math. Soc., Volume 26 (1927), pp. 531-555 | DOI | MR | Zbl

[10] McMullen, Peter The numbers of faces of simplicial polytopes, Isr. J. Math., Volume 9 (1971), pp. 559-570 | DOI | Zbl

[11] Mermin, Jeffrey; Peeva, Irena Hilbert functions and lex ideals, J. Algebra, Volume 313 (2007) no. 2, pp. 642-656 | DOI | MR | Zbl

[12] Nathanson, Melvyn B. Additive number theory. Inverse problems and the geometry of sumsets, Graduate Texts in Mathematics, 165, Springer, 1996, xiv+293 pages | DOI | MR | Zbl

[13] Nathanson, Melvyn B. Growth of sumsets in abelian semigroups, Semigroup Forum, Volume 61 (2000) no. 1, pp. 149-153 | DOI | MR | Zbl

[14] Nathanson, Melvyn B.; Ruzsa, Imre Z. Polynomial growth of sumsets in abelian semigroups, J. Théor. Nombres Bordeaux, Volume 14 (2002) no. 2, pp. 553-560 | DOI | Numdam | MR | Zbl

[15] Peeva, Irena Graded syzygies, Algebra and Applications, 14, Springer, 2011, xii+302 pages | DOI | MR | Zbl

[16] Petridis, Giorgis The Plünnecke–Ruzsa inequality: an overview, Combinatorial and additive number theory – CANT 2011 and 2012 (Springer Proceedings in Mathematics & Statistics), Volume 101, Springer, 2014, pp. 229-241 | DOI | MR | Zbl

[17] Plünnecke, Helmut Eine zahlentheoretische Anwendung der Graphentheorie, J. Reine Angew. Math., Volume 243 (1970), pp. 171-183 | DOI | MR | Zbl

[18] Stanley, Richard P. Hilbert functions of graded algebras, Adv. Math., Volume 28 (1978) no. 1, pp. 57-83 | DOI | Zbl

[19] Tao, Terence; Vu, Van Additive combinatorics, Cambridge Studies in Advanced Mathematics, 105, Cambridge University Press, 2006, xviii+512 pages | DOI | MR | Zbl

Cité par Sources :