https://youtu.be/u-pkmdkQoMU New Technologies in Mathematics Seminar Speaker: Alex Gu, MIT Dept. of EE&CS Title: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Abstract: Large language models (LLMs) have shown promise in proving formal theorems using proof assistants such as Lean. However, existing methods are difficult to reproduce or build on, due to private code, data, and large compute […]
Member Seminar Speaker: Benjamin McKenna Title: Random matrices and large deviations Abstract: We give a generalist overview of random matrices and their (a)typical behaviors. In recent years, classical results have been complemented by a variety of new ones, in both the math and physics literatures, whose proofs leverage connections with special integrals over matrix groups. Some of these […]
https://youtu.be/7sA3r5M1oT8 <strong>Topological Quantum Matter Seminar</strong> <strong>Speaker:</strong> Ho Tat Lam, MIT <strong>Title:</strong> Dipolar and modulated symmetry protected topological phases <strong>Abstract:</strong> Modulated symmetries are symmetries whose symmetry generators exhibit spatial modulations. We will discuss one-dimensional symmetry protected topological (SPT) phases protected by modulated symmetries. We will present a simple recipe for constructing modulated SPT models by generalizing the […]
Speaker: Yu-Shen Lin (Boston University) Title: Gravitational Instantons Abstract: Gravitational instantons were introduced by Hawking as building blocks of his Euclidean quantum gravity theory back in the 1970s. These are non-compact Calabi-Yau surfaces with L2 curvature and thus can be viewed as the non-compact analogue of K3 surfaces. K3 surfaces are 2-dimensional Calabi-Yau manifolds and […]
Algebraic Geometry in String Theory Seminar Pre-talk Speaker: Kai Xu (CMSA): 10:00-10:30 am Speaker: Kai Xu (CMSA) Title: Motivic decomposition of moduli space from brane dynamics Abstract: Supersymmetric gauge theories encode deep structures in algebraic geometry, and geometric engineering gives a powerful way to understand the underlying structures by string/M theory. In this talk we will see […]
Special Seminar Speaker: Mayuko Yamashita, Kyoto University Title: Topological modular forms and heretoric string theory Abstract: In this talk I will explain my works with Y. Tachikawa to study anomaly in heterotic string theory via homotopy theory, especially the theory of Topological Modular Forms (TMF). TMF is an E-infinity ring spectrum which is conjectured by […]
Member Seminar Speaker: Kai Xu (CMSA) Title: Moduli of vector bundles on curve and semiorthogonal decomposition Abstract: In this talk we construct semiorthogonal decompositions of moduli of vector bundles on a curve into its symmetric powers. The essential ingredients in the proof include Borel-Weil-Bott theory for loop groups, derived Schur-Weyl duality for current groups and derived […]
Quantum Matter Seminar Speaker: Cenke Xu (UCSB) Title: Quantum field theory approach to quantum information Abstract: We apply the formalism of quantum field theory and Euclidean space-time path integral to investigate a class of quantum information problems. In particular, we investigate quantum many-body systems under weak-measurement and decoherence. The Euclidean space-time path integral allows us […]
Active Matter Seminar Speaker: Max Lavrentovich, Worcester State University Title: Strongly driven mixtures and membranes: Out of equilibrium surprises Abstract: The more prosaic cousin of active matter, driven inactive matter, is still full of unexpected phenomena. I will discuss two projects involving two seemingly mundane systems, a phase-separating colloidal mixture and a lipid membrane, which demonstrate […]
Probability Seminar Speaker: Catherine Wolfram (MIT) Title: Large deviations for the 3D dimer model Abstract: A dimer tiling of Z^d is a collection of edges such that every vertex is covered exactly once. In 2000, Cohn, Kenyon, and Propp showed that 2D dimer tilings satisfy a large deviations principle. In joint work with Nishant Chandgotia […]
https://youtu.be/Sc6k06wVX3s New Technologies in Mathematics Seminar Speaker: François Charton, Meta AI Title: Transformers for maths, and maths for transformers Abstract: Transformers can be trained to solve problems of mathematics. I present two recent applications, in mathematics and physics: predicting integer sequences, and discovering the properties of scattering amplitudes in a close relative of Quantum ChromoDynamics. Problems of […]
Algebraic Geometry in String Theory Seminar Pre-talk Speaker: David Wu (Harvard Physics): 10:00-10:30 am Speaker: Damian van de Heisteeg, CMSA Title: Species Scale across String Moduli Spaces Abstract: String theories feature a wide array of moduli spaces. We propose that the energy cutoff scale of these theories – the so-called species scale – can be determined […]