Géométrie des mesures convexes et discrètes – GeMeCoD

Pour faire progresser ces thématiques, nous allons utiliser les moyens du projet ANR pour organiser des conférences thématiques destinées aux post-doctorants et aux jeunes chercheurs, des groupes de travail regroupant des chercheurs d'horizons différents, des colloques et enfin recruter des post-doctorants. Cette activité scientifique autour de ces thématiques va créer une dynamique, donner une visibilité à ces questions et inciter ainsi les chercheurs à s'y consacrer en collaborant chacun avec sa spécialité.

Après six mois d'activité, nous avons déjà organisé une école d'hiver, des Journées de Printemps, un congrès d'été, recruté un postdoctorant et plusieurs articles sont soumis ou en cours de rédaction sur les thèmes du projet.

Nous avons prévu l'organisation de deux écoles thématiques pour 2012/2013. Parallèlement, par groupes de deux ou trois, les chercheurs explorent les différents aspects des questions posées dans les objectifs du projet.

Après seulement six mois d'activité, nous avons déjà plusieurs articles soumis ou en cours de rédaction sur les thèmes du projet.

L'objectif de ce projet est d'étudier les géométries des espaces de mesures convexes, sphériques, gaussiennes et discrètes afin d'augmenter leurs interactions dans le but de répondre à des questions mathématiques posées par l'informatique théorique. Notre équipe est constituée de mathématiciens, issus de l'analyse fonctionnelle, la géométrie des convexes, l'analyse harmonique et les probabilités. Nous avons réalisé simultanément que nous partagions un intérêt commun pour des questions issues de problèmes d'informatique théorique, que les informaticiens théoriciens utilisent de plus en plus des outils classiques dans nos théories pour démontrer des théorèmes importants et que nous pourrions le faire nous-mêmes. Nous demandons du soutien pour cette évolution thématique.
Le prototype historique de telles interactions est l'inégalité d'hypercontractivité/log-Sobolev qui est valide à la fois dans les cadres gaussiens et discrets et est devenu un outil très important de l'informatique théorique depuis son introduction dans le sujet par Kahn-Kalai-Linial à la fin des années 80. Nous sommes nombreux dans notre équipe à être experts dans ces inégalités et à les avoir étendues dans diverses directions. Nous voulons développer ces résultats et les appliquer à l'analyse discrète en vue d'utilisations en informatique théorique. Cette fertilisation mutuelle apparaît aussi pour d'autres questions comme l'émergence de versions discrètes des inégalités de Brunn-Minkowski/Prékopa-Leindler et du théorème de localisation de Kannan-Lovasz-Simonovits. De telles interactions sont aussi présentes dans la recherche de réduction de l'aléas pour la construction d'algorithmes pour des plongements de sous-espaces de L_p. Enfin, dans tous ces modèles, la symétrie joue un rôle crucial que nous voulons mieux comprendre. Dans tous ces domaines, les membres de notre équipe ont observé l'augmentation très rapide des interactions avec le cadre discret.
Notre équipe est un groupe de mathématiciens français d'origines diverses motivés pour développer en France des méthodes et des outils pour l'étude des géométries des espaces de mesures convexes, sphériques, gaussiennes et discrètes qui sont utiles en informatique théorique.