• Discovery in Mathematics with Automated Conjecturing

    Hybrid - G10

    https://youtu.be/2tmmafZxBIw New Technologies in Mathematics Seminar Speaker: Randy Davila, RelationalAI and Rice University Title: Discovery in Mathematics with Automated Conjecturing Abstract: Automated conjecturing is a form of artificial intelligence that applies heuristic-driven methods to mathematical discovery. Since the late 1980s, systems such as Fajtlowicz’s Graffiti, DeLaViña’s Graffiti.pc, and TxGraffiti have collectively contributed to over 130 publications in […]

  • Freedman CMSA Seminar: Michael Freedman (CMSA) & Elia Portnoy (MIT)

    Hybrid - G10

    Freedman CMSA Seminar Speaker: Michael Freedman, Harvard CMSA (3:00–4:00 pm ET) Title: How many links can you fit in a box? Abstract: I’ll discuss a “made up” problem on the interface of topology and packing, which may well be classified as “recreational math”.  Here is the first question suppose you have a unit box, how many unlinked […]

  • The Andersen-Kashaev volume conjecture for FAMED geometric triangulations  

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

    Quantum Field Theory and Physical Mathematics Seminar Speaker: Ka Ho Wong (Yale) Title: The Andersen-Kashaev volume conjecture for FAMED geometric triangulations Abstract: In the early 2010s, Andersen and Kashaev defined a TQFT based on quantum Teichmuller theory. In particular, they define a partition function for every ordered ideal triangulation of hyperbolic knot complement in $\mathbb{S}^3$ […]

  • The Toda Lattice as a Soliton Gas

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

    Colloquium Speaker: Amol Aggarwal, Columbia University Title: The Toda Lattice as a Soliton Gas Abstract: A basic tenet of integrable systems is that, under sufficiently irregular initial data, they can be thought of as dense collections of many solitons, or “soliton gases.” In this talk we focus on the Toda lattice, which is an archetypal example of […]

  • AlphaProof: when reinforcement learning meets formal mathematics

    Virtual

    https://youtu.be/TFBzP78Jp6A New Technologies in Mathematics Seminar Speaker: Thomas Hubert (Google DeepMind) Title: AlphaProof: when reinforcement learning meets formal mathematics Abstract: Galileo, the renowned Italian astronomer, physicist, and mathematician, famously described mathematics as the language of the universe. Progress since only confirmed his intuition as the world we live in can be described with extreme precision […]

  • The Competition Complexity of Dynamic Pricing

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

    Member Seminar Speaker: Tomer Ezra Title: The Competition Complexity of Dynamic Pricing Abstract: One of the most fundamental questions in mechanism design is the tradeoff between simplicity and optimality. A canonical example of this tradeoff is competition complexity in auctions, which quantifies how many additional bidders are needed for a simple mechanism to (approximately) match the revenue of the optimal mechanism. In […]

  • Homotopical Methods for Free and Interacting Fermionic SPTs

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

    Quantum Field Theory and Physical Mathematics Seminar Speaker: Cameron Krulewski, MIT Title: Homotopical Methods for Free and Interacting Fermionic SPTs Abstract: We develop and compute homotopical "free-to-interacting maps" to compare classifications of fermionic symmetry-protected topological phases (SPTs), determining when such phases are stable under interactions or, alternatively, interaction-enabled. Generalizing work of Freed-Hopkins, we construct maps […]

  • Introduction to the probabilistic approach to Louville theory III

    Science Center 507 1 Oxford Street, Cambridge

    Geometry and Quantum Theory Seminar Speaker: Bowen Yang, CMSA Title: Introduction to the probabilistic approach to Louville theory III Abstract: I will continue with the construction of Liouville CFT from probabilistic methods, following a review by Guillarmou, Kupiainen, and Rhodes (arXiv:2403.12780). The talk will emphasize technical aspects of Gaussian free fields (GFF) and contrast them with Brownian […]

  • Learning Dynamical Transport without Data

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

    https://youtu.be/mwpbMSNZOh0 New Technologies in Mathematics Seminar Speaker: Michael Albergo (Harvard) Title: Learning Dynamical Transport without Data Abstract: Algorithms based on dynamical transport of measure, such as score-based diffusion models, have resulted in great progress in the field of generative modeling. However, these algorithms rely on access to an abundance of data from the target distribution. […]

  • Learning diffusion models in high-dimensions

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

    Member Seminar Speaker: Hugo Cui Title: Learning diffusion models in high-dimensions Abstract: We consider the problem of learning a generative model parametrized by a two-layer auto-encoder, and trained with online stochastic gradient descent, to sample from a high-dimensional data distribution with an underlying low-dimensional structure. We provide a tight asymptotic characterization of low-dimensional projections of […]

  • Quantum Field Theory and Physical Mathematics

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

    Quantum Field Theory and Physical Mathematics Seminar Speaker: Matthew Yu (Oxford) Title: A new tangential structure for type IIA string theory Abstract: The Green-Schwarz anomaly cancellation condition says that the target space of heterotic string theory must come with a string structure for the theory to be consistent. In this talk we discuss a new tangential […]

  • 3-d Mirror Symmetry

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

    Colloquium Speaker: Ben Webster, University of Waterloo & Perimeter Institute Title: 3-d Mirror Symmetry Abstract: I'll give an introduction (or update, for those who've been introduced) to 3d mirror symmetry from the perspective of a mathematician.