Une preuve de GCI passée inaperçue

Sylviel

Bonjour à tous,

je signale juste cet article : https://www.quantamagazine.org/20170328-statistician-proves-gaussian-correlation-inequality/ qui montre qu'il est bon que certains tendent l'oreille aux preuves d'apparence parfois simpliste de conjectures célèbres. Bon l'auteur de la preuve était quand même un académique...

Et pour une version lisible de la preuve : https://arxiv.org/pdf/1512.08776.pdf

christophe c

aux preuves d'apparence parfois simpliste

Je ne vois pas [ce] que des dizaines de pages de calculs d'intégrales ont de simpliste :-D

Sylviel

Disons que les outils utilisés sont beaucoup plus élémentaires que ceux que d'autres chercheurs ont utilisés pour tenter, en vain, de la démontrer.

Sylvain

Cool, on regardera peut-être à nouveau ma proposition de preuve de la CG ! :-)

omega

sylviel a écrit:

Disons que les outils utilisés sont beaucoup plus élémentaires que ceux que d'autres chercheurs ont utilisés pour tenter, en vain, de la démontrer.

Ce n'est pas tout-à-fait exact, ils redémontrent dans un cas plus simple un résultat fort prouvé par Thomas Royen.
Si j'ai bien compris ils affaiblissent le résultat pour rendre la preuve plus compréhensible :

auteurs de l'article a écrit:

We decided to reorganize a bit Royen’s proof, restrict it only to the Gaussian case and add some missing details. We hope that this way a wider readership may appreciate the remarkable result of Royen.

afk

La preuve n'est pas vraiment passée inaperçue. Il y a même un exposé du seminaire Bourbaki sur le sujet. Texte et vidéo sont disponibles ici Seminaire Bourbaki - Janvier 2017. L'exposé de Villani est aussi très bien. Celui de Kontsevitch est beaucoup moins compréhensible, alors même que je connais déjà bien le sujet.

Sylviel

omega a écrit:

Ce n'est pas tout-à-fait exact, ils redémontrent dans un cas plus simple un résultat fort prouvé par Thomas Royen.

Pardon je n'étais pas clair. C'est le résultat de T.Royen qui a faillit passer inaperçu (en particulier publié dans une revue peu connue), et l'article que j'ai mis en lien fait un coup de pub de la preuve en la redonnant dans un cas plus simple.

@afk : merci pour le lien.

[edit : l'orateur confirme ce que je mentionnais aux alentours de 9'20]