BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230926T110000
DTEND;TZID=America/New_York:20230926T120000
DTSTAMP:20260503T235216
CREATED:20240223T104632Z
LAST-MODIFIED:20240813T160129Z
UID:10002850-1695726000-1695729600@cmsa.fas.harvard.edu
SUMMARY:Geometry at Strong coupling for amplitudes/Wilson loops
DESCRIPTION:General Relativity Seminar \nSpeaker: Lionel Mason (Oxford) \nTitle: Geometry at Strong coupling for amplitudes/Wilson loops \nAbstract: The amplitude/Wilson loop correspondence identifies planar N=4 super-Yang-Mills amplitudes with certain null polygonal Wilson loops at all the values of the coupling. At strong coupling this equates the amplitude/Wilson loop computed by Alday & Maldacena in terms of the area of a minimal surface in AdS_5. To do so they developed a `Y-system’ for computing the amplitude. This talk re-interprets their construction as providing the underlying twistor space for a hyperKahler structure on the corresponding space of kinematic data. In particular\, the area is given by a Kahler scalar for the pseudo-hyperkahler structure and satisfies a version of the Plebanski equations\, a well-known completely integrable system. This geometry encodes the properties of the space of kinematic data on which the amplitude depends as a cluster variety tying into its positive geometry and cluster variety structure. Similar constructures are possible for other cluster varieties corresponding to form factors and beyond.
URL:https://cmsa.fas.harvard.edu/event/gr_92623/
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-09.26.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230926T123000
DTEND;TZID=America/New_York:20230926T133000
DTSTAMP:20260503T235216
CREATED:20240223T081626Z
LAST-MODIFIED:20240223T081646Z
UID:10002835-1695731400-1695735000@cmsa.fas.harvard.edu
SUMMARY:CMSA Q and A Seminar 9/26/2023
DESCRIPTION:CMSA Q and A Seminar \nSpeakers: Michael Douglas (CMSA) and Mayuko Yamashita (Kyoto University) \nTopics: \nMichael Douglas: “What is non-commutative field theory?”\n\nMayuko Yamashita: “What is differential cohomology?”
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_92623/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230927T140000
DTEND;TZID=America/New_York:20230927T150000
DTSTAMP:20260503T235216
CREATED:20240227T082824Z
LAST-MODIFIED:20240227T082824Z
UID:10002872-1695823200-1695826800@cmsa.fas.harvard.edu
SUMMARY:Transformers for maths\, and maths for transformers
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: François Charton\, Meta AI \nTitle:  Transformers for maths\, and maths for transformers \nAbstract: 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. \nProblems of mathematics can also help understand transformers. Using two examples from linear algebra and integer arithmetic\, I show that model predictions can be explained\, that trained models do not confabulate\, and that carefully choosing the training distributions can help achieve better\, and more robust\, performance. \n  \n  \n 
URL:https://cmsa.fas.harvard.edu/event/nt-92723/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-09.27.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230927T153000
DTEND;TZID=America/New_York:20230927T163000
DTSTAMP:20260503T235216
CREATED:20240223T112514Z
LAST-MODIFIED:20240223T112647Z
UID:10002862-1695828600-1695832200@cmsa.fas.harvard.edu
SUMMARY:Large deviations for the 3D dimer model
DESCRIPTION:Probability Seminar \nSpeaker: Catherine Wolfram (MIT) \nTitle: Large deviations for the 3D dimer model \nAbstract: 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 and Scott Sheffield\, we prove an analogous large deviations principle for dimers in 3D. A lot of the results for dimers in two dimensions use tools and exact formulas (e.g. the height function representation of a tiling or the Kasteleyn determinant formula) that are specific to dimension 2. In this talk\, I will try to give some intuition for why three dimensions is different from two\, explain how to formulate the large deviations principle in 3D\, show simulations\, and explain some of the ways that we use a smaller set of tools (e.g. Hall’s matching theorem or a double dimer swapping operation) in our arguments. \n 
URL:https://cmsa.fas.harvard.edu/event/probability-92723/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Probability Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Probability-Seminar-09.27.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230928T130000
DTEND;TZID=America/New_York:20230928T140000
DTSTAMP:20260503T235216
CREATED:20240223T072654Z
LAST-MODIFIED:20240223T072654Z
UID:10002827-1695906000-1695909600@cmsa.fas.harvard.edu
SUMMARY:Strongly driven mixtures and membranes: Out of equilibrium surprises 
DESCRIPTION:Active Matter Seminar\n\n\nSpeaker: Max Lavrentovich\, Worcester State University \nTitle: Strongly driven mixtures and membranes: Out of equilibrium surprises \nAbstract: 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 counterintuitive properties when driven out of equilibrium. We will see that the phase separating mixture\, when driven by a uniform force\, develops (in simulations) an intriguing pattern with a characteristic length scale set by the magnitude of the drive. We will look at some theoretical approaches to understanding the pattern formation and possible experimental realizations. The membrane\, when driven by an oscillatory electric field\, develops (in experiments) a long-lived metastable state with a decreased capacitance and increased dissipation. This state may have implications for neuronal processing and memory formation.
URL:https://cmsa.fas.harvard.edu/event/am-92823/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Active Matter Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Active-Matter-Seminar-09.28.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230928T163000
DTEND;TZID=America/New_York:20230928T180000
DTSTAMP:20260503T235216
CREATED:20240221T112307Z
LAST-MODIFIED:20240813T161833Z
UID:10002780-1695918600-1695924000@cmsa.fas.harvard.edu
SUMMARY:Quantum field theory approach to quantum information
DESCRIPTION:Quantum Matter Seminar \nSpeaker: Cenke Xu (UCSB) \nTitle: Quantum field theory approach to quantum information \nAbstract: 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 to map this problem to a quantum field theory with (temporal) boundary or defects. We therefore investigate two types of quantum many-body systems with nontrivial boundary physics: quantum critical points\, and states with nontrivial topology\, such as Chern insulator and symmetry protected topological states. For example\, we demonstrate that a Wilson-Fisher quantum critical point can be driven into an “extraordinary-log” phase after weak-measurement. Another example is that\, we argue that a system with higher form symmetry may be driven to a self-dual phase transition under weak measurement.
URL:https://cmsa.fas.harvard.edu/event/qm_92823/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Quantum Matter
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-QMMP-09.28.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230929T120000
DTEND;TZID=America/New_York:20230929T130000
DTSTAMP:20260503T235216
CREATED:20240223T112516Z
LAST-MODIFIED:20240223T112516Z
UID:10002863-1695988800-1695992400@cmsa.fas.harvard.edu
SUMMARY:Moduli of vector bundles on curve and semiorthogonal decomposition
DESCRIPTION:Member Seminar \nSpeaker: Kai Xu (CMSA) \nTitle: Moduli of vector bundles on curve and semiorthogonal decomposition \nAbstract: 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 Θ-stratification. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-92923/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230929T140000
DTEND;TZID=America/New_York:20230929T150000
DTSTAMP:20260503T235216
CREATED:20240223T103610Z
LAST-MODIFIED:20240223T103610Z
UID:10002848-1695996000-1695999600@cmsa.fas.harvard.edu
SUMMARY:Topological modular forms and heretoric string theory
DESCRIPTION:Special Seminar\n\n\n\n\n\nSpeaker: Mayuko Yamashita\, Kyoto University \n\nTitle: Topological modular forms and heretoric string theory \nAbstract: 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 Stolz-Teichner to classify two-dimensional supersymmetric quantum field theories in physics. In the previous work (https://arxiv.org/abs/2108.13542)\, we proved the vanishing of anomalies in heterotic string theory mathematically by using TMF. \nFurthermore\, we have a recent update (https://arxiv.org/abs/2305.06196) on the previous work. Because of the vanishing result\, we can consider a secondary transformation of spectra\, which is shown to coincide with the Anderson self-duality morphism of TMF. This allows us to detect subtle torsion phenomena in TMF by differential-geometric ways\, and leads us to new conjectures on the relation between VOAs and TMF. \n\n 
URL:https://cmsa.fas.harvard.edu/event/ss_92923/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Special Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Special-Seminar-09.29.23-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231002T103000
DTEND;TZID=America/New_York:20231002T113000
DTSTAMP:20260503T235216
CREATED:20240222T084421Z
LAST-MODIFIED:20240222T084421Z
UID:10002791-1696242600-1696246200@cmsa.fas.harvard.edu
SUMMARY:Motivic decomposition of moduli space from brane dynamics
DESCRIPTION:Algebraic Geometry in String Theory Seminar \n\n\nPre-talk Speaker: Kai Xu (CMSA): 10:00-10:30 am \n\nSpeaker: Kai Xu (CMSA) \nTitle: Motivic decomposition of moduli space from brane dynamics \nAbstract: 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 how the dynamics of M5 branes tell us about the motivic and semiorthogonal decompositions of moduli of bundles on curves.
URL:https://cmsa.fas.harvard.edu/event/agst-10223/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Algebraic Geometry in String Theory Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Algebraic-Geometry-in-String-Theory-10.02.2023.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231002T163000
DTEND;TZID=America/New_York:20231002T173000
DTSTAMP:20260503T235216
CREATED:20240227T095159Z
LAST-MODIFIED:20240227T095159Z
UID:10002874-1696264200-1696267800@cmsa.fas.harvard.edu
SUMMARY:Gravitational Instantons
DESCRIPTION:Speaker: Yu-Shen Lin (Boston University) \nTitle: Gravitational Instantons \nAbstract: 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 are usually the testing stone before conquering the general Calabi-Yau problems. The moduli space of K3 surfaces and its compactification on their own form important problems in various branches in geometry. In this talk\, we will discuss the Torelli theorem of gravitational instantons\, how the cohomological invariants of a gravitational instanton determine them. As a consequence\, this leads to a description of the moduli space of gravitational instantons.
URL:https://cmsa.fas.harvard.edu/event/colloquium-10223/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.02.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231003T110000
DTEND;TZID=America/New_York:20231003T120000
DTSTAMP:20260503T235216
CREATED:20240223T054715Z
LAST-MODIFIED:20240223T054715Z
UID:10002820-1696330800-1696334400@cmsa.fas.harvard.edu
SUMMARY:A Smooth Horizon without a Smooth Horizon
DESCRIPTION:General Relativity Seminar \nSpeaker: Chethan Krishnan (IISc Bangalore) \nTitle: A Smooth Horizon without a Smooth Horizon \nAbstract: I will talk about some work that is about to appear\, where we note one precise way in which the stretched horizon can simulate a smooth horizon. I will also make an effort to put things in some perspective (brickwalls\, fuzzballs\, Type I algebras\,…)
URL:https://cmsa.fas.harvard.edu/event/gr_10323/
CATEGORIES:General Relativity Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231003T123000
DTEND;TZID=America/New_York:20231003T133000
DTSTAMP:20260503T235216
CREATED:20240223T082622Z
LAST-MODIFIED:20240223T082622Z
UID:10002836-1696336200-1696339800@cmsa.fas.harvard.edu
SUMMARY:CMSA Q and A Seminar 10/3/2023
DESCRIPTION:CMSA Q and A Seminar \nSpeakers: Dan Freed (Harvard Math & CMSA) and Dan Berwick-Evans (University of Illinois at Urbana-Champaign)\n\nTopics:\nDan Freed: What is framing anomaly? How is it different from other anomalies?\nDan Berwick-Evans: What is Atiyah-Singer index theorem?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_10323/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231004T103000
DTEND;TZID=America/New_York:20231004T113000
DTSTAMP:20260503T235216
CREATED:20240221T111722Z
LAST-MODIFIED:20240221T111849Z
UID:10002779-1696415400-1696419000@cmsa.fas.harvard.edu
SUMMARY:Dipolar and modulated symmetry protected topological phases
DESCRIPTION:<strong>Topological Quantum Matter Seminar</strong> \n<strong>Speaker:</strong> Ho Tat Lam\, MIT \n<strong>Title:</strong> Dipolar and modulated symmetry protected topological phases \n<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 concept of decorated domain walls. We will then focus on the simplest modulated SPT protected by dipolar symmetries\, classify them using matrix product states and construct their response field theories using twisted finite tensor gauge theories.
URL:https://cmsa.fas.harvard.edu/event/tqms_10423/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Topological Quantum Matter Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Topological-Seminar-10.04.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231006T120000
DTEND;TZID=America/New_York:20231006T130000
DTSTAMP:20260503T235216
CREATED:20240223T105546Z
LAST-MODIFIED:20240223T105621Z
UID:10002854-1696593600-1696597200@cmsa.fas.harvard.edu
SUMMARY:Random matrices and large deviations 
DESCRIPTION:Member Seminar \nSpeaker: Benjamin McKenna \nTitle: Random matrices and large deviations \nAbstract: 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 models exhibit interesting transition points\, whose motivating relationships to eigenvector (de)localization are not yet fully understood. Based on joint work with Jonathan Husson. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-10623/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231010T110000
DTEND;TZID=America/New_York:20231010T120000
DTSTAMP:20260503T235216
CREATED:20240223T054233Z
LAST-MODIFIED:20240223T054233Z
UID:10002819-1696935600-1696939200@cmsa.fas.harvard.edu
SUMMARY:Tidal Squeezing of Black Holes
DESCRIPTION:General Relativity Seminar \nSpeaker: Maria Rodriguez (Utah) \nTitle: Tidal Squeezing of Black Holes \nAbstract: Recent developments indicate that Kerr black holes do not deform when perturbed by a static external gravitational field. Relying on hidden symmetries\, compelling progress has been achieved to explain that Love numbers for Kerr black holes vanish. How does the phenomenon of tidal squeezing manifest in broader contexts? An elementary presentation of dynamical tidal squeezing of Kerr black holes will be given.
URL:https://cmsa.fas.harvard.edu/event/gr_101023/
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-10.10.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231010T123000
DTEND;TZID=America/New_York:20231010T133000
DTSTAMP:20260503T235216
CREATED:20240223T091026Z
LAST-MODIFIED:20240223T103936Z
UID:10002842-1696941000-1696944600@cmsa.fas.harvard.edu
SUMMARY:CMSA Q and A Seminar 10/10/23
DESCRIPTION:CMSA Q and A Seminar \nSpeakers: Dan Freed (Harvard Math and CMSA) and Sunghyuk Park (CMSA) \nTopics: \nDan Freed: What is Dijkgraaf-Witten theory? \nSunghyuk Park: What happened at the Clay Math Institute Workshop?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_101023/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231011T140000
DTEND;TZID=America/New_York:20231011T150000
DTSTAMP:20260503T235216
CREATED:20240223T114336Z
LAST-MODIFIED:20240223T114336Z
UID:10002868-1697032800-1697036400@cmsa.fas.harvard.edu
SUMMARY:LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Alex Gu\, MIT Dept. of EE&CS \nTitle: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models \nAbstract: 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 requirements. This has created substantial barriers to research on machine learning methods for theorem proving. We introduce LeanDojo: an open-source Lean playground consisting of toolkits\, data\, models\, and benchmarks. LeanDojo extracts data from Lean and enables interaction with the proof environment programmatically. It contains fine-grained annotations of premises in proofs\, providing valuable data for premise selection: a key bottleneck in theorem proving. Using this data\, we develop ReProver (Retrieval-Augmented Prover): the first LLM-based prover that is augmented with retrieval for selecting premises from a vast math library. It is inexpensive and needs only one GPU week of training. Our retriever leverages LeanDojo’s program analysis capability to identify accessible premises and hard negative examples\, which makes retrieval much more effective. Furthermore\, we construct a new benchmark consisting of 96\,962 theorems and proofs extracted from Lean’s math library. It features a challenging data split requiring the prover to generalize to theorems relying on novel premises that are never used in training. We use this benchmark for training and evaluation\, and experimental results demonstrate the effectiveness of ReProver over non-retrieval baselines and GPT-4. We thus provide the first set of open-source LLM-based theorem provers without any proprietary datasets and release it under a permissive MIT license to facilitate further research. \n 
URL:https://cmsa.fas.harvard.edu/event/nt-101123-2/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-10.11.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231011T163000
DTEND;TZID=America/New_York:20231011T180000
DTSTAMP:20260503T235216
CREATED:20240222T060902Z
LAST-MODIFIED:20240222T060902Z
UID:10002785-1697041800-1697047200@cmsa.fas.harvard.edu
SUMMARY:Non-invertible symmetries\, leptons\, quarks\, and why multiple generations
DESCRIPTION:Quantum Matter Seminar \nSpeaker: Seth Koren (Notre Dame) \nTitle: Non-invertible symmetries\, leptons\, quarks\, and why multiple generations \nAbstract: Generalized global symmetries are present in theories of particle physics\, and understanding their structure can give insight into these theories and UV completions thereof.  After discussing the generalized symmetries of the Standard Model\, we will go Beyond and show that the identification of a non-invertible symmetry of Z’ models of L_µ – L_τ reveals the existence of non-Abelian horizontal gauge theories which naturally produce exponentially small Dirac neutrino masses. Next we will uncover a subtler non-invertible symmetry in horizontal gauge theories of the quark sector which will lead us to a massless down-type quarks solution to strong CP in color-flavor unification. Intriguingly\, this theory works by virtue of the SM having the same numbers of colors and generations.
URL:https://cmsa.fas.harvard.edu/event/qm_101123/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Quantum Matter
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-QMMP-10.11.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231012T130000
DTEND;TZID=America/New_York:20231012T140000
DTSTAMP:20260503T235216
CREATED:20240223T072135Z
LAST-MODIFIED:20240223T072135Z
UID:10002826-1697115600-1697119200@cmsa.fas.harvard.edu
SUMMARY:Contractility\, structure formation and fluctuations in active gels\, with and without molecular motors
DESCRIPTION:Active Matter Seminar\n\n\nSpeaker: Fred MacKintosh (Rice University) \nTitle: Contractility\, structure formation and fluctuations in active gels\, with and without molecular motors \nAbstract: Various processes in living cells depend on contractile forces that are often generated by myosin motors in concert with polar actin filaments. A textbook example of this is the actomyosin contractile ring that forms during cell division. Recent evidence\, however\, has begun to suggest alternate or redundant mechanisms that do not depend on myosin. Experiments on simplified\, reconstituted systems also point to contractility and structure formation in disordered\, apolar arrays of filaments. We propose a motor-free mechanism that can generate contraction in biopolymer networks without the need for motors such as myosin or polar filaments such as actin. This mechanism is based on active binding and unbinding of cross-linkers that breaks the principle of detailed balance\, together with the asymmetric force-extension response of semiflexible biopolymers. We discuss the resulting force-velocity relation and other implications of this\, as well as possible evidence for non-motor force generation.
URL:https://cmsa.fas.harvard.edu/event/am-101223/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Active Matter Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Active-Matter-Seminar-10.12.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231013T120000
DTEND;TZID=America/New_York:20231013T130000
DTSTAMP:20260503T235216
CREATED:20240223T105131Z
LAST-MODIFIED:20240223T105527Z
UID:10002852-1697198400-1697202000@cmsa.fas.harvard.edu
SUMMARY:On the Breakdown of Einstein's Gravity
DESCRIPTION:Member Seminar \nSpeaker: Puskar Mondal (CMSA) \nTitle: On the Breakdown of Einstein’s Gravity \nAbstract: It is important to understand under which conditions\, the solutions of non-linear hyperbolic PDEs break down in finite time. In the context of Einstein’s gravity\, this is very closely tied to naked singularity formation and Penrose’s weak cosmic censorship conjecture. In this talk\, I will give sharp estimates on the relevant geometric entities that allow one to continue the solutions of Einstein’s equations indefinitely in the future in a ‘time’ direction without forming a naked singularity.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-101323/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231016T100000
DTEND;TZID=America/New_York:20231016T113000
DTSTAMP:20260503T235216
CREATED:20240222T075624Z
LAST-MODIFIED:20240222T075624Z
UID:10002790-1697450400-1697455800@cmsa.fas.harvard.edu
SUMMARY:Moduli of boundary polarized Calabi-Yau pairs
DESCRIPTION:Algebraic Geometry in String Theory Seminar \nPre-talk Speaker: Rosie Shen (Harvard): 10:00-10:30 am \nPre-talk Title: Introduction to the singularities of the MMP \n\nSpeaker: Dori Bejleri (Harvard Math & CMSA) \nTitle: Moduli of boundary polarized Calabi-Yau pairs \nAbstract: The theories of KSBA stability and K-stability furnish compact moduli spaces of general type pairs and Fano pairs respectively. However\, much less is known about the moduli theory of Calabi-Yau pairs. In this talk I will present an approach to constructing a moduli space of Calabi-Yau pairs which should interpolate between KSBA and K-stable moduli via wall-crossing.  I will explain how this approach can be used to construct projective moduli spaces of plane curve pairs. This is based on joint work with K. Ascher\, H. Blum\, K. DeVleming\, G. Inchiostro\, Y. Liu\, X. Wang. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/agst-101623/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Algebraic Geometry in String Theory Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Algebraic-Geometry-in-String-Theory-10.16.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231016T140000
DTEND;TZID=America/New_York:20231016T150000
DTSTAMP:20260503T235216
CREATED:20240222T090812Z
LAST-MODIFIED:20240222T090812Z
UID:10002793-1697464800-1697468400@cmsa.fas.harvard.edu
SUMMARY:Breaking ergodicity: quantum scars and regular eigenstates
DESCRIPTION:Topological Quantum Matter Seminar \nSpeaker: Ceren Dag\, Harvard \nTitle: Breaking ergodicity: quantum scars and regular eigenstates \nAbstract: Quantum many-body scars (QMBS) consist of a few low-entropy eigenstates in an otherwise chaotic many-body spectrum and can weakly break ergodicity resulting in robust oscillatory dynamics. The notion of QMBS follows the original single-particle scars introduced within the context of quantum billiards\, where scarring manifests in the form of a quantum eigenstate concentrating around an underlying classical unstable periodic orbit (UPO). A direct connection between these notions remains an outstanding problem. Here\, we study a many-body spinor condensate that\, owing to its collective interactions\, is amenable to the diagnostics of scars. We characterize the system’s rich dynamics\, spectrum\, and phase space\, consisting of both regular and chaotic states. The former are low in entropy\, violate the Eigenstate Thermalization Hypothesis (ETH)\, and can be traced back to integrable effective Hamiltonians\, whereas most of the latter are scarred by the underlying semiclassical UPOs\, while satisfying ETH. We outline an experimental proposal to probe our theory in trapped spin-1 Bose-Einstein condensates. If time permits\, I will also mention our latest efforts in introducing spatial dimension to this model with a true semiclassical limit\, and how quantum scars persist to exist in a many-body system. Reference: arXiv 2306.10411\, in peer review.
URL:https://cmsa.fas.harvard.edu/event/tqms_101623/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Topological Quantum Matter Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Topological-Seminar-10.16.23.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231016T163000
DTEND;TZID=America/New_York:20231016T173000
DTSTAMP:20260503T235216
CREATED:20240223T093426Z
LAST-MODIFIED:20251026T063911Z
UID:10002844-1697473800-1697477400@cmsa.fas.harvard.edu
SUMMARY:An exploration of infinite games—infinite Wordle and the Mastermind numbers
DESCRIPTION:Speaker: Joel D. Hamkins (Notre Dame and Oxford) \nTitle: An exploration of infinite games—infinite Wordle and the Mastermind numbers \nAbstract: Let us explore the nature of strategic reasoning in infinite games\, focusing on the cases of infinite Wordle and infinite Mastermind. The familiar game of Wordle extends naturally to longer words or even infinite words in an idealized language\, and Mastermind similarly has natural infinitary analogues. What is the nature of play in these infinite games? Can the codebreaker play so as to win always at a finite stage of play? The analysis emerges gradually\, and in the talk I shall begin slowly with some easy elementary observations. By the end\, however\, we shall engage with sophisticated ideas in descriptive set theory\, a kind of infinitary information theory. Some assertions about the minimal size of winning sets of guesses\, for example\, turn out to be independent of the Zermelo-Fraenkel ZFC axioms of set theory. Some questions remain open.
URL:https://cmsa.fas.harvard.edu/event/colloquium-101623/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.16.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231018T123000
DTEND;TZID=America/New_York:20231018T133000
DTSTAMP:20260503T235216
CREATED:20240223T113304Z
LAST-MODIFIED:20240223T113334Z
UID:10002866-1697632200-1697635800@cmsa.fas.harvard.edu
SUMMARY:Composite fermions and the fractional quantum anomalous Hall effect
DESCRIPTION:Topological Quantum Matter Seminar \nSpeaker: Hart Goldman\, University of Chicago \nTitle: Composite fermions and the fractional quantum anomalous Hall effect \nAbstract: Recent experiments have revealed evidence for fractional quantum anomalous Hall (FQAH) states at zero magnetic field in a growing number of moire materials. In this talk\, I will argue that a composite fermion description\, already a unifying framework for the phenomenology of 2d electron gases at high magnetic fields\, provides a similarly powerful perspective in this new zero-field context. In particular\, a central prediction of the composite fermion framework is a non-Fermi liquid metal of composite fermions at even-denominator fillings. To this end\, I will present exact diagonalization evidence for such composite Fermi liquid states at zero magnetic field in twisted MoTe2 bilayers\, at fillings n = 1/2 and n = 3/4. Dubbing these states anomalous composite Fermi liquids (ACFLs)\, I will argue that they play a central organizing role in the FQAH phase diagram. I will also develop a long wavelength theory for this ACFL state\, which offers concrete experimental predictions that I will discuss in relation to current measurements. For example\, upon doping the composite Fermi sea\, one obtains a Jain sequence of FQAH states consistent with those observed experimentally\, as well as a new type of commensurability oscillations originating from the superlattice potential intrinsic to the system. Finally\, I will discuss opportunities for new physics not possible in quantum Hall systems at finite magnetic field.
URL:https://cmsa.fas.harvard.edu/event/tqms_101823/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Topological Quantum Matter Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Topological-Seminar-10.18.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231018T140000
DTEND;TZID=America/New_York:20231018T150000
DTSTAMP:20260503T235216
CREATED:20240223T114049Z
LAST-MODIFIED:20240223T114049Z
UID:10002867-1697637600-1697641200@cmsa.fas.harvard.edu
SUMMARY:Physics of Language Models: Knowledge Storage\, Extraction\, and Manipulation
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Yuanzhi Li\, CMU Dept. of Machine Learning and Microsoft Research \nTitle: Physics of Language Models: Knowledge Storage\, Extraction\, and Manipulation \nAbstract: Large language models (LLMs) can memorize a massive amount of knowledge during pre-training\, but can they effectively use this knowledge at inference time? In this work\, we show several striking results about this question. Using a synthetic biography dataset\, we first show that even if an LLM achieves zero training loss when pretraining on the biography dataset\, it sometimes can not be finetuned to answer questions as simple as “What is the birthday of XXX” at all. We show that sufficient data augmentation during pre-training\, such as rewriting the same biography multiple times or simply using the person’s full name in every sentence\, can mitigate this issue. Using linear probing\, we unravel that such augmentation forces the model to store knowledge about a person in the token embeddings of their name rather than other locations. \nWe then show that LLMs are very bad at manipulating knowledge they learn during pre-training unless a chain of thought is used at inference time. We pretrained an LLM on the synthetic biography dataset\, so that it could answer “What is the birthday of XXX” with 100% accuracy.  Even so\, it could not be further fine-tuned to answer questions like “Is the birthday of XXX even or odd?” directly.  Even using Chain of Thought training data only helps the model answer such questions in a CoT manner\, not directly. \nWe will also discuss preliminary progress on understanding the scaling law of how large a language model needs to be to store X pieces of knowledge and extract them efficiently. For example\, is a 1B parameter language model enough to store all the knowledge of a middle school student? \n  \n 
URL:https://cmsa.fas.harvard.edu/event/nt-101823/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/NTM-10.18.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231018T153000
DTEND;TZID=America/New_York:20231018T163000
DTSTAMP:20260503T235216
CREATED:20240223T075212Z
LAST-MODIFIED:20240223T075212Z
UID:10002829-1697643000-1697646600@cmsa.fas.harvard.edu
SUMMARY:Geometry of the doubly periodic Aztec dimer model
DESCRIPTION:Probability Seminar \nSpeaker: Tomas Berggren (MIT) \nTitle: Geometry of the doubly periodic Aztec dimer model \nAbstract: Random dimer models (or equivalently tiling models) have been a subject of extensive research in mathematics and physics for several decades. In this talk\, we will discuss the doubly periodic Aztec diamond dimer model of growing size\, with arbitrary periodicity and only mild conditions on the edge weights. In this limit\, we see three types of macroscopic regions — known as rough\, smooth and frozen regions. We will discuss how the geometry of the arctic curves\, the boundary of these regions\, can be described in terms of an associated amoeba and an action function. In particular\, we determine the number of frozen and smooth regions and the number of cusps on the arctic curves. We will also discuss the convergence of local fluctuations to the appropriate translation-invariant Gibbs measures. Joint work with Alexei Borodin. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/probability-101123/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Probability Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Probability-Seminar-10.18.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231020T090000
DTEND;TZID=America/New_York:20231020T090000
DTSTAMP:20260503T235216
CREATED:20240221T112317Z
LAST-MODIFIED:20240221T112317Z
UID:10002781-1697792400-1697792400@cmsa.fas.harvard.edu
SUMMARY:CMSA Director Dan Freed featured in Harvard Gazette
DESCRIPTION:CMSA Director Dan Freed featured in Harvard Gazette\n“Center welcomes new director\, a Harvard alum who will explore ‘beautiful\, deep’ interactions between mathematics\, science.” \nLink to article.\nStory by Anne J. Manning\, Harvard Staff Writer \nPhoto courtesy of Niles Singer\, Harvard University.
URL:https://cmsa.fas.harvard.edu/event/cmsa-director-dan-freed-featured-in-harvard-gazette/
ATTACH;FMTTYPE=image/webp:https://cmsa.fas.harvard.edu/media/2500_Dan_Freed_Portrait_NS_200-1500x1000.jpg.webp
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231020T120000
DTEND;TZID=America/New_York:20231020T130000
DTSTAMP:20260503T235216
CREATED:20240223T110405Z
LAST-MODIFIED:20240223T110405Z
UID:10002856-1697803200-1697806800@cmsa.fas.harvard.edu
SUMMARY:Black Holes as Quantum Systems
DESCRIPTION:Member Seminar \nSpeaker: Daniel Kapec (CMSA) \nTitle: Black Holes as Quantum Systems \nAbstract: To an outside observer\, a black hole appears to be an ordinary quantum mechanical system with finite entropy and highly chaotic internal dynamics. Nevertheless\, the low-temperature thermodynamics of the Kerr black hole presents several puzzles. For instance\, the leading order semiclassical approximation to the black hole density of states predicts a surprisingly large ground state degeneracy\, while poorly understood quantum corrections are known to become increasingly important at low temperatures. I will review the modern picture of black holes as quantum systems and then discuss a recent result on the leading correction to the low-temperature thermodynamics of the Kerr black hole that resolves many of the old puzzles. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-102023/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231023T103000
DTEND;TZID=America/New_York:20231023T113000
DTSTAMP:20260503T235216
CREATED:20240222T073026Z
LAST-MODIFIED:20240222T073026Z
UID:10002789-1698057000-1698060600@cmsa.fas.harvard.edu
SUMMARY:Gauged Linear Sigma Models and Cohomological Field Theories
DESCRIPTION:Algebraic Geometry in String Theory Seminar \n\nSpeaker: David Favero\, University of Minnesota \n\nTitle: Gauged Linear Sigma Models and Cohomological Field Theories \nAbstract: This talk is dedicated to the memory of my friend and collaborator Bumsig Kim and based on joint work with Ciocan-Fontanine-Guere-Kim-Shoemaker.  Gauged Linear Sigma Models (GLSMs)  serve as a means of interpolating between Kahler geometry and singularity theory.  In enumerative geometry\, they should specialize to both Gromov-Witten and Fan-Jarvis-Ruan-Witten theory.   In joint work with Bumsig Kim (see arXiv:2006.12182)\, we constructed such enumerative invariants for GLSMs.  Furthermore\, we proved that these invariants form a Cohomological Field Theory.   In this lecture\, I will describe GLSMs and Cohomological Field Theories\, review the history of their development in enumerative geometry\, and discuss the construction of these general invariants.  Briefly\, the invariants are obtained by forming the analogue of a virtual fundamental class which lives in the twisted Hodge complex over a certain “moduli space of maps to the GLSM”.  This virtual fundamental class roughly comes as the Atiyah class of a “virtual matrix factorization” associated to the GLSM data.
URL:https://cmsa.fas.harvard.edu/event/agst-102323/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Algebraic Geometry in String Theory Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Algebraic-Geometry-in-String-Theory-10.23.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231023T163000
DTEND;TZID=America/New_York:20231023T173000
DTSTAMP:20260503T235216
CREATED:20240223T092904Z
LAST-MODIFIED:20240223T092904Z
UID:10002843-1698078600-1698082200@cmsa.fas.harvard.edu
SUMMARY: On Provable Copyright Protection for Generative Model
DESCRIPTION:Speaker: Boaz Barak (Harvard) \nTitle: On Provable Copyright Protection for Generative Model \nAbstract: There is a growing concern that learned conditional generative models may output samples that are substantially similar to some copyrighted data C that was in their training set. We give a formal definition of near access-freeness (NAF) and prove bounds on the probability that a model satisfying this definition outputs a sample similar to C\, even if C is included in its training set. \nRoughly speaking\, a generative model p is k-NAF if for every potentially copyrighted data C\, the output of p diverges by at most k-bits from the output of a model q that did not access C at all. We also give generative model learning algorithms\, which efficiently modify the original generative model learning algorithm in a black box manner\, that output generative models with strong bounds on the probability of sampling protected content. Furthermore\, we provide promising experiments for both language (transformers) and image (diffusion) generative models\, showing minimal degradation in output quality while ensuring strong protections against sampling protected content. \nJoint work with Nikhil Vyas and Sham Kakade. Paper appeared in ICML 2023 and is on https://arxiv.org/abs/2302.10870
URL:https://cmsa.fas.harvard.edu/event/colloquium-102323/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.23.2023.png
END:VEVENT
END:VCALENDAR