EIBougnador
2022-07-08 21:19:00
En vrai, elle était déjà pressentie pour la Fields il y a 4 ans donc peut-être que la géopolitique a joué un rôle mais même sans ça, elle avait des chances vraiment sérieuses de l'avoir cette annéehttps://image.noelshack.com/fichiers/2017/39/3/1506463228-risibg.png
Edit : + apparemment, les choix sont faits en janvier, cf un poste de zarathoustra45 un peu plus haut
Quant à l'utilité d'empiler des sphères en grande dimension...https://image.noelshack.com/fichiers/2017/12/1490533266-pave-cesar.png
https://image.noelshack.com/fichiers/2017/12/1490533266-pave-cesar.pnghttps://image.noelshack.com/fichiers/2017/12/1490533266-pave-cesar.pnghttps://image.noelshack.com/fichiers/2017/12/1490533266-pave-cesar.png
https://image.noelshack.com/fichiers/2021/49/6/1639220751-paz-quantique-tison.jpghttps://image.noelshack.com/fichiers/2021/49/6/1639220751-paz-quantique-tison.jpghttps://image.noelshack.com/fichiers/2021/49/6/1639220751-paz-quantique-tison.jpg
Cette question n'est pas principalement étudiée dans un but d'utilité : c'est une question mathématiquement profonde en ce sens qu'elle est difficile et liée à plein de sujets différents (programmation linéaire, Fourier, formes modulaires, codes correcteurs, géométrie, réseaux...)https://image.noelshack.com/fichiers/2019/23/5/1559863684-je-je-je-p-pou-pourrai.png
De toute manière, le fait que le résultat ait été démontré est "forcément inutile" au sens où a été démontré quelque chose dont tout le était convaincu de longue date. Le défi, c'était de trouver une démonstration, ce que Viazovska a torché. Si un oracle vient et nous dit "une démonstration existe, c'est validé par Dieu" sans nous donner les idées de cette démonstration, on n'est pas vraiment plus avancé que quand on était au stade "on est sûrs que c'est vrai mais on ne sait pas le montrer"https://image.noelshack.com/fichiers/2017/39/3/1506524542-ruth-perplexev2.png
Après, là, la démo ne se contente pas d'exister abstraitement : elle vient avec ses idées, qui peuvent servir de base pour conjecturer et démontrer d'autres résultats plus vastes. De fait, tel a été le cas, avec l'optimalité dite universelle du réseau E8 en dimension 8 et du réseau de Leech en dimension 24. Ces réseaux sont optimaux pas uniquement pour les problèmes d'empilement de sphère mais pour toute une vaste famille de problèmes d'optimisation. Le coffre mathématique s'ouvrirait-il partiellement ?https://image.noelshack.com/fichiers/2021/49/7/1639271973-golemisation-universelle-tison.jpg
Enfin, pour revenir à l'utilité. Déjà, c'est quoi la dimension 8, et à quoi ça peut servir ? Un point de l'espace de dimension 8, ce n'est rien d'autre que la donnée de 8 nombres : c'est tout ! Bah oui, dans le plan, t'as besoin de deux coordonnées ; dans l'espace, de trois : bah là, on prend la définition à rebours en définissant l'espace de dimension 8 comme l'ensemble des octuplets de nombres réelshttps://image.noelshack.com/fichiers/2017/09/1488715251-smart-black.png
En plus, cet ensemble a une structure de distance qui généralise les formules valables en dimension 2 (Pythagore) et 3https://image.noelshack.com/fichiers/2017/52/6/1514639197-villani-bg-1.png
Donc à la rigueur, bosser en dimension 8 ou 24 ou 152369, ça peut servir dès lors qu'on a besoin d'enregistrer 8 ou 24 ou 152369 nombres, ce qui peut servir en sciences de façon générale ou en informatique en particulier. Mais à quoi diantre ça peut servir de se poser la question de l'empilement des sphères dans ce contexte ?https://image.noelshack.com/fichiers/2018/17/3/1524625015-cedric-grotte.png
On veut des boules de rayon 1 qui ne s'interpénètrent pas. Il s'agit donc de se donner un ensemble de points où deux points quelconques sont toujours à distance au moins 2 l'un de l'autre. Trouver un tel ensemble le plus dense possible, c'est le problème (inutile ?) que Viazovska à résoluhttps://image.noelshack.com/fichiers/2021/50/6/1639858411-capture-d-ecran-2021-12-18-a-21-12-02.png
Inutile ? Pas si sûrhttps://image.noelshack.com/fichiers/2017/13/1490886827-risibo.png
Imaginez que vous voulez transférer une information à un pote et que le support pour ce faire, c'est "transférer 8 nombres". Tu veux pouvoir transférer l'info la plus fine possible en sélectionnant un point dans un certaine portion de l'espace 8 dimensionnels (par exemple, chacun des 8 nombres doit être dans [-100,100]). Pour transférer une info fine, il s'agit d'avoir le choix parmi un max de possibilités. Soit...https://image.noelshack.com/fichiers/2019/32/2/1565043567-4.png
Mais maintenant, imaginez que le canal de transmission soit bruité ! Le point reçu par votre pote n'est pas celui que vous transmettez mais un point choisi au hasard, à distance < 1 du point que vous avez sélectionné. Eh bien si vos boules de rayon 1 ne se chevauchent pas, votre pote pourra retrouver de façon fiable l'information initiale : vous choisissez un centre de boule, le bruit renvoie à votre pote un point random dans la boule, mais comme ce point n'appartient qu'à une seule boule, votre pote devine que votre message initial était le centre de cette boule. Le message est donc fiablement transmis ! Et si l'empilement est le plus dense possible, on transmet de cette façon le plus d'information possiblehttps://image.noelshack.com/fichiers/2017/14/1491761476-risitrix-b.png
Le problème d'empilement de sphères est en un sens une variante du thème des codes correcteurs, très utilisé en informatique, afin qu'une degradation d'un CD ou d'un QR code ne porte pas à conséquencehttps://image.noelshack.com/fichiers/2021/49/5/1639151024-2022-pas-pret-tison.jpg
Je ne prétends pas ses contributions sont de fait utiles en pratique à ce jour pour ce type de raisons. J'explique simplement en quoi il n'est pas si évident que ça de dire "c'est inutile et ça le restera forcément pour toujours", uniquement sur la base que c'est un problème de géométrie en dimension supérieurehttps://image.noelshack.com/fichiers/2021/51/4/1640219439-ange-tison.jpg
Si vous êtes assez calés en maths (disons niveau master), le livre Sphere packings, lattices and groups de Conway peut vous intéresserhttps://image.noelshack.com/fichiers/2021/51/1/1639992756-2.png
Sur ce, je m'en vais bougnader sous d'autres cieuxhttps://image.noelshack.com/fichiers/2021/17/4/1619649889-risitas-ciel.jpg