Une variante de la méthode isopérimétrique de Hamidoune, appliquée au théorème de Kneser

Balandraud, Éric

Annales de l'Institut Fourier, Tome 58 (2008) no. 3, pp. 915-943.

En théorie additive des nombres, le théorème de Kneser joue aujourd’hui un rôle central dans un grand nombre de démonstrations. Hamidoune a récemment développé une approche alternative au théorème de Kneser, qu’il a appelé méthode isopérimétrique et qui lui a permis de donner de nouvelles preuves et de nombreuses généralisations de résultats classiques. Cependant, jusqu’à maintenant, on ne connaissait pas de démonstration du théorème de Kneser par cette méthode. Nous proposons ici une nouvelle approche de type isopérimétrique, qui nous permet entre autres de donner une seconde preuve du théorème de Kneser.

In additive number theory, Kneser’s theorem is now a key element in a large number of proofs. Recently, Hamidoune developped a different approach, that he called the isoperimetric method, and that allowed him to provide news proofs and generalizations of classical results. However, until now there was no known proof of Kneser’s theorem by this method. We present here a new isoperimetric point-of-view that, among others, yields a second proof of Kneser’s theorem.

[1] Balandraud, E. Quelques résultats combinatoires en théorie additive des nombres (Thèse soutenue en mai 2006 à l’Université Bordeaux 1, http://tel.archives-ouvertes.fr/tel-00172441/fr/)

[2] Brailovsky, L. V.; Freiman, G. A. On a product of finite subsets in a torsion-free group, J. Algebra, Volume 130 (1990), pp. 462-476 | DOI | MR | Zbl

[3] Cauchy, A.-L. Recherches sur les nombres, J. École Polytechnique, Volume 9 (1813), pp. 99-116

[4] Chowla, I. A theorem on the additions of residue classes : application to the number $\Lambda \left(k\right)$ in the Waring’s problem, Proc. Indian Acad. Sci., Volume 2 (1937), pp. 242-245

[5] Chowla, I.; Mann, H. B.; Straus, E. G. Some applications of the Cauchy-Davenport theorem, Norske Vid. Selsk. Forh. (Trondheim), Volume 32 (1959), pp. 74-80 | MR | Zbl

[6] Davenport, H. On the addition of residue classes, J. Lond. Math. Soc., Volume 10 (1935), pp. 30-32 | DOI | Zbl

[7] Davenport, H. A historical note, J. Lond. Math. Soc., Volume 22 (1947), pp. 100-101 | DOI | MR | Zbl

[8] Diderrich, G. T. On Kneser’s addition theorem in groups, Proc. Amer. Math. Soc., Volume 38 (1973), pp. 443-451 | Zbl

[9] Freiman, G. A. On the addition of finite sets. I, Izv. Vysš. Učebn. Zaved. Matematika, Volume 6 (1959), pp. 202-213 | MR | Zbl

[10] Gross, J. L.; (éditeurs), Yellen J. Handbook of Graph Theory, Discrete Mathematics and its Applications (Boca Raton), CRC Press, 2004 | MR | Zbl

[11] ould Hamidoune, Y. Sur les atomes d’un graphe orienté, C. R. Acad. Sci. Paris, Volume 284 (1977), pp. 1253-1256 | Zbl

[12] ould Hamidoune, Y. On the connectivity of Cayley digraphs, Europ. J. Combin., Volume 5 (1984), pp. 309-312 | MR | Zbl

[13] ould Hamidoune, Y. An isoperimetric method in additive Theory, J. Algebra, Volume 179 (1996), pp. 622-630 | DOI | MR | Zbl

[14] ould Hamidoune, Y. Subsets with small sums in abelian groups I : the Vosper property, Europ. J. Combin., Volume 18 (1997), pp. 541-556 | DOI | MR | Zbl

[15] ould Hamidoune, Y. On the diophantine Frobenius problem, Portugal. Math., Volume 55 (1998), pp. 425-449 | MR | Zbl

[16] ould Hamidoune, Y. Some results in additive number theory I : the critical pair theory, Acta arith., Volume 96 (2000), pp. 97-119 | DOI | MR | Zbl

[17] ould Hamidoune, Y.; Plagne, A. A generalization of Freiman’s $3k-3$ Theorem, Acta arith., Volume 103 (2002), pp. 147-155 | DOI | Zbl

[18] ould Hamidoune, Y.; Plagne, A. A multiple set version of the $3k-3$ Theorem, Rev. Mat. Iberoam., Volume 21 (2005), pp. 133-161 | MR | Zbl

[19] Kemperman, J. H. B. On small sumsets in an abelian group, Acta Math., Volume 103 (1960), pp. 63-88 | DOI | MR | Zbl

[20] Kneser, M. Abschätzung der asymptotischen Dichte von Summenmengen, Math. Z., Volume 58 (1953), pp. 459-484 | DOI | MR | Zbl

[21] Kneser, M. Ein Satz über abelschen Gruppen mit Anwendungen auf die Geometrie der Zahlen, Math. Z., Volume 61 (1955), pp. 429-434 | DOI | MR | Zbl

[22] Mann, H. B. An addition theorem for sets of elements of an abelian group, Proc. Amer. Math. Soc., Volume 4 (1953), pp. 423 | MR | Zbl

[23] Nathanson, Melvyn B. Additive number theory, Graduate Texts in Mathematics, 164, Springer-Verlag, New York, 1996 (The classical bases) | MR | Zbl

[24] Plagne, A. À propos de la fonction $X$ d’Erdős et Graham, Ann. Inst. Fourier (Grenoble), Volume 54 (2004), pp. 1717-1767 | DOI | Numdam | Zbl

[25] Vosper, G. Addendum to “The critical pairs of subsets of a group of prime order”, J. Lond. Math. Soc., Volume 31 (1956), pp. 280-282 | DOI | Zbl

[26] Vosper, G. The critical pairs of subsets of a group of prime order, J. Lond. Math. Soc., Volume 31 (1956), pp. 200-205 | DOI | MR | Zbl

[27] Zémor, G. A generalisation to noncommutative groups of a theorem of Mann, Discrete Math., Volume 126 (1994), pp. 365-372 | DOI | MR | Zbl