• 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 […]

  • Geometry and Mathematical Physics Seminar

    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  

  • Member Seminar

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

    Member Seminar Speaker: Lorenzo Riva

  • 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 […]