Salle 2
le 11 octobre 2019 à 14:00
Pour un ensemble A d'entiers, on note 2A l'ensemble des sommes de la forme a+b avec a et b dans A. On note d(A) la densité asymptotique de A. Le théorème de Kneser affirme que si la densité de 2A est inférieure au double de celle de A, alors A et surtout 2A satisfont des contraintes structurelles fortes, qui imposent notamment à la densité de 2A d'être rationnelle. La question se pose de savoir si en dehors de cette contrainte, le couple (d(A), d(2A)) est libre de prendre n'importe quelles valeurs. Nous montrons que oui. Plus généralement, nous étudions les densités des ensembles sommes itérés et déterminons partiellement les valeurs possibles des k-uplets (d(A), d(2A), d(3A), …, d(kA)). Travail réalisé avec François Hennecart.