Un dictionnaire inattendu : formes quadratiques entières et codes correcteurs d’erreurs, fonctions thêta et polynômes des poids
ENS (amphithéâtre Galois sous la bibliothèque de mathématique)Les codes linéaires correcteurs d'erreurs sont des outils mathématiques utilisés dans l'industrie numérique pour corriger les erreurs de transmission. À un code est naturellement associé un élément de Z, appelé polynôme des poids. À une forme quadratique entière est associée sa fonction thêta, fonction spéciale définie sur le demi-plan de Poincaré. Si la forme quadratique est unimodulaire et paire, sa fonction thêta est une forme modulaire. Après avoir présenté les codes et leurs polynômes (il s'agit de mathématiques relativement récentes mais élémentaires), puis les formes quadratiques et leurs fonctions thêta (il […]