IHES Rapport annuel 2021 | 1918 | IHES Rapport annuel 2021
CONFÉRENCES
Suisse International Congress on Mathematical Physics (ICMP), ICCP Genève (3 août) Multiplicative Higgs Bundles (conférence)
Vasily PESTUN Physique théorique, professeur permanent depuis 2014.
En 2021, VASILY PESTUN a orienté ses recherches vers le problème de la preuve automatique de théorèmes dans les systèmes formels vérifiés par ordinateur. Ces systèmes progressent rapidement et deviennent en principe suffisamment expressifs pour formaliser la plupart des théories mathématiques modernes. Par exemple, la preuve de l un des lemmes fondamentaux de la théorie de Peter Scholze a récemment été vérifiée dans Lean, un système de démonstration de théorèmes interactifs. Cependant, comme Lean, ces systèmes interactifs nécessitent toujours que des humains saisissent l'entrée très laborieusement : souvent la taille de la preuve informatique est cent fois plus importante
que celle de la preuve écrite, grâce aux notations mathématiques traditionnelles et au langage naturel. Normalement, les systèmes de démonstration de théorèmes interactifs ne recherchent pas la preuve, ils ne font que vérifier les preuves saisies par un humain. Vasily Pestun a aussi réuni une équipe de recherche à l IHES, qu'il dirige désormais, et qui collabore également avec des chercheurs d IBM. L objectif est de combiner les avancées des techniques modernes d apprentissage statistique, les réseaux neuronaux profonds et les systèmes de démonstration de théorèmes interactifs, pour créer des capacités de démonstration de théorèmes semi-automatiques à apprentissage automatique.
ACTIVITÉ SCIENTIFIQUE
DISTINCTIONS
Médaille d'or, 28e Olympiade Internationale de Physique (1997) Centennial Fellowship, Princeton University (2003-2008) Porter Ogden Jacobus Fellowship, Princeton University (2007-2008) Junior Fellow, Harvard Society of Fellows (2008-2011) ERC Starting Grant Quantum Algebraic Structures in Field Theories (QUASIFT) (2015) Prix Hermann Weyl (2016)
Éditeur de : Letters in Mathematical Physics Communications in Mathematical Physics
PUBLICATIONS
Avec N. Fulton, A. Shinnar, B. Targer et K. Vajjha CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq CPP'21: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Slava RYCHKOV Physique théorique, professeur permanent depuis 2017.
DISTINCTIONS
New Horizons Prize in Physics (2014) Institut Universitaire de France, membre junior (2012-2017) Grand prix Mergier Bourdeix, Académie des sciences de Paris (2019)
Éditeur de : SciPost Physics
SLAVA RYCHKOV a poursuivi sa collaboration avec ses anciens post-doctorants Apratim Kaviraj et Emilio Trevisani sur la supersymétrie de Parisi-Sourlas. Un long article préparé en 2020 a résolu une énigme de longue date concernant la transition de phase dans les modèles de réseau avec des impuretés magnétiques (modèle d'Ising dans le champ aléatoire). Leur travail a expliqué du point de vue de la théorie du groupe de renormalisation pourquoi une ancienne et célèbre conjecture de Giorgio Parisi et Nicolas Sourlas, selon laquelle cette transition...
ACTIVITÉ SCIENTIFIQUE
PUBLICATIONS
Avec A. Kaviraj et E. Trevisani Random Field Ising Model and Parisi-Sourlas Supersymmetry II. Renormalization Group J. High Energ. Phys. 03 (2021) 219, prépublication arXiv:2009.10087.
Avec A. Giuliani et V. Mastropietro Gentle Introduction to Rigorous Renormalization Group: a Worked Fermionic Example J. High Energ. Phys. 01 (2021) 026, prépublication arXiv:2008.04361.
Avec P. Kravchuk et J. Qiao Distributions in CFT II. Minkowski Space J. High Energ. Phys. 08 (2021) 094, prépublication arXiv:2104.02090.
Avec M. Reehorst, D. Simmons-Duffin, B. Sirois, N. Su et B. van Rees Navigator Function for the Conformal Bootstrap SciPost Physics 11, 072 (2021), prépublication arXiv:2104.09518.
Avec T. Kennedy Tensor RG Approach to High-temperature Fixed Point Prépublication arXiv:2107.11464.
Avec A. Kaviraj et E. Trevisani The Fate of Parisi-Sourlas Supersymmetry in Random Field Models Prépublication arXiv:2112.06942.
CONFÉRENCES
Allemagne Theory Seminar, Mathematisches Institut - Universität Bonn (23 avril) Deligne Categories in Quantum Field Theory and Lattice Model (séminaire en visioconférence)
Condensed Matter Theory Group Seminar, Université technique de Munich (3 novembre) Tensor RG Approach to High temperature Fixed Point (séminaire en visioconférence)
États Unis Theory Seminar, Stanford University (2 février) Replicas and RG: Case Study of Random Field Ising Model (séminaire en visioconférence)
Quantum Field Theory Seminar, Oxford University (2 mars) Some Mathematical Problems Posed by the Conformal Bootstrap Program (séminaire en visioconférence)
Mathematical Physics Seminar, Rutgers University (2 juin) Long range Ising Model and Relatives: a Renormalization group Laboratory (séminaire en visioconférence)
2021 Ph.D. School of the Simons Bootstrap Collaboration, Simons Foundation, New York (9 juillet) Lorentzian CFT and QFT Axioms, Lecture 1 (exposé en visioconférence) - (12 juillet) Lorentzian CFT and QFT Axioms, Lecture 2 (exposé en visioconférence) - (14 juillet) Lorentzian CFT and QFT Axioms, Lecture 3 (exposé en visioconférence)
France International Network on Quantum Fields and Strings Kickoff Meeting, Fédération Denis Poisson, Tours (9 juin) Conformal Bootstrap: Recent Numerical and Analytical Developments (visioconférence)
Italie Exact Quantisation and Applications to Condensed Matter Physics, SISSA, Trieste (27 septembre) Tensor RG Approach to High temperature Fixed Point (conférence)
Royaume Uni Paths to Quantum Field Theory, Durham University (23 août) Renormalization Group Transformations without Truncations (visioconférence)
Suisse Theory Colloquium, Department of Theoretical Physics, CERN, Genève (15 septembre) The Dream of Non perturbative Precision RG (colloque, enregistrement vidéo)
