• AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Harold Williams, USC Title: An Informal Introduction to Formal Proofs Abstract: In this talk we will give an introduction to Lean, a programming language adapted to expressing and verifying proofs. Lean and its flagship library, mathlib, have been the focus of a dedicated user community for about a decade, […]

  • Skein valued curve counts and associatives

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Geometry and Mathematical Physics Seminar Speaker: Tobias Ekholm, Uppsala Title: Skein valued curve counts and associatives Abstract: We consider Lagrangians in the cotangent bundle of a 3-manifold that give branch covers the 0-section. A circle bundle over the cotangent bundle that degenerates over the Lagrangian gives an A_n-fibration over the base 3-manifold. We equip this A_n […]

  • Painlevé VI: the search for canonical representations

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Member Seminar Speaker: Aaron Landesman Title: Painlevé VI: the search for canonical representations Abstract: In 1902, Painlevé classified second order differential equations whose only movable singularities are poles, thereby obtaining the six Painlevé equations. Algebraic solutions to Painlevé's sixth equation correspond to canonical triples of 2 by 2 complex matrices. One can alternatively view these […]

  • CMSA Special Seminar: A physical interpretation of recent singularity theorems

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    CMSA Special Seminar Speaker: Michael Brenner Title: A physical interpretation of recent singularity theorems Abstract: We present a physical interpretation of recent mathematical proofs (Córdoba and Martínez-Zoroa; Buckmaster and Apogee; OpenAI) for singularity formation in nonlinear partial differential equations with smooth forcing. In our formulation, singularity formation is driven by a forward in time process whereby […]

  • Spectral Methods for signal recovery in multi-modal problems

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Colloquium Speaker: Subhabrata Sen, Harvard Statistics Title: Spectral Methods for signal recovery in multi-modal problems Abstract: Motivated by multi-modal estimation, we will study a multi-view spiked random matrix model in which several noisy matrix observations contain correlated spikes. We will introduce a new spectral method for signal recovery in this setting and characterize the behavior […]

  • Markov processes and path integrals continued

    Science Center 507 1 Oxford Street, Cambridge

    Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Ahsan Khan, HarvardCMSA Title: Markov processes and path integrals continued Abstract: I will continue the discussion of chapter two, in particular focusing on vacuum expectation values and reflection positivity.  

  • CMSA Q&A Seminar: Shaoyun Bai, MIT

    CMSA Q&A Seminar
    Common Room, CMSA 20 Garden Street, Cambridge, MA, United States

    CMSA Q&A Seminar Speaker: Shaoyun Bai, MIT Title: What is a virtual fundamental cycle? (ICM Series: On the work of John Pardon) Abstract: One of Pardon’s important contribution to symplectic topology is a new approach to constructing virtual fundamental cycles/chains for moduli spaces of pseudo-holomorphic maps. As a former PhD student of John, my own […]

  • Towards a Hodge theoretic mirror symmetry for punctured surfaces

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Geometry and Mathematical Physics Seminar Speaker: John Alexander Cruz Morales, Universidad Nacional de Colombia Title: Towards a Hodge theoretic mirror symmetry for punctured surfaces Abstract: In their 1992 paper, “Ising Model and N=2 Supersymmetric Theories,” Cecotti and Vafa asserted that a certain hyperelliptic configuration space of chiral fields is mirror to the Ising model. Today, this statement can […]

  • Large Hypercubes

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: Large Hypercubes Abstract: I'll talk about this paper: Bruhat intervals that are large hypercubes <arxiv.org/abs/2601.01235> in which we use a tool from Google, AlphaEvolve, to discover unexpected combinatorial structures inside the symmetric group (to be precise, a large hypercube in the Bruhat order.) I'll […]

  • From Random Walks to the Free Quantum Field

    Science Center 507 1 Oxford Street, Cambridge

    Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Bowen Yang Title: From Random Walks to the Free Quantum Field Abstract: The free quantum field is, heuristically, a Gaussian measure with density exp(−S_E) on a space of fields. We make this precise by building the Gaussian free field from discrete objects: random walks, Brownian motion, and […]

  • CMSA Q&A Seminar: Discussion on OpenAI Math Papers

    CMSA Q&A Seminar
    Common Room, CMSA 20 Garden Street, Cambridge, MA, United States

    CMSA Q&A Seminar Title: Discussion on OpenAI Math Papers Abstract: You have likely seen that OpenAI released 722 math papers. For the Q&A meeting on Wednesday October 14, we would like to gather to discuss them and hear informal, short presentations (say 10 minutes maximum) from anyone who is engaging with at least one of the […]